0.31
0.31 Abscon 109 (November, 2006)
0.31
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/233788-1168328130/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=49 nbDomainTypes=49 minDomainSize=284 maxDomainSize=378
0.43 => wckTime=0.114 cpuTime=0.09 mem=7M880
0.43
0.43 predicates being loaded...
0.44
0.44 constraints being loaded...
9.45 nbConstraints=294 nbConvertedConstraints=294 nbConvertConstraintsChecks=31817234 nbExtensionStructures=294
9.45 nbSharedExtensionStructures=0 nbConflictsStructures=294 nbSharedConflictsStructures=0
9.45 nbSharedBinaryRepresentations=71810 maxDegree=12 maxArity=2
9.45 => wckTime=9.131 cpuTime=8.98 mem=31M902
9.53
9.53 solver IterativeSystematicSolver being built...
9.69 => wckTime=9.376 cpuTime=9.13 mem=24M789
9.76
9.76 preprocessing
9.76 nbConstraintChecks=828515 nbPropagations=684 nbRevisions=1410 nbUselessRevisions=654 nbSingletonTests=55
9.76 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
9.76 => wckTime=0.065 cpuTime=0.04 mem=24M789
9.98
9.98 search
9.98 run=0 nbConstraintChecks=5227385 nbPropagations=2294 nbRevisions=9597 nbUselessRevisions=4257
9.98 nbAssignments=375 nbFailedAssignments=363 nbBacktracks=10 nbVisitedNodes=749 nbRestartNogoods=0 mapSize=10
9.98 nbInferences=0 nbTooLargeKeys=0
9.98 => wckTime=0.281 cpuTime=0.24 mem=24M789
10.42
10.42 search
10.42 run=1 nbConstraintChecks=20787246 nbPropagations=9414 nbRevisions=41436 nbUselessRevisions=18379
10.42 nbAssignments=1373 nbFailedAssignments=1344 nbBacktracks=25 nbVisitedNodes=2743 nbRestartNogoods=10 mapSize=25
10.42 nbInferences=0 nbTooLargeKeys=0
10.42 => wckTime=0.719 cpuTime=0.67 mem=24M789
10.69
10.69 search
10.69 run=2 nbConstraintChecks=29117978 nbPropagations=21674 nbRevisions=88055 nbUselessRevisions=37812
10.69 nbAssignments=1925 nbFailedAssignments=1872 nbBacktracks=47 nbVisitedNodes=3845 nbRestartNogoods=25 mapSize=47
10.69 nbInferences=0 nbTooLargeKeys=0
10.69 => wckTime=0.99 cpuTime=0.91 mem=24M789
10.92
10.92 search
10.92 run=3 nbConstraintChecks=38712509 nbPropagations=38085 nbRevisions=151497 nbUselessRevisions=64995
10.92 nbAssignments=2515 nbFailedAssignments=2427 nbBacktracks=80 nbVisitedNodes=5023 nbRestartNogoods=47 mapSize=80
10.92 nbInferences=0 nbTooLargeKeys=0
10.92 => wckTime=1.219 cpuTime=1.14 mem=25M738
13.14
13.14 search
13.14 run=4 nbConstraintChecks=135352294 nbPropagations=92006 nbRevisions=337585 nbUselessRevisions=144786
13.14 nbAssignments=7210 nbFailedAssignments=6970 nbBacktracks=130 nbVisitedNodes=14211 nbRestartNogoods=105
13.14 mapSize=130 nbInferences=0 nbTooLargeKeys=0
13.14 => wckTime=3.444 cpuTime=3.35 mem=25M738
13.63
13.63 search
13.63 run=5 nbConstraintChecks=155363714 nbPropagations=152527 nbRevisions=554934 nbUselessRevisions=238356
13.63 nbAssignments=8440 nbFailedAssignments=8123 nbBacktracks=205 nbVisitedNodes=16669 nbRestartNogoods=155
13.63 mapSize=205 nbInferences=0 nbTooLargeKeys=0
13.63 => wckTime=3.936 cpuTime=3.83 mem=25M738
14.39
14.39 search
14.39 run=6 nbConstraintChecks=186006299 nbPropagations=223835 nbRevisions=822527 nbUselessRevisions=353994
14.39 nbAssignments=10430 nbFailedAssignments=9978 nbBacktracks=318 nbVisitedNodes=20607 nbRestartNogoods=163
14.39 mapSize=318 nbInferences=0 nbTooLargeKeys=0
14.39 => wckTime=4.693 cpuTime=4.59 mem=25M738
16.47
16.47 search
16.47 run=7 nbConstraintChecks=274978996 nbPropagations=329240 nbRevisions=1213742 nbUselessRevisions=521594
16.47 nbAssignments=14951 nbFailedAssignments=14327 nbBacktracks=488 nbVisitedNodes=29647 nbRestartNogoods=176
16.47 mapSize=488 nbInferences=0 nbTooLargeKeys=0
16.47 => wckTime=6.769 cpuTime=6.65 mem=25M738
18.29
18.29 search
18.29 run=8 nbConstraintChecks=348279723 nbPropagations=458437 nbRevisions=1721270 nbUselessRevisions=740041
18.29 nbAssignments=19718 nbFailedAssignments=18836 nbBacktracks=744 nbVisitedNodes=39179 nbRestartNogoods=202
18.29 mapSize=744 nbInferences=0 nbTooLargeKeys=0
18.29 => wckTime=8.588 cpuTime=8.46 mem=26M688
23.11
23.11 INFO : Stopping hyperNogood (mapSize=1049, nbTooLargekeys=0, mem=26M688)
23.63
23.63 search
23.63 run=9 nbConstraintChecks=551324109 nbPropagations=688088 nbRevisions=2553580 nbUselessRevisions=1092415
23.63 nbAssignments=31793 nbFailedAssignments=30413 nbBacktracks=1128 nbVisitedNodes=63103 nbRestartNogoods=256
23.63 => wckTime=13.935 cpuTime=13.78 mem=26M688
27.56
27.56 search
27.56 run=10 nbConstraintChecks=737173255 nbPropagations=978432 nbRevisions=3646700 nbUselessRevisions=1559807
27.56 nbAssignments=41249 nbFailedAssignments=39252 nbBacktracks=1704 nbVisitedNodes=81914 nbRestartNogoods=296
27.56 => wckTime=17.858 cpuTime=17.67 mem=26M688
35.46
35.46 search
35.46 run=11 nbConstraintChecks=1065990692 nbPropagations=1408623 nbRevisions=5219086 nbUselessRevisions=2225085
35.46 nbAssignments=57760 nbFailedAssignments=54891 nbBacktracks=2568 nbVisitedNodes=114922 nbRestartNogoods=442
35.46 => wckTime=25.764 cpuTime=25.54 mem=26M688
54.19
54.19 search
54.19 run=12 nbConstraintChecks=1797095131 nbPropagations=2165592 nbRevisions=8001172 nbUselessRevisions=3431409
54.19 nbAssignments=102563 nbFailedAssignments=98383 nbBacktracks=3865 nbVisitedNodes=204498 nbRestartNogoods=500
54.19 => wckTime=44.492 cpuTime=44.18 mem=26M688
69.24
69.24 search
69.24 run=13 nbConstraintChecks=2481986944 nbPropagations=3157484 nbRevisions=11692828 nbUselessRevisions=5031856
69.24 nbAssignments=134307 nbFailedAssignments=127891 nbBacktracks=5811 nbVisitedNodes=267361 nbRestartNogoods=669
69.24 => wckTime=59.546 cpuTime=59.16 mem=26M688
87.21
87.21 search
87.21 run=14 nbConstraintChecks=3196568767 nbPropagations=4489774 nbRevisions=16648023 nbUselessRevisions=7174807
87.21 nbAssignments=177105 nbFailedAssignments=167764 nbBacktracks=8730 nbVisitedNodes=352882 nbRestartNogoods=772
87.21 => wckTime=77.511 cpuTime=77.03 mem=26M688
130.21
130.21 search
130.22 run=15 nbConstraintChecks=4903060816 nbPropagations=6531586 nbRevisions=24326043 nbUselessRevisions=10517420
130.22 nbAssignments=277374 nbFailedAssignments=263654 nbBacktracks=13108 nbVisitedNodes=553389 nbRestartNogoods=830
130.22 => wckTime=120.517 cpuTime=119.84 mem=26M688
178.53
178.53 search
178.53 run=16 nbConstraintChecks=6906892909 nbPropagations=9384968 nbRevisions=35139737 nbUselessRevisions=15226434
178.53 nbAssignments=386938 nbFailedAssignments=366649 nbBacktracks=19676 nbVisitedNodes=772361 nbRestartNogoods=930
178.53 => wckTime=168.836 cpuTime=167.93 mem=26M688
251.70
251.70 search
251.70 run=17 nbConstraintChecks=10007584437 nbPropagations=13455938 nbRevisions=50628526 nbUselessRevisions=21973479
251.70 nbAssignments=545366 nbFailedAssignments=515210 nbBacktracks=29528 nbVisitedNodes=1088928 nbRestartNogoods=1056
251.70 => wckTime=241.999 cpuTime=240.74 mem=26M688
367.14
367.15 search
367.15 run=18 nbConstraintChecks=14833573439 nbPropagations=19399966 nbRevisions=73500715 nbUselessRevisions=31970913
367.15 nbAssignments=799411 nbFailedAssignments=754471 nbBacktracks=44306 nbVisitedNodes=1596491 nbRestartNogoods=1283
367.15 => wckTime=357.448 cpuTime=355.64 mem=26M688
502.11
502.11 search
502.11 run=19 nbConstraintChecks=21105677858 nbPropagations=27554677 nbRevisions=105787902 nbUselessRevisions=46363169
502.11 nbAssignments=1107684 nbFailedAssignments=1049519 nbBacktracks=57524 nbVisitedNodes=2212670
502.11 nbRestartNogoods=1346
502.11 => wckTime=492.416 cpuTime=490.28 mem=26M688
502.11
502.11 global
502.11 nbConstraintChecks=21106506373 nbPropagations=27555361 nbRevisions=105789312 nbUselessRevisions=46363823
502.11 nbRestartNogoods=1346 solvingWckTime=492.417 solvingCpuTime=490.28 expiredTime=no totalExploration=yes
502.11 nbFoundSolutions=0 globalCpuTime=499.46
502.12 => wckTime=501.797 cpuTime=499.41 mem=26M688
502.12
502.12 s UNSATISFIABLE
502.12 d NODES 1107684
502.12 d CHECKS 21106506373
502.12
502.12 totalWckTime=501.878 totalCpuTime=499.46
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-233788-1168328130 -o ROOT/results/node19/solver-233788-1168328130 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233788-1168328130/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.00 2.00 4/89 7959
/proc/meminfo: memFree=1455560/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=18540 CPUtime=0
/proc/7958/stat : 7958 (runsolver) R 7956 7958 5611 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 181207658 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7958/statm: 4635 279 244 17 0 2626 0
[startup+0.108672 s]
/proc/loadavg: 2.00 2.00 2.00 4/89 7959
/proc/meminfo: memFree=1455560/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=914988 CPUtime=0.08
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 2996 0 1 0 7 1 0 0 18 0 8 0 181207658 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925648 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.518749 s]
/proc/loadavg: 2.00 2.00 2.00 4/89 7959
/proc/meminfo: memFree=1455560/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915328 CPUtime=0.49
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 6618 0 1 0 46 3 0 0 18 0 8 0 181207658 937295872 6357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228832 6357 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3399 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1435984/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=1.31
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 7398 0 1 0 127 4 0 0 25 0 8 0 181207658 937431040 7136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073643175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 7136 2167 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181207662 937431040 7136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181207663 937431040 7136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181207663 937431040 7136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 7136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.1
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 323 0 0 0 10 0 0 0 16 0 8 0 181207666 937431040 7136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 7136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 7136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.97721 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1432848/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=2.93
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 8404 0 1 0 289 4 0 0 25 0 8 0 181207658 937431040 8142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073645466 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 8142 2167 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181207662 937431040 8142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181207663 937431040 8142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181207663 937431040 8142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 8142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.11
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 326 0 0 0 11 0 0 0 16 0 8 0 181207666 937431040 8142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 8142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 8142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.27683 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1424464/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=6.22
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 10390 0 1 0 616 6 0 0 25 0 8 0 181207658 937431040 10128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073641318 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 10128 2168 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181207662 937431040 10128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181207663 937431040 10128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181207663 937431040 10128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 10128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.13
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 181207666 937431040 10128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 10128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 10128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460
[startup+12.754 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1403920/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=12.67
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15621 0 1 0 1256 11 0 0 25 0 8 0 181207658 937431040 15355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819758 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 15355 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.24
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 395 0 0 0 23 1 0 0 15 0 8 0 181207666 937431040 15355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915460
[startup+25.6225 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1403984/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=25.47
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15624 0 1 0 2536 11 0 0 25 0 8 0 181207658 937431040 15357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 15357 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.25
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 181207666 937431040 15357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460
[startup+51.2293 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1404048/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=50.95
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15627 0 1 0 5084 11 0 0 25 0 8 0 181207658 937431040 15360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819795 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 15360 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.25
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 181207666 937431040 15360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915460
[startup+102.446 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1404112/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=101.93
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15628 0 1 0 10181 12 0 0 25 0 8 0 181207658 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832057 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 15361 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.26
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 915460
[startup+162.508 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1404112/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=161.7
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15628 0 1 0 16158 12 0 0 25 0 8 0 181207658 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073880522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 15361 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.26
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.7
Current children cumulated vsize (KiB) 915460
[startup+222.576 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1402896/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=221.49
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15628 0 1 0 22136 13 0 0 25 0 8 0 181207658 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815594 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 15361 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.26
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.49
Current children cumulated vsize (KiB) 915460
[startup+282.642 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1402896/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=281.26
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15628 0 1 0 28113 13 0 0 25 0 8 0 181207658 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 15361 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.26
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.26
Current children cumulated vsize (KiB) 915460
[startup+342.712 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1402896/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=341.05
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15628 0 1 0 34091 14 0 0 25 0 8 0 181207658 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840374 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 15361 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.26
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.05
Current children cumulated vsize (KiB) 915460
[startup+402.782 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1402896/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=400.83
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15628 0 1 0 40069 14 0 0 25 0 8 0 181207658 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832063 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 15361 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.26
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.83
Current children cumulated vsize (KiB) 915460
[startup+462.847 s]
/proc/loadavg: 1.96 1.98 1.99 3/94 8650
/proc/meminfo: memFree=1400480/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=460.78
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15628 0 1 0 46060 18 0 0 25 0 8 0 181207658 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819769 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7958/statm: 228865 15361 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.26
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.78
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 502.144
CPU time (s): 500.029
CPU user time (s): 499.832
CPU system time (s): 0.19697
CPU usage (%): 99.5789
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 499.832
system time used= 0.19697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15637
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= 11366
involuntary context switches= 20075
runsolver used 0.602908 s user time and 1.63275 s system time
The end
Begin job on node19 on Tue Jan 9 07:35:30 UTC 2007
IDJOB= 233788
IDBENCH= 6637
FILE ID= node19/233788-1168328130
PBS_JOBID= 3502698
Free space on /tmp= 66558 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-7/os-taillard-7-95-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233788-1168328130/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-233788-1168328130 -o ROOT/results/node19/solver-233788-1168328130 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233788-1168328130/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e3748dadd57349951a4947e30cc63ebe
RANDOM SEED= 130836676
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.260
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.260
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: 1455976 kB
Buffers: 74972 kB
Cached: 418336 kB
SwapCached: 10164 kB
Active: 139052 kB
Inactive: 398840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1455976 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 1728 kB
Writeback: 0 kB
Mapped: 54928 kB
Slab: 46568 kB
Committed_AS: 4974092 kB
PageTables: 2372 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= 66549 MiB
End job on node19 on Tue Jan 9 07:43:53 UTC 2007