0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/206736-1168074034/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.43 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
1.56
1.56 constraints being loaded...
2.33 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.33 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.33 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
2.33 => wckTime=1.996 cpuTime=1.59 mem=58M37
2.49
2.49 solver IterativeSystematicSolver being built...
2.66 => wckTime=2.331 cpuTime=1.74 mem=65M858
2.67
2.67 preprocessing
2.67 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.67 detectedInconsistency=no
2.67 => wckTime=0.0040 cpuTime=0.0 mem=65M858
2.82
2.82 search
2.82 run=0 nbConstraintChecks=46246 nbValidityChecks=82398 nbPropagations=427 nbRevisions=5005
2.82 nbUselessRevisions=4058 nbAssignments=30 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=50
2.82 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.82 => wckTime=0.154 cpuTime=0.12 mem=65M858
2.93
2.93 search
2.93 run=1 nbConstraintChecks=100967 nbValidityChecks=192380 nbPropagations=1411 nbRevisions=16479
2.93 nbUselessRevisions=13292 nbAssignments=76 nbFailedAssignments=35 nbBacktracks=25 nbVisitedNodes=130
2.93 nbRestartNogoods=4 mapSize=21 nbInferences=0 nbTooLargeKeys=0
2.93 => wckTime=0.268 cpuTime=0.22 mem=65M858
3.07
3.07 search
3.07 run=2 nbConstraintChecks=174257 nbValidityChecks=337562 nbPropagations=3187 nbRevisions=38175
3.07 nbUselessRevisions=30750 nbAssignments=137 nbFailedAssignments=65 nbBacktracks=48 nbVisitedNodes=236
3.07 nbRestartNogoods=9 mapSize=43 nbInferences=0 nbTooLargeKeys=0
3.07 => wckTime=0.41 cpuTime=0.35 mem=65M858
3.30
3.30 search
3.30 run=3 nbConstraintChecks=305622 nbValidityChecks=619689 nbPropagations=6245 nbRevisions=77093
3.30 nbUselessRevisions=61828 nbAssignments=244 nbFailedAssignments=129 nbBacktracks=85 nbVisitedNodes=433
3.30 nbRestartNogoods=12 mapSize=75 nbInferences=0 nbTooLargeKeys=0
3.30 => wckTime=0.64 cpuTime=0.58 mem=65M858
3.57
3.57 search
3.57 run=4 nbConstraintChecks=457902 nbValidityChecks=916678 nbPropagations=10983 nbRevisions=137304
3.57 nbUselessRevisions=109880 nbAssignments=368 nbFailedAssignments=196 nbBacktracks=136 nbVisitedNodes=653
3.57 nbRestartNogoods=13 mapSize=120 nbInferences=0 nbTooLargeKeys=0
3.57 => wckTime=0.907 cpuTime=0.84 mem=65M858
4.05
4.05 search
4.05 run=5 nbConstraintChecks=724951 nbValidityChecks=1471812 nbPropagations=18481 nbRevisions=235164
4.05 nbUselessRevisions=187999 nbAssignments=570 nbFailedAssignments=316 nbBacktracks=211 nbVisitedNodes=1025
4.05 nbRestartNogoods=16 mapSize=190 nbInferences=0 nbTooLargeKeys=0
4.05 => wckTime=1.386 cpuTime=1.31 mem=65M858
4.65
4.65 search
4.65 run=6 nbConstraintChecks=1075458 nbValidityChecks=2152108 nbPropagations=29479 nbRevisions=378374
4.65 nbUselessRevisions=302287 nbAssignments=825 nbFailedAssignments=449 nbBacktracks=324 nbVisitedNodes=1490
4.65 nbRestartNogoods=23 mapSize=289 nbInferences=0 nbTooLargeKeys=0
4.65 => wckTime=1.984 cpuTime=1.9 mem=65M858
5.52
5.52 search
5.52 run=7 nbConstraintChecks=1577710 nbValidityChecks=3169063 nbPropagations=45582 nbRevisions=584155
5.52 nbUselessRevisions=465607 nbAssignments=1205 nbFailedAssignments=651 nbBacktracks=496 nbVisitedNodes=2168
5.52 nbRestartNogoods=27 mapSize=421 nbInferences=0 nbTooLargeKeys=0
5.52 => wckTime=2.854 cpuTime=2.77 mem=65M858
7.03
7.03 search
7.03 run=8 nbConstraintChecks=2475186 nbValidityChecks=4969206 nbPropagations=70368 nbRevisions=903172
7.03 nbUselessRevisions=718873 nbAssignments=1841 nbFailedAssignments=1022 nbBacktracks=753 nbVisitedNodes=3352
7.03 nbRestartNogoods=32 mapSize=647 nbInferences=0 nbTooLargeKeys=0
7.03 => wckTime=4.365 cpuTime=4.25 mem=65M858
9.08
9.08 search
9.08 run=9 nbConstraintChecks=3708230 nbValidityChecks=7494335 nbPropagations=108235 nbRevisions=1383348
9.08 nbUselessRevisions=1098158 nbAssignments=2763 nbFailedAssignments=1553 nbBacktracks=1137 nbVisitedNodes=5038
9.08 nbRestartNogoods=40 mapSize=982 nbInferences=0 nbTooLargeKeys=0
9.08 => wckTime=6.413 cpuTime=6.29 mem=66M850
9.48
9.48 INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=66M850)
12.74
12.74 search
12.74 run=10 nbConstraintChecks=5928798 nbValidityChecks=12065621 nbPropagations=169709 nbRevisions=2165531
12.74 nbUselessRevisions=1717877 nbAssignments=4434 nbFailedAssignments=2642 nbBacktracks=1713 nbVisitedNodes=8211
12.74 nbRestartNogoods=51
12.74 => wckTime=10.076 cpuTime=9.92 mem=66M850
17.24
17.24 search
17.24 run=11 nbConstraintChecks=8663220 nbValidityChecks=17687698 nbPropagations=260346 nbRevisions=3322188
17.24 nbUselessRevisions=2635535 nbAssignments=6726 nbFailedAssignments=4062 nbBacktracks=2577 nbVisitedNodes=12485
17.24 nbRestartNogoods=64
17.24 => wckTime=14.573 cpuTime=14.39 mem=66M850
23.88
23.88 search
23.88 run=12 nbConstraintChecks=12647999 nbValidityChecks=25908037 nbPropagations=390360 nbRevisions=4955903
23.88 nbUselessRevisions=3928483 nbAssignments=9560 nbFailedAssignments=5592 nbBacktracks=3874 nbVisitedNodes=17620
23.88 nbRestartNogoods=78
23.88 => wckTime=21.214 cpuTime=21.0 mem=66M850
35.24
35.24 search
35.24 run=13 nbConstraintChecks=19520270 nbValidityChecks=39884263 nbPropagations=586169 nbRevisions=7440578
35.24 nbUselessRevisions=5892166 nbAssignments=14730 nbFailedAssignments=8806 nbBacktracks=5825 nbVisitedNodes=27261
35.24 nbRestartNogoods=98
35.24 => wckTime=32.576 cpuTime=32.23 mem=66M850
49.93
49.93 search
49.93 run=14 nbConstraintChecks=28329768 nbValidityChecks=57832881 nbPropagations=881550 nbRevisions=11205187
49.93 nbUselessRevisions=8877873 nbAssignments=21800 nbFailedAssignments=12950 nbBacktracks=8744 nbVisitedNodes=40550
49.93 nbRestartNogoods=106
49.93 => wckTime=47.265 cpuTime=46.81 mem=66M850
77.51
77.51 search
77.51 run=15 nbConstraintChecks=45003129 nbValidityChecks=92580376 nbPropagations=1356603 nbRevisions=17218921
77.51 nbUselessRevisions=13634039 nbAssignments=34075 nbFailedAssignments=20839 nbBacktracks=13122
77.51 nbVisitedNodes=63953 nbRestartNogoods=118
77.51 => wckTime=74.842 cpuTime=74.23 mem=66M850
119.17
119.17 search
119.17 run=16 nbConstraintChecks=69878876 nbValidityChecks=142246027 nbPropagations=2060407 nbRevisions=26239681
119.17 nbUselessRevisions=20762703 nbAssignments=50799 nbFailedAssignments=30988 nbBacktracks=19690
119.17 nbVisitedNodes=95331 nbRestartNogoods=134
119.17 => wckTime=116.506 cpuTime=115.64 mem=66M850
174.18
174.18 search
174.18 run=17 nbConstraintChecks=103886652 nbValidityChecks=209741376 nbPropagations=3087511 nbRevisions=39429374
174.19 nbUselessRevisions=31214616 nbAssignments=73966 nbFailedAssignments=44295 nbBacktracks=29543
174.19 nbVisitedNodes=138250 nbRestartNogoods=151
174.19 => wckTime=171.522 cpuTime=170.4 mem=66M850
252.19
252.19 search
252.19 run=18 nbConstraintChecks=152369307 nbValidityChecks=305734141 nbPropagations=4612045 nbRevisions=59018932
252.19 nbUselessRevisions=46726137 nbAssignments=110364 nbFailedAssignments=65907 nbBacktracks=44322
252.19 nbVisitedNodes=205957 nbRestartNogoods=166
252.19 => wckTime=249.528 cpuTime=248.04 mem=66M850
374.49
374.49 search
374.49 run=19 nbConstraintChecks=227282595 nbValidityChecks=453825004 nbPropagations=6882212 nbRevisions=88118014
374.49 nbUselessRevisions=69796728 nbAssignments=162223 nbFailedAssignments=95590 nbBacktracks=66490
374.49 nbVisitedNodes=302051 nbRestartNogoods=183
374.50 => wckTime=371.831 cpuTime=369.77 mem=66M850
549.54
549.54 search
549.54 run=20 nbConstraintChecks=334299356 nbValidityChecks=670294345 nbPropagations=10317414 nbRevisions=132025123
549.54 nbUselessRevisions=104599730 nbAssignments=249420 nbFailedAssignments=149527 nbBacktracks=99745
549.54 nbVisitedNodes=466068 nbRestartNogoods=205
549.54 => wckTime=546.873 cpuTime=543.99 mem=66M850
857.60
857.60 search
857.60 run=21 nbConstraintChecks=526338873 nbValidityChecks=1055238747 nbPropagations=15579022 nbRevisions=199881459
857.60 nbUselessRevisions=158341566 nbAssignments=381823 nbFailedAssignments=232044 nbBacktracks=149624
857.60 nbVisitedNodes=716504 nbRestartNogoods=221
857.60 => wckTime=854.939 cpuTime=850.63 mem=66M850
1258.22
1258.22 search
1258.22 run=22 nbConstraintChecks=769107026 nbValidityChecks=1558911969 nbPropagations=23526029 nbRevisions=301668340
1258.22 nbUselessRevisions=238884011 nbAssignments=569707 nbFailedAssignments=345102 nbBacktracks=224442
1258.22 nbVisitedNodes=1068977 nbRestartNogoods=234
1258.22 => wckTime=1255.56 cpuTime=1249.37 mem=66M850
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-206736-1168074034 -o ROOT/results/node39/solver-206736-1168074034 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206736-1168074034/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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: 0.92 0.98 1.05 4/69 18524
/proc/meminfo: memFree=1745912/2055920 swapFree=4192812/4192956
[pid=18523] ppid=18511 vsize=18540 CPUtime=0
/proc/18523/stat : 18523 (runsolver) R 18511 18523 18404 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155803238 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231493659943 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/18523/statm: 4635 279 244 17 0 2626 0
[startup+0.103013 s]
/proc/loadavg: 0.92 0.98 1.05 4/69 18524
/proc/meminfo: memFree=1745912/2055920 swapFree=4192812/4192956
[pid=18523] ppid=18511 vsize=911488 CPUtime=0.07
/proc/18523/stat : 18523 (java) R 18511 18523 18404 0 -1 0 2624 0 1 0 5 2 0 0 21 0 8 0 155803238 933363712 2371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 227872 2371 1280 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488
[startup+0.511053 s]
/proc/loadavg: 0.92 0.98 1.05 4/69 18524
/proc/meminfo: memFree=1745912/2055920 swapFree=4192812/4192956
[pid=18523] ppid=18511 vsize=915328 CPUtime=0.48
/proc/18523/stat : 18523 (java) R 18511 18523 18404 0 -1 0 7268 0 1 0 43 5 0 0 18 0 8 0 155803238 937295872 7007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563246 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228832 7008 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33313 s]
/proc/loadavg: 0.92 0.98 1.05 3/87 18555
/proc/meminfo: memFree=1611232/2055920 swapFree=4192812/4192956
[pid=18523] ppid=18511 vsize=915328 CPUtime=1.29
/proc/18523/stat : 18523 (java) R 18511 18523 18404 0 -1 0 19099 0 1 0 119 10 0 0 24 0 8 0 155803238 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445363 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228832 18837 2149 14 0 215302 0
[pid=18523/tid=18537] ppid=18511 vsize=915328 CPUtime=0.05
/proc/18523/task/18537/stat : 18537 (java) S 18511 18523 18404 0 -1 64 2682 0 0 0 4 1 0 0 17 0 8 0 155803243 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18538] ppid=18511 vsize=915328 CPUtime=0
/proc/18523/task/18538/stat : 18538 (java) S 18511 18523 18404 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803244 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18539] ppid=18511 vsize=915328 CPUtime=0
/proc/18523/task/18539/stat : 18539 (java) S 18511 18523 18404 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803244 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18545] ppid=18511 vsize=915328 CPUtime=0
/proc/18523/task/18545/stat : 18545 (java) S 18511 18523 18404 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155803248 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18546] ppid=18511 vsize=915328 CPUtime=0.08
/proc/18523/task/18546/stat : 18546 (java) S 18511 18523 18404 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155803248 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18547] ppid=18511 vsize=915328 CPUtime=0
/proc/18523/task/18547/stat : 18547 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155803248 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18548] ppid=18511 vsize=915328 CPUtime=0
/proc/18523/task/18548/stat : 18548 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155803248 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915328
[startup+2.98528 s]
/proc/loadavg: 1.09 1.02 1.06 4/87 18555
/proc/meminfo: memFree=1529696/2055920 swapFree=4192812/4192956
[pid=18523] ppid=18511 vsize=915440 CPUtime=2.94
/proc/18523/stat : 18523 (java) R 18511 18523 18404 0 -1 0 32560 0 1 0 278 16 0 0 25 0 8 0 155803238 937410560 32294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228860 32294 2521 14 0 215330 0
[pid=18523/tid=18537] ppid=18511 vsize=915440 CPUtime=0.46
/proc/18523/task/18537/stat : 18537 (java) S 18511 18523 18404 0 -1 64 15584 0 0 0 41 5 0 0 16 0 8 0 155803243 937410560 32294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18538] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18538/stat : 18538 (java) S 18511 18523 18404 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18539] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18539/stat : 18539 (java) S 18511 18523 18404 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18545] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18545/stat : 18545 (java) S 18511 18523 18404 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155803248 937410560 32294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18546] ppid=18511 vsize=915440 CPUtime=0.21
/proc/18523/task/18546/stat : 18546 (java) S 18511 18523 18404 0 -1 64 378 0 0 0 20 1 0 0 15 0 8 0 155803248 937410560 32294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18547] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18547/stat : 18547 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155803248 937410560 32294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18548] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18548/stat : 18548 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155803248 937410560 32294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915440
[startup+6.28558 s]
/proc/loadavg: 1.09 1.02 1.06 3/87 18555
/proc/meminfo: memFree=1505760/2055920 swapFree=4192812/4192956
[pid=18523] ppid=18511 vsize=915440 CPUtime=6.22
/proc/18523/stat : 18523 (java) R 18511 18523 18404 0 -1 0 32575 0 1 0 606 16 0 0 25 0 8 0 155803238 937410560 32306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228860 32306 2521 14 0 215330 0
[pid=18523/tid=18537] ppid=18511 vsize=915440 CPUtime=0.46
/proc/18523/task/18537/stat : 18537 (java) S 18511 18523 18404 0 -1 64 15584 0 0 0 41 5 0 0 17 0 8 0 155803243 937410560 32306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18538] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18538/stat : 18538 (java) S 18511 18523 18404 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18539] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18539/stat : 18539 (java) S 18511 18523 18404 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18545] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18545/stat : 18545 (java) S 18511 18523 18404 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155803248 937410560 32306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18546] ppid=18511 vsize=915440 CPUtime=0.24
/proc/18523/task/18546/stat : 18546 (java) S 18511 18523 18404 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155803248 937410560 32306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18547] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18547/stat : 18547 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155803248 937410560 32306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18548] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18548/stat : 18548 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155803248 937410560 32306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915440
[startup+12.7662 s]
/proc/loadavg: 1.23 1.05 1.07 3/87 18555
/proc/meminfo: memFree=1505768/2055920 swapFree=4192812/4192956
[pid=18523] ppid=18511 vsize=915440 CPUtime=12.67
/proc/18523/stat : 18523 (java) R 18511 18523 18404 0 -1 0 32588 0 1 0 1250 17 0 0 25 0 8 0 155803238 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802770 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228860 32316 2521 14 0 215330 0
[pid=18523/tid=18537] ppid=18511 vsize=915440 CPUtime=0.46
/proc/18523/task/18537/stat : 18537 (java) S 18511 18523 18404 0 -1 64 15584 0 0 0 41 5 0 0 16 0 8 0 155803243 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18538] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18538/stat : 18538 (java) S 18511 18523 18404 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18539] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18539/stat : 18539 (java) S 18511 18523 18404 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18545] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18545/stat : 18545 (java) S 18511 18523 18404 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155803248 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18546] ppid=18511 vsize=915440 CPUtime=0.26
/proc/18523/task/18546/stat : 18546 (java) S 18511 18523 18404 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155803248 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18547] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18547/stat : 18547 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155803248 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18548] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18548/stat : 18548 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155803248 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915440
[startup+25.6153 s]
/proc/loadavg: 1.34 1.08 1.08 3/93 18581
/proc/meminfo: memFree=1504872/2055920 swapFree=4192812/4192956
[pid=18523] ppid=18511 vsize=915440 CPUtime=25.43
/proc/18523/stat : 18523 (java) R 18511 18523 18404 0 -1 0 32589 0 1 0 2526 17 0 0 25 0 8 0 155803238 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228860 32317 2521 14 0 215330 0
[pid=18523/tid=18537] ppid=18511 vsize=915440 CPUtime=0.46
/proc/18523/task/18537/stat : 18537 (java) S 18511 18523 18404 0 -1 64 15584 0 0 0 41 5 0 0 16 0 8 0 155803243 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18538] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18538/stat : 18538 (java) S 18511 18523 18404 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18539] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18539/stat : 18539 (java) S 18511 18523 18404 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18545] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18545/stat : 18545 (java) S 18511 18523 18404 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155803248 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18546] ppid=18511 vsize=915440 CPUtime=0.26
/proc/18523/task/18546/stat : 18546 (java) S 18511 18523 18404 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 155803248 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18547] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18547/stat : 18547 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155803248 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18548] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18548/stat : 18548 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155803248 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915440
[startup+51.2437 s]
/proc/loadavg: 1.62 1.17 1.11 3/93 18663
/proc/meminfo: memFree=1504680/2055920 swapFree=4192812/4192956
[pid=18523] ppid=18511 vsize=915440 CPUtime=50.85
/proc/18523/stat : 18523 (java) R 18511 18523 18404 0 -1 0 32589 0 1 0 5068 17 0 0 25 0 8 0 155803238 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228860 32317 2521 14 0 215330 0
[pid=18523/tid=18537] ppid=18511 vsize=915440 CPUtime=0.46
/proc/18523/task/18537/stat : 18537 (java) S 18511 18523 18404 0 -1 64 15584 0 0 0 41 5 0 0 16 0 8 0 155803243 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18538] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18538/stat : 18538 (java) S 18511 18523 18404 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18539] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18539/stat : 18539 (java) S 18511 18523 18404 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18545] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18545/stat : 18545 (java) S 18511 18523 18404 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155803248 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18546] ppid=18511 vsize=915440 CPUtime=0.26
/proc/18523/task/18546/stat : 18546 (java) S 18511 18523 18404 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 155803248 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18547] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18547/stat : 18547 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155803248 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18548] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18548/stat : 18548 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155803248 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915440
[startup+102.495 s]
/proc/loadavg: 1.83 1.29 1.15 3/93 18723
/proc/meminfo: memFree=1504744/2055920 swapFree=4192812/4192956
[pid=18523] ppid=18511 vsize=915440 CPUtime=101.8
/proc/18523/stat : 18523 (java) R 18511 18523 18404 0 -1 0 32589 0 1 0 10163 17 0 0 25 0 8 0 155803238 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228860 32317 2521 14 0 215330 0
[pid=18523/tid=18537] ppid=18511 vsize=915440 CPUtime=0.46
/proc/18523/task/18537/stat : 18537 (java) S 18511 18523 18404 0 -1 64 15584 0 0 0 41 5 0 0 16 0 8 0 155803243 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18538] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18538/stat : 18538 (java) S 18511 18523 18404 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18539] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18539/stat : 18539 (java) S 18511 18523 18404 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18545] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18545/stat : 18545 (java) S 18511 18523 18404 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155803248 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18546] ppid=18511 vsize=915440 CPUtime=0.26
/proc/18523/task/18546/stat : 18546 (java) S 18511 18523 18404 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 155803248 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18547] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18547/stat : 18547 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155803248 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18548] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18548/stat : 18548 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155803248 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 915440
[startup+162.581 s]
/proc/loadavg: 2.00 1.44 1.21 3/87 18753
/proc/meminfo: memFree=1505704/2055920 swapFree=4192812/4192956
[pid=18523] ppid=18511 vsize=915440 CPUtime=161.57
/proc/18523/stat : 18523 (java) R 18511 18523 18404 0 -1 0 32590 0 1 0 16140 17 0 0 25 0 8 0 155803238 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660101 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.37
Current children cumulated vsize (KiB) 915440
[startup+1484.34 s]
/proc/loadavg: 2.01 2.00 1.78 3/87 18755
/proc/meminfo: memFree=1505392/2055920 swapFree=4192812/4192956
[pid=18523] ppid=18511 vsize=915440 CPUtime=1477.17
/proc/18523/stat : 18523 (java) R 18511 18523 18404 0 -1 0 32591 0 1 0 147698 19 0 0 25 0 8 0 155803238 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228860 32318 2521 14 0 215330 0
[pid=18523/tid=18537] ppid=18511 vsize=915440 CPUtime=0.46
/proc/18523/task/18537/stat : 18537 (java) S 18511 18523 18404 0 -1 64 15584 0 0 0 41 5 0 0 16 0 8 0 155803243 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18538] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18538/stat : 18538 (java) S 18511 18523 18404 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18539] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18539/stat : 18539 (java) S 18511 18523 18404 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18545] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18545/stat : 18545 (java) S 18511 18523 18404 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18546] ppid=18511 vsize=915440 CPUtime=0.27
/proc/18523/task/18546/stat : 18546 (java) S 18511 18523 18404 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18547] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18547/stat : 18547 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18548] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18548/stat : 18548 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.17
Current children cumulated vsize (KiB) 915440
[startup+1544.42 s]
/proc/loadavg: 2.00 2.00 1.80 3/87 18755
/proc/meminfo: memFree=1505392/2055920 swapFree=4192812/4192956
[pid=18523] ppid=18511 vsize=915440 CPUtime=1536.97
/proc/18523/stat : 18523 (java) R 18511 18523 18404 0 -1 0 32591 0 1 0 153678 19 0 0 25 0 8 0 155803238 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228860 32318 2521 14 0 215330 0
[pid=18523/tid=18537] ppid=18511 vsize=915440 CPUtime=0.46
/proc/18523/task/18537/stat : 18537 (java) S 18511 18523 18404 0 -1 64 15584 0 0 0 41 5 0 0 16 0 8 0 155803243 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18538] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18538/stat : 18538 (java) S 18511 18523 18404 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18539] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18539/stat : 18539 (java) S 18511 18523 18404 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18545] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18545/stat : 18545 (java) S 18511 18523 18404 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18546] ppid=18511 vsize=915440 CPUtime=0.27
/proc/18523/task/18546/stat : 18546 (java) S 18511 18523 18404 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18547] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18547/stat : 18547 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18548] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18548/stat : 18548 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.97
Current children cumulated vsize (KiB) 915440
[startup+1604.5 s]
/proc/loadavg: 2.00 2.00 1.81 3/87 18755
/proc/meminfo: memFree=1505328/2055920 swapFree=4192812/4192956
[pid=18523] ppid=18511 vsize=915440 CPUtime=1596.77
/proc/18523/stat : 18523 (java) R 18511 18523 18404 0 -1 0 32591 0 1 0 159658 19 0 0 25 0 8 0 155803238 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228860 32318 2521 14 0 215330 0
[pid=18523/tid=18537] ppid=18511 vsize=915440 CPUtime=0.46
/proc/18523/task/18537/stat : 18537 (java) S 18511 18523 18404 0 -1 64 15584 0 0 0 41 5 0 0 16 0 8 0 155803243 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18538] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18538/stat : 18538 (java) S 18511 18523 18404 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18539] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18539/stat : 18539 (java) S 18511 18523 18404 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18545] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18545/stat : 18545 (java) S 18511 18523 18404 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18546] ppid=18511 vsize=915440 CPUtime=0.27
/proc/18523/task/18546/stat : 18546 (java) S 18511 18523 18404 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18547] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18547/stat : 18547 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18548] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18548/stat : 18548 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.77
Current children cumulated vsize (KiB) 915440
[startup+1664.58 s]
/proc/loadavg: 2.00 2.00 1.82 3/87 18755
/proc/meminfo: memFree=1505328/2055920 swapFree=4192812/4192956
[pid=18523] ppid=18511 vsize=915440 CPUtime=1656.57
/proc/18523/stat : 18523 (java) R 18511 18523 18404 0 -1 0 32591 0 1 0 165638 19 0 0 25 0 8 0 155803238 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073659977 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228860 32318 2521 14 0 215330 0
[pid=18523/tid=18537] ppid=18511 vsize=915440 CPUtime=0.46
/proc/18523/task/18537/stat : 18537 (java) S 18511 18523 18404 0 -1 64 15584 0 0 0 41 5 0 0 16 0 8 0 155803243 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18538] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18538/stat : 18538 (java) S 18511 18523 18404 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18539] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18539/stat : 18539 (java) S 18511 18523 18404 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18545] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18545/stat : 18545 (java) S 18511 18523 18404 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18546] ppid=18511 vsize=915440 CPUtime=0.27
/proc/18523/task/18546/stat : 18546 (java) S 18511 18523 18404 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18547] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18547/stat : 18547 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18548] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18548/stat : 18548 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.57
Current children cumulated vsize (KiB) 915440
[startup+1724.66 s]
/proc/loadavg: 2.00 2.00 1.82 3/87 18755
/proc/meminfo: memFree=1505328/2055920 swapFree=4192812/4192956
[pid=18523] ppid=18511 vsize=915440 CPUtime=1716.37
/proc/18523/stat : 18523 (java) R 18511 18523 18404 0 -1 0 32591 0 1 0 171618 19 0 0 25 0 8 0 155803238 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807549 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228860 32318 2521 14 0 215330 0
[pid=18523/tid=18537] ppid=18511 vsize=915440 CPUtime=0.46
/proc/18523/task/18537/stat : 18537 (java) S 18511 18523 18404 0 -1 64 15584 0 0 0 41 5 0 0 16 0 8 0 155803243 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18538] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18538/stat : 18538 (java) S 18511 18523 18404 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18539] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18539/stat : 18539 (java) S 18511 18523 18404 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18545] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18545/stat : 18545 (java) S 18511 18523 18404 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18546] ppid=18511 vsize=915440 CPUtime=0.27
/proc/18523/task/18546/stat : 18546 (java) S 18511 18523 18404 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18547] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18547/stat : 18547 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18548] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18548/stat : 18548 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.37
Current children cumulated vsize (KiB) 915440
[startup+1784.74 s]
/proc/loadavg: 2.00 2.00 1.83 3/87 18755
/proc/meminfo: memFree=1505328/2055920 swapFree=4192812/4192956
[pid=18523] ppid=18511 vsize=915440 CPUtime=1776.17
/proc/18523/stat : 18523 (java) R 18511 18523 18404 0 -1 0 32591 0 1 0 177598 19 0 0 25 0 8 0 155803238 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228860 32318 2521 14 0 215330 0
[pid=18523/tid=18537] ppid=18511 vsize=915440 CPUtime=0.46
/proc/18523/task/18537/stat : 18537 (java) S 18511 18523 18404 0 -1 64 15584 0 0 0 41 5 0 0 16 0 8 0 155803243 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18538] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18538/stat : 18538 (java) S 18511 18523 18404 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18539] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18539/stat : 18539 (java) S 18511 18523 18404 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18545] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18545/stat : 18545 (java) S 18511 18523 18404 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18546] ppid=18511 vsize=915440 CPUtime=0.27
/proc/18523/task/18546/stat : 18546 (java) S 18511 18523 18404 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18547] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18547/stat : 18547 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18548] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18548/stat : 18548 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.17
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.7 s]
/proc/loadavg: 2.07 2.02 1.84 3/87 18755
/proc/meminfo: memFree=1505328/2055920 swapFree=4192812/4192956
[pid=18523] ppid=18511 vsize=915440 CPUtime=1800.03
/proc/18523/stat : 18523 (java) R 18511 18523 18404 0 -1 0 32591 0 1 0 179984 19 0 0 25 0 8 0 155803238 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228860 32318 2521 14 0 215330 0
[pid=18523/tid=18537] ppid=18511 vsize=915440 CPUtime=0.46
/proc/18523/task/18537/stat : 18537 (java) S 18511 18523 18404 0 -1 64 15584 0 0 0 41 5 0 0 16 0 8 0 155803243 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18538] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18538/stat : 18538 (java) S 18511 18523 18404 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18539] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18539/stat : 18539 (java) S 18511 18523 18404 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803244 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18545] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18545/stat : 18545 (java) S 18511 18523 18404 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18546] ppid=18511 vsize=915440 CPUtime=0.27
/proc/18523/task/18546/stat : 18546 (java) S 18511 18523 18404 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18547] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18547/stat : 18547 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18548] ppid=18511 vsize=915440 CPUtime=0
/proc/18523/task/18548/stat : 18548 (java) S 18511 18523 18404 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155803248 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1808.78
CPU time (s): 1800.11
CPU user time (s): 1799.89
CPU system time (s): 0.215967
CPU usage (%): 99.5205
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.215967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32608
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= 37811
involuntary context switches= 44254
runsolver used 1.66775 s user time and 5.12122 s system time
The end
Begin job on node39 on Sat Jan 6 09:00:36 UTC 2007
IDJOB= 206736
IDBENCH= 4231
FILE ID= node39/206736-1168074034
PBS_JOBID= 3476006
Free space on /tmp= 66519 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-44_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206736-1168074034/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-206736-1168074034 -o ROOT/results/node39/solver-206736-1168074034 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206736-1168074034/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f66defe44a9042bd3059afa3d35d7949
RANDOM SEED= 981872431
TIME LIMIT= 1800 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.236
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.236
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: 1746120 kB
Buffers: 24524 kB
Cached: 193688 kB
SwapCached: 0 kB
Active: 66476 kB
Inactive: 171928 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1746120 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 15276 kB
Writeback: 0 kB
Mapped: 30456 kB
Slab: 56984 kB
Committed_AS: 2910408 kB
PageTables: 1724 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= 66519 MiB
End job on node39 on Sat Jan 6 09:30:46 UTC 2007