0.53
0.53 Abscon 109 (November, 2006)
0.53
0.53 configuration
0.53 name=esac.xml
0.61
0.61 instance
0.61 name=/tmp/evaluation/195857-1168115315/unknown.xml
0.63
0.64 domains being loaded...
0.64
0.64 variables being loaded...
0.67 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.67 => wckTime=0.132 cpuTime=0.08 mem=6M951
0.67
0.67 relations being loaded...
1.27
1.27 constraints being loaded...
1.53 nbConstraints=74 nbRelationTypes=74 nbExtensionStructures=74 nbSharedExtensionStructures=0
1.53 nbConflictsStructures=74 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
1.53 => wckTime=0.986 cpuTime=0.83 mem=47M707
1.64
1.65 solver IterativeSystematicSolver being built...
1.80 => wckTime=1.262 cpuTime=0.96 mem=34M221
1.91
1.91 preprocessing
1.91 nbConstraintChecks=36170 nbValidityChecks=58691 nbPropagations=231 nbRevisions=2489 nbUselessRevisions=2146
1.91 nbSingletonTests=31 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.91 => wckTime=0.103 cpuTime=0.07 mem=34M221
1.98
1.98 search
1.98 run=0 nbConstraintChecks=37811 nbValidityChecks=73155 nbPropagations=619 nbRevisions=7145
1.98 nbUselessRevisions=5847 nbAssignments=36 nbFailedAssignments=19 nbBacktracks=10 nbVisitedNodes=65
1.98 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.98 => wckTime=0.175 cpuTime=0.14 mem=35M224
2.05
2.05 search
2.05 run=1 nbConstraintChecks=79080 nbValidityChecks=151842 nbPropagations=1629 nbRevisions=19214
2.05 nbUselessRevisions=15593 nbAssignments=69 nbFailedAssignments=31 nbBacktracks=26 nbVisitedNodes=122
2.05 nbRestartNogoods=6 mapSize=24 nbInferences=0 nbTooLargeKeys=0
2.05 => wckTime=0.243 cpuTime=0.2 mem=35M224
2.30
2.30 search
2.30 run=2 nbConstraintChecks=246661 nbValidityChecks=445157 nbPropagations=3814 nbRevisions=47382
2.30 nbUselessRevisions=37903 nbAssignments=167 nbFailedAssignments=102 nbBacktracks=48 nbVisitedNodes=310
2.30 nbRestartNogoods=8 mapSize=46 nbInferences=0 nbTooLargeKeys=0
2.30 => wckTime=0.49 cpuTime=0.43 mem=35M224
2.40
2.40 search
2.40 run=3 nbConstraintChecks=320934 nbValidityChecks=599579 nbPropagations=6778 nbRevisions=84724
2.40 nbUselessRevisions=67636 nbAssignments=257 nbFailedAssignments=133 nbBacktracks=81 nbVisitedNodes=424
2.40 nbRestartNogoods=14 mapSize=70 nbInferences=0 nbTooLargeKeys=0
2.40 => wckTime=0.598 cpuTime=0.54 mem=35M224
2.70
2.70 search
2.70 run=4 nbConstraintChecks=528718 nbValidityChecks=981885 nbPropagations=11402 nbRevisions=143305
2.70 nbUselessRevisions=114137 nbAssignments=385 nbFailedAssignments=207 nbBacktracks=131 nbVisitedNodes=663
2.70 nbRestartNogoods=16 mapSize=118 nbInferences=0 nbTooLargeKeys=0
2.70 => wckTime=0.889 cpuTime=0.83 mem=35M224
2.98
2.98 search
2.98 run=5 nbConstraintChecks=720894 nbValidityChecks=1368695 nbPropagations=18096 nbRevisions=227417
2.98 nbUselessRevisions=180934 nbAssignments=571 nbFailedAssignments=306 nbBacktracks=206 nbVisitedNodes=988
2.98 nbRestartNogoods=30 mapSize=182 nbInferences=0 nbTooLargeKeys=0
2.98 => wckTime=1.17 cpuTime=1.11 mem=35M224
3.36
3.36 search
3.36 run=6 nbConstraintChecks=992549 nbValidityChecks=1927659 nbPropagations=27774 nbRevisions=351299
3.36 nbUselessRevisions=279177 nbAssignments=838 nbFailedAssignments=454 nbBacktracks=321 nbVisitedNodes=1475
3.36 nbRestartNogoods=34 mapSize=282 nbInferences=0 nbTooLargeKeys=0
3.36 => wckTime=1.553 cpuTime=1.49 mem=35M224
4.16
4.16 search
4.16 run=7 nbConstraintChecks=1617857 nbValidityChecks=3115355 nbPropagations=43526 nbRevisions=551814
4.16 nbUselessRevisions=437232 nbAssignments=1388 nbFailedAssignments=830 nbBacktracks=493 nbVisitedNodes=2518
4.16 nbRestartNogoods=39 mapSize=439 nbInferences=0 nbTooLargeKeys=0
4.16 => wckTime=2.357 cpuTime=2.29 mem=35M224
5.05
5.05 search
5.05 run=8 nbConstraintChecks=2245288 nbValidityChecks=4400336 nbPropagations=65925 nbRevisions=840414
5.05 nbUselessRevisions=664800 nbAssignments=1957 nbFailedAssignments=1136 nbBacktracks=749 nbVisitedNodes=3547
5.05 nbRestartNogoods=40 mapSize=657 nbInferences=0 nbTooLargeKeys=0
5.05 => wckTime=3.247 cpuTime=3.17 mem=35M224
6.98
6.98 search
6.98 run=9 nbConstraintChecks=3650139 nbValidityChecks=7009360 nbPropagations=101122 nbRevisions=1285579
6.98 nbUselessRevisions=1014728 nbAssignments=2892 nbFailedAssignments=1682 nbBacktracks=1133 nbVisitedNodes=5305
6.98 nbRestartNogoods=46 mapSize=1005 nbInferences=0 nbTooLargeKeys=0
6.98 => wckTime=5.169 cpuTime=5.08 mem=35M224
7.07
7.07 INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=35M224)
9.41
9.41 search
9.41 run=10 nbConstraintChecks=5541391 nbValidityChecks=10689586 nbPropagations=156068 nbRevisions=1976854
9.41 nbUselessRevisions=1557109 nbAssignments=4645 nbFailedAssignments=2833 nbBacktracks=1709 nbVisitedNodes=8576
9.41 nbRestartNogoods=61
9.41 => wckTime=7.6 cpuTime=7.5 mem=35M224
12.26
12.26 search
12.26 run=11 nbConstraintChecks=7673493 nbValidityChecks=15055925 nbPropagations=233672 nbRevisions=2971174
12.26 nbUselessRevisions=2339354 nbAssignments=6567 nbFailedAssignments=3884 nbBacktracks=2574 nbVisitedNodes=12095
12.26 nbRestartNogoods=70
12.26 => wckTime=10.453 cpuTime=10.35 mem=35M224
18.58
18.58 search
18.58 run=12 nbConstraintChecks=12328839 nbValidityChecks=23791931 nbPropagations=354257 nbRevisions=4498005
18.58 nbUselessRevisions=3538067 nbAssignments=9749 nbFailedAssignments=5763 nbBacktracks=3871 nbVisitedNodes=18097
18.58 nbRestartNogoods=82
18.58 => wckTime=16.77 cpuTime=16.66 mem=35M224
26.85
26.85 search
26.85 run=13 nbConstraintChecks=18769087 nbValidityChecks=36345820 nbPropagations=541425 nbRevisions=6856798
26.85 nbUselessRevisions=5387240 nbAssignments=15556 nbFailedAssignments=9620 nbBacktracks=5818 nbVisitedNodes=29057
26.85 nbRestartNogoods=88
26.85 => wckTime=25.046 cpuTime=24.93 mem=35M224
37.28
37.28 search
37.28 run=14 nbConstraintChecks=26414115 nbValidityChecks=51577593 nbPropagations=805056 nbRevisions=10236043
37.28 nbUselessRevisions=8045071 nbAssignments=21865 nbFailedAssignments=13006 nbBacktracks=8737 nbVisitedNodes=40591
37.28 nbRestartNogoods=100
37.28 => wckTime=35.477 cpuTime=35.36 mem=35M224
58.51
58.51 search
58.51 run=15 nbConstraintChecks=42356416 nbValidityChecks=81583439 nbPropagations=1206512 nbRevisions=15489908
58.51 nbUselessRevisions=12205585 nbAssignments=32910 nbFailedAssignments=19667 nbBacktracks=13115
58.51 nbVisitedNodes=61446 nbRestartNogoods=115
58.51 => wckTime=56.709 cpuTime=56.58 mem=35M224
84.83
84.83 search
84.83 run=16 nbConstraintChecks=62430748 nbValidityChecks=120619067 nbPropagations=1811812 nbRevisions=23297947
84.83 nbUselessRevisions=18382650 nbAssignments=49931 nbFailedAssignments=30113 nbBacktracks=19685
84.83 nbVisitedNodes=93217 nbRestartNogoods=135
84.83 => wckTime=83.02 cpuTime=82.89 mem=35M224
123.19
123.19 search
123.19 run=17 nbConstraintChecks=91407928 nbValidityChecks=177329638 nbPropagations=2711952 nbRevisions=34838119
123.19 nbUselessRevisions=27511543 nbAssignments=74573 nbFailedAssignments=44889 nbBacktracks=29537
123.19 nbVisitedNodes=138921 nbRestartNogoods=153
123.19 => wckTime=121.385 cpuTime=121.24 mem=35M224
189.53
189.53 search
189.53 run=18 nbConstraintChecks=140490636 nbValidityChecks=272111720 nbPropagations=4065267 nbRevisions=52354836
189.53 nbUselessRevisions=41382936 nbAssignments=110503 nbFailedAssignments=66035 nbBacktracks=44315
189.53 nbVisitedNodes=206158 nbRestartNogoods=166
189.53 => wckTime=187.723 cpuTime=187.57 mem=35M224
280.32
280.32 search
280.32 run=19 nbConstraintChecks=210718586 nbValidityChecks=409006091 nbPropagations=6150981 nbRevisions=78999853
280.32 nbUselessRevisions=62406216 nbAssignments=173901 nbFailedAssignments=107258 nbBacktracks=66483
280.32 nbVisitedNodes=325499 nbRestartNogoods=176
280.32 => wckTime=278.511 cpuTime=278.34 mem=35M224
404.78
404.78 search
404.78 run=20 nbConstraintChecks=302125910 nbValidityChecks=590686610 nbPropagations=9145770 nbRevisions=117712196
404.78 nbUselessRevisions=92971458 nbAssignments=247401 nbFailedAssignments=147468 nbBacktracks=99736
404.78 nbVisitedNodes=460053 nbRestartNogoods=202
404.78 => wckTime=402.975 cpuTime=402.77 mem=35M224
640.89
640.89 search
640.89 run=21 nbConstraintChecks=478225785 nbValidityChecks=919737970 nbPropagations=13778800 nbRevisions=176703181
640.89 nbUselessRevisions=139400565 nbAssignments=371231 nbFailedAssignments=221416 nbBacktracks=149614
640.89 nbVisitedNodes=693136 nbRestartNogoods=234
640.89 => wckTime=639.088 cpuTime=638.82 mem=35M224
967.20
967.20 search
967.20 run=22 nbConstraintChecks=723460782 nbValidityChecks=1387641530 nbPropagations=20699353 nbRevisions=265485154
967.20 nbUselessRevisions=209327964 nbAssignments=555877 nbFailedAssignments=331238 nbBacktracks=224432
967.20 nbVisitedNodes=1038379 nbRestartNogoods=254
967.20 => wckTime=965.39 cpuTime=965.04 mem=35M224
1561.18
1561.18 search
1561.18 run=23 nbConstraintChecks=1167146616 nbValidityChecks=2210911243 nbPropagations=31443258 nbRevisions=403489985
1561.18 nbUselessRevisions=318043777 nbAssignments=840232 nbFailedAssignments=503359 nbBacktracks=336661
1561.18 nbVisitedNodes=1578324 nbRestartNogoods=276
1561.18 => wckTime=1559.376 cpuTime=1558.89 mem=35M224
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-195857-1168115315 -o ROOT/results/node29/solver-195857-1168115315 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195857-1168115315/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.72 2.58 2.75 2/78 28775
/proc/meminfo: memFree=1858160/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=18540 CPUtime=0
/proc/28774/stat : 28774 (runsolver) D 28772 28774 27434 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 159925600 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221780700455 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/28774/statm: 4635 279 244 17 0 2626 0
[startup+0.105665 s]
/proc/loadavg: 1.72 2.58 2.75 2/78 28775
/proc/meminfo: memFree=1858160/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=9600 CPUtime=0
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 374 0 5 0 0 0 0 0 18 0 1 0 159925600 9830400 167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4129572 0 0 4096 0 0 0 0 17 0 0 0
/proc/28774/statm: 2400 167 130 14 0 1138 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9600
[startup+0.51369 s]
/proc/loadavg: 1.72 2.58 2.75 2/78 28775
/proc/meminfo: memFree=1858160/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=915148 CPUtime=0.28
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 4917 0 34 0 24 4 0 0 16 0 8 0 159925600 937111552 4697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28774/statm: 228787 4697 1940 14 0 215275 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 915148
[startup+1.33575 s]
/proc/loadavg: 1.66 2.55 2.74 2/85 28782
/proc/meminfo: memFree=1797560/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=915328 CPUtime=1.06
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 19074 0 43 0 95 11 0 0 16 0 8 0 159925600 937295872 18853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 228832 18853 2160 14 0 215302 0
[pid=28774/tid=28776] ppid=28772 vsize=915328 CPUtime=0.05
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 2658 0 0 0 5 0 0 0 16 0 8 0 159925616 937295872 18853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=915328 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159925616 937295872 18853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=915328 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 159925616 937295872 18853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=915328 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 937295872 18853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=915328 CPUtime=0.1
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 319 0 0 0 10 0 0 0 16 0 8 0 159925625 937295872 18853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28781] ppid=28772 vsize=915328 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 937295872 18853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=915328 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159925625 937295872 18853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 915328
[startup+2.97565 s]
/proc/loadavg: 1.66 2.55 2.74 2/85 28782
/proc/meminfo: memFree=1765240/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=2.7
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23368 0 43 0 256 14 0 0 17 0 8 0 159925600 938434560 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073769986 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23145 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 17 0 8 0 159925616 938434560 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.2
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 370 0 0 0 19 1 0 0 15 0 8 0 159925625 938434560 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 916440
[startup+6.25985 s]
/proc/loadavg: 1.61 2.52 2.73 2/85 28782
/proc/meminfo: memFree=1765184/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=5.98
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23385 0 43 0 584 14 0 0 19 0 8 0 159925600 938434560 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750763 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23158 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 17 0 8 0 159925616 938434560 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.23
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 384 0 0 0 22 1 0 0 15 0 8 0 159925625 938434560 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 916440
[startup+12.7343 s]
/proc/loadavg: 1.56 2.50 2.72 2/85 28782
/proc/meminfo: memFree=1765120/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=12.44
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23390 0 43 0 1230 14 0 0 25 0 8 0 159925600 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23162 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) R 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 916440
[startup+25.588 s]
/proc/loadavg: 1.47 2.45 2.70 2/85 28782
/proc/meminfo: memFree=1765440/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=25.3
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23390 0 43 0 2515 15 0 0 25 0 8 0 159925600 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23162 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 916440
[startup+51.2716 s]
/proc/loadavg: 1.29 2.31 2.64 2/85 28782
/proc/meminfo: memFree=1765568/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=50.98
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 5083 15 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23163 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 916440
[startup+102.531 s]
/proc/loadavg: 1.12 2.10 2.55 2/85 28782
/proc/meminfo: memFree=1765568/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=102.22
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 10207 15 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23163 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 916440
[startup+162.626 s]
/proc/loadavg: 1.04 1.90 2.45 2/85 28782
/proc/meminfo: memFree=1765504/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=162.31
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 16215 16 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.96
Current children cumulated vsize (KiB) 916440
[startup+1484.69 s]
/proc/loadavg: 1.00 1.00 1.32 2/85 28782
/proc/meminfo: memFree=1763784/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=1484.05
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 148380 25 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754866 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23163 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1484.05
Current children cumulated vsize (KiB) 916440
[startup+1544.79 s]
/proc/loadavg: 1.00 1.00 1.30 2/85 28782
/proc/meminfo: memFree=1763720/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=1544.13
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 154388 25 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750070 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23163 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1544.13
Current children cumulated vsize (KiB) 916440
[startup+1604.88 s]
/proc/loadavg: 1.00 1.00 1.27 2/85 28782
/proc/meminfo: memFree=1763592/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=1604.21
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 160395 26 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23163 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1604.21
Current children cumulated vsize (KiB) 916440
[startup+1664.98 s]
/proc/loadavg: 1.00 1.00 1.26 2/85 28782
/proc/meminfo: memFree=1763592/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=1664.29
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 166403 26 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807636 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23163 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.29
Current children cumulated vsize (KiB) 916440
[startup+1725.07 s]
/proc/loadavg: 1.00 1.00 1.24 3/85 28782
/proc/meminfo: memFree=1763464/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=1724.36
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 172410 26 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757226 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23163 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.36
Current children cumulated vsize (KiB) 916440
[startup+1785.16 s]
/proc/loadavg: 1.00 1.00 1.22 2/85 28782
/proc/meminfo: memFree=1763336/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=1784.44
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 178417 27 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23163 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.44
Current children cumulated vsize (KiB) 916440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.78 s]
/proc/loadavg: 1.00 1.00 1.21 2/85 28782
/proc/meminfo: memFree=1763336/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=1800.07
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 179980 27 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23163 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 916440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.84
CPU time (s): 1800.13
CPU user time (s): 1799.84
CPU system time (s): 0.289955
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (KiB): 916440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.289955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23409
page faults= 43
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37409
involuntary context switches= 4590
runsolver used 1.93871 s user time and 4.45332 s system time
The end
Begin job on node29 on Sat Jan 6 20:28:35 UTC 2007
IDJOB= 195857
IDBENCH= 3307
FILE ID= node29/195857-1168115315
PBS_JOBID= 3477404
Free space on /tmp= 66545 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-36_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195857-1168115315/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-195857-1168115315 -o ROOT/results/node29/solver-195857-1168115315 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195857-1168115315/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f30eb18bfd25ea1f67b84401c08189b2
RANDOM SEED= 613605538
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.241
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.241
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: 1858960 kB
Buffers: 32776 kB
Cached: 49540 kB
SwapCached: 32 kB
Active: 97948 kB
Inactive: 37820 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1858960 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 4732 kB
Writeback: 0 kB
Mapped: 71396 kB
Slab: 46504 kB
Committed_AS: 3128900 kB
PageTables: 2000 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= 66545 MiB
End job on node29 on Sat Jan 6 20:58:36 UTC 2007