0.55
0.55 Abscon 109 (November, 2006)
0.55
0.56 configuration
0.56 name=esac.xml
0.62
0.62 instance
0.62 name=/tmp/evaluation/212727-1168223279/unknown.xml
0.65
0.65 domains being loaded...
0.66
0.66 variables being loaded...
0.78 nbVariables=1200 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.78 => wckTime=0.207 cpuTime=0.14 mem=8M869
0.78
0.78 predicates being loaded...
0.78
0.78 constraints being loaded...
1.33 nbConstraints=3150 nbConvertedConstraints=600 nbConvertConstraintsChecks=52 nbExtensionStructures=1
1.33 nbSharedExtensionStructures=599 nbConflictsStructures=7 nbSharedConflictsStructures=3143
1.33 nbSharedBinaryRepresentations=2 nbEvaluationManagers=6 nbSharedEvaluationManagers=2544 maxDegree=17 maxArity=3
1.33 => wckTime=0.761 cpuTime=0.59 mem=27M414
1.40
1.40 solver IterativeSystematicSolver being built...
1.66 => wckTime=1.092 cpuTime=0.81 mem=34M151
2.09
2.09 preprocessing
2.09 nbConstraintChecks=9985 nbValidityChecks=2752 nbPropagations=5539 nbRevisions=9866 nbUselessRevisions=6672
2.09 nbSingletonTests=1359 nbEffectiveSingletonTests=0 nbESACBranches=12 nbRemovedValues=0 detectedInconsistency=no
2.09 => wckTime=0.428 cpuTime=0.4 mem=35M124
2.22
2.22 search
2.22 run=0 nbConstraintChecks=3039 nbValidityChecks=2671 nbPropagations=6699 nbRevisions=14035
2.22 nbUselessRevisions=9632 nbAssignments=241 nbFailedAssignments=2 nbBacktracks=15 nbVisitedNodes=246
2.22 nbRestartNogoods=0 mapSize=3 nbInferences=0 nbTooLargeKeys=0
2.22 => wckTime=0.56 cpuTime=0.51 mem=35M124
2.34
2.34 search
2.34 run=1 nbConstraintChecks=6533 nbValidityChecks=6407 nbPropagations=14845 nbRevisions=33436
2.34 nbUselessRevisions=23106 nbAssignments=510 nbFailedAssignments=6 nbBacktracks=52 nbVisitedNodes=523
2.34 nbRestartNogoods=1 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.35 => wckTime=0.68 cpuTime=0.63 mem=35M124
2.49
2.49 search
2.49 run=2 nbConstraintChecks=10775 nbValidityChecks=11140 nbPropagations=25032 nbRevisions=59457
2.49 nbUselessRevisions=41386 nbAssignments=1133 nbFailedAssignments=9 nbBacktracks=105 nbVisitedNodes=789
2.49 nbRestartNogoods=3 mapSize=14 nbInferences=0 nbTooLargeKeys=0
2.49 => wckTime=0.824 cpuTime=0.77 mem=35M124
2.61
2.61 search
2.61 run=3 nbConstraintChecks=13736 nbValidityChecks=15184 nbPropagations=36762 nbRevisions=90864
2.61 nbUselessRevisions=63472 nbAssignments=1416 nbFailedAssignments=15 nbBacktracks=238 nbVisitedNodes=1083
2.61 nbRestartNogoods=4 mapSize=24 nbInferences=0 nbTooLargeKeys=0
2.61 => wckTime=0.949 cpuTime=0.9 mem=36M97
2.74
2.74 search
2.74 run=4 nbConstraintChecks=17237 nbValidityChecks=18888 nbPropagations=49900 nbRevisions=127170
2.74 nbUselessRevisions=88967 nbAssignments=1704 nbFailedAssignments=21 nbBacktracks=301 nbVisitedNodes=1383
2.74 nbRestartNogoods=5 mapSize=33 nbInferences=0 nbTooLargeKeys=0
2.74 => wckTime=1.079 cpuTime=1.02 mem=36M97
2.91
2.91 search
2.91 run=5 nbConstraintChecks=23129 nbValidityChecks=26573 nbPropagations=66337 nbRevisions=173550
2.91 nbUselessRevisions=121713 nbAssignments=2618 nbFailedAssignments=27 nbBacktracks=388 nbVisitedNodes=1639
2.91 nbRestartNogoods=8 mapSize=41 nbInferences=0 nbTooLargeKeys=0
2.91 => wckTime=1.241 cpuTime=1.17 mem=36M97
3.04
3.04 search
3.04 run=6 nbConstraintChecks=30592 nbValidityChecks=35966 nbPropagations=86383 nbRevisions=231901
3.04 nbUselessRevisions=162567 nbAssignments=2939 nbFailedAssignments=40 nbBacktracks=551 nbVisitedNodes=1987
3.04 nbRestartNogoods=10 mapSize=65 nbInferences=0 nbTooLargeKeys=0
3.04 => wckTime=1.378 cpuTime=1.31 mem=36M97
3.21
3.21 search
3.21 run=7 nbConstraintChecks=39009 nbValidityChecks=47197 nbPropagations=110758 nbRevisions=305021
3.21 nbUselessRevisions=213808 nbAssignments=3533 nbFailedAssignments=51 nbBacktracks=726 nbVisitedNodes=2343
3.21 nbRestartNogoods=13 mapSize=89 nbInferences=0 nbTooLargeKeys=0
3.21 => wckTime=1.55 cpuTime=1.47 mem=36M97
3.44
3.44 search
3.44 run=8 nbConstraintChecks=48475 nbValidityChecks=59223 nbPropagations=139288 nbRevisions=393502
3.44 nbUselessRevisions=275880 nbAssignments=4015 nbFailedAssignments=64 nbBacktracks=1033 nbVisitedNodes=2856
3.44 nbRestartNogoods=14 mapSize=119 nbInferences=0 nbTooLargeKeys=0
3.44 => wckTime=1.774 cpuTime=1.7 mem=37M70
3.74
3.74 search
3.74 run=9 nbConstraintChecks=60765 nbValidityChecks=75413 nbPropagations=173354 nbRevisions=502454
3.74 nbUselessRevisions=352390 nbAssignments=4618 nbFailedAssignments=83 nbBacktracks=1420 nbVisitedNodes=3498
3.74 nbRestartNogoods=15 mapSize=155 nbInferences=0 nbTooLargeKeys=0
3.74 => wckTime=2.072 cpuTime=1.99 mem=37M70
4.21
4.21 search
4.22 run=10 nbConstraintChecks=86830 nbValidityChecks=110656 nbPropagations=218836 nbRevisions=656333
4.22 nbUselessRevisions=461477 nbAssignments=5721 nbFailedAssignments=115 nbBacktracks=2000 nbVisitedNodes=4400
4.22 nbRestartNogoods=18 mapSize=220 nbInferences=0 nbTooLargeKeys=0
4.22 => wckTime=2.551 cpuTime=2.44 mem=38M44
4.85
4.85 search
4.85 run=11 nbConstraintChecks=137579 nbValidityChecks=180278 nbPropagations=288126 nbRevisions=898843
4.85 nbUselessRevisions=633265 nbAssignments=7169 nbFailedAssignments=195 nbBacktracks=2924 nbVisitedNodes=5683
4.85 nbRestartNogoods=21 mapSize=357 nbInferences=0 nbTooLargeKeys=0
4.85 => wckTime=3.183 cpuTime=3.07 mem=39M17
5.69
5.69 search
5.69 run=12 nbConstraintChecks=187410 nbValidityChecks=245141 nbPropagations=378670 nbRevisions=1223690
5.69 nbUselessRevisions=863667 nbAssignments=8792 nbFailedAssignments=263 nbBacktracks=4295 nbVisitedNodes=7446
5.69 nbRestartNogoods=24 mapSize=488 nbInferences=0 nbTooLargeKeys=0
5.69 => wckTime=4.021 cpuTime=3.9 mem=39M990
6.82
6.82 search
6.82 run=13 nbConstraintChecks=267774 nbValidityChecks=349451 nbPropagations=505856 nbRevisions=1680546
6.82 nbUselessRevisions=1185892 nbAssignments=11603 nbFailedAssignments=385 nbBacktracks=6284 nbVisitedNodes=9916
6.82 nbRestartNogoods=33 mapSize=737 nbInferences=0 nbTooLargeKeys=0
6.82 => wckTime=5.153 cpuTime=5.04 mem=41M936
7.98
7.98 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=43M883)
8.34
8.34 search
8.34 run=14 nbConstraintChecks=401019 nbValidityChecks=524329 nbPropagations=691110 nbRevisions=2358682
8.34 nbUselessRevisions=1664010 nbAssignments=14892 nbFailedAssignments=622 nbBacktracks=9209 nbVisitedNodes=13626
8.34 nbRestartNogoods=35
8.34 => wckTime=6.679 cpuTime=6.56 mem=43M883
10.02
10.02 search
10.02 run=15 nbConstraintChecks=613019 nbValidityChecks=791009 nbPropagations=973663 nbRevisions=3380070
10.02 nbUselessRevisions=2377422 nbAssignments=19948 nbFailedAssignments=929 nbBacktracks=13595 nbVisitedNodes=19060
10.02 nbRestartNogoods=40
10.02 => wckTime=8.36 cpuTime=8.24 mem=43M883
12.47
12.47 search
12.47 run=16 nbConstraintChecks=913409 nbValidityChecks=1187950 nbPropagations=1395113 nbRevisions=4914191
12.47 nbUselessRevisions=3447592 nbAssignments=27173 nbFailedAssignments=1347 nbBacktracks=20177 nbVisitedNodes=27085
12.47 nbRestartNogoods=47
12.47 => wckTime=10.808 cpuTime=10.68 mem=43M883
16.19
16.19 search
16.19 run=17 nbConstraintChecks=1381487 nbValidityChecks=1785917 nbPropagations=2028519 nbRevisions=7224311
16.19 nbUselessRevisions=5057282 nbAssignments=37810 nbFailedAssignments=2019 nbBacktracks=30042 nbVisitedNodes=39006
16.19 nbRestartNogoods=52
16.19 => wckTime=14.53 cpuTime=14.4 mem=43M883
21.93
21.93 search
21.93 run=18 nbConstraintChecks=2111155 nbValidityChecks=2723951 nbPropagations=2991392 nbRevisions=10757926
21.93 nbUselessRevisions=7520131 nbAssignments=54005 nbFailedAssignments=3178 nbBacktracks=44825 nbVisitedNodes=57199
21.93 nbRestartNogoods=57
21.93 => wckTime=20.261 cpuTime=20.13 mem=43M883
30.15
30.15 search
30.15 run=19 nbConstraintChecks=3106194 nbValidityChecks=3985523 nbPropagations=4413666 nbRevisions=15923622
30.15 nbUselessRevisions=11104855 nbAssignments=77865 nbFailedAssignments=4795 nbBacktracks=66997
30.15 nbVisitedNodes=83980 nbRestartNogoods=63
30.15 => wckTime=28.488 cpuTime=28.35 mem=43M883
42.63
42.63 search
42.63 run=20 nbConstraintChecks=4658740 nbValidityChecks=5966376 nbPropagations=6540696 nbRevisions=23664753
42.63 nbUselessRevisions=16479047 nbAssignments=113548 nbFailedAssignments=7101 nbBacktracks=100255
42.63 nbVisitedNodes=124202 nbRestartNogoods=67
42.63 => wckTime=40.962 cpuTime=40.81 mem=43M883
61.20
61.20 search
61.20 run=21 nbConstraintChecks=6948462 nbValidityChecks=8867936 nbPropagations=9733040 nbRevisions=35189884
61.20 nbUselessRevisions=24449841 nbAssignments=167119 nbFailedAssignments=10686 nbBacktracks=150145
61.20 nbVisitedNodes=184886 nbRestartNogoods=71
61.20 => wckTime=59.539 cpuTime=59.36 mem=43M883
92.10
92.10 search
92.10 run=22 nbConstraintChecks=11135688 nbValidityChecks=14458985 nbPropagations=14873939 nbRevisions=54047783
92.10 nbUselessRevisions=37559164 nbAssignments=249289 nbFailedAssignments=17761 nbBacktracks=224976
92.10 nbVisitedNodes=280181 nbRestartNogoods=79
92.10 => wckTime=90.435 cpuTime=90.24 mem=43M883
136.41
136.41 search
136.41 run=23 nbConstraintChecks=16895323 nbValidityChecks=22298558 nbPropagations=22675057 nbRevisions=83214311
136.41 nbUselessRevisions=57987564 nbAssignments=370442 nbFailedAssignments=26586 nbBacktracks=337208
136.41 nbVisitedNodes=418609 nbRestartNogoods=86
136.41 => wckTime=134.747 cpuTime=134.5 mem=43M883
201.03
201.03 search
201.03 run=24 nbConstraintChecks=24996976 nbValidityChecks=33192908 nbPropagations=34267829 nbRevisions=126638220
201.03 nbUselessRevisions=88453654 nbAssignments=551541 nbFailedAssignments=39249 nbBacktracks=505551
201.03 nbVisitedNodes=624639 nbRestartNogoods=93
201.03 => wckTime=199.361 cpuTime=199.03 mem=43M883
299.89
299.89 search
299.89 run=25 nbConstraintChecks=37892204 nbValidityChecks=50256488 nbPropagations=51779791 nbRevisions=192326601
299.89 nbUselessRevisions=134546787 nbAssignments=824039 nbFailedAssignments=59129 nbBacktracks=758068
299.89 nbVisitedNodes=934444 nbRestartNogoods=99
299.89 => wckTime=298.222 cpuTime=297.79 mem=43M883
445.48
445.48 search
445.48 run=26 nbConstraintChecks=56100916 nbValidityChecks=74356208 nbPropagations=77906462 nbRevisions=289423234
445.48 nbUselessRevisions=202398100 nbAssignments=1231143 nbFailedAssignments=87366 nbBacktracks=1136856
445.48 nbVisitedNodes=1397862 nbRestartNogoods=108
445.48 => wckTime=443.819 cpuTime=443.25 mem=43M883
660.71
660.71 search
660.71 run=27 nbConstraintChecks=82861362 nbValidityChecks=112065978 nbPropagations=116398150 nbRevisions=436054550
660.71 nbUselessRevisions=305998913 nbAssignments=1838115 nbFailedAssignments=126061 nbBacktracks=1705019
660.71 nbVisitedNodes=2081336 nbRestartNogoods=113
660.71 => wckTime=659.046 cpuTime=658.23 mem=43M883
976.17
976.17 search
976.17 run=28 nbConstraintChecks=121653719 nbValidityChecks=162262121 nbPropagations=172912105 nbRevisions=648120724
976.17 nbUselessRevisions=454893338 nbAssignments=2752224 nbFailedAssignments=187819 nbBacktracks=2557257
976.17 nbVisitedNodes=3113848 nbRestartNogoods=120
976.17 => wckTime=974.506 cpuTime=973.34 mem=43M883
1450.11
1450.11 search
1450.11 run=29 nbConstraintChecks=178679726 nbValidityChecks=236170362 nbPropagations=256423927 nbRevisions=956964987
1450.11 nbUselessRevisions=670403387 nbAssignments=4122608 nbFailedAssignments=279744 nbBacktracks=3835646
1450.11 nbVisitedNodes=4660000 nbRestartNogoods=129
1450.11 => wckTime=1448.444 cpuTime=1446.76 mem=43M883
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-212727-1168223279 -o ROOT/results/node3/solver-212727-1168223279 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212727-1168223279/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.01 2.43 2.99 4/94 12645
/proc/meminfo: memFree=1786016/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=18540 CPUtime=0
/proc/12644/stat : 12644 (runsolver) R 12642 12644 11869 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 170723518 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12644/statm: 4635 279 244 17 0 2626 0
[startup+0.106897 s]
/proc/loadavg: 2.01 2.43 2.99 4/94 12645
/proc/meminfo: memFree=1786016/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=9912 CPUtime=0
/proc/12644/stat : 12644 (java) D 12642 12644 11869 0 -1 0 640 0 7 0 0 0 0 0 18 0 1 0 170723518 10149888 422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10929159 0 0 0 7368 18446744071563479169 0 0 17 1 0 0
/proc/12644/statm: 2478 422 342 14 0 1140 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9912
[startup+0.514957 s]
/proc/loadavg: 2.01 2.43 2.99 4/94 12645
/proc/meminfo: memFree=1786016/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915148 CPUtime=0.27
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 4724 0 35 0 22 5 0 0 18 0 8 0 170723518 937111552 4504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228787 4504 1938 14 0 215275 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 915148
[startup+1.33809 s]
/proc/loadavg: 2.01 2.42 2.98 3/101 12652
/proc/meminfo: memFree=1742824/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915624 CPUtime=1.06
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 11379 0 45 0 84 22 0 0 21 0 8 0 170723518 937598976 11160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228906 11160 2180 14 0 215376 0
[pid=12644/tid=12646] ppid=12642 vsize=915624 CPUtime=0
/proc/12644/task/12646/stat : 12646 (java) R 12642 12644 11869 0 -1 64 9 0 0 0 0 0 0 0 16 0 8 0 170723533 937598976 11160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134566 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915624 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 170723533 937598976 11160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915624 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 170723533 937598976 11160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915624 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937598976 11161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915624 CPUtime=0.18
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 423 0 0 0 18 0 0 0 15 0 8 0 170723537 937598976 11161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915624 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937598976 11161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915624 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937598976 11161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 915624
[startup+2.98636 s]
/proc/loadavg: 2.01 2.42 2.98 3/101 12652
/proc/meminfo: memFree=1730920/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=2.7
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 13939 0 45 0 246 24 0 0 25 0 8 0 170723518 937684992 13719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074007075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 13719 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 13719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 13719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 13719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 13719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.31
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 497 0 0 0 30 1 0 0 15 0 8 0 170723537 937684992 13719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 13719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 13719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 915708
[startup+6.27089 s]
/proc/loadavg: 2.01 2.41 2.98 3/101 12652
/proc/meminfo: memFree=1725800/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=5.96
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15190 0 45 0 571 25 0 0 25 0 8 0 170723518 937684992 14968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812624 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 14968 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 14968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 14968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 14968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 14968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.33
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 504 0 0 0 32 1 0 0 16 0 8 0 170723537 937684992 14968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 14968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 14968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 915708
[startup+12.7569 s]
/proc/loadavg: 2.01 2.41 2.97 3/101 12652
/proc/meminfo: memFree=1722216/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=12.45
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15862 0 45 0 1219 26 0 0 25 0 8 0 170723518 937684992 15638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073988407 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15638 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.33
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 506 0 0 0 32 1 0 0 16 0 8 0 170723537 937684992 15638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 915708
[startup+25.597 s]
/proc/loadavg: 2.01 2.39 2.96 3/101 12652
/proc/meminfo: memFree=1722472/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=25.28
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15869 0 45 0 2502 26 0 0 25 0 8 0 170723518 937684992 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812618 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15645 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.33
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 32 1 0 0 17 0 8 0 170723537 937684992 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915708
[startup+51.1992 s]
/proc/loadavg: 2.00 2.35 2.93 3/101 12652
/proc/meminfo: memFree=1722536/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=50.84
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15875 0 45 0 5058 26 0 0 25 0 8 0 170723518 937684992 15651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074106549 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15651 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.33
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 32 1 0 0 17 0 8 0 170723537 937684992 15651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915708
[startup+102.405 s]
/proc/loadavg: 2.00 2.30 2.88 3/101 12652
/proc/meminfo: memFree=1722536/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=101.99
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15881 0 45 0 10173 26 0 0 25 0 8 0 170723518 937684992 15657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15657 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.33
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 32 1 0 0 17 0 8 0 170723537 937684992 15657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 915708
[startup+162.483 s]
/proc/loadavg: 2.00 2.24 2.82 3/101 12652
/proc/meminfo: memFree=1722472/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=162.01
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15884 0 45 0 16175 26 0 0 25 0 8 0 170723518 937684992 15660 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073927703 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 915708
[startup+1483.79 s]
/proc/loadavg: 2.00 2.00 2.17 3/94 12780
/proc/meminfo: memFree=1782048/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=1481.91
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15903 0 45 0 148156 35 0 0 25 0 8 0 170723518 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074075629 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15679 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.34
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 33 1 0 0 16 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 915708
[startup+1543.85 s]
/proc/loadavg: 2.00 2.00 2.16 3/94 12780
/proc/meminfo: memFree=1782048/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=1541.89
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15903 0 45 0 154154 35 0 0 25 0 8 0 170723518 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074124448 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15679 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.34
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 33 1 0 0 16 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) R 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 915708
[startup+1603.93 s]
/proc/loadavg: 2.00 2.00 2.15 3/95 12781
/proc/meminfo: memFree=1781912/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=1601.92
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15903 0 45 0 160156 36 0 0 25 0 8 0 170723518 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074073593 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15679 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.34
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 33 1 0 0 16 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 915708
[startup+1663.99 s]
/proc/loadavg: 2.00 2.00 2.14 3/95 12781
/proc/meminfo: memFree=1781784/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=1661.92
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15903 0 45 0 166156 36 0 0 25 0 8 0 170723518 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074100022 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15679 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.34
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 33 1 0 0 16 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 915708
[startup+1724.05 s]
/proc/loadavg: 2.00 2.00 2.13 3/95 12781
/proc/meminfo: memFree=1781720/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=1721.91
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15903 0 45 0 172155 36 0 0 25 0 8 0 170723518 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074062261 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15679 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.34
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 33 1 0 0 16 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 915708
[startup+1784.11 s]
/proc/loadavg: 2.00 2.00 2.12 3/95 12781
/proc/meminfo: memFree=1781656/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=1781.91
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15903 0 45 0 178155 36 0 0 25 0 8 0 170723518 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074075579 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15679 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.34
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 33 1 0 0 16 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 915708
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.31 s]
/proc/loadavg: 2.00 2.00 2.11 3/95 12781
/proc/meminfo: memFree=1781592/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=1800.1
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15903 0 45 0 179974 36 0 0 25 0 8 0 170723518 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074073598 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15679 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.34
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 33 1 0 0 16 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915708
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.39
CPU time (s): 1800.18
CPU user time (s): 1799.8
CPU system time (s): 0.379942
CPU usage (%): 99.8774
Max. virtual memory (cumulated for all children) (KiB): 915708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.379942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15921
page faults= 45
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38093
involuntary context switches= 49158
runsolver used 2.38664 s user time and 5.60615 s system time
The end
Begin job on node3 on Mon Jan 8 02:27:59 UTC 2007
IDJOB= 212727
IDBENCH= 4793
FILE ID= node3/212727-1168223279
PBS_JOBID= 3480669
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/primesDimacs/f600.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212727-1168223279/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-212727-1168223279 -o ROOT/results/node3/solver-212727-1168223279 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212727-1168223279/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= eaafb6d59875b3b88c054bc279abccfd
RANDOM SEED= 519430493
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: 1786624 kB
Buffers: 35180 kB
Cached: 41660 kB
SwapCached: 0 kB
Active: 173392 kB
Inactive: 36988 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1786624 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2876 kB
Writeback: 0 kB
Mapped: 161272 kB
Slab: 43656 kB
Committed_AS: 5256452 kB
PageTables: 2296 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= 66551 MiB
End job on node3 on Mon Jan 8 02:58:01 UTC 2007