0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/206268-1168073543/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.42 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.59
1.59 constraints being loaded...
2.35 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.35 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.35 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
2.35 => wckTime=2.025 cpuTime=1.61 mem=58M30
2.51
2.51 solver IterativeSystematicSolver being built...
2.68 => wckTime=2.353 cpuTime=1.75 mem=65M422
2.68
2.68 preprocessing
2.68 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.68 detectedInconsistency=no
2.68 => wckTime=0.0040 cpuTime=0.0 mem=65M422
2.81
2.81 search
2.81 run=0 nbConstraintChecks=29425 nbValidityChecks=49725 nbPropagations=293 nbRevisions=3249
2.81 nbUselessRevisions=2596 nbAssignments=22 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=34
2.81 nbRestartNogoods=0 mapSize=6 nbInferences=0 nbTooLargeKeys=0
2.81 => wckTime=0.131 cpuTime=0.1 mem=66M424
2.92
2.92 search
2.92 run=1 nbConstraintChecks=82436 nbValidityChecks=149750 nbPropagations=1090 nbRevisions=13040
2.92 nbUselessRevisions=10531 nbAssignments=59 nbFailedAssignments=20 nbBacktracks=25 nbVisitedNodes=95
2.92 nbRestartNogoods=3 mapSize=20 nbInferences=0 nbTooLargeKeys=0
2.92 => wckTime=0.239 cpuTime=0.2 mem=66M424
3.09
3.09 search
3.09 run=2 nbConstraintChecks=174736 nbValidityChecks=331654 nbPropagations=2744 nbRevisions=33772
3.09 nbUselessRevisions=27140 nbAssignments=127 nbFailedAssignments=58 nbBacktracks=47 nbVisitedNodes=217
3.09 nbRestartNogoods=7 mapSize=39 nbInferences=0 nbTooLargeKeys=0
3.09 => wckTime=0.412 cpuTime=0.36 mem=66M424
3.25
3.25 search
3.25 run=3 nbConstraintChecks=269223 nbValidityChecks=525791 nbPropagations=5335 nbRevisions=66826
3.25 nbUselessRevisions=53662 nbAssignments=202 nbFailedAssignments=91 nbBacktracks=83 nbVisitedNodes=345
3.25 nbRestartNogoods=16 mapSize=71 nbInferences=0 nbTooLargeKeys=0
3.26 => wckTime=0.575 cpuTime=0.52 mem=66M424
3.59
3.59 search
3.59 run=4 nbConstraintChecks=465482 nbValidityChecks=952143 nbPropagations=10159 nbRevisions=128330
3.59 nbUselessRevisions=102212 nbAssignments=455 nbFailedAssignments=286 nbBacktracks=133 nbVisitedNodes=822
3.59 nbRestartNogoods=17 mapSize=115 nbInferences=0 nbTooLargeKeys=0
3.59 => wckTime=0.913 cpuTime=0.85 mem=66M424
3.89
3.89 search
3.89 run=5 nbConstraintChecks=631403 nbValidityChecks=1308638 nbPropagations=16910 nbRevisions=215775
3.89 nbUselessRevisions=171787 nbAssignments=607 nbFailedAssignments=354 nbBacktracks=209 nbVisitedNodes=1088
3.89 nbRestartNogoods=22 mapSize=186 nbInferences=0 nbTooLargeKeys=0
3.89 => wckTime=1.214 cpuTime=1.14 mem=66M424
4.38
4.38 search
4.38 run=6 nbConstraintChecks=914433 nbValidityChecks=1922589 nbPropagations=26951 nbRevisions=341916
4.38 nbUselessRevisions=272252 nbAssignments=871 nbFailedAssignments=497 nbBacktracks=323 nbVisitedNodes=1558
4.38 nbRestartNogoods=26 mapSize=270 nbInferences=0 nbTooLargeKeys=0
4.38 => wckTime=1.705 cpuTime=1.63 mem=66M424
5.20
5.20 search
5.20 run=7 nbConstraintChecks=1386645 nbValidityChecks=2885744 nbPropagations=42262 nbRevisions=534120
5.20 nbUselessRevisions=425066 nbAssignments=1253 nbFailedAssignments=700 nbBacktracks=494 nbVisitedNodes=2251
5.20 nbRestartNogoods=35 mapSize=424 nbInferences=0 nbTooLargeKeys=0
5.20 => wckTime=2.522 cpuTime=2.43 mem=66M424
6.66
6.66 search
6.66 run=8 nbConstraintChecks=2280935 nbValidityChecks=4657892 nbPropagations=66205 nbRevisions=835352
6.66 nbUselessRevisions=663920 nbAssignments=1882 nbFailedAssignments=1066 nbBacktracks=750 nbVisitedNodes=3414
6.66 nbRestartNogoods=41 mapSize=645 nbInferences=0 nbTooLargeKeys=0
6.66 => wckTime=3.979 cpuTime=3.86 mem=66M424
8.62
8.62 search
8.62 run=9 nbConstraintChecks=3467207 nbValidityChecks=7089500 nbPropagations=103943 nbRevisions=1312897
8.62 nbUselessRevisions=1043098 nbAssignments=2899 nbFailedAssignments=1691 nbBacktracks=1134 nbVisitedNodes=5304
8.62 nbRestartNogoods=50 mapSize=989 nbInferences=0 nbTooLargeKeys=0
8.62 => wckTime=5.94 cpuTime=5.79 mem=66M424
8.68
8.68 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=66M424)
11.21
11.21 search
11.21 run=10 nbConstraintChecks=5067854 nbValidityChecks=10414232 nbPropagations=160006 nbRevisions=2013483
11.21 nbUselessRevisions=1597573 nbAssignments=4342 nbFailedAssignments=2552 nbBacktracks=1710 nbVisitedNodes=7983
11.21 nbRestartNogoods=60
11.21 => wckTime=8.532 cpuTime=8.35 mem=66M424
14.43
14.43 search
14.43 run=11 nbConstraintChecks=7026466 nbValidityChecks=14558726 nbPropagations=239432 nbRevisions=3005092
14.43 nbUselessRevisions=2384760 nbAssignments=6157 nbFailedAssignments=3495 nbBacktracks=2574 nbVisitedNodes=11266
14.43 nbRestartNogoods=66
14.43 => wckTime=11.75 cpuTime=11.54 mem=66M424
19.88
19.88 search
19.88 run=12 nbConstraintChecks=10314382 nbValidityChecks=21748797 nbPropagations=358300 nbRevisions=4492314
19.88 nbUselessRevisions=3566181 nbAssignments=9431 nbFailedAssignments=5463 nbBacktracks=3871 nbVisitedNodes=17337
19.88 nbRestartNogoods=74
19.88 => wckTime=17.202 cpuTime=16.94 mem=66M424
29.37
29.37 search
29.37 run=13 nbConstraintChecks=16194279 nbValidityChecks=34201448 nbPropagations=549397 nbRevisions=6868786
29.37 nbUselessRevisions=5448119 nbAssignments=15662 nbFailedAssignments=9740 nbBacktracks=5817 nbVisitedNodes=29120
29.37 nbRestartNogoods=89
29.37 => wckTime=26.695 cpuTime=26.35 mem=66M424
42.76
42.76 search
42.76 run=14 nbConstraintChecks=24425341 nbValidityChecks=51328854 nbPropagations=827400 nbRevisions=10371603
42.76 nbUselessRevisions=8226334 nbAssignments=22356 nbFailedAssignments=13506 nbBacktracks=8737 nbVisitedNodes=41500
42.76 nbRestartNogoods=97
42.76 => wckTime=40.077 cpuTime=39.61 mem=66M424
65.54
65.54 search
65.54 run=15 nbConstraintChecks=38993555 nbValidityChecks=81911124 nbPropagations=1269681 nbRevisions=15909195
65.54 nbUselessRevisions=12598744 nbAssignments=37193 nbFailedAssignments=23954 nbBacktracks=13115
65.54 nbVisitedNodes=69672 nbRestartNogoods=108
65.54 => wckTime=62.858 cpuTime=62.19 mem=66M424
100.21
100.21 search
100.21 run=16 nbConstraintChecks=59866785 nbValidityChecks=125669656 nbPropagations=1942435 nbRevisions=24494527
100.21 nbUselessRevisions=19413757 nbAssignments=53836 nbFailedAssignments=34021 nbBacktracks=19684
100.21 nbVisitedNodes=100963 nbRestartNogoods=121
100.21 => wckTime=97.533 cpuTime=96.54 mem=66M424
153.45
153.45 search
153.45 run=17 nbConstraintChecks=94055890 nbValidityChecks=193042020 nbPropagations=2949736 nbRevisions=37201843
153.45 nbUselessRevisions=29489063 nbAssignments=78944 nbFailedAssignments=49268 nbBacktracks=29536
153.45 nbVisitedNodes=148285 nbRestartNogoods=129
153.45 => wckTime=150.77 cpuTime=149.29 mem=66M424
223.76
223.76 search
223.76 run=18 nbConstraintChecks=136427477 nbValidityChecks=282501704 nbPropagations=4453865 nbRevisions=56150142
223.76 nbUselessRevisions=44530934 nbAssignments=115719 nbFailedAssignments=71257 nbBacktracks=44314
223.76 nbVisitedNodes=217348 nbRestartNogoods=142
223.76 => wckTime=221.085 cpuTime=218.96 mem=66M424
333.58
333.58 search
333.58 run=19 nbConstraintChecks=204627782 nbValidityChecks=420394115 nbPropagations=6676761 nbRevisions=83955590
333.58 nbUselessRevisions=66549746 nbAssignments=170852 nbFailedAssignments=104214 nbBacktracks=66482
333.58 nbVisitedNodes=320402 nbRestartNogoods=152
333.58 => wckTime=330.901 cpuTime=327.77 mem=66M424
494.29
494.29 search
494.29 run=20 nbConstraintChecks=300992251 nbValidityChecks=623929177 nbPropagations=10002302 nbRevisions=125656040
494.29 nbUselessRevisions=99607666 nbAssignments=252184 nbFailedAssignments=152284 nbBacktracks=99736
494.29 nbVisitedNodes=472585 nbRestartNogoods=164
494.29 => wckTime=491.608 cpuTime=487.01 mem=66M424
733.01
733.01 search
733.01 run=21 nbConstraintChecks=448385418 nbValidityChecks=920891545 nbPropagations=14881508 nbRevisions=186441600
733.01 nbUselessRevisions=147667839 nbAssignments=370223 nbFailedAssignments=220437 nbBacktracks=149614
733.01 nbVisitedNodes=691906 nbRestartNogoods=181
733.01 => wckTime=730.332 cpuTime=723.33 mem=66M424
1105.43
1105.43 search
1105.43 run=22 nbConstraintChecks=673676793 nbValidityChecks=1405403972 nbPropagations=22363487 nbRevisions=279767665
1105.43 nbUselessRevisions=221507839 nbAssignments=566699 nbFailedAssignments=342086 nbBacktracks=224432
1105.43 nbVisitedNodes=1062406 nbRestartNogoods=201
1105.43 => wckTime=1102.756 cpuTime=1092.9 mem=66M424
1571.78
1571.78 search
1571.78 run=23 nbConstraintChecks=979318675 nbValidityChecks=2017673003 nbPropagations=33038551 nbRevisions=413253097
1571.78 nbUselessRevisions=327137021 nbAssignments=827269 nbFailedAssignments=490419 nbBacktracks=336662
1571.78 nbVisitedNodes=1542112 nbRestartNogoods=216
1571.78 => wckTime=1569.102 cpuTime=1557.38 mem=66M424
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-206268-1168073543 -o ROOT/results/node1/solver-206268-1168073543 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206268-1168073543/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: 1.60 1.84 1.88 2/93 15940
/proc/meminfo: memFree=1209120/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=18540 CPUtime=0
/proc/15939/stat : 15939 (runsolver) R 15937 15939 15760 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155750462 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15939/statm: 4635 279 244 17 0 2626 0
[startup+0.102371 s]
/proc/loadavg: 1.60 1.84 1.88 2/93 15940
/proc/meminfo: memFree=1209120/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=913228 CPUtime=0.08
/proc/15939/stat : 15939 (java) S 15937 15939 15760 0 -1 0 2904 0 1 0 7 1 0 0 17 0 8 0 155750462 935145472 2650 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15939/statm: 228307 2650 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.510415 s]
/proc/loadavg: 1.60 1.84 1.88 2/93 15940
/proc/meminfo: memFree=1209120/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915328 CPUtime=0.48
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 7337 0 1 0 44 4 0 0 18 0 8 0 155750462 937295872 7076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15939/statm: 228832 7076 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33151 s]
/proc/loadavg: 1.63 1.85 1.88 3/100 15947
/proc/meminfo: memFree=1141992/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915328 CPUtime=1.29
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 19099 0 1 0 120 9 0 0 24 0 8 0 155750462 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445267 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15939/statm: 228832 18837 2149 14 0 215302 0
[pid=15939/tid=15941] ppid=15937 vsize=915328 CPUtime=0.05
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 155750467 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915328 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915328 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915328 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915328 CPUtime=0.08
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155750471 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915328 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915328 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915328
[startup+2.96871 s]
/proc/loadavg: 1.63 1.85 1.88 4/100 15947
/proc/meminfo: memFree=1101480/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=2.92
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32558 0 1 0 275 17 0 0 25 0 8 0 155750462 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665014 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15939/statm: 228860 32292 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.21
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 376 0 0 0 20 1 0 0 15 0 8 0 155750471 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915440
[startup+6.17408 s]
/proc/loadavg: 1.66 1.85 1.88 3/100 15947
/proc/meminfo: memFree=1089320/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=6.09
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32577 0 1 0 591 18 0 0 25 0 8 0 155750462 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807549 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15939/statm: 228860 32309 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.25
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155750471 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915440
[startup+12.6488 s]
/proc/loadavg: 1.69 1.85 1.88 3/100 15947
/proc/meminfo: memFree=1089320/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=12.5
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32587 0 1 0 1232 18 0 0 25 0 8 0 155750462 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15939/statm: 228860 32317 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 17 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915440
[startup+25.5293 s]
/proc/loadavg: 1.73 1.85 1.88 3/100 15947
/proc/meminfo: memFree=1089448/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=25.27
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32588 0 1 0 2509 18 0 0 25 0 8 0 155750462 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814319 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15939/statm: 228860 32317 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915440
[startup+51.1623 s]
/proc/loadavg: 1.84 1.87 1.89 3/100 15947
/proc/meminfo: memFree=1089576/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=50.66
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32588 0 1 0 5048 18 0 0 25 0 8 0 155750462 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814319 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15939/statm: 228860 32317 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915440
[startup+102.42 s]
/proc/loadavg: 1.93 1.89 1.89 3/100 15947
/proc/meminfo: memFree=1089640/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=101.46
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32588 0 1 0 10127 19 0 0 25 0 8 0 155750462 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807629 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15939/statm: 228860 32317 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915440
[startup+162.426 s]
/proc/loadavg: 2.01 1.92 1.90 3/100 15947
/proc/meminfo: memFree=1089640/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=160.92
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32588 0 1 0 16072 20 0 0 25 0 8 0 155750462 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1411.48
Current children cumulated vsize (KiB) 915440
[startup+1483.07 s]
/proc/loadavg: 1.52 1.73 1.82 2/88 16983
/proc/meminfo: memFree=1097560/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=1471.47
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32590 0 1 0 147102 45 0 0 25 0 8 0 155750462 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806636 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15939/statm: 228860 32318 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1471.47
Current children cumulated vsize (KiB) 915440
[startup+1543.12 s]
/proc/loadavg: 1.63 1.71 1.81 3/100 17031
/proc/meminfo: memFree=996784/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=1531.46
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32590 0 1 0 153100 46 0 0 25 0 8 0 155750462 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15939/statm: 228860 32318 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1531.46
Current children cumulated vsize (KiB) 915440
[startup+1603.17 s]
/proc/loadavg: 1.86 1.76 1.82 3/100 17033
/proc/meminfo: memFree=996656/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=1591.46
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32590 0 1 0 159099 47 0 0 25 0 8 0 155750462 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15939/statm: 228860 32318 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1591.46
Current children cumulated vsize (KiB) 915440
[startup+1663.21 s]
/proc/loadavg: 1.95 1.80 1.82 3/100 17033
/proc/meminfo: memFree=996720/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=1651.45
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32590 0 1 0 165098 47 0 0 25 0 8 0 155750462 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15939/statm: 228860 32318 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1651.45
Current children cumulated vsize (KiB) 915440
[startup+1723.26 s]
/proc/loadavg: 1.98 1.83 1.83 3/100 17033
/proc/meminfo: memFree=996792/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=1711.42
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32590 0 1 0 171095 47 0 0 25 0 8 0 155750462 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073870462 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15939/statm: 228860 32318 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1711.42
Current children cumulated vsize (KiB) 915440
[startup+1783.31 s]
/proc/loadavg: 1.99 1.86 1.84 3/100 17033
/proc/meminfo: memFree=996792/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=1771.4
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32590 0 1 0 177093 47 0 0 25 0 8 0 155750462 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812021 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15939/statm: 228860 32318 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1771.4
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812 s]
/proc/loadavg: 1.99 1.87 1.84 3/100 17033
/proc/meminfo: memFree=996792/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=1800.05
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32590 0 1 0 179958 47 0 0 25 0 8 0 155750462 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15939/statm: 228860 32318 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1812.08
CPU time (s): 1800.13
CPU user time (s): 1799.64
CPU system time (s): 0.494924
CPU usage (%): 99.3407
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.494924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32606
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= 37750
involuntary context switches= 82178
runsolver used 2.40463 s user time and 5.51916 s system time
The end
Begin job on node1 on Sat Jan 6 08:52:26 UTC 2007
IDJOB= 206268
IDBENCH= 4195
FILE ID= node1/206268-1168073543
PBS_JOBID= 3475772
Free space on /tmp= 66296 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206268-1168073543/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-206268-1168073543 -o ROOT/results/node1/solver-206268-1168073543 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206268-1168073543/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 53bf81f071c9b552fd20d7b6234d763f
RANDOM SEED= 459385712
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.234
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.234
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: 1209600 kB
Buffers: 69500 kB
Cached: 613268 kB
SwapCached: 3692 kB
Active: 393480 kB
Inactive: 355596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1209600 kB
SwapTotal: 4192956 kB
SwapFree: 4165584 kB
Dirty: 7604 kB
Writeback: 0 kB
Mapped: 86148 kB
Slab: 81888 kB
Committed_AS: 4921728 kB
PageTables: 2448 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= 66296 MiB
End job on node1 on Sat Jan 6 09:22:40 UTC 2007