0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.35 name=/tmp/evaluation/196273-1168121227/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.41 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.97
0.97 constraints being loaded...
1.30 nbConstraints=72 nbRelationTypes=72 nbExtensionStructures=72 nbSharedExtensionStructures=0
1.30 nbConflictsStructures=72 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
1.30 => wckTime=0.98 cpuTime=0.85 mem=43M991
1.41
1.41 solver IterativeSystematicSolver being built...
1.58 => wckTime=1.266 cpuTime=0.99 mem=34M92
1.68
1.68 preprocessing
1.68 nbConstraintChecks=25703 nbValidityChecks=39058 nbPropagations=179 nbRevisions=1649 nbUselessRevisions=1407
1.68 nbSingletonTests=28 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0 detectedInconsistency=no
1.68 => wckTime=0.092 cpuTime=0.06 mem=34M92
1.75
1.75 search
1.75 run=0 nbConstraintChecks=31639 nbValidityChecks=58893 nbPropagations=542 nbRevisions=5061
1.75 nbUselessRevisions=4007 nbAssignments=28 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=48
1.75 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.75 => wckTime=0.163 cpuTime=0.13 mem=34M92
1.83
1.83 search
1.83 run=1 nbConstraintChecks=79413 nbValidityChecks=157918 nbPropagations=1627 nbRevisions=16014
1.83 nbUselessRevisions=12592 nbAssignments=79 nbFailedAssignments=41 nbBacktracks=27 nbVisitedNodes=138
1.83 nbRestartNogoods=3 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.83 => wckTime=0.243 cpuTime=0.21 mem=34M92
1.94
1.94 search
1.94 run=2 nbConstraintChecks=139869 nbValidityChecks=278706 nbPropagations=3524 nbRevisions=34884
1.94 nbUselessRevisions=27337 nbAssignments=146 nbFailedAssignments=78 nbBacktracks=49 nbVisitedNodes=257
1.94 nbRestartNogoods=5 mapSize=44 nbInferences=0 nbTooLargeKeys=0
1.94 => wckTime=0.356 cpuTime=0.3 mem=34M92
2.08
2.08 search
2.08 run=3 nbConstraintChecks=234449 nbValidityChecks=460315 nbPropagations=6544 nbRevisions=65807
2.08 nbUselessRevisions=51291 nbAssignments=234 nbFailedAssignments=126 nbBacktracks=82 nbVisitedNodes=418
2.08 nbRestartNogoods=9 mapSize=73 nbInferences=0 nbTooLargeKeys=0
2.08 => wckTime=0.499 cpuTime=0.44 mem=34M92
2.28
2.28 search
2.28 run=4 nbConstraintChecks=357668 nbValidityChecks=714651 nbPropagations=11250 nbRevisions=114234
2.28 nbUselessRevisions=88785 nbAssignments=375 nbFailedAssignments=186 nbBacktracks=135 nbVisitedNodes=630
2.28 nbRestartNogoods=14 mapSize=120 nbInferences=0 nbTooLargeKeys=0
2.28 => wckTime=0.696 cpuTime=0.63 mem=34M92
2.49
2.49 search
2.49 run=5 nbConstraintChecks=498249 nbValidityChecks=993978 nbPropagations=17739 nbRevisions=183788
2.49 nbUselessRevisions=143007 nbAssignments=552 nbFailedAssignments=279 nbBacktracks=211 nbVisitedNodes=943
2.49 nbRestartNogoods=19 mapSize=175 nbInferences=0 nbTooLargeKeys=0
2.49 => wckTime=0.91 cpuTime=0.83 mem=34M92
2.87
2.87 search
2.87 run=6 nbConstraintChecks=752395 nbValidityChecks=1524977 nbPropagations=27589 nbRevisions=290939
2.87 nbUselessRevisions=227378 nbAssignments=858 nbFailedAssignments=401 nbBacktracks=325 nbVisitedNodes=1372
2.87 nbRestartNogoods=32 mapSize=272 nbInferences=0 nbTooLargeKeys=0
2.87 => wckTime=1.283 cpuTime=1.2 mem=34M92
3.48
3.48 search
3.48 run=7 nbConstraintChecks=1173792 nbValidityChecks=2359324 nbPropagations=42342 nbRevisions=453310
3.48 nbUselessRevisions=354525 nbAssignments=1260 nbFailedAssignments=624 nbBacktracks=495 nbVisitedNodes=2099
3.48 nbRestartNogoods=40 mapSize=401 nbInferences=0 nbTooLargeKeys=0
3.48 => wckTime=1.9 cpuTime=1.81 mem=34M92
4.31
4.31 search
4.31 run=8 nbConstraintChecks=1727295 nbValidityChecks=3486692 nbPropagations=65460 nbRevisions=693683
4.31 nbUselessRevisions=539528 nbAssignments=1867 nbFailedAssignments=969 nbBacktracks=751 nbVisitedNodes=3213
4.31 nbRestartNogoods=46 mapSize=639 nbInferences=0 nbTooLargeKeys=0
4.31 => wckTime=2.728 cpuTime=2.62 mem=34M92
5.11
5.11 search
5.11 run=9 nbConstraintChecks=2309074 nbValidityChecks=4655036 nbPropagations=96364 nbRevisions=1027809
5.11 nbUselessRevisions=800519 nbAssignments=2676 nbFailedAssignments=1390 nbBacktracks=1135 nbVisitedNodes=4663
5.11 nbRestartNogoods=50 mapSize=967 nbInferences=0 nbTooLargeKeys=0
5.11 => wckTime=3.523 cpuTime=3.39 mem=34M92
5.39
5.39 INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=34M92)
7.12
7.12 search
7.12 run=10 nbConstraintChecks=3710679 nbValidityChecks=7447440 nbPropagations=146843 nbRevisions=1551084
7.12 nbUselessRevisions=1203079 nbAssignments=4053 nbFailedAssignments=2184 nbBacktracks=1711 nbVisitedNodes=7218
7.12 nbRestartNogoods=55
7.12 => wckTime=5.533 cpuTime=5.37 mem=34M92
9.88
9.88 search
9.88 run=11 nbConstraintChecks=5665528 nbValidityChecks=11377030 nbPropagations=224523 nbRevisions=2338866
9.88 nbUselessRevisions=1804232 nbAssignments=6050 nbFailedAssignments=3300 nbBacktracks=2575 nbVisitedNodes=10901
9.88 nbRestartNogoods=73
9.88 => wckTime=8.296 cpuTime=8.11 mem=34M92
14.42
14.42 search
14.42 run=12 nbConstraintChecks=9104651 nbValidityChecks=18178721 nbPropagations=344787 nbRevisions=3604438
14.42 nbUselessRevisions=2773301 nbAssignments=9457 nbFailedAssignments=5402 nbBacktracks=3874 nbVisitedNodes=17262
14.42 nbRestartNogoods=82
14.42 => wckTime=12.839 cpuTime=12.61 mem=34M92
19.40
19.40 search
19.40 run=13 nbConstraintChecks=12758879 nbValidityChecks=25661318 nbPropagations=516923 nbRevisions=5463142
19.40 nbUselessRevisions=4209601 nbAssignments=14052 nbFailedAssignments=8043 nbBacktracks=5821 nbVisitedNodes=25752
19.40 nbRestartNogoods=95
19.40 => wckTime=17.816 cpuTime=17.54 mem=34M92
28.08
28.08 search
28.08 run=14 nbConstraintChecks=18819597 nbValidityChecks=37935672 nbPropagations=777652 nbRevisions=8162089
28.08 nbUselessRevisions=6273548 nbAssignments=20332 nbFailedAssignments=11396 nbBacktracks=8741 nbVisitedNodes=37262
28.08 nbRestartNogoods=106
28.08 => wckTime=26.499 cpuTime=26.15 mem=34M92
41.85
41.85 search
41.85 run=15 nbConstraintChecks=28505037 nbValidityChecks=57818839 nbPropagations=1176725 nbRevisions=12247832
41.85 nbUselessRevisions=9384692 nbAssignments=31029 nbFailedAssignments=17710 nbBacktracks=13119
41.85 nbVisitedNodes=57088 nbRestartNogoods=120
41.85 => wckTime=40.266 cpuTime=39.79 mem=34M92
61.42
61.42 search
61.42 run=16 nbConstraintChecks=42942107 nbValidityChecks=86580276 nbPropagations=1761905 nbRevisions=18432586
61.42 nbUselessRevisions=14134625 nbAssignments=45729 nbFailedAssignments=25838 nbBacktracks=19687
61.42 nbVisitedNodes=83982 nbRestartNogoods=149
61.42 => wckTime=59.835 cpuTime=59.18 mem=34M92
86.52
86.52 search
86.52 run=17 nbConstraintChecks=61425907 nbValidityChecks=124053229 nbPropagations=2594432 nbRevisions=27423739
86.52 nbUselessRevisions=21094316 nbAssignments=66911 nbFailedAssignments=37164 nbBacktracks=29539
86.52 nbVisitedNodes=122546 nbRestartNogoods=165
86.52 => wckTime=84.941 cpuTime=84.06 mem=34M92
130.86
130.86 search
130.86 run=18 nbConstraintChecks=92602425 nbValidityChecks=186937648 nbPropagations=3873362 nbRevisions=40829816
130.86 nbUselessRevisions=31384224 nbAssignments=99639 nbFailedAssignments=55107 nbBacktracks=44319
130.86 nbVisitedNodes=182661 nbRestartNogoods=179
130.86 => wckTime=129.276 cpuTime=127.98 mem=34M92
198.12
198.12 search
198.12 run=19 nbConstraintChecks=139551499 nbValidityChecks=281817588 nbPropagations=5827837 nbRevisions=60741388
198.12 nbUselessRevisions=46541605 nbAssignments=147604 nbFailedAssignments=80896 nbBacktracks=66487
198.12 nbVisitedNodes=270855 nbRestartNogoods=200
198.12 => wckTime=196.535 cpuTime=194.63 mem=34M92
320.56
320.56 search
320.56 run=20 nbConstraintChecks=227418745 nbValidityChecks=459446992 nbPropagations=8873782 nbRevisions=92454180
320.56 nbUselessRevisions=70799628 nbAssignments=234146 nbFailedAssignments=134169 nbBacktracks=99739
320.56 nbVisitedNodes=433265 nbRestartNogoods=216
320.56 => wckTime=318.975 cpuTime=315.95 mem=34M92
475.59
475.59 search
475.59 run=21 nbConstraintChecks=337510085 nbValidityChecks=681678646 nbPropagations=13476215 nbRevisions=139748225
475.59 nbUselessRevisions=106828559 nbAssignments=349215 nbFailedAssignments=199354 nbBacktracks=149617
475.59 nbVisitedNodes=646162 nbRestartNogoods=237
475.59 => wckTime=474.006 cpuTime=469.57 mem=34M92
713.64
713.64 search
713.64 run=22 nbConstraintChecks=503987823 nbValidityChecks=1018175332 nbPropagations=20439378 nbRevisions=209853796
713.64 nbUselessRevisions=159926516 nbAssignments=515725 nbFailedAssignments=291039 nbBacktracks=224436
713.64 nbVisitedNodes=953923 nbRestartNogoods=250
713.64 => wckTime=712.061 cpuTime=705.45 mem=34M92
1085.06
1085.06 search
1085.06 run=23 nbConstraintChecks=764977651 nbValidityChecks=1545338077 nbPropagations=31047465 nbRevisions=315916728
1085.06 nbUselessRevisions=240035716 nbAssignments=774264 nbFailedAssignments=437343 nbBacktracks=336664
1085.06 nbVisitedNodes=1434865 nbRestartNogoods=276
1085.06 => wckTime=1083.474 cpuTime=1073.47 mem=34M92
1664.52
1664.52 search
1664.52 run=24 nbConstraintChecks=1190043075 nbValidityChecks=2401546914 nbPropagations=46736202 nbRevisions=479802404
1664.52 nbUselessRevisions=365434198 nbAssignments=1206007 nbFailedAssignments=700726 nbBacktracks=505005
1664.52 nbVisitedNodes=2240595 nbRestartNogoods=299
1664.52 => wckTime=1662.937 cpuTime=1648.13 mem=34M92
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-196273-1168121227 -o ROOT/results/node3/solver-196273-1168121227 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196273-1168121227/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: 2.02 2.01 2.00 4/87 9706
/proc/meminfo: memFree=1515592/2055920 swapFree=4192812/4192956
[pid=9705] ppid=9703 vsize=9948 CPUtime=0
/proc/9705/stat : 9705 (java) S 9703 9705 8920 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 160518383 10186752 472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/9705/statm: 2487 472 386 14 0 1142 0
[startup+0.10363 s]
/proc/loadavg: 2.02 2.01 2.00 4/87 9706
/proc/meminfo: memFree=1515592/2055920 swapFree=4192812/4192956
[pid=9705] ppid=9703 vsize=914988 CPUtime=0.08
/proc/9705/stat : 9705 (java) D 9703 9705 8920 0 -1 0 2987 0 1 0 7 1 0 0 17 0 8 0 160518383 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9705/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511693 s]
/proc/loadavg: 2.02 2.01 2.00 4/87 9706
/proc/meminfo: memFree=1515592/2055920 swapFree=4192812/4192956
[pid=9705] ppid=9703 vsize=915328 CPUtime=0.49
/proc/9705/stat : 9705 (java) R 9703 9705 8920 0 -1 0 7519 0 1 0 45 4 0 0 18 0 8 0 160518383 937295872 7258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073559900 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9705/statm: 228832 7258 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33283 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 9713
/proc/meminfo: memFree=1448464/2055920 swapFree=4192812/4192956
[pid=9705] ppid=9703 vsize=915424 CPUtime=1.31
/proc/9705/stat : 9705 (java) R 9703 9705 8920 0 -1 0 19145 0 1 0 120 11 0 0 24 0 8 0 160518383 937394176 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9705/statm: 228856 18882 2169 14 0 215326 0
[pid=9705/tid=9707] ppid=9703 vsize=915424 CPUtime=0.08
/proc/9705/task/9707/stat : 9707 (java) R 9703 9705 8920 0 -1 64 2657 0 0 0 7 1 0 0 16 0 8 0 160518387 937394176 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525103 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9708] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9703 9705 8920 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160518388 937394176 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9709] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9703 9705 8920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160518388 937394176 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9710] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9703 9705 8920 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160518391 937394176 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9711] ppid=9703 vsize=915424 CPUtime=0.09
/proc/9705/task/9711/stat : 9711 (java) S 9703 9705 8920 0 -1 64 320 0 0 0 9 0 0 0 16 0 8 0 160518391 937394176 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9712] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9712/stat : 9712 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160518391 937394176 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9713] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160518391 937394176 18882 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) 915424
[startup+2.9771 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 9713
/proc/meminfo: memFree=1433552/2055920 swapFree=4192812/4192956
[pid=9705] ppid=9703 vsize=915424 CPUtime=2.93
/proc/9705/stat : 9705 (java) R 9703 9705 8920 0 -1 0 23201 0 1 0 281 12 0 0 25 0 8 0 160518383 937394176 22937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9705/statm: 228856 22937 2531 14 0 215326 0
[pid=9705/tid=9707] ppid=9703 vsize=915424 CPUtime=0.15
/proc/9705/task/9707/stat : 9707 (java) S 9703 9705 8920 0 -1 64 6218 0 0 0 13 2 0 0 17 0 8 0 160518387 937394176 22937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9708] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9703 9705 8920 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160518388 937394176 22937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9709] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9703 9705 8920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160518388 937394176 22937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9710] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9703 9705 8920 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160518391 937394176 22937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9711] ppid=9703 vsize=915424 CPUtime=0.2
/proc/9705/task/9711/stat : 9711 (java) S 9703 9705 8920 0 -1 64 372 0 0 0 20 0 0 0 15 0 8 0 160518391 937394176 22937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9712] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9712/stat : 9712 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160518391 937394176 22937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9713] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160518391 937394176 22937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915424
[startup+6.27363 s]
/proc/loadavg: 2.02 2.01 2.00 4/94 9713
/proc/meminfo: memFree=1433360/2055920 swapFree=4192812/4192956
[pid=9705] ppid=9703 vsize=915424 CPUtime=6.2
/proc/9705/stat : 9705 (java) R 9703 9705 8920 0 -1 0 23220 0 1 0 607 13 0 0 25 0 8 0 160518383 937394176 22953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756683 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9705/statm: 228856 22953 2532 14 0 215326 0
[pid=9705/tid=9707] ppid=9703 vsize=915424 CPUtime=0.15
/proc/9705/task/9707/stat : 9707 (java) S 9703 9705 8920 0 -1 64 6218 0 0 0 13 2 0 0 17 0 8 0 160518387 937394176 22953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9708] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9703 9705 8920 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160518388 937394176 22953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9709] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9703 9705 8920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160518388 937394176 22953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9710] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9703 9705 8920 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160518391 937394176 22953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9711] ppid=9703 vsize=915424 CPUtime=0.23
/proc/9705/task/9711/stat : 9711 (java) S 9703 9705 8920 0 -1 64 388 0 0 0 23 0 0 0 16 0 8 0 160518391 937394176 22953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9712] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9712/stat : 9712 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160518391 937394176 22953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9713] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160518391 937394176 22953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915424
[startup+12.7547 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 9713
/proc/meminfo: memFree=1433360/2055920 swapFree=4192812/4192956
[pid=9705] ppid=9703 vsize=915424 CPUtime=12.61
/proc/9705/stat : 9705 (java) R 9703 9705 8920 0 -1 0 23222 0 1 0 1248 13 0 0 25 0 8 0 160518383 937394176 22955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9705/statm: 228856 22955 2532 14 0 215326 0
[pid=9705/tid=9707] ppid=9703 vsize=915424 CPUtime=0.15
/proc/9705/task/9707/stat : 9707 (java) S 9703 9705 8920 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 160518387 937394176 22955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9708] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9703 9705 8920 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160518388 937394176 22955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9709] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9703 9705 8920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160518388 937394176 22955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9710] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9703 9705 8920 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160518391 937394176 22955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9711] ppid=9703 vsize=915424 CPUtime=0.24
/proc/9705/task/9711/stat : 9711 (java) S 9703 9705 8920 0 -1 64 390 0 0 0 24 0 0 0 16 0 8 0 160518391 937394176 22955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9712] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9712/stat : 9712 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160518391 937394176 22955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9713] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160518391 937394176 22955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915424
[startup+25.6278 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 9713
/proc/meminfo: memFree=1433552/2055920 swapFree=4192812/4192956
[pid=9705] ppid=9703 vsize=915424 CPUtime=25.38
/proc/9705/stat : 9705 (java) R 9703 9705 8920 0 -1 0 23224 0 1 0 2524 14 0 0 25 0 8 0 160518383 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9705/statm: 228856 22956 2532 14 0 215326 0
[pid=9705/tid=9707] ppid=9703 vsize=915424 CPUtime=0.15
/proc/9705/task/9707/stat : 9707 (java) S 9703 9705 8920 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 160518387 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9708] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9703 9705 8920 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160518388 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9709] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9703 9705 8920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160518388 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9710] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9703 9705 8920 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160518391 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9711] ppid=9703 vsize=915424 CPUtime=0.24
/proc/9705/task/9711/stat : 9711 (java) S 9703 9705 8920 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 160518391 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9712] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9712/stat : 9712 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160518391 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9713] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160518391 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915424
[startup+51.2639 s]
/proc/loadavg: 2.07 2.02 2.00 3/94 9713
/proc/meminfo: memFree=1433616/2055920 swapFree=4192812/4192956
[pid=9705] ppid=9703 vsize=915424 CPUtime=50.78
/proc/9705/stat : 9705 (java) R 9703 9705 8920 0 -1 0 23224 0 1 0 5064 14 0 0 25 0 8 0 160518383 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9705/statm: 228856 22956 2532 14 0 215326 0
[pid=9705/tid=9707] ppid=9703 vsize=915424 CPUtime=0.15
/proc/9705/task/9707/stat : 9707 (java) S 9703 9705 8920 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 160518387 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9708] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9703 9705 8920 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160518388 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9709] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9703 9705 8920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160518388 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9710] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9703 9705 8920 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160518391 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9711] ppid=9703 vsize=915424 CPUtime=0.24
/proc/9705/task/9711/stat : 9711 (java) S 9703 9705 8920 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 160518391 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9712] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9712/stat : 9712 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160518391 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9713] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160518391 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 915424
[startup+102.514 s]
/proc/loadavg: 2.03 2.02 2.00 3/94 9713
/proc/meminfo: memFree=1433744/2055920 swapFree=4192812/4192956
[pid=9705] ppid=9703 vsize=915424 CPUtime=101.56
/proc/9705/stat : 9705 (java) R 9703 9705 8920 0 -1 0 23224 0 1 0 10142 14 0 0 25 0 8 0 160518383 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750276 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9705/statm: 228856 22956 2532 14 0 215326 0
[pid=9705/tid=9707] ppid=9703 vsize=915424 CPUtime=0.15
/proc/9705/task/9707/stat : 9707 (java) S 9703 9705 8920 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 160518387 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9708] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9703 9705 8920 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160518388 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9709] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9703 9705 8920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160518388 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9710] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9703 9705 8920 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160518391 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9711] ppid=9703 vsize=915424 CPUtime=0.24
/proc/9705/task/9711/stat : 9711 (java) S 9703 9705 8920 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 160518391 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9712] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9712/stat : 9712 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160518391 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9713] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160518391 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915424
[startup+162.522 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 9713
/proc/meminfo: memFree=1433744/2055920 swapFree=4192812/4192956
[pid=9705] ppid=9703 vsize=915424 CPUtime=161.02
/proc/9705/stat : 9705 (java) R 9703 9705 8920 0 -1 0 23224 0 1 0 16087 15 0 0 25 0 8 0 160518383 937394176 22956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.32
Current children cumulated vsize (KiB) 915424
[startup+1483.35 s]
/proc/loadavg: 2.08 2.02 2.01 3/96 9717
/proc/meminfo: memFree=1433216/2055920 swapFree=4192812/4192956
[pid=9705] ppid=9703 vsize=915424 CPUtime=1469.78
/proc/9705/stat : 9705 (java) R 9703 9705 8920 0 -1 0 23225 0 1 0 146951 27 0 0 25 0 8 0 160518383 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9705/statm: 228856 22957 2532 14 0 215326 0
[pid=9705/tid=9707] ppid=9703 vsize=915424 CPUtime=0.15
/proc/9705/task/9707/stat : 9707 (java) S 9703 9705 8920 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 160518387 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9708] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9703 9705 8920 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160518388 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9709] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9703 9705 8920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160518388 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9710] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9703 9705 8920 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9711] ppid=9703 vsize=915424 CPUtime=0.24
/proc/9705/task/9711/stat : 9711 (java) S 9703 9705 8920 0 -1 64 392 0 0 0 24 0 0 0 16 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9712] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9712/stat : 9712 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9713] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1469.78
Current children cumulated vsize (KiB) 915424
[startup+1543.35 s]
/proc/loadavg: 2.03 2.01 2.00 3/96 9717
/proc/meminfo: memFree=1433216/2055920 swapFree=4192812/4192956
[pid=9705] ppid=9703 vsize=915424 CPUtime=1529.23
/proc/9705/stat : 9705 (java) R 9703 9705 8920 0 -1 0 23225 0 1 0 152896 27 0 0 25 0 8 0 160518383 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752957 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9705/statm: 228856 22957 2532 14 0 215326 0
[pid=9705/tid=9707] ppid=9703 vsize=915424 CPUtime=0.15
/proc/9705/task/9707/stat : 9707 (java) S 9703 9705 8920 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 160518387 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9708] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9703 9705 8920 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160518388 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9709] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9703 9705 8920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160518388 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9710] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9703 9705 8920 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9711] ppid=9703 vsize=915424 CPUtime=0.24
/proc/9705/task/9711/stat : 9711 (java) S 9703 9705 8920 0 -1 64 392 0 0 0 24 0 0 0 16 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9712] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9712/stat : 9712 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9713] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1529.23
Current children cumulated vsize (KiB) 915424
[startup+1603.45 s]
/proc/loadavg: 1.93 1.99 1.99 3/93 9947
/proc/meminfo: memFree=1668888/2055920 swapFree=4192812/4192956
[pid=9705] ppid=9703 vsize=915424 CPUtime=1588.8
/proc/9705/stat : 9705 (java) R 9703 9705 8920 0 -1 0 23225 0 1 0 158850 30 0 0 25 0 8 0 160518383 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754281 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9705/statm: 228856 22957 2532 14 0 215326 0
[pid=9705/tid=9707] ppid=9703 vsize=915424 CPUtime=0.15
/proc/9705/task/9707/stat : 9707 (java) S 9703 9705 8920 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 160518387 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9708] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9703 9705 8920 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160518388 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9709] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9703 9705 8920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160518388 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9710] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9703 9705 8920 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9711] ppid=9703 vsize=915424 CPUtime=0.24
/proc/9705/task/9711/stat : 9711 (java) S 9703 9705 8920 0 -1 64 392 0 0 0 24 0 0 0 16 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9712] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9712/stat : 9712 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9713] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1588.8
Current children cumulated vsize (KiB) 915424
[startup+1663.49 s]
/proc/loadavg: 1.97 1.99 1.99 3/93 9947
/proc/meminfo: memFree=1668952/2055920 swapFree=4192812/4192956
[pid=9705] ppid=9703 vsize=915424 CPUtime=1648.76
/proc/9705/stat : 9705 (java) R 9703 9705 8920 0 -1 0 23225 0 1 0 164846 30 0 0 25 0 8 0 160518383 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073624782 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9705/statm: 228856 22957 2532 14 0 215326 0
[pid=9705/tid=9707] ppid=9703 vsize=915424 CPUtime=0.15
/proc/9705/task/9707/stat : 9707 (java) S 9703 9705 8920 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 160518387 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9708] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9703 9705 8920 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160518388 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9709] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9703 9705 8920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160518388 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9710] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9703 9705 8920 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9711] ppid=9703 vsize=915424 CPUtime=0.24
/proc/9705/task/9711/stat : 9711 (java) S 9703 9705 8920 0 -1 64 392 0 0 0 24 0 0 0 16 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9712] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9712/stat : 9712 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9713] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1648.76
Current children cumulated vsize (KiB) 915424
[startup+1723.54 s]
/proc/loadavg: 1.99 1.99 1.99 3/93 9947
/proc/meminfo: memFree=1668952/2055920 swapFree=4192812/4192956
[pid=9705] ppid=9703 vsize=915424 CPUtime=1708.75
/proc/9705/stat : 9705 (java) R 9703 9705 8920 0 -1 0 23225 0 1 0 170844 31 0 0 25 0 8 0 160518383 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9705/statm: 228856 22957 2532 14 0 215326 0
[pid=9705/tid=9707] ppid=9703 vsize=915424 CPUtime=0.15
/proc/9705/task/9707/stat : 9707 (java) S 9703 9705 8920 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 160518387 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9708] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9703 9705 8920 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160518388 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9709] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9703 9705 8920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160518388 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9710] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9703 9705 8920 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9711] ppid=9703 vsize=915424 CPUtime=0.24
/proc/9705/task/9711/stat : 9711 (java) S 9703 9705 8920 0 -1 64 392 0 0 0 24 0 0 0 16 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9712] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9712/stat : 9712 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9713] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.75
Current children cumulated vsize (KiB) 915424
[startup+1783.59 s]
/proc/loadavg: 1.99 1.99 1.99 3/93 9947
/proc/meminfo: memFree=1668952/2055920 swapFree=4192812/4192956
[pid=9705] ppid=9703 vsize=915424 CPUtime=1768.74
/proc/9705/stat : 9705 (java) R 9703 9705 8920 0 -1 0 23225 0 1 0 176843 31 0 0 25 0 8 0 160518383 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749321 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9705/statm: 228856 22957 2532 14 0 215326 0
[pid=9705/tid=9707] ppid=9703 vsize=915424 CPUtime=0.15
/proc/9705/task/9707/stat : 9707 (java) S 9703 9705 8920 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 160518387 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9708] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9703 9705 8920 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160518388 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9709] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9703 9705 8920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160518388 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9710] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9703 9705 8920 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9711] ppid=9703 vsize=915424 CPUtime=0.24
/proc/9705/task/9711/stat : 9711 (java) S 9703 9705 8920 0 -1 64 392 0 0 0 24 0 0 0 16 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9712] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9712/stat : 9712 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9713] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.74
Current children cumulated vsize (KiB) 915424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.95 s]
/proc/loadavg: 1.99 1.99 1.99 3/93 9947
/proc/meminfo: memFree=1668952/2055920 swapFree=4192812/4192956
[pid=9705] ppid=9703 vsize=915424 CPUtime=1800.06
/proc/9705/stat : 9705 (java) R 9703 9705 8920 0 -1 0 23225 0 1 0 179975 31 0 0 25 0 8 0 160518383 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629646 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9705/statm: 228856 22957 2532 14 0 215326 0
[pid=9705/tid=9707] ppid=9703 vsize=915424 CPUtime=0.15
/proc/9705/task/9707/stat : 9707 (java) S 9703 9705 8920 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 160518387 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9708] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9703 9705 8920 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160518388 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9709] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9703 9705 8920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160518388 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9710] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9703 9705 8920 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9711] ppid=9703 vsize=915424 CPUtime=0.24
/proc/9705/task/9711/stat : 9711 (java) S 9703 9705 8920 0 -1 64 392 0 0 0 24 0 0 0 16 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9712] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9712/stat : 9712 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9705/tid=9713] ppid=9703 vsize=915424 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9703 9705 8920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160518391 937394176 22957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1815
CPU time (s): 1800.12
CPU user time (s): 1799.79
CPU system time (s): 0.330949
CPU usage (%): 99.1798
Max. virtual memory (cumulated for all children) (KiB): 915424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.330949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23242
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= 37784
involuntary context switches= 74300
runsolver used 2.31165 s user time and 5.72713 s system time
The end
Begin job on node3 on Sat Jan 6 22:07:08 UTC 2007
IDJOB= 196273
IDBENCH= 3339
FILE ID= node3/196273-1168121227
PBS_JOBID= 3477156
Free space on /tmp= 66535 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-30_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196273-1168121227/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-196273-1168121227 -o ROOT/results/node3/solver-196273-1168121227 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196273-1168121227/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 94937a49dba715d36ca494032f55eabb
RANDOM SEED= 816798367
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.279
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.279
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: 1516072 kB
Buffers: 44744 kB
Cached: 139740 kB
SwapCached: 0 kB
Active: 389168 kB
Inactive: 96644 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1516072 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4344 kB
Writeback: 0 kB
Mapped: 321500 kB
Slab: 38440 kB
Committed_AS: 4242132 kB
PageTables: 2756 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= 66536 MiB
End job on node3 on Sat Jan 6 22:37:23 UTC 2007