0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/203235-1168158178/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.57
1.57 constraints being loaded...
2.35 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.35 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.35 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
2.35 => wckTime=2.024 cpuTime=1.6 mem=58M36
2.51
2.51 solver IterativeSystematicSolver being built...
2.68 => wckTime=2.361 cpuTime=1.76 mem=65M618
2.84
2.84 preprocessing
2.84 nbConstraintChecks=53829 nbValidityChecks=87362 nbPropagations=276 nbRevisions=3227 nbUselessRevisions=2797
2.84 nbSingletonTests=37 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.84 => wckTime=0.148 cpuTime=0.11 mem=65M618
2.95
2.95 search
2.95 run=0 nbConstraintChecks=52909 nbValidityChecks=108497 nbPropagations=777 nbRevisions=9536
2.95 nbUselessRevisions=8000 nbAssignments=44 nbFailedAssignments=26 nbBacktracks=12 nbVisitedNodes=79
2.95 nbRestartNogoods=0 mapSize=12 nbInferences=0 nbTooLargeKeys=0
2.95 => wckTime=0.263 cpuTime=0.22 mem=66M626
3.07
3.07 search
3.07 run=1 nbConstraintChecks=110262 nbValidityChecks=229588 nbPropagations=2047 nbRevisions=25844
3.07 nbUselessRevisions=21578 nbAssignments=90 nbFailedAssignments=48 nbBacktracks=27 nbVisitedNodes=158
3.07 nbRestartNogoods=2 mapSize=26 nbInferences=0 nbTooLargeKeys=0
3.07 => wckTime=0.378 cpuTime=0.33 mem=66M626
3.21
3.21 search
3.21 run=2 nbConstraintChecks=185163 nbValidityChecks=394426 nbPropagations=4005 nbRevisions=51637
3.21 nbUselessRevisions=43064 nbAssignments=165 nbFailedAssignments=85 nbBacktracks=49 nbVisitedNodes=272
3.21 nbRestartNogoods=7 mapSize=44 nbInferences=0 nbTooLargeKeys=0
3.21 => wckTime=0.52 cpuTime=0.46 mem=66M626
3.37
3.37 search
3.37 run=3 nbConstraintChecks=280810 nbValidityChecks=591263 nbPropagations=6854 nbRevisions=89179
3.37 nbUselessRevisions=74267 nbAssignments=249 nbFailedAssignments=130 nbBacktracks=82 nbVisitedNodes=422
3.37 nbRestartNogoods=9 mapSize=71 nbInferences=0 nbTooLargeKeys=0
3.37 => wckTime=0.686 cpuTime=0.63 mem=66M626
3.72
3.72 search
3.72 run=4 nbConstraintChecks=471961 nbValidityChecks=978058 nbPropagations=11465 nbRevisions=149613
3.72 nbUselessRevisions=123826 nbAssignments=404 nbFailedAssignments=228 nbBacktracks=134 nbVisitedNodes=709
3.72 nbRestartNogoods=13 mapSize=118 nbInferences=0 nbTooLargeKeys=0
3.72 => wckTime=1.027 cpuTime=0.96 mem=66M626
4.29
4.29 search
4.29 run=5 nbConstraintChecks=811119 nbValidityChecks=1667779 nbPropagations=18721 nbRevisions=246912
4.29 nbUselessRevisions=203559 nbAssignments=673 nbFailedAssignments=393 nbBacktracks=210 nbVisitedNodes=1171
4.29 nbRestartNogoods=22 mapSize=180 nbInferences=0 nbTooLargeKeys=0
4.29 => wckTime=1.601 cpuTime=1.52 mem=66M626
5.11
5.11 search
5.11 run=6 nbConstraintChecks=1289137 nbValidityChecks=2638869 nbPropagations=29909 nbRevisions=398083
5.11 nbUselessRevisions=326861 nbAssignments=1016 nbFailedAssignments=580 nbBacktracks=323 nbVisitedNodes=1736
5.11 nbRestartNogoods=29 mapSize=282 nbInferences=0 nbTooLargeKeys=0
5.11 => wckTime=2.425 cpuTime=2.33 mem=66M626
6.00
6.00 search
6.00 run=7 nbConstraintChecks=1800219 nbValidityChecks=3673979 nbPropagations=45748 nbRevisions=607462
6.00 nbUselessRevisions=497167 nbAssignments=1400 nbFailedAssignments=787 nbBacktracks=493 nbVisitedNodes=2430
6.00 nbRestartNogoods=31 mapSize=425 nbInferences=0 nbTooLargeKeys=0
6.00 => wckTime=3.318 cpuTime=3.21 mem=66M626
8.12
8.12 search
8.12 run=8 nbConstraintChecks=3087648 nbValidityChecks=6370170 nbPropagations=72201 nbRevisions=964222
8.12 nbUselessRevisions=786356 nbAssignments=2514 nbFailedAssignments=1627 nbBacktracks=750 nbVisitedNodes=4554
8.12 nbRestartNogoods=40 mapSize=658 nbInferences=0 nbTooLargeKeys=0
8.12 => wckTime=5.43 cpuTime=5.28 mem=66M626
10.29
10.29 search
10.29 run=9 nbConstraintChecks=4347249 nbValidityChecks=9116331 nbPropagations=111593 nbRevisions=1488604
10.29 nbUselessRevisions=1212858 nbAssignments=3634 nbFailedAssignments=2303 nbBacktracks=1134 nbVisitedNodes=6568
10.29 nbRestartNogoods=55 mapSize=1023 nbInferences=0 nbTooLargeKeys=0
10.29 => wckTime=7.602 cpuTime=7.42 mem=66M626
10.39
10.39 INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=66M626)
13.69
13.69 search
13.69 run=10 nbConstraintChecks=6315787 nbValidityChecks=13196520 nbPropagations=170560 nbRevisions=2257849
13.69 nbUselessRevisions=1835541 nbAssignments=5041 nbFailedAssignments=3125 nbBacktracks=1711 nbVisitedNodes=9219
13.69 nbRestartNogoods=59
13.69 => wckTime=11.001 cpuTime=10.79 mem=66M626
18.45
18.45 search
18.45 run=11 nbConstraintChecks=9211523 nbValidityChecks=19370575 nbPropagations=255568 nbRevisions=3386145
18.45 nbUselessRevisions=2753064 nbAssignments=7510 nbFailedAssignments=4725 nbBacktracks=2575 nbVisitedNodes=13831
18.45 nbRestartNogoods=71
18.45 => wckTime=15.764 cpuTime=15.5 mem=66M626
26.08
26.08 search
26.08 run=12 nbConstraintChecks=13838817 nbValidityChecks=28918116 nbPropagations=383162 nbRevisions=5076572
26.08 nbUselessRevisions=4124295 nbAssignments=10902 nbFailedAssignments=6814 nbBacktracks=3872 nbVisitedNodes=20184
26.08 nbRestartNogoods=76
26.08 => wckTime=23.398 cpuTime=23.07 mem=66M626
36.26
36.26 search
36.26 run=13 nbConstraintChecks=20183916 nbValidityChecks=42228305 nbPropagations=575083 nbRevisions=7590328
36.26 nbUselessRevisions=6160722 nbAssignments=15756 nbFailedAssignments=9715 nbBacktracks=5819 nbVisitedNodes=29333
36.26 nbRestartNogoods=88
36.26 => wckTime=33.574 cpuTime=33.23 mem=66M626
52.65
52.65 search
52.65 run=14 nbConstraintChecks=30566903 nbValidityChecks=63712039 nbPropagations=855415 nbRevisions=11337349
52.65 nbUselessRevisions=9206702 nbAssignments=24210 nbFailedAssignments=15242 nbBacktracks=8738 nbVisitedNodes=45169
52.65 nbRestartNogoods=100
52.65 => wckTime=49.963 cpuTime=49.59 mem=66M626
74.99
74.99 search
74.99 run=15 nbConstraintChecks=45029976 nbValidityChecks=93839874 nbPropagations=1272510 nbRevisions=16853511
74.99 nbUselessRevisions=13680213 nbAssignments=35096 nbFailedAssignments=21744 nbBacktracks=13117
74.99 nbVisitedNodes=65474 nbRestartNogoods=113
74.99 => wckTime=72.302 cpuTime=71.9 mem=66M626
107.29
107.29 search
107.29 run=16 nbConstraintChecks=65439827 nbValidityChecks=136166850 nbPropagations=1894009 nbRevisions=24938702
107.29 nbUselessRevisions=20219054 nbAssignments=50426 nbFailedAssignments=30500 nbBacktracks=19686
107.29 nbVisitedNodes=94028 nbRestartNogoods=129
107.29 => wckTime=104.605 cpuTime=104.15 mem=66M626
156.65
156.65 search
156.65 run=17 nbConstraintChecks=96412263 nbValidityChecks=201286148 nbPropagations=2795844 nbRevisions=36800730
156.65 nbUselessRevisions=29844227 nbAssignments=76238 nbFailedAssignments=46455 nbBacktracks=29539
156.65 nbVisitedNodes=141792 nbRestartNogoods=136
156.65 => wckTime=153.962 cpuTime=153.45 mem=66M626
236.85
236.85 search
236.85 run=18 nbConstraintChecks=146248087 nbValidityChecks=303843348 nbPropagations=4168568 nbRevisions=54815830
236.85 nbUselessRevisions=44451774 nbAssignments=114611 nbFailedAssignments=70043 nbBacktracks=44317
236.85 nbVisitedNodes=213342 nbRestartNogoods=146
236.85 => wckTime=234.162 cpuTime=233.58 mem=66M626
358.05
358.05 search
358.05 run=19 nbConstraintChecks=221287055 nbValidityChecks=457918318 nbPropagations=6241024 nbRevisions=82078808
358.05 nbUselessRevisions=66548775 nbAssignments=173467 nbFailedAssignments=106723 nbBacktracks=66487
358.05 nbVisitedNodes=323783 nbRestartNogoods=158
358.05 => wckTime=355.363 cpuTime=354.65 mem=66M626
543.35
543.35 search
543.35 run=20 nbConstraintChecks=333422724 nbValidityChecks=691722573 nbPropagations=9398774 nbRevisions=123411760
543.35 nbUselessRevisions=100014543 nbAssignments=257275 nbFailedAssignments=157275 nbBacktracks=99740
543.35 nbVisitedNodes=480760 nbRestartNogoods=173
543.35 => wckTime=540.662 cpuTime=539.77 mem=66M626
801.99
801.99 search
801.99 run=21 nbConstraintChecks=494195321 nbValidityChecks=1030778437 nbPropagations=14030516 nbRevisions=184606819
801.99 nbUselessRevisions=149681121 nbAssignments=389042 nbFailedAssignments=239156 nbBacktracks=149619
801.99 nbVisitedNodes=725532 nbRestartNogoods=201
801.99 => wckTime=799.299 cpuTime=798.17 mem=66M626
1214.49
1214.49 search
1214.49 run=22 nbConstraintChecks=745314129 nbValidityChecks=1551352515 nbPropagations=21066003 nbRevisions=276922059
1214.49 nbUselessRevisions=224423430 nbAssignments=574698 nbFailedAssignments=349987 nbBacktracks=224437
1214.49 nbVisitedNodes=1072085 nbRestartNogoods=215
1214.49 => wckTime=1211.806 cpuTime=1210.24 mem=66M626
1784.38
1784.38 search
1784.38 run=23 nbConstraintChecks=1097525547 nbValidityChecks=2292927754 nbPropagations=31328568 nbRevisions=412243365
1784.38 nbUselessRevisions=334204949 nbAssignments=865675 nbFailedAssignments=528719 nbBacktracks=336664
1784.38 nbVisitedNodes=1609947 nbRestartNogoods=229
1784.38 => wckTime=1781.69 cpuTime=1779.61 mem=66M626
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-203235-1168158178 -o ROOT/results/node58/solver-203235-1168158178 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203235-1168158178/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.04 1.99 2/80 19929
/proc/meminfo: memFree=1227600/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=18540 CPUtime=0
/proc/19928/stat : 19928 (runsolver) R 19926 19928 19230 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 164215926 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226238197031 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19928/statm: 4635 279 244 17 0 2626 0
[startup+0.103116 s]
/proc/loadavg: 2.00 2.04 1.99 2/80 19929
/proc/meminfo: memFree=1227600/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=912908 CPUtime=0.07
/proc/19928/stat : 19928 (java) S 19926 19928 19230 0 -1 0 2832 0 1 0 6 1 0 0 19 0 8 0 164215926 934817792 2578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19928/statm: 228227 2578 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912908
[startup+0.51315 s]
/proc/loadavg: 2.00 2.04 1.99 2/80 19929
/proc/meminfo: memFree=1227600/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915328 CPUtime=0.48
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 7442 0 1 0 44 4 0 0 18 0 8 0 164215926 937295872 7181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073560950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19928/statm: 228832 7181 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33422 s]
/proc/loadavg: 2.00 2.04 1.99 3/87 19936
/proc/meminfo: memFree=1160472/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915328 CPUtime=1.29
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 19099 0 1 0 118 11 0 0 25 0 8 0 164215926 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565695 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19928/statm: 228832 18837 2149 14 0 215302 0
[pid=19928/tid=19930] ppid=19926 vsize=915328 CPUtime=0.05
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 2680 0 0 0 4 1 0 0 17 0 8 0 164215930 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915328 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915328 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915328 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915328 CPUtime=0.07
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 308 0 0 0 7 0 0 0 16 0 8 0 164215934 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915328 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915328 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915328
[startup+2.97136 s]
/proc/loadavg: 2.00 2.04 1.99 4/87 19936
/proc/meminfo: memFree=1119960/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=2.91
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32572 0 1 0 273 18 0 0 25 0 8 0 164215926 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634858 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19928/statm: 228860 32307 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 17 0 8 0 164215930 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.19
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 373 0 0 0 18 1 0 0 15 0 8 0 164215934 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915440
[startup+6.26465 s]
/proc/loadavg: 2.00 2.04 1.99 3/87 19936
/proc/meminfo: memFree=1107864/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=6.17
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32589 0 1 0 599 18 0 0 25 0 8 0 164215926 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815579 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19928/statm: 228860 32321 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 17 0 8 0 164215930 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.24
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 388 0 0 0 22 2 0 0 16 0 8 0 164215934 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915440
[startup+12.7462 s]
/proc/loadavg: 2.00 2.04 1.99 3/87 19936
/proc/meminfo: memFree=1107992/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=12.59
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32604 0 1 0 1240 19 0 0 25 0 8 0 164215926 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19928/statm: 228860 32332 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915440
[startup+25.6273 s]
/proc/loadavg: 2.00 2.04 1.99 3/87 19936
/proc/meminfo: memFree=1108184/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=25.36
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32606 0 1 0 2517 19 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915440
[startup+51.2625 s]
/proc/loadavg: 2.15 2.07 2.00 3/88 20008
/proc/meminfo: memFree=976144/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=50.93
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32606 0 1 0 5074 19 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915440
[startup+102.53 s]
/proc/loadavg: 2.13 2.08 2.00 3/88 20008
/proc/meminfo: memFree=859088/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=102.14
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32606 0 1 0 10194 20 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 915440
[startup+162.557 s]
/proc/loadavg: 2.05 2.06 2.00 3/81 20009
/proc/meminfo: memFree=1079944/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=162.1
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32607 0 1 0 16190 20 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856423 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.4
Current children cumulated vsize (KiB) 915440
[startup+1483.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20009
/proc/meminfo: memFree=947016/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=1481.34
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32607 0 1 0 148110 24 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.34
Current children cumulated vsize (KiB) 915440
[startup+1543.12 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20009
/proc/meminfo: memFree=943688/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=1541.31
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32607 0 1 0 154107 24 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.31
Current children cumulated vsize (KiB) 915440
[startup+1603.14 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20009
/proc/meminfo: memFree=940808/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=1601.28
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32607 0 1 0 160104 24 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.28
Current children cumulated vsize (KiB) 915440
[startup+1663.17 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20009
/proc/meminfo: memFree=936520/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=1661.24
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32607 0 1 0 166100 24 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799159 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.24
Current children cumulated vsize (KiB) 915440
[startup+1723.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20009
/proc/meminfo: memFree=931912/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=1721.22
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32607 0 1 0 172098 24 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634775 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.22
Current children cumulated vsize (KiB) 915440
[startup+1783.23 s]
/proc/loadavg: 2.05 2.01 2.00 3/81 20009
/proc/meminfo: memFree=926728/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=1781.19
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32607 0 1 0 178095 24 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660660 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.19
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.07 s]
/proc/loadavg: 2.03 2.01 2.00 4/81 20009
/proc/meminfo: memFree=925768/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=1800.01
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32607 0 1 0 179977 24 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634858 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.13
CPU time (s): 1800.08
CPU user time (s): 1799.81
CPU system time (s): 0.267959
CPU usage (%): 99.8862
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.267959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32623
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= 37606
involuntary context switches= 9720
runsolver used 2.68459 s user time and 5.31119 s system time
The end
Begin job on node58 on Sun Jan 7 08:23:00 UTC 2007
IDJOB= 203235
IDBENCH= 3939
FILE ID= node58/203235-1168158178
PBS_JOBID= 3478502
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203235-1168158178/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-203235-1168158178 -o ROOT/results/node58/solver-203235-1168158178 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203235-1168158178/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 92a99292a229da69be6d44bfb207d02f
RANDOM SEED= 865809653
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.223
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.223
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: 1228016 kB
Buffers: 39800 kB
Cached: 578184 kB
SwapCached: 0 kB
Active: 267540 kB
Inactive: 492196 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1228016 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7472 kB
Writeback: 0 kB
Mapped: 161984 kB
Slab: 53260 kB
Committed_AS: 3375364 kB
PageTables: 2004 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= 66509 MiB
End job on node58 on Sun Jan 7 08:53:02 UTC 2007