0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/238529-1168083434/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.42 nbVariables=112 nbDomainTypes=4 minDomainSize=1 maxDomainSize=28
0.42 => wckTime=0.105 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.44
0.44 constraints being loaded...
0.62 nbConstraints=1261 nbRelationTypes=9 nbSingletonDomainVariables=3 nbDisconnectedVariables=1
0.62 nbExtensionStructures=9 nbSharedExtensionStructures=1252 nbConflictsStructures=9
0.63 nbSharedConflictsStructures=1252 nbSharedBinaryRepresentations=204 maxDegree=56 maxArity=2
0.63 => wckTime=0.311 cpuTime=0.21 mem=11M860
0.67
0.67 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.505 cpuTime=0.35 mem=15M66
0.85
0.85 preprocessing
0.85 nbConstraintChecks=47602 nbPropagations=131 nbRevisions=2021 nbUselessRevisions=1853 nbRemovedValues=280
0.85 detectedInconsistency=no
0.85 => wckTime=0.023 cpuTime=0.01 mem=15M66
0.91
0.91 search
0.91 run=0 nbConstraintChecks=389022 nbPropagations=1307 nbRevisions=19748 nbUselessRevisions=18109
0.91 nbAssignments=37 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=10
0.91 nbInferences=1 nbTooLargeKeys=0
0.91 => wckTime=0.086 cpuTime=0.06 mem=15M66
0.93
0.93 search
0.93 run=1 nbConstraintChecks=722460 nbPropagations=3567 nbRevisions=54563 nbUselessRevisions=50149
0.93 nbAssignments=79 nbFailedAssignments=13 nbBacktracks=26 nbVisitedNodes=108 nbRestartNogoods=2 mapSize=24
0.93 nbInferences=2 nbTooLargeKeys=0
0.93 => wckTime=0.112 cpuTime=0.08 mem=15M66
0.97
0.97 search
0.97 run=2 nbConstraintChecks=1218891 nbPropagations=7400 nbRevisions=112214 nbUselessRevisions=103054
0.97 nbAssignments=140 nbFailedAssignments=26 nbBacktracks=52 nbVisitedNodes=198 nbRestartNogoods=3 mapSize=47
0.97 nbInferences=7 nbTooLargeKeys=0
0.97 => wckTime=0.145 cpuTime=0.11 mem=15M66
0.99
0.99 search
0.99 run=3 nbConstraintChecks=1651870 nbPropagations=12438 nbRevisions=189643 nbUselessRevisions=174380
0.99 nbAssignments=216 nbFailedAssignments=46 nbBacktracks=87 nbVisitedNodes=318 nbRestartNogoods=4 mapSize=82
0.99 nbInferences=11 nbTooLargeKeys=0
0.99 => wckTime=0.172 cpuTime=0.14 mem=15M66
1.04
1.04 search
1.05 run=4 nbConstraintChecks=2409144 nbPropagations=20013 nbRevisions=302815 nbUselessRevisions=278106
1.05 nbAssignments=335 nbFailedAssignments=85 nbBacktracks=137 nbVisitedNodes=511 nbRestartNogoods=5 mapSize=127
1.05 nbInferences=21 nbTooLargeKeys=0
1.05 => wckTime=0.221 cpuTime=0.18 mem=15M66
1.10
1.10 search
1.10 run=5 nbConstraintChecks=3288712 nbPropagations=30663 nbRevisions=457560 nbUselessRevisions=419464
1.10 nbAssignments=481 nbFailedAssignments=124 nbBacktracks=212 nbVisitedNodes=740 nbRestartNogoods=10 mapSize=183
1.10 nbInferences=33 nbTooLargeKeys=0
1.10 => wckTime=0.278 cpuTime=0.24 mem=15M66
1.19
1.19 search
1.19 run=6 nbConstraintChecks=4704174 nbPropagations=46787 nbRevisions=680896 nbUselessRevisions=622134
1.19 nbAssignments=715 nbFailedAssignments=191 nbBacktracks=325 nbVisitedNodes=1124 nbRestartNogoods=16 mapSize=267
1.19 nbInferences=65 nbTooLargeKeys=0
1.19 => wckTime=0.371 cpuTime=0.32 mem=15M66
1.30
1.30 search
1.30 run=7 nbConstraintChecks=6370181 nbPropagations=69694 nbRevisions=985301 nbUselessRevisions=897644
1.30 nbAssignments=1039 nbFailedAssignments=279 nbBacktracks=497 nbVisitedNodes=1664 nbRestartNogoods=22
1.30 mapSize=404 nbInferences=113 nbTooLargeKeys=0
1.30 => wckTime=0.479 cpuTime=0.43 mem=15M66
1.49
1.49 search
1.49 run=8 nbConstraintChecks=9326789 nbPropagations=103568 nbRevisions=1432573 nbUselessRevisions=1301438
1.49 nbAssignments=1562 nbFailedAssignments=445 nbBacktracks=755 nbVisitedNodes=2551 nbRestartNogoods=25
1.49 mapSize=639 nbInferences=192 nbTooLargeKeys=0
1.49 => wckTime=0.67 cpuTime=0.61 mem=15M66
1.69
1.69 search
1.69 run=9 nbConstraintChecks=12575469 nbPropagations=149854 nbRevisions=2037879 nbUselessRevisions=1847826
1.69 nbAssignments=2233 nbFailedAssignments=653 nbBacktracks=1141 nbVisitedNodes=3664 nbRestartNogoods=30
1.69 mapSize=973 nbInferences=248 nbTooLargeKeys=0
1.69 => wckTime=0.867 cpuTime=0.79 mem=16M41
2.00
2.00 search
2.00 run=10 nbConstraintChecks=18016883 nbPropagations=217881 nbRevisions=2909169 nbUselessRevisions=2632702
2.00 nbAssignments=3256 nbFailedAssignments=1024 nbBacktracks=1718 nbVisitedNodes=5387 nbRestartNogoods=35
2.00 mapSize=1462 nbInferences=304 nbTooLargeKeys=0
2.00 => wckTime=1.179 cpuTime=1.09 mem=16M41
2.40
2.40 search
2.40 run=11 nbConstraintChecks=24966827 nbPropagations=313222 nbRevisions=4123612 nbUselessRevisions=3727356
2.40 nbAssignments=4877 nbFailedAssignments=1470 nbBacktracks=2583 nbVisitedNodes=8037 nbRestartNogoods=43
2.40 mapSize=2120 nbInferences=587 nbTooLargeKeys=0
2.40 => wckTime=1.578 cpuTime=1.49 mem=16M41
3.16
3.16 search
3.16 run=12 nbConstraintChecks=38407097 nbPropagations=465912 nbRevisions=5995034 nbUselessRevisions=5408832
3.16 nbAssignments=7362 nbFailedAssignments=2130 nbBacktracks=3880 nbVisitedNodes=12107 nbRestartNogoods=49
3.16 mapSize=3119 nbInferences=1086 nbTooLargeKeys=0
3.16 => wckTime=2.335 cpuTime=2.24 mem=17M16
3.89
3.89 search
3.89 run=13 nbConstraintChecks=51213486 nbPropagations=666343 nbRevisions=8497924 nbUselessRevisions=7664341
3.89 nbAssignments=10671 nbFailedAssignments=2899 nbBacktracks=5827 nbVisitedNodes=17368 nbRestartNogoods=54
3.89 mapSize=4462 nbInferences=1656 nbTooLargeKeys=0
3.89 => wckTime=3.066 cpuTime=2.97 mem=17M16
4.83
4.83 search
4.83 run=14 nbConstraintChecks=66579180 nbPropagations=905763 nbRevisions=11738684 nbUselessRevisions=10613587
4.83 nbAssignments=15775 nbFailedAssignments=4183 nbBacktracks=8749 nbVisitedNodes=25718 nbRestartNogoods=66
4.83 mapSize=6724 nbInferences=2532 nbTooLargeKeys=0
4.83 => wckTime=4.009 cpuTime=3.89 mem=17M991
7.05
7.05 search
7.05 run=15 nbConstraintChecks=104295071 nbPropagations=1300880 nbRevisions=16865165 nbUselessRevisions=15251299
7.05 nbAssignments=23788 nbFailedAssignments=6595 nbBacktracks=13127 nbVisitedNodes=38971 nbRestartNogoods=71
7.05 mapSize=9901 nbInferences=3734 nbTooLargeKeys=0
7.05 => wckTime=6.231 cpuTime=6.1 mem=19M942
10.41
10.41 search
10.41 run=16 nbConstraintChecks=159496771 nbPropagations=1906934 nbRevisions=24710718 nbUselessRevisions=22353450
10.41 nbAssignments=36249 nbFailedAssignments=9280 nbBacktracks=19698 nbVisitedNodes=59427 nbRestartNogoods=77
10.41 mapSize=14806 nbInferences=6919 nbTooLargeKeys=0
10.41 => wckTime=9.585 cpuTime=9.43 mem=22M867
15.78
15.78 search
15.78 run=17 nbConstraintChecks=249766102 nbPropagations=2904950 nbRevisions=37041032 nbUselessRevisions=33470129
15.78 nbAssignments=53766 nbFailedAssignments=12952 nbBacktracks=29550 nbVisitedNodes=87350 nbRestartNogoods=86
15.78 mapSize=22102 nbInferences=10889 nbTooLargeKeys=0
15.78 => wckTime=14.954 cpuTime=14.76 mem=25M793
20.73
20.73 search
20.73 run=18 nbConstraintChecks=330488276 nbPropagations=4205709 nbRevisions=53374148 nbUselessRevisions=48240042
20.73 nbAssignments=78088 nbFailedAssignments=16843 nbBacktracks=44330 nbVisitedNodes=124139 nbRestartNogoods=93
20.73 mapSize=30915 nbInferences=16521 nbTooLargeKeys=0
20.73 => wckTime=19.903 cpuTime=19.67 mem=31M644
29.40
29.40 search
29.40 run=19 nbConstraintChecks=473057082 nbPropagations=6034034 nbRevisions=76701209 nbUselessRevisions=69368901
29.40 nbAssignments=116523 nbFailedAssignments=23749 nbBacktracks=66501 nbVisitedNodes=184543 nbRestartNogoods=109
29.40 mapSize=46101 nbInferences=25857 nbTooLargeKeys=0
29.40 => wckTime=28.575 cpuTime=28.25 mem=39M445
42.85
42.85 search
42.85 run=20 nbConstraintChecks=693444943 nbPropagations=8615121 nbRevisions=110826997 nbUselessRevisions=100439171
42.85 nbAssignments=176676 nbFailedAssignments=35352 nbBacktracks=99754 nbVisitedNodes=281028 nbRestartNogoods=115
42.85 mapSize=68959 nbInferences=41135 nbTooLargeKeys=0
42.85 => wckTime=42.024 cpuTime=41.49 mem=23M473
66.05
66.05 search
66.05 run=21 nbConstraintChecks=1072023090 nbPropagations=12656824 nbRevisions=163745273 nbUselessRevisions=148555665
66.05 nbAssignments=271230 nbFailedAssignments=52368 nbBacktracks=149634 nbVisitedNodes=433077 nbRestartNogoods=123
66.05 mapSize=105363 nbInferences=68762 nbTooLargeKeys=0
66.05 => wckTime=65.224 cpuTime=64.51 mem=43M421
98.22
98.22 search
98.22 run=22 nbConstraintChecks=1608657046 nbPropagations=18818204 nbRevisions=243023238 nbUselessRevisions=220613881
98.22 nbAssignments=406249 nbFailedAssignments=66722 nbBacktracks=224457 nbVisitedNodes=638855 nbRestartNogoods=136
98.22 mapSize=152504 nbInferences=114588 nbTooLargeKeys=0
98.22 => wckTime=97.396 cpuTime=96.24 mem=48M383
140.04
140.04 search
140.04 run=23 nbConstraintChecks=2294120993 nbPropagations=27754371 nbRevisions=356356844 nbUselessRevisions=323594591
140.04 nbAssignments=598269 nbFailedAssignments=89250 nbBacktracks=336684 nbVisitedNodes=928890 nbRestartNogoods=140
140.04 mapSize=224581 nbInferences=171826 nbTooLargeKeys=0
140.04 => wckTime=139.221 cpuTime=137.72 mem=92M203
202.46
202.46 search
202.46 run=24 nbConstraintChecks=3306607975 nbPropagations=39694857 nbRevisions=518668534 nbUselessRevisions=472369297
202.46 nbAssignments=925291 nbFailedAssignments=132374 nbBacktracks=505025 nbVisitedNodes=1448485 nbRestartNogoods=156
202.46 mapSize=341962 nbInferences=287358 nbTooLargeKeys=0
202.46 => wckTime=201.635 cpuTime=199.33 mem=109M232
318.49
318.49 search
318.49 run=25 nbConstraintChecks=5262437870 nbPropagations=59601594 nbRevisions=777184948 nbUselessRevisions=708114516
318.49 nbAssignments=1366069 nbFailedAssignments=195533 nbBacktracks=757536 nbVisitedNodes=2126687
318.49 nbRestartNogoods=174 mapSize=500718 nbInferences=412446 nbTooLargeKeys=0
318.49 => wckTime=317.671 cpuTime=314.03 mem=160M184
525.45
525.45 search
525.45 run=26 nbConstraintChecks=8729261783 nbPropagations=91011469 nbRevisions=1202208341
525.45 nbUselessRevisions=1097276426 nbAssignments=2186834 nbFailedAssignments=313039 nbBacktracks=1136306
525.45 nbVisitedNodes=3481467 nbRestartNogoods=189 mapSize=824871 nbInferences=736911 nbTooLargeKeys=0
525.45 => wckTime=524.626 cpuTime=518.52 mem=250M488
941.90
941.90 search
941.90 run=27 nbConstraintChecks=15958487311 nbPropagations=152661319 nbRevisions=1980386108
941.90 nbUselessRevisions=1803427060 nbAssignments=3350161 nbFailedAssignments=536135 nbBacktracks=1704459
941.90 nbVisitedNodes=5391851 nbRestartNogoods=199 mapSize=1264225 nbInferences=1108970 nbTooLargeKeys=0
941.90 => wckTime=941.075 cpuTime=930.6 mem=382M53
1375.69
1375.69 INFO : Stopping hyperNogood (mapSize=1893530, nbTooLargekeys=0, mem=600M411)
1393.64
1393.64 search
1393.64 run=28 nbConstraintChecks=23482096612 nbPropagations=237448796 nbRevisions=3121298188
1393.64 nbUselessRevisions=2847543874 nbAssignments=5214557 nbFailedAssignments=787702 nbBacktracks=2556685
1393.64 nbVisitedNodes=8466595 nbRestartNogoods=203
1393.64 => wckTime=1392.818 cpuTime=1377.12 mem=600M411
1670.94
1670.95 search
1670.95 run=29 nbConstraintChecks=28164378458 nbPropagations=337580407 nbRevisions=4496503020
1670.95 nbUselessRevisions=4106524670 nbAssignments=6986920 nbFailedAssignments=1281705 nbBacktracks=3835026
1670.95 nbVisitedNodes=11167532 nbRestartNogoods=226
1670.95 => wckTime=1670.123 cpuTime=1651.94 mem=600M411
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-238529-1168083434 -o ROOT/results/node45/solver-238529-1168083434 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238529-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: 0.99 1.35 1.60 2/80 24456
/proc/meminfo: memFree=900128/2055920 swapFree=4184004/4192956
[pid=24455] ppid=24453 vsize=18540 CPUtime=0
/proc/24455/stat : 24455 (runsolver) R 24453 24455 24332 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156742671 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 258939088167 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/24455/statm: 4635 279 244 17 0 2626 0
[startup+0.102215 s]
/proc/loadavg: 0.99 1.35 1.60 2/80 24456
/proc/meminfo: memFree=900128/2055920 swapFree=4184004/4192956
[pid=24455] ppid=24453 vsize=911488 CPUtime=0.06
/proc/24455/stat : 24455 (java) R 24453 24455 24332 0 -1 0 2624 0 1 0 5 1 0 0 23 0 8 0 156742671 933363712 2371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153800985 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24455/statm: 227872 2371 1280 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.51029 s]
/proc/loadavg: 0.99 1.35 1.60 2/80 24456
/proc/meminfo: memFree=900128/2055920 swapFree=4184004/4192956
[pid=24455] ppid=24453 vsize=915328 CPUtime=0.47
/proc/24455/stat : 24455 (java) R 24453 24455 24332 0 -1 0 6365 0 1 0 44 3 0 0 25 0 8 0 156742671 937295872 6104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24455/statm: 228832 6104 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33643 s]
/proc/loadavg: 0.99 1.35 1.60 3/87 24463
/proc/meminfo: memFree=876136/2055920 swapFree=4184004/4192956
[pid=24455] ppid=24453 vsize=915552 CPUtime=1.28
/proc/24455/stat : 24455 (java) R 24453 24455 24332 0 -1 0 8742 0 1 0 123 5 0 0 25 0 8 0 156742671 937525248 8480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851848 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24455/statm: 228888 8480 2513 14 0 215358 0
[pid=24455/tid=24457] ppid=24453 vsize=915552 CPUtime=0.03
/proc/24455/task/24457/stat : 24457 (java) S 24453 24455 24332 0 -1 64 301 0 0 0 3 0 0 0 16 0 8 0 156742676 937525248 8480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24458] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24458/stat : 24458 (java) S 24453 24455 24332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 8480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24459] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24459/stat : 24459 (java) S 24453 24455 24332 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156742676 937525248 8480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24460] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24460/stat : 24460 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156742681 937525248 8480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24461] ppid=24453 vsize=915552 CPUtime=0.19
/proc/24455/task/24461/stat : 24461 (java) S 24453 24455 24332 0 -1 64 387 0 0 0 18 1 0 0 15 0 8 0 156742681 937525248 8480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24462] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24462/stat : 24462 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742681 937525248 8480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24463] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24463/stat : 24463 (java) S 24453 24455 24332 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156742681 937525248 8480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915552
[startup+2.97473 s]
/proc/loadavg: 0.99 1.35 1.60 3/87 24463
/proc/meminfo: memFree=875304/2055920 swapFree=4184004/4192956
[pid=24455] ppid=24453 vsize=915552 CPUtime=2.91
/proc/24455/stat : 24455 (java) R 24453 24455 24332 0 -1 0 9022 0 1 0 285 6 0 0 25 0 8 0 156742671 937525248 8758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850798 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24455/statm: 228888 8758 2513 14 0 215358 0
[pid=24455/tid=24457] ppid=24453 vsize=915552 CPUtime=0.03
/proc/24455/task/24457/stat : 24457 (java) S 24453 24455 24332 0 -1 64 301 0 0 0 3 0 0 0 17 0 8 0 156742676 937525248 8758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24458] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24458/stat : 24458 (java) S 24453 24455 24332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 8758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24459] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24459/stat : 24459 (java) S 24453 24455 24332 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156742676 937525248 8758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24460] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24460/stat : 24460 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156742681 937525248 8758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24461] ppid=24453 vsize=915552 CPUtime=0.22
/proc/24455/task/24461/stat : 24461 (java) S 24453 24455 24332 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 156742681 937525248 8758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24462] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24462/stat : 24462 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742681 937525248 8758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24463] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24463/stat : 24463 (java) S 24453 24455 24332 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156742681 937525248 8758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915552
[startup+6.26933 s]
/proc/loadavg: 1.07 1.36 1.60 3/87 24463
/proc/meminfo: memFree=850600/2055920 swapFree=4184004/4192956
[pid=24455] ppid=24453 vsize=915552 CPUtime=6.18
/proc/24455/stat : 24455 (java) R 24453 24455 24332 0 -1 0 9710 0 1 0 612 6 0 0 25 0 8 0 156742671 937525248 9445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073893646 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24455/statm: 228888 9445 2513 14 0 215358 0
[pid=24455/tid=24457] ppid=24453 vsize=915552 CPUtime=0.03
/proc/24455/task/24457/stat : 24457 (java) S 24453 24455 24332 0 -1 64 301 0 0 0 3 0 0 0 16 0 8 0 156742676 937525248 9445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24458] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24458/stat : 24458 (java) S 24453 24455 24332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 9445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24459] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24459/stat : 24459 (java) S 24453 24455 24332 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156742676 937525248 9445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24460] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24460/stat : 24460 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156742681 937525248 9445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24461] ppid=24453 vsize=915552 CPUtime=0.22
/proc/24455/task/24461/stat : 24461 (java) S 24453 24455 24332 0 -1 64 404 0 0 0 21 1 0 0 16 0 8 0 156742681 937525248 9445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24462] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24462/stat : 24462 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742681 937525248 9445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24463] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24463/stat : 24463 (java) S 24453 24455 24332 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156742681 937525248 9445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915552
[startup+12.7435 s]
/proc/loadavg: 1.14 1.37 1.60 3/87 24463
/proc/meminfo: memFree=820520/2055920 swapFree=4184004/4192956
[pid=24455] ppid=24453 vsize=915552 CPUtime=12.61
/proc/24455/stat : 24455 (java) R 24453 24455 24332 0 -1 0 10874 0 1 0 1254 7 0 0 25 0 8 0 156742671 937525248 10609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848461 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24455/statm: 228888 10609 2513 14 0 215358 0
[pid=24455/tid=24457] ppid=24453 vsize=915552 CPUtime=0.03
/proc/24455/task/24457/stat : 24457 (java) S 24453 24455 24332 0 -1 64 301 0 0 0 3 0 0 0 16 0 8 0 156742676 937525248 10609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24458] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24458/stat : 24458 (java) S 24453 24455 24332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 10609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24459] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24459/stat : 24459 (java) S 24453 24455 24332 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156742676 937525248 10609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24460] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24460/stat : 24460 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156742681 937525248 10609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24461] ppid=24453 vsize=915552 CPUtime=0.22
/proc/24455/task/24461/stat : 24461 (java) S 24453 24455 24332 0 -1 64 404 0 0 0 21 1 0 0 16 0 8 0 156742681 937525248 10609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24462] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24462/stat : 24462 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742681 937525248 10609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24463] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24463/stat : 24463 (java) S 24453 24455 24332 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156742681 937525248 10609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915552
[startup+25.5868 s]
/proc/loadavg: 1.33 1.40 1.61 3/87 24463
/proc/meminfo: memFree=761192/2055920 swapFree=4184004/4192956
[pid=24455] ppid=24453 vsize=915552 CPUtime=25.35
/proc/24455/stat : 24455 (java) R 24453 24455 24332 0 -1 0 13818 0 1 0 2527 8 0 0 25 0 8 0 156742671 937525248 13553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834304 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24455/statm: 228888 13553 2513 14 0 215358 0
[pid=24455/tid=24457] ppid=24453 vsize=915552 CPUtime=0.03
/proc/24455/task/24457/stat : 24457 (java) S 24453 24455 24332 0 -1 64 301 0 0 0 3 0 0 0 16 0 8 0 156742676 937525248 13553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24458] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24458/stat : 24458 (java) S 24453 24455 24332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 13553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24459] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24459/stat : 24459 (java) S 24453 24455 24332 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156742676 937525248 13553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24460] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24460/stat : 24460 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156742681 937525248 13553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24461] ppid=24453 vsize=915552 CPUtime=0.22
/proc/24455/task/24461/stat : 24461 (java) S 24453 24455 24332 0 -1 64 404 0 0 0 21 1 0 0 16 0 8 0 156742681 937525248 13553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24462] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24462/stat : 24462 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742681 937525248 13553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24463] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24463/stat : 24463 (java) S 24453 24455 24332 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156742681 937525248 13553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915552
[startup+51.2835 s]
/proc/loadavg: 1.56 1.45 1.62 3/87 24463
/proc/meminfo: memFree=703464/2055920 swapFree=4184004/4192956
[pid=24455] ppid=24453 vsize=915552 CPUtime=50.83
/proc/24455/stat : 24455 (java) R 24453 24455 24332 0 -1 0 22032 0 1 0 5072 11 0 0 25 0 8 0 156742671 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073858345 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24455/statm: 228888 21766 2517 14 0 215358 0
[pid=24455/tid=24457] ppid=24453 vsize=915552 CPUtime=0.12
/proc/24455/task/24457/stat : 24457 (java) S 24453 24455 24332 0 -1 64 5034 0 0 0 11 1 0 0 16 0 8 0 156742676 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24458] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24458/stat : 24458 (java) S 24453 24455 24332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24459] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24459/stat : 24459 (java) S 24453 24455 24332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24460] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24460/stat : 24460 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156742681 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24461] ppid=24453 vsize=915552 CPUtime=0.22
/proc/24455/task/24461/stat : 24461 (java) S 24453 24455 24332 0 -1 64 404 0 0 0 21 1 0 0 16 0 8 0 156742681 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24462] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24462/stat : 24462 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742681 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24463] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24463/stat : 24463 (java) S 24453 24455 24332 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156742681 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) 50.83
Current children cumulated vsize (KiB) 915552
[startup+102.574 s]
/proc/loadavg: 1.81 1.53 1.64 3/87 24463
/proc/meminfo: memFree=675112/2055920 swapFree=4184004/4192956
[pid=24455] ppid=24453 vsize=915552 CPUtime=101.7
/proc/24455/stat : 24455 (java) R 24453 24455 24332 0 -1 0 29133 0 1 0 10157 13 0 0 25 0 8 0 156742671 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849635 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24455/statm: 228888 28866 2517 14 0 215358 0
[pid=24455/tid=24457] ppid=24453 vsize=915552 CPUtime=0.3
/proc/24455/task/24457/stat : 24457 (java) S 24453 24455 24332 0 -1 64 12133 0 0 0 26 4 0 0 16 0 8 0 156742676 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24458] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24458/stat : 24458 (java) S 24453 24455 24332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24459] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24459/stat : 24459 (java) S 24453 24455 24332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24460] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24460/stat : 24460 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156742681 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24461] ppid=24453 vsize=915552 CPUtime=0.22
/proc/24455/task/24461/stat : 24461 (java) S 24453 24455 24332 0 -1 64 404 0 0 0 21 1 0 0 16 0 8 0 156742681 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24462] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24462/stat : 24462 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742681 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24463] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24463/stat : 24463 (java) S 24453 24455 24332 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156742681 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) 101.7
Current children cumulated vsize (KiB) 915552
[startup+162.595 s]
/proc/loadavg: 1.96 1.63 1.66 3/87 24463
/proc/meminfo: memFree=652136/2055920 swapFree=4184004/4192956
[pid=24455] ppid=24453 vsize=915552 CPUtime=161.25
/proc/24455/stat : 24455 (java) R 24453 24455 24332 0 -1 0 34854 0 1 0 16110 15 0 0 25 0 8 0 156742671 937525248 34586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1411.38
Current children cumulated vsize (KiB) 915552
[startup+1483.12 s]
/proc/loadavg: 2.00 1.99 1.89 3/93 24611
/proc/meminfo: memFree=169072/2055920 swapFree=4184004/4192956
[pid=24455] ppid=24453 vsize=915552 CPUtime=1470.77
/proc/24455/stat : 24455 (java) R 24453 24455 24332 0 -1 0 154977 0 1 0 147012 65 0 0 25 0 8 0 156742671 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838477 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24455/statm: 228888 154688 2517 14 0 215358 0
[pid=24455/tid=24457] ppid=24453 vsize=915552 CPUtime=4.21
/proc/24455/task/24457/stat : 24457 (java) S 24453 24455 24332 0 -1 64 137955 0 0 0 375 46 0 0 16 0 8 0 156742676 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24458] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24458/stat : 24458 (java) S 24453 24455 24332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24459] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24459/stat : 24459 (java) S 24453 24455 24332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24460] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24460/stat : 24460 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156742681 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24461] ppid=24453 vsize=915552 CPUtime=0.22
/proc/24455/task/24461/stat : 24461 (java) S 24453 24455 24332 0 -1 64 404 0 0 0 21 1 0 0 16 0 8 0 156742681 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24462] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24462/stat : 24462 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742681 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24463] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24463/stat : 24463 (java) S 24453 24455 24332 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156742681 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) 1470.77
Current children cumulated vsize (KiB) 915552
[startup+1543.15 s]
/proc/loadavg: 2.00 1.99 1.90 3/87 24661
/proc/meminfo: memFree=170080/2055920 swapFree=4184004/4192956
[pid=24455] ppid=24453 vsize=915552 CPUtime=1530.25
/proc/24455/stat : 24455 (java) R 24453 24455 24332 0 -1 0 154977 0 1 0 152957 68 0 0 25 0 8 0 156742671 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855639 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24455/statm: 228888 154688 2517 14 0 215358 0
[pid=24455/tid=24457] ppid=24453 vsize=915552 CPUtime=4.21
/proc/24455/task/24457/stat : 24457 (java) S 24453 24455 24332 0 -1 64 137955 0 0 0 375 46 0 0 16 0 8 0 156742676 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24458] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24458/stat : 24458 (java) S 24453 24455 24332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24459] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24459/stat : 24459 (java) S 24453 24455 24332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24460] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24460/stat : 24460 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156742681 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24461] ppid=24453 vsize=915552 CPUtime=0.22
/proc/24455/task/24461/stat : 24461 (java) S 24453 24455 24332 0 -1 64 404 0 0 0 21 1 0 0 16 0 8 0 156742681 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24462] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24462/stat : 24462 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742681 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24463] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24463/stat : 24463 (java) S 24453 24455 24332 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156742681 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) 1530.25
Current children cumulated vsize (KiB) 915552
[startup+1603.17 s]
/proc/loadavg: 2.08 2.00 1.91 3/87 24661
/proc/meminfo: memFree=170080/2055920 swapFree=4184004/4192956
[pid=24455] ppid=24453 vsize=915552 CPUtime=1589.78
/proc/24455/stat : 24455 (java) R 24453 24455 24332 0 -1 0 154977 0 1 0 158910 68 0 0 25 0 8 0 156742671 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837636 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24455/statm: 228888 154688 2517 14 0 215358 0
[pid=24455/tid=24457] ppid=24453 vsize=915552 CPUtime=4.21
/proc/24455/task/24457/stat : 24457 (java) S 24453 24455 24332 0 -1 64 137955 0 0 0 375 46 0 0 16 0 8 0 156742676 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24458] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24458/stat : 24458 (java) S 24453 24455 24332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24459] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24459/stat : 24459 (java) S 24453 24455 24332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24460] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24460/stat : 24460 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156742681 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24461] ppid=24453 vsize=915552 CPUtime=0.22
/proc/24455/task/24461/stat : 24461 (java) S 24453 24455 24332 0 -1 64 404 0 0 0 21 1 0 0 16 0 8 0 156742681 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24462] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24462/stat : 24462 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742681 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24463] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24463/stat : 24463 (java) S 24453 24455 24332 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156742681 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) 1589.78
Current children cumulated vsize (KiB) 915552
[startup+1663.2 s]
/proc/loadavg: 2.03 2.00 1.91 3/87 24661
/proc/meminfo: memFree=170144/2055920 swapFree=4184004/4192956
[pid=24455] ppid=24453 vsize=915552 CPUtime=1649.3
/proc/24455/stat : 24455 (java) R 24453 24455 24332 0 -1 0 154977 0 1 0 164862 68 0 0 25 0 8 0 156742671 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838560 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24455/statm: 228888 154688 2517 14 0 215358 0
[pid=24455/tid=24457] ppid=24453 vsize=915552 CPUtime=4.21
/proc/24455/task/24457/stat : 24457 (java) S 24453 24455 24332 0 -1 64 137955 0 0 0 375 46 0 0 16 0 8 0 156742676 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24458] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24458/stat : 24458 (java) S 24453 24455 24332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24459] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24459/stat : 24459 (java) S 24453 24455 24332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24460] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24460/stat : 24460 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156742681 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24461] ppid=24453 vsize=915552 CPUtime=0.22
/proc/24455/task/24461/stat : 24461 (java) S 24453 24455 24332 0 -1 64 404 0 0 0 21 1 0 0 16 0 8 0 156742681 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24462] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24462/stat : 24462 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742681 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24463] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24463/stat : 24463 (java) S 24453 24455 24332 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156742681 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) 1649.3
Current children cumulated vsize (KiB) 915552
[startup+1723.2 s]
/proc/loadavg: 1.72 1.93 1.89 2/75 24708
/proc/meminfo: memFree=784064/2055920 swapFree=4184004/4192956
[pid=24455] ppid=24453 vsize=915552 CPUtime=1708.94
/proc/24455/stat : 24455 (java) R 24453 24455 24332 0 -1 0 154977 0 1 0 170825 69 0 0 25 0 8 0 156742671 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24455/statm: 228888 154688 2517 14 0 215358 0
[pid=24455/tid=24457] ppid=24453 vsize=915552 CPUtime=4.21
/proc/24455/task/24457/stat : 24457 (java) S 24453 24455 24332 0 -1 64 137955 0 0 0 375 46 0 0 16 0 8 0 156742676 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24458] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24458/stat : 24458 (java) S 24453 24455 24332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24459] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24459/stat : 24459 (java) S 24453 24455 24332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24460] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24460/stat : 24460 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156742681 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24461] ppid=24453 vsize=915552 CPUtime=0.22
/proc/24455/task/24461/stat : 24461 (java) S 24453 24455 24332 0 -1 64 404 0 0 0 21 1 0 0 16 0 8 0 156742681 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24462] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24462/stat : 24462 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742681 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24463] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24463/stat : 24463 (java) S 24453 24455 24332 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156742681 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) 1708.94
Current children cumulated vsize (KiB) 915552
[startup+1783.21 s]
/proc/loadavg: 1.34 1.79 1.84 2/75 24797
/proc/meminfo: memFree=781376/2055920 swapFree=4184004/4192956
[pid=24455] ppid=24453 vsize=915552 CPUtime=1768.89
/proc/24455/stat : 24455 (java) R 24453 24455 24332 0 -1 0 154978 0 1 0 176819 70 0 0 25 0 8 0 156742671 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073912685 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24455/statm: 228888 154689 2517 14 0 215358 0
[pid=24455/tid=24457] ppid=24453 vsize=915552 CPUtime=4.21
/proc/24455/task/24457/stat : 24457 (java) S 24453 24455 24332 0 -1 64 137955 0 0 0 375 46 0 0 16 0 8 0 156742676 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24458] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24458/stat : 24458 (java) S 24453 24455 24332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24459] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24459/stat : 24459 (java) S 24453 24455 24332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24460] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24460/stat : 24460 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156742681 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24461] ppid=24453 vsize=915552 CPUtime=0.23
/proc/24455/task/24461/stat : 24461 (java) S 24453 24455 24332 0 -1 64 405 0 0 0 22 1 0 0 16 0 8 0 156742681 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24462] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24462/stat : 24462 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742681 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24463] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24463/stat : 24463 (java) S 24453 24455 24332 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156742681 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) 1768.89
Current children cumulated vsize (KiB) 915552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.44 s]
/proc/loadavg: 1.24 1.72 1.81 2/75 24817
/proc/meminfo: memFree=781248/2055920 swapFree=4184004/4192956
[pid=24455] ppid=24453 vsize=915552 CPUtime=1800.1
/proc/24455/stat : 24455 (java) R 24453 24455 24332 0 -1 0 154978 0 1 0 179940 70 0 0 25 0 8 0 156742671 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24455/statm: 228888 154689 2517 14 0 215358 0
[pid=24455/tid=24457] ppid=24453 vsize=915552 CPUtime=4.21
/proc/24455/task/24457/stat : 24457 (java) S 24453 24455 24332 0 -1 64 137955 0 0 0 375 46 0 0 16 0 8 0 156742676 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24458] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24458/stat : 24458 (java) S 24453 24455 24332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24459] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24459/stat : 24459 (java) S 24453 24455 24332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156742676 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24460] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24460/stat : 24460 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156742681 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24461] ppid=24453 vsize=915552 CPUtime=0.23
/proc/24455/task/24461/stat : 24461 (java) S 24453 24455 24332 0 -1 64 405 0 0 0 22 1 0 0 16 0 8 0 156742681 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24462] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24462/stat : 24462 (java) S 24453 24455 24332 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156742681 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24455/tid=24463] ppid=24453 vsize=915552 CPUtime=0
/proc/24455/task/24463/stat : 24463 (java) S 24453 24455 24332 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156742681 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.1
Current children cumulated vsize (KiB) 915552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1814.56
CPU time (s): 1800.23
CPU user time (s): 1799.43
CPU system time (s): 0.795879
CPU usage (%): 99.2103
Max. virtual memory (cumulated for all children) (KiB): 915552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.795879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154996
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= 38060
involuntary context switches= 75856
runsolver used 1.78473 s user time and 4.82027 s system time
The end
Begin job on node45 on Sat Jan 6 11:37:15 UTC 2007
IDJOB= 238529
IDBENCH= 7007
FILE ID= node45/238529-1168083434
PBS_JOBID= 3476285
Free space on /tmp= 66538 MiB
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-7/BlackHole-4-7-e-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238529-1168083434/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-238529-1168083434 -o ROOT/results/node45/solver-238529-1168083434 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238529-1168083434/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6294465e79060e70a1aca430d5256c07
RANDOM SEED= 841546815
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.259
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.259
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: 900672 kB
Buffers: 49656 kB
Cached: 529880 kB
SwapCached: 2748 kB
Active: 554644 kB
Inactive: 527400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 900672 kB
SwapTotal: 4192956 kB
SwapFree: 4184004 kB
Dirty: 2068 kB
Writeback: 0 kB
Mapped: 518556 kB
Slab: 57540 kB
Committed_AS: 3525756 kB
PageTables: 2752 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66541 MiB
End job on node45 on Sat Jan 6 12:07:45 UTC 2007