0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/206371-1168172192/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.102 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
1.61
1.61 constraints being loaded...
2.40 nbConstraints=91 nbRelationTypes=93 nbMergedConstraints=2 nbExtensionStructures=91
2.40 nbSharedExtensionStructures=0 nbConflictsStructures=91 nbSharedConflictsStructures=0
2.40 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
2.40 => wckTime=2.079 cpuTime=1.66 mem=56M957
2.56
2.56 solver IterativeSystematicSolver being built...
2.74 => wckTime=2.422 cpuTime=1.8 mem=65M47
2.90
2.90 preprocessing
2.90 nbConstraintChecks=52291 nbValidityChecks=83554 nbPropagations=272 nbRevisions=2909 nbUselessRevisions=2536
2.90 nbSingletonTests=37 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.90 => wckTime=0.152 cpuTime=0.12 mem=65M47
2.97
2.97 search
2.97 run=0 nbConstraintChecks=33548 nbValidityChecks=59623 nbPropagations=579 nbRevisions=6302
2.97 nbUselessRevisions=5218 nbAssignments=31 nbFailedAssignments=13 nbBacktracks=11 nbVisitedNodes=52
2.97 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.97 => wckTime=0.227 cpuTime=0.19 mem=66M56
3.10
3.10 search
3.10 run=1 nbConstraintChecks=100164 nbValidityChecks=182422 nbPropagations=1677 nbRevisions=19495
3.10 nbUselessRevisions=15947 nbAssignments=73 nbFailedAssignments=32 nbBacktracks=26 nbVisitedNodes=123
3.10 nbRestartNogoods=1 mapSize=24 nbInferences=0 nbTooLargeKeys=0
3.10 => wckTime=0.353 cpuTime=0.3 mem=66M56
3.21
3.21 search
3.21 run=2 nbConstraintChecks=154525 nbValidityChecks=282382 nbPropagations=3279 nbRevisions=38643
3.21 nbUselessRevisions=31489 nbAssignments=124 nbFailedAssignments=51 nbBacktracks=51 nbVisitedNodes=204
3.21 nbRestartNogoods=7 mapSize=37 nbInferences=0 nbTooLargeKeys=0
3.21 => wckTime=0.467 cpuTime=0.4 mem=66M56
3.48
3.48 search
3.48 run=3 nbConstraintChecks=304419 nbValidityChecks=583514 nbPropagations=6467 nbRevisions=77437
3.48 nbUselessRevisions=62757 nbAssignments=228 nbFailedAssignments=113 nbBacktracks=85 nbVisitedNodes=396
3.48 nbRestartNogoods=10 mapSize=70 nbInferences=0 nbTooLargeKeys=0
3.48 => wckTime=0.731 cpuTime=0.66 mem=66M56
3.73
3.73 search
3.73 run=4 nbConstraintChecks=446358 nbValidityChecks=867672 nbPropagations=11289 nbRevisions=134933
3.73 nbUselessRevisions=108677 nbAssignments=329 nbFailedAssignments=158 nbBacktracks=135 nbVisitedNodes=574
3.73 nbRestartNogoods=15 mapSize=115 nbInferences=0 nbTooLargeKeys=0
3.73 => wckTime=0.988 cpuTime=0.92 mem=66M56
4.09
4.09 search
4.09 run=5 nbConstraintChecks=666249 nbValidityChecks=1282209 nbPropagations=18091 nbRevisions=215534
4.09 nbUselessRevisions=172571 nbAssignments=485 nbFailedAssignments=232 nbBacktracks=211 nbVisitedNodes=847
4.09 nbRestartNogoods=21 mapSize=174 nbInferences=0 nbTooLargeKeys=0
4.09 => wckTime=1.348 cpuTime=1.27 mem=66M56
4.66
4.66 search
4.66 run=6 nbConstraintChecks=976740 nbValidityChecks=1906832 nbPropagations=28824 nbRevisions=339990
4.66 nbUselessRevisions=270795 nbAssignments=755 nbFailedAssignments=382 nbBacktracks=325 nbVisitedNodes=1339
4.66 nbRestartNogoods=25 mapSize=271 nbInferences=0 nbTooLargeKeys=0
4.66 => wckTime=1.916 cpuTime=1.83 mem=66M56
6.40
6.40 search
6.40 run=7 nbConstraintChecks=2027268 nbValidityChecks=3904916 nbPropagations=47622 nbRevisions=574648
6.40 nbUselessRevisions=455497 nbAssignments=1321 nbFailedAssignments=771 nbBacktracks=495 nbVisitedNodes=2429
6.40 nbRestartNogoods=29 mapSize=433 nbInferences=0 nbTooLargeKeys=0
6.40 => wckTime=3.658 cpuTime=3.55 mem=66M56
8.11
8.11 search
8.11 run=8 nbConstraintChecks=3027987 nbValidityChecks=5930059 nbPropagations=77731 nbRevisions=946713
8.11 nbUselessRevisions=748449 nbAssignments=2217 nbFailedAssignments=1383 nbBacktracks=751 nbVisitedNodes=4106
8.11 nbRestartNogoods=41 mapSize=670 nbInferences=0 nbTooLargeKeys=0
8.11 => wckTime=5.365 cpuTime=5.22 mem=66M56
10.56
10.56 search
10.56 run=9 nbConstraintChecks=4579318 nbValidityChecks=8801029 nbPropagations=120836 nbRevisions=1476177
10.56 nbUselessRevisions=1164899 nbAssignments=3228 nbFailedAssignments=2002 nbBacktracks=1135 nbVisitedNodes=5987
10.56 nbRestartNogoods=50 mapSize=1005 nbInferences=0 nbTooLargeKeys=0
10.56 => wckTime=7.81 cpuTime=7.64 mem=66M56
10.67
10.67 INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=66M56)
14.21
14.21 search
14.21 run=10 nbConstraintChecks=6890755 nbValidityChecks=13186430 nbPropagations=185070 nbRevisions=2282093
14.21 nbUselessRevisions=1800933 nbAssignments=4632 nbFailedAssignments=2809 nbBacktracks=1711 nbVisitedNodes=8612
14.21 nbRestartNogoods=54
14.21 => wckTime=11.464 cpuTime=11.26 mem=66M56
19.31
19.31 search
19.31 run=11 nbConstraintChecks=9882053 nbValidityChecks=19146530 nbPropagations=283092 nbRevisions=3474462
19.31 nbUselessRevisions=2737975 nbAssignments=6818 nbFailedAssignments=4122 nbBacktracks=2576 nbVisitedNodes=12729
19.31 nbRestartNogoods=72
19.31 => wckTime=16.561 cpuTime=16.28 mem=66M56
26.99
26.99 search
26.99 run=12 nbConstraintChecks=14616356 nbValidityChecks=28106474 nbPropagations=426487 nbRevisions=5244730
26.99 nbUselessRevisions=4133123 nbAssignments=10062 nbFailedAssignments=6061 nbBacktracks=3875 nbVisitedNodes=18757
26.99 nbRestartNogoods=81
26.99 => wckTime=24.25 cpuTime=23.9 mem=66M56
36.27
36.27 search
36.27 run=13 nbConstraintChecks=20128080 nbValidityChecks=39350688 nbPropagations=642575 nbRevisions=7853310
36.27 nbUselessRevisions=6179843 nbAssignments=15200 nbFailedAssignments=9245 nbBacktracks=5821 nbVisitedNodes=28481
36.27 nbRestartNogoods=93
36.27 => wckTime=33.521 cpuTime=33.06 mem=66M56
58.01
58.01 search
58.01 run=14 nbConstraintChecks=33630739 nbValidityChecks=65240845 nbPropagations=972096 nbRevisions=12001089
58.01 nbUselessRevisions=9451571 nbAssignments=23618 nbFailedAssignments=14736 nbBacktracks=8741 nbVisitedNodes=44494
58.01 nbRestartNogoods=102
58.01 => wckTime=55.27 cpuTime=54.61 mem=66M56
84.47
84.47 search
84.47 run=15 nbConstraintChecks=49544655 nbValidityChecks=96301227 nbPropagations=1469318 nbRevisions=18201455
84.47 nbUselessRevisions=14323833 nbAssignments=35070 nbFailedAssignments=21803 nbBacktracks=13119
84.47 nbVisitedNodes=66209 nbRestartNogoods=116
84.47 => wckTime=81.729 cpuTime=80.82 mem=66M56
126.37
126.37 search
126.37 run=16 nbConstraintChecks=75756452 nbValidityChecks=147850452 nbPropagations=2223629 nbRevisions=27709168
126.37 nbUselessRevisions=21812345 nbAssignments=56804 nbFailedAssignments=36960 nbBacktracks=19687
126.37 nbVisitedNodes=107751 nbRestartNogoods=124
126.37 => wckTime=123.626 cpuTime=122.31 mem=66M56
173.92
173.92 search
173.92 run=17 nbConstraintChecks=104163388 nbValidityChecks=205256446 nbPropagations=3333515 nbRevisions=41381361
173.92 nbUselessRevisions=32547472 nbAssignments=82460 nbFailedAssignments=52745 nbBacktracks=29539
173.92 nbVisitedNodes=156097 nbRestartNogoods=139
173.92 => wckTime=171.175 cpuTime=169.42 mem=66M56
251.63
251.63 search
251.63 run=18 nbConstraintChecks=151052041 nbValidityChecks=296113943 nbPropagations=4954133 nbRevisions=61192287
251.63 nbUselessRevisions=48107450 nbAssignments=117154 nbFailedAssignments=72652 nbBacktracks=44319
251.63 nbVisitedNodes=220486 nbRestartNogoods=146
251.63 => wckTime=248.89 cpuTime=246.37 mem=66M56
379.42
379.42 search
379.42 run=19 nbConstraintChecks=228712932 nbValidityChecks=446146255 nbPropagations=7359606 nbRevisions=90538385
379.42 nbUselessRevisions=71141704 nbAssignments=168564 nbFailedAssignments=101887 nbBacktracks=66487
379.42 nbVisitedNodes=315740 nbRestartNogoods=159
379.42 => wckTime=376.675 cpuTime=372.98 mem=66M56
579.40
579.40 search
579.40 run=20 nbConstraintChecks=352938489 nbValidityChecks=690447179 nbPropagations=11007058 nbRevisions=134587272
579.40 nbUselessRevisions=105657389 nbAssignments=259978 nbFailedAssignments=160015 nbBacktracks=99740
579.40 nbVisitedNodes=487787 nbRestartNogoods=179
579.40 => wckTime=576.656 cpuTime=570.37 mem=66M56
877.03
877.03 search
877.03 run=21 nbConstraintChecks=536860430 nbValidityChecks=1042615065 nbPropagations=16449322 nbRevisions=200584292
877.03 nbUselessRevisions=157442606 nbAssignments=377699 nbFailedAssignments=227851 nbBacktracks=149618
877.03 nbVisitedNodes=707425 nbRestartNogoods=195
877.03 => wckTime=874.29 cpuTime=864.4 mem=66M56
1261.94
1261.95 search
1261.95 run=22 nbConstraintChecks=780155016 nbValidityChecks=1529694309 nbPropagations=24657573 nbRevisions=299381740
1261.95 nbUselessRevisions=234859907 nbAssignments=575825 nbFailedAssignments=351151 nbBacktracks=224436
1261.95 nbVisitedNodes=1081111 nbRestartNogoods=215
1261.95 => wckTime=1259.2 cpuTime=1246.79 mem=66M56
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-206371-1168172192 -o ROOT/results/node4/solver-206371-1168172192 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206371-1168172192/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.92 1.98 1.98 4/95 15998
/proc/meminfo: memFree=1154408/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=9748 CPUtime=0
/proc/15997/stat : 15997 (java) D 15995 15997 15930 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 165614830 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10588964 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/15997/statm: 2487 472 386 14 0 1142 0
[startup+0.104227 s]
/proc/loadavg: 1.92 1.98 1.98 4/95 15998
/proc/meminfo: memFree=1154408/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=914988 CPUtime=0.08
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 2980 0 1 0 7 1 0 0 17 0 8 0 165614830 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15997/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512265 s]
/proc/loadavg: 1.92 1.98 1.98 4/95 15998
/proc/meminfo: memFree=1154408/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915328 CPUtime=0.5
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 7354 0 1 0 45 5 0 0 18 0 8 0 165614830 937295872 7093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154296849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15997/statm: 228832 7093 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33435 s]
/proc/loadavg: 1.92 1.98 1.98 3/102 16005
/proc/meminfo: memFree=1087088/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915328 CPUtime=1.31
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 19098 0 1 0 120 11 0 0 25 0 8 0 165614830 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073557605 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15997/statm: 228832 18836 2149 14 0 215302 0
[pid=15997/tid=15999] ppid=15995 vsize=915328 CPUtime=0.05
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 165614834 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915328 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915328 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915328 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915328 CPUtime=0.07
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 307 0 0 0 7 0 0 0 16 0 8 0 165614838 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915328 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915328 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328
[startup+2.9785 s]
/proc/loadavg: 1.93 1.98 1.98 4/102 16005
/proc/meminfo: memFree=1054576/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=2.94
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32442 0 1 0 277 17 0 0 25 0 8 0 165614830 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664857 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15997/statm: 228860 32177 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 17 0 8 0 165614834 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.19
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 372 0 0 0 18 1 0 0 15 0 8 0 165614838 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915440
[startup+6.18681 s]
/proc/loadavg: 1.93 1.98 1.98 3/102 16005
/proc/meminfo: memFree=1035120/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=6.11
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32455 0 1 0 594 17 0 0 25 0 8 0 165614830 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15997/statm: 228860 32188 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 17 0 8 0 165614834 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.22
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 384 0 0 0 21 1 0 0 15 0 8 0 165614838 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915440
[startup+12.6634 s]
/proc/loadavg: 1.94 1.98 1.98 3/102 16005
/proc/meminfo: memFree=1035312/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=12.52
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32472 0 1 0 1234 18 0 0 25 0 8 0 165614830 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664857 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15997/statm: 228860 32202 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915440
[startup+25.5387 s]
/proc/loadavg: 1.95 1.98 1.98 3/102 16005
/proc/meminfo: memFree=1035440/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=25.27
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32474 0 1 0 2508 19 0 0 25 0 8 0 165614830 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15997/statm: 228860 32204 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32204 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.1771 s]
/proc/loadavg: 1.96 1.98 1.98 3/102 16005
/proc/meminfo: memFree=1035504/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=50.64
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32474 0 1 0 5045 19 0 0 25 0 8 0 165614830 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15997/statm: 228860 32204 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915440
[startup+102.447 s]
/proc/loadavg: 1.98 1.98 1.98 3/102 16007
/proc/meminfo: memFree=1035248/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=101.44
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32474 0 1 0 10125 19 0 0 25 0 8 0 165614830 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15997/statm: 228860 32204 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915440
[startup+162.48 s]
/proc/loadavg: 1.99 1.98 1.98 3/102 16007
/proc/meminfo: memFree=1035248/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=160.89
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32475 0 1 0 16069 20 0 0 25 0 8 0 165614830 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.87
Current children cumulated vsize (KiB) 915440
[startup+1483.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 16065
/proc/meminfo: memFree=1461576/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=1470.84
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32477 0 1 0 147049 35 0 0 25 0 8 0 165614830 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802518 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15997/statm: 228860 32206 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.84
Current children cumulated vsize (KiB) 915440
[startup+1543.42 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 16065
/proc/meminfo: memFree=1461512/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=1530.79
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32477 0 1 0 153044 35 0 0 25 0 8 0 165614830 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818279 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15997/statm: 228860 32206 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.79
Current children cumulated vsize (KiB) 915440
[startup+1603.44 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 16065
/proc/meminfo: memFree=1461512/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=1590.74
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32477 0 1 0 159039 35 0 0 25 0 8 0 165614830 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629890 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15997/statm: 228860 32206 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1590.74
Current children cumulated vsize (KiB) 915440
[startup+1663.45 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 16065
/proc/meminfo: memFree=1461512/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=1650.55
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32477 0 1 0 165019 36 0 0 25 0 8 0 165614830 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15997/statm: 228860 32206 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1650.55
Current children cumulated vsize (KiB) 915440
[startup+1723.47 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 16065
/proc/meminfo: memFree=1461448/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=1710.23
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32477 0 1 0 170987 36 0 0 25 0 8 0 165614830 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15997/statm: 228860 32206 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1710.23
Current children cumulated vsize (KiB) 915440
[startup+1783.48 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 16065
/proc/meminfo: memFree=1461448/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=1769.9
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32477 0 1 0 176954 36 0 0 25 0 8 0 165614830 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15997/statm: 228860 32206 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.9
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.75 s]
/proc/loadavg: 2.05 2.01 2.00 3/100 16065
/proc/meminfo: memFree=1461448/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=1800.03
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32477 0 1 0 179967 36 0 0 25 0 8 0 165614830 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15997/statm: 228860 32206 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1813.82
CPU time (s): 1800.1
CPU user time (s): 1799.71
CPU system time (s): 0.387941
CPU usage (%): 99.2437
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.387941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32494
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= 37853
involuntary context switches= 71540
runsolver used 2.91656 s user time and 7.08892 s system time
The end
Begin job on node4 on Sun Jan 7 12:16:33 UTC 2007
IDJOB= 206371
IDBENCH= 4203
FILE ID= node4/206371-1168172192
PBS_JOBID= 3478843
Free space on /tmp= 66294 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206371-1168172192/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-206371-1168172192 -o ROOT/results/node4/solver-206371-1168172192 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206371-1168172192/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e2e8a8340b13797e86b3854763e864ee
RANDOM SEED= 661676448
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.223
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.223
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: 1154888 kB
Buffers: 42708 kB
Cached: 211200 kB
SwapCached: 2520 kB
Active: 686920 kB
Inactive: 159664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1154888 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 7648 kB
Writeback: 0 kB
Mapped: 611060 kB
Slab: 37904 kB
Committed_AS: 5012364 kB
PageTables: 3600 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= 66295 MiB
End job on node4 on Sun Jan 7 12:46:47 UTC 2007