0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/194642-1168104187/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.42 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.57
0.57 constraints being loaded...
0.71 nbConstraints=477 nbRelationTypes=477 nbExtensionStructures=477 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=477 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2516 maxDegree=27
0.71 maxArity=2
0.71 => wckTime=0.4 cpuTime=0.3 mem=17M744
0.76
0.76 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.611 cpuTime=0.43 mem=15M602
0.98
0.98 preprocessing
0.98 nbConstraintChecks=97020 nbPropagations=1082 nbRevisions=9078 nbUselessRevisions=7605 nbSingletonTests=56
0.98 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.98 => wckTime=0.058 cpuTime=0.05 mem=15M602
1.02
1.02 search
1.02 run=0 nbConstraintChecks=54720 nbPropagations=1688 nbRevisions=17264 nbUselessRevisions=14182 nbAssignments=29
1.02 nbFailedAssignments=9 nbBacktracks=12 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.02 nbTooLargeKeys=0
1.02 => wckTime=0.09 cpuTime=0.07 mem=15M602
1.04
1.04 search
1.04 run=1 nbConstraintChecks=131505 nbPropagations=4201 nbRevisions=45850 nbUselessRevisions=37709
1.04 nbAssignments=67 nbFailedAssignments=20 nbBacktracks=28 nbVisitedNodes=106 nbRestartNogoods=2 mapSize=22
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.114 cpuTime=0.08 mem=15M602
1.06
1.06 search
1.06 run=2 nbConstraintChecks=223429 nbPropagations=7738 nbRevisions=88480 nbUselessRevisions=72703
1.06 nbAssignments=113 nbFailedAssignments=34 nbBacktracks=51 nbVisitedNodes=180 nbRestartNogoods=7 mapSize=41
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.131 cpuTime=0.1 mem=15M602
1.08
1.08 search
1.08 run=3 nbConstraintChecks=338293 nbPropagations=12656 nbRevisions=150796 nbUselessRevisions=123954
1.08 nbAssignments=183 nbFailedAssignments=57 nbBacktracks=85 nbVisitedNodes=294 nbRestartNogoods=12 mapSize=69
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.155 cpuTime=0.12 mem=15M602
1.12
1.12 search
1.12 run=4 nbConstraintChecks=515669 nbPropagations=19639 nbRevisions=241473 nbUselessRevisions=198661
1.12 nbAssignments=291 nbFailedAssignments=86 nbBacktracks=135 nbVisitedNodes=442 nbRestartNogoods=15 mapSize=111
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.189 cpuTime=0.15 mem=15M602
1.17
1.17 search
1.17 run=5 nbConstraintChecks=736661 nbPropagations=29159 nbRevisions=371682 nbUselessRevisions=305817
1.17 nbAssignments=416 nbFailedAssignments=128 nbBacktracks=212 nbVisitedNodes=652 nbRestartNogoods=19 mapSize=174
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.239 cpuTime=0.19 mem=15M602
1.22
1.22 search
1.22 run=6 nbConstraintChecks=1062219 nbPropagations=42313 nbRevisions=558617 nbUselessRevisions=459593
1.22 nbAssignments=610 nbFailedAssignments=198 nbBacktracks=325 nbVisitedNodes=975 nbRestartNogoods=20 mapSize=262
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.296 cpuTime=0.25 mem=15M602
1.31
1.31 search
1.31 run=7 nbConstraintChecks=1530232 nbPropagations=60987 nbRevisions=828533 nbUselessRevisions=681919
1.31 nbAssignments=910 nbFailedAssignments=295 nbBacktracks=495 nbVisitedNodes=1438 nbRestartNogoods=24 mapSize=397
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.38 cpuTime=0.33 mem=15M602
1.44
1.44 search
1.44 run=8 nbConstraintChecks=2309513 nbPropagations=87935 nbRevisions=1224434 nbUselessRevisions=1005419
1.44 nbAssignments=1330 nbFailedAssignments=449 nbBacktracks=754 nbVisitedNodes=2151 nbRestartNogoods=28
1.44 mapSize=608 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.516 cpuTime=0.46 mem=15M602
1.63
1.63 search
1.63 run=9 nbConstraintChecks=3327841 nbPropagations=126487 nbRevisions=1804843 nbUselessRevisions=1481108
1.63 nbAssignments=1957 nbFailedAssignments=680 nbBacktracks=1139 nbVisitedNodes=3200 nbRestartNogoods=34
1.63 mapSize=916 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.705 cpuTime=0.63 mem=15M602
1.71
1.71 INFO : Stopping hyperNogood (mapSize=1045, nbTooLargekeys=0, mem=15M602)
1.90
1.90 search
1.90 run=10 nbConstraintChecks=5023046 nbPropagations=183997 nbRevisions=2681347 nbUselessRevisions=2198993
1.90 nbAssignments=2892 nbFailedAssignments=1031 nbBacktracks=1715 nbVisitedNodes=4813 nbRestartNogoods=41
1.90 => wckTime=0.977 cpuTime=0.89 mem=15M602
2.26
2.26 search
2.26 run=11 nbConstraintChecks=7312751 nbPropagations=267894 nbRevisions=3979044 nbUselessRevisions=3265493
2.26 nbAssignments=4306 nbFailedAssignments=1570 nbBacktracks=2580 nbVisitedNodes=7202 nbRestartNogoods=48
2.26 => wckTime=1.335 cpuTime=1.24 mem=15M602
2.82
2.82 search
2.82 run=12 nbConstraintChecks=10938730 nbPropagations=394782 nbRevisions=5948583 nbUselessRevisions=4884068
2.82 nbAssignments=6432 nbFailedAssignments=2387 nbBacktracks=3879 nbVisitedNodes=10894 nbRestartNogoods=53
2.82 => wckTime=1.892 cpuTime=1.8 mem=15M602
3.58
3.58 search
3.58 run=13 nbConstraintChecks=15869520 nbPropagations=579385 nbRevisions=8840472 nbUselessRevisions=7265015
3.58 nbAssignments=9546 nbFailedAssignments=3545 nbBacktracks=5826 nbVisitedNodes=16216 nbRestartNogoods=64
3.58 => wckTime=2.654 cpuTime=2.56 mem=15M602
4.81
4.81 search
4.81 run=14 nbConstraintChecks=24169908 nbPropagations=854697 nbRevisions=13151826 nbUselessRevisions=10807219
4.81 nbAssignments=14162 nbFailedAssignments=5228 nbBacktracks=8746 nbVisitedNodes=24044 nbRestartNogoods=69
4.81 => wckTime=3.887 cpuTime=3.79 mem=16M577
6.61
6.61 search
6.61 run=15 nbConstraintChecks=35409168 nbPropagations=1266559 nbRevisions=19638999 nbUselessRevisions=16150771
6.61 nbAssignments=21345 nbFailedAssignments=8025 nbBacktracks=13124 nbVisitedNodes=36397 nbRestartNogoods=85
6.61 => wckTime=5.68 cpuTime=5.57 mem=16M577
9.47
9.47 search
9.47 run=16 nbConstraintChecks=54239842 nbPropagations=1890945 nbRevisions=29505905 nbUselessRevisions=24271853
9.47 nbAssignments=32210 nbFailedAssignments=12314 nbBacktracks=19693 nbVisitedNodes=55175 nbRestartNogoods=92
9.47 => wckTime=8.546 cpuTime=8.43 mem=16M577
13.57
13.57 search
13.57 run=17 nbConstraintChecks=80408639 nbPropagations=2823100 nbRevisions=44182753 nbUselessRevisions=36341319
13.57 nbAssignments=47914 nbFailedAssignments=18154 nbBacktracks=29546 nbVisitedNodes=81990 nbRestartNogoods=102
13.57 => wckTime=12.642 cpuTime=12.51 mem=16M577
19.45
19.45 search
19.45 run=18 nbConstraintChecks=118379532 nbPropagations=4200781 nbRevisions=65650094 nbUselessRevisions=53953268
19.45 nbAssignments=71314 nbFailedAssignments=26768 nbBacktracks=44325 nbVisitedNodes=121524 nbRestartNogoods=109
19.45 => wckTime=18.519 cpuTime=18.35 mem=16M577
27.91
27.91 search
27.91 run=19 nbConstraintChecks=172916198 nbPropagations=6227535 nbRevisions=97273185 nbUselessRevisions=79927176
27.91 nbAssignments=105945 nbFailedAssignments=39219 nbBacktracks=66496 nbVisitedNodes=179978 nbRestartNogoods=123
27.91 => wckTime=26.987 cpuTime=26.78 mem=16M577
41.49
41.49 search
41.49 run=20 nbConstraintChecks=261969403 nbPropagations=9259031 nbRevisions=144761606 nbUselessRevisions=118912909
41.49 nbAssignments=158161 nbFailedAssignments=58170 nbBacktracks=99750 nbVisitedNodes=268061 nbRestartNogoods=134
41.49 => wckTime=40.565 cpuTime=40.29 mem=16M577
62.38
62.38 search
62.38 run=21 nbConstraintChecks=395391669 nbPropagations=13865837 nbRevisions=217177347 nbUselessRevisions=178437146
62.38 nbAssignments=239926 nbFailedAssignments=90047 nbBacktracks=149628 nbVisitedNodes=408559 nbRestartNogoods=144
62.38 => wckTime=61.458 cpuTime=61.08 mem=16M577
92.99
92.99 search
92.99 run=22 nbConstraintChecks=595514596 nbPropagations=20767529 nbRevisions=325978723 nbUselessRevisions=267944917
92.99 nbAssignments=359759 nbFailedAssignments=135049 nbBacktracks=224446 nbVisitedNodes=612485 nbRestartNogoods=154
92.99 => wckTime=92.064 cpuTime=91.54 mem=16M577
139.52
139.52 search
139.52 run=23 nbConstraintChecks=891862210 nbPropagations=31168727 nbRevisions=490209101 nbUselessRevisions=403175273
139.52 nbAssignments=541730 nbFailedAssignments=204781 nbBacktracks=336674 nbVisitedNodes=924304 nbRestartNogoods=165
139.52 => wckTime=138.598 cpuTime=137.85 mem=16M577
208.88
208.88 search
208.88 run=24 nbConstraintChecks=1338387558 nbPropagations=46800061 nbRevisions=738755956 nbUselessRevisions=608172538
208.88 nbAssignments=815967 nbFailedAssignments=310667 nbBacktracks=505016 nbVisitedNodes=1395442 nbRestartNogoods=177
208.88 => wckTime=207.953 cpuTime=206.87 mem=16M577
312.80
312.80 search
312.80 run=25 nbConstraintChecks=2004013287 nbPropagations=70189978 nbRevisions=1109979819
312.80 nbUselessRevisions=914246362 nbAssignments=1217397 nbFailedAssignments=459575 nbBacktracks=757527
312.80 nbVisitedNodes=2079111 nbRestartNogoods=192
312.80 => wckTime=311.874 cpuTime=310.3 mem=16M577
473.14
473.14 search
473.14 run=26 nbConstraintChecks=3062284348 nbPropagations=105440063 nbRevisions=1672423764
473.14 nbUselessRevisions=1378002046 nbAssignments=1829944 nbFailedAssignments=693322 nbBacktracks=1136297
473.14 nbVisitedNodes=3127564 nbRestartNogoods=216
473.14 => wckTime=472.212 cpuTime=469.87 mem=16M577
711.43
711.43 search
711.43 run=27 nbConstraintChecks=4602160884 nbPropagations=158350534 nbRevisions=2517513346
711.43 nbUselessRevisions=2075135517 nbAssignments=2740949 nbFailedAssignments=1036165 nbBacktracks=1704451
711.43 nbVisitedNodes=4687572 nbRestartNogoods=231
711.43 => wckTime=710.508 cpuTime=707.04 mem=16M577
1071.91
1071.91 search
1071.91 run=28 nbConstraintChecks=6952279999 nbPropagations=238246459 nbRevisions=3789055681
1071.91 nbUselessRevisions=3122942294 nbAssignments=4125453 nbFailedAssignments=1568435 nbBacktracks=2556678
1071.91 nbVisitedNodes=7062940 nbRestartNogoods=244
1071.91 => wckTime=1070.982 cpuTime=1065.79 mem=16M577
1608.87
1608.87 search
1608.87 run=29 nbConstraintChecks=10441395786 nbPropagations=358019537 nbRevisions=5697282200
1608.87 nbUselessRevisions=4695578873 nbAssignments=6176012 nbFailedAssignments=2340643 nbBacktracks=3835018
1608.87 nbVisitedNodes=10564150 nbRestartNogoods=260
1608.87 => wckTime=1607.947 cpuTime=1600.2 mem=16M577
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-194642-1168104187 -o ROOT/results/node43/solver-194642-1168104187 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194642-1168104187/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.09 1.68 1.83 3/68 19388
/proc/meminfo: memFree=1501104/2055920 swapFree=4192812/4192956
[pid=19387] ppid=19383 vsize=0 CPUtime=0
/proc/19387/stat : 19387 (runsolver) R 19383 19387 19280 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 158817829 0 0 18446744073709551615 0 0 0 18446744073709551615 216849247527 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19387/statm: 1 1 0 0 0 1 0
[startup+0.106121 s]
/proc/loadavg: 1.09 1.68 1.83 3/68 19388
/proc/meminfo: memFree=1501104/2055920 swapFree=4192812/4192956
[pid=19387] ppid=19383 vsize=914988 CPUtime=0.07
/proc/19387/stat : 19387 (java) R 19383 19387 19280 0 -1 0 2981 0 1 0 6 1 0 0 23 0 8 0 158817829 936947712 2727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154016819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19387/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.514235 s]
/proc/loadavg: 1.09 1.68 1.83 3/68 19388
/proc/meminfo: memFree=1501104/2055920 swapFree=4192812/4192956
[pid=19387] ppid=19383 vsize=915328 CPUtime=0.48
/proc/19387/stat : 19387 (java) R 19383 19387 19280 0 -1 0 6974 0 1 0 44 4 0 0 18 0 8 0 158817829 937295872 6713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19387/statm: 228832 6713 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33533 s]
/proc/loadavg: 1.09 1.68 1.83 3/88 19421
/proc/meminfo: memFree=1401936/2055920 swapFree=4192812/4192956
[pid=19387] ppid=19383 vsize=915460 CPUtime=1.29
/proc/19387/stat : 19387 (java) R 19383 19387 19280 0 -1 0 9676 0 1 0 122 7 0 0 24 0 8 0 158817829 937431040 9414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822750 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19387/statm: 228865 9414 2524 14 0 215335 0
[pid=19387/tid=19406] ppid=19383 vsize=915460 CPUtime=0.03
/proc/19387/task/19406/stat : 19406 (java) S 19383 19387 19280 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 158817834 937431040 9414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19409] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19409/stat : 19409 (java) S 19383 19387 19280 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19410] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19410/stat : 19410 (java) S 19383 19387 19280 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19412] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19412/stat : 19412 (java) S 19383 19387 19280 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158817837 937431040 9414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19413] ppid=19383 vsize=915460 CPUtime=0.21
/proc/19387/task/19413/stat : 19413 (java) S 19383 19387 19280 0 -1 64 382 0 0 0 21 0 0 0 15 0 8 0 158817837 937431040 9414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19414] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19414/stat : 19414 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158817837 937431040 9414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19415] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19415/stat : 19415 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158817837 937431040 9414 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) 915460
[startup+2.98359 s]
/proc/loadavg: 1.16 1.69 1.83 3/89 19422
/proc/meminfo: memFree=1385288/2055920 swapFree=4192812/4192956
[pid=19387] ppid=19383 vsize=915460 CPUtime=2.94
/proc/19387/stat : 19387 (java) R 19383 19387 19280 0 -1 0 9695 0 1 0 286 8 0 0 25 0 8 0 158817829 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835309 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19387/statm: 228865 9431 2524 14 0 215335 0
[pid=19387/tid=19406] ppid=19383 vsize=915460 CPUtime=0.03
/proc/19387/task/19406/stat : 19406 (java) S 19383 19387 19280 0 -1 64 414 0 0 0 3 0 0 0 17 0 8 0 158817834 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19409] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19409/stat : 19409 (java) S 19383 19387 19280 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19410] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19410/stat : 19410 (java) S 19383 19387 19280 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19412] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19412/stat : 19412 (java) S 19383 19387 19280 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158817837 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19413] ppid=19383 vsize=915460 CPUtime=0.25
/proc/19387/task/19413/stat : 19413 (java) S 19383 19387 19280 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 158817837 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19414] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19414/stat : 19414 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158817837 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19415] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19415/stat : 19415 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158817837 937431040 9431 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) 915460
[startup+6.27414 s]
/proc/loadavg: 1.16 1.69 1.83 3/89 19422
/proc/meminfo: memFree=1385288/2055920 swapFree=4192812/4192956
[pid=19387] ppid=19383 vsize=915460 CPUtime=6.21
/proc/19387/stat : 19387 (java) R 19383 19387 19280 0 -1 0 9697 0 1 0 613 8 0 0 25 0 8 0 158817829 937431040 9433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835289 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19387/statm: 228865 9433 2524 14 0 215335 0
[pid=19387/tid=19406] ppid=19383 vsize=915460 CPUtime=0.03
/proc/19387/task/19406/stat : 19406 (java) S 19383 19387 19280 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 158817834 937431040 9433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19409] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19409/stat : 19409 (java) S 19383 19387 19280 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19410] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19410/stat : 19410 (java) S 19383 19387 19280 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19412] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19412/stat : 19412 (java) S 19383 19387 19280 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158817837 937431040 9433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19413] ppid=19383 vsize=915460 CPUtime=0.25
/proc/19387/task/19413/stat : 19413 (java) S 19383 19387 19280 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 158817837 937431040 9433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19414] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19414/stat : 19414 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158817837 937431040 9433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19415] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19415/stat : 19415 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158817837 937431040 9433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915460
[startup+12.7532 s]
/proc/loadavg: 1.29 1.70 1.83 3/89 19422
/proc/meminfo: memFree=1385288/2055920 swapFree=4192812/4192956
[pid=19387] ppid=19383 vsize=915460 CPUtime=12.65
/proc/19387/stat : 19387 (java) R 19383 19387 19280 0 -1 0 9697 0 1 0 1257 8 0 0 25 0 8 0 158817829 937431040 9433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19387/statm: 228865 9433 2524 14 0 215335 0
[pid=19387/tid=19406] ppid=19383 vsize=915460 CPUtime=0.03
/proc/19387/task/19406/stat : 19406 (java) S 19383 19387 19280 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 158817834 937431040 9433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19409] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19409/stat : 19409 (java) S 19383 19387 19280 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19410] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19410/stat : 19410 (java) S 19383 19387 19280 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19412] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19412/stat : 19412 (java) S 19383 19387 19280 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158817837 937431040 9433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19413] ppid=19383 vsize=915460 CPUtime=0.25
/proc/19387/task/19413/stat : 19413 (java) S 19383 19387 19280 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 158817837 937431040 9433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19414] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19414/stat : 19414 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158817837 937431040 9433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19415] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19415/stat : 19415 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158817837 937431040 9433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915460
[startup+25.6104 s]
/proc/loadavg: 1.40 1.71 1.83 3/89 19422
/proc/meminfo: memFree=1385352/2055920 swapFree=4192812/4192956
[pid=19387] ppid=19383 vsize=915460 CPUtime=25.45
/proc/19387/stat : 19387 (java) R 19383 19387 19280 0 -1 0 9698 0 1 0 2537 8 0 0 25 0 8 0 158817829 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816293 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19387/statm: 228865 9434 2524 14 0 215335 0
[pid=19387/tid=19406] ppid=19383 vsize=915460 CPUtime=0.03
/proc/19387/task/19406/stat : 19406 (java) S 19383 19387 19280 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 158817834 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19409] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19409/stat : 19409 (java) S 19383 19387 19280 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19410] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19410/stat : 19410 (java) S 19383 19387 19280 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19412] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19412/stat : 19412 (java) S 19383 19387 19280 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158817837 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19413] ppid=19383 vsize=915460 CPUtime=0.25
/proc/19387/task/19413/stat : 19413 (java) S 19383 19387 19280 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 158817837 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19414] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19414/stat : 19414 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158817837 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19415] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19415/stat : 19415 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158817837 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915460
[startup+51.2186 s]
/proc/loadavg: 1.60 1.73 1.83 3/89 19422
/proc/meminfo: memFree=1385416/2055920 swapFree=4192812/4192956
[pid=19387] ppid=19383 vsize=915460 CPUtime=50.94
/proc/19387/stat : 19387 (java) R 19383 19387 19280 0 -1 0 9699 0 1 0 5086 8 0 0 25 0 8 0 158817829 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835289 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19387/statm: 228865 9434 2524 14 0 215335 0
[pid=19387/tid=19406] ppid=19383 vsize=915460 CPUtime=0.03
/proc/19387/task/19406/stat : 19406 (java) S 19383 19387 19280 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 158817834 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19409] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19409/stat : 19409 (java) S 19383 19387 19280 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19410] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19410/stat : 19410 (java) S 19383 19387 19280 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19412] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19412/stat : 19412 (java) S 19383 19387 19280 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158817837 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19413] ppid=19383 vsize=915460 CPUtime=0.25
/proc/19387/task/19413/stat : 19413 (java) S 19383 19387 19280 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 158817837 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19414] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19414/stat : 19414 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158817837 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19415] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19415/stat : 19415 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158817837 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915460
[startup+102.43 s]
/proc/loadavg: 1.83 1.77 1.84 3/89 19422
/proc/meminfo: memFree=1385480/2055920 swapFree=4192812/4192956
[pid=19387] ppid=19383 vsize=915460 CPUtime=101.91
/proc/19387/stat : 19387 (java) R 19383 19387 19280 0 -1 0 9699 0 1 0 10182 9 0 0 25 0 8 0 158817829 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19387/statm: 228865 9434 2524 14 0 215335 0
[pid=19387/tid=19406] ppid=19383 vsize=915460 CPUtime=0.03
/proc/19387/task/19406/stat : 19406 (java) S 19383 19387 19280 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 158817834 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19409] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19409/stat : 19409 (java) S 19383 19387 19280 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19410] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19410/stat : 19410 (java) S 19383 19387 19280 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19412] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19412/stat : 19412 (java) S 19383 19387 19280 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158817837 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19413] ppid=19383 vsize=915460 CPUtime=0.25
/proc/19387/task/19413/stat : 19413 (java) S 19383 19387 19280 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 158817837 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19414] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19414/stat : 19414 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158817837 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19415] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19415/stat : 19415 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158817837 937431040 9434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915460
[startup+162.494 s]
/proc/loadavg: 1.98 1.82 1.85 3/89 19422
/proc/meminfo: memFree=1367624/2055920 swapFree=4192812/4192956
[pid=19387] ppid=19383 vsize=915460 CPUtime=161.69
/proc/19387/stat : 19387 (java) R 19383 19387 19280 0 -1 0 9700 0 1 0 16160 9 0 0 25 0 8 0 158817829 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835305 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.87
Current children cumulated vsize (KiB) 915460
[startup+1483.75 s]
/proc/loadavg: 2.00 2.00 1.93 3/89 19422
/proc/meminfo: memFree=1299464/2055920 swapFree=4192812/4192956
[pid=19387] ppid=19383 vsize=915460 CPUtime=1476.64
/proc/19387/stat : 19387 (java) R 19383 19387 19280 0 -1 0 9700 0 1 0 147652 12 0 0 25 0 8 0 158817829 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073869142 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19387/statm: 228865 9435 2524 14 0 215335 0
[pid=19387/tid=19406] ppid=19383 vsize=915460 CPUtime=0.03
/proc/19387/task/19406/stat : 19406 (java) S 19383 19387 19280 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19409] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19409/stat : 19409 (java) S 19383 19387 19280 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19410] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19410/stat : 19410 (java) S 19383 19387 19280 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19412] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19412/stat : 19412 (java) S 19383 19387 19280 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19413] ppid=19383 vsize=915460 CPUtime=0.26
/proc/19387/task/19413/stat : 19413 (java) S 19383 19387 19280 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19414] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19414/stat : 19414 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19415] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19415/stat : 19415 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.64
Current children cumulated vsize (KiB) 915460
[startup+1543.81 s]
/proc/loadavg: 2.03 2.01 1.94 3/89 19422
/proc/meminfo: memFree=1299464/2055920 swapFree=4192812/4192956
[pid=19387] ppid=19383 vsize=915460 CPUtime=1536.42
/proc/19387/stat : 19387 (java) R 19383 19387 19280 0 -1 0 9700 0 1 0 153630 12 0 0 25 0 8 0 158817829 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19387/statm: 228865 9435 2524 14 0 215335 0
[pid=19387/tid=19406] ppid=19383 vsize=915460 CPUtime=0.03
/proc/19387/task/19406/stat : 19406 (java) S 19383 19387 19280 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19409] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19409/stat : 19409 (java) S 19383 19387 19280 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19410] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19410/stat : 19410 (java) S 19383 19387 19280 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19412] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19412/stat : 19412 (java) S 19383 19387 19280 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19413] ppid=19383 vsize=915460 CPUtime=0.26
/proc/19387/task/19413/stat : 19413 (java) S 19383 19387 19280 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19414] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19414/stat : 19414 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19415] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19415/stat : 19415 (java) R 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.42
Current children cumulated vsize (KiB) 915460
[startup+1603.87 s]
/proc/loadavg: 2.01 2.01 1.94 3/89 19422
/proc/meminfo: memFree=1299400/2055920 swapFree=4192812/4192956
[pid=19387] ppid=19383 vsize=915460 CPUtime=1596.2
/proc/19387/stat : 19387 (java) R 19383 19387 19280 0 -1 0 9700 0 1 0 159607 13 0 0 25 0 8 0 158817829 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822597 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19387/statm: 228865 9435 2524 14 0 215335 0
[pid=19387/tid=19406] ppid=19383 vsize=915460 CPUtime=0.03
/proc/19387/task/19406/stat : 19406 (java) S 19383 19387 19280 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19409] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19409/stat : 19409 (java) S 19383 19387 19280 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19410] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19410/stat : 19410 (java) S 19383 19387 19280 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19412] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19412/stat : 19412 (java) S 19383 19387 19280 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19413] ppid=19383 vsize=915460 CPUtime=0.26
/proc/19387/task/19413/stat : 19413 (java) S 19383 19387 19280 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19414] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19414/stat : 19414 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19415] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19415/stat : 19415 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.2
Current children cumulated vsize (KiB) 915460
[startup+1663.92 s]
/proc/loadavg: 2.04 2.02 1.94 3/89 19422
/proc/meminfo: memFree=1299400/2055920 swapFree=4192812/4192956
[pid=19387] ppid=19383 vsize=915460 CPUtime=1655.96
/proc/19387/stat : 19387 (java) R 19383 19387 19280 0 -1 0 9700 0 1 0 165583 13 0 0 25 0 8 0 158817829 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840735 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19387/statm: 228865 9435 2524 14 0 215335 0
[pid=19387/tid=19406] ppid=19383 vsize=915460 CPUtime=0.03
/proc/19387/task/19406/stat : 19406 (java) S 19383 19387 19280 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19409] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19409/stat : 19409 (java) S 19383 19387 19280 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19410] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19410/stat : 19410 (java) S 19383 19387 19280 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19412] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19412/stat : 19412 (java) S 19383 19387 19280 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19413] ppid=19383 vsize=915460 CPUtime=0.26
/proc/19387/task/19413/stat : 19413 (java) S 19383 19387 19280 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19414] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19414/stat : 19414 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19415] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19415/stat : 19415 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.96
Current children cumulated vsize (KiB) 915460
[startup+1723.98 s]
/proc/loadavg: 2.01 2.01 1.94 3/89 19422
/proc/meminfo: memFree=1299336/2055920 swapFree=4192812/4192956
[pid=19387] ppid=19383 vsize=915460 CPUtime=1715.73
/proc/19387/stat : 19387 (java) R 19383 19387 19280 0 -1 0 9700 0 1 0 171560 13 0 0 25 0 8 0 158817829 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19387/statm: 228865 9435 2524 14 0 215335 0
[pid=19387/tid=19406] ppid=19383 vsize=915460 CPUtime=0.03
/proc/19387/task/19406/stat : 19406 (java) S 19383 19387 19280 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19409] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19409/stat : 19409 (java) S 19383 19387 19280 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19410] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19410/stat : 19410 (java) S 19383 19387 19280 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19412] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19412/stat : 19412 (java) S 19383 19387 19280 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19413] ppid=19383 vsize=915460 CPUtime=0.26
/proc/19387/task/19413/stat : 19413 (java) S 19383 19387 19280 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19414] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19414/stat : 19414 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19415] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19415/stat : 19415 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.73
Current children cumulated vsize (KiB) 915460
[startup+1784.05 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 19422
/proc/meminfo: memFree=1299336/2055920 swapFree=4192812/4192956
[pid=19387] ppid=19383 vsize=915460 CPUtime=1775.5
/proc/19387/stat : 19387 (java) R 19383 19387 19280 0 -1 0 9700 0 1 0 177537 13 0 0 25 0 8 0 158817829 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19387/statm: 228865 9435 2524 14 0 215335 0
[pid=19387/tid=19406] ppid=19383 vsize=915460 CPUtime=0.03
/proc/19387/task/19406/stat : 19406 (java) S 19383 19387 19280 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19409] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19409/stat : 19409 (java) S 19383 19387 19280 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19410] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19410/stat : 19410 (java) S 19383 19387 19280 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19412] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19412/stat : 19412 (java) S 19383 19387 19280 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19413] ppid=19383 vsize=915460 CPUtime=0.26
/proc/19387/task/19413/stat : 19413 (java) S 19383 19387 19280 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19414] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19414/stat : 19414 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19415] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19415/stat : 19415 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.5
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.73 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 19422
/proc/meminfo: memFree=1299336/2055920 swapFree=4192812/4192956
[pid=19387] ppid=19383 vsize=915460 CPUtime=1800.07
/proc/19387/stat : 19387 (java) R 19383 19387 19280 0 -1 0 9700 0 1 0 179994 13 0 0 25 0 8 0 158817829 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19387/statm: 228865 9435 2524 14 0 215335 0
[pid=19387/tid=19406] ppid=19383 vsize=915460 CPUtime=0.03
/proc/19387/task/19406/stat : 19406 (java) S 19383 19387 19280 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19409] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19409/stat : 19409 (java) S 19383 19387 19280 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19410] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19410/stat : 19410 (java) S 19383 19387 19280 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 158817834 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19412] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19412/stat : 19412 (java) S 19383 19387 19280 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19413] ppid=19383 vsize=915460 CPUtime=0.26
/proc/19387/task/19413/stat : 19413 (java) S 19383 19387 19280 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19387/tid=19414] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19414/stat : 19414 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19387/tid=19415] ppid=19383 vsize=915460 CPUtime=0
/proc/19387/task/19415/stat : 19415 (java) S 19383 19387 19280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158817837 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1808.77
CPU time (s): 1800.12
CPU user time (s): 1799.98
CPU system time (s): 0.146977
CPU usage (%): 99.5219
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9719
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= 37789
involuntary context switches= 40148
runsolver used 2.81557 s user time and 5.19621 s system time
The end
Begin job on node43 on Sat Jan 6 17:23:07 UTC 2007
IDJOB= 194642
IDBENCH= 3225
FILE ID= node43/194642-1168104187
PBS_JOBID= 3477317
Free space on /tmp= 66479 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-44_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194642-1168104187/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-194642-1168104187 -o ROOT/results/node43/solver-194642-1168104187 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194642-1168104187/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6820462ffd7efb91eb7255fd46b076c9
RANDOM SEED= 169699468
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.278
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.278
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: 1501328 kB
Buffers: 36212 kB
Cached: 430472 kB
SwapCached: 0 kB
Active: 131092 kB
Inactive: 355604 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1501328 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6060 kB
Writeback: 0 kB
Mapped: 30168 kB
Slab: 53460 kB
Committed_AS: 3042940 kB
PageTables: 1592 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= 66479 MiB
End job on node43 on Sat Jan 6 17:53:16 UTC 2007