0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/238775-1168359602/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.40 nbVariables=112 nbDomainTypes=4 minDomainSize=1 maxDomainSize=28
0.40 => wckTime=0.106 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.42
0.42 constraints being loaded...
0.60 nbConstraints=1261 nbRelationTypes=9 nbSingletonDomainVariables=3 nbDisconnectedVariables=1
0.60 nbExtensionStructures=9 nbSharedExtensionStructures=1252 nbConflictsStructures=9
0.60 nbSharedConflictsStructures=1252 nbSharedBinaryRepresentations=204 maxDegree=56 maxArity=2
0.60 => wckTime=0.305 cpuTime=0.2 mem=11M860
0.64
0.64 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.508 cpuTime=0.34 mem=15M155
0.88
0.88 preprocessing
0.88 nbConstraintChecks=492431 nbPropagations=1779 nbRevisions=22445 nbUselessRevisions=20609 nbSingletonTests=130
0.88 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=280 detectedInconsistency=no
0.88 => wckTime=0.076 cpuTime=0.05 mem=15M155
0.93
0.93 search
0.93 run=0 nbConstraintChecks=395049 nbPropagations=2956 nbRevisions=40417 nbUselessRevisions=37110
0.93 nbAssignments=37 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=10
0.93 nbInferences=1 nbTooLargeKeys=0
0.93 => wckTime=0.12 cpuTime=0.09 mem=15M155
0.95
0.95 search
0.95 run=1 nbConstraintChecks=728487 nbPropagations=6865 nbRevisions=95901 nbUselessRevisions=88151
0.95 nbAssignments=79 nbFailedAssignments=13 nbBacktracks=26 nbVisitedNodes=108 nbRestartNogoods=2 mapSize=24
0.95 nbInferences=2 nbTooLargeKeys=0
0.95 => wckTime=0.142 cpuTime=0.11 mem=15M155
0.98
0.98 search
0.98 run=2 nbConstraintChecks=1224918 nbPropagations=12347 nbRevisions=174221 nbUselessRevisions=160057
0.98 nbAssignments=140 nbFailedAssignments=26 nbBacktracks=52 nbVisitedNodes=198 nbRestartNogoods=3 mapSize=47
0.98 nbInferences=7 nbTooLargeKeys=0
0.98 => wckTime=0.173 cpuTime=0.14 mem=15M155
1.01
1.01 search
1.01 run=3 nbConstraintChecks=1657889 nbPropagations=19034 nbRevisions=272320 nbUselessRevisions=250385
1.01 nbAssignments=216 nbFailedAssignments=46 nbBacktracks=87 nbVisitedNodes=318 nbRestartNogoods=4 mapSize=82
1.01 nbInferences=11 nbTooLargeKeys=0
1.01 => wckTime=0.201 cpuTime=0.16 mem=15M155
1.06
1.06 search
1.06 run=4 nbConstraintChecks=2415163 nbPropagations=28258 nbRevisions=406162 nbUselessRevisions=373113
1.06 nbAssignments=335 nbFailedAssignments=85 nbBacktracks=137 nbVisitedNodes=511 nbRestartNogoods=5 mapSize=127
1.06 nbInferences=21 nbTooLargeKeys=0
1.06 => wckTime=0.249 cpuTime=0.21 mem=15M155
1.11
1.11 search
1.11 run=5 nbConstraintChecks=3294731 nbPropagations=40557 nbRevisions=581577 nbUselessRevisions=533473
1.11 nbAssignments=481 nbFailedAssignments=124 nbBacktracks=212 nbVisitedNodes=740 nbRestartNogoods=10 mapSize=183
1.11 nbInferences=33 nbTooLargeKeys=0
1.11 => wckTime=0.303 cpuTime=0.26 mem=15M155
1.21
1.21 search
1.21 run=6 nbConstraintChecks=5012893 nbPropagations=59198 nbRevisions=839278 nbUselessRevisions=767909
1.21 nbAssignments=755 nbFailedAssignments=191 nbBacktracks=325 nbVisitedNodes=1124 nbRestartNogoods=16 mapSize=267
1.21 nbInferences=65 nbTooLargeKeys=0
1.21 => wckTime=0.407 cpuTime=0.36 mem=16M130
1.33
1.33 search
1.33 run=7 nbConstraintChecks=6991801 nbPropagations=85493 nbRevisions=1192180 nbUselessRevisions=1088354
1.33 nbAssignments=1116 nbFailedAssignments=279 nbBacktracks=497 nbVisitedNodes=1664 nbRestartNogoods=22
1.33 mapSize=404 nbInferences=113 nbTooLargeKeys=0
1.33 => wckTime=0.527 cpuTime=0.48 mem=16M130
1.53
1.53 search
1.53 run=8 nbConstraintChecks=10049318 nbPropagations=123303 nbRevisions=1692881 nbUselessRevisions=1541285
1.53 nbAssignments=1645 nbFailedAssignments=433 nbBacktracks=754 nbVisitedNodes=2553 nbRestartNogoods=25
1.53 mapSize=632 nbInferences=212 nbTooLargeKeys=0
1.53 => wckTime=0.721 cpuTime=0.66 mem=16M130
1.76
1.76 search
1.76 run=9 nbConstraintChecks=14096724 nbPropagations=176432 nbRevisions=2389839 nbUselessRevisions=2171077
1.76 nbAssignments=2330 nbFailedAssignments=671 nbBacktracks=1138 nbVisitedNodes=3708 nbRestartNogoods=34
1.76 mapSize=986 nbInferences=251 nbTooLargeKeys=0
1.76 => wckTime=0.949 cpuTime=0.89 mem=16M130
2.05
2.05 search
2.05 run=10 nbConstraintChecks=19228059 nbPropagations=249237 nbRevisions=3336196 nbUselessRevisions=3026144
2.05 nbAssignments=3395 nbFailedAssignments=955 nbBacktracks=1716 nbVisitedNodes=5370 nbRestartNogoods=40
2.05 mapSize=1452 nbInferences=388 nbTooLargeKeys=0
2.05 => wckTime=1.249 cpuTime=1.18 mem=16M130
2.46
2.46 search
2.46 run=11 nbConstraintChecks=26456283 nbPropagations=351708 nbRevisions=4635601 nbUselessRevisions=4198376
2.46 nbAssignments=4883 nbFailedAssignments=1351 nbBacktracks=2580 nbVisitedNodes=7759 nbRestartNogoods=45
2.46 mapSize=2121 nbInferences=591 nbTooLargeKeys=0
2.46 => wckTime=1.652 cpuTime=1.58 mem=16M130
2.98
2.98 search
2.98 run=12 nbConstraintChecks=35349211 nbPropagations=488872 nbRevisions=6374149 nbUselessRevisions=5770515
2.98 nbAssignments=7325 nbFailedAssignments=1794 nbBacktracks=3878 nbVisitedNodes=11572 nbRestartNogoods=54
2.98 mapSize=3055 nbInferences=1225 nbTooLargeKeys=0
2.98 => wckTime=2.176 cpuTime=2.1 mem=17M106
3.78
3.78 search
3.78 run=13 nbConstraintChecks=49140832 nbPropagations=666585 nbRevisions=8778000 nbUselessRevisions=7963274
3.78 nbAssignments=11076 nbFailedAssignments=2636 nbBacktracks=5824 nbVisitedNodes=17785 nbRestartNogoods=60
3.78 mapSize=4676 nbInferences=2129 nbTooLargeKeys=0
3.78 => wckTime=2.976 cpuTime=2.9 mem=18M81
4.75
4.75 search
4.75 run=14 nbConstraintChecks=65605535 nbPropagations=909294 nbRevisions=11988233 nbUselessRevisions=10885293
4.75 nbAssignments=15698 nbFailedAssignments=3581 nbBacktracks=8745 nbVisitedNodes=24819 nbRestartNogoods=70
4.75 mapSize=6430 nbInferences=2841 nbTooLargeKeys=0
4.75 => wckTime=3.948 cpuTime=3.87 mem=19M121
6.36
6.36 search
6.36 run=15 nbConstraintChecks=93625503 nbPropagations=1269917 nbRevisions=16586905 nbUselessRevisions=15051502
6.36 nbAssignments=22567 nbFailedAssignments=5201 nbBacktracks=13124 nbVisitedNodes=35325 nbRestartNogoods=75
6.36 mapSize=9129 nbInferences=3669 nbTooLargeKeys=0
6.36 => wckTime=5.554 cpuTime=5.47 mem=20M97
9.56
9.56 search
9.56 run=16 nbConstraintChecks=150511597 nbPropagations=1786960 nbRevisions=23955432 nbUselessRevisions=21811163
9.56 nbAssignments=36198 nbFailedAssignments=8431 nbBacktracks=19692 nbVisitedNodes=58857 nbRestartNogoods=78
9.56 mapSize=15127 nbInferences=7483 nbTooLargeKeys=0
9.56 => wckTime=8.757 cpuTime=8.67 mem=23M22
14.08
14.08 search
14.08 run=17 nbConstraintChecks=226956446 nbPropagations=2563125 nbRevisions=35108620 nbUselessRevisions=32052774
14.08 nbAssignments=55777 nbFailedAssignments=12168 nbBacktracks=29544 nbVisitedNodes=91140 nbRestartNogoods=86
14.08 mapSize=22903 nbInferences=13451 nbTooLargeKeys=0
14.08 => wckTime=13.276 cpuTime=13.19 mem=26M923
21.13
21.13 search
21.13 run=18 nbConstraintChecks=352002221 nbPropagations=3867212 nbRevisions=52447954 nbUselessRevisions=47836826
21.13 nbAssignments=80288 nbFailedAssignments=17732 nbBacktracks=44323 nbVisitedNodes=129882 nbRestartNogoods=91
21.13 mapSize=32903 nbInferences=17582 nbTooLargeKeys=0
21.13 => wckTime=20.329 cpuTime=20.24 mem=32M774
31.53
31.53 search
31.53 run=19 nbConstraintChecks=535116016 nbPropagations=5621868 nbRevisions=78653397 nbUselessRevisions=71991238
31.53 nbAssignments=125182 nbFailedAssignments=27056 nbBacktracks=66491 nbVisitedNodes=206421 nbRestartNogoods=99
31.53 mapSize=53713 nbInferences=30965 nbTooLargeKeys=0
31.53 => wckTime=30.723 cpuTime=30.63 mem=43M50
43.60
43.60 search
43.60 run=20 nbConstraintChecks=737971035 nbPropagations=8158130 nbRevisions=114944622 nbUselessRevisions=105333707
43.60 nbAssignments=182248 nbFailedAssignments=36814 nbBacktracks=99746 nbVisitedNodes=294833 nbRestartNogoods=107
43.60 mapSize=75784 nbInferences=45002 nbTooLargeKeys=0
43.60 => wckTime=42.798 cpuTime=42.59 mem=27M636
69.34
69.34 search
69.34 run=21 nbConstraintChecks=1185120085 nbPropagations=12374074 nbRevisions=173168925 nbUselessRevisions=158650667
69.34 nbAssignments=283156 nbFailedAssignments=50007 nbBacktracks=149625 nbVisitedNodes=457233 nbRestartNogoods=117
69.34 mapSize=116208 nbInferences=82820 nbTooLargeKeys=0
69.34 => wckTime=68.53 cpuTime=68.31 mem=50M567
103.52
103.52 search
103.52 run=22 nbConstraintChecks=1792593486 nbPropagations=18829636 nbRevisions=260898093 nbUselessRevisions=238867859
103.52 nbAssignments=421205 nbFailedAssignments=74401 nbBacktracks=224443 nbVisitedNodes=677235 nbRestartNogoods=130
103.52 mapSize=165904 nbInferences=121602 nbTooLargeKeys=0
103.52 => wckTime=102.716 cpuTime=102.3 mem=54M535
179.63
179.63 search
179.63 run=23 nbConstraintChecks=3158589808 nbPropagations=30393690 nbRevisions=414281325 nbUselessRevisions=378522433
179.63 nbAssignments=659832 nbFailedAssignments=110220 nbBacktracks=336672 nbVisitedNodes=1070368 nbRestartNogoods=138
179.63 mapSize=261254 nbInferences=212163 nbTooLargeKeys=0
179.63 => wckTime=178.819 cpuTime=178.19 mem=82M725
265.45
265.45 search
265.45 run=24 nbConstraintChecks=4671740593 nbPropagations=47505197 nbRevisions=641574133 nbUselessRevisions=585705076
265.45 nbAssignments=995964 nbFailedAssignments=164626 nbBacktracks=505015 nbVisitedNodes=1618254 nbRestartNogoods=149
265.45 mapSize=387519 nbInferences=325509 nbTooLargeKeys=0
265.45 => wckTime=264.643 cpuTime=263.82 mem=131M73
407.32
407.32 search
407.32 run=25 nbConstraintChecks=7131196783 nbPropagations=73741914 nbRevisions=988727810 nbUselessRevisions=901868126
407.32 nbAssignments=1523448 nbFailedAssignments=255848 nbBacktracks=757526 nbVisitedNodes=2489324
407.32 nbRestartNogoods=158 mapSize=590944 nbInferences=509224 nbTooLargeKeys=0
407.32 => wckTime=406.517 cpuTime=405.06 mem=175M701
577.27
577.27 search
577.27 run=26 nbConstraintChecks=10062754593 nbPropagations=111870877 nbRevisions=1481429287
577.27 nbUselessRevisions=1349632922 nbAssignments=2219418 nbFailedAssignments=370502 nbBacktracks=1136293
577.27 nbVisitedNodes=3584222 nbRestartNogoods=176 mapSize=847561 nbInferences=711628 nbTooLargeKeys=0
577.27 => wckTime=576.46 cpuTime=574.35 mem=261M347
880.89
880.89 search
880.89 run=27 nbConstraintChecks=15341816824 nbPropagations=167215817 nbRevisions=2227212369
880.89 nbUselessRevisions=2030908400 nbAssignments=3460469 nbFailedAssignments=545593 nbBacktracks=1704444
880.89 nbVisitedNodes=5637957 nbRestartNogoods=192 mapSize=1335287 nbInferences=1209398 nbTooLargeKeys=0
880.89 => wckTime=880.082 cpuTime=876.89 mem=409M152
1426.22
1426.22 INFO : Stopping hyperNogood (mapSize=1915693, nbTooLargekeys=0, mem=600M229)
1477.00
1477.00 search
1477.00 run=28 nbConstraintChecks=26195358714 nbPropagations=266183511 nbRevisions=3499931287
1477.00 nbUselessRevisions=3187437595 nbAssignments=5217219 nbFailedAssignments=891860 nbBacktracks=2556672
1477.00 nbVisitedNodes=8557193 nbRestartNogoods=207
1477.00 => wckTime=1476.191 cpuTime=1471.26 mem=600M229
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-238775-1168359602 -o ROOT/results/node75/solver-238775-1168359602 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238775-1168359602/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.00 2.00 1.85 3/82 4748
/proc/meminfo: memFree=1780408/2055920 swapFree=4184508/4192956
[pid=4747] ppid=4745 vsize=18540 CPUtime=0
/proc/4747/stat : 4747 (runsolver) R 4745 4747 4175 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 184359604 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/4747/statm: 4635 279 244 17 0 2626 0
[startup+0.107492 s]
/proc/loadavg: 2.00 2.00 1.85 3/82 4748
/proc/meminfo: memFree=1780408/2055920 swapFree=4184508/4192956
[pid=4747] ppid=4745 vsize=914988 CPUtime=0.09
/proc/4747/stat : 4747 (java) R 4745 4747 4175 0 -1 0 3077 0 1 0 8 1 0 0 17 0 8 0 184359604 936947712 2823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4747/statm: 228747 2823 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515537 s]
/proc/loadavg: 2.00 2.00 1.85 3/82 4748
/proc/meminfo: memFree=1780408/2055920 swapFree=4184508/4192956
[pid=4747] ppid=4745 vsize=915328 CPUtime=0.49
/proc/4747/stat : 4747 (java) S 4745 4747 4175 0 -1 0 6536 0 1 0 45 4 0 0 17 0 8 0 184359604 937295872 6275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4747/statm: 228832 6275 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33764 s]
/proc/loadavg: 2.08 2.02 1.86 4/89 4755
/proc/meminfo: memFree=1756032/2055920 swapFree=4184508/4192956
[pid=4747] ppid=4745 vsize=915552 CPUtime=1.31
/proc/4747/stat : 4747 (java) R 4745 4747 4175 0 -1 0 8842 0 1 0 125 6 0 0 20 0 8 0 184359604 937525248 8580 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4747/statm: 228888 8580 2524 14 0 215358 0
[pid=4747/tid=4749] ppid=4745 vsize=915552 CPUtime=0.03
/proc/4747/task/4749/stat : 4749 (java) S 4745 4747 4175 0 -1 64 300 0 0 0 3 0 0 0 16 0 8 0 184359608 937525248 8580 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4750] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4750/stat : 4750 (java) S 4745 4747 4175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 8580 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4751] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4751/stat : 4751 (java) S 4745 4747 4175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 184359608 937525248 8581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4752] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4752/stat : 4752 (java) S 4745 4747 4175 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 184359611 937525248 8581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4753] ppid=4745 vsize=915552 CPUtime=0.21
/proc/4747/task/4753/stat : 4753 (java) S 4745 4747 4175 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 184359611 937525248 8581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4754] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4754/stat : 4754 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 184359611 937525248 8581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4755] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4755/stat : 4755 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184359611 937525248 8581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915552
[startup+2.99083 s]
/proc/loadavg: 2.08 2.02 1.86 3/89 4755
/proc/meminfo: memFree=1755264/2055920 swapFree=4184508/4192956
[pid=4747] ppid=4745 vsize=915552 CPUtime=2.96
/proc/4747/stat : 4747 (java) R 4745 4747 4175 0 -1 0 9159 0 1 0 289 7 0 0 25 0 8 0 184359604 937525248 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073857548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4747/statm: 228888 8895 2524 14 0 215358 0
[pid=4747/tid=4749] ppid=4745 vsize=915552 CPUtime=0.03
/proc/4747/task/4749/stat : 4749 (java) S 4745 4747 4175 0 -1 64 300 0 0 0 3 0 0 0 17 0 8 0 184359608 937525248 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4750] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4750/stat : 4750 (java) S 4745 4747 4175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4751] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4751/stat : 4751 (java) S 4745 4747 4175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 184359608 937525248 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4752] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4752/stat : 4752 (java) S 4745 4747 4175 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 184359611 937525248 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4753] ppid=4745 vsize=915552 CPUtime=0.24
/proc/4747/task/4753/stat : 4753 (java) S 4745 4747 4175 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 184359611 937525248 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4754] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4754/stat : 4754 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 184359611 937525248 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4755] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4755/stat : 4755 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184359611 937525248 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915552
[startup+6.27121 s]
/proc/loadavg: 2.08 2.02 1.86 3/89 4755
/proc/meminfo: memFree=1752128/2055920 swapFree=4184508/4192956
[pid=4747] ppid=4745 vsize=915552 CPUtime=6.24
/proc/4747/stat : 4747 (java) R 4745 4747 4175 0 -1 0 9912 0 1 0 617 7 0 0 25 0 8 0 184359604 937525248 9647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853235 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4747/statm: 228888 9647 2524 14 0 215358 0
[pid=4747/tid=4749] ppid=4745 vsize=915552 CPUtime=0.03
/proc/4747/task/4749/stat : 4749 (java) S 4745 4747 4175 0 -1 64 300 0 0 0 3 0 0 0 16 0 8 0 184359608 937525248 9647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4750] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4750/stat : 4750 (java) S 4745 4747 4175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 9647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4751] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4751/stat : 4751 (java) S 4745 4747 4175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 184359608 937525248 9647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4752] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4752/stat : 4752 (java) S 4745 4747 4175 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 184359611 937525248 9647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4753] ppid=4745 vsize=915552 CPUtime=0.24
/proc/4747/task/4753/stat : 4753 (java) S 4745 4747 4175 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 184359611 937525248 9647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4754] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4754/stat : 4754 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 184359611 937525248 9647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4755] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4755/stat : 4755 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184359611 937525248 9647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915552
[startup+12.769 s]
/proc/loadavg: 2.07 2.02 1.86 3/89 4755
/proc/meminfo: memFree=1744384/2055920 swapFree=4184508/4192956
[pid=4747] ppid=4745 vsize=915552 CPUtime=12.74
/proc/4747/stat : 4747 (java) R 4745 4747 4175 0 -1 0 11271 0 1 0 1266 8 0 0 25 0 8 0 184359604 937525248 11006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4747/statm: 228888 11006 2524 14 0 215358 0
[pid=4747/tid=4749] ppid=4745 vsize=915552 CPUtime=0.03
/proc/4747/task/4749/stat : 4749 (java) S 4745 4747 4175 0 -1 64 300 0 0 0 3 0 0 0 16 0 8 0 184359608 937525248 11006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4750] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4750/stat : 4750 (java) S 4745 4747 4175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 11006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4751] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4751/stat : 4751 (java) S 4745 4747 4175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 184359608 937525248 11006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4752] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4752/stat : 4752 (java) S 4745 4747 4175 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 184359611 937525248 11006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4753] ppid=4745 vsize=915552 CPUtime=0.24
/proc/4747/task/4753/stat : 4753 (java) S 4745 4747 4175 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 184359611 937525248 11006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4754] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4754/stat : 4754 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 184359611 937525248 11006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4755] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4755/stat : 4755 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184359611 937525248 11006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915552
[startup+25.6357 s]
/proc/loadavg: 2.06 2.01 1.86 3/89 4755
/proc/meminfo: memFree=1726656/2055920 swapFree=4184508/4192956
[pid=4747] ppid=4745 vsize=915552 CPUtime=25.59
/proc/4747/stat : 4747 (java) R 4745 4747 4175 0 -1 0 13956 0 1 0 2550 9 0 0 25 0 8 0 184359604 937525248 13691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852876 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4747/statm: 228888 13691 2524 14 0 215358 0
[pid=4747/tid=4749] ppid=4745 vsize=915552 CPUtime=0.03
/proc/4747/task/4749/stat : 4749 (java) S 4745 4747 4175 0 -1 64 300 0 0 0 3 0 0 0 16 0 8 0 184359608 937525248 13691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4750] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4750/stat : 4750 (java) S 4745 4747 4175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 13691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4751] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4751/stat : 4751 (java) S 4745 4747 4175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 184359608 937525248 13691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4752] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4752/stat : 4752 (java) S 4745 4747 4175 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 184359611 937525248 13691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4753] ppid=4745 vsize=915552 CPUtime=0.24
/proc/4747/task/4753/stat : 4753 (java) S 4745 4747 4175 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 184359611 937525248 13691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4754] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4754/stat : 4754 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 184359611 937525248 13691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4755] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4755/stat : 4755 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184359611 937525248 13691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 915552
[startup+51.2705 s]
/proc/loadavg: 2.04 2.01 1.86 3/89 4755
/proc/meminfo: memFree=1647680/2055920 swapFree=4184508/4192956
[pid=4747] ppid=4745 vsize=915552 CPUtime=51.23
/proc/4747/stat : 4747 (java) R 4745 4747 4175 0 -1 0 22342 0 1 0 5110 13 0 0 25 0 8 0 184359604 937525248 22076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4747/statm: 228888 22076 2528 14 0 215358 0
[pid=4747/tid=4749] ppid=4745 vsize=915552 CPUtime=0.14
/proc/4747/task/4749/stat : 4749 (java) S 4745 4747 4175 0 -1 64 5322 0 0 0 12 2 0 0 16 0 8 0 184359608 937525248 22076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4750] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4750/stat : 4750 (java) S 4745 4747 4175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 22076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4751] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4751/stat : 4751 (java) S 4745 4747 4175 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 22076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4752] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4752/stat : 4752 (java) S 4745 4747 4175 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 184359611 937525248 22076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4753] ppid=4745 vsize=915552 CPUtime=0.24
/proc/4747/task/4753/stat : 4753 (java) S 4745 4747 4175 0 -1 64 406 0 0 0 23 1 0 0 17 0 8 0 184359611 937525248 22076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4754] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4754/stat : 4754 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 184359611 937525248 22076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4755] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4755/stat : 4755 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184359611 937525248 22076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915552
[startup+102.514 s]
/proc/loadavg: 2.01 2.01 1.87 3/89 4755
/proc/meminfo: memFree=1618176/2055920 swapFree=4184508/4192956
[pid=4747] ppid=4745 vsize=915552 CPUtime=102.45
/proc/4747/stat : 4747 (java) R 4745 4747 4175 0 -1 0 29692 0 1 0 10229 16 0 0 25 0 8 0 184359604 937525248 29425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4747/statm: 228888 29425 2528 14 0 215358 0
[pid=4747/tid=4749] ppid=4745 vsize=915552 CPUtime=0.33
/proc/4747/task/4749/stat : 4749 (java) S 4745 4747 4175 0 -1 64 12671 0 0 0 28 5 0 0 16 0 8 0 184359608 937525248 29425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4750] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4750/stat : 4750 (java) S 4745 4747 4175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 29425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4751] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4751/stat : 4751 (java) S 4745 4747 4175 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 29425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4752] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4752/stat : 4752 (java) S 4745 4747 4175 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 184359611 937525248 29425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4753] ppid=4745 vsize=915552 CPUtime=0.24
/proc/4747/task/4753/stat : 4753 (java) S 4745 4747 4175 0 -1 64 406 0 0 0 23 1 0 0 17 0 8 0 184359611 937525248 29425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4754] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4754/stat : 4754 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 184359611 937525248 29425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4755] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4755/stat : 4755 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184359611 937525248 29425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 915552
[startup+162.524 s]
/proc/loadavg: 2.08 2.02 1.88 3/89 4755
/proc/meminfo: memFree=1593344/2055920 swapFree=4184508/4192956
[pid=4747] ppid=4745 vsize=915552 CPUtime=162.44
/proc/4747/stat : 4747 (java) R 4745 4747 4175 0 -1 0 35863 0 1 0 16226 18 0 0 25 0 8 0 184359604 937525248 35595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073904332 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.45
Current children cumulated vsize (KiB) 915552
[startup+1483.91 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 4755
/proc/meminfo: memFree=946624/2055920 swapFree=4184508/4192956
[pid=4747] ppid=4745 vsize=915552 CPUtime=1483.44
/proc/4747/stat : 4747 (java) R 4745 4747 4175 0 -1 0 155679 0 1 0 148278 66 0 0 25 0 8 0 184359604 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4747/statm: 228888 155390 2528 14 0 215358 0
[pid=4747/tid=4749] ppid=4745 vsize=915552 CPUtime=4.44
/proc/4747/task/4749/stat : 4749 (java) S 4745 4747 4175 0 -1 64 138636 0 0 0 389 55 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4750] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4750/stat : 4750 (java) S 4745 4747 4175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4751] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4751/stat : 4751 (java) S 4745 4747 4175 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4752] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4752/stat : 4752 (java) S 4745 4747 4175 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4753] ppid=4745 vsize=915552 CPUtime=0.24
/proc/4747/task/4753/stat : 4753 (java) S 4745 4747 4175 0 -1 64 406 0 0 0 23 1 0 0 17 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4754] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4754/stat : 4754 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4755] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4755/stat : 4755 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.44
Current children cumulated vsize (KiB) 915552
[startup+1544 s]
/proc/loadavg: 2.08 2.02 1.94 3/89 4755
/proc/meminfo: memFree=946560/2055920 swapFree=4184508/4192956
[pid=4747] ppid=4745 vsize=915552 CPUtime=1543.51
/proc/4747/stat : 4747 (java) R 4745 4747 4175 0 -1 0 155679 0 1 0 154285 66 0 0 25 0 8 0 184359604 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073863617 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4747/statm: 228888 155390 2528 14 0 215358 0
[pid=4747/tid=4749] ppid=4745 vsize=915552 CPUtime=4.44
/proc/4747/task/4749/stat : 4749 (java) S 4745 4747 4175 0 -1 64 138636 0 0 0 389 55 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4750] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4750/stat : 4750 (java) S 4745 4747 4175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4751] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4751/stat : 4751 (java) S 4745 4747 4175 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4752] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4752/stat : 4752 (java) S 4745 4747 4175 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4753] ppid=4745 vsize=915552 CPUtime=0.24
/proc/4747/task/4753/stat : 4753 (java) S 4745 4747 4175 0 -1 64 406 0 0 0 23 1 0 0 17 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4754] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4754/stat : 4754 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4755] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4755/stat : 4755 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1543.51
Current children cumulated vsize (KiB) 915552
[startup+1604.02 s]
/proc/loadavg: 2.10 2.03 1.95 3/89 4755
/proc/meminfo: memFree=946496/2055920 swapFree=4184508/4192956
[pid=4747] ppid=4745 vsize=915552 CPUtime=1603.51
/proc/4747/stat : 4747 (java) R 4745 4747 4175 0 -1 0 155679 0 1 0 160285 66 0 0 25 0 8 0 184359604 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835550 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4747/statm: 228888 155390 2528 14 0 215358 0
[pid=4747/tid=4749] ppid=4745 vsize=915552 CPUtime=4.44
/proc/4747/task/4749/stat : 4749 (java) S 4745 4747 4175 0 -1 64 138636 0 0 0 389 55 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4750] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4750/stat : 4750 (java) S 4745 4747 4175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4751] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4751/stat : 4751 (java) S 4745 4747 4175 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4752] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4752/stat : 4752 (java) S 4745 4747 4175 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4753] ppid=4745 vsize=915552 CPUtime=0.24
/proc/4747/task/4753/stat : 4753 (java) S 4745 4747 4175 0 -1 64 406 0 0 0 23 1 0 0 17 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4754] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4754/stat : 4754 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4755] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4755/stat : 4755 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1603.51
Current children cumulated vsize (KiB) 915552
[startup+1664.11 s]
/proc/loadavg: 2.04 2.02 1.95 3/89 4755
/proc/meminfo: memFree=946496/2055920 swapFree=4184508/4192956
[pid=4747] ppid=4745 vsize=915552 CPUtime=1663.58
/proc/4747/stat : 4747 (java) R 4745 4747 4175 0 -1 0 155679 0 1 0 166292 66 0 0 25 0 8 0 184359604 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846550 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4747/statm: 228888 155390 2528 14 0 215358 0
[pid=4747/tid=4749] ppid=4745 vsize=915552 CPUtime=4.44
/proc/4747/task/4749/stat : 4749 (java) S 4745 4747 4175 0 -1 64 138636 0 0 0 389 55 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4750] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4750/stat : 4750 (java) S 4745 4747 4175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4751] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4751/stat : 4751 (java) S 4745 4747 4175 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4752] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4752/stat : 4752 (java) S 4745 4747 4175 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4753] ppid=4745 vsize=915552 CPUtime=0.24
/proc/4747/task/4753/stat : 4753 (java) S 4745 4747 4175 0 -1 64 406 0 0 0 23 1 0 0 17 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4754] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4754/stat : 4754 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4755] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4755/stat : 4755 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1663.58
Current children cumulated vsize (KiB) 915552
[startup+1724.12 s]
/proc/loadavg: 2.01 2.02 1.95 3/89 4755
/proc/meminfo: memFree=946432/2055920 swapFree=4184508/4192956
[pid=4747] ppid=4745 vsize=915552 CPUtime=1723.57
/proc/4747/stat : 4747 (java) R 4745 4747 4175 0 -1 0 155679 0 1 0 172291 66 0 0 25 0 8 0 184359604 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839681 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4747/statm: 228888 155390 2528 14 0 215358 0
[pid=4747/tid=4749] ppid=4745 vsize=915552 CPUtime=4.44
/proc/4747/task/4749/stat : 4749 (java) S 4745 4747 4175 0 -1 64 138636 0 0 0 389 55 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4750] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4750/stat : 4750 (java) S 4745 4747 4175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4751] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4751/stat : 4751 (java) S 4745 4747 4175 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4752] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4752/stat : 4752 (java) S 4745 4747 4175 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4753] ppid=4745 vsize=915552 CPUtime=0.24
/proc/4747/task/4753/stat : 4753 (java) S 4745 4747 4175 0 -1 64 406 0 0 0 23 1 0 0 17 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4754] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4754/stat : 4754 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4755] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4755/stat : 4755 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1723.57
Current children cumulated vsize (KiB) 915552
[startup+1784.21 s]
/proc/loadavg: 2.00 2.01 1.95 3/89 4755
/proc/meminfo: memFree=946368/2055920 swapFree=4184508/4192956
[pid=4747] ppid=4745 vsize=915552 CPUtime=1783.64
/proc/4747/stat : 4747 (java) R 4745 4747 4175 0 -1 0 155679 0 1 0 178298 66 0 0 25 0 8 0 184359604 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839787 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4747/statm: 228888 155390 2528 14 0 215358 0
[pid=4747/tid=4749] ppid=4745 vsize=915552 CPUtime=4.44
/proc/4747/task/4749/stat : 4749 (java) S 4745 4747 4175 0 -1 64 138636 0 0 0 389 55 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4750] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4750/stat : 4750 (java) S 4745 4747 4175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4751] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4751/stat : 4751 (java) S 4745 4747 4175 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4752] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4752/stat : 4752 (java) S 4745 4747 4175 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4753] ppid=4745 vsize=915552 CPUtime=0.24
/proc/4747/task/4753/stat : 4753 (java) S 4745 4747 4175 0 -1 64 406 0 0 0 23 1 0 0 17 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4754] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4754/stat : 4754 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4755] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4755/stat : 4755 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1783.64
Current children cumulated vsize (KiB) 915552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.58 s]
/proc/loadavg: 2.00 2.01 1.95 3/89 4755
/proc/meminfo: memFree=946368/2055920 swapFree=4184508/4192956
[pid=4747] ppid=4745 vsize=915552 CPUtime=1800.02
/proc/4747/stat : 4747 (java) R 4745 4747 4175 0 -1 0 155679 0 1 0 179936 66 0 0 25 0 8 0 184359604 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4747/statm: 228888 155390 2528 14 0 215358 0
[pid=4747/tid=4749] ppid=4745 vsize=915552 CPUtime=4.44
/proc/4747/task/4749/stat : 4749 (java) S 4745 4747 4175 0 -1 64 138636 0 0 0 389 55 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4750] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4750/stat : 4750 (java) S 4745 4747 4175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4751] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4751/stat : 4751 (java) S 4745 4747 4175 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184359608 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4752] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4752/stat : 4752 (java) S 4745 4747 4175 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4753] ppid=4745 vsize=915552 CPUtime=0.24
/proc/4747/task/4753/stat : 4753 (java) S 4745 4747 4175 0 -1 64 406 0 0 0 23 1 0 0 17 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4754] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4754/stat : 4754 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4747/tid=4755] ppid=4745 vsize=915552 CPUtime=0
/proc/4747/task/4755/stat : 4755 (java) S 4745 4747 4175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184359611 937525248 155390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.72
CPU time (s): 1800.17
CPU user time (s): 1799.41
CPU system time (s): 0.756884
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 915552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.756884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155697
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= 37504
involuntary context switches= 43085
runsolver used 2.50562 s user time and 5.45217 s system time
The end
Begin job on node75 on Tue Jan 9 16:20:02 UTC 2007
IDJOB= 238775
IDBENCH= 7020
FILE ID= node75/238775-1168359602
PBS_JOBID= 3503980
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-7/BlackHole-4-7-e-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238775-1168359602/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-238775-1168359602 -o ROOT/results/node75/solver-238775-1168359602 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238775-1168359602/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= aad4ffc5b271af9b9373b709731c81fb
RANDOM SEED= 759704714
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1780824 kB
Buffers: 39576 kB
Cached: 126148 kB
SwapCached: 2712 kB
Active: 122848 kB
Inactive: 102196 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1780824 kB
SwapTotal: 4192956 kB
SwapFree: 4184508 kB
Dirty: 5416 kB
Writeback: 0 kB
Mapped: 74296 kB
Slab: 35136 kB
Committed_AS: 5120556 kB
PageTables: 1988 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= 66555 MiB
End job on node75 on Tue Jan 9 16:50:03 UTC 2007