0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/277111-1169256692/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.39 => wckTime=0.095 cpuTime=0.08 mem=6M887
0.39
0.39 relations being loaded...
0.47
0.47 constraints being loaded...
0.57 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.57 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1304 maxDegree=18
0.57 maxArity=2
0.57 => wckTime=0.271 cpuTime=0.19 mem=11M763
0.61
0.61 solver LocalSearchSolver being built...
0.65 => wckTime=0.354 cpuTime=0.23 mem=5M873
0.66
0.66 s SATISFIABLE
0.66 o 174
0.66 c 76
0.66 o 181
0.66 c 69
0.66 o 187
0.66 c 63
0.66 o 191
0.66 c 59
0.66 o 193
0.66 c 57
0.66 o 198
0.66 c 52
0.66 o 201
0.66 c 49
0.67 o 203
0.67 c 47
0.67 o 206
0.67 c 44
0.67 o 210
0.67 c 40
0.67 o 212
0.67 c 38
0.67 o 214
0.67 c 36
0.67 o 218
0.67 c 32
0.67 o 219
0.67 c 31
0.67 o 220
0.67 c 30
0.67 o 221
0.67 c 29
0.67 o 223
0.67 c 27
0.67 o 225
0.67 c 25
0.67 o 226
0.67 c 24
0.68 o 227
0.68 c 23
0.68 o 228
0.68 c 22
0.68 o 232
0.68 c 18
0.68 o 233
0.68 c 17
0.68 o 234
0.68 c 16
0.68 o 235
0.68 c 15
0.68 o 237
0.69 c 13
0.69 o 238
0.69 c 12
0.69 o 239
0.69 c 11
0.70 o 241
0.70 c 9
0.70 o 242
0.70 c 8
0.72 o 243
0.72 c 7
0.72 o 244
0.72 c 6
0.80 o 245
0.80 c 5
1.11 o 246
1.11 c 4
3.00
3.00 search
3.00 run=0 nbConstraintChecks=16537948 nbAssignments=10000
3.00 => wckTime=2.346 cpuTime=2.32 mem=5M873
3.11 o 247
3.11 c 3
3.84 o 248
3.84 c 2
5.03 o 249
5.03 c 1
5.03
5.03 search
5.03 run=1 nbConstraintChecks=31099022 nbAssignments=18933
5.03 => wckTime=4.38 cpuTime=4.33 mem=5M873
5.03
5.03 global
5.03 nbConstraintChecks=31099022 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
5.03 solvingWckTime=4.377 solvingCpuTime=4.33 expiredTime=no totalExploration=no nbFoundSolutions=0
5.03 globalCpuTime=4.61
5.03 => wckTime=4.734 cpuTime=4.56 mem=5M873
5.03
5.03 solver IterativeSystematicSolver being built...
5.16 => wckTime=4.857 cpuTime=4.67 mem=16M846
5.24
5.24 preprocessing
5.24 nbConstraintChecks=107375 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
5.24 detectedInconsistency=no
5.24 => wckTime=0.077 cpuTime=0.05 mem=16M846
5.28
5.28 search
5.28 run=0 nbConstraintChecks=132578 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39
5.28 nbFailedAssignments=23 nbBacktracks=10 nbVisitedNodes=73 nbRestartNogoods=0
5.28 => wckTime=0.118 cpuTime=0.09 mem=16M846
5.34
5.34 search
5.34 run=1 nbConstraintChecks=325441 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=84
5.34 nbFailedAssignments=48 nbBacktracks=25 nbVisitedNodes=158 nbRestartNogoods=13
5.34 => wckTime=0.181 cpuTime=0.14 mem=16M846
5.40
5.40 search
5.40 run=2 nbConstraintChecks=601735 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=158
5.40 nbFailedAssignments=92 nbBacktracks=47 nbVisitedNodes=298 nbRestartNogoods=30
5.40 => wckTime=0.246 cpuTime=0.2 mem=16M846
5.50
5.50 search
5.50 run=3 nbConstraintChecks=1043698 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=257
5.50 nbFailedAssignments=153 nbBacktracks=80 nbVisitedNodes=489 nbRestartNogoods=63
5.50 => wckTime=0.348 cpuTime=0.3 mem=16M846
5.62
5.62 search
5.62 run=4 nbConstraintChecks=1574292 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=390
5.62 nbFailedAssignments=231 nbBacktracks=130 nbVisitedNodes=749 nbRestartNogoods=81
5.62 => wckTime=0.466 cpuTime=0.42 mem=16M846
5.81
5.81 search
5.81 run=5 nbConstraintChecks=2309584 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=574
5.81 nbFailedAssignments=335 nbBacktracks=205 nbVisitedNodes=1111 nbRestartNogoods=100
5.81 => wckTime=0.654 cpuTime=0.6 mem=16M846
6.11
6.11 search
6.11 run=6 nbConstraintChecks=3568220 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=891
6.11 nbFailedAssignments=532 nbBacktracks=318 nbVisitedNodes=1729 nbRestartNogoods=115
6.11 => wckTime=0.957 cpuTime=0.9 mem=16M846
6.54
6.54 search
6.54 run=7 nbConstraintChecks=5459880 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1336
6.54 nbFailedAssignments=802 nbBacktracks=488 nbVisitedNodes=2603 nbRestartNogoods=133
6.54 => wckTime=1.379 cpuTime=1.32 mem=16M846
7.15
7.15 search
7.15 run=8 nbConstraintChecks=8219432 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2021
7.15 nbFailedAssignments=1225 nbBacktracks=745 nbVisitedNodes=3957 nbRestartNogoods=146
7.15 => wckTime=1.996 cpuTime=1.92 mem=16M846
8.04
8.04 search
8.04 run=9 nbConstraintChecks=12235065 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3063
8.04 nbFailedAssignments=1876 nbBacktracks=1129 nbVisitedNodes=6019 nbRestartNogoods=156
8.04 => wckTime=2.881 cpuTime=2.8 mem=16M846
9.49
9.49 search
9.49 run=10 nbConstraintChecks=18857768 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4727
9.49 nbFailedAssignments=2957 nbBacktracks=1706 nbVisitedNodes=9321 nbRestartNogoods=194
9.49 => wckTime=4.335 cpuTime=4.24 mem=16M846
11.46
11.46 search
11.46 run=11 nbConstraintChecks=28178043 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6976
11.46 nbFailedAssignments=4336 nbBacktracks=2570 nbVisitedNodes=13769 nbRestartNogoods=215
11.46 => wckTime=6.307 cpuTime=6.21 mem=16M846
14.68
14.68 search
14.68 run=12 nbConstraintChecks=43245563 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10480
14.68 nbFailedAssignments=6536 nbBacktracks=3867 nbVisitedNodes=20714 nbRestartNogoods=229
14.68 => wckTime=9.519 cpuTime=9.39 mem=16M846
19.12
19.12 search
19.12 run=13 nbConstraintChecks=63518551 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15284
19.12 nbFailedAssignments=9388 nbBacktracks=5813 nbVisitedNodes=30126 nbRestartNogoods=261
19.12 => wckTime=13.962 cpuTime=13.82 mem=16M846
25.99
25.99 search
25.99 run=14 nbConstraintChecks=93998982 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22689
25.99 nbFailedAssignments=13868 nbBacktracks=8732 nbVisitedNodes=44512 nbRestartNogoods=302
25.99 => wckTime=20.831 cpuTime=20.65 mem=16M846
36.75
36.75 search
36.75 run=15 nbConstraintChecks=142128070 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33884
36.75 nbFailedAssignments=20682 nbBacktracks=13111 nbVisitedNodes=65930 nbRestartNogoods=334
36.75 => wckTime=31.598 cpuTime=31.37 mem=16M846
52.27
52.27 search
52.27 run=16 nbConstraintChecks=208097806 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=49228
52.27 nbFailedAssignments=29454 nbBacktracks=19679 nbVisitedNodes=93856 nbRestartNogoods=350
52.28 => wckTime=47.118 cpuTime=46.83 mem=16M846
73.40
73.40 search
73.40 run=17 nbConstraintChecks=295390068 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=70126
73.40 nbFailedAssignments=40495 nbBacktracks=29532 nbVisitedNodes=130592 nbRestartNogoods=372
73.40 => wckTime=68.243 cpuTime=67.84 mem=16M846
104.98
104.98 search
104.98 run=18 nbConstraintChecks=422090845 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=100061
104.98 nbFailedAssignments=55650 nbBacktracks=44310 nbVisitedNodes=181210 nbRestartNogoods=404
104.98 => wckTime=99.82 cpuTime=99.27 mem=16M846
146.87
146.87 search
146.87 run=19 nbConstraintChecks=593414029 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=142130
146.87 nbFailedAssignments=75549 nbBacktracks=66479 nbVisitedNodes=249458 nbRestartNogoods=458
146.87 => wckTime=141.71 cpuTime=140.99 mem=16M846
207.49
207.49 search
207.49 run=20 nbConstraintChecks=838510199 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=203650
207.49 nbFailedAssignments=103811 nbBacktracks=99732 nbVisitedNodes=348102 nbRestartNogoods=502
207.49 => wckTime=202.331 cpuTime=201.31 mem=16M846
294.35
294.35 search
294.35 run=21 nbConstraintChecks=1191628596 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=293635
294.35 nbFailedAssignments=143913 nbBacktracks=149610 nbVisitedNodes=490219 nbRestartNogoods=517
294.35 => wckTime=289.193 cpuTime=287.78 mem=16M846
425.48
425.48 search
425.48 run=22 nbConstraintChecks=1729182586 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=429006
425.48 nbFailedAssignments=204463 nbBacktracks=224428 nbVisitedNodes=704219 nbRestartNogoods=534
425.48 => wckTime=420.321 cpuTime=418.3 mem=16M846
516.01
516.01 search
516.01 run=23 nbConstraintChecks=2094307089 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=520422
516.01 nbFailedAssignments=244450 nbBacktracks=275858 nbVisitedNodes=847588 nbRestartNogoods=555
516.01 => wckTime=510.853 cpuTime=508.42 mem=16M846
516.01
516.01 global
516.01 nbConstraintChecks=2094414464 nbRestartNogoods=555 solvingWckTime=510.854 solvingCpuTime=508.42 expiredTime=no
516.01 totalExploration=yes nbFoundSolutions=0 globalCpuTime=513.14
516.01 => wckTime=515.713 cpuTime=513.09 mem=16M846
516.01
516.01 s OPTIMUM FOUND
516.01 v 0 14 12 4 14 9 10 15 2 3 3 13 10 10 1 3 4 15 3 14 11 3 0 0 11 9 1 14 4 6 9 13 5 11 10 1 3 10 6 0
516.01
516.02 totalWckTime=515.791 totalCpuTime=513.14
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-277111-1169256692 -o ROOT/results/node10/solver-277111-1169256692 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277111-1169256692/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.97 1.98 1.88 4/86 15538
/proc/meminfo: memFree=1284120/2055920 swapFree=4178232/4192956
[pid=15537] ppid=15535 vsize=172 CPUtime=0
/proc/15537/stat : 15537 (java) R 15535 15537 15163 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 274064305 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8905508 0 0 4096 0 0 0 0 17 0 0 0
/proc/15537/statm: 43 24 18 14 0 3 0
[startup+0.108345 s]
/proc/loadavg: 1.97 1.98 1.88 4/86 15538
/proc/meminfo: memFree=1284120/2055920 swapFree=4178232/4192956
[pid=15537] ppid=15535 vsize=914988 CPUtime=0.09
/proc/15537/stat : 15537 (java) R 15535 15537 15163 0 -1 0 3047 0 1 0 7 2 0 0 22 0 8 0 274064305 936947712 2793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15537/statm: 228747 2793 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516401 s]
/proc/loadavg: 1.97 1.98 1.88 4/86 15538
/proc/meminfo: memFree=1284120/2055920 swapFree=4178232/4192956
[pid=15537] ppid=15535 vsize=915332 CPUtime=0.49
/proc/15537/stat : 15537 (java) R 15535 15537 15163 0 -1 0 6853 0 1 0 44 5 0 0 24 0 8 0 274064305 937299968 6592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152150589 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15537/statm: 228833 6592 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33851 s]
/proc/loadavg: 1.97 1.98 1.88 3/93 15545
/proc/meminfo: memFree=1263136/2055920 swapFree=4178232/4192956
[pid=15537] ppid=15535 vsize=915464 CPUtime=1.31
/proc/15537/stat : 15537 (java) R 15535 15537 15163 0 -1 0 7906 0 1 0 114 17 0 0 25 0 8 0 274064305 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15537/statm: 228867 7644 2479 14 0 215337 0
[pid=15537/tid=15539] ppid=15535 vsize=915464 CPUtime=0.03
/proc/15537/task/15539/stat : 15539 (java) S 15535 15537 15163 0 -1 64 246 0 0 0 3 0 0 0 16 0 8 0 274064309 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15540] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15540/stat : 15540 (java) S 15535 15537 15163 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274064309 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15541] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15541/stat : 15541 (java) S 15535 15537 15163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274064309 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15542] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15542/stat : 15542 (java) S 15535 15537 15163 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274064312 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15543] ppid=15535 vsize=915464 CPUtime=0.15
/proc/15537/task/15543/stat : 15543 (java) S 15535 15537 15163 0 -1 64 347 0 0 0 15 0 0 0 16 0 8 0 274064312 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15544] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15544/stat : 15544 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274064313 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15545] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15545/stat : 15545 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274064313 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.99174 s]
/proc/loadavg: 1.98 1.98 1.88 3/93 15545
/proc/meminfo: memFree=1263136/2055920 swapFree=4178232/4192956
[pid=15537] ppid=15535 vsize=915464 CPUtime=2.96
/proc/15537/stat : 15537 (java) R 15535 15537 15163 0 -1 0 7907 0 1 0 255 41 0 0 25 0 8 0 274064305 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942099 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15537/statm: 228866 7644 2479 14 0 215336 0
[pid=15537/tid=15539] ppid=15535 vsize=915464 CPUtime=0.03
/proc/15537/task/15539/stat : 15539 (java) S 15535 15537 15163 0 -1 64 246 0 0 0 3 0 0 0 16 0 8 0 274064309 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15540] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15540/stat : 15540 (java) S 15535 15537 15163 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274064309 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15541] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15541/stat : 15541 (java) S 15535 15537 15163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274064309 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15542] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15542/stat : 15542 (java) S 15535 15537 15163 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274064312 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15543] ppid=15535 vsize=915464 CPUtime=0.15
/proc/15537/task/15543/stat : 15543 (java) S 15535 15537 15163 0 -1 64 347 0 0 0 15 0 0 0 16 0 8 0 274064312 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15544] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15544/stat : 15544 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274064313 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15545] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15545/stat : 15545 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274064313 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915464
[startup+6.28218 s]
/proc/loadavg: 1.98 1.98 1.88 3/93 15545
/proc/meminfo: memFree=1258464/2055920 swapFree=4178232/4192956
[pid=15537] ppid=15535 vsize=915464 CPUtime=6.24
/proc/15537/stat : 15537 (java) R 15535 15537 15163 0 -1 0 9130 0 1 0 549 75 0 0 25 0 8 0 274064305 937435136 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15537/statm: 228866 8866 2532 14 0 215336 0
[pid=15537/tid=15539] ppid=15535 vsize=915464 CPUtime=0.03
/proc/15537/task/15539/stat : 15539 (java) S 15535 15537 15163 0 -1 64 247 0 0 0 3 0 0 0 17 0 8 0 274064309 937435136 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15540] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15540/stat : 15540 (java) S 15535 15537 15163 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274064309 937435136 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15541] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15541/stat : 15541 (java) S 15535 15537 15163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274064309 937435136 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15542] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15542/stat : 15542 (java) S 15535 15537 15163 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274064312 937435136 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15543] ppid=15535 vsize=915464 CPUtime=0.23
/proc/15537/task/15543/stat : 15543 (java) S 15535 15537 15163 0 -1 64 390 0 0 0 22 1 0 0 15 0 8 0 274064312 937435136 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15544] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15544/stat : 15544 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274064313 937435136 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15545] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15545/stat : 15545 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274064313 937435136 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915464
[startup+12.7721 s]
/proc/loadavg: 1.98 1.98 1.88 3/93 15545
/proc/meminfo: memFree=1258336/2055920 swapFree=4178232/4192956
[pid=15537] ppid=15535 vsize=915464 CPUtime=12.7
/proc/15537/stat : 15537 (java) R 15535 15537 15163 0 -1 0 9157 0 1 0 1195 75 0 0 25 0 8 0 274064305 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073735544 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15537/statm: 228866 8890 2532 14 0 215336 0
[pid=15537/tid=15539] ppid=15535 vsize=915464 CPUtime=0.03
/proc/15537/task/15539/stat : 15539 (java) S 15535 15537 15163 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274064309 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15540] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15540/stat : 15540 (java) S 15535 15537 15163 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274064309 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15541] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15541/stat : 15541 (java) S 15535 15537 15163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274064309 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15542] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15542/stat : 15542 (java) S 15535 15537 15163 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274064312 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15543] ppid=15535 vsize=915464 CPUtime=0.25
/proc/15537/task/15543/stat : 15543 (java) S 15535 15537 15163 0 -1 64 405 0 0 0 24 1 0 0 15 0 8 0 274064312 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15544] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15544/stat : 15544 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274064313 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15545] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15545/stat : 15545 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274064313 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915464
[startup+25.6108 s]
/proc/loadavg: 1.98 1.98 1.88 3/93 15545
/proc/meminfo: memFree=1258336/2055920 swapFree=4178232/4192956
[pid=15537] ppid=15535 vsize=915464 CPUtime=25.46
/proc/15537/stat : 15537 (java) R 15535 15537 15163 0 -1 0 9166 0 1 0 2471 75 0 0 25 0 8 0 274064305 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073879258 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15537/statm: 228866 8898 2532 14 0 215336 0
[pid=15537/tid=15539] ppid=15535 vsize=915464 CPUtime=0.03
/proc/15537/task/15539/stat : 15539 (java) S 15535 15537 15163 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274064309 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15540] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15540/stat : 15540 (java) S 15535 15537 15163 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274064309 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15541] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15541/stat : 15541 (java) S 15535 15537 15163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274064309 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15542] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15542/stat : 15542 (java) S 15535 15537 15163 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274064312 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15543] ppid=15535 vsize=915464 CPUtime=0.25
/proc/15537/task/15543/stat : 15543 (java) S 15535 15537 15163 0 -1 64 408 0 0 0 24 1 0 0 16 0 8 0 274064312 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15544] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15544/stat : 15544 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274064313 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15545] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15545/stat : 15545 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274064313 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915464
[startup+51.2223 s]
/proc/loadavg: 2.04 2.00 1.89 3/93 15545
/proc/meminfo: memFree=1258336/2055920 swapFree=4178232/4192956
[pid=15537] ppid=15535 vsize=915464 CPUtime=50.97
/proc/15537/stat : 15537 (java) R 15535 15537 15163 0 -1 0 9172 0 1 0 5022 75 0 0 25 0 8 0 274064305 937435136 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846961 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15537/statm: 228866 8903 2532 14 0 215336 0
[pid=15537/tid=15539] ppid=15535 vsize=915464 CPUtime=0.03
/proc/15537/task/15539/stat : 15539 (java) S 15535 15537 15163 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274064309 937435136 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15540] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15540/stat : 15540 (java) S 15535 15537 15163 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274064309 937435136 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15541] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15541/stat : 15541 (java) S 15535 15537 15163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274064309 937435136 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15542] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15542/stat : 15542 (java) S 15535 15537 15163 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274064312 937435136 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15543] ppid=15535 vsize=915464 CPUtime=0.25
/proc/15537/task/15543/stat : 15543 (java) S 15535 15537 15163 0 -1 64 408 0 0 0 24 1 0 0 15 0 8 0 274064312 937435136 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15544] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15544/stat : 15544 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274064313 937435136 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15545] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15545/stat : 15545 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274064313 937435136 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915464
[startup+102.44 s]
/proc/loadavg: 2.02 2.00 1.89 3/93 15545
/proc/meminfo: memFree=1258272/2055920 swapFree=4178232/4192956
[pid=15537] ppid=15535 vsize=915464 CPUtime=101.96
/proc/15537/stat : 15537 (java) R 15535 15537 15163 0 -1 0 9177 0 1 0 10121 75 0 0 25 0 8 0 274064305 937435136 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073898377 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15537/statm: 228866 8908 2532 14 0 215336 0
[pid=15537/tid=15539] ppid=15535 vsize=915464 CPUtime=0.03
/proc/15537/task/15539/stat : 15539 (java) S 15535 15537 15163 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274064309 937435136 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15540] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15540/stat : 15540 (java) S 15535 15537 15163 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274064309 937435136 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15541] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15541/stat : 15541 (java) S 15535 15537 15163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274064309 937435136 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15542] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15542/stat : 15542 (java) S 15535 15537 15163 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274064312 937435136 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15543] ppid=15535 vsize=915464 CPUtime=0.25
/proc/15537/task/15543/stat : 15543 (java) S 15535 15537 15163 0 -1 64 408 0 0 0 24 1 0 0 16 0 8 0 274064312 937435136 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15544] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15544/stat : 15544 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274064313 937435136 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15545] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15545/stat : 15545 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274064313 937435136 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 915464
[startup+162.506 s]
/proc/loadavg: 2.07 2.02 1.90 3/93 15545
/proc/meminfo: memFree=1258272/2055920 swapFree=4178232/4192956
[pid=15537] ppid=15535 vsize=915464 CPUtime=161.72
/proc/15537/stat : 15537 (java) R 15535 15537 15163 0 -1 0 9183 0 1 0 16097 75 0 0 25 0 8 0 274064305 937435136 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073881328 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15537/statm: 228866 8913 2532 14 0 215336 0
[pid=15537/tid=15539] ppid=15535 vsize=915464 CPUtime=0.03
/proc/15537/task/15539/stat : 15539 (java) S 15535 15537 15163 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274064309 937435136 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15540] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15540/stat : 15540 (java) S 15535 15537 15163 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274064309 937435136 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15541] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15541/stat : 15541 (java) S 15535 15537 15163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274064309 937435136 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15542] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15542/stat : 15542 (java) S 15535 15537 15163 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274064312 937435136 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15543] ppid=15535 vsize=915464 CPUtime=0.25
/proc/15537/task/15543/stat : 15543 (java) S 15535 15537 15163 0 -1 64 408 0 0 0 24 1 0 0 16 0 8 0 274064312 937435136 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15544] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15544/stat : 15544 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274064313 937435136 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15545] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15545/stat : 15545 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274064313 937435136 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.72
Current children cumulated vsize (KiB) 915464
[startup+222.573 s]
/proc/loadavg: 2.02 2.01 1.91 3/93 15545
/proc/meminfo: memFree=1258208/2055920 swapFree=4178232/4192956
[pid=15537] ppid=15535 vsize=915464 CPUtime=221.52
/proc/15537/stat : 15537 (java) R 15535 15537 15163 0 -1 0 9185 0 1 0 22077 75 0 0 25 0 8 0 274064305 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15537/statm: 228866 8915 2532 14 0 215336 0
[pid=15537/tid=15539] ppid=15535 vsize=915464 CPUtime=0.03
/proc/15537/task/15539/stat : 15539 (java) S 15535 15537 15163 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274064309 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15540] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15540/stat : 15540 (java) S 15535 15537 15163 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274064309 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15541] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15541/stat : 15541 (java) S 15535 15537 15163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274064309 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15542] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15542/stat : 15542 (java) S 15535 15537 15163 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274064312 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15543] ppid=15535 vsize=915464 CPUtime=0.25
/proc/15537/task/15543/stat : 15543 (java) S 15535 15537 15163 0 -1 64 408 0 0 0 24 1 0 0 16 0 8 0 274064312 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15544] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15544/stat : 15544 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274064313 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15545] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15545/stat : 15545 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274064313 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.52
Current children cumulated vsize (KiB) 915464
[startup+282.641 s]
/proc/loadavg: 2.01 2.00 1.91 3/93 15545
/proc/meminfo: memFree=1258208/2055920 swapFree=4178232/4192956
[pid=15537] ppid=15535 vsize=915464 CPUtime=281.32
/proc/15537/stat : 15537 (java) R 15535 15537 15163 0 -1 0 9185 0 1 0 28057 75 0 0 25 0 8 0 274064305 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15537/statm: 228866 8915 2532 14 0 215336 0
[pid=15537/tid=15539] ppid=15535 vsize=915464 CPUtime=0.03
/proc/15537/task/15539/stat : 15539 (java) S 15535 15537 15163 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274064309 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15540] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15540/stat : 15540 (java) S 15535 15537 15163 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274064309 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15541] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15541/stat : 15541 (java) S 15535 15537 15163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274064309 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15542] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15542/stat : 15542 (java) S 15535 15537 15163 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274064312 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15543] ppid=15535 vsize=915464 CPUtime=0.25
/proc/15537/task/15543/stat : 15543 (java) S 15535 15537 15163 0 -1 64 408 0 0 0 24 1 0 0 16 0 8 0 274064312 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15544] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15544/stat : 15544 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274064313 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15545] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15545/stat : 15545 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274064313 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.32
Current children cumulated vsize (KiB) 915464
[startup+342.707 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 15545
/proc/meminfo: memFree=1258208/2055920 swapFree=4178232/4192956
[pid=15537] ppid=15535 vsize=915464 CPUtime=341.1
/proc/15537/stat : 15537 (java) R 15535 15537 15163 0 -1 0 9189 0 1 0 34035 75 0 0 25 0 8 0 274064305 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073735718 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15537/statm: 228866 8919 2532 14 0 215336 0
[pid=15537/tid=15539] ppid=15535 vsize=915464 CPUtime=0.03
/proc/15537/task/15539/stat : 15539 (java) S 15535 15537 15163 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274064309 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15540] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15540/stat : 15540 (java) S 15535 15537 15163 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274064309 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15541] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15541/stat : 15541 (java) S 15535 15537 15163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274064309 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15542] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15542/stat : 15542 (java) S 15535 15537 15163 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274064312 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15543] ppid=15535 vsize=915464 CPUtime=0.25
/proc/15537/task/15543/stat : 15543 (java) S 15535 15537 15163 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 274064312 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15544] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15544/stat : 15544 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274064313 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15545] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15545/stat : 15545 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274064313 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 341.1
Current children cumulated vsize (KiB) 915464
[startup+402.773 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 15545
/proc/meminfo: memFree=1258144/2055920 swapFree=4178232/4192956
[pid=15537] ppid=15535 vsize=915464 CPUtime=400.89
/proc/15537/stat : 15537 (java) R 15535 15537 15163 0 -1 0 9189 0 1 0 40014 75 0 0 25 0 8 0 274064305 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846803 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15537/statm: 228866 8919 2532 14 0 215336 0
[pid=15537/tid=15539] ppid=15535 vsize=915464 CPUtime=0.03
/proc/15537/task/15539/stat : 15539 (java) S 15535 15537 15163 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274064309 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15540] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15540/stat : 15540 (java) S 15535 15537 15163 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274064309 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15541] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15541/stat : 15541 (java) S 15535 15537 15163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274064309 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15542] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15542/stat : 15542 (java) S 15535 15537 15163 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274064312 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15543] ppid=15535 vsize=915464 CPUtime=0.25
/proc/15537/task/15543/stat : 15543 (java) S 15535 15537 15163 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 274064312 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15544] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15544/stat : 15544 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274064313 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15545] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15545/stat : 15545 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274064313 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 400.89
Current children cumulated vsize (KiB) 915464
[startup+462.846 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 15545
/proc/meminfo: memFree=1258144/2055920 swapFree=4178232/4192956
[pid=15537] ppid=15535 vsize=915464 CPUtime=460.71
/proc/15537/stat : 15537 (java) R 15535 15537 15163 0 -1 0 9192 0 1 0 45995 76 0 0 25 0 8 0 274064305 937435136 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840416 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15537/statm: 228866 8921 2532 14 0 215336 0
[pid=15537/tid=15539] ppid=15535 vsize=915464 CPUtime=0.03
/proc/15537/task/15539/stat : 15539 (java) S 15535 15537 15163 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274064309 937435136 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15540] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15540/stat : 15540 (java) S 15535 15537 15163 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274064309 937435136 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15541] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15541/stat : 15541 (java) S 15535 15537 15163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274064309 937435136 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15542] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15542/stat : 15542 (java) S 15535 15537 15163 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274064312 937435136 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15543] ppid=15535 vsize=915464 CPUtime=0.25
/proc/15537/task/15543/stat : 15543 (java) S 15535 15537 15163 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 274064312 937435136 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15544] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15544/stat : 15544 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274064313 937435136 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15537/tid=15545] ppid=15535 vsize=915464 CPUtime=0
/proc/15537/task/15545/stat : 15545 (java) S 15535 15537 15163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274064313 937435136 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 460.71
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 516.076
CPU time (s): 513.633
CPU user time (s): 512.865
CPU system time (s): 0.767883
CPU usage (%): 99.5266
Max. virtual memory (cumulated for all children) (KiB): 915980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 512.865
system time used= 0.767883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9290
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11686
involuntary context switches= 20466
runsolver used 0.531919 s user time and 1.76273 s system time
The end
Begin job on node10 on Sat Jan 20 01:31:32 UTC 2007
IDJOB= 277111
IDBENCH= 6278
IDSOLVER= 68
FILE ID= node10/277111-1169256692
PBS_JOBID= 3607259
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277111-1169256692/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-277111-1169256692 -o ROOT/results/node10/solver-277111-1169256692 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277111-1169256692/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2304a437f976a87177b662aafeab0674
RANDOM SEED= 282677908
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1284600 kB
Buffers: 60068 kB
Cached: 597308 kB
SwapCached: 2904 kB
Active: 206104 kB
Inactive: 488952 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1284600 kB
SwapTotal: 4192956 kB
SwapFree: 4178232 kB
Dirty: 1800 kB
Writeback: 0 kB
Mapped: 48260 kB
Slab: 61260 kB
Committed_AS: 7374732 kB
PageTables: 2172 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node10 on Sat Jan 20 01:40:08 UTC 2007