0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=mac.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/238548-1168083434/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=112 nbDomainTypes=4 minDomainSize=1 maxDomainSize=28
0.39 => wckTime=0.105 cpuTime=0.1 mem=6M951
0.39
0.39 relations being loaded...
0.41
0.41 constraints being loaded...
0.59 nbConstraints=1261 nbRelationTypes=9 nbSingletonDomainVariables=3 nbDisconnectedVariables=1
0.59 nbExtensionStructures=9 nbSharedExtensionStructures=1252 nbConflictsStructures=9
0.59 nbSharedConflictsStructures=1252 nbSharedBinaryRepresentations=204 maxDegree=56 maxArity=2
0.59 => wckTime=0.304 cpuTime=0.22 mem=11M860
0.63
0.63 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.497 cpuTime=0.34 mem=15M66
0.81
0.81 preprocessing
0.81 nbConstraintChecks=50517 nbPropagations=134 nbRevisions=2136 nbUselessRevisions=1968 nbRemovedValues=280
0.81 detectedInconsistency=no
0.81 => wckTime=0.022 cpuTime=0.01 mem=15M66
0.87
0.87 search
0.87 run=0 nbConstraintChecks=389022 nbPropagations=1310 nbRevisions=19863 nbUselessRevisions=18224
0.87 nbAssignments=37 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=10
0.87 nbInferences=1 nbTooLargeKeys=0
0.87 => wckTime=0.085 cpuTime=0.06 mem=15M66
0.90
0.90 search
0.90 run=1 nbConstraintChecks=722460 nbPropagations=3573 nbRevisions=54793 nbUselessRevisions=50379
0.90 nbAssignments=79 nbFailedAssignments=13 nbBacktracks=26 nbVisitedNodes=108 nbRestartNogoods=2 mapSize=24
0.90 nbInferences=2 nbTooLargeKeys=0
0.90 => wckTime=0.111 cpuTime=0.08 mem=15M66
0.93
0.93 search
0.93 run=2 nbConstraintChecks=1218891 nbPropagations=7409 nbRevisions=112559 nbUselessRevisions=103399
0.93 nbAssignments=140 nbFailedAssignments=26 nbBacktracks=52 nbVisitedNodes=198 nbRestartNogoods=3 mapSize=47
0.93 nbInferences=7 nbTooLargeKeys=0
0.93 => wckTime=0.143 cpuTime=0.11 mem=15M66
0.96
0.96 search
0.96 run=3 nbConstraintChecks=1651870 nbPropagations=12450 nbRevisions=190103 nbUselessRevisions=174840
0.96 nbAssignments=216 nbFailedAssignments=46 nbBacktracks=87 nbVisitedNodes=318 nbRestartNogoods=4 mapSize=82
0.96 nbInferences=11 nbTooLargeKeys=0
0.96 => wckTime=0.17 cpuTime=0.14 mem=15M66
1.01
1.01 search
1.01 run=4 nbConstraintChecks=2409144 nbPropagations=20028 nbRevisions=303390 nbUselessRevisions=278681
1.01 nbAssignments=335 nbFailedAssignments=85 nbBacktracks=137 nbVisitedNodes=511 nbRestartNogoods=5 mapSize=127
1.01 nbInferences=21 nbTooLargeKeys=0
1.01 => wckTime=0.219 cpuTime=0.18 mem=15M66
1.06
1.06 search
1.06 run=5 nbConstraintChecks=3288712 nbPropagations=30681 nbRevisions=458250 nbUselessRevisions=420154
1.06 nbAssignments=481 nbFailedAssignments=124 nbBacktracks=212 nbVisitedNodes=740 nbRestartNogoods=10 mapSize=183
1.06 nbInferences=33 nbTooLargeKeys=0
1.06 => wckTime=0.275 cpuTime=0.24 mem=15M66
1.15
1.15 search
1.15 run=6 nbConstraintChecks=4704174 nbPropagations=46808 nbRevisions=681701 nbUselessRevisions=622939
1.15 nbAssignments=715 nbFailedAssignments=191 nbBacktracks=325 nbVisitedNodes=1124 nbRestartNogoods=16 mapSize=267
1.15 nbInferences=65 nbTooLargeKeys=0
1.15 => wckTime=0.364 cpuTime=0.32 mem=15M66
1.26
1.26 search
1.26 run=7 nbConstraintChecks=6370181 nbPropagations=69718 nbRevisions=986221 nbUselessRevisions=898564
1.26 nbAssignments=1039 nbFailedAssignments=279 nbBacktracks=497 nbVisitedNodes=1664 nbRestartNogoods=22
1.26 mapSize=404 nbInferences=113 nbTooLargeKeys=0
1.26 => wckTime=0.47 cpuTime=0.43 mem=15M66
1.45
1.45 search
1.45 run=8 nbConstraintChecks=9326789 nbPropagations=103595 nbRevisions=1433608 nbUselessRevisions=1302473
1.45 nbAssignments=1562 nbFailedAssignments=445 nbBacktracks=755 nbVisitedNodes=2551 nbRestartNogoods=25
1.45 mapSize=639 nbInferences=192 nbTooLargeKeys=0
1.45 => wckTime=0.66 cpuTime=0.6 mem=15M66
1.64
1.64 search
1.64 run=9 nbConstraintChecks=12575469 nbPropagations=149884 nbRevisions=2039029 nbUselessRevisions=1848976
1.64 nbAssignments=2233 nbFailedAssignments=653 nbBacktracks=1141 nbVisitedNodes=3664 nbRestartNogoods=30
1.64 mapSize=973 nbInferences=248 nbTooLargeKeys=0
1.64 => wckTime=0.85 cpuTime=0.78 mem=16M41
1.95
1.95 search
1.95 run=10 nbConstraintChecks=18016883 nbPropagations=217914 nbRevisions=2910434 nbUselessRevisions=2633967
1.95 nbAssignments=3256 nbFailedAssignments=1024 nbBacktracks=1718 nbVisitedNodes=5387 nbRestartNogoods=35
1.95 mapSize=1462 nbInferences=304 nbTooLargeKeys=0
1.95 => wckTime=1.161 cpuTime=1.09 mem=16M41
2.34
2.34 search
2.34 run=11 nbConstraintChecks=24966827 nbPropagations=313258 nbRevisions=4124992 nbUselessRevisions=3728736
2.34 nbAssignments=4877 nbFailedAssignments=1470 nbBacktracks=2583 nbVisitedNodes=8037 nbRestartNogoods=43
2.34 mapSize=2120 nbInferences=587 nbTooLargeKeys=0
2.34 => wckTime=1.554 cpuTime=1.48 mem=16M41
3.09
3.09 search
3.09 run=12 nbConstraintChecks=38407097 nbPropagations=465951 nbRevisions=5996529 nbUselessRevisions=5410327
3.09 nbAssignments=7362 nbFailedAssignments=2130 nbBacktracks=3880 nbVisitedNodes=12107 nbRestartNogoods=49
3.09 mapSize=3119 nbInferences=1086 nbTooLargeKeys=0
3.09 => wckTime=2.304 cpuTime=2.23 mem=17M16
3.82
3.82 search
3.82 run=13 nbConstraintChecks=51213486 nbPropagations=666385 nbRevisions=8499534 nbUselessRevisions=7665951
3.82 nbAssignments=10671 nbFailedAssignments=2899 nbBacktracks=5827 nbVisitedNodes=17368 nbRestartNogoods=54
3.82 mapSize=4462 nbInferences=1656 nbTooLargeKeys=0
3.82 => wckTime=3.032 cpuTime=2.95 mem=17M16
4.75
4.75 search
4.75 run=14 nbConstraintChecks=66579180 nbPropagations=905808 nbRevisions=11740409 nbUselessRevisions=10615312
4.75 nbAssignments=15775 nbFailedAssignments=4183 nbBacktracks=8749 nbVisitedNodes=25718 nbRestartNogoods=66
4.75 mapSize=6724 nbInferences=2532 nbTooLargeKeys=0
4.75 => wckTime=3.961 cpuTime=3.88 mem=17M991
6.95
6.95 search
6.95 run=15 nbConstraintChecks=104295071 nbPropagations=1300928 nbRevisions=16867005 nbUselessRevisions=15253139
6.95 nbAssignments=23788 nbFailedAssignments=6595 nbBacktracks=13127 nbVisitedNodes=38971 nbRestartNogoods=71
6.95 mapSize=9901 nbInferences=3734 nbTooLargeKeys=0
6.95 => wckTime=6.159 cpuTime=6.08 mem=19M942
10.24
10.24 search
10.24 run=16 nbConstraintChecks=159496771 nbPropagations=1906985 nbRevisions=24712673 nbUselessRevisions=22355405
10.24 nbAssignments=36249 nbFailedAssignments=9280 nbBacktracks=19698 nbVisitedNodes=59427 nbRestartNogoods=77
10.24 mapSize=14806 nbInferences=6919 nbTooLargeKeys=0
10.24 => wckTime=9.457 cpuTime=9.38 mem=22M867
15.50
15.50 search
15.50 run=17 nbConstraintChecks=249766102 nbPropagations=2905004 nbRevisions=37043102 nbUselessRevisions=33472199
15.50 nbAssignments=53766 nbFailedAssignments=12952 nbBacktracks=29550 nbVisitedNodes=87350 nbRestartNogoods=86
15.50 mapSize=22102 nbInferences=10889 nbTooLargeKeys=0
15.50 => wckTime=14.717 cpuTime=14.63 mem=25M793
20.37
20.37 search
20.37 run=18 nbConstraintChecks=330488276 nbPropagations=4205766 nbRevisions=53376333 nbUselessRevisions=48242227
20.37 nbAssignments=78088 nbFailedAssignments=16843 nbBacktracks=44330 nbVisitedNodes=124139 nbRestartNogoods=93
20.37 mapSize=30915 nbInferences=16521 nbTooLargeKeys=0
20.37 => wckTime=19.58 cpuTime=19.49 mem=31M644
28.90
28.90 search
28.90 run=19 nbConstraintChecks=473057082 nbPropagations=6034094 nbRevisions=76703509 nbUselessRevisions=69371201
28.90 nbAssignments=116523 nbFailedAssignments=23749 nbBacktracks=66501 nbVisitedNodes=184543 nbRestartNogoods=109
28.90 mapSize=46101 nbInferences=25857 nbTooLargeKeys=0
28.90 => wckTime=28.111 cpuTime=28.02 mem=39M445
42.12
42.12 search
42.12 run=20 nbConstraintChecks=693444943 nbPropagations=8615184 nbRevisions=110829412 nbUselessRevisions=100441586
42.12 nbAssignments=176676 nbFailedAssignments=35352 nbBacktracks=99754 nbVisitedNodes=281028 nbRestartNogoods=115
42.12 mapSize=68959 nbInferences=41135 nbTooLargeKeys=0
42.12 => wckTime=41.338 cpuTime=41.12 mem=23M473
64.99
64.99 search
64.99 run=21 nbConstraintChecks=1072023090 nbPropagations=12656890 nbRevisions=163747803 nbUselessRevisions=148558195
64.99 nbAssignments=271230 nbFailedAssignments=52368 nbBacktracks=149634 nbVisitedNodes=433077 nbRestartNogoods=123
64.99 mapSize=105363 nbInferences=68762 nbTooLargeKeys=0
64.99 => wckTime=64.201 cpuTime=63.97 mem=43M421
96.62
96.62 search
96.62 run=22 nbConstraintChecks=1608657046 nbPropagations=18818273 nbRevisions=243025883 nbUselessRevisions=220616526
96.62 nbAssignments=406249 nbFailedAssignments=66722 nbBacktracks=224457 nbVisitedNodes=638855 nbRestartNogoods=136
96.62 mapSize=152504 nbInferences=114588 nbTooLargeKeys=0
96.62 => wckTime=95.836 cpuTime=95.39 mem=48M383
137.77
137.77 search
137.77 run=23 nbConstraintChecks=2294120993 nbPropagations=27754443 nbRevisions=356359604 nbUselessRevisions=323597351
137.77 nbAssignments=598269 nbFailedAssignments=89250 nbBacktracks=336684 nbVisitedNodes=928890 nbRestartNogoods=140
137.77 mapSize=224581 nbInferences=171826 nbTooLargeKeys=0
137.77 => wckTime=136.985 cpuTime=136.5 mem=92M203
199.13
199.13 search
199.13 run=24 nbConstraintChecks=3306607975 nbPropagations=39694932 nbRevisions=518671409 nbUselessRevisions=472372172
199.13 nbAssignments=925291 nbFailedAssignments=132374 nbBacktracks=505025 nbVisitedNodes=1448485 nbRestartNogoods=156
199.13 mapSize=341962 nbInferences=287358 nbTooLargeKeys=0
199.13 => wckTime=198.344 cpuTime=197.49 mem=109M232
313.28
313.28 search
313.28 run=25 nbConstraintChecks=5262437870 nbPropagations=59601672 nbRevisions=777187938 nbUselessRevisions=708117506
313.28 nbAssignments=1366069 nbFailedAssignments=195533 nbBacktracks=757536 nbVisitedNodes=2126687
313.28 nbRestartNogoods=174 mapSize=500718 nbInferences=412446 nbTooLargeKeys=0
313.28 => wckTime=312.494 cpuTime=311.17 mem=160M184
516.73
516.73 search
516.73 run=26 nbConstraintChecks=8729261783 nbPropagations=91011550 nbRevisions=1202211446
516.73 nbUselessRevisions=1097279531 nbAssignments=2186834 nbFailedAssignments=313039 nbBacktracks=1136306
516.73 nbVisitedNodes=3481467 nbRestartNogoods=189 mapSize=824871 nbInferences=736911 nbTooLargeKeys=0
516.73 => wckTime=515.943 cpuTime=513.67 mem=250M488
926.73
926.73 search
926.73 run=27 nbConstraintChecks=15958487311 nbPropagations=152661403 nbRevisions=1980389328
926.73 nbUselessRevisions=1803430280 nbAssignments=3350161 nbFailedAssignments=536135 nbBacktracks=1704459
926.73 nbVisitedNodes=5391851 nbRestartNogoods=199 mapSize=1264225 nbInferences=1108970 nbTooLargeKeys=0
926.73 => wckTime=925.947 cpuTime=922.35 mem=382M53
1353.52
1353.52 INFO : Stopping hyperNogood (mapSize=1893530, nbTooLargekeys=0, mem=600M411)
1371.16
1371.16 search
1371.16 run=28 nbConstraintChecks=23482096612 nbPropagations=237448883 nbRevisions=3121301523
1371.16 nbUselessRevisions=2847547209 nbAssignments=5214557 nbFailedAssignments=787702 nbBacktracks=2556685
1371.16 nbVisitedNodes=8466595 nbRestartNogoods=203
1371.16 => wckTime=1370.373 cpuTime=1364.85 mem=600M411
1644.04
1644.04 search
1644.04 run=29 nbConstraintChecks=28164378458 nbPropagations=337580497 nbRevisions=4496506470
1644.04 nbUselessRevisions=4106528120 nbAssignments=6986920 nbFailedAssignments=1281705 nbBacktracks=3835026
1644.04 nbVisitedNodes=11167532 nbRestartNogoods=226
1644.04 => wckTime=1643.256 cpuTime=1637.41 mem=600M411
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-238548-1168083434 -o ROOT/results/node48/solver-238548-1168083434 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238548-1168083434/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.25 1.49 1.64 4/80 1460
/proc/meminfo: memFree=1579072/2055920 swapFree=4192812/4192956
[pid=1459] ppid=1457 vsize=1788 CPUtime=0
/proc/1459/stat : 1459 (java) R 1457 1459 1392 0 -1 0 368 0 0 0 0 0 0 0 18 0 1 0 156742400 1830912 158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/1459/statm: 446 158 123 14 0 91 0
[startup+0.106518 s]
/proc/loadavg: 1.25 1.49 1.64 4/80 1460
/proc/meminfo: memFree=1579072/2055920 swapFree=4192812/4192956
[pid=1459] ppid=1457 vsize=914988 CPUtime=0.09
/proc/1459/stat : 1459 (java) R 1457 1459 1392 0 -1 0 3123 0 1 0 8 1 0 0 24 0 8 0 156742400 936947712 2869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1459/statm: 228747 2869 1470 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514556 s]
/proc/loadavg: 1.25 1.49 1.64 4/80 1460
/proc/meminfo: memFree=1579072/2055920 swapFree=4192812/4192956
[pid=1459] ppid=1457 vsize=915328 CPUtime=0.5
/proc/1459/stat : 1459 (java) R 1457 1459 1392 0 -1 0 6665 0 1 0 46 4 0 0 25 0 8 0 156742400 937295872 6404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1459/statm: 228832 6404 2142 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33563 s]
/proc/loadavg: 1.25 1.49 1.64 3/87 1467
/proc/meminfo: memFree=1555136/2055920 swapFree=4192812/4192956
[pid=1459] ppid=1457 vsize=915552 CPUtime=1.32
/proc/1459/stat : 1459 (java) R 1457 1459 1392 0 -1 0 8750 0 1 0 126 6 0 0 25 0 8 0 156742400 937525248 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073892959 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1459/statm: 228888 8488 2513 14 0 215358 0
[pid=1459/tid=1461] ppid=1457 vsize=915552 CPUtime=0.03
/proc/1459/task/1461/stat : 1461 (java) S 1457 1459 1392 0 -1 64 300 0 0 0 3 0 0 0 16 0 8 0 156742403 937525248 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1462/stat : 1462 (java) S 1457 1459 1392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1463/stat : 1463 (java) S 1457 1459 1392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156742404 937525248 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1464/stat : 1464 (java) S 1457 1459 1392 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156742407 937525248 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=915552 CPUtime=0.21
/proc/1459/task/1465/stat : 1465 (java) S 1457 1459 1392 0 -1 64 390 0 0 0 20 1 0 0 15 0 8 0 156742407 937525248 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1466/stat : 1466 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742407 937525248 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1467] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1467/stat : 1467 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156742407 937525248 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915552
[startup+2.97278 s]
/proc/loadavg: 1.31 1.49 1.64 3/87 1467
/proc/meminfo: memFree=1554304/2055920 swapFree=4192812/4192956
[pid=1459] ppid=1457 vsize=915552 CPUtime=2.95
/proc/1459/stat : 1459 (java) R 1457 1459 1392 0 -1 0 9034 0 1 0 289 6 0 0 25 0 8 0 156742400 937525248 8770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852299 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1459/statm: 228888 8770 2513 14 0 215358 0
[pid=1459/tid=1461] ppid=1457 vsize=915552 CPUtime=0.03
/proc/1459/task/1461/stat : 1461 (java) S 1457 1459 1392 0 -1 64 300 0 0 0 3 0 0 0 17 0 8 0 156742403 937525248 8770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1462/stat : 1462 (java) S 1457 1459 1392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 8770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1463/stat : 1463 (java) S 1457 1459 1392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156742404 937525248 8770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1464/stat : 1464 (java) S 1457 1459 1392 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156742407 937525248 8770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=915552 CPUtime=0.24
/proc/1459/task/1465/stat : 1465 (java) S 1457 1459 1392 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 156742407 937525248 8770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1466/stat : 1466 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742407 937525248 8770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1467] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1467/stat : 1467 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156742407 937525248 8770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915552
[startup+6.26708 s]
/proc/loadavg: 1.31 1.49 1.64 3/87 1467
/proc/meminfo: memFree=1551424/2055920 swapFree=4192812/4192956
[pid=1459] ppid=1457 vsize=915552 CPUtime=6.25
/proc/1459/stat : 1459 (java) R 1457 1459 1392 0 -1 0 9721 0 1 0 618 7 0 0 25 0 8 0 156742400 937525248 9456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856679 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1459/statm: 228888 9456 2513 14 0 215358 0
[pid=1459/tid=1461] ppid=1457 vsize=915552 CPUtime=0.03
/proc/1459/task/1461/stat : 1461 (java) S 1457 1459 1392 0 -1 64 300 0 0 0 3 0 0 0 16 0 8 0 156742403 937525248 9456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1462/stat : 1462 (java) S 1457 1459 1392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 9456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1463/stat : 1463 (java) S 1457 1459 1392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156742404 937525248 9456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1464/stat : 1464 (java) S 1457 1459 1392 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156742407 937525248 9456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=915552 CPUtime=0.24
/proc/1459/task/1465/stat : 1465 (java) S 1457 1459 1392 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156742407 937525248 9456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1466/stat : 1466 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742407 937525248 9456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1467] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1467/stat : 1467 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156742407 937525248 9456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915552
[startup+12.7387 s]
/proc/loadavg: 1.42 1.51 1.65 3/87 1467
/proc/meminfo: memFree=1546568/2055920 swapFree=4192812/4192956
[pid=1459] ppid=1457 vsize=915552 CPUtime=12.72
/proc/1459/stat : 1459 (java) R 1457 1459 1392 0 -1 0 10907 0 1 0 1264 8 0 0 25 0 8 0 156742400 937525248 10642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834470 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1459/statm: 228888 10642 2513 14 0 215358 0
[pid=1459/tid=1461] ppid=1457 vsize=915552 CPUtime=0.03
/proc/1459/task/1461/stat : 1461 (java) S 1457 1459 1392 0 -1 64 300 0 0 0 3 0 0 0 16 0 8 0 156742403 937525248 10642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1462/stat : 1462 (java) S 1457 1459 1392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 10642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1463/stat : 1463 (java) S 1457 1459 1392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156742404 937525248 10642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1464/stat : 1464 (java) S 1457 1459 1392 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156742407 937525248 10642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=915552 CPUtime=0.24
/proc/1459/task/1465/stat : 1465 (java) S 1457 1459 1392 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156742407 937525248 10642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1466/stat : 1466 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742407 937525248 10642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1467] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1467/stat : 1467 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156742407 937525248 10642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915552
[startup+25.6059 s]
/proc/loadavg: 1.51 1.53 1.65 3/87 1467
/proc/meminfo: memFree=1535112/2055920 swapFree=4192812/4192956
[pid=1459] ppid=1457 vsize=915552 CPUtime=25.59
/proc/1459/stat : 1459 (java) R 1457 1459 1392 0 -1 0 13933 0 1 0 2549 10 0 0 25 0 8 0 156742400 937525248 13668 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852231 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1459/statm: 228888 13668 2513 14 0 215358 0
[pid=1459/tid=1461] ppid=1457 vsize=915552 CPUtime=0.03
/proc/1459/task/1461/stat : 1461 (java) S 1457 1459 1392 0 -1 64 300 0 0 0 3 0 0 0 16 0 8 0 156742403 937525248 13668 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1462/stat : 1462 (java) S 1457 1459 1392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 13668 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1463/stat : 1463 (java) S 1457 1459 1392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156742404 937525248 13668 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1464/stat : 1464 (java) S 1457 1459 1392 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156742407 937525248 13668 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=915552 CPUtime=0.24
/proc/1459/task/1465/stat : 1465 (java) S 1457 1459 1392 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156742407 937525248 13668 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1466/stat : 1466 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742407 937525248 13668 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1467] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1467/stat : 1467 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156742407 937525248 13668 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 915552
[startup+51.2072 s]
/proc/loadavg: 1.67 1.56 1.66 3/87 1467
/proc/meminfo: memFree=1501960/2055920 swapFree=4192812/4192956
[pid=1459] ppid=1457 vsize=915552 CPUtime=51.15
/proc/1459/stat : 1459 (java) R 1457 1459 1392 0 -1 0 22032 0 1 0 5102 13 0 0 25 0 8 0 156742400 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850650 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1459/statm: 228888 21766 2517 14 0 215358 0
[pid=1459/tid=1461] ppid=1457 vsize=915552 CPUtime=0.13
/proc/1459/task/1461/stat : 1461 (java) S 1457 1459 1392 0 -1 64 5033 0 0 0 12 1 0 0 16 0 8 0 156742403 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1462/stat : 1462 (java) S 1457 1459 1392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1463/stat : 1463 (java) S 1457 1459 1392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1464/stat : 1464 (java) S 1457 1459 1392 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156742407 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=915552 CPUtime=0.24
/proc/1459/task/1465/stat : 1465 (java) S 1457 1459 1392 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156742407 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1466/stat : 1466 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742407 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1467] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1467/stat : 1467 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156742407 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 915552
[startup+102.506 s]
/proc/loadavg: 1.87 1.63 1.67 3/87 1467
/proc/meminfo: memFree=1473480/2055920 swapFree=4192812/4192956
[pid=1459] ppid=1457 vsize=915552 CPUtime=102.4
/proc/1459/stat : 1459 (java) R 1457 1459 1392 0 -1 0 29133 0 1 0 10225 15 0 0 25 0 8 0 156742400 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852674 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1459/statm: 228888 28866 2517 14 0 215358 0
[pid=1459/tid=1461] ppid=1457 vsize=915552 CPUtime=0.3
/proc/1459/task/1461/stat : 1461 (java) S 1457 1459 1392 0 -1 64 12132 0 0 0 27 3 0 0 16 0 8 0 156742403 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1462/stat : 1462 (java) S 1457 1459 1392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1463/stat : 1463 (java) S 1457 1459 1392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1464/stat : 1464 (java) S 1457 1459 1392 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156742407 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=915552 CPUtime=0.24
/proc/1459/task/1465/stat : 1465 (java) S 1457 1459 1392 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156742407 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1466/stat : 1466 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742407 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1467] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1467/stat : 1467 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156742407 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.4
Current children cumulated vsize (KiB) 915552
[startup+162.551 s]
/proc/loadavg: 1.95 1.70 1.69 3/87 1467
/proc/meminfo: memFree=1449928/2055920 swapFree=4192812/4192956
[pid=1459] ppid=1457 vsize=915552 CPUtime=162.39
/proc/1459/stat : 1459 (java) R 1457 1459 1392 0 -1 0 34854 0 1 0 16223 16 0 0 25 0 8 0 156742400 937525248 34586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862496 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.61
Current children cumulated vsize (KiB) 915552
[startup+1484.07 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 1617
/proc/meminfo: memFree=962176/2055920 swapFree=4192812/4192956
[pid=1459] ppid=1457 vsize=915552 CPUtime=1482.59
/proc/1459/stat : 1459 (java) R 1457 1459 1392 0 -1 0 154977 0 1 0 148190 69 0 0 25 0 8 0 156742400 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1459/statm: 228888 154688 2517 14 0 215358 0
[pid=1459/tid=1461] ppid=1457 vsize=915552 CPUtime=4.17
/proc/1459/task/1461/stat : 1461 (java) S 1457 1459 1392 0 -1 64 137954 0 0 0 369 48 0 0 16 0 8 0 156742403 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1462/stat : 1462 (java) S 1457 1459 1392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1463/stat : 1463 (java) S 1457 1459 1392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1464/stat : 1464 (java) S 1457 1459 1392 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156742407 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=915552 CPUtime=0.24
/proc/1459/task/1465/stat : 1465 (java) S 1457 1459 1392 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156742407 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1466/stat : 1466 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742407 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1467] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1467/stat : 1467 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156742407 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.59
Current children cumulated vsize (KiB) 915552
[startup+1544.15 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 1665
/proc/meminfo: memFree=963088/2055920 swapFree=4192812/4192956
[pid=1459] ppid=1457 vsize=915552 CPUtime=1542.6
/proc/1459/stat : 1459 (java) R 1457 1459 1392 0 -1 0 154977 0 1 0 154189 71 0 0 25 0 8 0 156742400 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838462 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1459/statm: 228888 154688 2517 14 0 215358 0
[pid=1459/tid=1461] ppid=1457 vsize=915552 CPUtime=4.17
/proc/1459/task/1461/stat : 1461 (java) S 1457 1459 1392 0 -1 64 137954 0 0 0 369 48 0 0 16 0 8 0 156742403 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1462/stat : 1462 (java) S 1457 1459 1392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1463/stat : 1463 (java) S 1457 1459 1392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1464/stat : 1464 (java) S 1457 1459 1392 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156742407 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=915552 CPUtime=0.24
/proc/1459/task/1465/stat : 1465 (java) S 1457 1459 1392 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156742407 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1466/stat : 1466 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742407 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1467] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1467/stat : 1467 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156742407 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.6
Current children cumulated vsize (KiB) 915552
[startup+1604.21 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 1665
/proc/meminfo: memFree=963024/2055920 swapFree=4192812/4192956
[pid=1459] ppid=1457 vsize=915552 CPUtime=1602.62
/proc/1459/stat : 1459 (java) R 1457 1459 1392 0 -1 0 154977 0 1 0 160191 71 0 0 25 0 8 0 156742400 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1459/statm: 228888 154688 2517 14 0 215358 0
[pid=1459/tid=1461] ppid=1457 vsize=915552 CPUtime=4.17
/proc/1459/task/1461/stat : 1461 (java) S 1457 1459 1392 0 -1 64 137954 0 0 0 369 48 0 0 16 0 8 0 156742403 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1462/stat : 1462 (java) S 1457 1459 1392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1463/stat : 1463 (java) S 1457 1459 1392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1464/stat : 1464 (java) S 1457 1459 1392 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156742407 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=915552 CPUtime=0.24
/proc/1459/task/1465/stat : 1465 (java) S 1457 1459 1392 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156742407 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1466/stat : 1466 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742407 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1467] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1467/stat : 1467 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156742407 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.62
Current children cumulated vsize (KiB) 915552
[startup+1664.28 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 1665
/proc/meminfo: memFree=962704/2055920 swapFree=4192812/4192956
[pid=1459] ppid=1457 vsize=915552 CPUtime=1662.61
/proc/1459/stat : 1459 (java) R 1457 1459 1392 0 -1 0 154977 0 1 0 166190 71 0 0 25 0 8 0 156742400 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838480 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1459/statm: 228888 154688 2517 14 0 215358 0
[pid=1459/tid=1461] ppid=1457 vsize=915552 CPUtime=4.17
/proc/1459/task/1461/stat : 1461 (java) S 1457 1459 1392 0 -1 64 137954 0 0 0 369 48 0 0 16 0 8 0 156742403 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1462/stat : 1462 (java) S 1457 1459 1392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1463/stat : 1463 (java) S 1457 1459 1392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1464/stat : 1464 (java) S 1457 1459 1392 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156742407 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=915552 CPUtime=0.24
/proc/1459/task/1465/stat : 1465 (java) S 1457 1459 1392 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156742407 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1466/stat : 1466 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742407 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1467] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1467/stat : 1467 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156742407 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.61
Current children cumulated vsize (KiB) 915552
[startup+1724.33 s]
/proc/loadavg: 1.72 1.93 1.89 2/75 1714
/proc/meminfo: memFree=1009968/2055920 swapFree=4192812/4192956
[pid=1459] ppid=1457 vsize=915552 CPUtime=1722.61
/proc/1459/stat : 1459 (java) R 1457 1459 1392 0 -1 0 154978 0 1 0 172189 72 0 0 25 0 8 0 156742400 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834315 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1459/statm: 228888 154689 2517 14 0 215358 0
[pid=1459/tid=1461] ppid=1457 vsize=915552 CPUtime=4.17
/proc/1459/task/1461/stat : 1461 (java) S 1457 1459 1392 0 -1 64 137954 0 0 0 369 48 0 0 16 0 8 0 156742403 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1462/stat : 1462 (java) S 1457 1459 1392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1463/stat : 1463 (java) S 1457 1459 1392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1464/stat : 1464 (java) S 1457 1459 1392 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156742407 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=915552 CPUtime=0.24
/proc/1459/task/1465/stat : 1465 (java) S 1457 1459 1392 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 156742407 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1466/stat : 1466 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742407 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1467] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1467/stat : 1467 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156742407 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.61
Current children cumulated vsize (KiB) 915552
[startup+1784.42 s]
/proc/loadavg: 1.89 1.94 1.89 3/87 1727
/proc/meminfo: memFree=973648/2055920 swapFree=4192812/4192956
[pid=1459] ppid=1457 vsize=915552 CPUtime=1782.66
/proc/1459/stat : 1459 (java) R 1457 1459 1392 0 -1 0 154978 0 1 0 178193 73 0 0 25 0 8 0 156742400 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855671 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1459/statm: 228888 154689 2517 14 0 215358 0
[pid=1459/tid=1461] ppid=1457 vsize=915552 CPUtime=4.17
/proc/1459/task/1461/stat : 1461 (java) S 1457 1459 1392 0 -1 64 137954 0 0 0 369 48 0 0 16 0 8 0 156742403 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1462/stat : 1462 (java) S 1457 1459 1392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1463/stat : 1463 (java) S 1457 1459 1392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1464/stat : 1464 (java) S 1457 1459 1392 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156742407 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=915552 CPUtime=0.24
/proc/1459/task/1465/stat : 1465 (java) S 1457 1459 1392 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 156742407 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1466/stat : 1466 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742407 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1467] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1467/stat : 1467 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156742407 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.66
Current children cumulated vsize (KiB) 915552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.81 s]
/proc/loadavg: 1.92 1.95 1.90 3/87 1727
/proc/meminfo: memFree=973648/2055920 swapFree=4192812/4192956
[pid=1459] ppid=1457 vsize=915552 CPUtime=1800.02
/proc/1459/stat : 1459 (java) R 1457 1459 1392 0 -1 0 154978 0 1 0 179929 73 0 0 25 0 8 0 156742400 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838585 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1459/statm: 228888 154689 2517 14 0 215358 0
[pid=1459/tid=1461] ppid=1457 vsize=915552 CPUtime=4.17
/proc/1459/task/1461/stat : 1461 (java) S 1457 1459 1392 0 -1 64 137954 0 0 0 369 48 0 0 16 0 8 0 156742403 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1462/stat : 1462 (java) S 1457 1459 1392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1463/stat : 1463 (java) S 1457 1459 1392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156742404 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1464/stat : 1464 (java) S 1457 1459 1392 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156742407 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=915552 CPUtime=0.24
/proc/1459/task/1465/stat : 1465 (java) S 1457 1459 1392 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 156742407 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1466/stat : 1466 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742407 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1459/tid=1467] ppid=1457 vsize=915552 CPUtime=0
/proc/1459/task/1467/stat : 1467 (java) S 1457 1459 1392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156742407 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.94
CPU time (s): 1800.15
CPU user time (s): 1799.32
CPU system time (s): 0.823874
CPU usage (%): 99.9005
Max. virtual memory (cumulated for all children) (KiB): 915552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.823874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154997
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= 37821
involuntary context switches= 66430
runsolver used 2.14567 s user time and 5.70013 s system time
The end
Begin job on node48 on Sat Jan 6 11:37:15 UTC 2007
IDJOB= 238548
IDBENCH= 7008
FILE ID= node48/238548-1168083434
PBS_JOBID= 3476287
Free space on /tmp= 66558 MiB
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-7/BlackHole-4-7-h-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238548-1168083434/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-238548-1168083434 -o ROOT/results/node48/solver-238548-1168083434 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238548-1168083434/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a3400228f5dae93139f3ed32875e5613
RANDOM SEED= 956330254
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.218
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.218
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: 1579552 kB
Buffers: 32136 kB
Cached: 308068 kB
SwapCached: 0 kB
Active: 114760 kB
Inactive: 288500 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1579552 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2028 kB
Writeback: 0 kB
Mapped: 83248 kB
Slab: 58304 kB
Committed_AS: 3985512 kB
PageTables: 1876 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= 66558 MiB
End job on node48 on Sat Jan 6 12:07:26 UTC 2007