0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.19/0.26
0.19/0.26 configuration
0.19/0.26 name=mrdac-ddeg.xml
0.29/0.30
0.29/0.30 instance
0.29/0.30 name=HOME/instance-1111734-1215853190.xml
0.29/0.34
0.29/0.34 domains being loaded...
0.29/0.35
0.29/0.35 variables being loaded...
0.29/0.39 nbVariables=100 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=200
0.29/0.39 => wckTime=0.122 cpuTime=0.11 mem=7M842
0.29/0.39
0.29/0.39 relations being loaded...
0.29/0.39
0.29/0.39 constraints being loaded...
0.48/0.50 nbConstraints=192 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=178
0.48/0.50 nbConflictsStructures=14 nbSharedConflictsStructures=178 nbSharedBinaryRepresentations=0 minDegree=4
0.48/0.50 maxDegree=6 minArity=3 maxArity=3
0.48/0.50 => wckTime=0.236 cpuTime=0.18 mem=9M795
0.48/0.56
0.48/0.56 solver LocalSearchSolver being built...
0.58/0.60 => wckTime=0.337 cpuTime=0.23 mem=5M591
0.58/0.60
0.58/0.60 s SATISFIABLE
0.58/0.60 o 24
0.58/0.60 o 22
0.58/0.61 o 20
0.58/0.61 o 19
0.58/0.61 o 18
0.58/0.61 o 16
0.58/0.61 o 15
0.58/0.61 o 14
0.58/0.61 o 13
0.58/0.61 o 12
0.58/0.61 o 11
0.58/0.61 o 10
0.58/0.62 o 9
0.58/0.62 o 8
0.58/0.62 o 7
0.58/0.62 o 6
0.58/0.62 o 5
0.58/0.62 o 4
0.58/0.63 o 3
0.58/0.63 o 2
0.58/0.63 o 1
1.48/1.58
1.48/1.58 search
1.48/1.58 run=0 nbConstraintChecks=2347087 nbAssignments=10000
1.48/1.58 => wckTime=0.976 cpuTime=0.95 mem=6M582
2.47/2.55
2.47/2.55 search
2.47/2.55 run=1 nbConstraintChecks=4974999 nbAssignments=20000
2.47/2.55 => wckTime=1.954 cpuTime=1.91 mem=6M582
3.36/3.46
3.36/3.46 search
3.36/3.46 run=2 nbConstraintChecks=7272195 nbAssignments=30000
3.36/3.46 => wckTime=2.857 cpuTime=2.81 mem=6M582
4.27/4.39
4.27/4.39 search
4.27/4.39 run=3 nbConstraintChecks=9745952 nbAssignments=40000
4.27/4.39 => wckTime=3.788 cpuTime=3.74 mem=6M582
5.16/5.26
5.16/5.26 search
5.16/5.26 run=4 nbConstraintChecks=11886278 nbAssignments=50000
5.16/5.26 => wckTime=4.66 cpuTime=4.61 mem=6M582
6.15/6.22
6.15/6.22 search
6.15/6.22 run=5 nbConstraintChecks=14557120 nbAssignments=60000
6.15/6.22 => wckTime=5.625 cpuTime=5.57 mem=6M582
7.05/7.10
7.05/7.10 search
7.05/7.10 run=6 nbConstraintChecks=16688224 nbAssignments=70000
7.05/7.10 => wckTime=6.504 cpuTime=6.44 mem=6M582
7.95/8.04
7.95/8.04 search
7.95/8.04 run=7 nbConstraintChecks=19179606 nbAssignments=80000
7.95/8.04 => wckTime=7.44 cpuTime=7.37 mem=6M582
8.84/8.94
8.84/8.94 search
8.84/8.94 run=8 nbConstraintChecks=21469058 nbAssignments=90000
8.84/8.94 => wckTime=8.345 cpuTime=8.27 mem=6M582
9.84/9.90
9.84/9.90 search
9.84/9.90 run=9 nbConstraintChecks=24107425 nbAssignments=100000
9.84/9.90 => wckTime=9.304 cpuTime=9.23 mem=6M582
10.63/10.78
10.63/10.78 search
10.63/10.78 run=10 nbConstraintChecks=26274695 nbAssignments=110000
10.63/10.78 => wckTime=10.184 cpuTime=10.1 mem=6M582
11.63/11.78
11.63/11.78 search
11.63/11.78 run=11 nbConstraintChecks=29097519 nbAssignments=120000
11.63/11.78 => wckTime=11.178 cpuTime=11.1 mem=6M582
12.52/12.65
12.52/12.65 search
12.52/12.65 run=12 nbConstraintChecks=31127630 nbAssignments=130000
12.52/12.65 => wckTime=12.048 cpuTime=11.96 mem=6M582
13.51/13.63
13.51/13.63 search
13.51/13.63 run=13 nbConstraintChecks=33880200 nbAssignments=140000
13.51/13.63 => wckTime=13.033 cpuTime=12.93 mem=6M582
14.41/14.53
14.41/14.53 search
14.41/14.53 run=14 nbConstraintChecks=36104856 nbAssignments=150000
14.41/14.53 => wckTime=13.936 cpuTime=13.83 mem=6M582
15.31/15.49
15.31/15.49 search
15.31/15.49 run=15 nbConstraintChecks=38625092 nbAssignments=160000
15.31/15.49 => wckTime=14.891 cpuTime=14.78 mem=6M582
16.20/16.39
16.20/16.39 search
16.20/16.39 run=16 nbConstraintChecks=40889715 nbAssignments=170000
16.20/16.39 => wckTime=15.794 cpuTime=15.68 mem=6M582
17.20/17.35
17.20/17.35 search
17.20/17.35 run=17 nbConstraintChecks=43459270 nbAssignments=180000
17.20/17.35 => wckTime=16.75 cpuTime=16.63 mem=6M582
18.10/18.24
18.10/18.24 search
18.10/18.24 run=18 nbConstraintChecks=45617260 nbAssignments=190000
18.10/18.24 => wckTime=17.64 cpuTime=17.51 mem=6M582
18.99/19.19
18.99/19.19 search
18.99/19.19 run=19 nbConstraintChecks=48137631 nbAssignments=200000
18.99/19.19 => wckTime=18.587 cpuTime=18.45 mem=6M582
19.88/20.07
19.88/20.07 search
19.88/20.07 run=20 nbConstraintChecks=50227159 nbAssignments=210000
19.88/20.07 => wckTime=19.466 cpuTime=19.32 mem=6M582
20.88/21.02
20.88/21.02 search
20.88/21.02 run=21 nbConstraintChecks=52782132 nbAssignments=220000
20.88/21.02 => wckTime=20.416 cpuTime=20.27 mem=6M582
21.68/21.89
21.68/21.89 search
21.68/21.89 run=22 nbConstraintChecks=54951696 nbAssignments=230000
21.68/21.89 => wckTime=21.295 cpuTime=21.15 mem=6M582
22.67/22.82
22.67/22.82 search
22.67/22.82 run=23 nbConstraintChecks=57393488 nbAssignments=240000
22.67/22.82 => wckTime=22.223 cpuTime=22.07 mem=6M582
23.56/23.70
23.56/23.70 search
23.56/23.70 run=24 nbConstraintChecks=59548340 nbAssignments=250000
23.56/23.70 => wckTime=23.104 cpuTime=22.95 mem=6M582
24.46/24.63
24.46/24.63 search
24.46/24.63 run=25 nbConstraintChecks=62030732 nbAssignments=260000
24.46/24.63 => wckTime=24.036 cpuTime=23.87 mem=6M582
25.35/25.52
25.35/25.52 search
25.35/25.52 run=26 nbConstraintChecks=64179883 nbAssignments=270000
25.35/25.52 => wckTime=24.919 cpuTime=24.75 mem=6M582
26.25/26.46
26.25/26.46 search
26.25/26.46 run=27 nbConstraintChecks=66698801 nbAssignments=280000
26.25/26.46 => wckTime=25.856 cpuTime=25.68 mem=6M582
27.14/27.31
27.14/27.31 search
27.14/27.31 run=28 nbConstraintChecks=68729753 nbAssignments=290000
27.14/27.31 => wckTime=26.715 cpuTime=26.54 mem=6M582
28.04/28.25
28.04/28.25 search
28.04/28.25 run=29 nbConstraintChecks=71250565 nbAssignments=300000
28.04/28.25 => wckTime=27.653 cpuTime=27.47 mem=6M582
28.94/29.13
28.94/29.13 search
28.94/29.13 run=30 nbConstraintChecks=73385173 nbAssignments=310000
28.94/29.13 => wckTime=28.532 cpuTime=28.35 mem=6M582
29.83/30.03
29.83/30.03 search
29.83/30.03 run=31 nbConstraintChecks=75670488 nbAssignments=320000
29.83/30.03 => wckTime=29.433 cpuTime=29.24 mem=6M582
30.63/30.82
30.63/30.82 search
30.63/30.82 run=32 nbConstraintChecks=77558086 nbAssignments=329077
30.63/30.82 => wckTime=30.225 cpuTime=30.04 mem=6M582
30.63/30.83
30.63/30.83 global
30.63/30.83 nbConstraintChecks=77558086 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.63/30.83 solvingWckTime=30.225 solvingCpuTime=30.04 expiredTime=no totalExploration=no nbFoundSolutions=0
30.63/30.83 globalCpuTime=30.31
30.63/30.83 => wckTime=30.562 cpuTime=30.27 mem=6M582
30.63/30.83
30.63/30.83 solver DecomposerSolver being built...
30.72/30.97 => wckTime=30.703 cpuTime=30.38 mem=19M506
30.72/30.97
30.72/30.97 preprocessing
30.72/30.97 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.72/30.97 detectedInconsistency=no
30.72/30.97 => wckTime=0.0050 cpuTime=0.0 mem=19M506
3600.05/3601.81 v 1 1 1 1 1 0 1 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111734-1215853190/watcher-1111734-1215853190 -o /tmp/evaluation-result-1111734-1215853190/solver-1111734-1215853190 -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-1111734-1215853190.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.20 2.51 2.58 3/73 17584
/proc/meminfo: memFree=1304712/2055920 swapFree=4192812/4192956
[pid=17584] ppid=17582 vsize=862848 CPUtime=0.03
/proc/17584/stat : 17584 (java) S 17582 17584 17413 0 -1 0 2403 0 1 0 2 1 0 0 18 0 7 0 42022405 883556352 1982 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17584/statm: 215712 1982 910 9 0 210691 0
[pid=17584/tid=17585] ppid=17582 vsize=862848 CPUtime=0.03
/proc/17584/task/17585/stat : 17585 (java) R 17582 17584 17413 0 -1 64 1687 0 1 0 2 1 0 0 18 0 7 0 42022406 883556352 1982 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17586] ppid=17582 vsize=862848 CPUtime=0
/proc/17584/task/17586/stat : 17586 (java) S 17582 17584 17413 0 -1 64 3 0 0 0 0 0 0 0 19 0 7 0 42022407 883556352 1982 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17587] ppid=17582 vsize=862848 CPUtime=0
/proc/17584/task/17587/stat : 17587 (java) S 17582 17584 17413 0 -1 64 9 0 0 0 0 0 0 0 19 0 7 0 42022407 883556352 1982 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17588] ppid=17582 vsize=862848 CPUtime=0
/proc/17584/task/17588/stat : 17588 (java) S 17582 17584 17413 0 -1 64 4 0 0 0 0 0 0 0 20 0 7 0 42022407 883556352 1982 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17589] ppid=17582 vsize=862848 CPUtime=0
/proc/17584/task/17589/stat : 17589 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 7 0 42022409 883556352 1982 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17590] ppid=17582 vsize=862848 CPUtime=0
/proc/17584/task/17590/stat : 17590 (java) S 17582 17584 17413 0 -1 64 23 0 0 0 0 0 0 0 19 0 7 0 42022409 883556352 1982 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[startup+0.097229 s]
/proc/loadavg: 2.20 2.51 2.58 3/73 17584
/proc/meminfo: memFree=1304712/2055920 swapFree=4192812/4192956
[pid=17584] ppid=17582 vsize=865988 CPUtime=0.08
/proc/17584/stat : 17584 (java) S 17582 17584 17413 0 -1 0 3689 0 1 0 6 2 0 0 18 0 9 0 42022405 886771712 3164 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17584/statm: 216497 3164 1683 9 0 211052 0
[pid=17584/tid=17585] ppid=17582 vsize=865988 CPUtime=0.06
/proc/17584/task/17585/stat : 17585 (java) R 17582 17584 17413 0 -1 64 2779 0 1 0 5 1 0 0 20 0 9 0 42022406 886771712 3164 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 2147483391 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17586] ppid=17582 vsize=865988 CPUtime=0
/proc/17584/task/17586/stat : 17586 (java) S 17582 17584 17413 0 -1 64 3 0 0 0 0 0 0 0 19 0 9 0 42022407 886771712 3164 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17587] ppid=17582 vsize=865988 CPUtime=0
/proc/17584/task/17587/stat : 17587 (java) S 17582 17584 17413 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 42022407 886771712 3164 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17588] ppid=17582 vsize=865988 CPUtime=0
/proc/17584/task/17588/stat : 17588 (java) S 17582 17584 17413 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 42022407 886771712 3164 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17589] ppid=17582 vsize=865988 CPUtime=0
/proc/17584/task/17589/stat : 17589 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42022409 886771712 3164 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17590] ppid=17582 vsize=865988 CPUtime=0.01
/proc/17584/task/17590/stat : 17590 (java) S 17582 17584 17413 0 -1 64 214 0 0 0 1 0 0 0 18 0 9 0 42022409 886771712 3164 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.104145 s]
/proc/loadavg: 2.20 2.51 2.58 3/73 17584
/proc/meminfo: memFree=1304712/2055920 swapFree=4192812/4192956
[pid=17584] ppid=17582 vsize=865988 CPUtime=0.09
/proc/17584/stat : 17584 (java) S 17582 17584 17413 0 -1 0 3706 0 1 0 7 2 0 0 18 0 9 0 42022405 886771712 3181 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17584/statm: 216497 3181 1687 9 0 211052 0
[pid=17584/tid=17585] ppid=17582 vsize=865988 CPUtime=0.06
/proc/17584/task/17585/stat : 17585 (java) R 17582 17584 17413 0 -1 64 2788 0 1 0 5 1 0 0 20 0 9 0 42022406 886771712 3181 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17586] ppid=17582 vsize=865988 CPUtime=0
/proc/17584/task/17586/stat : 17586 (java) S 17582 17584 17413 0 -1 64 3 0 0 0 0 0 0 0 19 0 9 0 42022407 886771712 3181 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17587] ppid=17582 vsize=865988 CPUtime=0
/proc/17584/task/17587/stat : 17587 (java) S 17582 17584 17413 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 42022407 886771712 3181 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17588] ppid=17582 vsize=865988 CPUtime=0
/proc/17584/task/17588/stat : 17588 (java) S 17582 17584 17413 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 42022407 886771712 3181 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17589] ppid=17582 vsize=865988 CPUtime=0
/proc/17584/task/17589/stat : 17589 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42022409 886771712 3181 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17590] ppid=17582 vsize=865988 CPUtime=0.01
/proc/17584/task/17590/stat : 17590 (java) S 17582 17584 17413 0 -1 64 222 0 0 0 1 0 0 0 18 0 9 0 42022409 886771712 3181 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865988
[startup+0.301262 s]
/proc/loadavg: 2.20 2.51 2.58 3/73 17584
/proc/meminfo: memFree=1304712/2055920 swapFree=4192812/4192956
[pid=17584] ppid=17582 vsize=866360 CPUtime=0.29
/proc/17584/stat : 17584 (java) S 17582 17584 17413 0 -1 0 5666 0 1 0 25 4 0 0 18 0 9 0 42022405 887152640 5080 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17584/statm: 216590 5080 1916 9 0 211118 0
[pid=17584/tid=17585] ppid=17582 vsize=866360 CPUtime=0.23
/proc/17584/task/17585/stat : 17585 (java) R 17582 17584 17413 0 -1 64 4695 0 1 0 20 3 0 0 21 0 9 0 42022406 887152640 5080 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17586] ppid=17582 vsize=866360 CPUtime=0
/proc/17584/task/17586/stat : 17586 (java) S 17582 17584 17413 0 -1 64 3 0 0 0 0 0 0 0 19 0 9 0 42022407 887152640 5080 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17587] ppid=17582 vsize=866360 CPUtime=0
/proc/17584/task/17587/stat : 17587 (java) S 17582 17584 17413 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 42022407 887152640 5080 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17588] ppid=17582 vsize=866360 CPUtime=0
/proc/17584/task/17588/stat : 17588 (java) S 17582 17584 17413 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 42022407 887152640 5080 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17589] ppid=17582 vsize=866360 CPUtime=0
/proc/17584/task/17589/stat : 17589 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42022409 887152640 5080 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17590] ppid=17582 vsize=866360 CPUtime=0.04
/proc/17584/task/17590/stat : 17590 (java) S 17582 17584 17413 0 -1 64 275 0 0 0 4 0 0 0 16 0 9 0 42022409 887152640 5080 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866360
[startup+0.701277 s]
/proc/loadavg: 2.20 2.51 2.58 3/73 17584
/proc/meminfo: memFree=1304712/2055920 swapFree=4192812/4192956
[pid=17584] ppid=17582 vsize=866632 CPUtime=0.68
/proc/17584/stat : 17584 (java) S 17582 17584 17413 0 -1 0 8418 0 1 0 59 9 0 0 18 0 9 0 42022405 887431168 7585 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17584/statm: 216658 7585 2632 9 0 211164 0
[pid=17584/tid=17585] ppid=17582 vsize=866632 CPUtime=0.51
/proc/17584/task/17585/stat : 17585 (java) R 17582 17584 17413 0 -1 64 6238 0 1 0 44 7 0 0 19 0 9 0 42022406 887431168 7585 996147200 134512640 134550740 4294955952 18446744073709551615 11249911 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17586] ppid=17582 vsize=866632 CPUtime=0.03
/proc/17584/task/17586/stat : 17586 (java) S 17582 17584 17413 0 -1 64 1148 0 0 0 3 0 0 0 16 0 9 0 42022407 887431168 7585 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17587] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17587/stat : 17587 (java) S 17582 17584 17413 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42022407 887431168 7585 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17588] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17588/stat : 17588 (java) S 17582 17584 17413 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42022407 887431168 7585 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17589] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17589/stat : 17589 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42022409 887431168 7585 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17590] ppid=17582 vsize=866632 CPUtime=0.11
/proc/17584/task/17590/stat : 17590 (java) S 17582 17584 17413 0 -1 64 335 0 0 0 11 0 0 0 16 0 9 0 42022409 887431168 7585 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866632
[startup+1.50134 s]
/proc/loadavg: 2.20 2.51 2.58 3/82 17593
/proc/meminfo: memFree=1284352/2055920 swapFree=4192812/4192956
[pid=17584] ppid=17582 vsize=866632 CPUtime=1.48
/proc/17584/stat : 17584 (java) S 17582 17584 17413 0 -1 0 8425 0 1 0 106 42 0 0 18 0 9 0 42022405 887431168 7592 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17584/statm: 216658 7592 2632 9 0 211164 0
[pid=17584/tid=17585] ppid=17582 vsize=866632 CPUtime=1.3
/proc/17584/task/17585/stat : 17585 (java) R 17582 17584 17413 0 -1 64 6238 0 1 0 90 40 0 0 25 0 9 0 42022406 887431168 7592 996147200 134512640 134550740 4294955952 18446744073709551615 4126670922 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17586] ppid=17582 vsize=866632 CPUtime=0.03
/proc/17584/task/17586/stat : 17586 (java) S 17582 17584 17413 0 -1 64 1148 0 0 0 3 0 0 0 16 0 9 0 42022407 887431168 7592 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17587] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17587/stat : 17587 (java) S 17582 17584 17413 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42022407 887431168 7592 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17588] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17588/stat : 17588 (java) S 17582 17584 17413 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42022407 887431168 7592 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17589] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17589/stat : 17589 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42022409 887431168 7592 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17590] ppid=17582 vsize=866632 CPUtime=0.12
/proc/17584/task/17590/stat : 17590 (java) S 17582 17584 17413 0 -1 64 342 0 0 0 12 0 0 0 16 0 9 0 42022409 887431168 7592 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17592] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17592/stat : 17592 (java) S 17582 17584 17413 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42022410 887431168 7592 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17593] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17593/stat : 17593 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42022410 887431168 7592 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) 866632
[startup+3.10247 s]
/proc/loadavg: 2.18 2.51 2.58 3/82 17593
/proc/meminfo: memFree=1284032/2055920 swapFree=4192812/4192956
[pid=17584] ppid=17582 vsize=866636 CPUtime=3.07
/proc/17584/stat : 17584 (java) S 17582 17584 17413 0 -1 0 8430 0 1 0 201 106 0 0 18 0 9 0 42022405 887435264 7596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17584/statm: 216659 7596 2633 9 0 211165 0
[pid=17584/tid=17585] ppid=17582 vsize=866636 CPUtime=2.89
/proc/17584/task/17585/stat : 17585 (java) R 17582 17584 17413 0 -1 64 6239 0 1 0 184 105 0 0 25 0 9 0 42022406 887435264 7596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17586] ppid=17582 vsize=866636 CPUtime=0.03
/proc/17584/task/17586/stat : 17586 (java) S 17582 17584 17413 0 -1 64 1148 0 0 0 3 0 0 0 16 0 9 0 42022407 887435264 7596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17587] ppid=17582 vsize=866636 CPUtime=0
/proc/17584/task/17587/stat : 17587 (java) S 17582 17584 17413 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42022407 887435264 7596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17588] ppid=17582 vsize=866636 CPUtime=0
/proc/17584/task/17588/stat : 17588 (java) S 17582 17584 17413 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42022407 887435264 7596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17589] ppid=17582 vsize=866636 CPUtime=0
/proc/17584/task/17589/stat : 17589 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42022409 887435264 7596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17590] ppid=17582 vsize=866636 CPUtime=0.12
/proc/17584/task/17590/stat : 17590 (java) S 17582 17584 17413 0 -1 64 346 0 0 0 12 0 0 0 15 0 9 0 42022409 887435264 7596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17592] ppid=17582 vsize=866636 CPUtime=0
/proc/17584/task/17592/stat : 17592 (java) S 17582 17584 17413 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42022410 887435264 7596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17593] ppid=17582 vsize=866636 CPUtime=0
/proc/17584/task/17593/stat : 17593 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42022410 887435264 7596 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) 866636
[startup+6.30274 s]
/proc/loadavg: 2.18 2.51 2.58 3/82 17593
/proc/meminfo: memFree=1283904/2055920 swapFree=4192812/4192956
[pid=17584] ppid=17582 vsize=866636 CPUtime=6.26
/proc/17584/stat : 17584 (java) S 17582 17584 17413 0 -1 0 8431 0 1 0 384 242 0 0 18 0 9 0 42022405 887435264 7596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17584/statm: 216659 7596 2633 9 0 211165 0
[pid=17584/tid=17585] ppid=17582 vsize=866636 CPUtime=6.08
/proc/17584/task/17585/stat : 17585 (java) R 17582 17584 17413 0 -1 64 6240 0 1 0 367 241 0 0 25 0 9 0 42022406 887435264 7596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17586] ppid=17582 vsize=866636 CPUtime=0.03
/proc/17584/task/17586/stat : 17586 (java) S 17582 17584 17413 0 -1 64 1148 0 0 0 3 0 0 0 16 0 9 0 42022407 887435264 7596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17587] ppid=17582 vsize=866636 CPUtime=0
/proc/17584/task/17587/stat : 17587 (java) S 17582 17584 17413 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42022407 887435264 7596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17588] ppid=17582 vsize=866636 CPUtime=0
/proc/17584/task/17588/stat : 17588 (java) S 17582 17584 17413 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42022407 887435264 7596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17589] ppid=17582 vsize=866636 CPUtime=0
/proc/17584/task/17589/stat : 17589 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42022409 887435264 7596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17590] ppid=17582 vsize=866636 CPUtime=0.12
/proc/17584/task/17590/stat : 17590 (java) S 17582 17584 17413 0 -1 64 346 0 0 0 12 0 0 0 16 0 9 0 42022409 887435264 7596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17592] ppid=17582 vsize=866636 CPUtime=0
/proc/17584/task/17592/stat : 17592 (java) S 17582 17584 17413 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42022410 887435264 7596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17593] ppid=17582 vsize=866636 CPUtime=0
/proc/17584/task/17593/stat : 17593 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42022410 887435264 7596 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) 866636
[startup+12.7023 s]
/proc/loadavg: 2.15 2.49 2.57 3/82 17593
/proc/meminfo: memFree=1283584/2055920 swapFree=4192812/4192956
[pid=17584] ppid=17582 vsize=866632 CPUtime=12.62
/proc/17584/stat : 17584 (java) S 17582 17584 17413 0 -1 0 8432 0 1 0 751 511 0 0 18 0 9 0 42022405 887431168 7597 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17584/statm: 216658 7597 2633 9 0 211164 0
[pid=17584/tid=17585] ppid=17582 vsize=866632 CPUtime=12.44
/proc/17584/task/17585/stat : 17585 (java) R 17582 17584 17413 0 -1 64 6240 0 1 0 734 510 0 0 25 0 9 0 42022406 887431168 7597 996147200 134512640 134550740 4294955952 18446744073709551615 4126676535 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17586] ppid=17582 vsize=866632 CPUtime=0.03
################
# More data... #
################
/proc/17584/task/17588/stat : 17588 (java) S 17582 17584 17413 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17589] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17589/stat : 17589 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42022409 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17590] ppid=17582 vsize=866632 CPUtime=0.21
/proc/17584/task/17590/stat : 17590 (java) S 17582 17584 17413 0 -1 64 399 0 0 0 21 0 0 0 16 0 9 0 42022409 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17592] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17592/stat : 17592 (java) S 17582 17584 17413 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42022410 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17593] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17593/stat : 17593 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42022410 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3280.66
Current children cumulated vsize (KiB) 866632
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 17640
/proc/meminfo: memFree=1757240/2055920 swapFree=4192812/4192956
[pid=17584] ppid=17582 vsize=866632 CPUtime=3340.63
/proc/17584/stat : 17584 (java) S 17582 17584 17413 0 -1 0 10807 0 1 0 332767 1296 0 0 18 0 9 0 42022405 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17584/statm: 216658 9969 2635 9 0 211164 0
[pid=17584/tid=17585] ppid=17582 vsize=866632 CPUtime=3340.37
/proc/17584/task/17585/stat : 17585 (java) R 17582 17584 17413 0 -1 64 8563 0 1 0 332742 1295 0 0 25 0 9 0 42022406 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4126810554 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17584/tid=17586] ppid=17582 vsize=866632 CPUtime=0.03
/proc/17584/task/17586/stat : 17586 (java) S 17582 17584 17413 0 -1 64 1148 0 0 0 3 0 0 0 16 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17587] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17587/stat : 17587 (java) S 17582 17584 17413 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17588] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17588/stat : 17588 (java) S 17582 17584 17413 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17589] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17589/stat : 17589 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42022409 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17590] ppid=17582 vsize=866632 CPUtime=0.21
/proc/17584/task/17590/stat : 17590 (java) S 17582 17584 17413 0 -1 64 399 0 0 0 21 0 0 0 16 0 9 0 42022409 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17592] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17592/stat : 17592 (java) S 17582 17584 17413 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42022410 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17593] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17593/stat : 17593 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42022410 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3340.63
Current children cumulated vsize (KiB) 866632
[startup+3402.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/90 17640
/proc/meminfo: memFree=1756728/2055920 swapFree=4192812/4192956
[pid=17584] ppid=17582 vsize=866632 CPUtime=3400.61
/proc/17584/stat : 17584 (java) S 17582 17584 17413 0 -1 0 10807 0 1 0 338765 1296 0 0 18 0 9 0 42022405 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17584/statm: 216658 9969 2635 9 0 211164 0
[pid=17584/tid=17585] ppid=17582 vsize=866632 CPUtime=3400.35
/proc/17584/task/17585/stat : 17585 (java) R 17582 17584 17413 0 -1 64 8563 0 1 0 338740 1295 0 0 25 0 9 0 42022406 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4126856396 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17584/tid=17586] ppid=17582 vsize=866632 CPUtime=0.03
/proc/17584/task/17586/stat : 17586 (java) S 17582 17584 17413 0 -1 64 1148 0 0 0 3 0 0 0 16 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17587] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17587/stat : 17587 (java) S 17582 17584 17413 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17588] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17588/stat : 17588 (java) S 17582 17584 17413 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17589] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17589/stat : 17589 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42022409 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17590] ppid=17582 vsize=866632 CPUtime=0.21
/proc/17584/task/17590/stat : 17590 (java) S 17582 17584 17413 0 -1 64 399 0 0 0 21 0 0 0 16 0 9 0 42022409 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17592] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17592/stat : 17592 (java) S 17582 17584 17413 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42022410 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17593] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17593/stat : 17593 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42022410 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3400.61
Current children cumulated vsize (KiB) 866632
[startup+3462.3 s]
/proc/loadavg: 2.19 2.06 2.01 3/90 17640
/proc/meminfo: memFree=1756152/2055920 swapFree=4192812/4192956
[pid=17584] ppid=17582 vsize=866632 CPUtime=3460.59
/proc/17584/stat : 17584 (java) S 17582 17584 17413 0 -1 0 10807 0 1 0 344763 1296 0 0 18 0 9 0 42022405 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17584/statm: 216658 9969 2635 9 0 211164 0
[pid=17584/tid=17585] ppid=17582 vsize=866632 CPUtime=3460.32
/proc/17584/task/17585/stat : 17585 (java) R 17582 17584 17413 0 -1 64 8563 0 1 0 344737 1295 0 0 25 0 9 0 42022406 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4126784617 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17584/tid=17586] ppid=17582 vsize=866632 CPUtime=0.03
/proc/17584/task/17586/stat : 17586 (java) S 17582 17584 17413 0 -1 64 1148 0 0 0 3 0 0 0 16 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17587] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17587/stat : 17587 (java) S 17582 17584 17413 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17588] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17588/stat : 17588 (java) S 17582 17584 17413 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17589] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17589/stat : 17589 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42022409 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17590] ppid=17582 vsize=866632 CPUtime=0.21
/proc/17584/task/17590/stat : 17590 (java) S 17582 17584 17413 0 -1 64 399 0 0 0 21 0 0 0 16 0 9 0 42022409 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17592] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17592/stat : 17592 (java) S 17582 17584 17413 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42022410 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17593] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17593/stat : 17593 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42022410 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3460.59
Current children cumulated vsize (KiB) 866632
[startup+3522.3 s]
/proc/loadavg: 2.14 2.07 2.02 3/90 17640
/proc/meminfo: memFree=1756152/2055920 swapFree=4192812/4192956
[pid=17584] ppid=17582 vsize=866632 CPUtime=3520.58
/proc/17584/stat : 17584 (java) S 17582 17584 17413 0 -1 0 10807 0 1 0 350761 1297 0 0 18 0 9 0 42022405 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17584/statm: 216658 9969 2635 9 0 211164 0
[pid=17584/tid=17585] ppid=17582 vsize=866632 CPUtime=3520.3
/proc/17584/task/17585/stat : 17585 (java) R 17582 17584 17413 0 -1 64 8563 0 1 0 350735 1295 0 0 25 0 9 0 42022406 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4126811766 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17584/tid=17586] ppid=17582 vsize=866632 CPUtime=0.03
/proc/17584/task/17586/stat : 17586 (java) S 17582 17584 17413 0 -1 64 1148 0 0 0 3 0 0 0 16 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17587] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17587/stat : 17587 (java) S 17582 17584 17413 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17588] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17588/stat : 17588 (java) S 17582 17584 17413 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17589] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17589/stat : 17589 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42022409 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17590] ppid=17582 vsize=866632 CPUtime=0.21
/proc/17584/task/17590/stat : 17590 (java) S 17582 17584 17413 0 -1 64 399 0 0 0 21 0 0 0 16 0 9 0 42022409 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17592] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17592/stat : 17592 (java) S 17582 17584 17413 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42022410 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17593] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17593/stat : 17593 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42022410 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3520.58
Current children cumulated vsize (KiB) 866632
[startup+3582.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/90 17640
/proc/meminfo: memFree=1755960/2055920 swapFree=4192812/4192956
[pid=17584] ppid=17582 vsize=866632 CPUtime=3580.55
/proc/17584/stat : 17584 (java) S 17582 17584 17413 0 -1 0 10807 0 1 0 356758 1297 0 0 18 0 9 0 42022405 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17584/statm: 216658 9969 2635 9 0 211164 0
[pid=17584/tid=17585] ppid=17582 vsize=866632 CPUtime=3580.28
/proc/17584/task/17585/stat : 17585 (java) R 17582 17584 17413 0 -1 64 8563 0 1 0 356733 1295 0 0 25 0 9 0 42022406 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4126810551 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17584/tid=17586] ppid=17582 vsize=866632 CPUtime=0.03
/proc/17584/task/17586/stat : 17586 (java) S 17582 17584 17413 0 -1 64 1148 0 0 0 3 0 0 0 16 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17587] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17587/stat : 17587 (java) S 17582 17584 17413 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17588] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17588/stat : 17588 (java) S 17582 17584 17413 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17589] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17589/stat : 17589 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42022409 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17590] ppid=17582 vsize=866632 CPUtime=0.21
/proc/17584/task/17590/stat : 17590 (java) S 17582 17584 17413 0 -1 64 399 0 0 0 21 0 0 0 16 0 9 0 42022409 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17592] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17592/stat : 17592 (java) S 17582 17584 17413 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42022410 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17593] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17593/stat : 17593 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42022410 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3580.55
Current children cumulated vsize (KiB) 866632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3601.8 s]
/proc/loadavg: 2.03 2.05 2.01 3/90 17640
/proc/meminfo: memFree=1755960/2055920 swapFree=4192812/4192956
[pid=17584] ppid=17582 vsize=866632 CPUtime=3600.05
/proc/17584/stat : 17584 (java) S 17582 17584 17413 0 -1 0 10807 0 1 0 358708 1297 0 0 18 0 9 0 42022405 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17584/statm: 216658 9969 2635 9 0 211164 0
[pid=17584/tid=17585] ppid=17582 vsize=866632 CPUtime=3599.77
/proc/17584/task/17585/stat : 17585 (java) R 17582 17584 17413 0 -1 64 8563 0 1 0 358682 1295 0 0 25 0 9 0 42022406 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4126809816 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17584/tid=17586] ppid=17582 vsize=866632 CPUtime=0.03
/proc/17584/task/17586/stat : 17586 (java) S 17582 17584 17413 0 -1 64 1148 0 0 0 3 0 0 0 16 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17587] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17587/stat : 17587 (java) S 17582 17584 17413 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17588] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17588/stat : 17588 (java) S 17582 17584 17413 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42022407 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17589] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17589/stat : 17589 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42022409 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17590] ppid=17582 vsize=866632 CPUtime=0.21
/proc/17584/task/17590/stat : 17590 (java) S 17582 17584 17413 0 -1 64 399 0 0 0 21 0 0 0 16 0 9 0 42022409 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17592] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17592/stat : 17592 (java) S 17582 17584 17413 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42022410 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17584/tid=17593] ppid=17582 vsize=866632 CPUtime=0
/proc/17584/task/17593/stat : 17593 (java) S 17582 17584 17413 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42022410 887431168 9969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 866632
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.84
CPU time (s): 3600.09
CPU user time (s): 3587.12
CPU system time (s): 12.977
CPU usage (%): 99.9514
Max. virtual memory (cumulated for all children) (KiB): 866636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.12
system time used= 12.977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10828
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= 73954
involuntary context switches= 15800
runsolver used 5.10822 second user time and 11.2973 second system time
The end
Begin job on node3 at 2008-07-12 10:59:50
IDJOB=1111734
IDBENCH=61316
IDSOLVER=360
FILE ID=node3/1111734-1215853190
PBS_JOBID= 7903465
Free space on /tmp= 66388 MiB
SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/aim-100/normalized-aim-100-2-0-unsat-2_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-1111734-1215853190/watcher-1111734-1215853190 -o /tmp/evaluation-result-1111734-1215853190/solver-1111734-1215853190 -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-1111734-1215853190.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= cb66ee77cedabd42a0dae2d031f5b84e
RANDOM SEED=1823452543
node3.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.238
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.238
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: 1305192 kB
Buffers: 42780 kB
Cached: 240440 kB
SwapCached: 0 kB
Active: 623200 kB
Inactive: 66876 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1305192 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2076 kB
Writeback: 0 kB
Mapped: 418100 kB
Slab: 45304 kB
Committed_AS: 537148 kB
PageTables: 2596 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= 66532 MiB
End job on node3 at 2008-07-12 11:59:54