0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/238700-1168083513/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.45 nbVariables=112 nbDomainTypes=4 minDomainSize=1 maxDomainSize=28
0.45 => wckTime=0.114 cpuTime=0.1 mem=6M951
0.45
0.45 relations being loaded...
0.47
0.47 constraints being loaded...
0.67 nbConstraints=1261 nbRelationTypes=9 nbSingletonDomainVariables=3 nbDisconnectedVariables=1
0.67 nbExtensionStructures=9 nbSharedExtensionStructures=1252 nbConflictsStructures=9
0.67 nbSharedConflictsStructures=1252 nbSharedBinaryRepresentations=204 maxDegree=56 maxArity=2
0.67 => wckTime=0.33 cpuTime=0.23 mem=11M860
0.71
0.71 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.538 cpuTime=0.37 mem=15M66
0.90
0.90 preprocessing
0.90 nbConstraintChecks=47932 nbPropagations=132 nbRevisions=2036 nbUselessRevisions=1868 nbRemovedValues=280
0.90 detectedInconsistency=no
0.90 => wckTime=0.025 cpuTime=0.01 mem=15M66
0.97
0.97 search
0.97 run=0 nbConstraintChecks=389022 nbPropagations=1308 nbRevisions=19763 nbUselessRevisions=18124
0.97 nbAssignments=37 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=10
0.97 nbInferences=1 nbTooLargeKeys=0
0.97 => wckTime=0.093 cpuTime=0.06 mem=15M66
1.00
1.00 search
1.00 run=1 nbConstraintChecks=722460 nbPropagations=3569 nbRevisions=54593 nbUselessRevisions=50179
1.00 nbAssignments=79 nbFailedAssignments=13 nbBacktracks=26 nbVisitedNodes=108 nbRestartNogoods=2 mapSize=24
1.00 nbInferences=2 nbTooLargeKeys=0
1.00 => wckTime=0.121 cpuTime=0.09 mem=15M66
1.03
1.03 search
1.03 run=2 nbConstraintChecks=1218891 nbPropagations=7403 nbRevisions=112259 nbUselessRevisions=103099
1.03 nbAssignments=140 nbFailedAssignments=26 nbBacktracks=52 nbVisitedNodes=198 nbRestartNogoods=3 mapSize=47
1.03 nbInferences=7 nbTooLargeKeys=0
1.04 => wckTime=0.156 cpuTime=0.12 mem=15M66
1.06
1.06 search
1.06 run=3 nbConstraintChecks=1651870 nbPropagations=12442 nbRevisions=189703 nbUselessRevisions=174440
1.06 nbAssignments=216 nbFailedAssignments=46 nbBacktracks=87 nbVisitedNodes=318 nbRestartNogoods=4 mapSize=82
1.06 nbInferences=11 nbTooLargeKeys=0
1.06 => wckTime=0.185 cpuTime=0.15 mem=15M66
1.12
1.12 search
1.12 run=4 nbConstraintChecks=2409144 nbPropagations=20018 nbRevisions=302890 nbUselessRevisions=278181
1.12 nbAssignments=335 nbFailedAssignments=85 nbBacktracks=137 nbVisitedNodes=511 nbRestartNogoods=5 mapSize=127
1.12 nbInferences=21 nbTooLargeKeys=0
1.12 => wckTime=0.239 cpuTime=0.2 mem=15M66
1.18
1.18 search
1.18 run=5 nbConstraintChecks=3288712 nbPropagations=30669 nbRevisions=457650 nbUselessRevisions=419554
1.18 nbAssignments=481 nbFailedAssignments=124 nbBacktracks=212 nbVisitedNodes=740 nbRestartNogoods=10 mapSize=183
1.18 nbInferences=33 nbTooLargeKeys=0
1.18 => wckTime=0.305 cpuTime=0.25 mem=15M66
1.28
1.28 search
1.28 run=6 nbConstraintChecks=4704174 nbPropagations=46794 nbRevisions=681001 nbUselessRevisions=622239
1.28 nbAssignments=715 nbFailedAssignments=191 nbBacktracks=325 nbVisitedNodes=1124 nbRestartNogoods=16 mapSize=267
1.28 nbInferences=65 nbTooLargeKeys=0
1.28 => wckTime=0.402 cpuTime=0.35 mem=15M66
1.40
1.40 search
1.40 run=7 nbConstraintChecks=6370181 nbPropagations=69702 nbRevisions=985421 nbUselessRevisions=897764
1.40 nbAssignments=1039 nbFailedAssignments=279 nbBacktracks=497 nbVisitedNodes=1664 nbRestartNogoods=22
1.40 mapSize=404 nbInferences=113 nbTooLargeKeys=0
1.40 => wckTime=0.524 cpuTime=0.46 mem=15M66
1.61
1.61 search
1.61 run=8 nbConstraintChecks=9326789 nbPropagations=103577 nbRevisions=1432708 nbUselessRevisions=1301573
1.61 nbAssignments=1562 nbFailedAssignments=445 nbBacktracks=755 nbVisitedNodes=2551 nbRestartNogoods=25
1.61 mapSize=639 nbInferences=192 nbTooLargeKeys=0
1.61 => wckTime=0.731 cpuTime=0.65 mem=15M66
1.82
1.82 search
1.82 run=9 nbConstraintChecks=12575469 nbPropagations=149864 nbRevisions=2038029 nbUselessRevisions=1847976
1.82 nbAssignments=2233 nbFailedAssignments=653 nbBacktracks=1141 nbVisitedNodes=3664 nbRestartNogoods=30
1.82 mapSize=973 nbInferences=248 nbTooLargeKeys=0
1.82 => wckTime=0.941 cpuTime=0.85 mem=16M41
2.16
2.16 search
2.16 run=10 nbConstraintChecks=18016883 nbPropagations=217892 nbRevisions=2909334 nbUselessRevisions=2632867
2.16 nbAssignments=3256 nbFailedAssignments=1024 nbBacktracks=1718 nbVisitedNodes=5387 nbRestartNogoods=35
2.16 mapSize=1462 nbInferences=304 nbTooLargeKeys=0
2.16 => wckTime=1.28 cpuTime=1.19 mem=16M41
2.60
2.60 search
2.60 run=11 nbConstraintChecks=24966827 nbPropagations=313234 nbRevisions=4123792 nbUselessRevisions=3727536
2.60 nbAssignments=4877 nbFailedAssignments=1470 nbBacktracks=2583 nbVisitedNodes=8037 nbRestartNogoods=43
2.60 mapSize=2120 nbInferences=587 nbTooLargeKeys=0
2.60 => wckTime=1.718 cpuTime=1.61 mem=16M41
3.42
3.42 search
3.42 run=12 nbConstraintChecks=38407097 nbPropagations=465925 nbRevisions=5995229 nbUselessRevisions=5409027
3.42 nbAssignments=7362 nbFailedAssignments=2130 nbBacktracks=3880 nbVisitedNodes=12107 nbRestartNogoods=49
3.42 mapSize=3119 nbInferences=1086 nbTooLargeKeys=0
3.42 => wckTime=2.537 cpuTime=2.42 mem=17M16
4.20
4.20 search
4.20 run=13 nbConstraintChecks=51213486 nbPropagations=666357 nbRevisions=8498134 nbUselessRevisions=7664551
4.20 nbAssignments=10671 nbFailedAssignments=2899 nbBacktracks=5827 nbVisitedNodes=17368 nbRestartNogoods=54
4.20 mapSize=4462 nbInferences=1656 nbTooLargeKeys=0
4.20 => wckTime=3.323 cpuTime=3.2 mem=17M16
5.21
5.21 search
5.21 run=14 nbConstraintChecks=66579180 nbPropagations=905778 nbRevisions=11738909 nbUselessRevisions=10613812
5.21 nbAssignments=15775 nbFailedAssignments=4183 nbBacktracks=8749 nbVisitedNodes=25718 nbRestartNogoods=66
5.21 mapSize=6724 nbInferences=2532 nbTooLargeKeys=0
5.21 => wckTime=4.328 cpuTime=4.2 mem=17M991
7.58
7.58 search
7.58 run=15 nbConstraintChecks=104295071 nbPropagations=1300896 nbRevisions=16865405 nbUselessRevisions=15251539
7.58 nbAssignments=23788 nbFailedAssignments=6595 nbBacktracks=13127 nbVisitedNodes=38971 nbRestartNogoods=71
7.58 mapSize=9901 nbInferences=3734 nbTooLargeKeys=0
7.58 => wckTime=6.704 cpuTime=6.55 mem=19M942
11.15
11.15 search
11.15 run=16 nbConstraintChecks=159496771 nbPropagations=1906951 nbRevisions=24710973 nbUselessRevisions=22353705
11.15 nbAssignments=36249 nbFailedAssignments=9280 nbBacktracks=19698 nbVisitedNodes=59427 nbRestartNogoods=77
11.15 mapSize=14806 nbInferences=6919 nbTooLargeKeys=0
11.15 => wckTime=10.272 cpuTime=10.09 mem=22M867
16.91
16.91 search
16.91 run=17 nbConstraintChecks=249766102 nbPropagations=2904968 nbRevisions=37041302 nbUselessRevisions=33470399
16.91 nbAssignments=53766 nbFailedAssignments=12952 nbBacktracks=29550 nbVisitedNodes=87350 nbRestartNogoods=86
16.91 mapSize=22102 nbInferences=10889 nbTooLargeKeys=0
16.91 => wckTime=16.034 cpuTime=15.77 mem=25M793
22.26
22.26 search
22.26 run=18 nbConstraintChecks=330488276 nbPropagations=4205728 nbRevisions=53374433 nbUselessRevisions=48240327
22.26 nbAssignments=78088 nbFailedAssignments=16843 nbBacktracks=44330 nbVisitedNodes=124139 nbRestartNogoods=93
22.26 mapSize=30915 nbInferences=16521 nbTooLargeKeys=0
22.26 => wckTime=21.386 cpuTime=21.07 mem=31M644
31.52
31.52 search
31.52 run=19 nbConstraintChecks=473057082 nbPropagations=6034054 nbRevisions=76701509 nbUselessRevisions=69369201
31.52 nbAssignments=116523 nbFailedAssignments=23749 nbBacktracks=66501 nbVisitedNodes=184543 nbRestartNogoods=109
31.52 mapSize=46101 nbInferences=25857 nbTooLargeKeys=0
31.52 => wckTime=30.638 cpuTime=30.25 mem=39M445
45.97
45.97 search
45.97 run=20 nbConstraintChecks=693444943 nbPropagations=8615142 nbRevisions=110827312 nbUselessRevisions=100439486
45.97 nbAssignments=176676 nbFailedAssignments=35352 nbBacktracks=99754 nbVisitedNodes=281028 nbRestartNogoods=115
45.97 mapSize=68959 nbInferences=41135 nbTooLargeKeys=0
45.97 => wckTime=45.089 cpuTime=44.45 mem=23M473
70.87
70.87 search
70.87 run=21 nbConstraintChecks=1072023090 nbPropagations=12656846 nbRevisions=163745603 nbUselessRevisions=148555995
70.87 nbAssignments=271230 nbFailedAssignments=52368 nbBacktracks=149634 nbVisitedNodes=433077 nbRestartNogoods=123
70.87 mapSize=105363 nbInferences=68762 nbTooLargeKeys=0
70.87 => wckTime=69.987 cpuTime=69.12 mem=43M421
105.34
105.34 search
105.34 run=22 nbConstraintChecks=1608657046 nbPropagations=18818227 nbRevisions=243023583 nbUselessRevisions=220614226
105.34 nbAssignments=406249 nbFailedAssignments=66722 nbBacktracks=224457 nbVisitedNodes=638855 nbRestartNogoods=136
105.34 mapSize=152504 nbInferences=114588 nbTooLargeKeys=0
105.34 => wckTime=104.461 cpuTime=103.1 mem=48M383
150.12
150.12 search
150.12 run=23 nbConstraintChecks=2294120993 nbPropagations=27754395 nbRevisions=356357204 nbUselessRevisions=323594951
150.12 nbAssignments=598269 nbFailedAssignments=89250 nbBacktracks=336684 nbVisitedNodes=928890 nbRestartNogoods=140
150.12 mapSize=224581 nbInferences=171826 nbTooLargeKeys=0
150.12 => wckTime=149.244 cpuTime=147.47 mem=92M203
216.98
216.98 search
216.98 run=24 nbConstraintChecks=3306607975 nbPropagations=39694882 nbRevisions=518668909 nbUselessRevisions=472369672
216.98 nbAssignments=925291 nbFailedAssignments=132374 nbBacktracks=505025 nbVisitedNodes=1448485 nbRestartNogoods=156
216.98 mapSize=341962 nbInferences=287358 nbTooLargeKeys=0
216.98 => wckTime=216.106 cpuTime=213.39 mem=109M232
341.25
341.25 search
341.25 run=25 nbConstraintChecks=5262437870 nbPropagations=59601620 nbRevisions=777185338 nbUselessRevisions=708114906
341.25 nbAssignments=1366069 nbFailedAssignments=195533 nbBacktracks=757536 nbVisitedNodes=2126687
341.25 nbRestartNogoods=174 mapSize=500718 nbInferences=412446 nbTooLargeKeys=0
341.25 => wckTime=340.371 cpuTime=336.15 mem=160M184
562.82
562.82 search
562.82 run=26 nbConstraintChecks=8729261783 nbPropagations=91011496 nbRevisions=1202208746
562.82 nbUselessRevisions=1097276831 nbAssignments=2186834 nbFailedAssignments=313039 nbBacktracks=1136306
562.82 nbVisitedNodes=3481467 nbRestartNogoods=189 mapSize=824871 nbInferences=736911 nbTooLargeKeys=0
562.82 => wckTime=561.944 cpuTime=554.91 mem=250M488
1008.84
1008.84 search
1008.84 run=27 nbConstraintChecks=15958487311 nbPropagations=152661347 nbRevisions=1980386528
1008.84 nbUselessRevisions=1803427480 nbAssignments=3350161 nbFailedAssignments=536135 nbBacktracks=1704459
1008.84 nbVisitedNodes=5391851 nbRestartNogoods=199 mapSize=1264225 nbInferences=1108970 nbTooLargeKeys=0
1008.84 => wckTime=1007.957 cpuTime=995.86 mem=382M53
1473.88
1473.88 INFO : Stopping hyperNogood (mapSize=1893530, nbTooLargekeys=0, mem=600M411)
1493.10
1493.10 search
1493.10 run=28 nbConstraintChecks=23482096612 nbPropagations=237448825 nbRevisions=3121298623
1493.10 nbUselessRevisions=2847544309 nbAssignments=5214557 nbFailedAssignments=787702 nbBacktracks=2556685
1493.10 nbVisitedNodes=8466595 nbRestartNogoods=203
1493.10 => wckTime=1492.225 cpuTime=1473.93 mem=600M411
1775.44
1775.44 search
1775.44 run=29 nbConstraintChecks=28164378458 nbPropagations=337580437 nbRevisions=4496503470
1775.44 nbUselessRevisions=4106525120 nbAssignments=6986920 nbFailedAssignments=1281705 nbBacktracks=3835026
1775.44 nbVisitedNodes=11167532 nbRestartNogoods=226
1775.44 => wckTime=1774.563 cpuTime=1755.08 mem=600M411
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-238700-1168083513 -o ROOT/results/node59/solver-238700-1168083513 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238700-1168083513/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: 2.04 1.83 1.83 4/80 25701
/proc/meminfo: memFree=1446864/2055920 swapFree=4192812/4192956
[pid=25700] ppid=25698 vsize=18540 CPUtime=0
/proc/25700/stat : 25700 (runsolver) D 25698 25700 25633 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156749219 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 217051622695 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/25700/statm: 4635 279 244 17 0 2626 0
[startup+0.106635 s]
/proc/loadavg: 2.04 1.83 1.83 4/80 25701
/proc/meminfo: memFree=1446864/2055920 swapFree=4192812/4192956
[pid=25700] ppid=25698 vsize=912432 CPUtime=0.07
/proc/25700/stat : 25700 (java) R 25698 25700 25633 0 -1 0 2745 0 1 0 6 1 0 0 18 0 8 0 156749219 934330368 2491 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25700/statm: 228108 2491 1379 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912432
[startup+0.514678 s]
/proc/loadavg: 2.04 1.83 1.83 4/80 25701
/proc/meminfo: memFree=1446864/2055920 swapFree=4192812/4192956
[pid=25700] ppid=25698 vsize=915328 CPUtime=0.47
/proc/25700/stat : 25700 (java) R 25698 25700 25633 0 -1 0 6278 0 1 0 43 4 0 0 18 0 8 0 156749219 937295872 6017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073605931 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25700/statm: 228832 6017 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33877 s]
/proc/loadavg: 2.04 1.83 1.83 3/87 25708
/proc/meminfo: memFree=1422936/2055920 swapFree=4192812/4192956
[pid=25700] ppid=25698 vsize=915552 CPUtime=1.28
/proc/25700/stat : 25700 (java) R 25698 25700 25633 0 -1 0 8722 0 1 0 122 6 0 0 24 0 8 0 156749219 937525248 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871666 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25700/statm: 228888 8460 2513 14 0 215358 0
[pid=25700/tid=25702] ppid=25698 vsize=915552 CPUtime=0.03
/proc/25700/task/25702/stat : 25702 (java) S 25698 25700 25633 0 -1 64 300 0 0 0 3 0 0 0 16 0 8 0 156749225 937525248 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25703] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25703/stat : 25703 (java) S 25698 25700 25633 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25704] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25704/stat : 25704 (java) S 25698 25700 25633 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156749226 937525248 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25705] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25705/stat : 25705 (java) S 25698 25700 25633 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156749229 937525248 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25706] ppid=25698 vsize=915552 CPUtime=0.22
/proc/25700/task/25706/stat : 25706 (java) S 25698 25700 25633 0 -1 64 385 0 0 0 22 0 0 0 15 0 8 0 156749229 937525248 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25707] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25707/stat : 25707 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156749229 937525248 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25708] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25708/stat : 25708 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156749229 937525248 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915552
[startup+2.98695 s]
/proc/loadavg: 2.04 1.83 1.83 3/87 25708
/proc/meminfo: memFree=1422104/2055920 swapFree=4192812/4192956
[pid=25700] ppid=25698 vsize=915552 CPUtime=2.91
/proc/25700/stat : 25700 (java) R 25698 25700 25633 0 -1 0 8986 0 1 0 285 6 0 0 25 0 8 0 156749219 937525248 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848391 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25700/statm: 228888 8722 2513 14 0 215358 0
[pid=25700/tid=25702] ppid=25698 vsize=915552 CPUtime=0.03
/proc/25700/task/25702/stat : 25702 (java) S 25698 25700 25633 0 -1 64 300 0 0 0 3 0 0 0 17 0 8 0 156749225 937525248 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25703] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25703/stat : 25703 (java) S 25698 25700 25633 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25704] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25704/stat : 25704 (java) S 25698 25700 25633 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156749226 937525248 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25705] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25705/stat : 25705 (java) S 25698 25700 25633 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156749229 937525248 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25706] ppid=25698 vsize=915552 CPUtime=0.26
/proc/25700/task/25706/stat : 25706 (java) S 25698 25700 25633 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 156749229 937525248 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25707] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25707/stat : 25707 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156749229 937525248 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25708] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25708/stat : 25708 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156749229 937525248 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915552
[startup+6.26631 s]
/proc/loadavg: 2.04 1.83 1.83 3/87 25708
/proc/meminfo: memFree=1419416/2055920 swapFree=4192812/4192956
[pid=25700] ppid=25698 vsize=915552 CPUtime=6.17
/proc/25700/stat : 25700 (java) R 25698 25700 25633 0 -1 0 9636 0 1 0 610 7 0 0 25 0 8 0 156749219 937525248 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838508 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25700/statm: 228888 9371 2513 14 0 215358 0
[pid=25700/tid=25702] ppid=25698 vsize=915552 CPUtime=0.03
/proc/25700/task/25702/stat : 25702 (java) S 25698 25700 25633 0 -1 64 300 0 0 0 3 0 0 0 16 0 8 0 156749225 937525248 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25703] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25703/stat : 25703 (java) S 25698 25700 25633 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25704] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25704/stat : 25704 (java) S 25698 25700 25633 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156749226 937525248 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25705] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25705/stat : 25705 (java) S 25698 25700 25633 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156749229 937525248 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25706] ppid=25698 vsize=915552 CPUtime=0.27
/proc/25700/task/25706/stat : 25706 (java) S 25698 25700 25633 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 156749229 937525248 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25707] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25707/stat : 25707 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156749229 937525248 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25708] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25708/stat : 25708 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156749229 937525248 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915552
[startup+12.756 s]
/proc/loadavg: 2.03 1.83 1.83 3/87 25708
/proc/meminfo: memFree=1414872/2055920 swapFree=4192812/4192956
[pid=25700] ppid=25698 vsize=915552 CPUtime=12.59
/proc/25700/stat : 25700 (java) R 25698 25700 25633 0 -1 0 10749 0 1 0 1251 8 0 0 25 0 8 0 156749219 937525248 10484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25700/statm: 228888 10484 2513 14 0 215358 0
[pid=25700/tid=25702] ppid=25698 vsize=915552 CPUtime=0.03
/proc/25700/task/25702/stat : 25702 (java) S 25698 25700 25633 0 -1 64 300 0 0 0 3 0 0 0 16 0 8 0 156749225 937525248 10484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25703] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25703/stat : 25703 (java) S 25698 25700 25633 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 10484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25704] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25704/stat : 25704 (java) S 25698 25700 25633 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156749226 937525248 10484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25705] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25705/stat : 25705 (java) S 25698 25700 25633 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156749229 937525248 10484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25706] ppid=25698 vsize=915552 CPUtime=0.27
/proc/25700/task/25706/stat : 25706 (java) S 25698 25700 25633 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 156749229 937525248 10484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25707] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25707/stat : 25707 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156749229 937525248 10484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25708] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25708/stat : 25708 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156749229 937525248 10484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915552
[startup+25.5984 s]
/proc/loadavg: 2.03 1.84 1.83 3/87 25708
/proc/meminfo: memFree=1404568/2055920 swapFree=4192812/4192956
[pid=25700] ppid=25698 vsize=915552 CPUtime=25.3
/proc/25700/stat : 25700 (java) R 25698 25700 25633 0 -1 0 13429 0 1 0 2521 9 0 0 25 0 8 0 156749219 937525248 13164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25700/statm: 228888 13164 2513 14 0 215358 0
[pid=25700/tid=25702] ppid=25698 vsize=915552 CPUtime=0.03
/proc/25700/task/25702/stat : 25702 (java) S 25698 25700 25633 0 -1 64 300 0 0 0 3 0 0 0 16 0 8 0 156749225 937525248 13164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25703] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25703/stat : 25703 (java) S 25698 25700 25633 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 13164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25704] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25704/stat : 25704 (java) S 25698 25700 25633 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156749226 937525248 13164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25705] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25705/stat : 25705 (java) S 25698 25700 25633 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156749229 937525248 13164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25706] ppid=25698 vsize=915552 CPUtime=0.27
/proc/25700/task/25706/stat : 25706 (java) S 25698 25700 25633 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 156749229 937525248 13164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25707] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25707/stat : 25707 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156749229 937525248 13164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25708] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25708/stat : 25708 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156749229 937525248 13164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915552
[startup+51.2043 s]
/proc/loadavg: 2.02 1.85 1.83 3/87 25708
/proc/meminfo: memFree=1369688/2055920 swapFree=4192812/4192956
[pid=25700] ppid=25698 vsize=915552 CPUtime=50.66
/proc/25700/stat : 25700 (java) R 25698 25700 25633 0 -1 0 22030 0 1 0 5054 12 0 0 25 0 8 0 156749219 937525248 21764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25700/statm: 228888 21764 2517 14 0 215358 0
[pid=25700/tid=25702] ppid=25698 vsize=915552 CPUtime=0.13
/proc/25700/task/25702/stat : 25702 (java) S 25698 25700 25633 0 -1 64 5033 0 0 0 12 1 0 0 16 0 8 0 156749225 937525248 21764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25703] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25703/stat : 25703 (java) S 25698 25700 25633 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 21764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25704] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25704/stat : 25704 (java) S 25698 25700 25633 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 21764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25705] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25705/stat : 25705 (java) S 25698 25700 25633 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156749229 937525248 21764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25706] ppid=25698 vsize=915552 CPUtime=0.27
/proc/25700/task/25706/stat : 25706 (java) S 25698 25700 25633 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 156749229 937525248 21764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25707] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25707/stat : 25707 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156749229 937525248 21764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25708] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25708/stat : 25708 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156749229 937525248 21764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915552
[startup+102.42 s]
/proc/loadavg: 2.01 1.87 1.84 3/87 25708
/proc/meminfo: memFree=1341272/2055920 swapFree=4192812/4192956
[pid=25700] ppid=25698 vsize=915552 CPUtime=101.41
/proc/25700/stat : 25700 (java) R 25698 25700 25633 0 -1 0 29131 0 1 0 10126 15 0 0 25 0 8 0 156749219 937525248 28864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25700/statm: 228888 28864 2517 14 0 215358 0
[pid=25700/tid=25702] ppid=25698 vsize=915552 CPUtime=0.31
/proc/25700/task/25702/stat : 25702 (java) S 25698 25700 25633 0 -1 64 12132 0 0 0 27 4 0 0 16 0 8 0 156749225 937525248 28864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25703] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25703/stat : 25703 (java) S 25698 25700 25633 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 28864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25704] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25704/stat : 25704 (java) S 25698 25700 25633 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 28864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25705] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25705/stat : 25705 (java) S 25698 25700 25633 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156749229 937525248 28864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25706] ppid=25698 vsize=915552 CPUtime=0.27
/proc/25700/task/25706/stat : 25706 (java) S 25698 25700 25633 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 156749229 937525248 28864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25707] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25707/stat : 25707 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156749229 937525248 28864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25708] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25708/stat : 25708 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156749229 937525248 28864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 915552
[startup+162.469 s]
/proc/loadavg: 2.00 1.89 1.84 3/87 25708
/proc/meminfo: memFree=1318360/2055920 swapFree=4192812/4192956
[pid=25700] ppid=25698 vsize=915552 CPUtime=160.91
/proc/25700/stat : 25700 (java) R 25698 25700 25633 0 -1 0 34852 0 1 0 16073 18 0 0 25 0 8 0 156749219 937525248 34584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837762 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.4
Current children cumulated vsize (KiB) 915552
[startup+1483.69 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 25906
/proc/meminfo: memFree=834584/2055920 swapFree=4192812/4192956
[pid=25700] ppid=25698 vsize=915552 CPUtime=1469.87
/proc/25700/stat : 25700 (java) R 25698 25700 25633 0 -1 0 154974 0 1 0 146919 68 0 0 25 0 8 0 156749219 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834321 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25700/statm: 228888 154686 2517 14 0 215358 0
[pid=25700/tid=25702] ppid=25698 vsize=915552 CPUtime=4.38
/proc/25700/task/25702/stat : 25702 (java) S 25698 25700 25633 0 -1 64 137954 0 0 0 385 53 0 0 16 0 8 0 156749225 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25703] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25703/stat : 25703 (java) S 25698 25700 25633 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25704] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25704/stat : 25704 (java) S 25698 25700 25633 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25705] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25705/stat : 25705 (java) S 25698 25700 25633 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25706] ppid=25698 vsize=915552 CPUtime=0.27
/proc/25700/task/25706/stat : 25706 (java) S 25698 25700 25633 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25707] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25707/stat : 25707 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25708] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25708/stat : 25708 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1469.87
Current children cumulated vsize (KiB) 915552
[startup+1543.73 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 25906
/proc/meminfo: memFree=834584/2055920 swapFree=4192812/4192956
[pid=25700] ppid=25698 vsize=915552 CPUtime=1529.37
/proc/25700/stat : 25700 (java) R 25698 25700 25633 0 -1 0 154975 0 1 0 152869 68 0 0 25 0 8 0 156749219 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25700/statm: 228888 154686 2517 14 0 215358 0
[pid=25700/tid=25702] ppid=25698 vsize=915552 CPUtime=4.38
/proc/25700/task/25702/stat : 25702 (java) S 25698 25700 25633 0 -1 64 137954 0 0 0 385 53 0 0 16 0 8 0 156749225 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25703] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25703/stat : 25703 (java) S 25698 25700 25633 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25704] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25704/stat : 25704 (java) S 25698 25700 25633 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25705] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25705/stat : 25705 (java) S 25698 25700 25633 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25706] ppid=25698 vsize=915552 CPUtime=0.27
/proc/25700/task/25706/stat : 25706 (java) S 25698 25700 25633 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25707] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25707/stat : 25707 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25708] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25708/stat : 25708 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1529.37
Current children cumulated vsize (KiB) 915552
[startup+1603.77 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 25906
/proc/meminfo: memFree=834584/2055920 swapFree=4192812/4192956
[pid=25700] ppid=25698 vsize=915552 CPUtime=1588.88
/proc/25700/stat : 25700 (java) R 25698 25700 25633 0 -1 0 154975 0 1 0 158819 69 0 0 25 0 8 0 156749219 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834483 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25700/statm: 228888 154686 2517 14 0 215358 0
[pid=25700/tid=25702] ppid=25698 vsize=915552 CPUtime=4.38
/proc/25700/task/25702/stat : 25702 (java) S 25698 25700 25633 0 -1 64 137954 0 0 0 385 53 0 0 16 0 8 0 156749225 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25703] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25703/stat : 25703 (java) S 25698 25700 25633 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25704] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25704/stat : 25704 (java) S 25698 25700 25633 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25705] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25705/stat : 25705 (java) S 25698 25700 25633 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25706] ppid=25698 vsize=915552 CPUtime=0.27
/proc/25700/task/25706/stat : 25706 (java) S 25698 25700 25633 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25707] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25707/stat : 25707 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25708] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25708/stat : 25708 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1588.88
Current children cumulated vsize (KiB) 915552
[startup+1663.8 s]
/proc/loadavg: 1.40 1.83 1.86 2/75 26098
/proc/meminfo: memFree=880176/2055920 swapFree=4192812/4192956
[pid=25700] ppid=25698 vsize=915552 CPUtime=1648.79
/proc/25700/stat : 25700 (java) R 25698 25700 25633 0 -1 0 154975 0 1 0 164807 72 0 0 25 0 8 0 156749219 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25700/statm: 228888 154686 2517 14 0 215358 0
[pid=25700/tid=25702] ppid=25698 vsize=915552 CPUtime=4.38
/proc/25700/task/25702/stat : 25702 (java) S 25698 25700 25633 0 -1 64 137954 0 0 0 385 53 0 0 16 0 8 0 156749225 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25703] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25703/stat : 25703 (java) S 25698 25700 25633 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25704] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25704/stat : 25704 (java) S 25698 25700 25633 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25705] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25705/stat : 25705 (java) S 25698 25700 25633 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25706] ppid=25698 vsize=915552 CPUtime=0.27
/proc/25700/task/25706/stat : 25706 (java) S 25698 25700 25633 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25707] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25707/stat : 25707 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25708] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25708/stat : 25708 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1648.79
Current children cumulated vsize (KiB) 915552
[startup+1723.83 s]
/proc/loadavg: 1.14 1.68 1.81 2/75 26166
/proc/meminfo: memFree=879856/2055920 swapFree=4192812/4192956
[pid=25700] ppid=25698 vsize=915552 CPUtime=1708.78
/proc/25700/stat : 25700 (java) R 25698 25700 25633 0 -1 0 154975 0 1 0 170805 73 0 0 25 0 8 0 156749219 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25700/statm: 228888 154686 2517 14 0 215358 0
[pid=25700/tid=25702] ppid=25698 vsize=915552 CPUtime=4.38
/proc/25700/task/25702/stat : 25702 (java) S 25698 25700 25633 0 -1 64 137954 0 0 0 385 53 0 0 16 0 8 0 156749225 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25703] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25703/stat : 25703 (java) S 25698 25700 25633 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25704] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25704/stat : 25704 (java) S 25698 25700 25633 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25705] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25705/stat : 25705 (java) S 25698 25700 25633 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25706] ppid=25698 vsize=915552 CPUtime=0.27
/proc/25700/task/25706/stat : 25706 (java) S 25698 25700 25633 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25707] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25707/stat : 25707 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25708] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25708/stat : 25708 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.78
Current children cumulated vsize (KiB) 915552
[startup+1783.86 s]
/proc/loadavg: 1.05 1.55 1.75 2/75 26177
/proc/meminfo: memFree=881840/2055920 swapFree=4192812/4192956
[pid=25700] ppid=25698 vsize=915552 CPUtime=1768.77
/proc/25700/stat : 25700 (java) R 25698 25700 25633 0 -1 0 154975 0 1 0 176803 74 0 0 25 0 8 0 156749219 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856547 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25700/statm: 228888 154686 2517 14 0 215358 0
[pid=25700/tid=25702] ppid=25698 vsize=915552 CPUtime=4.38
/proc/25700/task/25702/stat : 25702 (java) S 25698 25700 25633 0 -1 64 137954 0 0 0 385 53 0 0 16 0 8 0 156749225 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25703] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25703/stat : 25703 (java) S 25698 25700 25633 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25704] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25704/stat : 25704 (java) S 25698 25700 25633 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25705] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25705/stat : 25705 (java) S 25698 25700 25633 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25706] ppid=25698 vsize=915552 CPUtime=0.27
/proc/25700/task/25706/stat : 25706 (java) S 25698 25700 25633 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25707] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25707/stat : 25707 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25708] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25708/stat : 25708 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.77
Current children cumulated vsize (KiB) 915552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.11 s]
/proc/loadavg: 1.03 1.50 1.73 2/75 26230
/proc/meminfo: memFree=880176/2055920 swapFree=4192812/4192956
[pid=25700] ppid=25698 vsize=915552 CPUtime=1800
/proc/25700/stat : 25700 (java) R 25698 25700 25633 0 -1 0 154975 0 1 0 179926 74 0 0 25 0 8 0 156749219 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834279 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25700/statm: 228888 154686 2517 14 0 215358 0
[pid=25700/tid=25702] ppid=25698 vsize=915552 CPUtime=4.38
/proc/25700/task/25702/stat : 25702 (java) S 25698 25700 25633 0 -1 64 137954 0 0 0 385 53 0 0 16 0 8 0 156749225 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25703] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25703/stat : 25703 (java) S 25698 25700 25633 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25704] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25704/stat : 25704 (java) S 25698 25700 25633 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156749226 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25705] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25705/stat : 25705 (java) S 25698 25700 25633 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25706] ppid=25698 vsize=915552 CPUtime=0.27
/proc/25700/task/25706/stat : 25706 (java) S 25698 25700 25633 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25707] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25707/stat : 25707 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25700/tid=25708] ppid=25698 vsize=915552 CPUtime=0
/proc/25700/task/25708/stat : 25708 (java) S 25698 25700 25633 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156749229 937525248 154686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1815.22
CPU time (s): 1800.13
CPU user time (s): 1799.28
CPU system time (s): 0.845871
CPU usage (%): 99.1682
Max. virtual memory (cumulated for all children) (KiB): 915552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.845871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154992
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= 68820
runsolver used 2.00569 s user time and 5.85211 s system time
The end
Begin job on node59 on Sat Jan 6 11:38:33 UTC 2007
IDJOB= 238700
IDBENCH= 7016
FILE ID= node59/238700-1168083513
PBS_JOBID= 3476288
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-7/BlackHole-4-7-h-8_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238700-1168083513/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-238700-1168083513 -o ROOT/results/node59/solver-238700-1168083513 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238700-1168083513/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= cf0c8a021cff302ab0e1f90bd794ddaa
RANDOM SEED= 645273475
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.239
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.239
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: 1447344 kB
Buffers: 45992 kB
Cached: 423412 kB
SwapCached: 0 kB
Active: 119820 kB
Inactive: 413764 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1447344 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1928 kB
Writeback: 0 kB
Mapped: 84376 kB
Slab: 60124 kB
Committed_AS: 3731168 kB
PageTables: 2008 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= 66548 MiB
End job on node59 on Sat Jan 6 12:08:53 UTC 2007