0.32
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/203615-1168073136/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=27 nbDomainTypes=1 minDomainSize=27 maxDomainSize=27
0.43 => wckTime=0.105 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.57
0.57 constraints being loaded...
0.70 nbConstraints=351 nbRelationTypes=351 nbExtensionStructures=351 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=351 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=939 maxDegree=26
0.70 maxArity=2
0.70 => wckTime=0.373 cpuTime=0.29 mem=15M761
0.74
0.74 solver IterativeSystematicSolver being built...
0.90 => wckTime=0.577 cpuTime=0.41 mem=14M249
0.91
0.91 preprocessing
0.91 nbConstraintChecks=0 nbPropagations=27 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.91 detectedInconsistency=no
0.91 => wckTime=0.0050 cpuTime=0.01 mem=14M249
0.98
0.98 search
0.98 run=0 nbConstraintChecks=50177 nbPropagations=544 nbRevisions=9966 nbUselessRevisions=8786 nbAssignments=31
0.98 nbFailedAssignments=15 nbBacktracks=10 nbVisitedNodes=55 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.067 cpuTime=0.04 mem=15M290
1.00
1.00 search
1.00 run=1 nbConstraintChecks=115294 nbPropagations=1735 nbRevisions=32800 nbUselessRevisions=28902
1.00 nbAssignments=69 nbFailedAssignments=32 nbBacktracks=25 nbVisitedNodes=122 nbRestartNogoods=3 mapSize=25
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.093 cpuTime=0.06 mem=15M290
1.03
1.03 search
1.03 run=2 nbConstraintChecks=188937 nbPropagations=3714 nbRevisions=70936 nbUselessRevisions=62495
1.03 nbAssignments=117 nbFailedAssignments=51 nbBacktracks=47 nbVisitedNodes=205 nbRestartNogoods=7 mapSize=45
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.117 cpuTime=0.08 mem=15M290
1.06
1.06 search
1.06 run=3 nbConstraintChecks=318271 nbPropagations=6965 nbRevisions=135936 nbUselessRevisions=119571
1.06 nbAssignments=193 nbFailedAssignments=86 nbBacktracks=81 nbVisitedNodes=342 nbRestartNogoods=12 mapSize=79
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.149 cpuTime=0.11 mem=15M290
1.09
1.09 search
1.09 run=4 nbConstraintChecks=461713 nbPropagations=11762 nbRevisions=232575 nbUselessRevisions=204393
1.09 nbAssignments=296 nbFailedAssignments=131 nbBacktracks=131 nbVisitedNodes=526 nbRestartNogoods=15 mapSize=129
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.179 cpuTime=0.14 mem=15M290
1.15
1.15 search
1.15 run=5 nbConstraintChecks=694033 nbPropagations=19008 nbRevisions=380810 nbUselessRevisions=334370
1.15 nbAssignments=449 nbFailedAssignments=202 nbBacktracks=206 nbVisitedNodes=807 nbRestartNogoods=23 mapSize=203
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.236 cpuTime=0.18 mem=15M290
1.21
1.21 search
1.21 run=6 nbConstraintChecks=1037156 nbPropagations=29653 nbRevisions=603718 nbUselessRevisions=529937
1.21 nbAssignments=670 nbFailedAssignments=305 nbBacktracks=319 nbVisitedNodes=1211 nbRestartNogoods=29 mapSize=312
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.304 cpuTime=0.25 mem=15M290
1.31
1.31 search
1.31 run=7 nbConstraintChecks=1534315 nbPropagations=45329 nbRevisions=936194 nbUselessRevisions=821818
1.31 nbAssignments=997 nbFailedAssignments=456 nbBacktracks=490 nbVisitedNodes=1806 nbRestartNogoods=34 mapSize=477
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.398 cpuTime=0.34 mem=15M290
1.45
1.45 search
1.45 run=8 nbConstraintChecks=2291502 nbPropagations=68614 nbRevisions=1436827 nbUselessRevisions=1261791
1.46 nbAssignments=1481 nbFailedAssignments=677 nbBacktracks=746 nbVisitedNodes=2693 nbRestartNogoods=41
1.46 mapSize=726 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.547 cpuTime=0.48 mem=15M290
1.63
1.63 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=15M290)
1.67
1.67 search
1.67 run=9 nbConstraintChecks=3443573 nbPropagations=103558 nbRevisions=2195751 nbUselessRevisions=1928561
1.67 nbAssignments=2217 nbFailedAssignments=1025 nbBacktracks=1130 nbVisitedNodes=4051 nbRestartNogoods=47
1.67 => wckTime=0.763 cpuTime=0.68 mem=15M290
2.02
2.02 search
2.02 run=10 nbConstraintChecks=5083542 nbPropagations=155299 nbRevisions=3322844 nbUselessRevisions=2918213
2.02 nbAssignments=3324 nbFailedAssignments=1549 nbBacktracks=1707 nbVisitedNodes=6083 nbRestartNogoods=51
2.02 => wckTime=1.111 cpuTime=1.02 mem=15M290
2.62
2.62 search
2.62 run=11 nbConstraintChecks=7842765 nbPropagations=234132 nbRevisions=5057599 nbUselessRevisions=4441516
2.62 nbAssignments=5007 nbFailedAssignments=2361 nbBacktracks=2571 nbVisitedNodes=9217 nbRestartNogoods=61
2.62 => wckTime=1.716 cpuTime=1.61 mem=15M290
3.48
3.48 search
3.48 run=12 nbConstraintChecks=11697998 nbPropagations=352250 nbRevisions=7665920 nbUselessRevisions=6732416
3.48 nbAssignments=7527 nbFailedAssignments=3577 nbBacktracks=3868 nbVisitedNodes=13892 nbRestartNogoods=72
3.48 => wckTime=2.57 cpuTime=2.45 mem=15M290
4.72
4.72 search
4.72 run=13 nbConstraintChecks=17528075 nbPropagations=528019 nbRevisions=11557991 nbUselessRevisions=10151200
4.72 nbAssignments=11186 nbFailedAssignments=5282 nbBacktracks=5814 nbVisitedNodes=20632 nbRestartNogoods=81
4.72 => wckTime=3.817 cpuTime=3.69 mem=15M290
6.65
6.65 search
6.65 run=14 nbConstraintChecks=26540800 nbPropagations=792804 nbRevisions=17442464 nbUselessRevisions=15319074
6.65 nbAssignments=16795 nbFailedAssignments=7966 nbBacktracks=8733 nbVisitedNodes=31043 nbRestartNogoods=91
6.65 => wckTime=5.739 cpuTime=5.6 mem=15M290
9.43
9.43 search
9.43 run=15 nbConstraintChecks=39433043 nbPropagations=1186623 nbRevisions=26201191 nbUselessRevisions=23011387
9.43 nbAssignments=25133 nbFailedAssignments=11921 nbBacktracks=13111 nbVisitedNodes=46406 nbRestartNogoods=101
9.43 => wckTime=8.524 cpuTime=8.36 mem=15M290
13.55
13.55 search
13.55 run=16 nbConstraintChecks=58406654 nbPropagations=1772944 nbRevisions=39267472 nbUselessRevisions=34495066
13.55 nbAssignments=37606 nbFailedAssignments=17820 nbBacktracks=19679 nbVisitedNodes=69456 nbRestartNogoods=114
13.55 => wckTime=12.646 cpuTime=12.44 mem=15M290
19.86
19.86 search
19.86 run=17 nbConstraintChecks=87311315 nbPropagations=2651889 nbRevisions=58897523 nbUselessRevisions=51754360
19.86 nbAssignments=56438 nbFailedAssignments=26794 nbBacktracks=29532 nbVisitedNodes=104316 nbRestartNogoods=127
19.86 => wckTime=18.956 cpuTime=18.7 mem=15M290
29.29
29.30 search
29.30 run=18 nbConstraintChecks=130843537 nbPropagations=3971392 nbRevisions=88328347 nbUselessRevisions=77627042
29.30 nbAssignments=84637 nbFailedAssignments=40208 nbBacktracks=44310 nbVisitedNodes=156607 nbRestartNogoods=142
29.30 => wckTime=28.387 cpuTime=28.04 mem=15M290
43.50
43.50 search
43.50 run=19 nbConstraintChecks=196874754 nbPropagations=5947795 nbRevisions=132494880 nbUselessRevisions=116454169
43.50 nbAssignments=126560 nbFailedAssignments=59957 nbBacktracks=66478 nbVisitedNodes=234041 nbRestartNogoods=159
43.50 => wckTime=42.59 cpuTime=42.12 mem=15M290
65.33
65.33 search
65.33 run=20 nbConstraintChecks=298931779 nbPropagations=8931054 nbRevisions=199419223 nbUselessRevisions=175299181
65.33 nbAssignments=190536 nbFailedAssignments=90675 nbBacktracks=99730 nbVisitedNodes=352488 nbRestartNogoods=178
65.33 => wckTime=64.425 cpuTime=63.76 mem=15M290
98.16
98.16 search
98.16 run=21 nbConstraintChecks=453367285 nbPropagations=13433900 nbRevisions=300664789 nbUselessRevisions=264319046
98.16 nbAssignments=286857 nbFailedAssignments=137112 nbBacktracks=149608 nbVisitedNodes=531194 nbRestartNogoods=196
98.16 => wckTime=97.256 cpuTime=96.28 mem=15M290
147.32
147.32 search
147.32 run=22 nbConstraintChecks=680377731 nbPropagations=20181144 nbRevisions=452764672 nbUselessRevisions=398099626
147.32 nbAssignments=429793 nbFailedAssignments=205225 nbBacktracks=224426 nbVisitedNodes=795767 nbRestartNogoods=211
147.32 => wckTime=146.416 cpuTime=144.99 mem=15M290
220.91
220.91 search
220.91 run=23 nbConstraintChecks=1023283730 nbPropagations=30306762 nbRevisions=681192183 nbUselessRevisions=599016956
220.91 nbAssignments=644488 nbFailedAssignments=307688 nbBacktracks=336653 nbVisitedNodes=1193177 nbRestartNogoods=230
220.91 => wckTime=220.0 cpuTime=217.91 mem=15M290
332.98
332.98 search
332.98 run=24 nbConstraintChecks=1544695773 nbPropagations=45540438 nbRevisions=1025795824
332.98 nbUselessRevisions=902183839 nbAssignments=967421 nbFailedAssignments=462274 nbBacktracks=504994
332.98 nbVisitedNodes=1791497 nbRestartNogoods=252
332.98 => wckTime=332.075 cpuTime=328.95 mem=15M290
499.80
499.80 search
499.80 run=25 nbConstraintChecks=2324105692 nbPropagations=68426300 nbRevisions=1544086297
499.80 nbUselessRevisions=1358213744 nbAssignments=1453348 nbFailedAssignments=695684 nbBacktracks=757505
499.80 nbVisitedNodes=2691779 nbRestartNogoods=271
499.80 => wckTime=498.896 cpuTime=494.26 mem=15M290
748.67
748.67 search
748.67 run=26 nbConstraintChecks=3509401708 nbPropagations=102882034 nbRevisions=2325486746
748.67 nbUselessRevisions=2045732870 nbAssignments=2186186 nbFailedAssignments=1049749 nbBacktracks=1136272
748.67 nbVisitedNodes=4051231 nbRestartNogoods=304
748.67 => wckTime=747.766 cpuTime=741.22 mem=15M290
1096.94
1096.94 search
1096.94 run=27 nbConstraintChecks=5277546626 nbPropagations=154598538 nbRevisions=3500085733
1096.94 nbUselessRevisions=3079424882 nbAssignments=3278164 nbFailedAssignments=1573570 nbBacktracks=1704423
1096.94 nbVisitedNodes=6074599 nbRestartNogoods=329
1096.94 => wckTime=1096.035 cpuTime=1089.08 mem=15M290
1623.99
1623.99 search
1623.99 run=28 nbConstraintChecks=7932721424 nbPropagations=232254984 nbRevisions=5265963601
1623.99 nbUselessRevisions=4633660367 nbAssignments=4921256 nbFailedAssignments=2364430 nbBacktracks=2556652
1623.99 nbVisitedNodes=9119681 nbRestartNogoods=349
1623.99 => wckTime=1623.078 cpuTime=1615.56 mem=15M290
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-203615-1168073136 -o ROOT/results/node7/solver-203615-1168073136 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203615-1168073136/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 1.98 1.94 4/93 17676
/proc/meminfo: memFree=1367016/2055920 swapFree=4192812/4192956
[pid=17675] ppid=17673 vsize=18540 CPUtime=0
/proc/17675/stat : 17675 (runsolver) R 17673 17675 17178 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 155709132 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 244670960311 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17675/statm: 4635 279 244 17 0 2626 0
[startup+0.107443 s]
/proc/loadavg: 1.92 1.98 1.94 4/93 17676
/proc/meminfo: memFree=1367016/2055920 swapFree=4192812/4192956
[pid=17675] ppid=17673 vsize=914988 CPUtime=0.09
/proc/17675/stat : 17675 (java) R 17673 17675 17178 0 -1 0 2953 0 1 0 7 2 0 0 17 0 8 0 155709132 936947712 2699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154100019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17675/statm: 228747 2699 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515483 s]
/proc/loadavg: 1.92 1.98 1.94 4/93 17676
/proc/meminfo: memFree=1367016/2055920 swapFree=4192812/4192956
[pid=17675] ppid=17673 vsize=915328 CPUtime=0.48
/proc/17675/stat : 17675 (java) R 17673 17675 17178 0 -1 0 6730 0 1 0 44 4 0 0 18 0 8 0 155709132 937295872 6469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073560343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17675/statm: 228832 6469 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33657 s]
/proc/loadavg: 1.92 1.98 1.94 3/100 17683
/proc/meminfo: memFree=1341040/2055920 swapFree=4192812/4192956
[pid=17675] ppid=17673 vsize=915456 CPUtime=1.3
/proc/17675/stat : 17675 (java) R 17673 17675 17178 0 -1 0 9196 0 1 0 123 7 0 0 24 0 8 0 155709132 937426944 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17675/statm: 228864 8934 2513 14 0 215334 0
[pid=17675/tid=17677] ppid=17673 vsize=915456 CPUtime=0.03
/proc/17675/task/17677/stat : 17677 (java) S 17673 17675 17178 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155709136 937426944 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17678] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17678/stat : 17678 (java) S 17673 17675 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155709137 937426944 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17679] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17679/stat : 17679 (java) S 17673 17675 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155709137 937426944 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17680] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17680/stat : 17680 (java) S 17673 17675 17178 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155709140 937426944 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17681] ppid=17673 vsize=915456 CPUtime=0.21
/proc/17675/task/17681/stat : 17681 (java) S 17673 17675 17178 0 -1 64 376 0 0 0 20 1 0 0 15 0 8 0 155709140 937426944 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17682] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17682/stat : 17682 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155709140 937426944 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17683] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17683/stat : 17683 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155709140 937426944 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.97374 s]
/proc/loadavg: 1.92 1.98 1.94 3/100 17683
/proc/meminfo: memFree=1340912/2055920 swapFree=4192812/4192956
[pid=17675] ppid=17673 vsize=915456 CPUtime=2.92
/proc/17675/stat : 17675 (java) R 17673 17675 17178 0 -1 0 9212 0 1 0 285 7 0 0 25 0 8 0 155709132 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816051 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17675/statm: 228864 8949 2513 14 0 215334 0
[pid=17675/tid=17677] ppid=17673 vsize=915456 CPUtime=0.03
/proc/17675/task/17677/stat : 17677 (java) S 17673 17675 17178 0 -1 64 363 0 0 0 3 0 0 0 17 0 8 0 155709136 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17678] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17678/stat : 17678 (java) S 17673 17675 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155709137 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17679] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17679/stat : 17679 (java) S 17673 17675 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155709137 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17680] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17680/stat : 17680 (java) S 17673 17675 17178 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17681] ppid=17673 vsize=915456 CPUtime=0.24
/proc/17675/task/17681/stat : 17681 (java) S 17673 17675 17178 0 -1 64 392 0 0 0 23 1 0 0 15 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17682] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17682/stat : 17682 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17683] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17683/stat : 17683 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915456
[startup+6.27008 s]
/proc/loadavg: 1.93 1.98 1.94 3/100 17683
/proc/meminfo: memFree=1340912/2055920 swapFree=4192812/4192956
[pid=17675] ppid=17673 vsize=915456 CPUtime=6.19
/proc/17675/stat : 17675 (java) R 17673 17675 17178 0 -1 0 9213 0 1 0 612 7 0 0 25 0 8 0 155709132 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808121 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17675/statm: 228864 8949 2513 14 0 215334 0
[pid=17675/tid=17677] ppid=17673 vsize=915456 CPUtime=0.03
/proc/17675/task/17677/stat : 17677 (java) S 17673 17675 17178 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155709136 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17678] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17678/stat : 17678 (java) S 17673 17675 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155709137 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17679] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17679/stat : 17679 (java) S 17673 17675 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155709137 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17680] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17680/stat : 17680 (java) S 17673 17675 17178 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17681] ppid=17673 vsize=915456 CPUtime=0.24
/proc/17675/task/17681/stat : 17681 (java) S 17673 17675 17178 0 -1 64 392 0 0 0 23 1 0 0 15 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17682] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17682/stat : 17682 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17683] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17683/stat : 17683 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915456
[startup+12.7448 s]
/proc/loadavg: 1.93 1.98 1.94 3/100 17683
/proc/meminfo: memFree=1340848/2055920 swapFree=4192812/4192956
[pid=17675] ppid=17673 vsize=915456 CPUtime=12.6
/proc/17675/stat : 17675 (java) R 17673 17675 17178 0 -1 0 9213 0 1 0 1253 7 0 0 25 0 8 0 155709132 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816199 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17675/statm: 228864 8949 2513 14 0 215334 0
[pid=17675/tid=17677] ppid=17673 vsize=915456 CPUtime=0.03
/proc/17675/task/17677/stat : 17677 (java) S 17673 17675 17178 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155709136 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17678] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17678/stat : 17678 (java) S 17673 17675 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155709137 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17679] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17679/stat : 17679 (java) S 17673 17675 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155709137 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17680] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17680/stat : 17680 (java) S 17673 17675 17178 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17681] ppid=17673 vsize=915456 CPUtime=0.24
/proc/17675/task/17681/stat : 17681 (java) S 17673 17675 17178 0 -1 64 392 0 0 0 23 1 0 0 15 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17682] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17682/stat : 17682 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17683] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17683/stat : 17683 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915456
[startup+25.6171 s]
/proc/loadavg: 1.95 1.98 1.94 3/100 17683
/proc/meminfo: memFree=1340912/2055920 swapFree=4192812/4192956
[pid=17675] ppid=17673 vsize=915456 CPUtime=25.36
/proc/17675/stat : 17675 (java) R 17673 17675 17178 0 -1 0 9213 0 1 0 2529 7 0 0 25 0 8 0 155709132 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17675/statm: 228864 8949 2513 14 0 215334 0
[pid=17675/tid=17677] ppid=17673 vsize=915456 CPUtime=0.03
/proc/17675/task/17677/stat : 17677 (java) S 17673 17675 17178 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155709136 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17678] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17678/stat : 17678 (java) S 17673 17675 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155709137 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17679] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17679/stat : 17679 (java) S 17673 17675 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155709137 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17680] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17680/stat : 17680 (java) S 17673 17675 17178 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17681] ppid=17673 vsize=915456 CPUtime=0.25
/proc/17675/task/17681/stat : 17681 (java) S 17673 17675 17178 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17682] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17682/stat : 17682 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17683] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17683/stat : 17683 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915456
[startup+51.2278 s]
/proc/loadavg: 1.96 1.98 1.94 3/100 17683
/proc/meminfo: memFree=1341040/2055920 swapFree=4192812/4192956
[pid=17675] ppid=17673 vsize=915456 CPUtime=50.73
/proc/17675/stat : 17675 (java) R 17673 17675 17178 0 -1 0 9214 0 1 0 5066 7 0 0 25 0 8 0 155709132 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17675/statm: 228864 8949 2513 14 0 215334 0
[pid=17675/tid=17677] ppid=17673 vsize=915456 CPUtime=0.03
/proc/17675/task/17677/stat : 17677 (java) S 17673 17675 17178 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155709136 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17678] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17678/stat : 17678 (java) S 17673 17675 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155709137 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17679] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17679/stat : 17679 (java) S 17673 17675 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155709137 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17680] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17680/stat : 17680 (java) S 17673 17675 17178 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17681] ppid=17673 vsize=915456 CPUtime=0.25
/proc/17675/task/17681/stat : 17681 (java) S 17673 17675 17178 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17682] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17682/stat : 17682 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17683] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17683/stat : 17683 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915456
[startup+102.448 s]
/proc/loadavg: 1.98 1.98 1.94 3/100 17683
/proc/meminfo: memFree=1341040/2055920 swapFree=4192812/4192956
[pid=17675] ppid=17673 vsize=915456 CPUtime=101.49
/proc/17675/stat : 17675 (java) R 17673 17675 17178 0 -1 0 9214 0 1 0 10141 8 0 0 25 0 8 0 155709132 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807437 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17675/statm: 228864 8949 2513 14 0 215334 0
[pid=17675/tid=17677] ppid=17673 vsize=915456 CPUtime=0.03
/proc/17675/task/17677/stat : 17677 (java) S 17673 17675 17178 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155709136 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17678] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17678/stat : 17678 (java) S 17673 17675 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155709137 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17679] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17679/stat : 17679 (java) S 17673 17675 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155709137 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17680] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17680/stat : 17680 (java) S 17673 17675 17178 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17681] ppid=17673 vsize=915456 CPUtime=0.25
/proc/17675/task/17681/stat : 17681 (java) S 17673 17675 17178 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17682] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17682/stat : 17682 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17683] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17683/stat : 17683 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155709140 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915456
[startup+162.509 s]
/proc/loadavg: 1.99 1.98 1.94 3/100 17683
/proc/meminfo: memFree=1341040/2055920 swapFree=4192812/4192956
[pid=17675] ppid=17673 vsize=915456 CPUtime=161
/proc/17675/stat : 17675 (java) R 17673 17675 17178 0 -1 0 9214 0 1 0 16092 8 0 0 25 0 8 0 155709132 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814821 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416
Current children cumulated vsize (KiB) 915456
[startup+1483.28 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 17973
/proc/meminfo: memFree=1242024/2055920 swapFree=4192812/4192956
[pid=17675] ppid=17673 vsize=915456 CPUtime=1475.96
/proc/17675/stat : 17675 (java) R 17673 17675 17178 0 -1 0 9216 0 1 0 147566 30 0 0 25 0 8 0 155709132 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808121 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17675/statm: 228864 8951 2513 14 0 215334 0
[pid=17675/tid=17677] ppid=17673 vsize=915456 CPUtime=0.03
/proc/17675/task/17677/stat : 17677 (java) S 17673 17675 17178 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155709136 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17678] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17678/stat : 17678 (java) S 17673 17675 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155709137 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17679] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17679/stat : 17679 (java) S 17673 17675 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155709137 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17680] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17680/stat : 17680 (java) S 17673 17675 17178 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17681] ppid=17673 vsize=915456 CPUtime=0.25
/proc/17675/task/17681/stat : 17681 (java) S 17673 17675 17178 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17675/tid=17682] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17682/stat : 17682 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17683] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17683/stat : 17683 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.96
Current children cumulated vsize (KiB) 915456
[startup+1543.29 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 17973
/proc/meminfo: memFree=1242024/2055920 swapFree=4192812/4192956
[pid=17675] ppid=17673 vsize=915456 CPUtime=1535.91
/proc/17675/stat : 17675 (java) R 17673 17675 17178 0 -1 0 9216 0 1 0 153561 30 0 0 25 0 8 0 155709132 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17675/statm: 228864 8951 2513 14 0 215334 0
[pid=17675/tid=17677] ppid=17673 vsize=915456 CPUtime=0.03
/proc/17675/task/17677/stat : 17677 (java) S 17673 17675 17178 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155709136 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17678] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17678/stat : 17678 (java) S 17673 17675 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155709137 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17679] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17679/stat : 17679 (java) S 17673 17675 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155709137 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17680] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17680/stat : 17680 (java) S 17673 17675 17178 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17681] ppid=17673 vsize=915456 CPUtime=0.25
/proc/17675/task/17681/stat : 17681 (java) S 17673 17675 17178 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17675/tid=17682] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17682/stat : 17682 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17683] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17683/stat : 17683 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.91
Current children cumulated vsize (KiB) 915456
[startup+1603.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 17973
/proc/meminfo: memFree=1241960/2055920 swapFree=4192812/4192956
[pid=17675] ppid=17673 vsize=915456 CPUtime=1595.85
/proc/17675/stat : 17675 (java) R 17673 17675 17178 0 -1 0 9216 0 1 0 159555 30 0 0 25 0 8 0 155709132 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17675/statm: 228864 8951 2513 14 0 215334 0
[pid=17675/tid=17677] ppid=17673 vsize=915456 CPUtime=0.03
/proc/17675/task/17677/stat : 17677 (java) S 17673 17675 17178 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155709136 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17678] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17678/stat : 17678 (java) S 17673 17675 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155709137 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17679] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17679/stat : 17679 (java) S 17673 17675 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155709137 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17680] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17680/stat : 17680 (java) S 17673 17675 17178 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17681] ppid=17673 vsize=915456 CPUtime=0.25
/proc/17675/task/17681/stat : 17681 (java) S 17673 17675 17178 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17675/tid=17682] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17682/stat : 17682 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17683] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17683/stat : 17683 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.85
Current children cumulated vsize (KiB) 915456
[startup+1663.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 17973
/proc/meminfo: memFree=1242024/2055920 swapFree=4192812/4192956
[pid=17675] ppid=17673 vsize=915456 CPUtime=1655.79
/proc/17675/stat : 17675 (java) R 17673 17675 17178 0 -1 0 9216 0 1 0 165549 30 0 0 25 0 8 0 155709132 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808008 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17675/statm: 228864 8951 2513 14 0 215334 0
[pid=17675/tid=17677] ppid=17673 vsize=915456 CPUtime=0.03
/proc/17675/task/17677/stat : 17677 (java) S 17673 17675 17178 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155709136 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17678] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17678/stat : 17678 (java) S 17673 17675 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155709137 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17679] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17679/stat : 17679 (java) S 17673 17675 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155709137 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17680] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17680/stat : 17680 (java) S 17673 17675 17178 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17681] ppid=17673 vsize=915456 CPUtime=0.25
/proc/17675/task/17681/stat : 17681 (java) S 17673 17675 17178 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17675/tid=17682] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17682/stat : 17682 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17683] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17683/stat : 17683 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.79
Current children cumulated vsize (KiB) 915456
[startup+1723.32 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 17973
/proc/meminfo: memFree=1241960/2055920 swapFree=4192812/4192956
[pid=17675] ppid=17673 vsize=915456 CPUtime=1715.75
/proc/17675/stat : 17675 (java) R 17673 17675 17178 0 -1 0 9216 0 1 0 171545 30 0 0 25 0 8 0 155709132 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807985 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17675/statm: 228864 8951 2513 14 0 215334 0
[pid=17675/tid=17677] ppid=17673 vsize=915456 CPUtime=0.03
/proc/17675/task/17677/stat : 17677 (java) S 17673 17675 17178 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155709136 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17678] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17678/stat : 17678 (java) S 17673 17675 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155709137 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17679] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17679/stat : 17679 (java) S 17673 17675 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155709137 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17680] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17680/stat : 17680 (java) S 17673 17675 17178 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17681] ppid=17673 vsize=915456 CPUtime=0.25
/proc/17675/task/17681/stat : 17681 (java) S 17673 17675 17178 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17675/tid=17682] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17682/stat : 17682 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17683] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17683/stat : 17683 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.75
Current children cumulated vsize (KiB) 915456
[startup+1783.33 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 17973
/proc/meminfo: memFree=1242024/2055920 swapFree=4192812/4192956
[pid=17675] ppid=17673 vsize=915456 CPUtime=1775.69
/proc/17675/stat : 17675 (java) R 17673 17675 17178 0 -1 0 9216 0 1 0 177538 31 0 0 25 0 8 0 155709132 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17675/statm: 228864 8951 2513 14 0 215334 0
[pid=17675/tid=17677] ppid=17673 vsize=915456 CPUtime=0.03
/proc/17675/task/17677/stat : 17677 (java) S 17673 17675 17178 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155709136 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17678] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17678/stat : 17678 (java) S 17673 17675 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155709137 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17679] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17679/stat : 17679 (java) S 17673 17675 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155709137 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17680] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17680/stat : 17680 (java) S 17673 17675 17178 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17681] ppid=17673 vsize=915456 CPUtime=0.25
/proc/17675/task/17681/stat : 17681 (java) S 17673 17675 17178 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17675/tid=17682] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17682/stat : 17682 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17683] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17683/stat : 17683 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.69
Current children cumulated vsize (KiB) 915456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.72 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 17973
/proc/meminfo: memFree=1241960/2055920 swapFree=4192812/4192956
[pid=17675] ppid=17673 vsize=915456 CPUtime=1800.08
/proc/17675/stat : 17675 (java) R 17673 17675 17178 0 -1 0 9216 0 1 0 179977 31 0 0 25 0 8 0 155709132 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817877 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17675/statm: 228864 8951 2513 14 0 215334 0
[pid=17675/tid=17677] ppid=17673 vsize=915456 CPUtime=0.03
/proc/17675/task/17677/stat : 17677 (java) S 17673 17675 17178 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155709136 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17678] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17678/stat : 17678 (java) S 17673 17675 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155709137 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17679] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17679/stat : 17679 (java) S 17673 17675 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155709137 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17680] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17680/stat : 17680 (java) S 17673 17675 17178 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17681] ppid=17673 vsize=915456 CPUtime=0.25
/proc/17675/task/17681/stat : 17681 (java) S 17673 17675 17178 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17675/tid=17682] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17682/stat : 17682 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17675/tid=17683] ppid=17673 vsize=915456 CPUtime=0
/proc/17675/task/17683/stat : 17683 (java) S 17673 17675 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155709140 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1807.77
CPU time (s): 1800.12
CPU user time (s): 1799.8
CPU system time (s): 0.317951
CPU usage (%): 99.5768
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.317951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9234
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37640
involuntary context switches= 63374
runsolver used 2.51262 s user time and 5.49916 s system time
The end
Begin job on node7 on Sat Jan 6 08:45:37 UTC 2007
IDJOB= 203615
IDBENCH= 3972
FILE ID= node7/203615-1168073136
PBS_JOBID= 3475711
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-27/rand-27-27-351-163-62021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203615-1168073136/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-203615-1168073136 -o ROOT/results/node7/solver-203615-1168073136 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203615-1168073136/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 06a6ade40c9d83081f8b20faf4526d46
RANDOM SEED= 44225365
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.220
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.220
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: 1367496 kB
Buffers: 78596 kB
Cached: 413792 kB
SwapCached: 0 kB
Active: 343488 kB
Inactive: 241992 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1367496 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2004 kB
Writeback: 0 kB
Mapped: 121180 kB
Slab: 87488 kB
Committed_AS: 5043184 kB
PageTables: 2476 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= 66541 MiB
End job on node7 on Sat Jan 6 09:15:46 UTC 2007