0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/203093-1168072832/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.42 => wckTime=0.106 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.57
1.57 constraints being loaded...
2.32 nbConstraints=91 nbRelationTypes=93 nbMergedConstraints=2 nbExtensionStructures=91
2.32 nbSharedExtensionStructures=0 nbConflictsStructures=91 nbSharedConflictsStructures=0
2.32 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
2.32 => wckTime=2.003 cpuTime=1.61 mem=57M36
2.48
2.48 solver IterativeSystematicSolver being built...
2.64 => wckTime=2.324 cpuTime=1.75 mem=65M77
2.65
2.65 preprocessing
2.65 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.65 detectedInconsistency=no
2.65 => wckTime=0.0040 cpuTime=0.0 mem=65M77
2.82
2.82 search
2.82 run=0 nbConstraintChecks=56635 nbValidityChecks=102249 nbPropagations=523 nbRevisions=6082
2.82 nbUselessRevisions=4768 nbAssignments=39 nbFailedAssignments=21 nbBacktracks=10 nbVisitedNodes=70
2.82 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.82 => wckTime=0.175 cpuTime=0.13 mem=65M77
2.96
2.96 search
2.96 run=1 nbConstraintChecks=133017 nbValidityChecks=236492 nbPropagations=1601 nbRevisions=19119
2.96 nbUselessRevisions=15099 nbAssignments=82 nbFailedAssignments=43 nbBacktracks=25 nbVisitedNodes=145
2.96 nbRestartNogoods=5 mapSize=23 nbInferences=0 nbTooLargeKeys=0
2.96 => wckTime=0.317 cpuTime=0.26 mem=65M77
3.14
3.14 search
3.14 run=2 nbConstraintChecks=232341 nbValidityChecks=420711 nbPropagations=3491 nbRevisions=42754
3.14 nbUselessRevisions=34009 nbAssignments=139 nbFailedAssignments=69 nbBacktracks=47 nbVisitedNodes=246
3.14 nbRestartNogoods=7 mapSize=43 nbInferences=0 nbTooLargeKeys=0
3.14 => wckTime=0.498 cpuTime=0.44 mem=65M77
3.33
3.33 search
3.33 run=3 nbConstraintChecks=342307 nbValidityChecks=633618 nbPropagations=6352 nbRevisions=78489
3.33 nbUselessRevisions=62545 nbAssignments=216 nbFailedAssignments=108 nbBacktracks=80 nbVisitedNodes=381
3.33 nbRestartNogoods=19 mapSize=68 nbInferences=0 nbTooLargeKeys=0
3.33 => wckTime=0.682 cpuTime=0.62 mem=65M77
3.68
3.68 search
3.68 run=4 nbConstraintChecks=559534 nbValidityChecks=1033637 nbPropagations=10860 nbRevisions=134717
3.68 nbUselessRevisions=107013 nbAssignments=348 nbFailedAssignments=181 nbBacktracks=132 nbVisitedNodes=620
3.68 nbRestartNogoods=21 mapSize=112 nbInferences=0 nbTooLargeKeys=0
3.68 => wckTime=1.037 cpuTime=0.97 mem=66M69
4.08
4.08 search
4.08 run=5 nbConstraintChecks=790839 nbValidityChecks=1489518 nbPropagations=17612 nbRevisions=218832
4.08 nbUselessRevisions=173725 nbAssignments=521 nbFailedAssignments=273 nbBacktracks=207 nbVisitedNodes=938
4.08 nbRestartNogoods=30 mapSize=180 nbInferences=0 nbTooLargeKeys=0
4.08 => wckTime=1.436 cpuTime=1.36 mem=66M69
4.66
4.66 search
4.66 run=6 nbConstraintChecks=1142806 nbValidityChecks=2182088 nbPropagations=27803 nbRevisions=342961
4.66 nbUselessRevisions=272232 nbAssignments=800 nbFailedAssignments=431 nbBacktracks=321 nbVisitedNodes=1439
4.66 nbRestartNogoods=36 mapSize=275 nbInferences=0 nbTooLargeKeys=0
4.66 => wckTime=2.013 cpuTime=1.92 mem=66M69
5.61
5.61 search
5.61 run=7 nbConstraintChecks=1714100 nbValidityChecks=3351877 nbPropagations=44061 nbRevisions=540513
5.61 nbUselessRevisions=428934 nbAssignments=1255 nbFailedAssignments=709 nbBacktracks=491 nbVisitedNodes=2293
5.61 nbRestartNogoods=41 mapSize=432 nbInferences=0 nbTooLargeKeys=0
5.61 => wckTime=2.968 cpuTime=2.87 mem=66M69
7.15
7.15 search
7.15 run=8 nbConstraintChecks=2629530 nbValidityChecks=5125088 nbPropagations=68275 nbRevisions=836996
7.15 nbUselessRevisions=663769 nbAssignments=1839 nbFailedAssignments=1031 nbBacktracks=747 nbVisitedNodes=3349
7.15 nbRestartNogoods=48 mapSize=653 nbInferences=0 nbTooLargeKeys=0
7.15 => wckTime=4.506 cpuTime=4.37 mem=66M69
9.85
9.85 search
9.85 run=9 nbConstraintChecks=4300690 nbValidityChecks=8324987 nbPropagations=106068 nbRevisions=1309962
9.85 nbUselessRevisions=1036125 nbAssignments=2913 nbFailedAssignments=1715 nbBacktracks=1131 nbVisitedNodes=5377
9.85 nbRestartNogoods=58 mapSize=986 nbInferences=0 nbTooLargeKeys=0
9.85 => wckTime=7.2 cpuTime=7.03 mem=66M69
9.97
9.97 INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=66M69)
13.46
13.46 search
13.46 run=10 nbConstraintChecks=6491912 nbValidityChecks=12654092 nbPropagations=163602 nbRevisions=2023434
13.46 nbUselessRevisions=1599480 nbAssignments=4340 nbFailedAssignments=2559 nbBacktracks=1708 nbVisitedNodes=8046
13.46 nbRestartNogoods=74
13.46 => wckTime=10.813 cpuTime=10.6 mem=66M69
18.17
18.17 search
18.17 run=11 nbConstraintChecks=9385296 nbValidityChecks=18481164 nbPropagations=250535 nbRevisions=3088671
18.17 nbUselessRevisions=2439794 nbAssignments=6430 nbFailedAssignments=3778 nbBacktracks=2573 nbVisitedNodes=11957
18.17 nbRestartNogoods=81
18.17 => wckTime=15.524 cpuTime=15.26 mem=66M69
25.45
25.45 search
25.45 run=12 nbConstraintChecks=13928217 nbValidityChecks=27268771 nbPropagations=377751 nbRevisions=4653187
25.45 nbUselessRevisions=3675102 nbAssignments=9353 nbFailedAssignments=5397 nbBacktracks=3870 nbVisitedNodes=17252
25.45 nbRestartNogoods=94
25.45 => wckTime=22.802 cpuTime=22.47 mem=66M69
39.39
39.39 search
39.39 run=13 nbConstraintChecks=22586602 nbValidityChecks=44429188 nbPropagations=581138 nbRevisions=7208659
39.39 nbUselessRevisions=5675784 nbAssignments=15324 nbFailedAssignments=9415 nbBacktracks=5818 nbVisitedNodes=28697
39.39 nbRestartNogoods=101
39.39 => wckTime=36.74 cpuTime=36.29 mem=66M69
56.02
56.02 search
56.02 run=14 nbConstraintChecks=32799866 nbValidityChecks=65290544 nbPropagations=886370 nbRevisions=10991474
56.02 nbUselessRevisions=8646988 nbAssignments=22824 nbFailedAssignments=13990 nbBacktracks=8737 nbVisitedNodes=42704
56.02 nbRestartNogoods=106
56.02 => wckTime=53.377 cpuTime=52.77 mem=66M69
81.96
81.96 search
81.96 run=15 nbConstraintChecks=48863030 nbValidityChecks=96429288 nbPropagations=1334930 nbRevisions=16540855
81.96 nbUselessRevisions=13009108 nbAssignments=32921 nbFailedAssignments=19701 nbBacktracks=13116
81.96 nbVisitedNodes=61169 nbRestartNogoods=115
81.96 => wckTime=79.311 cpuTime=78.47 mem=66M69
122.00
122.00 search
122.00 run=16 nbConstraintChecks=73415020 nbValidityChecks=146536827 nbPropagations=2025886 nbRevisions=25119481
122.00 nbUselessRevisions=19744110 nbAssignments=50698 nbFailedAssignments=30903 nbBacktracks=19684
122.00 nbVisitedNodes=94972 nbRestartNogoods=131
122.00 => wckTime=119.353 cpuTime=118.14 mem=66M69
174.79
174.79 search
174.79 run=17 nbConstraintChecks=105807400 nbValidityChecks=212840561 nbPropagations=3047151 nbRevisions=37652520
174.79 nbUselessRevisions=29602797 nbAssignments=75138 nbFailedAssignments=45483 nbBacktracks=29538
174.79 nbVisitedNodes=140536 nbRestartNogoods=143
174.79 => wckTime=172.142 cpuTime=170.44 mem=66M69
258.79
258.79 search
258.79 run=18 nbConstraintChecks=157726256 nbValidityChecks=313331941 nbPropagations=4537113 nbRevisions=55944872
258.79 nbUselessRevisions=44002850 nbAssignments=108305 nbFailedAssignments=63867 nbBacktracks=44316
258.79 nbVisitedNodes=201086 nbRestartNogoods=155
258.79 => wckTime=256.147 cpuTime=253.67 mem=66M69
399.31
399.31 search
399.31 run=19 nbConstraintChecks=244057918 nbValidityChecks=487880196 nbPropagations=6847378 nbRevisions=84564330
399.31 nbUselessRevisions=66457739 nbAssignments=169671 nbFailedAssignments=103058 nbBacktracks=66484
399.31 nbVisitedNodes=317471 nbRestartNogoods=170
399.31 => wckTime=396.66 cpuTime=392.89 mem=66M69
604.49
604.49 search
604.49 run=20 nbConstraintChecks=373871412 nbValidityChecks=743627233 nbPropagations=10288184 nbRevisions=127283712
604.49 nbUselessRevisions=100165720 nbAssignments=264775 nbFailedAssignments=164904 nbBacktracks=99736
604.49 nbVisitedNodes=495963 nbRestartNogoods=190
604.49 => wckTime=601.845 cpuTime=596.19 mem=66M69
876.27
876.27 search
876.27 run=21 nbConstraintChecks=543496520 nbValidityChecks=1080862776 nbPropagations=15398954 nbRevisions=190299134
876.27 nbUselessRevisions=149883799 nbAssignments=390227 nbFailedAssignments=240470 nbBacktracks=149615
876.27 nbVisitedNodes=729258 nbRestartNogoods=215
876.27 => wckTime=873.628 cpuTime=865.47 mem=66M69
1317.68
1317.68 search
1317.68 run=22 nbConstraintChecks=819281154 nbValidityChecks=1629520038 nbPropagations=23072933 nbRevisions=285642286
1317.68 nbUselessRevisions=225014752 nbAssignments=590068 nbFailedAssignments=365487 nbBacktracks=224434
1317.68 nbVisitedNodes=1103381 nbRestartNogoods=234
1317.68 => wckTime=1315.035 cpuTime=1304.36 mem=66M69
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-203093-1168072832 -o ROOT/results/node12/solver-203093-1168072832 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203093-1168072832/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.91 1.83 1.85 4/93 20284
/proc/meminfo: memFree=1062000/2055920 swapFree=4160348/4192956
[pid=20283] ppid=20281 vsize=18540 CPUtime=0
/proc/20283/stat : 20283 (runsolver) R 20281 20283 20104 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155678305 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20283/statm: 4635 279 244 17 0 2626 0
[startup+0.108007 s]
/proc/loadavg: 1.91 1.83 1.85 4/93 20284
/proc/meminfo: memFree=1062000/2055920 swapFree=4160348/4192956
[pid=20283] ppid=20281 vsize=914988 CPUtime=0.09
/proc/20283/stat : 20283 (java) R 20281 20283 20104 0 -1 0 2996 0 1 0 7 2 0 0 17 0 8 0 155678305 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072932851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20283/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516079 s]
/proc/loadavg: 1.91 1.83 1.85 4/93 20284
/proc/meminfo: memFree=1062000/2055920 swapFree=4160348/4192956
[pid=20283] ppid=20281 vsize=915328 CPUtime=0.49
/proc/20283/stat : 20283 (java) R 20281 20283 20104 0 -1 0 7472 0 1 0 44 5 0 0 18 0 8 0 155678305 937295872 7211 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565672 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20283/statm: 228832 7211 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33723 s]
/proc/loadavg: 2.00 1.85 1.85 3/100 20291
/proc/meminfo: memFree=994936/2055920 swapFree=4160348/4192956
[pid=20283] ppid=20281 vsize=915328 CPUtime=1.3
/proc/20283/stat : 20283 (java) R 20281 20283 20104 0 -1 0 19100 0 1 0 120 10 0 0 25 0 8 0 155678305 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073553260 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20283/statm: 228832 18838 2149 14 0 215302 0
[pid=20283/tid=20285] ppid=20281 vsize=915328 CPUtime=0.05
/proc/20283/task/20285/stat : 20285 (java) S 20281 20283 20104 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 155678310 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20286] ppid=20281 vsize=915328 CPUtime=0
/proc/20283/task/20286/stat : 20286 (java) S 20281 20283 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678310 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20287] ppid=20281 vsize=915328 CPUtime=0
/proc/20283/task/20287/stat : 20287 (java) S 20281 20283 20104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155678310 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20288] ppid=20281 vsize=915328 CPUtime=0
/proc/20283/task/20288/stat : 20288 (java) S 20281 20283 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155678313 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20289] ppid=20281 vsize=915328 CPUtime=0.07
/proc/20283/task/20289/stat : 20289 (java) S 20281 20283 20104 0 -1 64 309 0 0 0 7 0 0 0 16 0 8 0 155678313 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20290] ppid=20281 vsize=915328 CPUtime=0
/proc/20283/task/20290/stat : 20290 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155678313 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20291] ppid=20281 vsize=915328 CPUtime=0
/proc/20283/task/20291/stat : 20291 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155678313 937295872 18838 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) 915328
[startup+2.98353 s]
/proc/loadavg: 2.00 1.85 1.85 3/100 20291
/proc/meminfo: memFree=954232/2055920 swapFree=4160348/4192956
[pid=20283] ppid=20281 vsize=915440 CPUtime=2.93
/proc/20283/stat : 20283 (java) R 20281 20283 20104 0 -1 0 32429 0 1 0 277 16 0 0 25 0 8 0 155678305 937410560 32163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634791 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20283/statm: 228860 32163 2521 14 0 215330 0
[pid=20283/tid=20285] ppid=20281 vsize=915440 CPUtime=0.43
/proc/20283/task/20285/stat : 20285 (java) S 20281 20283 20104 0 -1 64 15454 0 0 0 38 5 0 0 16 0 8 0 155678310 937410560 32163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20286] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20286/stat : 20286 (java) S 20281 20283 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20287] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20287/stat : 20287 (java) S 20281 20283 20104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20288] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20288/stat : 20288 (java) S 20281 20283 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155678313 937410560 32163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20289] ppid=20281 vsize=915440 CPUtime=0.2
/proc/20283/task/20289/stat : 20289 (java) S 20281 20283 20104 0 -1 64 375 0 0 0 19 1 0 0 15 0 8 0 155678313 937410560 32163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20290] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20290/stat : 20290 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155678313 937410560 32163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20291] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20291/stat : 20291 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155678313 937410560 32163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915440
[startup+6.27612 s]
/proc/loadavg: 2.00 1.85 1.85 3/100 20291
/proc/meminfo: memFree=942904/2055920 swapFree=4160348/4192956
[pid=20283] ppid=20281 vsize=915440 CPUtime=6.2
/proc/20283/stat : 20283 (java) R 20281 20283 20104 0 -1 0 32443 0 1 0 603 17 0 0 25 0 8 0 155678305 937410560 32174 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20283/statm: 228860 32174 2521 14 0 215330 0
[pid=20283/tid=20285] ppid=20281 vsize=915440 CPUtime=0.43
/proc/20283/task/20285/stat : 20285 (java) S 20281 20283 20104 0 -1 64 15454 0 0 0 38 5 0 0 17 0 8 0 155678310 937410560 32174 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20286] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20286/stat : 20286 (java) S 20281 20283 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32174 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20287] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20287/stat : 20287 (java) S 20281 20283 20104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32174 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20288] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20288/stat : 20288 (java) S 20281 20283 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155678313 937410560 32174 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20289] ppid=20281 vsize=915440 CPUtime=0.22
/proc/20283/task/20289/stat : 20289 (java) S 20281 20283 20104 0 -1 64 387 0 0 0 21 1 0 0 15 0 8 0 155678313 937410560 32174 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20290] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20290/stat : 20290 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155678313 937410560 32174 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20291] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20291/stat : 20291 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155678313 937410560 32174 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915440
[startup+12.7633 s]
/proc/loadavg: 2.00 1.85 1.85 3/100 20291
/proc/meminfo: memFree=942840/2055920 swapFree=4160348/4192956
[pid=20283] ppid=20281 vsize=915440 CPUtime=12.62
/proc/20283/stat : 20283 (java) R 20281 20283 20104 0 -1 0 32460 0 1 0 1245 17 0 0 25 0 8 0 155678305 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805629 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20283/statm: 228860 32188 2521 14 0 215330 0
[pid=20283/tid=20285] ppid=20281 vsize=915440 CPUtime=0.43
/proc/20283/task/20285/stat : 20285 (java) S 20281 20283 20104 0 -1 64 15454 0 0 0 38 5 0 0 16 0 8 0 155678310 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20286] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20286/stat : 20286 (java) S 20281 20283 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20287] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20287/stat : 20287 (java) S 20281 20283 20104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20288] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20288/stat : 20288 (java) S 20281 20283 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155678313 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20289] ppid=20281 vsize=915440 CPUtime=0.26
/proc/20283/task/20289/stat : 20289 (java) S 20281 20283 20104 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 155678313 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20290] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20290/stat : 20290 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155678313 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20291] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20291/stat : 20291 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155678313 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915440
[startup+25.6306 s]
/proc/loadavg: 2.00 1.85 1.85 3/100 20291
/proc/meminfo: memFree=942904/2055920 swapFree=4160348/4192956
[pid=20283] ppid=20281 vsize=915440 CPUtime=25.37
/proc/20283/stat : 20283 (java) R 20281 20283 20104 0 -1 0 32460 0 1 0 2520 17 0 0 25 0 8 0 155678305 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20283/statm: 228860 32188 2521 14 0 215330 0
[pid=20283/tid=20285] ppid=20281 vsize=915440 CPUtime=0.43
/proc/20283/task/20285/stat : 20285 (java) S 20281 20283 20104 0 -1 64 15454 0 0 0 38 5 0 0 16 0 8 0 155678310 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20286] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20286/stat : 20286 (java) S 20281 20283 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20287] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20287/stat : 20287 (java) S 20281 20283 20104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20288] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20288/stat : 20288 (java) S 20281 20283 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155678313 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20289] ppid=20281 vsize=915440 CPUtime=0.26
/proc/20283/task/20289/stat : 20289 (java) S 20281 20283 20104 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 155678313 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20290] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20290/stat : 20290 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155678313 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20291] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20291/stat : 20291 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155678313 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915440
[startup+51.2632 s]
/proc/loadavg: 2.00 1.87 1.86 3/100 20291
/proc/meminfo: memFree=942968/2055920 swapFree=4160348/4192956
[pid=20283] ppid=20281 vsize=915440 CPUtime=50.76
/proc/20283/stat : 20283 (java) R 20281 20283 20104 0 -1 0 32460 0 1 0 5059 17 0 0 25 0 8 0 155678305 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20283/statm: 228860 32188 2521 14 0 215330 0
[pid=20283/tid=20285] ppid=20281 vsize=915440 CPUtime=0.43
/proc/20283/task/20285/stat : 20285 (java) S 20281 20283 20104 0 -1 64 15454 0 0 0 38 5 0 0 16 0 8 0 155678310 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20286] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20286/stat : 20286 (java) S 20281 20283 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20287] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20287/stat : 20287 (java) S 20281 20283 20104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20288] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20288/stat : 20288 (java) S 20281 20283 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155678313 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20289] ppid=20281 vsize=915440 CPUtime=0.26
/proc/20283/task/20289/stat : 20289 (java) S 20281 20283 20104 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 155678313 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20290] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20290/stat : 20290 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155678313 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20291] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20291/stat : 20291 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155678313 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915440
[startup+102.523 s]
/proc/loadavg: 2.07 1.90 1.87 3/100 20291
/proc/meminfo: memFree=943032/2055920 swapFree=4160348/4192956
[pid=20283] ppid=20281 vsize=915440 CPUtime=101.55
/proc/20283/stat : 20283 (java) R 20281 20283 20104 0 -1 0 32460 0 1 0 10137 18 0 0 25 0 8 0 155678305 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20283/statm: 228860 32188 2521 14 0 215330 0
[pid=20283/tid=20285] ppid=20281 vsize=915440 CPUtime=0.43
/proc/20283/task/20285/stat : 20285 (java) S 20281 20283 20104 0 -1 64 15454 0 0 0 38 5 0 0 16 0 8 0 155678310 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20286] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20286/stat : 20286 (java) S 20281 20283 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20287] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20287/stat : 20287 (java) S 20281 20283 20104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20288] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20288/stat : 20288 (java) S 20281 20283 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155678313 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20289] ppid=20281 vsize=915440 CPUtime=0.26
/proc/20283/task/20289/stat : 20289 (java) S 20281 20283 20104 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 155678313 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20290] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20290/stat : 20290 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155678313 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20291] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20291/stat : 20291 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155678313 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915440
[startup+162.538 s]
/proc/loadavg: 2.07 1.93 1.88 3/100 20291
/proc/meminfo: memFree=943032/2055920 swapFree=4160348/4192956
[pid=20283] ppid=20281 vsize=915440 CPUtime=161.01
/proc/20283/stat : 20283 (java) R 20281 20283 20104 0 -1 0 32461 0 1 0 16083 18 0 0 25 0 8 0 155678305 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1412.3
Current children cumulated vsize (KiB) 915440
[startup+1483.08 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20547
/proc/meminfo: memFree=1417072/2055920 swapFree=4160348/4192956
[pid=20283] ppid=20281 vsize=915440 CPUtime=1472.38
/proc/20283/stat : 20283 (java) R 20281 20283 20104 0 -1 0 32462 0 1 0 147208 30 0 0 25 0 8 0 155678305 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860848 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20283/statm: 228860 32189 2521 14 0 215330 0
[pid=20283/tid=20285] ppid=20281 vsize=915440 CPUtime=0.43
/proc/20283/task/20285/stat : 20285 (java) S 20281 20283 20104 0 -1 64 15454 0 0 0 38 5 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20286] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20286/stat : 20286 (java) S 20281 20283 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20287] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20287/stat : 20287 (java) S 20281 20283 20104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20288] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20288/stat : 20288 (java) S 20281 20283 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20289] ppid=20281 vsize=915440 CPUtime=0.26
/proc/20283/task/20289/stat : 20289 (java) S 20281 20283 20104 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20290] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20290/stat : 20290 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20291] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20291/stat : 20291 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1472.38
Current children cumulated vsize (KiB) 915440
[startup+1543.17 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20547
/proc/meminfo: memFree=1417072/2055920 swapFree=4160348/4192956
[pid=20283] ppid=20281 vsize=915440 CPUtime=1532.44
/proc/20283/stat : 20283 (java) R 20281 20283 20104 0 -1 0 32462 0 1 0 153214 30 0 0 25 0 8 0 155678305 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20283/statm: 228860 32189 2521 14 0 215330 0
[pid=20283/tid=20285] ppid=20281 vsize=915440 CPUtime=0.43
/proc/20283/task/20285/stat : 20285 (java) S 20281 20283 20104 0 -1 64 15454 0 0 0 38 5 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20286] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20286/stat : 20286 (java) S 20281 20283 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20287] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20287/stat : 20287 (java) S 20281 20283 20104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20288] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20288/stat : 20288 (java) S 20281 20283 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20289] ppid=20281 vsize=915440 CPUtime=0.26
/proc/20283/task/20289/stat : 20289 (java) S 20281 20283 20104 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20290] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20290/stat : 20290 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20291] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20291/stat : 20291 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1532.44
Current children cumulated vsize (KiB) 915440
[startup+1603.25 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20547
/proc/meminfo: memFree=1417072/2055920 swapFree=4160348/4192956
[pid=20283] ppid=20281 vsize=915440 CPUtime=1592.51
/proc/20283/stat : 20283 (java) R 20281 20283 20104 0 -1 0 32462 0 1 0 159220 31 0 0 25 0 8 0 155678305 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20283/statm: 228860 32189 2521 14 0 215330 0
[pid=20283/tid=20285] ppid=20281 vsize=915440 CPUtime=0.43
/proc/20283/task/20285/stat : 20285 (java) S 20281 20283 20104 0 -1 64 15454 0 0 0 38 5 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20286] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20286/stat : 20286 (java) S 20281 20283 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20287] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20287/stat : 20287 (java) S 20281 20283 20104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20288] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20288/stat : 20288 (java) S 20281 20283 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20289] ppid=20281 vsize=915440 CPUtime=0.26
/proc/20283/task/20289/stat : 20289 (java) S 20281 20283 20104 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20290] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20290/stat : 20290 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20291] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20291/stat : 20291 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.51
Current children cumulated vsize (KiB) 915440
[startup+1663.34 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20547
/proc/meminfo: memFree=1417072/2055920 swapFree=4160348/4192956
[pid=20283] ppid=20281 vsize=915440 CPUtime=1652.57
/proc/20283/stat : 20283 (java) R 20281 20283 20104 0 -1 0 32462 0 1 0 165226 31 0 0 25 0 8 0 155678305 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20283/statm: 228860 32189 2521 14 0 215330 0
[pid=20283/tid=20285] ppid=20281 vsize=915440 CPUtime=0.43
/proc/20283/task/20285/stat : 20285 (java) S 20281 20283 20104 0 -1 64 15454 0 0 0 38 5 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20286] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20286/stat : 20286 (java) S 20281 20283 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20287] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20287/stat : 20287 (java) S 20281 20283 20104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20288] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20288/stat : 20288 (java) S 20281 20283 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20289] ppid=20281 vsize=915440 CPUtime=0.26
/proc/20283/task/20289/stat : 20289 (java) S 20281 20283 20104 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20290] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20290/stat : 20290 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20291] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20291/stat : 20291 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.57
Current children cumulated vsize (KiB) 915440
[startup+1723.43 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20547
/proc/meminfo: memFree=1417008/2055920 swapFree=4160348/4192956
[pid=20283] ppid=20281 vsize=915440 CPUtime=1712.64
/proc/20283/stat : 20283 (java) R 20281 20283 20104 0 -1 0 32462 0 1 0 171232 32 0 0 25 0 8 0 155678305 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20283/statm: 228860 32189 2521 14 0 215330 0
[pid=20283/tid=20285] ppid=20281 vsize=915440 CPUtime=0.43
/proc/20283/task/20285/stat : 20285 (java) S 20281 20283 20104 0 -1 64 15454 0 0 0 38 5 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20286] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20286/stat : 20286 (java) S 20281 20283 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20287] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20287/stat : 20287 (java) S 20281 20283 20104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20288] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20288/stat : 20288 (java) S 20281 20283 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20289] ppid=20281 vsize=915440 CPUtime=0.26
/proc/20283/task/20289/stat : 20289 (java) S 20281 20283 20104 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20290] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20290/stat : 20290 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20291] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20291/stat : 20291 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.64
Current children cumulated vsize (KiB) 915440
[startup+1783.52 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20547
/proc/meminfo: memFree=1416944/2055920 swapFree=4160348/4192956
[pid=20283] ppid=20281 vsize=915440 CPUtime=1772.71
/proc/20283/stat : 20283 (java) R 20281 20283 20104 0 -1 0 32462 0 1 0 177239 32 0 0 25 0 8 0 155678305 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808433 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20283/statm: 228860 32189 2521 14 0 215330 0
[pid=20283/tid=20285] ppid=20281 vsize=915440 CPUtime=0.43
/proc/20283/task/20285/stat : 20285 (java) S 20281 20283 20104 0 -1 64 15454 0 0 0 38 5 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20286] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20286/stat : 20286 (java) S 20281 20283 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20287] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20287/stat : 20287 (java) S 20281 20283 20104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20288] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20288/stat : 20288 (java) S 20281 20283 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20289] ppid=20281 vsize=915440 CPUtime=0.26
/proc/20283/task/20289/stat : 20289 (java) S 20281 20283 20104 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20290] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20290/stat : 20290 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20291] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20291/stat : 20291 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.71
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.88 s]
/proc/loadavg: 2.07 2.02 1.93 3/100 20547
/proc/meminfo: memFree=1416944/2055920 swapFree=4160348/4192956
[pid=20283] ppid=20281 vsize=915440 CPUtime=1800.06
/proc/20283/stat : 20283 (java) R 20281 20283 20104 0 -1 0 32462 0 1 0 179974 32 0 0 25 0 8 0 155678305 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629937 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20283/statm: 228860 32189 2521 14 0 215330 0
[pid=20283/tid=20285] ppid=20281 vsize=915440 CPUtime=0.43
/proc/20283/task/20285/stat : 20285 (java) S 20281 20283 20104 0 -1 64 15454 0 0 0 38 5 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20286] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20286/stat : 20286 (java) S 20281 20283 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20287] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20287/stat : 20287 (java) S 20281 20283 20104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155678310 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20288] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20288/stat : 20288 (java) S 20281 20283 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20289] ppid=20281 vsize=915440 CPUtime=0.26
/proc/20283/task/20289/stat : 20289 (java) S 20281 20283 20104 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20290] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20290/stat : 20290 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20283/tid=20291] ppid=20281 vsize=915440 CPUtime=0
/proc/20283/task/20291/stat : 20291 (java) S 20281 20283 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155678313 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1810.93
CPU time (s): 1800.11
CPU user time (s): 1799.76
CPU system time (s): 0.348946
CPU usage (%): 99.4029
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.348946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32479
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= 37779
involuntary context switches= 79843
runsolver used 2.08868 s user time and 5.9331 s system time
The end
Begin job on node12 on Sat Jan 6 08:40:33 UTC 2007
IDJOB= 203093
IDBENCH= 3911
FILE ID= node12/203093-1168072832
PBS_JOBID= 3475754
Free space on /tmp= 66310 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203093-1168072832/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-203093-1168072832 -o ROOT/results/node12/solver-203093-1168072832 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203093-1168072832/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6bc5399f7813104b1e355b00b052f31d
RANDOM SEED= 317783480
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.265
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.265
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: 1062480 kB
Buffers: 28108 kB
Cached: 243764 kB
SwapCached: 4684 kB
Active: 695360 kB
Inactive: 216048 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1062480 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 7504 kB
Writeback: 0 kB
Mapped: 659264 kB
Slab: 65808 kB
Committed_AS: 4720252 kB
PageTables: 3304 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= 66305 MiB
End job on node12 on Sat Jan 6 09:10:44 UTC 2007