0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mrdac-ddeg.xml
0.29/0.33
0.29/0.33 instance
0.29/0.33 name=HOME/instance-1109174-1215799080.xml
0.29/0.37
0.29/0.37 domains being loaded...
0.29/0.38
0.29/0.38 variables being loaded...
0.39/0.41 nbVariables=150 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=300
0.39/0.41 => wckTime=0.17 cpuTime=0.13 mem=7M842
0.39/0.41
0.39/0.42 relations being loaded...
0.39/0.42
0.39/0.42 constraints being loaded...
0.39/0.48 nbConstraints=100 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=98
0.39/0.48 nbConflictsStructures=2 nbSharedConflictsStructures=98 nbSharedBinaryRepresentations=0 minDegree=2 maxDegree=2
0.39/0.48 minArity=3 maxArity=3
0.39/0.48 => wckTime=0.24 cpuTime=0.19 mem=9M891
0.48/0.58
0.48/0.58 solver LocalSearchSolver being built...
0.58/0.62 => wckTime=0.378 cpuTime=0.24 mem=5M524
0.58/0.63
0.58/0.63 s SATISFIABLE
0.58/0.63 o 49
0.58/0.63 o 47
0.58/0.63 o 45
0.58/0.63 o 43
0.58/0.63 o 41
0.58/0.63 o 39
0.58/0.63 o 37
0.58/0.64 o 35
0.58/0.64 o 33
0.58/0.64 o 31
0.58/0.64 o 29
0.58/0.64 o 27
0.58/0.64 o 25
0.58/0.64 o 23
0.58/0.64 o 21
0.58/0.65 o 19
0.58/0.65 o 17
0.58/0.65 o 15
0.58/0.65 o 13
0.58/0.65 o 11
0.58/0.65 o 9
0.58/0.65 o 7
0.58/0.66 o 5
0.58/0.66 o 3
0.58/0.67 o 1
1.28/1.33
1.28/1.33 search
1.28/1.33 run=0 nbConstraintChecks=372679 nbAssignments=10000
1.28/1.33 => wckTime=0.709 cpuTime=0.69 mem=6M516
1.88/1.98
1.88/1.98 search
1.88/1.98 run=1 nbConstraintChecks=709410 nbAssignments=20000
1.88/1.98 => wckTime=1.357 cpuTime=1.33 mem=6M516
2.58/2.61
2.58/2.61 search
2.58/2.61 run=2 nbConstraintChecks=1037833 nbAssignments=30000
2.58/2.61 => wckTime=1.99 cpuTime=1.95 mem=6M516
3.17/3.24
3.17/3.24 search
3.17/3.24 run=3 nbConstraintChecks=1369302 nbAssignments=40000
3.17/3.24 => wckTime=2.619 cpuTime=2.58 mem=6M516
3.77/3.87
3.77/3.87 search
3.77/3.87 run=4 nbConstraintChecks=1686114 nbAssignments=50000
3.77/3.87 => wckTime=3.249 cpuTime=3.21 mem=6M516
4.47/4.51
4.47/4.51 search
4.47/4.51 run=5 nbConstraintChecks=2015373 nbAssignments=60000
4.47/4.51 => wckTime=3.886 cpuTime=3.84 mem=6M516
5.06/5.13
5.06/5.13 search
5.06/5.13 run=6 nbConstraintChecks=2314749 nbAssignments=70000
5.06/5.13 => wckTime=4.507 cpuTime=4.46 mem=6M516
5.65/5.76
5.65/5.76 search
5.65/5.76 run=7 nbConstraintChecks=2625347 nbAssignments=80000
5.65/5.76 => wckTime=5.136 cpuTime=5.09 mem=6M516
6.26/6.38
6.26/6.38 search
6.26/6.38 run=8 nbConstraintChecks=2922462 nbAssignments=90000
6.26/6.38 => wckTime=5.756 cpuTime=5.71 mem=6M516
6.95/7.00
6.95/7.00 search
6.95/7.00 run=9 nbConstraintChecks=3223023 nbAssignments=100000
6.95/7.00 => wckTime=6.383 cpuTime=6.32 mem=6M516
7.55/7.63
7.55/7.63 search
7.55/7.63 run=10 nbConstraintChecks=3518104 nbAssignments=110000
7.55/7.63 => wckTime=7.01 cpuTime=6.95 mem=6M516
8.14/8.25
8.14/8.25 search
8.14/8.25 run=11 nbConstraintChecks=3802989 nbAssignments=120000
8.14/8.25 => wckTime=7.635 cpuTime=7.56 mem=6M516
8.74/8.88
8.74/8.88 search
8.74/8.88 run=12 nbConstraintChecks=4095314 nbAssignments=130000
8.74/8.88 => wckTime=8.26 cpuTime=8.19 mem=6M516
9.44/9.50
9.44/9.50 search
9.44/9.50 run=13 nbConstraintChecks=4398398 nbAssignments=140000
9.44/9.50 => wckTime=8.883 cpuTime=8.8 mem=6M516
10.03/10.13
10.03/10.13 search
10.03/10.13 run=14 nbConstraintChecks=4708112 nbAssignments=150000
10.03/10.13 => wckTime=9.513 cpuTime=9.43 mem=6M516
10.63/10.76
10.63/10.76 search
10.63/10.76 run=15 nbConstraintChecks=5014647 nbAssignments=160000
10.63/10.76 => wckTime=10.136 cpuTime=10.05 mem=6M516
11.23/11.39
11.23/11.39 search
11.23/11.39 run=16 nbConstraintChecks=5319244 nbAssignments=170000
11.23/11.39 => wckTime=10.769 cpuTime=10.68 mem=6M516
11.93/12.02
11.93/12.02 search
11.93/12.02 run=17 nbConstraintChecks=5626873 nbAssignments=180000
11.93/12.02 => wckTime=11.397 cpuTime=11.31 mem=6M516
12.53/12.65
12.53/12.65 search
12.53/12.65 run=18 nbConstraintChecks=5921162 nbAssignments=190000
12.53/12.65 => wckTime=12.028 cpuTime=11.94 mem=6M516
13.12/13.28
13.12/13.28 search
13.12/13.28 run=19 nbConstraintChecks=6210779 nbAssignments=200000
13.12/13.28 => wckTime=12.658 cpuTime=12.56 mem=6M516
13.82/13.90
13.82/13.90 search
13.82/13.90 run=20 nbConstraintChecks=6487074 nbAssignments=210000
13.82/13.90 => wckTime=13.279 cpuTime=13.17 mem=6M516
14.41/14.53
14.41/14.53 search
14.41/14.53 run=21 nbConstraintChecks=6765235 nbAssignments=220000
14.41/14.53 => wckTime=13.907 cpuTime=13.8 mem=6M516
15.01/15.15
15.01/15.15 search
15.01/15.15 run=22 nbConstraintChecks=7032488 nbAssignments=230000
15.01/15.15 => wckTime=14.528 cpuTime=14.42 mem=6M516
15.61/15.77
15.61/15.77 search
15.61/15.77 run=23 nbConstraintChecks=7302571 nbAssignments=240000
15.61/15.77 => wckTime=15.154 cpuTime=15.04 mem=6M516
16.30/16.40
16.30/16.40 search
16.30/16.40 run=24 nbConstraintChecks=7593474 nbAssignments=250000
16.30/16.40 => wckTime=15.78 cpuTime=15.66 mem=6M516
16.90/17.03
16.90/17.03 search
16.90/17.03 run=25 nbConstraintChecks=7884601 nbAssignments=260000
16.90/17.03 => wckTime=16.411 cpuTime=16.29 mem=6M516
17.50/17.66
17.50/17.66 search
17.50/17.66 run=26 nbConstraintChecks=8171022 nbAssignments=270000
17.50/17.66 => wckTime=17.041 cpuTime=16.92 mem=6M516
18.10/18.29
18.10/18.29 search
18.10/18.29 run=27 nbConstraintChecks=8471314 nbAssignments=280000
18.10/18.29 => wckTime=17.668 cpuTime=17.54 mem=6M516
18.78/18.92
18.78/18.92 search
18.78/18.92 run=28 nbConstraintChecks=8768154 nbAssignments=290000
18.78/18.92 => wckTime=18.301 cpuTime=18.17 mem=6M516
19.38/19.55
19.38/19.55 search
19.38/19.55 run=29 nbConstraintChecks=9085685 nbAssignments=300000
19.38/19.55 => wckTime=18.933 cpuTime=18.8 mem=6M516
19.98/20.19
19.98/20.19 search
19.98/20.19 run=30 nbConstraintChecks=9398272 nbAssignments=310000
19.98/20.19 => wckTime=19.569 cpuTime=19.43 mem=6M516
20.68/20.82
20.68/20.82 search
20.68/20.82 run=31 nbConstraintChecks=9718642 nbAssignments=320000
20.68/20.82 => wckTime=20.203 cpuTime=20.06 mem=6M516
21.27/21.45
21.27/21.45 search
21.27/21.45 run=32 nbConstraintChecks=10028296 nbAssignments=330000
21.27/21.45 => wckTime=20.834 cpuTime=20.69 mem=6M516
21.88/22.09
21.88/22.09 search
21.88/22.09 run=33 nbConstraintChecks=10348738 nbAssignments=340000
21.88/22.09 => wckTime=21.467 cpuTime=21.32 mem=6M516
22.56/22.70
22.56/22.70 search
22.56/22.70 run=34 nbConstraintChecks=10618199 nbAssignments=350000
22.56/22.70 => wckTime=22.085 cpuTime=21.93 mem=6M516
23.16/23.33
23.16/23.33 search
23.16/23.33 run=35 nbConstraintChecks=10905741 nbAssignments=360000
23.16/23.33 => wckTime=22.711 cpuTime=22.56 mem=6M516
23.76/23.95
23.76/23.95 search
23.76/23.95 run=36 nbConstraintChecks=11186637 nbAssignments=370000
23.76/23.95 => wckTime=23.33 cpuTime=23.17 mem=6M516
24.35/24.58
24.35/24.58 search
24.35/24.58 run=37 nbConstraintChecks=11482301 nbAssignments=380000
24.35/24.58 => wckTime=23.957 cpuTime=23.79 mem=6M516
25.05/25.20
25.05/25.20 search
25.05/25.20 run=38 nbConstraintChecks=11781415 nbAssignments=390000
25.05/25.20 => wckTime=24.581 cpuTime=24.42 mem=6M516
25.65/25.83
25.65/25.83 search
25.65/25.83 run=39 nbConstraintChecks=12071314 nbAssignments=400000
25.65/25.83 => wckTime=25.208 cpuTime=25.04 mem=6M516
26.25/26.45
26.25/26.45 search
26.25/26.45 run=40 nbConstraintChecks=12356056 nbAssignments=410000
26.25/26.45 => wckTime=25.833 cpuTime=25.66 mem=6M516
26.85/27.07
26.85/27.08 search
26.85/27.08 run=41 nbConstraintChecks=12645713 nbAssignments=420000
26.85/27.08 => wckTime=26.454 cpuTime=26.27 mem=6M516
27.54/27.70
27.54/27.70 search
27.54/27.70 run=42 nbConstraintChecks=12925980 nbAssignments=430000
27.54/27.70 => wckTime=27.08 cpuTime=26.9 mem=6M516
28.14/28.32
28.14/28.32 search
28.14/28.32 run=43 nbConstraintChecks=13199928 nbAssignments=440000
28.14/28.32 => wckTime=27.698 cpuTime=27.52 mem=6M516
28.73/28.94
28.73/28.94 search
28.73/28.94 run=44 nbConstraintChecks=13449733 nbAssignments=450000
28.73/28.94 => wckTime=28.316 cpuTime=28.13 mem=6M516
29.33/29.55
29.33/29.55 search
29.33/29.55 run=45 nbConstraintChecks=13726906 nbAssignments=460000
29.33/29.55 => wckTime=28.934 cpuTime=28.75 mem=6M516
29.93/30.18
29.93/30.18 search
29.93/30.18 run=46 nbConstraintChecks=14006937 nbAssignments=470000
29.93/30.18 => wckTime=29.557 cpuTime=29.36 mem=6M516
30.62/30.81
30.62/30.81 search
30.62/30.81 run=47 nbConstraintChecks=14310516 nbAssignments=480000
30.62/30.81 => wckTime=30.188 cpuTime=29.99 mem=6M516
30.62/30.87
30.62/30.87 search
30.62/30.87 run=48 nbConstraintChecks=14335087 nbAssignments=480960
30.62/30.87 => wckTime=30.248 cpuTime=30.05 mem=6M516
30.62/30.87
30.62/30.87 global
30.62/30.87 nbConstraintChecks=14335087 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.62/30.87 solvingWckTime=30.246 solvingCpuTime=30.05 expiredTime=no totalExploration=no nbFoundSolutions=0
30.62/30.87 globalCpuTime=30.36
30.62/30.87 => wckTime=30.626 cpuTime=30.3 mem=6M516
30.62/30.87
30.62/30.87 solver DecomposerSolver being built...
30.82/31.01 => wckTime=30.765 cpuTime=30.41 mem=18M562
30.82/31.01
30.82/31.01 preprocessing
30.82/31.01 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.82/31.01 detectedInconsistency=no
30.82/31.01 => wckTime=0.0040 cpuTime=0.0 mem=18M562
3600.01/3613.52 v 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 0
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109174-1215799080/watcher-1109174-1215799080 -o /tmp/evaluation-result-1109174-1215799080/solver-1109174-1215799080 -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-ddeg.xml 1 XSax HOME/instance-1109174-1215799080.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.07 3/80 15320
/proc/meminfo: memFree=953360/2055920 swapFree=4190156/4192956
[pid=15320] ppid=15318 vsize=10616 CPUtime=0
/proc/15320/stat : 15320 (java) S 15318 15320 15017 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 36605914 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15320/statm: 2654 472 209 9 0 1184 0
[pid=15320/tid=15321] ppid=15318 vsize=10616 CPUtime=0
/proc/15320/task/15321/stat : 15321 (java) R 15318 15320 15017 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 36605915 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 10604504 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.100596 s]
/proc/loadavg: 2.00 2.00 2.07 3/80 15320
/proc/meminfo: memFree=953360/2055920 swapFree=4190156/4192956
[pid=15320] ppid=15318 vsize=865984 CPUtime=0.08
/proc/15320/stat : 15320 (java) S 15318 15320 15017 0 -1 0 3729 0 1 0 6 2 0 0 18 0 9 0 36605914 886767616 3193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15320/statm: 216496 3193 1685 9 0 211051 0
[pid=15320/tid=15321] ppid=15318 vsize=865984 CPUtime=0.07
/proc/15320/task/15321/stat : 15321 (java) R 15318 15320 15017 0 -1 64 2827 0 1 0 6 1 0 0 18 0 9 0 36605915 886767616 3193 996147200 134512640 134550740 4294955952 18446744073709551615 102715642 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.201615 s]
/proc/loadavg: 2.00 2.00 2.07 3/80 15320
/proc/meminfo: memFree=953360/2055920 swapFree=4190156/4192956
[pid=15320] ppid=15318 vsize=866012 CPUtime=0.19
/proc/15320/stat : 15320 (java) S 15318 15320 15017 0 -1 0 4640 0 1 0 16 3 0 0 18 0 9 0 36605914 886796288 4068 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15320/statm: 216503 4068 1854 9 0 211051 0
[pid=15320/tid=15321] ppid=15318 vsize=866012 CPUtime=0.17
/proc/15320/task/15321/stat : 15321 (java) R 15318 15320 15017 0 -1 64 3738 0 1 0 15 2 0 0 18 0 9 0 36605915 886796288 4068 996147200 134512640 134550740 4294955952 18446744073709551615 102222083 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 866012
[startup+0.301632 s]
/proc/loadavg: 2.00 2.00 2.07 3/80 15320
/proc/meminfo: memFree=953360/2055920 swapFree=4190156/4192956
[pid=15320] ppid=15318 vsize=866156 CPUtime=0.29
/proc/15320/stat : 15320 (java) S 15318 15320 15017 0 -1 0 5594 0 1 0 26 3 0 0 18 0 9 0 36605914 886943744 5009 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15320/statm: 216539 5009 1905 9 0 211087 0
[pid=15320/tid=15321] ppid=15318 vsize=866156 CPUtime=0.25
/proc/15320/task/15321/stat : 15321 (java) R 15318 15320 15017 0 -1 64 4671 0 1 0 23 2 0 0 19 0 9 0 36605915 886943744 5009 996147200 134512640 134550740 4294955952 18446744073709551615 9757476 0 2147483391 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866156
[startup+0.70171 s]
/proc/loadavg: 2.00 2.00 2.07 3/80 15320
/proc/meminfo: memFree=953360/2055920 swapFree=4190156/4192956
[pid=15320] ppid=15318 vsize=866640 CPUtime=0.69
/proc/15320/stat : 15320 (java) S 15318 15320 15017 0 -1 0 8331 0 1 0 62 7 0 0 18 0 9 0 36605914 887439360 7498 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15320/statm: 216660 7498 2632 9 0 211166 0
[pid=15320/tid=15321] ppid=15318 vsize=866640 CPUtime=0.53
/proc/15320/task/15321/stat : 15321 (java) R 15318 15320 15017 0 -1 64 6181 0 1 0 47 6 0 0 20 0 9 0 36605915 887439360 7498 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 866640
[startup+1.50287 s]
/proc/loadavg: 2.16 2.03 2.08 3/89 15329
/proc/meminfo: memFree=933512/2055920 swapFree=4190156/4192956
[pid=15320] ppid=15318 vsize=866644 CPUtime=1.48
/proc/15320/stat : 15320 (java) S 15318 15320 15017 0 -1 0 8342 0 1 0 95 53 0 0 18 0 9 0 36605914 887443456 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15320/statm: 216661 7509 2633 9 0 211167 0
[pid=15320/tid=15321] ppid=15318 vsize=866644 CPUtime=1.31
/proc/15320/task/15321/stat : 15321 (java) R 15318 15320 15017 0 -1 64 6182 0 1 0 79 52 0 0 25 0 9 0 36605915 887443456 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15323] ppid=15318 vsize=866644 CPUtime=0.03
/proc/15320/task/15323/stat : 15323 (java) S 15318 15320 15017 0 -1 64 1133 0 0 0 3 0 0 0 16 0 9 0 36605916 887443456 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15324] ppid=15318 vsize=866644 CPUtime=0
/proc/15320/task/15324/stat : 15324 (java) S 15318 15320 15017 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36605917 887443456 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15325] ppid=15318 vsize=866644 CPUtime=0
/proc/15320/task/15325/stat : 15325 (java) S 15318 15320 15017 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36605917 887443456 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15326] ppid=15318 vsize=866644 CPUtime=0
/proc/15320/task/15326/stat : 15326 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 36605919 887443456 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15327] ppid=15318 vsize=866644 CPUtime=0.11
/proc/15320/task/15327/stat : 15327 (java) S 15318 15320 15017 0 -1 64 330 0 0 0 11 0 0 0 16 0 9 0 36605919 887443456 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15328] ppid=15318 vsize=866644 CPUtime=0
/proc/15320/task/15328/stat : 15328 (java) S 15318 15320 15017 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36605919 887443456 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15329] ppid=15318 vsize=866644 CPUtime=0
/proc/15320/task/15329/stat : 15329 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36605919 887443456 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 866644
[startup+3.10117 s]
/proc/loadavg: 2.16 2.03 2.08 3/89 15329
/proc/meminfo: memFree=933320/2055920 swapFree=4190156/4192956
[pid=15320] ppid=15318 vsize=866640 CPUtime=3.07
/proc/15320/stat : 15320 (java) S 15318 15320 15017 0 -1 0 8343 0 1 0 158 149 0 0 18 0 9 0 36605914 887439360 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15320/statm: 216660 7509 2633 9 0 211166 0
[pid=15320/tid=15321] ppid=15318 vsize=866640 CPUtime=2.9
/proc/15320/task/15321/stat : 15321 (java) R 15318 15320 15017 0 -1 64 6183 0 1 0 142 148 0 0 25 0 9 0 36605915 887439360 7509 996147200 134512640 134550740 4294955952 18446744073709551615 10175873 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15323] ppid=15318 vsize=866640 CPUtime=0.03
/proc/15320/task/15323/stat : 15323 (java) S 15318 15320 15017 0 -1 64 1133 0 0 0 3 0 0 0 16 0 9 0 36605916 887439360 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15324] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15324/stat : 15324 (java) S 15318 15320 15017 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36605917 887439360 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15325] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15325/stat : 15325 (java) S 15318 15320 15017 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36605917 887439360 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15326] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15326/stat : 15326 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 36605919 887439360 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15327] ppid=15318 vsize=866640 CPUtime=0.11
/proc/15320/task/15327/stat : 15327 (java) S 15318 15320 15017 0 -1 64 330 0 0 0 11 0 0 0 16 0 9 0 36605919 887439360 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15328] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15328/stat : 15328 (java) S 15318 15320 15017 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36605919 887439360 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15329] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15329/stat : 15329 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36605919 887439360 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 866640
[startup+6.3028 s]
/proc/loadavg: 2.15 2.03 2.08 3/89 15329
/proc/meminfo: memFree=933064/2055920 swapFree=4190156/4192956
[pid=15320] ppid=15318 vsize=866640 CPUtime=6.26
/proc/15320/stat : 15320 (java) S 15318 15320 15017 0 -1 0 8344 0 1 0 280 346 0 0 18 0 9 0 36605914 887439360 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15320/statm: 216660 7509 2633 9 0 211166 0
[pid=15320/tid=15321] ppid=15318 vsize=866640 CPUtime=6.09
/proc/15320/task/15321/stat : 15321 (java) R 15318 15320 15017 0 -1 64 6184 0 1 0 264 345 0 0 25 0 9 0 36605915 887439360 7509 996147200 134512640 134550740 4294955952 18446744073709551615 10082751 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15323] ppid=15318 vsize=866640 CPUtime=0.03
/proc/15320/task/15323/stat : 15323 (java) S 15318 15320 15017 0 -1 64 1133 0 0 0 3 0 0 0 16 0 9 0 36605916 887439360 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15324] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15324/stat : 15324 (java) S 15318 15320 15017 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36605917 887439360 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15325] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15325/stat : 15325 (java) S 15318 15320 15017 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36605917 887439360 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15326] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15326/stat : 15326 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 36605919 887439360 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15327] ppid=15318 vsize=866640 CPUtime=0.11
/proc/15320/task/15327/stat : 15327 (java) S 15318 15320 15017 0 -1 64 330 0 0 0 11 0 0 0 16 0 9 0 36605919 887439360 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15328] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15328/stat : 15328 (java) S 15318 15320 15017 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36605919 887439360 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15329] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15329/stat : 15329 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36605919 887439360 7509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 866640
[startup+12.702 s]
/proc/loadavg: 2.13 2.03 2.08 3/89 15329
/proc/meminfo: memFree=932880/2055920 swapFree=4190156/4192956
[pid=15320] ppid=15318 vsize=866640 CPUtime=12.62
/proc/15320/stat : 15320 (java) S 15318 15320 15017 0 -1 0 8349 0 1 0 520 742 0 0 18 0 9 0 36605914 887439360 7514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15320/statm: 216660 7514 2633 9 0 211166 0
[pid=15320/tid=15321] ppid=15318 vsize=866640 CPUtime=12.44
/proc/15320/task/15321/stat : 15321 (java) R 15318 15320 15017 0 -1 64 6184 0 1 0 503 741 0 0 25 0 9 0 36605915 887439360 7514 996147200 134512640 134550740 4294955952 18446744073709551615 4126672617 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15323] ppid=15318 vsize=866640 CPUtime=0.03
/proc/15320/task/15323/stat : 15323 (java) S 15318 15320 15017 0 -1 64 1133 0 0 0 3 0 0 0 16 0 9 0 36605916 887439360 7514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15324] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15324/stat : 15324 (java) S 15318 15320 15017 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36605917 887439360 7514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15325] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15325/stat : 15325 (java) S 15318 15320 15017 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36605917 887439360 7514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15326] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15326/stat : 15326 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 36605919 887439360 7514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15327] ppid=15318 vsize=866640 CPUtime=0.12
/proc/15320/task/15327/stat : 15327 (java) S 15318 15320 15017 0 -1 64 335 0 0 0 12 0 0 0 16 0 9 0 36605919 887439360 7514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15328] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15328/stat : 15328 (java) S 15318 15320 15017 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36605919 887439360 7514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15329] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15329/stat : 15329 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36605919 887439360 7514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 866640
[startup+25.5015 s]
/proc/loadavg: 2.10 2.03 2.07 3/89 15329
/proc/meminfo: memFree=932880/2055920 swapFree=4190156/4192956
[pid=15320] ppid=15318 vsize=866640 CPUtime=25.35
/proc/15320/stat : 15320 (java) S 15318 15320 15017 0 -1 0 8350 0 1 0 1001 1534 0 0 18 0 9 0 36605914 887439360 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15320/statm: 216660 7515 2633 9 0 211166 0
[pid=15320/tid=15321] ppid=15318 vsize=866640 CPUtime=25.16
/proc/15320/task/15321/stat : 15321 (java) R 15318 15320 15017 0 -1 64 6184 0 1 0 984 1532 0 0 25 0 9 0 36605915 887439360 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4126669960 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15323] ppid=15318 vsize=866640 CPUtime=0.03
/proc/15320/task/15323/stat : 15323 (java) S 15318 15320 15017 0 -1 64 1133 0 0 0 3 0 0 0 16 0 9 0 36605916 887439360 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15324] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15324/stat : 15324 (java) S 15318 15320 15017 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36605917 887439360 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15325] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15325/stat : 15325 (java) S 15318 15320 15017 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36605917 887439360 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15326] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15326/stat : 15326 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 36605919 887439360 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15327] ppid=15318 vsize=866640 CPUtime=0.12
/proc/15320/task/15327/stat : 15327 (java) S 15318 15320 15017 0 -1 64 336 0 0 0 12 0 0 0 16 0 9 0 36605919 887439360 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15328] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15328/stat : 15328 (java) S 15318 15320 15017 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36605919 887439360 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15329] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15329/stat : 15329 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36605919 887439360 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 866640
[startup+51.1026 s]
/proc/loadavg: 2.07 2.03 2.07 3/89 15329
/proc/meminfo: memFree=923280/2055920 swapFree=4190156/4192956
[pid=15320] ppid=15318 vsize=866640 CPUtime=50.83
/proc/15320/stat : 15320 (java) S 15318 15320 15017 0 -1 0 10737 0 1 0 3213 1870 0 0 18 0 9 0 36605914 887439360 9900 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15320/statm: 216660 9900 2635 9 0 211166 0
[pid=15320/tid=15321] ppid=15318 vsize=866640 CPUtime=50.56
/proc/15320/task/15321/stat : 15321 (java) R 15318 15320 15017 0 -1 64 8524 0 1 0 3188 1868 0 0 25 0 9 0 36605915 887439360 9900 996147200 134512640 134550740 4294955952 18446744073709551615 4126798752 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15323] ppid=15318 vsize=866640 CPUtime=0.03
################
# More data... #
################
/proc/15320/task/15325/stat : 15325 (java) S 15318 15320 15017 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36605917 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15326] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15326/stat : 15326 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15327] ppid=15318 vsize=866640 CPUtime=0.2
/proc/15320/task/15327/stat : 15327 (java) S 15318 15320 15017 0 -1 64 383 0 0 0 20 0 0 0 15 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15328] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15328/stat : 15328 (java) S 15318 15320 15017 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15329] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15329/stat : 15329 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3268.95
Current children cumulated vsize (KiB) 866640
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/97 15585
/proc/meminfo: memFree=1833424/2055920 swapFree=4190156/4192956
[pid=15320] ppid=15318 vsize=866640 CPUtime=3328.92
/proc/15320/stat : 15320 (java) S 15318 15320 15017 0 -1 0 10741 0 1 0 331019 1873 0 0 18 0 9 0 36605914 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15320/statm: 216660 9904 2635 9 0 211166 0
[pid=15320/tid=15321] ppid=15318 vsize=866640 CPUtime=3328.66
/proc/15320/task/15321/stat : 15321 (java) R 15318 15320 15017 0 -1 64 8528 0 1 0 330994 1872 0 0 25 0 9 0 36605915 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4126846589 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=866640 CPUtime=0.03
/proc/15320/task/15323/stat : 15323 (java) S 15318 15320 15017 0 -1 64 1133 0 0 0 3 0 0 0 16 0 9 0 36605916 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15324] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15324/stat : 15324 (java) S 15318 15320 15017 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36605917 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15325] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15325/stat : 15325 (java) S 15318 15320 15017 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36605917 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15326] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15326/stat : 15326 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15327] ppid=15318 vsize=866640 CPUtime=0.2
/proc/15320/task/15327/stat : 15327 (java) S 15318 15320 15017 0 -1 64 383 0 0 0 20 0 0 0 15 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15328] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15328/stat : 15328 (java) S 15318 15320 15017 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15329] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15329/stat : 15329 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3328.92
Current children cumulated vsize (KiB) 866640
[startup+3402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/97 15585
/proc/meminfo: memFree=1833296/2055920 swapFree=4190156/4192956
[pid=15320] ppid=15318 vsize=866640 CPUtime=3388.9
/proc/15320/stat : 15320 (java) S 15318 15320 15017 0 -1 0 10741 0 1 0 337017 1873 0 0 18 0 9 0 36605914 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15320/statm: 216660 9904 2635 9 0 211166 0
[pid=15320/tid=15321] ppid=15318 vsize=866640 CPUtime=3388.64
/proc/15320/task/15321/stat : 15321 (java) R 15318 15320 15017 0 -1 64 8528 0 1 0 336992 1872 0 0 25 0 9 0 36605915 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4126775770 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=866640 CPUtime=0.03
/proc/15320/task/15323/stat : 15323 (java) S 15318 15320 15017 0 -1 64 1133 0 0 0 3 0 0 0 16 0 9 0 36605916 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15324] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15324/stat : 15324 (java) S 15318 15320 15017 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36605917 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15325] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15325/stat : 15325 (java) S 15318 15320 15017 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36605917 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15326] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15326/stat : 15326 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15327] ppid=15318 vsize=866640 CPUtime=0.2
/proc/15320/task/15327/stat : 15327 (java) S 15318 15320 15017 0 -1 64 383 0 0 0 20 0 0 0 15 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15328] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15328/stat : 15328 (java) S 15318 15320 15017 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15329] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15329/stat : 15329 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3388.9
Current children cumulated vsize (KiB) 866640
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/97 15585
/proc/meminfo: memFree=1833296/2055920 swapFree=4190156/4192956
[pid=15320] ppid=15318 vsize=866640 CPUtime=3448.86
/proc/15320/stat : 15320 (java) S 15318 15320 15017 0 -1 0 10741 0 1 0 343013 1873 0 0 18 0 9 0 36605914 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15320/statm: 216660 9904 2635 9 0 211166 0
[pid=15320/tid=15321] ppid=15318 vsize=866640 CPUtime=3448.6
/proc/15320/task/15321/stat : 15321 (java) R 15318 15320 15017 0 -1 64 8528 0 1 0 342988 1872 0 0 25 0 9 0 36605915 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4126829201 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=866640 CPUtime=0.03
/proc/15320/task/15323/stat : 15323 (java) S 15318 15320 15017 0 -1 64 1133 0 0 0 3 0 0 0 16 0 9 0 36605916 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15324] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15324/stat : 15324 (java) S 15318 15320 15017 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36605917 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15325] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15325/stat : 15325 (java) S 15318 15320 15017 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36605917 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15326] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15326/stat : 15326 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15327] ppid=15318 vsize=866640 CPUtime=0.2
/proc/15320/task/15327/stat : 15327 (java) S 15318 15320 15017 0 -1 64 383 0 0 0 20 0 0 0 15 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15328] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15328/stat : 15328 (java) S 15318 15320 15017 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15329] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15329/stat : 15329 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3448.86
Current children cumulated vsize (KiB) 866640
[startup+3522.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/97 15585
/proc/meminfo: memFree=1833296/2055920 swapFree=4190156/4192956
[pid=15320] ppid=15318 vsize=866640 CPUtime=3508.84
/proc/15320/stat : 15320 (java) S 15318 15320 15017 0 -1 0 10741 0 1 0 349011 1873 0 0 18 0 9 0 36605914 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15320/statm: 216660 9904 2635 9 0 211166 0
[pid=15320/tid=15321] ppid=15318 vsize=866640 CPUtime=3508.58
/proc/15320/task/15321/stat : 15321 (java) R 15318 15320 15017 0 -1 64 8528 0 1 0 348986 1872 0 0 25 0 9 0 36605915 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4126819482 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=866640 CPUtime=0.03
/proc/15320/task/15323/stat : 15323 (java) S 15318 15320 15017 0 -1 64 1133 0 0 0 3 0 0 0 16 0 9 0 36605916 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15324] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15324/stat : 15324 (java) S 15318 15320 15017 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36605917 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15325] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15325/stat : 15325 (java) S 15318 15320 15017 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36605917 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15326] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15326/stat : 15326 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15327] ppid=15318 vsize=866640 CPUtime=0.2
/proc/15320/task/15327/stat : 15327 (java) S 15318 15320 15017 0 -1 64 383 0 0 0 20 0 0 0 15 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15328] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15328/stat : 15328 (java) S 15318 15320 15017 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15329] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15329/stat : 15329 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3508.84
Current children cumulated vsize (KiB) 866640
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/97 15585
/proc/meminfo: memFree=1833232/2055920 swapFree=4190156/4192956
[pid=15320] ppid=15318 vsize=866640 CPUtime=3568.8
/proc/15320/stat : 15320 (java) S 15318 15320 15017 0 -1 0 10741 0 1 0 355007 1873 0 0 18 0 9 0 36605914 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15320/statm: 216660 9904 2635 9 0 211166 0
[pid=15320/tid=15321] ppid=15318 vsize=866640 CPUtime=3568.54
/proc/15320/task/15321/stat : 15321 (java) R 15318 15320 15017 0 -1 64 8528 0 1 0 354982 1872 0 0 25 0 9 0 36605915 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4126674007 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=866640 CPUtime=0.03
/proc/15320/task/15323/stat : 15323 (java) S 15318 15320 15017 0 -1 64 1133 0 0 0 3 0 0 0 16 0 9 0 36605916 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15324] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15324/stat : 15324 (java) S 15318 15320 15017 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36605917 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15325] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15325/stat : 15325 (java) S 15318 15320 15017 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36605917 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15326] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15326/stat : 15326 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15327] ppid=15318 vsize=866640 CPUtime=0.2
/proc/15320/task/15327/stat : 15327 (java) S 15318 15320 15017 0 -1 64 383 0 0 0 20 0 0 0 15 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15328] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15328/stat : 15328 (java) S 15318 15320 15017 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15329] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15329/stat : 15329 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3568.8
Current children cumulated vsize (KiB) 866640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.5 s]
/proc/loadavg: 2.00 2.00 2.00 4/97 15585
/proc/meminfo: memFree=1833232/2055920 swapFree=4190156/4192956
[pid=15320] ppid=15318 vsize=866640 CPUtime=3600.01
/proc/15320/stat : 15320 (java) S 15318 15320 15017 0 -1 0 10741 0 1 0 358127 1874 0 0 18 0 9 0 36605914 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15320/statm: 216660 9904 2635 9 0 211166 0
[pid=15320/tid=15321] ppid=15318 vsize=866640 CPUtime=3599.74
/proc/15320/task/15321/stat : 15321 (java) R 15318 15320 15017 0 -1 64 8528 0 1 0 358102 1872 0 0 25 0 9 0 36605915 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4126789100 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15320/tid=15323] ppid=15318 vsize=866640 CPUtime=0.03
/proc/15320/task/15323/stat : 15323 (java) S 15318 15320 15017 0 -1 64 1133 0 0 0 3 0 0 0 16 0 9 0 36605916 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15324] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15324/stat : 15324 (java) S 15318 15320 15017 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36605917 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15325] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15325/stat : 15325 (java) S 15318 15320 15017 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36605917 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15326] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15326/stat : 15326 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15327] ppid=15318 vsize=866640 CPUtime=0.2
/proc/15320/task/15327/stat : 15327 (java) S 15318 15320 15017 0 -1 64 383 0 0 0 20 0 0 0 15 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15328] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15328/stat : 15328 (java) S 15318 15320 15017 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15320/tid=15329] ppid=15318 vsize=866640 CPUtime=0
/proc/15320/task/15329/stat : 15329 (java) S 15318 15320 15017 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36605919 887439360 9904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 866640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 3613.55
CPU time (s): 3600.05
CPU user time (s): 3581.31
CPU system time (s): 18.7472
CPU usage (%): 99.6264
Max. virtual memory (cumulated for all children) (KiB): 866644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.31
system time used= 18.7472
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10763
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= 73860
involuntary context switches= 104908
runsolver used 4.17037 second user time and 12.2991 second system time
The end
Begin job on node74 at 2008-07-11 19:58:00
IDJOB=1109174
IDBENCH=60927
IDSOLVER=360
FILE ID=node74/1109174-1215799080
PBS_JOBID= 7903242
Free space on /tmp= 102920 MiB
SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/pret/normalized-pret-150-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109174-1215799080/watcher-1109174-1215799080 -o /tmp/evaluation-result-1109174-1215799080/solver-1109174-1215799080 -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-ddeg.xml 1 XSax HOME/instance-1109174-1215799080.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 49fd02a216aae122be88119b66e9d854
RANDOM SEED=571189990
node74.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.261
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.261
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: 953776 kB
Buffers: 17260 kB
Cached: 389924 kB
SwapCached: 0 kB
Active: 1009080 kB
Inactive: 26888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 953776 kB
SwapTotal: 4192956 kB
SwapFree: 4190156 kB
Dirty: 2016 kB
Writeback: 0 kB
Mapped: 641316 kB
Slab: 49348 kB
Committed_AS: 800200 kB
PageTables: 3668 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 103236 MiB
End job on node74 at 2008-07-11 20:58:16