0.06/0.09
0.06/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mrdac-wdeg.xml
0.28/0.33
0.28/0.33 instance
0.28/0.33 name=HOME/instance-1112057-1215861274.xml
0.28/0.37
0.28/0.37 domains being loaded...
0.28/0.38
0.28/0.38 variables being loaded...
0.39/0.40 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.39/0.40 => wckTime=0.157 cpuTime=0.12 mem=7M858
0.39/0.40
0.39/0.40 relations being loaded...
0.68/0.75
0.68/0.75 constraints being loaded...
0.78/0.84 nbConstraints=60 nbRelationTypes=60 nbExtensionStructures=60 nbSharedExtensionStructures=0
0.78/0.84 nbConflictsStructures=60 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 minDegree=4 maxDegree=13
0.78/0.84 minArity=3 maxArity=3
0.78/0.84 => wckTime=0.59 cpuTime=0.51 mem=31M735
0.88/0.94
0.88/0.94 solver LocalSearchSolver being built...
0.88/0.98 => wckTime=0.736 cpuTime=0.55 mem=11M403
0.88/0.99
0.88/0.99 s SATISFIABLE
0.88/0.99 o 28
0.88/0.99 o 23
0.88/0.99 o 18
0.88/0.99 o 15
0.88/1.00 o 14
0.88/1.00 o 13
0.98/1.01 o 11
0.98/1.01 o 10
0.98/1.01 o 9
0.98/1.01 o 8
0.98/1.01 o 7
0.98/1.01 o 6
0.98/1.06 o 5
0.98/1.07 o 4
1.37/1.48 o 3
1.96/2.09 o 2
2.46/2.58
2.46/2.58 search
2.46/2.58 run=0 nbConstraintChecks=10107817 nbAssignments=10000
2.46/2.58 => wckTime=1.599 cpuTime=1.57 mem=12M436
4.05/4.19
4.05/4.19 search
4.05/4.19 run=1 nbConstraintChecks=20960606 nbAssignments=20000
4.05/4.19 => wckTime=3.21 cpuTime=3.15 mem=12M436
5.64/5.78
5.64/5.78 search
5.64/5.78 run=2 nbConstraintChecks=31708166 nbAssignments=30000
5.64/5.78 => wckTime=4.794 cpuTime=4.73 mem=12M436
7.22/7.33
7.22/7.33 search
7.22/7.33 run=3 nbConstraintChecks=42170817 nbAssignments=40000
7.22/7.33 => wckTime=6.348 cpuTime=6.27 mem=12M436
8.80/8.94
8.80/8.94 search
8.80/8.94 run=4 nbConstraintChecks=53181661 nbAssignments=50000
8.80/8.94 => wckTime=7.958 cpuTime=7.86 mem=12M436
10.39/10.52
10.39/10.52 search
10.39/10.52 run=5 nbConstraintChecks=63926198 nbAssignments=60000
10.39/10.52 => wckTime=9.537 cpuTime=9.43 mem=12M436
11.88/12.10
11.88/12.10 search
11.88/12.10 run=6 nbConstraintChecks=74783767 nbAssignments=70000
11.88/12.10 => wckTime=11.117 cpuTime=10.99 mem=12M436
13.47/13.64
13.47/13.64 search
13.47/13.64 run=7 nbConstraintChecks=85338830 nbAssignments=80000
13.47/13.64 => wckTime=12.661 cpuTime=12.53 mem=12M436
14.07/14.21 o 1
14.86/15.09
14.86/15.09 search
14.86/15.09 run=8 nbConstraintChecks=94638084 nbAssignments=90000
14.86/15.09 => wckTime=14.104 cpuTime=13.96 mem=12M436
16.44/16.67
16.44/16.67 search
16.44/16.67 run=9 nbConstraintChecks=105475589 nbAssignments=100000
16.44/16.67 => wckTime=15.692 cpuTime=15.53 mem=12M436
18.02/18.22
18.02/18.22 search
18.02/18.22 run=10 nbConstraintChecks=116018479 nbAssignments=110000
18.02/18.22 => wckTime=17.24 cpuTime=17.07 mem=12M436
19.51/19.77
19.51/19.77 search
19.51/19.77 run=11 nbConstraintChecks=126459727 nbAssignments=120000
19.51/19.77 => wckTime=18.784 cpuTime=18.6 mem=12M436
21.10/21.33
21.10/21.33 search
21.10/21.33 run=12 nbConstraintChecks=137177428 nbAssignments=130000
21.10/21.33 => wckTime=20.35 cpuTime=20.15 mem=12M436
22.49/22.79
22.49/22.79 search
22.49/22.79 run=13 nbConstraintChecks=146679293 nbAssignments=140000
22.49/22.79 => wckTime=21.812 cpuTime=21.61 mem=12M436
24.07/24.39
24.07/24.39 search
24.07/24.39 run=14 nbConstraintChecks=157542733 nbAssignments=150000
24.07/24.39 => wckTime=23.405 cpuTime=23.18 mem=12M436
25.66/25.98
25.66/25.98 search
25.66/25.98 run=15 nbConstraintChecks=168507972 nbAssignments=160000
25.66/25.98 => wckTime=25.001 cpuTime=24.76 mem=12M436
27.25/27.58
27.25/27.58 search
27.25/27.58 run=16 nbConstraintChecks=179386569 nbAssignments=170000
27.25/27.58 => wckTime=26.596 cpuTime=26.34 mem=12M436
28.83/29.14
28.83/29.14 search
28.83/29.14 run=17 nbConstraintChecks=190040980 nbAssignments=180000
28.83/29.14 => wckTime=28.163 cpuTime=27.9 mem=12M436
30.42/30.74
30.42/30.74 search
30.42/30.74 run=18 nbConstraintChecks=200946813 nbAssignments=190000
30.42/30.74 => wckTime=29.759 cpuTime=29.47 mem=12M436
31.90/32.29
31.90/32.29 search
31.90/32.29 run=19 nbConstraintChecks=211538839 nbAssignments=200000
31.90/32.29 => wckTime=31.307 cpuTime=31.01 mem=12M436
33.50/33.84
33.50/33.84 search
33.50/33.84 run=20 nbConstraintChecks=222193927 nbAssignments=210000
33.50/33.84 => wckTime=32.862 cpuTime=32.55 mem=12M436
35.07/35.43
35.07/35.43 search
35.07/35.43 run=21 nbConstraintChecks=233025268 nbAssignments=220000
35.07/35.43 => wckTime=34.449 cpuTime=34.12 mem=12M436
36.57/36.98
36.57/36.98 search
36.57/36.98 run=22 nbConstraintChecks=243681331 nbAssignments=230000
36.57/36.98 => wckTime=36.0 cpuTime=35.66 mem=12M436
38.15/38.58
38.15/38.58 search
38.15/38.58 run=23 nbConstraintChecks=254791455 nbAssignments=240000
38.15/38.58 => wckTime=37.597 cpuTime=37.23 mem=12M436
39.73/40.14
39.73/40.14 search
39.73/40.14 run=24 nbConstraintChecks=265558398 nbAssignments=250000
39.73/40.14 => wckTime=39.16 cpuTime=38.79 mem=12M436
41.32/41.74
41.32/41.74 search
41.32/41.74 run=25 nbConstraintChecks=276440665 nbAssignments=260000
41.32/41.74 => wckTime=40.756 cpuTime=40.36 mem=12M436
42.91/43.31
42.91/43.31 search
42.91/43.31 run=26 nbConstraintChecks=287181603 nbAssignments=270000
42.91/43.31 => wckTime=42.332 cpuTime=41.93 mem=12M436
43.99/44.48
43.99/44.48 search
43.99/44.48 run=27 nbConstraintChecks=295036803 nbAssignments=277450
43.99/44.48 => wckTime=43.499 cpuTime=43.1 mem=12M436
43.99/44.48
43.99/44.48 global
43.99/44.48 nbConstraintChecks=295036803 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.99/44.48 solvingWckTime=43.497 solvingCpuTime=43.09 expiredTime=no totalExploration=no nbFoundSolutions=0
43.99/44.48 globalCpuTime=43.7
43.99/44.48 => wckTime=44.234 cpuTime=43.65 mem=12M436
43.99/44.48
43.99/44.48 solver DecomposerSolver being built...
44.19/44.60 => wckTime=44.349 cpuTime=43.74 mem=23M205
44.19/44.60
44.19/44.60 preprocessing
44.19/44.60 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
44.19/44.60 detectedInconsistency=no
44.19/44.60 => wckTime=0.0050 cpuTime=0.01 mem=23M205
2843.87/2858.92
2843.87/2858.92 search
2843.87/2858.92 run=0 nbConstraintChecks=7021926565 nbValidityChecks=11116989845 minDepth=0 maxDepth=13 nbPropagations=0
2843.87/2858.92 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5052552 nbFailedAssignments=2571286 nbBacktracks=2481267
2843.87/2858.92 nbVisitedNodes=8771295
2843.87/2858.92 => wckTime=2814.319 cpuTime=2799.61 mem=25M148
2843.87/2858.92
2843.87/2858.92 global
2843.87/2858.92 nbConstraintChecks=7021926565 nbValidityChecks=11116989845 solvingWckTime=2814.321 solvingCpuTime=2799.61
2843.87/2858.92 expiredTime=no totalExploration=yes nbFoundSolutions=0 upperBound=1 upperBoundWckTime=0.0
2843.87/2858.92 upperBoundCpuTime=0.0 globalCpuTime=2843.4
2843.87/2858.92 => wckTime=2858.673 cpuTime=2843.35 mem=25M148
2843.87/2858.92
2843.87/2858.92 s OPTIMUM FOUND
2843.87/2858.92 v 4 17 12 8 10 7 17 11 13 1 7 15 2 14 2 4 19 2 12 14
2843.87/2858.92 d NODES 5052552
2843.87/2858.92 d CHECKS 7021926565
2843.87/2858.93
2843.87/2858.93 totalWckTime=2858.733 totalCpuTime=2843.4
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112057-1215861274/watcher-1112057-1215861274 -o /tmp/evaluation-result-1112057-1215861274/solver-1112057-1215861274 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112057-1215861274.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18021
/proc/meminfo: memFree=1713744/2055920 swapFree=4180348/4192956
[pid=18021] ppid=18019 vsize=10616 CPUtime=0
/proc/18021/stat : 18021 (java) S 18019 18021 17876 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 42829101 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 2654 472 209 9 0 1184 0
[pid=18021/tid=18022] ppid=18019 vsize=10616 CPUtime=0
/proc/18021/task/18022/stat : 18022 (java) R 18019 18021 17876 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 42829102 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 7864280 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0797771 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18021
/proc/meminfo: memFree=1713744/2055920 swapFree=4180348/4192956
[pid=18021] ppid=18019 vsize=865856 CPUtime=0.06
/proc/18021/stat : 18021 (java) S 18019 18021 17876 0 -1 0 3358 0 1 0 5 1 0 0 18 0 9 0 42829101 886636544 2872 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 216464 2872 1559 9 0 211026 0
[pid=18021/tid=18022] ppid=18019 vsize=865856 CPUtime=0.05
/proc/18021/task/18022/stat : 18022 (java) R 18019 18021 17876 0 -1 64 2455 0 1 0 4 1 0 0 18 0 9 0 42829102 886636544 2872 996147200 134512640 134550740 4294955952 18446744073709551615 7450185 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856
[startup+0.102773 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18021
/proc/meminfo: memFree=1713744/2055920 swapFree=4180348/4192956
[pid=18021] ppid=18019 vsize=865984 CPUtime=0.09
/proc/18021/stat : 18021 (java) S 18019 18021 17876 0 -1 0 3695 0 1 0 7 2 0 0 18 0 9 0 42829101 886767616 3170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 216496 3170 1678 9 0 211051 0
[pid=18021/tid=18022] ppid=18019 vsize=865984 CPUtime=0.07
/proc/18021/task/18022/stat : 18022 (java) R 18019 18021 17876 0 -1 64 2792 0 1 0 6 1 0 0 18 0 9 0 42829102 886767616 3170 996147200 134512640 134550740 4294955952 18446744073709551615 4125960198 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.302791 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18021
/proc/meminfo: memFree=1713744/2055920 swapFree=4180348/4192956
[pid=18021] ppid=18019 vsize=866156 CPUtime=0.28
/proc/18021/stat : 18021 (java) S 18019 18021 17876 0 -1 0 5595 0 1 0 25 3 0 0 18 0 9 0 42829101 886943744 5010 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 216539 5010 1905 9 0 211087 0
[pid=18021/tid=18022] ppid=18019 vsize=866156 CPUtime=0.25
/proc/18021/task/18022/stat : 18022 (java) R 18019 18021 17876 0 -1 64 4670 0 1 0 23 2 0 0 19 0 9 0 42829102 886943744 5010 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 2147483391 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866156
[startup+0.701826 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18021
/proc/meminfo: memFree=1713744/2055920 swapFree=4180348/4192956
[pid=18021] ppid=18019 vsize=866544 CPUtime=0.68
/proc/18021/stat : 18021 (java) S 18019 18021 17876 0 -1 0 10369 0 1 0 63 5 0 0 18 0 9 0 42829101 887341056 9740 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 216636 9740 1968 9 0 211164 0
[pid=18021/tid=18022] ppid=18019 vsize=866544 CPUtime=0.6
/proc/18021/task/18022/stat : 18022 (java) R 18019 18021 17876 0 -1 64 9370 0 1 0 55 5 0 0 20 0 9 0 42829102 887341056 9740 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866544
[startup+1.50186 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 18030
/proc/meminfo: memFree=1667208/2055920 swapFree=4180348/4192956
[pid=18021] ppid=18019 vsize=866632 CPUtime=1.47
/proc/18021/stat : 18021 (java) S 18019 18021 17876 0 -1 0 15018 0 1 0 127 20 0 0 18 0 9 0 42829101 887431168 14185 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 216658 14185 2632 9 0 211164 0
[pid=18021/tid=18022] ppid=18019 vsize=866632 CPUtime=1.25
/proc/18021/task/18022/stat : 18022 (java) R 18019 18021 17876 0 -1 64 11415 0 1 0 107 18 0 0 25 0 9 0 42829102 887431168 14185 996147200 134512640 134550740 4294955952 18446744073709551615 4126667041 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18024] ppid=18019 vsize=866632 CPUtime=0.07
/proc/18021/task/18024/stat : 18024 (java) S 18019 18021 17876 0 -1 64 2573 0 0 0 7 0 0 0 16 0 9 0 42829104 887431168 14185 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18025] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18025/stat : 18025 (java) S 18019 18021 17876 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14185 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18026] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18026/stat : 18026 (java) S 18019 18021 17876 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14185 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18027] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18027/stat : 18027 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42829106 887431168 14185 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18028] ppid=18019 vsize=866632 CPUtime=0.12
/proc/18021/task/18028/stat : 18028 (java) S 18019 18021 17876 0 -1 64 334 0 0 0 12 0 0 0 16 0 9 0 42829106 887431168 14185 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18029] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18029/stat : 18029 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42829106 887431168 14185 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18030] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18030/stat : 18030 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42829106 887431168 14185 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 866632
[startup+3.10197 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18030
/proc/meminfo: memFree=1666952/2055920 swapFree=4180348/4192956
[pid=18021] ppid=18019 vsize=866632 CPUtime=3.05
/proc/18021/stat : 18021 (java) S 18019 18021 17876 0 -1 0 15024 0 1 0 247 58 0 0 18 0 9 0 42829101 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 216658 14190 2633 9 0 211164 0
[pid=18021/tid=18022] ppid=18019 vsize=866632 CPUtime=2.83
/proc/18021/task/18022/stat : 18022 (java) R 18019 18021 17876 0 -1 64 11416 0 1 0 227 56 0 0 25 0 9 0 42829102 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4126666979 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18024] ppid=18019 vsize=866632 CPUtime=0.07
/proc/18021/task/18024/stat : 18024 (java) S 18019 18021 17876 0 -1 64 2573 0 0 0 7 0 0 0 16 0 9 0 42829104 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18025] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18025/stat : 18025 (java) S 18019 18021 17876 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18026] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18026/stat : 18026 (java) S 18019 18021 17876 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18027] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18027/stat : 18027 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42829106 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18028] ppid=18019 vsize=866632 CPUtime=0.12
/proc/18021/task/18028/stat : 18028 (java) S 18019 18021 17876 0 -1 64 339 0 0 0 12 0 0 0 16 0 9 0 42829106 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18029] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18029/stat : 18029 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42829106 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18030] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18030/stat : 18030 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42829106 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 866632
[startup+6.30217 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18030
/proc/meminfo: memFree=1666632/2055920 swapFree=4180348/4192956
[pid=18021] ppid=18019 vsize=866636 CPUtime=6.23
/proc/18021/stat : 18021 (java) S 18019 18021 17876 0 -1 0 15025 0 1 0 486 137 0 0 18 0 9 0 42829101 887435264 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 216659 14190 2633 9 0 211165 0
[pid=18021/tid=18022] ppid=18019 vsize=866636 CPUtime=6.01
/proc/18021/task/18022/stat : 18022 (java) R 18019 18021 17876 0 -1 64 11417 0 1 0 466 135 0 0 25 0 9 0 42829102 887435264 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18024] ppid=18019 vsize=866636 CPUtime=0.07
/proc/18021/task/18024/stat : 18024 (java) S 18019 18021 17876 0 -1 64 2573 0 0 0 7 0 0 0 16 0 9 0 42829104 887435264 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18025] ppid=18019 vsize=866636 CPUtime=0
/proc/18021/task/18025/stat : 18025 (java) S 18019 18021 17876 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42829104 887435264 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18026] ppid=18019 vsize=866636 CPUtime=0
/proc/18021/task/18026/stat : 18026 (java) S 18019 18021 17876 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42829104 887435264 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18027] ppid=18019 vsize=866636 CPUtime=0
/proc/18021/task/18027/stat : 18027 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42829106 887435264 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18028] ppid=18019 vsize=866636 CPUtime=0.12
/proc/18021/task/18028/stat : 18028 (java) S 18019 18021 17876 0 -1 64 339 0 0 0 12 0 0 0 16 0 9 0 42829106 887435264 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18029] ppid=18019 vsize=866636 CPUtime=0
/proc/18021/task/18029/stat : 18029 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42829106 887435264 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18030] ppid=18019 vsize=866636 CPUtime=0
/proc/18021/task/18030/stat : 18030 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42829106 887435264 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 866636
[startup+12.7016 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18030
/proc/meminfo: memFree=1666440/2055920 swapFree=4180348/4192956
[pid=18021] ppid=18019 vsize=866632 CPUtime=12.57
/proc/18021/stat : 18021 (java) S 18019 18021 17876 0 -1 0 15025 0 1 0 970 287 0 0 18 0 9 0 42829101 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 216658 14190 2633 9 0 211164 0
[pid=18021/tid=18022] ppid=18019 vsize=866632 CPUtime=12.35
/proc/18021/task/18022/stat : 18022 (java) R 18019 18021 17876 0 -1 64 11417 0 1 0 950 285 0 0 25 0 9 0 42829102 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18024] ppid=18019 vsize=866632 CPUtime=0.07
/proc/18021/task/18024/stat : 18024 (java) S 18019 18021 17876 0 -1 64 2573 0 0 0 7 0 0 0 16 0 9 0 42829104 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18025] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18025/stat : 18025 (java) S 18019 18021 17876 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18026] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18026/stat : 18026 (java) S 18019 18021 17876 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18027] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18027/stat : 18027 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42829106 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18028] ppid=18019 vsize=866632 CPUtime=0.12
/proc/18021/task/18028/stat : 18028 (java) S 18019 18021 17876 0 -1 64 339 0 0 0 12 0 0 0 16 0 9 0 42829106 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18029] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18029/stat : 18029 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42829106 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18030] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18030/stat : 18030 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42829106 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 866632
[startup+25.5024 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18030
/proc/meminfo: memFree=1666120/2055920 swapFree=4180348/4192956
[pid=18021] ppid=18019 vsize=866632 CPUtime=25.26
/proc/18021/stat : 18021 (java) S 18019 18021 17876 0 -1 0 15026 0 1 0 1907 619 0 0 18 0 9 0 42829101 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 216658 14190 2633 9 0 211164 0
[pid=18021/tid=18022] ppid=18019 vsize=866632 CPUtime=25.04
/proc/18021/task/18022/stat : 18022 (java) R 18019 18021 17876 0 -1 64 11418 0 1 0 1887 617 0 0 25 0 9 0 42829102 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4126668861 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18024] ppid=18019 vsize=866632 CPUtime=0.07
/proc/18021/task/18024/stat : 18024 (java) S 18019 18021 17876 0 -1 64 2573 0 0 0 7 0 0 0 16 0 9 0 42829104 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18025] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18025/stat : 18025 (java) S 18019 18021 17876 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18026] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18026/stat : 18026 (java) S 18019 18021 17876 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18027] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18027/stat : 18027 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42829106 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18028] ppid=18019 vsize=866632 CPUtime=0.12
/proc/18021/task/18028/stat : 18028 (java) S 18019 18021 17876 0 -1 64 339 0 0 0 12 0 0 0 16 0 9 0 42829106 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18029] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18029/stat : 18029 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42829106 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18030] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18030/stat : 18030 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42829106 887431168 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 866632
[startup+51.1021 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18030
/proc/meminfo: memFree=1664776/2055920 swapFree=4180348/4192956
[pid=18021] ppid=18019 vsize=866632 CPUtime=50.64
/proc/18021/stat : 18021 (java) S 18019 18021 17876 0 -1 0 15129 0 1 0 3975 1089 0 0 18 0 9 0 42829101 887431168 14290 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 216658 14290 2634 9 0 211164 0
[pid=18021/tid=18022] ppid=18019 vsize=866632 CPUtime=50.33
/proc/18021/task/18022/stat : 18022 (java) R 18019 18021 17876 0 -1 64 11477 0 1 0 3946 1087 0 0 25 0 9 0 42829102 887431168 14290 996147200 134512640 134550740 4294955952 18446744073709551615 4126774656 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18024] ppid=18019 vsize=866632 CPUtime=0.07
################
# More data... #
################
/proc/18021/stat : 18021 (java) S 18019 18021 17876 0 -1 0 15131 0 1 0 281547 1100 0 0 18 0 9 0 42829101 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 216658 14292 2634 9 0 211164 0
[pid=18021/tid=18022] ppid=18019 vsize=866632 CPUtime=2826.15
/proc/18021/task/18022/stat : 18022 (java) R 18019 18021 17876 0 -1 64 11478 0 1 0 281518 1097 0 0 25 0 9 0 42829102 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4126792574 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18021/tid=18024] ppid=18019 vsize=866632 CPUtime=0.07
/proc/18021/task/18024/stat : 18024 (java) S 18019 18021 17876 0 -1 64 2573 0 0 0 7 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18025] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18025/stat : 18025 (java) S 18019 18021 17876 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18026] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18026/stat : 18026 (java) S 18019 18021 17876 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18027] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18027/stat : 18027 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18028] ppid=18019 vsize=866632 CPUtime=0.21
/proc/18021/task/18028/stat : 18028 (java) S 18019 18021 17876 0 -1 64 384 0 0 0 21 0 0 0 16 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18029] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18029/stat : 18029 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18030] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18030/stat : 18030 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2826.47
Current children cumulated vsize (KiB) 866632
[startup+2847.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18268
/proc/meminfo: memFree=1299776/2055920 swapFree=4180348/4192956
[pid=18021] ppid=18019 vsize=866632 CPUtime=2832.87
/proc/18021/stat : 18021 (java) S 18019 18021 17876 0 -1 0 15131 0 1 0 282187 1100 0 0 18 0 9 0 42829101 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 216658 14292 2634 9 0 211164 0
[pid=18021/tid=18022] ppid=18019 vsize=866632 CPUtime=2832.55
/proc/18021/task/18022/stat : 18022 (java) R 18019 18021 17876 0 -1 64 11478 0 1 0 282158 1097 0 0 25 0 9 0 42829102 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4126786083 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18021/tid=18024] ppid=18019 vsize=866632 CPUtime=0.07
/proc/18021/task/18024/stat : 18024 (java) S 18019 18021 17876 0 -1 64 2573 0 0 0 7 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18025] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18025/stat : 18025 (java) S 18019 18021 17876 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18026] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18026/stat : 18026 (java) S 18019 18021 17876 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18027] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18027/stat : 18027 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18028] ppid=18019 vsize=866632 CPUtime=0.21
/proc/18021/task/18028/stat : 18028 (java) S 18019 18021 17876 0 -1 64 384 0 0 0 21 0 0 0 16 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18029] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18029/stat : 18029 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18030] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18030/stat : 18030 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2832.87
Current children cumulated vsize (KiB) 866632
[startup+2854.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 18268
/proc/meminfo: memFree=1299776/2055920 swapFree=4180348/4192956
[pid=18021] ppid=18019 vsize=866632 CPUtime=2839.27
/proc/18021/stat : 18021 (java) S 18019 18021 17876 0 -1 0 15131 0 1 0 282827 1100 0 0 18 0 9 0 42829101 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 216658 14292 2634 9 0 211164 0
[pid=18021/tid=18022] ppid=18019 vsize=866632 CPUtime=2838.94
/proc/18021/task/18022/stat : 18022 (java) R 18019 18021 17876 0 -1 64 11478 0 1 0 282797 1097 0 0 25 0 9 0 42829102 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4126779595 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18021/tid=18024] ppid=18019 vsize=866632 CPUtime=0.07
/proc/18021/task/18024/stat : 18024 (java) S 18019 18021 17876 0 -1 64 2573 0 0 0 7 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18025] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18025/stat : 18025 (java) S 18019 18021 17876 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18026] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18026/stat : 18026 (java) S 18019 18021 17876 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18027] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18027/stat : 18027 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18028] ppid=18019 vsize=866632 CPUtime=0.21
/proc/18021/task/18028/stat : 18028 (java) S 18019 18021 17876 0 -1 64 384 0 0 0 21 0 0 0 16 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18029] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18029/stat : 18029 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18030] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18030/stat : 18030 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2839.27
Current children cumulated vsize (KiB) 866632
[startup+2857.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18268
/proc/meminfo: memFree=1299776/2055920 swapFree=4180348/4192956
[pid=18021] ppid=18019 vsize=866632 CPUtime=2842.46
/proc/18021/stat : 18021 (java) S 18019 18021 17876 0 -1 0 15131 0 1 0 283146 1100 0 0 18 0 9 0 42829101 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 216658 14292 2634 9 0 211164 0
[pid=18021/tid=18022] ppid=18019 vsize=866632 CPUtime=2842.14
/proc/18021/task/18022/stat : 18022 (java) R 18019 18021 17876 0 -1 64 11478 0 1 0 283117 1097 0 0 25 0 9 0 42829102 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4126669745 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18021/tid=18024] ppid=18019 vsize=866632 CPUtime=0.07
/proc/18021/task/18024/stat : 18024 (java) S 18019 18021 17876 0 -1 64 2573 0 0 0 7 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18025] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18025/stat : 18025 (java) S 18019 18021 17876 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18026] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18026/stat : 18026 (java) S 18019 18021 17876 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18027] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18027/stat : 18027 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18028] ppid=18019 vsize=866632 CPUtime=0.21
/proc/18021/task/18028/stat : 18028 (java) S 18019 18021 17876 0 -1 64 384 0 0 0 21 0 0 0 16 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18029] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18029/stat : 18029 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18030] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18030/stat : 18030 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2842.46
Current children cumulated vsize (KiB) 866632
[startup+2858.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18268
/proc/meminfo: memFree=1299776/2055920 swapFree=4180348/4192956
[pid=18021] ppid=18019 vsize=866632 CPUtime=2843.26
/proc/18021/stat : 18021 (java) S 18019 18021 17876 0 -1 0 15131 0 1 0 283226 1100 0 0 18 0 9 0 42829101 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 216658 14292 2634 9 0 211164 0
[pid=18021/tid=18022] ppid=18019 vsize=866632 CPUtime=2842.94
/proc/18021/task/18022/stat : 18022 (java) R 18019 18021 17876 0 -1 64 11478 0 1 0 283197 1097 0 0 25 0 9 0 42829102 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4126786991 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18021/tid=18024] ppid=18019 vsize=866632 CPUtime=0.07
/proc/18021/task/18024/stat : 18024 (java) S 18019 18021 17876 0 -1 64 2573 0 0 0 7 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18025] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18025/stat : 18025 (java) S 18019 18021 17876 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18026] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18026/stat : 18026 (java) S 18019 18021 17876 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18027] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18027/stat : 18027 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18028] ppid=18019 vsize=866632 CPUtime=0.21
/proc/18021/task/18028/stat : 18028 (java) S 18019 18021 17876 0 -1 64 384 0 0 0 21 0 0 0 16 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18029] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18029/stat : 18029 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18030] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18030/stat : 18030 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2843.26
Current children cumulated vsize (KiB) 866632
[startup+2858.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18268
/proc/meminfo: memFree=1299776/2055920 swapFree=4180348/4192956
[pid=18021] ppid=18019 vsize=866632 CPUtime=2843.66
/proc/18021/stat : 18021 (java) S 18019 18021 17876 0 -1 0 15131 0 1 0 283266 1100 0 0 18 0 9 0 42829101 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 216658 14292 2634 9 0 211164 0
[pid=18021/tid=18022] ppid=18019 vsize=866632 CPUtime=2843.34
/proc/18021/task/18022/stat : 18022 (java) R 18019 18021 17876 0 -1 64 11478 0 1 0 283237 1097 0 0 25 0 9 0 42829102 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4126786083 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18021/tid=18024] ppid=18019 vsize=866632 CPUtime=0.07
/proc/18021/task/18024/stat : 18024 (java) S 18019 18021 17876 0 -1 64 2573 0 0 0 7 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18025] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18025/stat : 18025 (java) S 18019 18021 17876 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18026] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18026/stat : 18026 (java) S 18019 18021 17876 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18027] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18027/stat : 18027 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18028] ppid=18019 vsize=866632 CPUtime=0.21
/proc/18021/task/18028/stat : 18028 (java) S 18019 18021 17876 0 -1 64 384 0 0 0 21 0 0 0 16 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18029] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18029/stat : 18029 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18030] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18030/stat : 18030 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2843.66
Current children cumulated vsize (KiB) 866632
[startup+2858.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18268
/proc/meminfo: memFree=1299776/2055920 swapFree=4180348/4192956
[pid=18021] ppid=18019 vsize=866632 CPUtime=2843.87
/proc/18021/stat : 18021 (java) S 18019 18021 17876 0 -1 0 15131 0 1 0 283287 1100 0 0 18 0 9 0 42829101 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 216658 14292 2634 9 0 211164 0
[pid=18021/tid=18022] ppid=18019 vsize=866632 CPUtime=2843.54
/proc/18021/task/18022/stat : 18022 (java) R 18019 18021 17876 0 -1 64 11478 0 1 0 283257 1097 0 0 25 0 9 0 42829102 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4126786983 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18021/tid=18024] ppid=18019 vsize=866632 CPUtime=0.07
/proc/18021/task/18024/stat : 18024 (java) S 18019 18021 17876 0 -1 64 2573 0 0 0 7 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18025] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18025/stat : 18025 (java) S 18019 18021 17876 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18026] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18026/stat : 18026 (java) S 18019 18021 17876 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42829104 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18027] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18027/stat : 18027 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18028] ppid=18019 vsize=866632 CPUtime=0.21
/proc/18021/task/18028/stat : 18028 (java) S 18019 18021 17876 0 -1 64 384 0 0 0 21 0 0 0 16 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18029] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18029/stat : 18029 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18021/tid=18030] ppid=18019 vsize=866632 CPUtime=0
/proc/18021/task/18030/stat : 18030 (java) S 18019 18021 17876 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42829106 887431168 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2843.87
Current children cumulated vsize (KiB) 866632
Child status: 0
Real time (s): 2858.97
CPU time (s): 2843.9
CPU user time (s): 2832.89
CPU system time (s): 11.0093
CPU usage (%): 99.4729
Max. virtual memory (cumulated for all children) (KiB): 866636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2832.89
system time used= 11.0093
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15145
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= 58645
involuntary context switches= 75850
runsolver used 3.38948 second user time and 9.64653 second system time
The end
Begin job on node30 at 2008-07-12 13:14:34
IDJOB=1112057
IDBENCH=61357
IDSOLVER=359
FILE ID=node30/1112057-1215861274
PBS_JOBID= 7903501
Free space on /tmp= 66524 MiB
SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/rand-3-20-20/normalized-rand-3-20-20-60-632-30_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112057-1215861274/watcher-1112057-1215861274 -o /tmp/evaluation-result-1112057-1215861274/solver-1112057-1215861274 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112057-1215861274.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= ff729e3d722d9d70ffaf83156670664a
RANDOM SEED=337321173
node30.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.234
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.234
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: 1714224 kB
Buffers: 42032 kB
Cached: 116864 kB
SwapCached: 6684 kB
Active: 227744 kB
Inactive: 71156 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1714224 kB
SwapTotal: 4192956 kB
SwapFree: 4180348 kB
Dirty: 3248 kB
Writeback: 0 kB
Mapped: 146956 kB
Slab: 28000 kB
Committed_AS: 303364 kB
PageTables: 1964 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= 66364 MiB
End job on node30 at 2008-07-12 14:02:13