0.54
0.54 Abscon 109 (November, 2006)
0.54
0.54 configuration
0.54 name=esac.xml
0.67
0.67 instance
0.67 name=/tmp/evaluation/196286-1168121478/unknown.xml
0.70
0.70 domains being loaded...
0.70
0.70 variables being loaded...
0.73 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.73 => wckTime=0.187 cpuTime=0.08 mem=6M951
0.73
0.73 relations being loaded...
1.34
1.34 constraints being loaded...
1.59 nbConstraints=76 nbRelationTypes=76 nbExtensionStructures=76 nbSharedExtensionStructures=0
1.59 nbConflictsStructures=76 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
1.59 => wckTime=1.039 cpuTime=0.83 mem=50M841
1.70
1.70 solver IterativeSystematicSolver being built...
1.85 => wckTime=1.305 cpuTime=0.96 mem=35M597
1.94
1.94 preprocessing
1.94 nbConstraintChecks=28539 nbValidityChecks=45761 nbPropagations=208 nbRevisions=2123 nbUselessRevisions=1850
1.94 nbSingletonTests=28 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0 detectedInconsistency=no
1.94 => wckTime=0.086 cpuTime=0.05 mem=35M597
2.02
2.02 search
2.02 run=0 nbConstraintChecks=45919 nbValidityChecks=81046 nbPropagations=623 nbRevisions=6801
2.02 nbUselessRevisions=5511 nbAssignments=35 nbFailedAssignments=20 nbBacktracks=10 nbVisitedNodes=64
2.02 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.02 => wckTime=0.164 cpuTime=0.13 mem=35M597
2.10
2.10 search
2.10 run=1 nbConstraintChecks=102131 nbValidityChecks=184360 nbPropagations=1747 nbRevisions=19993
2.10 nbUselessRevisions=16126 nbAssignments=79 nbFailedAssignments=42 nbBacktracks=27 nbVisitedNodes=143
2.10 nbRestartNogoods=2 mapSize=26 nbInferences=0 nbTooLargeKeys=0
2.10 => wckTime=0.246 cpuTime=0.21 mem=35M597
2.20
2.20 search
2.20 run=2 nbConstraintChecks=164402 nbValidityChecks=301774 nbPropagations=3548 nbRevisions=40768
2.20 nbUselessRevisions=32726 nbAssignments=135 nbFailedAssignments=69 nbBacktracks=52 nbVisitedNodes=242
2.20 nbRestartNogoods=7 mapSize=47 nbInferences=0 nbTooLargeKeys=0
2.20 => wckTime=0.345 cpuTime=0.29 mem=35M597
2.34
2.34 search
2.34 run=3 nbConstraintChecks=272854 nbValidityChecks=497924 nbPropagations=6371 nbRevisions=73312
2.34 nbUselessRevisions=58584 nbAssignments=214 nbFailedAssignments=108 nbBacktracks=86 nbVisitedNodes=387
2.34 nbRestartNogoods=8 mapSize=76 nbInferences=0 nbTooLargeKeys=0
2.34 => wckTime=0.489 cpuTime=0.44 mem=35M597
2.62
2.62 search
2.62 run=4 nbConstraintChecks=491698 nbValidityChecks=883791 nbPropagations=10805 nbRevisions=125156
2.62 nbUselessRevisions=99546 nbAssignments=379 nbFailedAssignments=208 nbBacktracks=136 nbVisitedNodes=676
2.62 nbRestartNogoods=15 mapSize=121 nbInferences=0 nbTooLargeKeys=0
2.62 => wckTime=0.769 cpuTime=0.71 mem=35M597
2.88
2.88 search
2.88 run=5 nbConstraintChecks=678875 nbValidityChecks=1238486 nbPropagations=17230 nbRevisions=199871
2.88 nbUselessRevisions=158577 nbAssignments=537 nbFailedAssignments=287 nbBacktracks=211 nbVisitedNodes=958
2.88 nbRestartNogoods=16 mapSize=188 nbInferences=0 nbTooLargeKeys=0
2.88 => wckTime=1.025 cpuTime=0.97 mem=35M597
3.31
3.31 search
3.32 run=6 nbConstraintChecks=1016892 nbValidityChecks=1846805 nbPropagations=26614 nbRevisions=309426
3.32 nbUselessRevisions=245199 nbAssignments=769 nbFailedAssignments=401 nbBacktracks=324 nbVisitedNodes=1376
3.32 nbRestartNogoods=19 mapSize=281 nbInferences=0 nbTooLargeKeys=0
3.32 => wckTime=1.462 cpuTime=1.4 mem=35M597
3.89
3.89 search
3.89 run=7 nbConstraintChecks=1456111 nbValidityChecks=2639954 nbPropagations=39838 nbRevisions=464998
3.89 nbUselessRevisions=368592 nbAssignments=1097 nbFailedAssignments=554 nbBacktracks=495 nbVisitedNodes=1961
3.89 nbRestartNogoods=26 mapSize=422 nbInferences=0 nbTooLargeKeys=0
3.89 => wckTime=2.04 cpuTime=1.98 mem=35M597
4.87
4.87 search
4.87 run=8 nbConstraintChecks=2201803 nbValidityChecks=4010455 nbPropagations=59741 nbRevisions=704945
4.87 nbUselessRevisions=559333 nbAssignments=1676 nbFailedAssignments=870 nbBacktracks=751 nbVisitedNodes=3015
4.87 nbRestartNogoods=32 mapSize=648 nbInferences=0 nbTooLargeKeys=0
4.87 => wckTime=3.014 cpuTime=2.94 mem=35M597
6.13
6.13 search
6.13 run=9 nbConstraintChecks=3184526 nbValidityChecks=5906360 nbPropagations=91187 nbRevisions=1073708
6.13 nbUselessRevisions=851454 nbAssignments=2566 nbFailedAssignments=1370 nbBacktracks=1136 nbVisitedNodes=4677
6.13 nbRestartNogoods=45 mapSize=1006 nbInferences=0 nbTooLargeKeys=0
6.13 => wckTime=4.28 cpuTime=4.2 mem=35M597
6.21
6.21 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=35M597)
8.35
8.35 search
8.35 run=10 nbConstraintChecks=4993445 nbValidityChecks=9196969 nbPropagations=138168 nbRevisions=1624592
8.35 nbUselessRevisions=1286216 nbAssignments=3960 nbFailedAssignments=2181 nbBacktracks=1712 nbVisitedNodes=7285
8.35 nbRestartNogoods=58
8.35 => wckTime=6.5 cpuTime=6.41 mem=35M597
10.75
10.75 search
10.75 run=11 nbConstraintChecks=6913518 nbValidityChecks=12840246 nbPropagations=207087 nbRevisions=2435029
10.75 nbUselessRevisions=1927657 nbAssignments=5845 nbFailedAssignments=3182 nbBacktracks=2578 nbVisitedNodes=10679
10.75 nbRestartNogoods=73
10.75 => wckTime=8.893 cpuTime=8.8 mem=35M597
17.80
17.80 search
17.80 run=12 nbConstraintChecks=12727242 nbValidityChecks=23327195 nbPropagations=319041 nbRevisions=3773691
17.80 nbUselessRevisions=2980730 nbAssignments=10279 nbFailedAssignments=6312 nbBacktracks=3876 nbVisitedNodes=19313
17.80 nbRestartNogoods=85
17.80 => wckTime=15.949 cpuTime=15.85 mem=35M597
24.27
24.27 search
24.27 run=13 nbConstraintChecks=17976843 nbValidityChecks=32990892 nbPropagations=479354 nbRevisions=5720929
24.27 nbUselessRevisions=4521046 nbAssignments=14604 nbFailedAssignments=8674 nbBacktracks=5823 nbVisitedNodes=27241
24.27 nbRestartNogoods=97
24.27 => wckTime=22.416 cpuTime=22.31 mem=35M597
33.76
33.76 search
33.76 run=14 nbConstraintChecks=25576927 nbValidityChecks=47111196 nbPropagations=714528 nbRevisions=8573688
33.76 nbUselessRevisions=6781708 nbAssignments=20794 nbFailedAssignments=11922 nbBacktracks=8742 nbVisitedNodes=38499
33.76 nbRestartNogoods=112
33.76 => wckTime=31.91 cpuTime=31.8 mem=35M597
46.83
46.83 search
46.83 run=15 nbConstraintChecks=36108999 nbValidityChecks=66984982 nbPropagations=1063093 nbRevisions=12795298
46.83 nbUselessRevisions=10128461 nbAssignments=30400 nbFailedAssignments=17132 nbBacktracks=13120
46.83 nbVisitedNodes=56011 nbRestartNogoods=124
46.83 => wckTime=44.981 cpuTime=44.87 mem=35M597
72.11
72.11 search
72.11 run=16 nbConstraintChecks=56419469 nbValidityChecks=104126584 nbPropagations=1597047 nbRevisions=19248729
72.11 nbUselessRevisions=15241555 nbAssignments=44640 nbFailedAssignments=24796 nbBacktracks=19689
72.11 nbVisitedNodes=82231 nbRestartNogoods=138
72.11 => wckTime=70.261 cpuTime=70.14 mem=35M597
107.17
107.17 search
107.17 run=17 nbConstraintChecks=84171561 nbValidityChecks=157575696 nbPropagations=2416787 nbRevisions=29234223
107.17 nbUselessRevisions=23158823 nbAssignments=69706 nbFailedAssignments=39974 nbBacktracks=29543
107.17 nbVisitedNodes=129275 nbRestartNogoods=156
107.17 => wckTime=105.314 cpuTime=105.19 mem=35M597
156.22
156.22 search
156.22 run=18 nbConstraintChecks=123628556 nbValidityChecks=230535583 nbPropagations=3613678 nbRevisions=43809083
156.22 nbUselessRevisions=34726498 nbAssignments=100989 nbFailedAssignments=56474 nbBacktracks=44322
156.22 nbVisitedNodes=185932 nbRestartNogoods=165
156.22 => wckTime=154.366 cpuTime=154.22 mem=35M597
231.28
231.28 search
231.28 run=19 nbConstraintChecks=183567811 nbValidityChecks=342552875 nbPropagations=5389805 nbRevisions=65414875
231.28 nbUselessRevisions=51879133 nbAssignments=149335 nbFailedAssignments=82647 nbBacktracks=66490
231.28 nbVisitedNodes=273755 nbRestartNogoods=177
231.28 => wckTime=229.423 cpuTime=229.25 mem=35M597
346.82
346.82 search
346.82 run=20 nbConstraintChecks=276689862 nbValidityChecks=516136060 nbPropagations=8090028 nbRevisions=97965148
346.82 nbUselessRevisions=77704200 nbAssignments=223412 nbFailedAssignments=123464 nbBacktracks=99742
346.82 nbVisitedNodes=409912 nbRestartNogoods=191
346.82 => wckTime=344.972 cpuTime=344.76 mem=35M597
525.75
525.75 search
525.75 run=21 nbConstraintChecks=420283181 nbValidityChecks=784835003 nbPropagations=12184685 nbRevisions=147001156
525.75 nbUselessRevisions=116515661 nbAssignments=343484 nbFailedAssignments=193621 nbBacktracks=149620
525.75 nbVisitedNodes=633791 nbRestartNogoods=214
525.75 => wckTime=523.899 cpuTime=523.62 mem=35M597
794.29
794.29 search
794.29 run=22 nbConstraintChecks=635471839 nbValidityChecks=1179417289 nbPropagations=18280042 nbRevisions=220539626
794.29 nbUselessRevisions=174785454 nbAssignments=503203 nbFailedAssignments=278517 nbBacktracks=224439
794.29 nbVisitedNodes=925018 nbRestartNogoods=240
794.29 => wckTime=792.441 cpuTime=792.06 mem=35M597
1184.03
1184.03 search
1184.03 run=23 nbConstraintChecks=945177753 nbValidityChecks=1775482618 nbPropagations=27745545 nbRevisions=334155217
1184.03 nbUselessRevisions=264692076 nbAssignments=784220 nbFailedAssignments=447301 nbBacktracks=336667
1184.03 nbVisitedNodes=1453788 nbRestartNogoods=267
1184.03 => wckTime=1182.179 cpuTime=1181.65 mem=35M597
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-196286-1168121478 -o ROOT/results/node76/solver-196286-1168121478 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196286-1168121478/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.82 3.54 4.19 4/70 9437
/proc/meminfo: memFree=1919632/2055888 swapFree=4095388/4096564
[pid=9436] ppid=9434 vsize=18544 CPUtime=0
/proc/9436/stat : 9436 (runsolver) D 9434 9436 7648 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 160544913 18989056 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206843737111 0 0 4096 24578 18446744071563611212 0 0 17 1 0 0
/proc/9436/statm: 4636 280 245 17 0 2626 0
[startup+0.103167 s]
/proc/loadavg: 1.82 3.54 4.19 4/70 9437
/proc/meminfo: memFree=1919632/2055888 swapFree=4095388/4096564
[pid=9436] ppid=9434 vsize=9796 CPUtime=0
/proc/9436/stat : 9436 (java) D 9434 9436 7648 0 -1 0 379 0 6 0 0 0 0 0 18 0 1 0 160544913 10031104 171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4822167 0 0 4096 0 18446744071563481621 0 0 17 1 0 0
/proc/9436/statm: 2449 171 134 14 0 1138 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9796
[startup+0.511249 s]
/proc/loadavg: 1.82 3.54 4.19 4/70 9437
/proc/meminfo: memFree=1919632/2055888 swapFree=4095388/4096564
[pid=9436] ppid=9434 vsize=915152 CPUtime=0.26
/proc/9436/stat : 9436 (java) R 9434 9436 7648 0 -1 0 4809 0 44 0 22 4 0 0 16 0 8 0 160544913 937115648 4600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152815842 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9436/statm: 228788 4601 1939 14 0 215275 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 915152
[startup+1.33141 s]
/proc/loadavg: 1.82 3.54 4.19 2/77 9444
/proc/meminfo: memFree=1860120/2055888 swapFree=4095388/4096564
[pid=9436] ppid=9434 vsize=915332 CPUtime=0.97
/proc/9436/stat : 9436 (java) R 9434 9436 7648 0 -1 0 19011 0 52 0 85 12 0 0 16 0 8 0 160544913 937299968 18801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155765854 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9436/statm: 228833 18801 2150 14 0 215302 0
[pid=9436/tid=9438] ppid=9434 vsize=915332 CPUtime=0.04
/proc/9436/task/9438/stat : 9438 (java) S 9434 9436 7648 0 -1 64 2651 0 0 0 3 1 0 0 16 0 8 0 160544931 937299968 18801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9439] ppid=9434 vsize=915332 CPUtime=0
/proc/9436/task/9439/stat : 9439 (java) S 9434 9436 7648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160544931 937299968 18801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9440] ppid=9434 vsize=915332 CPUtime=0
/proc/9436/task/9440/stat : 9440 (java) S 9434 9436 7648 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160544931 937299968 18801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9441] ppid=9434 vsize=915332 CPUtime=0
/proc/9436/task/9441/stat : 9441 (java) S 9434 9436 7648 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160544935 937299968 18801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9442] ppid=9434 vsize=915332 CPUtime=0.07
/proc/9436/task/9442/stat : 9442 (java) S 9434 9436 7648 0 -1 64 308 0 0 0 7 0 0 0 16 0 8 0 160544935 937299968 18801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9443] ppid=9434 vsize=915332 CPUtime=0
/proc/9436/task/9443/stat : 9443 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160544935 937299968 18801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9444] ppid=9434 vsize=915332 CPUtime=0
/proc/9436/task/9444/stat : 9444 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160544935 937299968 18801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 915332
[startup+2.97972 s]
/proc/loadavg: 1.82 3.54 4.19 2/77 9444
/proc/meminfo: memFree=1822296/2055888 swapFree=4095388/4096564
[pid=9436] ppid=9434 vsize=915424 CPUtime=2.6
/proc/9436/stat : 9436 (java) R 9434 9436 7648 0 -1 0 23514 0 52 0 246 14 0 0 17 0 8 0 160544913 937394176 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796989 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9436/statm: 228856 23301 2532 14 0 215325 0
[pid=9436/tid=9438] ppid=9434 vsize=915424 CPUtime=0.15
/proc/9436/task/9438/stat : 9438 (java) S 9434 9436 7648 0 -1 64 6584 0 0 0 12 3 0 0 17 0 8 0 160544931 937394176 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9439] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9439/stat : 9439 (java) S 9434 9436 7648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9440] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9440/stat : 9440 (java) S 9434 9436 7648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9441] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9441/stat : 9441 (java) S 9434 9436 7648 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160544935 937394176 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9442] ppid=9434 vsize=915424 CPUtime=0.17
/proc/9436/task/9442/stat : 9442 (java) S 9434 9436 7648 0 -1 64 373 0 0 0 16 1 0 0 15 0 8 0 160544935 937394176 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9443] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9443/stat : 9443 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160544935 937394176 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9444] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9444/stat : 9444 (java) R 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160544935 937394176 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 915424
[startup+6.26436 s]
/proc/loadavg: 1.76 3.50 4.18 2/77 9444
/proc/meminfo: memFree=1822040/2055888 swapFree=4095388/4096564
[pid=9436] ppid=9434 vsize=915424 CPUtime=5.89
/proc/9436/stat : 9436 (java) R 9434 9436 7648 0 -1 0 23531 0 52 0 574 15 0 0 17 0 8 0 160544913 937394176 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073620604 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9436/statm: 228856 23314 2532 14 0 215325 0
[pid=9436/tid=9438] ppid=9434 vsize=915424 CPUtime=0.15
/proc/9436/task/9438/stat : 9438 (java) S 9434 9436 7648 0 -1 64 6584 0 0 0 12 3 0 0 17 0 8 0 160544931 937394176 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9439] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9439/stat : 9439 (java) S 9434 9436 7648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9440] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9440/stat : 9440 (java) S 9434 9436 7648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9441] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9441/stat : 9441 (java) S 9434 9436 7648 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160544935 937394176 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9442] ppid=9434 vsize=915424 CPUtime=0.2
/proc/9436/task/9442/stat : 9442 (java) S 9434 9436 7648 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 160544935 937394176 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9443] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9443/stat : 9443 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160544935 937394176 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9444] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9444/stat : 9444 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160544935 937394176 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 915424
[startup+12.7336 s]
/proc/loadavg: 1.70 3.46 4.16 2/77 9444
/proc/meminfo: memFree=1822040/2055888 swapFree=4095388/4096564
[pid=9436] ppid=9434 vsize=915424 CPUtime=12.35
/proc/9436/stat : 9436 (java) R 9434 9436 7648 0 -1 0 23537 0 52 0 1220 15 0 0 25 0 8 0 160544913 937394176 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615671 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9436/statm: 228856 23318 2532 14 0 215325 0
[pid=9436/tid=9438] ppid=9434 vsize=915424 CPUtime=0.15
/proc/9436/task/9438/stat : 9438 (java) S 9434 9436 7648 0 -1 64 6584 0 0 0 12 3 0 0 16 0 8 0 160544931 937394176 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9439] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9439/stat : 9439 (java) S 9434 9436 7648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9440] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9440/stat : 9440 (java) S 9434 9436 7648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9441] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9441/stat : 9441 (java) S 9434 9436 7648 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160544935 937394176 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9442] ppid=9434 vsize=915424 CPUtime=0.2
/proc/9436/task/9442/stat : 9442 (java) S 9434 9436 7648 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 160544935 937394176 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9443] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9443/stat : 9443 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160544935 937394176 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9444] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9444/stat : 9444 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160544935 937394176 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 915424
[startup+25.5711 s]
/proc/loadavg: 1.54 3.34 4.11 2/77 9444
/proc/meminfo: memFree=1822424/2055888 swapFree=4095388/4096564
[pid=9436] ppid=9434 vsize=915424 CPUtime=25.19
/proc/9436/stat : 9436 (java) R 9434 9436 7648 0 -1 0 23538 0 52 0 2503 16 0 0 17 0 8 0 160544913 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073620604 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9436/statm: 228856 23319 2532 14 0 215325 0
[pid=9436/tid=9438] ppid=9434 vsize=915424 CPUtime=0.15
/proc/9436/task/9438/stat : 9438 (java) S 9434 9436 7648 0 -1 64 6584 0 0 0 12 3 0 0 16 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9439] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9439/stat : 9439 (java) S 9434 9436 7648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9440] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9440/stat : 9440 (java) S 9434 9436 7648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9441] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9441/stat : 9441 (java) S 9434 9436 7648 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9442] ppid=9434 vsize=915424 CPUtime=0.21
/proc/9436/task/9442/stat : 9442 (java) S 9434 9436 7648 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9443] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9443/stat : 9443 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9444] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9444/stat : 9444 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 915424
[startup+51.2411 s]
/proc/loadavg: 1.36 3.15 4.02 2/77 9444
/proc/meminfo: memFree=1822680/2055888 swapFree=4095388/4096564
[pid=9436] ppid=9434 vsize=915424 CPUtime=50.85
/proc/9436/stat : 9436 (java) R 9434 9436 7648 0 -1 0 23539 0 52 0 5069 16 0 0 25 0 8 0 160544913 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073620604 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9436/statm: 228856 23319 2532 14 0 215325 0
[pid=9436/tid=9438] ppid=9434 vsize=915424 CPUtime=0.15
/proc/9436/task/9438/stat : 9438 (java) S 9434 9436 7648 0 -1 64 6584 0 0 0 12 3 0 0 16 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9439] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9439/stat : 9439 (java) S 9434 9436 7648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9440] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9440/stat : 9440 (java) S 9434 9436 7648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9441] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9441/stat : 9441 (java) S 9434 9436 7648 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9442] ppid=9434 vsize=915424 CPUtime=0.21
/proc/9436/task/9442/stat : 9442 (java) S 9434 9436 7648 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9443] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9443/stat : 9443 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9444] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9444/stat : 9444 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915424
[startup+102.473 s]
/proc/loadavg: 1.20 2.83 3.87 2/77 9444
/proc/meminfo: memFree=1822808/2055888 swapFree=4095388/4096564
[pid=9436] ppid=9434 vsize=915424 CPUtime=102.06
/proc/9436/stat : 9436 (java) R 9434 9436 7648 0 -1 0 23539 0 52 0 10190 16 0 0 25 0 8 0 160544913 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9436/statm: 228856 23319 2532 14 0 215325 0
[pid=9436/tid=9438] ppid=9434 vsize=915424 CPUtime=0.15
/proc/9436/task/9438/stat : 9438 (java) S 9434 9436 7648 0 -1 64 6584 0 0 0 12 3 0 0 16 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9439] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9439/stat : 9439 (java) S 9434 9436 7648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9440] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9440/stat : 9440 (java) S 9434 9436 7648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9441] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9441/stat : 9441 (java) S 9434 9436 7648 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9442] ppid=9434 vsize=915424 CPUtime=0.21
/proc/9436/task/9442/stat : 9442 (java) S 9434 9436 7648 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9443] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9443/stat : 9443 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9444] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9444/stat : 9444 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 915424
[startup+162.542 s]
/proc/loadavg: 1.07 2.49 3.69 2/77 9444
/proc/meminfo: memFree=1822808/2055888 swapFree=4095388/4096564
[pid=9436] ppid=9434 vsize=915424 CPUtime=162.11
/proc/9436/stat : 9436 (java) R 9434 9436 7648 0 -1 0 23539 0 52 0 16195 16 0 0 25 0 8 0 160544913 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615742 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.08
Current children cumulated vsize (KiB) 915424
[startup+1484.05 s]
/proc/loadavg: 1.00 1.01 1.62 2/77 9446
/proc/meminfo: memFree=1821656/2055888 swapFree=4095388/4096564
[pid=9436] ppid=9434 vsize=915424 CPUtime=1483.13
/proc/9436/stat : 9436 (java) R 9434 9436 7648 0 -1 0 23539 0 52 0 148296 17 0 0 25 0 8 0 160544913 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073748832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9436/statm: 228856 23319 2532 14 0 215325 0
[pid=9436/tid=9438] ppid=9434 vsize=915424 CPUtime=0.15
/proc/9436/task/9438/stat : 9438 (java) S 9434 9436 7648 0 -1 64 6584 0 0 0 12 3 0 0 16 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9439] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9439/stat : 9439 (java) S 9434 9436 7648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9440] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9440/stat : 9440 (java) S 9434 9436 7648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9441] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9441/stat : 9441 (java) S 9434 9436 7648 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9442] ppid=9434 vsize=915424 CPUtime=0.21
/proc/9436/task/9442/stat : 9442 (java) S 9434 9436 7648 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9443] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9443/stat : 9443 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9444] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9444/stat : 9444 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.13
Current children cumulated vsize (KiB) 915424
[startup+1544.13 s]
/proc/loadavg: 1.00 1.01 1.58 2/77 9446
/proc/meminfo: memFree=1821592/2055888 swapFree=4095388/4096564
[pid=9436] ppid=9434 vsize=915424 CPUtime=1543.18
/proc/9436/stat : 9436 (java) R 9434 9436 7648 0 -1 0 23539 0 52 0 154301 17 0 0 25 0 8 0 160544913 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9436/statm: 228856 23319 2532 14 0 215325 0
[pid=9436/tid=9438] ppid=9434 vsize=915424 CPUtime=0.15
/proc/9436/task/9438/stat : 9438 (java) S 9434 9436 7648 0 -1 64 6584 0 0 0 12 3 0 0 16 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9439] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9439/stat : 9439 (java) S 9434 9436 7648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9440] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9440/stat : 9440 (java) S 9434 9436 7648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9441] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9441/stat : 9441 (java) S 9434 9436 7648 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9442] ppid=9434 vsize=915424 CPUtime=0.21
/proc/9436/task/9442/stat : 9442 (java) S 9434 9436 7648 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9443] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9443/stat : 9443 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9444] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9444/stat : 9444 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.18
Current children cumulated vsize (KiB) 915424
[startup+1604.2 s]
/proc/loadavg: 1.00 1.00 1.54 2/77 9446
/proc/meminfo: memFree=1821592/2055888 swapFree=4095388/4096564
[pid=9436] ppid=9434 vsize=915424 CPUtime=1603.23
/proc/9436/stat : 9436 (java) R 9434 9436 7648 0 -1 0 23539 0 52 0 160306 17 0 0 25 0 8 0 160544913 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752028 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9436/statm: 228856 23319 2532 14 0 215325 0
[pid=9436/tid=9438] ppid=9434 vsize=915424 CPUtime=0.15
/proc/9436/task/9438/stat : 9438 (java) S 9434 9436 7648 0 -1 64 6584 0 0 0 12 3 0 0 16 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9439] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9439/stat : 9439 (java) S 9434 9436 7648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9440] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9440/stat : 9440 (java) S 9434 9436 7648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9441] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9441/stat : 9441 (java) S 9434 9436 7648 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9442] ppid=9434 vsize=915424 CPUtime=0.21
/proc/9436/task/9442/stat : 9442 (java) S 9434 9436 7648 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9443] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9443/stat : 9443 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9444] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9444/stat : 9444 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.23
Current children cumulated vsize (KiB) 915424
[startup+1664.26 s]
/proc/loadavg: 1.10 1.03 1.51 2/77 9446
/proc/meminfo: memFree=1821528/2055888 swapFree=4095388/4096564
[pid=9436] ppid=9434 vsize=915424 CPUtime=1663.27
/proc/9436/stat : 9436 (java) R 9434 9436 7648 0 -1 0 23539 0 52 0 166310 17 0 0 25 0 8 0 160544913 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073742004 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9436/statm: 228856 23319 2532 14 0 215325 0
[pid=9436/tid=9438] ppid=9434 vsize=915424 CPUtime=0.15
/proc/9436/task/9438/stat : 9438 (java) S 9434 9436 7648 0 -1 64 6584 0 0 0 12 3 0 0 16 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9439] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9439/stat : 9439 (java) S 9434 9436 7648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9440] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9440/stat : 9440 (java) S 9434 9436 7648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9441] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9441/stat : 9441 (java) S 9434 9436 7648 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9442] ppid=9434 vsize=915424 CPUtime=0.21
/proc/9436/task/9442/stat : 9442 (java) S 9434 9436 7648 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9443] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9443/stat : 9443 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9444] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9444/stat : 9444 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1663.27
Current children cumulated vsize (KiB) 915424
[startup+1724.32 s]
/proc/loadavg: 1.04 1.02 1.48 2/77 9446
/proc/meminfo: memFree=1821592/2055888 swapFree=4095388/4096564
[pid=9436] ppid=9434 vsize=915424 CPUtime=1723.31
/proc/9436/stat : 9436 (java) R 9434 9436 7648 0 -1 0 23539 0 52 0 172314 17 0 0 25 0 8 0 160544913 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073620601 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9436/statm: 228856 23319 2532 14 0 215325 0
[pid=9436/tid=9438] ppid=9434 vsize=915424 CPUtime=0.15
/proc/9436/task/9438/stat : 9438 (java) S 9434 9436 7648 0 -1 64 6584 0 0 0 12 3 0 0 16 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9439] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9439/stat : 9439 (java) S 9434 9436 7648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9440] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9440/stat : 9440 (java) S 9434 9436 7648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9441] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9441/stat : 9441 (java) S 9434 9436 7648 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9442] ppid=9434 vsize=915424 CPUtime=0.21
/proc/9436/task/9442/stat : 9442 (java) S 9434 9436 7648 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9443] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9443/stat : 9443 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9444] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9444/stat : 9444 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1723.31
Current children cumulated vsize (KiB) 915424
[startup+1784.4 s]
/proc/loadavg: 1.01 1.02 1.44 2/77 9446
/proc/meminfo: memFree=1821528/2055888 swapFree=4095388/4096564
[pid=9436] ppid=9434 vsize=915424 CPUtime=1783.36
/proc/9436/stat : 9436 (java) R 9434 9436 7648 0 -1 0 23539 0 52 0 178319 17 0 0 25 0 8 0 160544913 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615758 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9436/statm: 228856 23319 2532 14 0 215325 0
[pid=9436/tid=9438] ppid=9434 vsize=915424 CPUtime=0.15
/proc/9436/task/9438/stat : 9438 (java) S 9434 9436 7648 0 -1 64 6584 0 0 0 12 3 0 0 16 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9439] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9439/stat : 9439 (java) S 9434 9436 7648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9440] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9440/stat : 9440 (java) S 9434 9436 7648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9441] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9441/stat : 9441 (java) S 9434 9436 7648 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9442] ppid=9434 vsize=915424 CPUtime=0.21
/proc/9436/task/9442/stat : 9442 (java) S 9434 9436 7648 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9443] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9443/stat : 9443 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9444] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9444/stat : 9444 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.36
Current children cumulated vsize (KiB) 915424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.03 s]
/proc/loadavg: 1.01 1.02 1.44 2/77 9446
/proc/meminfo: memFree=1821528/2055888 swapFree=4095388/4096564
[pid=9436] ppid=9434 vsize=915424 CPUtime=1800
/proc/9436/stat : 9436 (java) R 9434 9436 7648 0 -1 0 23539 0 52 0 179983 17 0 0 25 0 8 0 160544913 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073762719 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9436/statm: 228856 23319 2532 14 0 215325 0
[pid=9436/tid=9438] ppid=9434 vsize=915424 CPUtime=0.15
/proc/9436/task/9438/stat : 9438 (java) S 9434 9436 7648 0 -1 64 6584 0 0 0 12 3 0 0 16 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9439] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9439/stat : 9439 (java) S 9434 9436 7648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9440] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9440/stat : 9440 (java) S 9434 9436 7648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160544931 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9436/tid=9441] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9441/stat : 9441 (java) S 9434 9436 7648 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9442] ppid=9434 vsize=915424 CPUtime=0.21
/proc/9436/task/9442/stat : 9442 (java) S 9434 9436 7648 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9443] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9443/stat : 9443 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9436/tid=9444] ppid=9434 vsize=915424 CPUtime=0
/proc/9436/task/9444/stat : 9444 (java) S 9434 9436 7648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160544935 937394176 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.09
CPU time (s): 1800.06
CPU user time (s): 1799.87
CPU system time (s): 0.188971
CPU usage (%): 99.9427
Max. virtual memory (cumulated for all children) (KiB): 915424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.188971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23556
page faults= 52
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37372
involuntary context switches= 4420
runsolver used 2.23466 s user time and 4.15837 s system time
The end
Begin job on node76 on Sat Jan 6 22:11:18 UTC 2007
IDJOB= 196286
IDBENCH= 3340
FILE ID= node76/196286-1168121478
PBS_JOBID= 3477369
Free space on /tmp= 66639 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-34_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196286-1168121478/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-196286-1168121478 -o ROOT/results/node76/solver-196286-1168121478 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196286-1168121478/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7e84f3c7470c509274bafc2bca441264
RANDOM SEED= 91188535
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1920240 kB
Buffers: 34020 kB
Cached: 34552 kB
SwapCached: 40 kB
Active: 46448 kB
Inactive: 40816 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1920240 kB
SwapTotal: 4096564 kB
SwapFree: 4095388 kB
Dirty: 4848 kB
Writeback: 0 kB
Mapped: 26112 kB
Slab: 34776 kB
Committed_AS: 5920296 kB
PageTables: 1432 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66639 MiB
End job on node76 on Sat Jan 6 22:41:19 UTC 2007