0.06/0.11
0.06/0.11 Abscon 112 (May, 2008)
0.17/0.27
0.17/0.27 configuration
0.17/0.27 name=mrdac-wdeg.xml
0.26/0.30
0.26/0.30 instance
0.26/0.30 name=HOME/instance-1110689-1215831678.xml
0.26/0.34
0.26/0.34 domains being loaded...
0.26/0.35
0.26/0.35 variables being loaded...
0.26/0.38 nbVariables=84 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=168
0.26/0.38 => wckTime=0.11 cpuTime=0.09 mem=7M842
0.26/0.38
0.26/0.38 relations being loaded...
0.26/0.38
0.26/0.38 constraints being loaded...
0.35/0.44 nbConstraints=56 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=54
0.35/0.44 nbConflictsStructures=2 nbSharedConflictsStructures=54 nbSharedBinaryRepresentations=0 minDegree=2 maxDegree=2
0.35/0.44 minArity=3 maxArity=3
0.35/0.44 => wckTime=0.168 cpuTime=0.13 mem=9M874
0.35/0.49
0.35/0.49 solver LocalSearchSolver being built...
0.46/0.53 => wckTime=0.261 cpuTime=0.18 mem=5M455
0.46/0.53
0.46/0.53 s SATISFIABLE
0.46/0.53 o 31
0.46/0.53 o 29
0.46/0.53 o 27
0.46/0.53 o 25
0.46/0.54 o 23
0.46/0.54 o 21
0.46/0.54 o 19
0.46/0.54 o 17
0.46/0.54 o 15
0.46/0.54 o 13
0.46/0.54 o 11
0.46/0.54 o 9
0.46/0.54 o 7
0.46/0.54 o 5
0.46/0.55 o 3
0.46/0.56 o 1
1.06/1.16
1.06/1.16 search
1.06/1.16 run=0 nbConstraintChecks=310851 nbAssignments=10000
1.06/1.16 => wckTime=0.629 cpuTime=0.6 mem=6M447
1.65/1.74
1.65/1.74 search
1.65/1.74 run=1 nbConstraintChecks=621442 nbAssignments=20000
1.65/1.74 => wckTime=1.217 cpuTime=1.19 mem=6M447
2.25/2.30
2.25/2.30 search
2.25/2.30 run=2 nbConstraintChecks=862359 nbAssignments=30000
2.25/2.30 => wckTime=1.771 cpuTime=1.74 mem=6M447
2.76/2.86
2.76/2.86 search
2.76/2.86 run=3 nbConstraintChecks=1117247 nbAssignments=40000
2.76/2.86 => wckTime=2.329 cpuTime=2.3 mem=6M447
3.36/3.41
3.36/3.41 search
3.36/3.41 run=4 nbConstraintChecks=1352838 nbAssignments=50000
3.36/3.41 => wckTime=2.883 cpuTime=2.85 mem=6M447
3.85/3.97
3.85/3.97 search
3.85/3.97 run=5 nbConstraintChecks=1606651 nbAssignments=60000
3.85/3.97 => wckTime=3.442 cpuTime=3.41 mem=6M447
4.46/4.51
4.46/4.51 search
4.46/4.51 run=6 nbConstraintChecks=1792358 nbAssignments=70000
4.46/4.51 => wckTime=3.984 cpuTime=3.95 mem=6M447
4.95/5.05
4.95/5.05 search
4.95/5.05 run=7 nbConstraintChecks=1977209 nbAssignments=80000
4.95/5.05 => wckTime=4.525 cpuTime=4.49 mem=6M447
5.46/5.59
5.46/5.59 search
5.46/5.59 run=8 nbConstraintChecks=2153777 nbAssignments=90000
5.46/5.59 => wckTime=5.066 cpuTime=5.03 mem=6M447
6.06/6.14
6.06/6.14 search
6.06/6.14 run=9 nbConstraintChecks=2342598 nbAssignments=100000
6.06/6.14 => wckTime=5.608 cpuTime=5.57 mem=6M447
6.56/6.68
6.56/6.68 search
6.56/6.68 run=10 nbConstraintChecks=2561669 nbAssignments=110000
6.56/6.68 => wckTime=6.157 cpuTime=6.12 mem=6M447
7.15/7.24
7.15/7.24 search
7.15/7.24 run=11 nbConstraintChecks=2819767 nbAssignments=120000
7.15/7.24 => wckTime=6.714 cpuTime=6.68 mem=6M447
7.66/7.79
7.66/7.79 search
7.66/7.79 run=12 nbConstraintChecks=3039280 nbAssignments=130000
7.66/7.79 => wckTime=7.264 cpuTime=7.22 mem=6M447
8.25/8.34
8.25/8.34 search
8.25/8.34 run=13 nbConstraintChecks=3262457 nbAssignments=140000
8.25/8.34 => wckTime=7.814 cpuTime=7.78 mem=6M447
8.76/8.89
8.76/8.89 search
8.76/8.89 run=14 nbConstraintChecks=3480428 nbAssignments=150000
8.76/8.89 => wckTime=8.362 cpuTime=8.32 mem=6M447
9.35/9.44
9.35/9.44 search
9.35/9.44 run=15 nbConstraintChecks=3729740 nbAssignments=160000
9.35/9.44 => wckTime=8.916 cpuTime=8.88 mem=6M447
9.85/9.99
9.85/9.99 search
9.85/9.99 run=16 nbConstraintChecks=3945809 nbAssignments=170000
9.85/9.99 => wckTime=9.463 cpuTime=9.42 mem=6M447
10.45/10.55
10.45/10.55 search
10.45/10.55 run=17 nbConstraintChecks=4216921 nbAssignments=180000
10.45/10.55 => wckTime=10.022 cpuTime=9.99 mem=6M447
10.95/11.10
10.95/11.10 search
10.95/11.10 run=18 nbConstraintChecks=4411009 nbAssignments=190000
10.95/11.10 => wckTime=10.569 cpuTime=10.52 mem=6M447
11.54/11.65
11.54/11.65 search
11.54/11.65 run=19 nbConstraintChecks=4662382 nbAssignments=200000
11.54/11.65 => wckTime=11.124 cpuTime=11.08 mem=6M447
12.15/12.20
12.15/12.20 search
12.15/12.20 run=20 nbConstraintChecks=4877597 nbAssignments=210000
12.15/12.20 => wckTime=11.672 cpuTime=11.62 mem=6M447
12.65/12.75
12.65/12.75 search
12.65/12.75 run=21 nbConstraintChecks=5097030 nbAssignments=220000
12.65/12.75 => wckTime=12.219 cpuTime=12.17 mem=6M447
13.16/13.29
13.16/13.29 search
13.16/13.29 run=22 nbConstraintChecks=5293440 nbAssignments=230000
13.16/13.29 => wckTime=12.763 cpuTime=12.71 mem=6M447
13.75/13.84
13.75/13.84 search
13.75/13.84 run=23 nbConstraintChecks=5503695 nbAssignments=240000
13.75/13.84 => wckTime=13.309 cpuTime=13.25 mem=6M447
14.25/14.38
14.25/14.38 search
14.25/14.38 run=24 nbConstraintChecks=5703731 nbAssignments=250000
14.25/14.38 => wckTime=13.852 cpuTime=13.8 mem=6M447
14.85/14.94
14.85/14.94 search
14.85/14.94 run=25 nbConstraintChecks=5968710 nbAssignments=260000
14.85/14.94 => wckTime=14.41 cpuTime=14.36 mem=6M447
15.35/15.48
15.35/15.48 search
15.35/15.48 run=26 nbConstraintChecks=6165385 nbAssignments=270000
15.35/15.48 => wckTime=14.954 cpuTime=14.9 mem=6M447
15.94/16.05
15.94/16.05 search
15.94/16.05 run=27 nbConstraintChecks=6424195 nbAssignments=280000
15.94/16.05 => wckTime=15.52 cpuTime=15.46 mem=6M447
16.45/16.60
16.45/16.60 search
16.45/16.60 run=28 nbConstraintChecks=6624874 nbAssignments=290000
16.45/16.60 => wckTime=16.07 cpuTime=16.01 mem=6M447
17.04/17.15
17.04/17.15 search
17.04/17.15 run=29 nbConstraintChecks=6836691 nbAssignments=300000
17.04/17.15 => wckTime=16.621 cpuTime=16.56 mem=6M447
17.64/17.70
17.64/17.70 search
17.64/17.70 run=30 nbConstraintChecks=7046685 nbAssignments=310000
17.64/17.70 => wckTime=17.174 cpuTime=17.12 mem=6M447
18.14/18.26
18.14/18.26 search
18.14/18.26 run=31 nbConstraintChecks=7298495 nbAssignments=320000
18.14/18.26 => wckTime=17.735 cpuTime=17.68 mem=6M447
18.74/18.81
18.74/18.81 search
18.74/18.81 run=32 nbConstraintChecks=7495872 nbAssignments=330000
18.74/18.81 => wckTime=18.284 cpuTime=18.23 mem=6M447
19.24/19.37
19.24/19.37 search
19.24/19.37 run=33 nbConstraintChecks=7726032 nbAssignments=340000
19.24/19.37 => wckTime=18.841 cpuTime=18.78 mem=6M447
19.84/19.92
19.84/19.92 search
19.84/19.92 run=34 nbConstraintChecks=7912575 nbAssignments=350000
19.84/19.92 => wckTime=19.388 cpuTime=19.33 mem=6M447
20.34/20.47
20.34/20.47 search
20.34/20.47 run=35 nbConstraintChecks=8121230 nbAssignments=360000
20.34/20.47 => wckTime=19.94 cpuTime=19.88 mem=6M447
20.94/21.02
20.94/21.02 search
20.94/21.02 run=36 nbConstraintChecks=8318843 nbAssignments=370000
20.94/21.02 => wckTime=20.489 cpuTime=20.43 mem=6M447
21.44/21.57
21.44/21.57 search
21.44/21.57 run=37 nbConstraintChecks=8538205 nbAssignments=380000
21.44/21.57 => wckTime=21.044 cpuTime=20.98 mem=6M447
22.04/22.12
22.04/22.12 search
22.04/22.12 run=38 nbConstraintChecks=8734049 nbAssignments=390000
22.04/22.12 => wckTime=21.593 cpuTime=21.53 mem=6M447
22.54/22.68
22.54/22.68 search
22.54/22.68 run=39 nbConstraintChecks=8971708 nbAssignments=400000
22.54/22.68 => wckTime=22.149 cpuTime=22.09 mem=6M447
23.13/23.22
23.13/23.22 search
23.13/23.22 run=40 nbConstraintChecks=9156882 nbAssignments=410000
23.13/23.22 => wckTime=22.695 cpuTime=22.63 mem=6M447
23.63/23.78
23.63/23.78 search
23.63/23.78 run=41 nbConstraintChecks=9372628 nbAssignments=420000
23.63/23.78 => wckTime=23.248 cpuTime=23.18 mem=6M447
24.24/24.32
24.24/24.32 search
24.24/24.32 run=42 nbConstraintChecks=9555392 nbAssignments=430000
24.24/24.32 => wckTime=23.794 cpuTime=23.73 mem=6M447
24.73/24.88
24.73/24.88 search
24.73/24.88 run=43 nbConstraintChecks=9791698 nbAssignments=440000
24.73/24.88 => wckTime=24.351 cpuTime=24.29 mem=6M447
25.34/25.42
25.34/25.42 search
25.34/25.42 run=44 nbConstraintChecks=9976243 nbAssignments=450000
25.34/25.42 => wckTime=24.897 cpuTime=24.83 mem=6M447
25.83/25.97
25.83/25.97 search
25.83/25.97 run=45 nbConstraintChecks=10195283 nbAssignments=460000
25.83/25.97 => wckTime=25.445 cpuTime=25.38 mem=6M447
26.43/26.52
26.43/26.52 search
26.43/26.52 run=46 nbConstraintChecks=10392840 nbAssignments=470000
26.43/26.52 => wckTime=25.989 cpuTime=25.93 mem=6M447
26.93/27.06
26.93/27.06 search
26.93/27.06 run=47 nbConstraintChecks=10602488 nbAssignments=480000
26.93/27.06 => wckTime=26.535 cpuTime=26.46 mem=6M447
27.53/27.60
27.53/27.60 search
27.53/27.60 run=48 nbConstraintChecks=10775816 nbAssignments=490000
27.53/27.60 => wckTime=27.074 cpuTime=27.01 mem=6M447
28.03/28.14
28.03/28.14 search
28.03/28.14 run=49 nbConstraintChecks=10963288 nbAssignments=500000
28.03/28.14 => wckTime=27.617 cpuTime=27.55 mem=6M447
28.54/28.69
28.54/28.69 search
28.54/28.69 run=50 nbConstraintChecks=11157780 nbAssignments=510000
28.54/28.69 => wckTime=28.163 cpuTime=28.1 mem=6M447
29.13/29.24
29.13/29.24 search
29.13/29.24 run=51 nbConstraintChecks=11374550 nbAssignments=520000
29.13/29.24 => wckTime=28.713 cpuTime=28.64 mem=6M447
29.63/29.78
29.63/29.78 search
29.63/29.78 run=52 nbConstraintChecks=11566711 nbAssignments=530000
29.63/29.78 => wckTime=29.257 cpuTime=29.19 mem=6M447
30.24/30.33
30.24/30.33 search
30.24/30.33 run=53 nbConstraintChecks=11761134 nbAssignments=540000
30.24/30.33 => wckTime=29.8 cpuTime=29.73 mem=6M447
30.53/30.61
30.53/30.61 search
30.53/30.61 run=54 nbConstraintChecks=11859782 nbAssignments=545147
30.53/30.61 => wckTime=30.08 cpuTime=30.02 mem=6M447
30.53/30.61
30.53/30.61 global
30.53/30.61 nbConstraintChecks=11859782 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.53/30.61 solvingWckTime=30.078 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.53/30.61 globalCpuTime=30.25
30.53/30.61 => wckTime=30.34 cpuTime=30.2 mem=6M447
30.53/30.61
30.53/30.61 solver DecomposerSolver being built...
30.63/30.72 => wckTime=30.455 cpuTime=30.29 mem=18M370
30.63/30.73
30.63/30.73 preprocessing
30.63/30.73 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.63/30.73 detectedInconsistency=no
30.63/30.73 => wckTime=0.0030 cpuTime=0.0 mem=18M370
3600.02/3601.41 v 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 0 1 0 1 0 1 1 0 1 1 1 0 0 1 0 0 1 1 1 1 0 1 0 1 0 0 1 0 0 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-1110689-1215831678/watcher-1110689-1215831678 -o /tmp/evaluation-result-1110689-1215831678/solver-1110689-1215831678 -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-1110689-1215831678.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.78 2.72 2.62 3/80 16329
/proc/meminfo: memFree=1727264/2055920 swapFree=4180820/4192956
[pid=16329] ppid=16327 vsize=18572 CPUtime=0
/proc/16329/stat : 16329 (runsolver) R 16327 16329 15641 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 39870088 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16329/statm: 4643 292 257 25 0 2626 0
[startup+0.0838589 s]
/proc/loadavg: 2.78 2.72 2.62 3/80 16329
/proc/meminfo: memFree=1727264/2055920 swapFree=4180820/4192956
[pid=16329] ppid=16327 vsize=864076 CPUtime=0.04
/proc/16329/stat : 16329 (java) S 16327 16329 15641 0 -1 0 2792 0 1 0 3 1 0 0 18 0 9 0 39870088 884813824 2331 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16329/statm: 216019 2331 1118 9 0 210976 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864076
[startup+0.102865 s]
/proc/loadavg: 2.78 2.72 2.62 3/80 16329
/proc/meminfo: memFree=1727264/2055920 swapFree=4180820/4192956
[pid=16329] ppid=16327 vsize=865856 CPUtime=0.06
/proc/16329/stat : 16329 (java) S 16327 16329 15641 0 -1 0 3511 0 1 0 5 1 0 0 18 0 9 0 39870088 886636544 3001 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16329/statm: 216464 3001 1627 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856
[startup+0.302877 s]
/proc/loadavg: 2.78 2.72 2.62 3/80 16329
/proc/meminfo: memFree=1727264/2055920 swapFree=4180820/4192956
[pid=16329] ppid=16327 vsize=866364 CPUtime=0.26
/proc/16329/stat : 16329 (java) S 16327 16329 15641 0 -1 0 5666 0 1 0 23 3 0 0 18 0 9 0 39870088 887156736 5081 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16329/statm: 216590 5081 1916 9 0 211118 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 866364
[startup+0.701914 s]
/proc/loadavg: 2.78 2.72 2.62 3/80 16329
/proc/meminfo: memFree=1727264/2055920 swapFree=4180820/4192956
[pid=16329] ppid=16327 vsize=866648 CPUtime=0.65
/proc/16329/stat : 16329 (java) S 16327 16329 15641 0 -1 0 8222 0 1 0 53 12 0 0 18 0 9 0 39870088 887447552 7389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16329/statm: 216662 7389 2632 9 0 211168 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 866648
[startup+1.50199 s]
/proc/loadavg: 2.79 2.72 2.62 3/89 16338
/proc/meminfo: memFree=1707864/2055920 swapFree=4180820/4192956
[pid=16329] ppid=16327 vsize=866648 CPUtime=1.46
/proc/16329/stat : 16329 (java) S 16327 16329 15641 0 -1 0 8227 0 1 0 84 62 0 0 18 0 9 0 39870088 887447552 7393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16329/statm: 216662 7393 2633 9 0 211168 0
[pid=16329/tid=16331] ppid=16327 vsize=866648 CPUtime=1.31
/proc/16329/task/16331/stat : 16331 (java) R 16327 16329 15641 0 -1 64 6079 0 1 0 71 60 0 0 25 0 9 0 39870090 887447552 7393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16332] ppid=16327 vsize=866648 CPUtime=0.03
/proc/16329/task/16332/stat : 16332 (java) S 16327 16329 15641 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 39870091 887447552 7393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16333] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16333/stat : 16333 (java) S 16327 16329 15641 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 7393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16334] ppid=16327 vsize=866652 CPUtime=0
/proc/16329/task/16334/stat : 16334 (java) S 16327 16329 15641 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 39870092 887451648 7393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16335] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16335/stat : 16335 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39870094 887447552 7393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16336] ppid=16327 vsize=866648 CPUtime=0.09
/proc/16329/task/16336/stat : 16336 (java) S 16327 16329 15641 0 -1 64 336 0 0 0 9 0 0 0 15 0 9 0 39870094 887447552 7393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16337] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16337/stat : 16337 (java) S 16327 16329 15641 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39870094 887447552 7393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16338] ppid=16327 vsize=866652 CPUtime=0
/proc/16329/task/16338/stat : 16338 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 39870094 887451648 7393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 866648
[startup+3.10114 s]
/proc/loadavg: 2.79 2.72 2.62 3/89 16338
/proc/meminfo: memFree=1707608/2055920 swapFree=4180820/4192956
[pid=16329] ppid=16327 vsize=866652 CPUtime=3.06
/proc/16329/stat : 16329 (java) S 16327 16329 15641 0 -1 0 8228 0 1 0 139 167 0 0 18 0 9 0 39870088 887451648 7394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16329/statm: 216663 7394 2633 9 0 211169 0
[pid=16329/tid=16331] ppid=16327 vsize=866648 CPUtime=2.91
/proc/16329/task/16331/stat : 16331 (java) R 16327 16329 15641 0 -1 64 6079 0 1 0 126 165 0 0 25 0 9 0 39870090 887447552 7394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16332] ppid=16327 vsize=866648 CPUtime=0.03
/proc/16329/task/16332/stat : 16332 (java) S 16327 16329 15641 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 39870091 887447552 7394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16333] ppid=16327 vsize=866652 CPUtime=0
/proc/16329/task/16333/stat : 16333 (java) S 16327 16329 15641 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39870092 887451648 7394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16334] ppid=16327 vsize=866652 CPUtime=0
/proc/16329/task/16334/stat : 16334 (java) S 16327 16329 15641 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 39870092 887451648 7394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16335] ppid=16327 vsize=866652 CPUtime=0
/proc/16329/task/16335/stat : 16335 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39870094 887451648 7394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16336] ppid=16327 vsize=866648 CPUtime=0.09
/proc/16329/task/16336/stat : 16336 (java) S 16327 16329 15641 0 -1 64 337 0 0 0 9 0 0 0 16 0 9 0 39870094 887447552 7394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16337] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16337/stat : 16337 (java) S 16327 16329 15641 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39870094 887447552 7394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16338] ppid=16327 vsize=866652 CPUtime=0
/proc/16329/task/16338/stat : 16338 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39870094 887451648 7394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 866652
[startup+6.30245 s]
/proc/loadavg: 2.79 2.72 2.62 3/89 16338
/proc/meminfo: memFree=1707480/2055920 swapFree=4180820/4192956
[pid=16329] ppid=16327 vsize=866648 CPUtime=6.26
/proc/16329/stat : 16329 (java) S 16327 16329 15641 0 -1 0 8229 0 1 0 254 372 0 0 18 0 9 0 39870088 887447552 7394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16329/statm: 216662 7394 2633 9 0 211168 0
[pid=16329/tid=16331] ppid=16327 vsize=866648 CPUtime=6.1
/proc/16329/task/16331/stat : 16331 (java) R 16327 16329 15641 0 -1 64 6080 0 1 0 240 370 0 0 25 0 9 0 39870090 887447552 7394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16332] ppid=16327 vsize=866652 CPUtime=0.03
/proc/16329/task/16332/stat : 16332 (java) S 16327 16329 15641 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 39870091 887451648 7394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16333] ppid=16327 vsize=866652 CPUtime=0
/proc/16329/task/16333/stat : 16333 (java) S 16327 16329 15641 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39870092 887451648 7394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16334] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16334/stat : 16334 (java) S 16327 16329 15641 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 7394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16335] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16335/stat : 16335 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39870094 887447552 7394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16336] ppid=16327 vsize=866648 CPUtime=0.09
/proc/16329/task/16336/stat : 16336 (java) S 16327 16329 15641 0 -1 64 337 0 0 0 9 0 0 0 16 0 9 0 39870094 887447552 7394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16337] ppid=16327 vsize=866652 CPUtime=0
/proc/16329/task/16337/stat : 16337 (java) S 16327 16329 15641 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39870094 887451648 7394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16338] ppid=16327 vsize=866652 CPUtime=0
/proc/16329/task/16338/stat : 16338 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39870094 887451648 7394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 866648
[startup+12.7011 s]
/proc/loadavg: 2.83 2.73 2.63 3/89 16338
/proc/meminfo: memFree=1707288/2055920 swapFree=4180820/4192956
[pid=16329] ppid=16327 vsize=866652 CPUtime=12.65
/proc/16329/stat : 16329 (java) S 16327 16329 15641 0 -1 0 8235 0 1 0 475 790 0 0 18 0 9 0 39870088 887451648 7400 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16329/statm: 216662 7400 2633 9 0 211168 0
[pid=16329/tid=16331] ppid=16327 vsize=866652 CPUtime=12.49
/proc/16329/task/16331/stat : 16331 (java) R 16327 16329 15641 0 -1 64 6080 0 1 0 461 788 0 0 25 0 9 0 39870090 887451648 7400 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16332] ppid=16327 vsize=866652 CPUtime=0.03
/proc/16329/task/16332/stat : 16332 (java) S 16327 16329 15641 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 39870091 887451648 7400 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16333] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16333/stat : 16333 (java) S 16327 16329 15641 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 7400 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16334] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16334/stat : 16334 (java) S 16327 16329 15641 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 7400 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16335] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16335/stat : 16335 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39870094 887447552 7400 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16336] ppid=16327 vsize=866648 CPUtime=0.1
/proc/16329/task/16336/stat : 16336 (java) S 16327 16329 15641 0 -1 64 343 0 0 0 10 0 0 0 15 0 9 0 39870094 887447552 7400 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16337] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16337/stat : 16337 (java) S 16327 16329 15641 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39870094 887447552 7400 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16338] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16338/stat : 16338 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39870094 887447552 7400 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 866652
[startup+25.5023 s]
/proc/loadavg: 2.85 2.74 2.63 3/89 16338
/proc/meminfo: memFree=1707288/2055920 swapFree=4180820/4192956
[pid=16329] ppid=16327 vsize=866648 CPUtime=25.43
/proc/16329/stat : 16329 (java) S 16327 16329 15641 0 -1 0 8236 0 1 0 918 1625 0 0 18 0 9 0 39870088 887447552 7401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16329/statm: 216663 7401 2633 9 0 211169 0
[pid=16329/tid=16331] ppid=16327 vsize=866648 CPUtime=25.27
/proc/16329/task/16331/stat : 16331 (java) R 16327 16329 15641 0 -1 64 6080 0 1 0 904 1623 0 0 25 0 9 0 39870090 887447552 7401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16332] ppid=16327 vsize=866648 CPUtime=0.03
/proc/16329/task/16332/stat : 16332 (java) S 16327 16329 15641 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 39870091 887447552 7401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16333] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16333/stat : 16333 (java) S 16327 16329 15641 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 7401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16334] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16334/stat : 16334 (java) S 16327 16329 15641 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 7401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16335] ppid=16327 vsize=866652 CPUtime=0
/proc/16329/task/16335/stat : 16335 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39870094 887451648 7401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16336] ppid=16327 vsize=866652 CPUtime=0.1
/proc/16329/task/16336/stat : 16336 (java) S 16327 16329 15641 0 -1 64 344 0 0 0 10 0 0 0 16 0 9 0 39870094 887451648 7401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16337] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16337/stat : 16337 (java) S 16327 16329 15641 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39870094 887447552 7401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16338] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16338/stat : 16338 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39870094 887447552 7401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 866648
[startup+51.1028 s]
/proc/loadavg: 2.96 2.78 2.65 3/89 16338
/proc/meminfo: memFree=1697816/2055920 swapFree=4180820/4192956
[pid=16329] ppid=16327 vsize=866648 CPUtime=51.03
/proc/16329/stat : 16329 (java) S 16327 16329 15641 0 -1 0 10614 0 1 0 3145 1958 0 0 18 0 9 0 39870088 887447552 9777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16329/statm: 216662 9777 2634 9 0 211168 0
[pid=16329/tid=16331] ppid=16327 vsize=866648 CPUtime=50.8
/proc/16329/task/16331/stat : 16331 (java) R 16327 16329 15641 0 -1 64 8413 0 1 0 3124 1956 0 0 25 0 9 0 39870090 887447552 9777 996147200 134512640 134550740 4294955952 18446744073709551615 4126795536 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16332] ppid=16327 vsize=866648 CPUtime=0.03
/proc/16329/task/16332/stat : 16332 (java) S 16327 16329 15641 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 39870091 887447552 9777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16333] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16333/stat : 16333 (java) S 16327 16329 15641 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 9777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16334] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16334/stat : 16334 (java) S 16327 16329 15641 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 9777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16335] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16335/stat : 16335 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39870094 887447552 9777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16336] ppid=16327 vsize=866648 CPUtime=0.16
/proc/16329/task/16336/stat : 16336 (java) S 16327 16329 15641 0 -1 64 389 0 0 0 16 0 0 0 17 0 9 0 39870094 887447552 9777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16337] ppid=16327 vsize=866648 CPUtime=0
################
# More data... #
################
/proc/16329/task/16334/stat : 16334 (java) S 16327 16329 15641 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 9781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16335] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16335/stat : 16335 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39870094 887447552 9781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16336] ppid=16327 vsize=866648 CPUtime=0.16
/proc/16329/task/16336/stat : 16336 (java) S 16327 16329 15641 0 -1 64 389 0 0 0 16 0 0 0 17 0 9 0 39870094 887447552 9781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16337] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16337/stat : 16337 (java) S 16327 16329 15641 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39870094 887447552 9781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16338] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16338/stat : 16338 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39870094 887447552 9781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3281.04
Current children cumulated vsize (KiB) 866648
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 16378
/proc/meminfo: memFree=1754720/2055920 swapFree=4180820/4192956
[pid=16329] ppid=16327 vsize=866648 CPUtime=3341.02
/proc/16329/stat : 16329 (java) S 16327 16329 15641 0 -1 0 10619 0 1 0 332124 1978 0 0 18 0 9 0 39870088 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16329/statm: 216662 9782 2634 9 0 211168 0
[pid=16329/tid=16331] ppid=16327 vsize=866648 CPUtime=3340.79
/proc/16329/task/16331/stat : 16331 (java) R 16327 16329 15641 0 -1 64 8418 0 1 0 332103 1976 0 0 25 0 9 0 39870090 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4126782059 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16332] ppid=16327 vsize=866648 CPUtime=0.03
/proc/16329/task/16332/stat : 16332 (java) S 16327 16329 15641 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 39870091 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16333] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16333/stat : 16333 (java) S 16327 16329 15641 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16334] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16334/stat : 16334 (java) S 16327 16329 15641 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16335] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16335/stat : 16335 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16336] ppid=16327 vsize=866648 CPUtime=0.16
/proc/16329/task/16336/stat : 16336 (java) S 16327 16329 15641 0 -1 64 389 0 0 0 16 0 0 0 17 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16337] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16337/stat : 16337 (java) S 16327 16329 15641 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16338] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16338/stat : 16338 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3341.02
Current children cumulated vsize (KiB) 866648
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 16378
/proc/meminfo: memFree=1754656/2055920 swapFree=4180820/4192956
[pid=16329] ppid=16327 vsize=866648 CPUtime=3401
/proc/16329/stat : 16329 (java) S 16327 16329 15641 0 -1 0 10619 0 1 0 338122 1978 0 0 18 0 9 0 39870088 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16329/statm: 216662 9782 2634 9 0 211168 0
[pid=16329/tid=16331] ppid=16327 vsize=866648 CPUtime=3400.78
/proc/16329/task/16331/stat : 16331 (java) R 16327 16329 15641 0 -1 64 8418 0 1 0 338102 1976 0 0 25 0 9 0 39870090 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4126762871 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16332] ppid=16327 vsize=866648 CPUtime=0.03
/proc/16329/task/16332/stat : 16332 (java) S 16327 16329 15641 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 39870091 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16333] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16333/stat : 16333 (java) S 16327 16329 15641 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16334] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16334/stat : 16334 (java) S 16327 16329 15641 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16335] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16335/stat : 16335 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16336] ppid=16327 vsize=866648 CPUtime=0.16
/proc/16329/task/16336/stat : 16336 (java) S 16327 16329 15641 0 -1 64 389 0 0 0 16 0 0 0 17 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16337] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16337/stat : 16337 (java) S 16327 16329 15641 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16338] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16338/stat : 16338 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3401
Current children cumulated vsize (KiB) 866648
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 16378
/proc/meminfo: memFree=1754528/2055920 swapFree=4180820/4192956
[pid=16329] ppid=16327 vsize=866648 CPUtime=3460.97
/proc/16329/stat : 16329 (java) S 16327 16329 15641 0 -1 0 10619 0 1 0 344119 1978 0 0 18 0 9 0 39870088 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16329/statm: 216662 9782 2634 9 0 211168 0
[pid=16329/tid=16331] ppid=16327 vsize=866648 CPUtime=3460.75
/proc/16329/task/16331/stat : 16331 (java) R 16327 16329 15641 0 -1 64 8418 0 1 0 344099 1976 0 0 25 0 9 0 39870090 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4126797811 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16332] ppid=16327 vsize=866648 CPUtime=0.03
/proc/16329/task/16332/stat : 16332 (java) S 16327 16329 15641 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 39870091 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16333] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16333/stat : 16333 (java) S 16327 16329 15641 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16334] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16334/stat : 16334 (java) S 16327 16329 15641 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16335] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16335/stat : 16335 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16336] ppid=16327 vsize=866648 CPUtime=0.16
/proc/16329/task/16336/stat : 16336 (java) S 16327 16329 15641 0 -1 64 389 0 0 0 16 0 0 0 17 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16337] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16337/stat : 16337 (java) S 16327 16329 15641 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16338] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16338/stat : 16338 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3460.97
Current children cumulated vsize (KiB) 866648
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 16378
/proc/meminfo: memFree=1754720/2055920 swapFree=4180820/4192956
[pid=16329] ppid=16327 vsize=866648 CPUtime=3520.95
/proc/16329/stat : 16329 (java) S 16327 16329 15641 0 -1 0 10619 0 1 0 350117 1978 0 0 18 0 9 0 39870088 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16329/statm: 216662 9782 2634 9 0 211168 0
[pid=16329/tid=16331] ppid=16327 vsize=866648 CPUtime=3520.73
/proc/16329/task/16331/stat : 16331 (java) R 16327 16329 15641 0 -1 64 8418 0 1 0 350097 1976 0 0 25 0 9 0 39870090 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4126756844 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16332] ppid=16327 vsize=866648 CPUtime=0.03
/proc/16329/task/16332/stat : 16332 (java) S 16327 16329 15641 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 39870091 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16333] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16333/stat : 16333 (java) S 16327 16329 15641 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16334] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16334/stat : 16334 (java) S 16327 16329 15641 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16335] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16335/stat : 16335 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16336] ppid=16327 vsize=866648 CPUtime=0.16
/proc/16329/task/16336/stat : 16336 (java) S 16327 16329 15641 0 -1 64 389 0 0 0 16 0 0 0 17 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16337] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16337/stat : 16337 (java) S 16327 16329 15641 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16338] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16338/stat : 16338 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3520.95
Current children cumulated vsize (KiB) 866648
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 16378
/proc/meminfo: memFree=1754656/2055920 swapFree=4180820/4192956
[pid=16329] ppid=16327 vsize=866648 CPUtime=3580.93
/proc/16329/stat : 16329 (java) S 16327 16329 15641 0 -1 0 10619 0 1 0 356115 1978 0 0 18 0 9 0 39870088 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16329/statm: 216662 9782 2634 9 0 211168 0
[pid=16329/tid=16331] ppid=16327 vsize=866648 CPUtime=3580.7
/proc/16329/task/16331/stat : 16331 (java) R 16327 16329 15641 0 -1 64 8418 0 1 0 356094 1976 0 0 25 0 9 0 39870090 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4126762294 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16332] ppid=16327 vsize=866648 CPUtime=0.03
/proc/16329/task/16332/stat : 16332 (java) S 16327 16329 15641 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 39870091 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16333] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16333/stat : 16333 (java) S 16327 16329 15641 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16334] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16334/stat : 16334 (java) S 16327 16329 15641 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16335] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16335/stat : 16335 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16336] ppid=16327 vsize=866648 CPUtime=0.16
/proc/16329/task/16336/stat : 16336 (java) S 16327 16329 15641 0 -1 64 389 0 0 0 16 0 0 0 17 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16337] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16337/stat : 16337 (java) S 16327 16329 15641 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16338] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16338/stat : 16338 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3580.93
Current children cumulated vsize (KiB) 866648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3601.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 16384
/proc/meminfo: memFree=1754648/2055920 swapFree=4180820/4192956
[pid=16329] ppid=16327 vsize=866648 CPUtime=3600.02
/proc/16329/stat : 16329 (java) S 16327 16329 15641 0 -1 0 10619 0 1 0 358024 1978 0 0 18 0 9 0 39870088 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16329/statm: 216662 9782 2634 9 0 211168 0
[pid=16329/tid=16331] ppid=16327 vsize=866648 CPUtime=3599.79
/proc/16329/task/16331/stat : 16331 (java) R 16327 16329 15641 0 -1 64 8418 0 1 0 358003 1976 0 0 25 0 9 0 39870090 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4126773595 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16332] ppid=16327 vsize=866648 CPUtime=0.03
/proc/16329/task/16332/stat : 16332 (java) S 16327 16329 15641 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 39870091 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16333] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16333/stat : 16333 (java) S 16327 16329 15641 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16334] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16334/stat : 16334 (java) S 16327 16329 15641 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 39870092 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16335] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16335/stat : 16335 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16336] ppid=16327 vsize=866648 CPUtime=0.16
/proc/16329/task/16336/stat : 16336 (java) S 16327 16329 15641 0 -1 64 389 0 0 0 16 0 0 0 17 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16329/tid=16337] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16337/stat : 16337 (java) S 16327 16329 15641 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16329/tid=16338] ppid=16327 vsize=866648 CPUtime=0
/proc/16329/task/16338/stat : 16338 (java) S 16327 16329 15641 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39870094 887447552 9782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.02
Current children cumulated vsize (KiB) 866648
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): 3601.47
CPU time (s): 3600.09
CPU user time (s): 3580.29
CPU system time (s): 19.796
CPU usage (%): 99.9617
Max. virtual memory (cumulated for all children) (KiB): 866652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.29
system time used= 19.796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10642
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= 73978
involuntary context switches= 94903
runsolver used 4.79527 second user time and 11.5172 second system time
The end
Begin job on node18 at 2008-07-12 05:01:18
IDJOB=1110689
IDBENCH=61139
IDSOLVER=359
FILE ID=node18/1110689-1215831678
PBS_JOBID= 7903351
Free space on /tmp= 66556 MiB
SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/dubois/normalized-dubois-28_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-1110689-1215831678/watcher-1110689-1215831678 -o /tmp/evaluation-result-1110689-1215831678/solver-1110689-1215831678 -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-1110689-1215831678.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 0cec5daf3cd3e5179f902ca1da45a8db
RANDOM SEED=1185805315
node18.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.218
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 : 5931.00
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.218
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: 1727680 kB
Buffers: 49904 kB
Cached: 136300 kB
SwapCached: 6848 kB
Active: 174116 kB
Inactive: 108312 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1727680 kB
SwapTotal: 4192956 kB
SwapFree: 4180820 kB
Dirty: 2072 kB
Writeback: 0 kB
Mapped: 111180 kB
Slab: 31028 kB
Committed_AS: 952512 kB
PageTables: 1916 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= 66552 MiB
End job on node18 at 2008-07-12 06:01:21