0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/194262-1168099761/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.41 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.55
0.55 constraints being loaded...
0.69 nbConstraints=463 nbRelationTypes=463 nbExtensionStructures=463 nbSharedExtensionStructures=0
0.69 nbConflictsStructures=463 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2387 maxDegree=30
0.69 maxArity=2
0.69 => wckTime=0.378 cpuTime=0.3 mem=17M826
0.73
0.73 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.575 cpuTime=0.42 mem=15M573
0.94
0.94 preprocessing
0.94 nbConstraintChecks=93802 nbPropagations=1082 nbRevisions=8401 nbUselessRevisions=7079 nbSingletonTests=56
0.94 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.94 => wckTime=0.051 cpuTime=0.04 mem=15M573
0.97
0.97 search
0.97 run=0 nbConstraintChecks=51515 nbPropagations=1715 nbRevisions=16304 nbUselessRevisions=13732 nbAssignments=32
0.97 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.08 cpuTime=0.06 mem=15M573
0.99
0.99 search
0.99 run=1 nbConstraintChecks=116495 nbPropagations=4248 nbRevisions=43634 nbUselessRevisions=36625
0.99 nbAssignments=70 nbFailedAssignments=19 nbBacktracks=27 nbVisitedNodes=105 nbRestartNogoods=3 mapSize=22
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.101 cpuTime=0.07 mem=15M573
1.01
1.01 search
1.01 run=2 nbConstraintChecks=227049 nbPropagations=8082 nbRevisions=86897 nbUselessRevisions=72747
1.01 nbAssignments=136 nbFailedAssignments=31 nbBacktracks=50 nbVisitedNodes=176 nbRestartNogoods=6 mapSize=39
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.121 cpuTime=0.09 mem=15M573
1.03
1.03 search
1.03 run=3 nbConstraintChecks=361216 nbPropagations=13380 nbRevisions=151122 nbUselessRevisions=125679
1.03 nbAssignments=204 nbFailedAssignments=55 nbBacktracks=84 nbVisitedNodes=288 nbRestartNogoods=8 mapSize=65
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.146 cpuTime=0.11 mem=15M573
1.07
1.07 search
1.07 run=4 nbConstraintChecks=566603 nbPropagations=21100 nbRevisions=245914 nbUselessRevisions=203985
1.07 nbAssignments=332 nbFailedAssignments=87 nbBacktracks=135 nbVisitedNodes=437 nbRestartNogoods=14 mapSize=104
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.181 cpuTime=0.15 mem=15M573
1.11
1.11 search
1.11 run=5 nbConstraintChecks=782758 nbPropagations=31479 nbRevisions=380066 nbUselessRevisions=314776
1.11 nbAssignments=466 nbFailedAssignments=135 nbBacktracks=210 nbVisitedNodes=658 nbRestartNogoods=16 mapSize=164
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.223 cpuTime=0.19 mem=15M573
1.18
1.18 search
1.18 run=6 nbConstraintChecks=1220473 nbPropagations=46618 nbRevisions=585211 nbUselessRevisions=483691
1.18 nbAssignments=699 nbFailedAssignments=226 nbBacktracks=324 nbVisitedNodes=1032 nbRestartNogoods=22 mapSize=263
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.294 cpuTime=0.26 mem=15M573
1.25
1.25 search
1.25 run=7 nbConstraintChecks=1600543 nbPropagations=66946 nbRevisions=867570 nbUselessRevisions=716504
1.25 nbAssignments=971 nbFailedAssignments=315 nbBacktracks=494 nbVisitedNodes=1488 nbRestartNogoods=28 mapSize=400
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.367 cpuTime=0.33 mem=15M573
1.37
1.37 search
1.37 run=8 nbConstraintChecks=2214710 nbPropagations=95205 nbRevisions=1270527 nbUselessRevisions=1049298
1.37 nbAssignments=1384 nbFailedAssignments=462 nbBacktracks=754 nbVisitedNodes=2177 nbRestartNogoods=32
1.37 mapSize=607 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.482 cpuTime=0.44 mem=15M573
1.56
1.56 search
1.56 run=9 nbConstraintChecks=3345497 nbPropagations=136304 nbRevisions=1866864 nbUselessRevisions=1538405
1.56 nbAssignments=2029 nbFailedAssignments=712 nbBacktracks=1140 nbVisitedNodes=3281 nbRestartNogoods=33
1.56 mapSize=919 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.674 cpuTime=0.62 mem=15M573
1.61
1.61 INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=15M573)
1.80
1.80 search
1.80 run=10 nbConstraintChecks=4753337 nbPropagations=195095 nbRevisions=2730943 nbUselessRevisions=2247490
1.80 nbAssignments=2936 nbFailedAssignments=1032 nbBacktracks=1717 nbVisitedNodes=4814 nbRestartNogoods=40
1.80 => wckTime=0.912 cpuTime=0.84 mem=15M573
2.19
2.19 search
2.19 run=11 nbConstraintChecks=7519851 nbPropagations=283483 nbRevisions=4030981 nbUselessRevisions=3308363
2.19 nbAssignments=4395 nbFailedAssignments=1602 nbBacktracks=2581 nbVisitedNodes=7295 nbRestartNogoods=47
2.19 => wckTime=1.301 cpuTime=1.23 mem=15M573
2.67
2.67 search
2.67 run=12 nbConstraintChecks=10571722 nbPropagations=410648 nbRevisions=5916101 nbUselessRevisions=4848876
2.67 nbAssignments=6424 nbFailedAssignments=2324 nbBacktracks=3878 nbVisitedNodes=10725 nbRestartNogoods=54
2.67 => wckTime=1.784 cpuTime=1.71 mem=15M573
3.43
3.43 search
3.43 run=13 nbConstraintChecks=15623334 nbPropagations=597504 nbRevisions=8717189 nbUselessRevisions=7140612
3.43 nbAssignments=9526 nbFailedAssignments=3473 nbBacktracks=5824 nbVisitedNodes=15983 nbRestartNogoods=65
3.43 => wckTime=2.541 cpuTime=2.47 mem=15M573
4.65
4.65 search
4.65 run=14 nbConstraintChecks=23980164 nbPropagations=878450 nbRevisions=12964831 nbUselessRevisions=10610544
4.65 nbAssignments=14343 nbFailedAssignments=5361 nbBacktracks=8743 nbVisitedNodes=24219 nbRestartNogoods=73
4.65 => wckTime=3.766 cpuTime=3.69 mem=15M573
6.26
6.26 search
6.26 run=15 nbConstraintChecks=34079248 nbPropagations=1287800 nbRevisions=19177460 nbUselessRevisions=15698321
6.26 nbAssignments=21245 nbFailedAssignments=7872 nbBacktracks=13123 nbVisitedNodes=35914 nbRestartNogoods=78
6.26 => wckTime=5.375 cpuTime=5.3 mem=16M548
9.19
9.19 search
9.19 run=16 nbConstraintChecks=54194793 nbPropagations=1922009 nbRevisions=28872154 nbUselessRevisions=23631322
9.19 nbAssignments=32198 nbFailedAssignments=12245 nbBacktracks=19691 nbVisitedNodes=54891 nbRestartNogoods=84
9.19 => wckTime=8.303 cpuTime=8.23 mem=16M548
13.11
13.11 search
13.11 run=17 nbConstraintChecks=80859822 nbPropagations=2857393 nbRevisions=43174629 nbUselessRevisions=35327237
13.11 nbAssignments=47697 nbFailedAssignments=17881 nbBacktracks=29545 nbVisitedNodes=81020 nbRestartNogoods=91
13.11 => wckTime=12.223 cpuTime=12.15 mem=16M548
18.48
18.48 search
18.48 run=18 nbConstraintChecks=115807880 nbPropagations=4224528 nbRevisions=64038301 nbUselessRevisions=52417138
18.48 nbAssignments=70591 nbFailedAssignments=25978 nbBacktracks=44326 nbVisitedNodes=119485 nbRestartNogoods=100
18.48 => wckTime=17.595 cpuTime=17.52 mem=16M548
27.29
27.29 search
27.29 run=19 nbConstraintChecks=173820971 nbPropagations=6288080 nbRevisions=95608545 nbUselessRevisions=78289384
27.29 nbAssignments=106141 nbFailedAssignments=39351 nbBacktracks=66494 nbVisitedNodes=180132 nbRestartNogoods=114
27.29 => wckTime=26.403 cpuTime=26.32 mem=16M548
40.66
40.66 search
40.66 run=20 nbConstraintChecks=264603025 nbPropagations=9394048 nbRevisions=142967787 nbUselessRevisions=117018500
40.66 nbAssignments=159034 nbFailedAssignments=58980 nbBacktracks=99746 nbVisitedNodes=269922 nbRestartNogoods=128
40.66 => wckTime=39.771 cpuTime=39.68 mem=16M548
59.79
59.79 search
59.79 run=21 nbConstraintChecks=385982565 nbPropagations=14030978 nbRevisions=213958227 nbUselessRevisions=175244155
59.79 nbAssignments=238884 nbFailedAssignments=88940 nbBacktracks=149626 nbVisitedNodes=406141 nbRestartNogoods=144
59.79 => wckTime=58.903 cpuTime=58.8 mem=16M548
92.54
92.54 search
92.54 run=22 nbConstraintChecks=613585232 nbPropagations=21177918 nbRevisions=323521920 nbUselessRevisions=264865013
92.54 nbAssignments=361613 nbFailedAssignments=136840 nbBacktracks=224447 nbVisitedNodes=617517 nbRestartNogoods=156
92.54 => wckTime=91.652 cpuTime=91.54 mem=16M548
136.06
136.06 search
136.06 run=23 nbConstraintChecks=908078718 nbPropagations=31721257 nbRevisions=484223094 nbUselessRevisions=396127640
136.06 nbAssignments=536155 nbFailedAssignments=199133 nbBacktracks=336675 nbVisitedNodes=910279 nbRestartNogoods=175
136.06 => wckTime=135.177 cpuTime=135.05 mem=16M548
202.32
202.38 search
202.38 run=24 nbConstraintChecks=1330449218 nbPropagations=47547983 nbRevisions=726984730 nbUselessRevisions=595090635
202.38 nbAssignments=807555 nbFailedAssignments=302181 nbBacktracks=505016 nbVisitedNodes=1375801 nbRestartNogoods=189
202.38 => wckTime=201.432 cpuTime=201.29 mem=16M548
303.87
303.87 search
303.87 run=25 nbConstraintChecks=2012286784 nbPropagations=71295313 nbRevisions=1092106358
303.87 nbUselessRevisions=894238638 nbAssignments=1211885 nbFailedAssignments=453987 nbBacktracks=757530
303.87 nbVisitedNodes=2065585 nbRestartNogoods=203
303.87 => wckTime=302.984 cpuTime=302.81 mem=16M548
457.72
457.72 search
457.72 run=26 nbConstraintChecks=3022863036 nbPropagations=107028661 nbRevisions=1645684484
457.72 nbUselessRevisions=1348545617 nbAssignments=1827036 nbFailedAssignments=690359 nbBacktracks=1136297
457.72 nbVisitedNodes=3120980 nbRestartNogoods=223
457.72 => wckTime=456.837 cpuTime=456.62 mem=16M548
463.64
463.64 search
463.64 run=27 nbConstraintChecks=3061408552 nbPropagations=143240396 nbRevisions=2206330782
463.64 nbUselessRevisions=1808621440 nbAssignments=1852654 nbFailedAssignments=699344 nbBacktracks=1152857
463.64 nbVisitedNodes=3164077 nbRestartNogoods=243
463.64 => wckTime=462.754 cpuTime=462.55 mem=16M548
463.64
463.64 global
463.64 nbConstraintChecks=3061502354 nbPropagations=143241478 nbRevisions=2206339183 nbUselessRevisions=1808628519
463.64 nbRestartNogoods=243 solvingWckTime=462.755 solvingCpuTime=462.55 expiredTime=no totalExploration=no
463.64 nbFoundSolutions=1 globalCpuTime=463.02
463.64 => wckTime=463.334 cpuTime=462.97 mem=16M548
463.65
463.65 s SATISFIABLE
463.65 v 18 9 21 7 22 14 3 8 7 0 7 13 1 3 16 10 10 18 17 13 13 2 11 13 9 21 20 9 4 1 6 13 21 22 12 4 17 15 22 7 1 13 9 18 5 21 3 0 16 8
463.65 d NODES 1852654
463.65 d CHECKS 3061502354
463.65
463.65 totalWckTime=463.41 totalCpuTime=463.02
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-194262-1168099761 -o ROOT/results/node58/solver-194262-1168099761 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194262-1168099761/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.05 0.22 0.31 3/68 2920
/proc/meminfo: memFree=1835720/2055920 swapFree=4192812/4192956
[pid=2919] ppid=2917 vsize=1784 CPUtime=0
/proc/2919/stat : 2919 (java) D 2917 2919 2625 0 -1 0 346 0 0 0 0 0 0 0 18 0 1 0 158375073 1826816 140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/2919/statm: 446 140 106 14 0 91 0
[startup+0.10725 s]
/proc/loadavg: 0.05 0.22 0.31 3/68 2920
/proc/meminfo: memFree=1835720/2055920 swapFree=4192812/4192956
[pid=2919] ppid=2917 vsize=914988 CPUtime=0.08
/proc/2919/stat : 2919 (java) R 2917 2919 2625 0 -1 0 2964 0 1 0 6 2 0 0 17 0 8 0 158375073 936947712 2710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 228747 2711 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515283 s]
/proc/loadavg: 0.05 0.22 0.31 3/68 2920
/proc/meminfo: memFree=1835720/2055920 swapFree=4192812/4192956
[pid=2919] ppid=2917 vsize=915328 CPUtime=0.48
/proc/2919/stat : 2919 (java) R 2917 2919 2625 0 -1 0 7114 0 1 0 43 5 0 0 16 0 8 0 158375073 937295872 6853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 228832 6854 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33535 s]
/proc/loadavg: 0.05 0.22 0.31 2/75 2927
/proc/meminfo: memFree=1808208/2055920 swapFree=4192812/4192956
[pid=2919] ppid=2917 vsize=915460 CPUtime=1.29
/proc/2919/stat : 2919 (java) R 2917 2919 2625 0 -1 0 9614 0 1 0 122 7 0 0 17 0 8 0 158375073 937431040 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 228865 9352 2524 14 0 215335 0
[pid=2919/tid=2921] ppid=2917 vsize=915460 CPUtime=0.03
/proc/2919/task/2921/stat : 2921 (java) S 2917 2919 2625 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158375078 937431040 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2919/tid=2922] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2922/stat : 2922 (java) S 2917 2919 2625 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2923] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2923/stat : 2923 (java) S 2917 2919 2625 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2924] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2924/stat : 2924 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158375082 937431040 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2925] ppid=2917 vsize=915460 CPUtime=0.18
/proc/2919/task/2925/stat : 2925 (java) S 2917 2919 2625 0 -1 64 382 0 0 0 18 0 0 0 16 0 8 0 158375082 937431040 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2926] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2926/stat : 2926 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158375082 937431040 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2927] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2927/stat : 2927 (java) S 2917 2919 2625 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158375082 937431040 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.97149 s]
/proc/loadavg: 0.12 0.23 0.32 2/75 2927
/proc/meminfo: memFree=1808144/2055920 swapFree=4192812/4192956
[pid=2919] ppid=2917 vsize=915460 CPUtime=2.93
/proc/2919/stat : 2919 (java) R 2917 2919 2625 0 -1 0 9631 0 1 0 286 7 0 0 17 0 8 0 158375073 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819769 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 228865 9368 2524 14 0 215335 0
[pid=2919/tid=2921] ppid=2917 vsize=915460 CPUtime=0.03
/proc/2919/task/2921/stat : 2921 (java) S 2917 2919 2625 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158375078 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2922/stat : 2922 (java) S 2917 2919 2625 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2923] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2923/stat : 2923 (java) S 2917 2919 2625 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2924] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2924/stat : 2924 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158375082 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2925] ppid=2917 vsize=915460 CPUtime=0.21
/proc/2919/task/2925/stat : 2925 (java) S 2917 2919 2625 0 -1 64 398 0 0 0 21 0 0 0 15 0 8 0 158375082 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2926] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2926/stat : 2926 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158375082 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2927] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2927/stat : 2927 (java) S 2917 2919 2625 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158375082 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.26277 s]
/proc/loadavg: 0.12 0.23 0.32 2/75 2927
/proc/meminfo: memFree=1808080/2055920 swapFree=4192812/4192956
[pid=2919] ppid=2917 vsize=915460 CPUtime=6.22
/proc/2919/stat : 2919 (java) R 2917 2919 2625 0 -1 0 9632 0 1 0 615 7 0 0 22 0 8 0 158375073 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845206 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 228865 9368 2524 14 0 215335 0
[pid=2919/tid=2921] ppid=2917 vsize=915460 CPUtime=0.03
/proc/2919/task/2921/stat : 2921 (java) S 2917 2919 2625 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158375078 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2922/stat : 2922 (java) S 2917 2919 2625 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2923] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2923/stat : 2923 (java) S 2917 2919 2625 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2924] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2924/stat : 2924 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158375082 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2925] ppid=2917 vsize=915460 CPUtime=0.21
/proc/2919/task/2925/stat : 2925 (java) S 2917 2919 2625 0 -1 64 398 0 0 0 21 0 0 0 15 0 8 0 158375082 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2926] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2926/stat : 2926 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158375082 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2927] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2927/stat : 2927 (java) S 2917 2919 2625 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158375082 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460
[startup+12.7303 s]
/proc/loadavg: 0.26 0.25 0.32 2/75 2927
/proc/meminfo: memFree=1808080/2055920 swapFree=4192812/4192956
[pid=2919] ppid=2917 vsize=915460 CPUtime=12.68
/proc/2919/stat : 2919 (java) R 2917 2919 2625 0 -1 0 9632 0 1 0 1261 7 0 0 25 0 8 0 158375073 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 228865 9368 2524 14 0 215335 0
[pid=2919/tid=2921] ppid=2917 vsize=915460 CPUtime=0.03
/proc/2919/task/2921/stat : 2921 (java) S 2917 2919 2625 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158375078 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2922/stat : 2922 (java) S 2917 2919 2625 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2923] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2923/stat : 2923 (java) S 2917 2919 2625 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2924] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2924/stat : 2924 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158375082 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2925] ppid=2917 vsize=915460 CPUtime=0.21
/proc/2919/task/2925/stat : 2925 (java) S 2917 2919 2625 0 -1 64 398 0 0 0 21 0 0 0 15 0 8 0 158375082 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2926] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2926/stat : 2926 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158375082 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2927] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2927/stat : 2927 (java) S 2917 2919 2625 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158375082 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915460
[startup+25.5874 s]
/proc/loadavg: 0.37 0.28 0.33 2/75 2929
/proc/meminfo: memFree=1808016/2055920 swapFree=4192812/4192956
[pid=2919] ppid=2917 vsize=915460 CPUtime=25.54
/proc/2919/stat : 2919 (java) R 2917 2919 2625 0 -1 0 9633 0 1 0 2547 7 0 0 23 0 8 0 158375073 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812570 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 228865 9369 2524 14 0 215335 0
[pid=2919/tid=2921] ppid=2917 vsize=915460 CPUtime=0.03
/proc/2919/task/2921/stat : 2921 (java) S 2917 2919 2625 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158375078 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2922/stat : 2922 (java) S 2917 2919 2625 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2923] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2923/stat : 2923 (java) S 2917 2919 2625 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2924] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2924/stat : 2924 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158375082 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2925] ppid=2917 vsize=915460 CPUtime=0.21
/proc/2919/task/2925/stat : 2925 (java) S 2917 2919 2625 0 -1 64 399 0 0 0 21 0 0 0 16 0 8 0 158375082 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2926] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2926/stat : 2926 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158375082 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2927] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2927/stat : 2927 (java) S 2917 2919 2625 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158375082 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915460
[startup+51.2706 s]
/proc/loadavg: 0.58 0.34 0.35 2/75 2974
/proc/meminfo: memFree=1806800/2055920 swapFree=4192812/4192956
[pid=2919] ppid=2917 vsize=915460 CPUtime=51.19
/proc/2919/stat : 2919 (java) R 2917 2919 2625 0 -1 0 9634 0 1 0 5112 7 0 0 25 0 8 0 158375073 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811764 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 228865 9369 2524 14 0 215335 0
[pid=2919/tid=2921] ppid=2917 vsize=915460 CPUtime=0.03
/proc/2919/task/2921/stat : 2921 (java) S 2917 2919 2625 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158375078 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2922/stat : 2922 (java) S 2917 2919 2625 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2923] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2923/stat : 2923 (java) S 2917 2919 2625 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2924] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2924/stat : 2924 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158375082 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2925] ppid=2917 vsize=915460 CPUtime=0.21
/proc/2919/task/2925/stat : 2925 (java) S 2917 2919 2625 0 -1 64 399 0 0 0 21 0 0 0 16 0 8 0 158375082 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2926] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2926/stat : 2926 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158375082 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2927] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2927/stat : 2927 (java) S 2917 2919 2625 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158375082 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 915460
[startup+102.475 s]
/proc/loadavg: 1.46 0.61 0.44 3/88 2988
/proc/meminfo: memFree=1794280/2055920 swapFree=4192812/4192956
[pid=2919] ppid=2917 vsize=915460 CPUtime=102.39
/proc/2919/stat : 2919 (java) R 2917 2919 2625 0 -1 0 9634 0 1 0 10231 8 0 0 25 0 8 0 158375073 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840758 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 228865 9369 2524 14 0 215335 0
[pid=2919/tid=2921] ppid=2917 vsize=915460 CPUtime=0.03
/proc/2919/task/2921/stat : 2921 (java) S 2917 2919 2625 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158375078 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2922/stat : 2922 (java) S 2917 2919 2625 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2923] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2923/stat : 2923 (java) S 2917 2919 2625 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2924] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2924/stat : 2924 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158375082 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2925] ppid=2917 vsize=915460 CPUtime=0.21
/proc/2919/task/2925/stat : 2925 (java) S 2917 2919 2625 0 -1 64 399 0 0 0 21 0 0 0 16 0 8 0 158375082 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2919/tid=2926] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2926/stat : 2926 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158375082 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2927] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2927/stat : 2927 (java) S 2917 2919 2625 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158375082 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 915460
[startup+162.515 s]
/proc/loadavg: 1.80 0.86 0.54 3/88 2988
/proc/meminfo: memFree=1794280/2055920 swapFree=4192812/4192956
[pid=2919] ppid=2917 vsize=915460 CPUtime=162.41
/proc/2919/stat : 2919 (java) R 2917 2919 2625 0 -1 0 9635 0 1 0 16233 8 0 0 25 0 8 0 158375073 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812718 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 228865 9370 2524 14 0 215335 0
[pid=2919/tid=2921] ppid=2917 vsize=915460 CPUtime=0.03
/proc/2919/task/2921/stat : 2921 (java) S 2917 2919 2625 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158375078 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2922/stat : 2922 (java) S 2917 2919 2625 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2923] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2923/stat : 2923 (java) S 2917 2919 2625 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2924] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2924/stat : 2924 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2925] ppid=2917 vsize=915460 CPUtime=0.21
/proc/2919/task/2925/stat : 2925 (java) S 2917 2919 2625 0 -1 64 400 0 0 0 21 0 0 0 16 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2919/tid=2926] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2926/stat : 2926 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2927] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2927/stat : 2927 (java) S 2917 2919 2625 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.41
Current children cumulated vsize (KiB) 915460
[startup+222.577 s]
/proc/loadavg: 1.92 1.07 0.62 3/88 2988
/proc/meminfo: memFree=1794280/2055920 swapFree=4192812/4192956
[pid=2919] ppid=2917 vsize=915460 CPUtime=222.46
/proc/2919/stat : 2919 (java) R 2917 2919 2625 0 -1 0 9635 0 1 0 22238 8 0 0 25 0 8 0 158375073 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814219 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 228865 9370 2524 14 0 215335 0
[pid=2919/tid=2921] ppid=2917 vsize=915460 CPUtime=0.03
/proc/2919/task/2921/stat : 2921 (java) S 2917 2919 2625 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158375078 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2922/stat : 2922 (java) S 2917 2919 2625 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2923] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2923/stat : 2923 (java) S 2917 2919 2625 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2924] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2924/stat : 2924 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2925] ppid=2917 vsize=915460 CPUtime=0.21
/proc/2919/task/2925/stat : 2925 (java) S 2917 2919 2625 0 -1 64 400 0 0 0 21 0 0 0 16 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2919/tid=2926] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2926/stat : 2926 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2927] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2927/stat : 2927 (java) S 2917 2919 2625 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.46
Current children cumulated vsize (KiB) 915460
[startup+282.618 s]
/proc/loadavg: 1.97 1.23 0.71 3/88 2988
/proc/meminfo: memFree=1794280/2055920 swapFree=4192812/4192956
[pid=2919] ppid=2917 vsize=915460 CPUtime=282.48
/proc/2919/stat : 2919 (java) R 2917 2919 2625 0 -1 0 9635 0 1 0 28240 8 0 0 25 0 8 0 158375073 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861340 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 228865 9370 2524 14 0 215335 0
[pid=2919/tid=2921] ppid=2917 vsize=915460 CPUtime=0.03
/proc/2919/task/2921/stat : 2921 (java) S 2917 2919 2625 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158375078 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2922/stat : 2922 (java) S 2917 2919 2625 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2923] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2923/stat : 2923 (java) S 2917 2919 2625 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2924] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2924/stat : 2924 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2925] ppid=2917 vsize=915460 CPUtime=0.21
/proc/2919/task/2925/stat : 2925 (java) S 2917 2919 2625 0 -1 64 400 0 0 0 21 0 0 0 16 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2919/tid=2926] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2926/stat : 2926 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2927] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2927/stat : 2927 (java) S 2917 2919 2625 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.48
Current children cumulated vsize (KiB) 915460
[startup+342.662 s]
/proc/loadavg: 1.99 1.37 0.79 3/88 2988
/proc/meminfo: memFree=1794280/2055920 swapFree=4192812/4192956
[pid=2919] ppid=2917 vsize=915460 CPUtime=342.52
/proc/2919/stat : 2919 (java) R 2917 2919 2625 0 -1 0 9635 0 1 0 34244 8 0 0 25 0 8 0 158375073 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838490 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 228865 9370 2524 14 0 215335 0
[pid=2919/tid=2921] ppid=2917 vsize=915460 CPUtime=0.03
/proc/2919/task/2921/stat : 2921 (java) S 2917 2919 2625 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158375078 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2922/stat : 2922 (java) S 2917 2919 2625 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2923] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2923/stat : 2923 (java) S 2917 2919 2625 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2924] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2924/stat : 2924 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2925] ppid=2917 vsize=915460 CPUtime=0.21
/proc/2919/task/2925/stat : 2925 (java) S 2917 2919 2625 0 -1 64 400 0 0 0 21 0 0 0 16 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2919/tid=2926] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2926/stat : 2926 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2927] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2927/stat : 2927 (java) S 2917 2919 2625 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.52
Current children cumulated vsize (KiB) 915460
[startup+402.715 s]
/proc/loadavg: 2.04 1.50 0.86 3/88 2988
/proc/meminfo: memFree=1794280/2055920 swapFree=4192812/4192956
[pid=2919] ppid=2917 vsize=915460 CPUtime=402.55
/proc/2919/stat : 2919 (java) R 2917 2919 2625 0 -1 0 9635 0 1 0 40247 8 0 0 25 0 8 0 158375073 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 228865 9370 2524 14 0 215335 0
[pid=2919/tid=2921] ppid=2917 vsize=915460 CPUtime=0.03
/proc/2919/task/2921/stat : 2921 (java) S 2917 2919 2625 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158375078 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2922/stat : 2922 (java) S 2917 2919 2625 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2923] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2923/stat : 2923 (java) S 2917 2919 2625 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2924] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2924/stat : 2924 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2925] ppid=2917 vsize=915460 CPUtime=0.21
/proc/2919/task/2925/stat : 2925 (java) S 2917 2919 2625 0 -1 64 400 0 0 0 21 0 0 0 16 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2919/tid=2926] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2926/stat : 2926 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2927] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2927/stat : 2927 (java) S 2917 2919 2625 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.55
Current children cumulated vsize (KiB) 915460
[startup+462.791 s]
/proc/loadavg: 2.01 1.59 0.93 3/88 2988
/proc/meminfo: memFree=1794280/2055920 swapFree=4192812/4192956
[pid=2919] ppid=2917 vsize=915460 CPUtime=462.62
/proc/2919/stat : 2919 (java) R 2917 2919 2625 0 -1 0 9635 0 1 0 46253 9 0 0 25 0 8 0 158375073 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 228865 9370 2524 14 0 215335 0
[pid=2919/tid=2921] ppid=2917 vsize=915460 CPUtime=0.03
/proc/2919/task/2921/stat : 2921 (java) S 2917 2919 2625 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158375078 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2922/stat : 2922 (java) S 2917 2919 2625 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2923] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2923/stat : 2923 (java) S 2917 2919 2625 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158375078 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2924] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2924/stat : 2924 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2925] ppid=2917 vsize=915460 CPUtime=0.21
/proc/2919/task/2925/stat : 2925 (java) S 2917 2919 2625 0 -1 64 400 0 0 0 21 0 0 0 16 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2919/tid=2926] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2926/stat : 2926 (java) S 2917 2919 2625 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2919/tid=2927] ppid=2917 vsize=915460 CPUtime=0
/proc/2919/task/2927/stat : 2927 (java) S 2917 2919 2625 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158375082 937431040 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.62
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 463.677
CPU time (s): 463.493
CPU user time (s): 463.395
CPU system time (s): 0.097985
CPU usage (%): 99.9601
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 463.395
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9644
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= 10206
involuntary context switches= 951
runsolver used 0.469928 s user time and 1.22681 s system time
The end
Begin job on node58 on Sat Jan 6 16:09:22 UTC 2007
IDJOB= 194262
IDBENCH= 3205
FILE ID= node58/194262-1168099761
PBS_JOBID= 3477265
Free space on /tmp= 66536 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-50_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194262-1168099761/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-194262-1168099761 -o ROOT/results/node58/solver-194262-1168099761 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194262-1168099761/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2a9a137dbf54b6c95e22add6928077b6
RANDOM SEED= 171236373
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: 1836264 kB
Buffers: 11368 kB
Cached: 126740 kB
SwapCached: 0 kB
Active: 68884 kB
Inactive: 89348 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1836264 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2104 kB
Writeback: 0 kB
Mapped: 30316 kB
Slab: 47176 kB
Committed_AS: 2319308 kB
PageTables: 1572 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= 66535 MiB
End job on node58 on Sat Jan 6 16:17:15 UTC 2007