0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.16/0.27
0.16/0.27 configuration
0.16/0.27 name=mrdac-ddeg.xml
0.26/0.36
0.26/0.37 instance
0.26/0.37 name=HOME/instance-1109118-1215798444.xml
0.30/0.40
0.30/0.40 domains being loaded...
0.30/0.41
0.30/0.41 variables being loaded...
0.30/0.45 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24 nbTotalValues=576
0.30/0.45 => wckTime=0.172 cpuTime=0.1 mem=7M858
0.30/0.45
0.30/0.45 relations being loaded...
0.80/0.97
0.80/0.97 constraints being loaded...
0.90/1.09 nbConstraints=76 nbRelationTypes=76 nbExtensionStructures=76 nbSharedExtensionStructures=0
0.90/1.09 nbConflictsStructures=76 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 minDegree=5 maxDegree=19
0.90/1.09 minArity=3 maxArity=3
0.90/1.09 => wckTime=0.813 cpuTime=0.63 mem=18M719
1.00/1.19
1.00/1.19 solver LocalSearchSolver being built...
1.09/1.23 => wckTime=0.956 cpuTime=0.67 mem=18M571
1.09/1.24
1.09/1.24 s SATISFIABLE
1.09/1.24 o 40
1.09/1.24 o 35
1.09/1.24 o 29
1.09/1.24 o 25
1.09/1.24 o 22
1.09/1.24 o 21
1.09/1.25 o 20
1.09/1.25 o 19
1.09/1.25 o 15
1.09/1.25 o 14
1.09/1.25 o 12
1.09/1.25 o 11
1.09/1.25 o 9
1.09/1.27 o 8
1.09/1.27 o 7
1.09/1.29 o 6
1.19/1.36 o 5
1.59/1.76 o 4
2.08/2.24 o 3
2.97/3.12
2.97/3.12 search
2.97/3.12 run=0 nbConstraintChecks=14573259 nbAssignments=10000
2.97/3.12 => wckTime=1.894 cpuTime=1.86 mem=19M566
4.84/5.01
4.84/5.01 search
4.84/5.01 run=1 nbConstraintChecks=29611434 nbAssignments=20000
4.84/5.01 => wckTime=3.781 cpuTime=3.71 mem=19M566
6.63/6.80
6.63/6.80 search
6.63/6.80 run=2 nbConstraintChecks=43860567 nbAssignments=30000
6.63/6.80 => wckTime=5.57 cpuTime=5.48 mem=19M566
8.40/8.63
8.40/8.63 search
8.40/8.63 run=3 nbConstraintChecks=58769249 nbAssignments=40000
8.40/8.63 => wckTime=7.405 cpuTime=7.3 mem=19M566
10.19/10.43
10.19/10.43 search
10.19/10.43 run=4 nbConstraintChecks=73070292 nbAssignments=50000
10.19/10.43 => wckTime=9.197 cpuTime=9.07 mem=19M566
11.97/12.23
11.97/12.23 search
11.97/12.23 run=5 nbConstraintChecks=87510925 nbAssignments=60000
11.97/12.23 => wckTime=10.999 cpuTime=10.85 mem=19M566
13.75/14.07
13.75/14.07 search
13.75/14.07 run=6 nbConstraintChecks=102389134 nbAssignments=70000
13.75/14.07 => wckTime=12.839 cpuTime=12.67 mem=19M566
15.62/15.90
15.62/15.90 search
15.62/15.90 run=7 nbConstraintChecks=117080800 nbAssignments=80000
15.62/15.90 => wckTime=14.67 cpuTime=14.48 mem=19M566
17.40/17.73
17.40/17.73 search
17.40/17.73 run=8 nbConstraintChecks=131784265 nbAssignments=90000
17.40/17.74 => wckTime=16.506 cpuTime=16.3 mem=19M566
17.80/18.13 o 2
19.18/19.57
19.18/19.57 search
19.18/19.57 run=9 nbConstraintChecks=146488077 nbAssignments=100000
19.18/19.57 => wckTime=18.34 cpuTime=18.1 mem=19M566
21.06/21.43
21.06/21.43 search
21.06/21.43 run=10 nbConstraintChecks=161463952 nbAssignments=110000
21.06/21.43 => wckTime=20.199 cpuTime=19.95 mem=19M566
22.83/23.26
22.83/23.26 search
22.83/23.26 run=11 nbConstraintChecks=176107585 nbAssignments=120000
22.83/23.26 => wckTime=22.029 cpuTime=21.75 mem=19M566
24.62/25.08
24.62/25.08 search
24.62/25.08 run=12 nbConstraintChecks=190697656 nbAssignments=130000
24.62/25.08 => wckTime=23.851 cpuTime=23.56 mem=19M566
26.50/26.94
26.50/26.94 search
26.50/26.94 run=13 nbConstraintChecks=205745663 nbAssignments=140000
26.50/26.94 => wckTime=25.71 cpuTime=25.39 mem=19M566
28.28/28.78
28.28/28.78 search
28.28/28.78 run=14 nbConstraintChecks=220707037 nbAssignments=150000
28.28/28.78 => wckTime=27.551 cpuTime=27.21 mem=19M566
30.05/30.57
30.05/30.57 search
30.05/30.57 run=15 nbConstraintChecks=234958115 nbAssignments=160000
30.05/30.57 => wckTime=29.337 cpuTime=28.98 mem=19M566
31.93/32.40
31.93/32.40 search
31.93/32.40 run=16 nbConstraintChecks=249781097 nbAssignments=170000
31.93/32.40 => wckTime=31.174 cpuTime=30.79 mem=19M566
33.71/34.23
33.71/34.23 search
33.71/34.23 run=17 nbConstraintChecks=264595380 nbAssignments=180000
33.71/34.23 => wckTime=33.002 cpuTime=32.6 mem=19M566
35.49/36.07
35.49/36.07 search
35.49/36.07 run=18 nbConstraintChecks=279588462 nbAssignments=190000
35.49/36.07 => wckTime=34.843 cpuTime=34.42 mem=19M566
37.37/37.92
37.37/37.92 search
37.37/37.92 run=19 nbConstraintChecks=294412657 nbAssignments=200000
37.37/37.92 => wckTime=36.691 cpuTime=36.25 mem=19M566
39.15/39.75
39.15/39.75 search
39.15/39.75 run=20 nbConstraintChecks=308988330 nbAssignments=210000
39.15/39.75 => wckTime=38.517 cpuTime=38.04 mem=19M566
40.93/41.59
40.93/41.59 search
40.93/41.59 run=21 nbConstraintChecks=323851461 nbAssignments=220000
40.93/41.59 => wckTime=40.363 cpuTime=39.87 mem=19M566
42.80/43.43
42.80/43.43 search
42.80/43.43 run=22 nbConstraintChecks=338552388 nbAssignments=230000
42.80/43.43 => wckTime=42.202 cpuTime=41.69 mem=19M566
44.49/45.14
44.49/45.14 search
44.49/45.14 run=23 nbConstraintChecks=351790077 nbAssignments=240000
44.49/45.14 => wckTime=43.912 cpuTime=43.38 mem=19M566
46.26/46.97
46.26/46.97 search
46.26/46.97 run=24 nbConstraintChecks=366570957 nbAssignments=250000
46.26/46.97 => wckTime=45.744 cpuTime=45.19 mem=19M566
47.75/48.48
47.75/48.48 search
47.75/48.48 run=25 nbConstraintChecks=378767177 nbAssignments=258192
47.75/48.48 => wckTime=47.255 cpuTime=46.69 mem=19M566
47.75/48.48
47.75/48.49 global
47.75/48.49 nbConstraintChecks=378767177 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.75/48.49 solvingWckTime=47.253 solvingCpuTime=46.69 expiredTime=no totalExploration=no nbFoundSolutions=0
47.75/48.49 globalCpuTime=47.41
47.75/48.49 => wckTime=48.211 cpuTime=47.36 mem=19M566
47.75/48.49
47.75/48.49 solver DecomposerSolver being built...
47.85/48.59 => wckTime=48.317 cpuTime=47.44 mem=30M770
47.85/48.60
47.85/48.60 preprocessing
47.85/48.60 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
47.85/48.60 detectedInconsistency=no
47.85/48.60 => wckTime=0.0050 cpuTime=0.0 mem=30M770
3600.04/3640.61 v 12 18 7 19 8 4 5 13 6 10 21 0 19 19 4 3 5 23 4 3 23 4 16 5
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109118-1215798444/watcher-1109118-1215798444 -o /tmp/evaluation-result-1109118-1215798444/solver-1109118-1215798444 -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-1109118-1215798444.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: 3.92 4.47 3.50 4/106 10450
/proc/meminfo: memFree=1885984/2055920 swapFree=4192812/4192956
[pid=10450] ppid=10448 vsize=152 CPUtime=0
/proc/10450/stat : 10450 (java) R 10448 10450 9280 0 -1 0 41 0 0 0 0 0 0 0 20 0 1 0 36541437 155648 26 996147200 134512640 134550740 4294956128 18446744073709551615 6549803 0 0 4096 0 0 0 0 17 0 0 0
/proc/10450/statm: 38 26 19 9 0 4 0
[startup+0.0920319 s]
/proc/loadavg: 3.92 4.47 3.50 4/106 10450
/proc/meminfo: memFree=1885984/2055920 swapFree=4192812/4192956
[pid=10450] ppid=10448 vsize=865988 CPUtime=0.07
/proc/10450/stat : 10450 (java) S 10448 10450 9280 0 -1 0 3694 0 1 0 5 2 0 0 18 0 9 0 36541437 886771712 3169 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10450/statm: 216497 3169 1683 9 0 211052 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865988
[startup+0.101035 s]
/proc/loadavg: 3.92 4.47 3.50 4/106 10450
/proc/meminfo: memFree=1885984/2055920 swapFree=4192812/4192956
[pid=10450] ppid=10448 vsize=865988 CPUtime=0.08
/proc/10450/stat : 10450 (java) S 10448 10450 9280 0 -1 0 3738 0 1 0 6 2 0 0 18 0 9 0 36541437 886771712 3204 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10450/statm: 216497 3204 1694 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.301074 s]
/proc/loadavg: 3.92 4.47 3.50 4/106 10450
/proc/meminfo: memFree=1885984/2055920 swapFree=4192812/4192956
[pid=10450] ppid=10448 vsize=866280 CPUtime=0.26
/proc/10450/stat : 10450 (java) S 10448 10450 9280 0 -1 0 5538 0 3 0 21 5 0 0 18 0 9 0 36541437 887070720 4961 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10450/statm: 216570 4961 1889 9 0 211118 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 866280
[startup+0.701149 s]
/proc/loadavg: 3.92 4.47 3.50 4/106 10450
/proc/meminfo: memFree=1885984/2055920 swapFree=4192812/4192956
[pid=10450] ppid=10448 vsize=866444 CPUtime=0.6
/proc/10450/stat : 10450 (java) S 10448 10450 9280 0 -1 0 12050 0 7 0 52 8 0 0 18 0 9 0 36541437 887238656 11427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10450/statm: 216611 11427 1969 9 0 211139 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 866444
[startup+1.5013 s]
/proc/loadavg: 3.92 4.47 3.50 3/115 10459
/proc/meminfo: memFree=1817688/2055920 swapFree=4192812/4192956
[pid=10450] ppid=10448 vsize=866628 CPUtime=1.39
/proc/10450/stat : 10450 (java) S 10448 10450 9280 0 -1 0 22617 0 7 0 123 16 0 0 18 0 9 0 36541437 887427072 21789 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10450/statm: 216657 21789 2636 9 0 211163 0
[pid=10450/tid=10452] ppid=10448 vsize=866628 CPUtime=1.11
/proc/10450/task/10452/stat : 10452 (java) R 10448 10450 9280 0 -1 64 15794 0 7 0 98 13 0 0 25 0 9 0 36541438 887427072 21789 996147200 134512640 134550740 4294955952 18446744073709551615 4126681228 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10453] ppid=10448 vsize=866628 CPUtime=0.14
/proc/10450/task/10453/stat : 10453 (java) S 10448 10450 9280 0 -1 64 5789 0 0 0 13 1 0 0 16 0 9 0 36541439 887427072 21789 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10454] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10454/stat : 10454 (java) S 10448 10450 9280 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 36541439 887427072 21789 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10455] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 9280 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36541440 887427072 21789 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10456] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 9280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36541441 887427072 21789 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10457] ppid=10448 vsize=866628 CPUtime=0.11
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 9280 0 -1 64 337 0 0 0 11 0 0 0 15 0 9 0 36541441 887427072 21789 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10458] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10458/stat : 10458 (java) S 10448 10450 9280 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36541441 887427072 21789 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10459] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10459/stat : 10459 (java) S 10448 10450 9280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36541441 887427072 21789 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 866628
[startup+3.10259 s]
/proc/loadavg: 3.84 4.45 3.50 3/115 10459
/proc/meminfo: memFree=1807576/2055920 swapFree=4192812/4192956
[pid=10450] ppid=10448 vsize=866628 CPUtime=2.97
/proc/10450/stat : 10450 (java) S 10448 10450 9280 0 -1 0 22622 0 7 0 248 49 0 0 18 0 9 0 36541437 887427072 21793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10450/statm: 216657 21793 2636 9 0 211163 0
[pid=10450/tid=10452] ppid=10448 vsize=866628 CPUtime=2.69
/proc/10450/task/10452/stat : 10452 (java) R 10448 10450 9280 0 -1 64 15795 0 7 0 222 47 0 0 25 0 9 0 36541438 887427072 21793 996147200 134512640 134550740 4294955952 18446744073709551615 4126689917 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10453] ppid=10448 vsize=866628 CPUtime=0.14
/proc/10450/task/10453/stat : 10453 (java) S 10448 10450 9280 0 -1 64 5789 0 0 0 13 1 0 0 17 0 9 0 36541439 887427072 21793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10454] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10454/stat : 10454 (java) S 10448 10450 9280 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 36541439 887427072 21793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10455] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 9280 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36541440 887427072 21793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10456] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 9280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36541441 887427072 21793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10457] ppid=10448 vsize=866628 CPUtime=0.12
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 9280 0 -1 64 341 0 0 0 12 0 0 0 16 0 9 0 36541441 887427072 21793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10458] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10458/stat : 10458 (java) S 10448 10450 9280 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36541441 887427072 21793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10459] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10459/stat : 10459 (java) S 10448 10450 9280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36541441 887427072 21793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 866628
[startup+6.30119 s]
/proc/loadavg: 3.84 4.45 3.50 3/115 10459
/proc/meminfo: memFree=1807392/2055920 swapFree=4192812/4192956
[pid=10450] ppid=10448 vsize=866628 CPUtime=6.13
/proc/10450/stat : 10450 (java) S 10448 10450 9280 0 -1 0 22628 0 7 0 500 113 0 0 18 0 9 0 36541437 887427072 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10450/statm: 216657 21798 2637 9 0 211163 0
[pid=10450/tid=10452] ppid=10448 vsize=866628 CPUtime=5.85
/proc/10450/task/10452/stat : 10452 (java) R 10448 10450 9280 0 -1 64 15796 0 7 0 474 111 0 0 25 0 9 0 36541438 887427072 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4126682785 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10453] ppid=10448 vsize=866628 CPUtime=0.14
/proc/10450/task/10453/stat : 10453 (java) S 10448 10450 9280 0 -1 64 5789 0 0 0 13 1 0 0 16 0 9 0 36541439 887427072 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10454] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10454/stat : 10454 (java) S 10448 10450 9280 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 36541439 887427072 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10455] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 9280 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36541440 887427072 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10456] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 9280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36541441 887427072 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10457] ppid=10448 vsize=866628 CPUtime=0.12
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 9280 0 -1 64 346 0 0 0 12 0 0 0 16 0 9 0 36541441 887427072 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10458] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10458/stat : 10458 (java) S 10448 10450 9280 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36541441 887427072 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10459] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10459/stat : 10459 (java) S 10448 10450 9280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36541441 887427072 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 866628
[startup+12.7024 s]
/proc/loadavg: 3.56 4.37 3.48 3/115 10459
/proc/meminfo: memFree=1807200/2055920 swapFree=4192812/4192956
[pid=10450] ppid=10448 vsize=866628 CPUtime=12.46
/proc/10450/stat : 10450 (java) S 10448 10450 9280 0 -1 0 22628 0 7 0 1009 237 0 0 18 0 9 0 36541437 887427072 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10450/statm: 216657 21798 2637 9 0 211163 0
[pid=10450/tid=10452] ppid=10448 vsize=866628 CPUtime=12.17
/proc/10450/task/10452/stat : 10452 (java) R 10448 10450 9280 0 -1 64 15796 0 7 0 983 234 0 0 25 0 9 0 36541438 887427072 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4126682898 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10453] ppid=10448 vsize=866628 CPUtime=0.14
/proc/10450/task/10453/stat : 10453 (java) S 10448 10450 9280 0 -1 64 5789 0 0 0 13 1 0 0 16 0 9 0 36541439 887427072 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10454] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10454/stat : 10454 (java) S 10448 10450 9280 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 36541439 887427072 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10455] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 9280 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36541440 887427072 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10456] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 9280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36541441 887427072 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10457] ppid=10448 vsize=866628 CPUtime=0.12
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 9280 0 -1 64 346 0 0 0 12 0 0 0 16 0 9 0 36541441 887427072 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10458] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10458/stat : 10458 (java) S 10448 10450 9280 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36541441 887427072 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10459] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10459/stat : 10459 (java) S 10448 10450 9280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36541441 887427072 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 866628
[startup+25.5018 s]
/proc/loadavg: 3.32 4.29 3.47 3/115 10459
/proc/meminfo: memFree=1807200/2055920 swapFree=4192812/4192956
[pid=10450] ppid=10448 vsize=866632 CPUtime=25.11
/proc/10450/stat : 10450 (java) S 10448 10450 9280 0 -1 0 22629 0 7 0 2018 493 0 0 18 0 9 0 36541437 887431168 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10450/statm: 216658 21798 2637 9 0 211164 0
[pid=10450/tid=10452] ppid=10448 vsize=866632 CPUtime=24.83
/proc/10450/task/10452/stat : 10452 (java) R 10448 10450 9280 0 -1 64 15797 0 7 0 1992 491 0 0 25 0 9 0 36541438 887431168 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10453] ppid=10448 vsize=866632 CPUtime=0.14
/proc/10450/task/10453/stat : 10453 (java) S 10448 10450 9280 0 -1 64 5789 0 0 0 13 1 0 0 16 0 9 0 36541439 887431168 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10454] ppid=10448 vsize=866632 CPUtime=0
/proc/10450/task/10454/stat : 10454 (java) S 10448 10450 9280 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 36541439 887431168 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10455] ppid=10448 vsize=866632 CPUtime=0
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 9280 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36541440 887431168 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10456] ppid=10448 vsize=866632 CPUtime=0
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 9280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36541441 887431168 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10457] ppid=10448 vsize=866632 CPUtime=0.12
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 9280 0 -1 64 346 0 0 0 12 0 0 0 16 0 9 0 36541441 887431168 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10458] ppid=10448 vsize=866632 CPUtime=0
/proc/10450/task/10458/stat : 10458 (java) S 10448 10450 9280 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36541441 887431168 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10459] ppid=10448 vsize=866632 CPUtime=0
/proc/10450/task/10459/stat : 10459 (java) S 10448 10450 9280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36541441 887431168 21798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 866632
[startup+51.1015 s]
/proc/loadavg: 2.87 4.10 3.43 3/115 10459
/proc/meminfo: memFree=1806880/2055920 swapFree=4192812/4192956
[pid=10450] ppid=10448 vsize=866628 CPUtime=50.42
/proc/10450/stat : 10450 (java) S 10448 10450 9280 0 -1 0 22731 0 7 0 4080 962 0 0 18 0 9 0 36541437 887427072 21898 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10450/statm: 216657 21898 2638 9 0 211163 0
[pid=10450/tid=10452] ppid=10448 vsize=866628 CPUtime=50.05
/proc/10450/task/10452/stat : 10452 (java) R 10448 10450 9280 0 -1 64 15853 0 7 0 4046 959 0 0 25 0 9 0 36541438 887427072 21898 996147200 134512640 134550740 4294955952 18446744073709551615 4126793139 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10453] ppid=10448 vsize=866628 CPUtime=0.14
/proc/10450/task/10453/stat : 10453 (java) S 10448 10450 9280 0 -1 64 5789 0 0 0 13 1 0 0 16 0 9 0 36541439 887427072 21898 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10454] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10454/stat : 10454 (java) S 10448 10450 9280 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 36541439 887427072 21898 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10455] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 9280 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36541440 887427072 21898 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10456] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 9280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36541441 887427072 21898 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10457] ppid=10448 vsize=866628 CPUtime=0.2
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 9280 0 -1 64 392 0 0 0 20 0 0 0 16 0 9 0 36541441 887427072 21898 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10458] ppid=10448 vsize=866628 CPUtime=0
################
# More data... #
################
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 9280 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36541440 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10456] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 9280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10457] ppid=10448 vsize=866628 CPUtime=0.2
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 9280 0 -1 64 393 0 0 0 20 0 0 0 16 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10458] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10458/stat : 10458 (java) S 10448 10450 9280 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10459] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10459/stat : 10459 (java) S 10448 10450 9280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3245.27
Current children cumulated vsize (KiB) 866628
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/115 10467
/proc/meminfo: memFree=1803104/2055920 swapFree=4192812/4192956
[pid=10450] ppid=10448 vsize=866628 CPUtime=3304.59
/proc/10450/stat : 10450 (java) S 10448 10450 9280 0 -1 0 22736 0 7 0 329493 966 0 0 18 0 9 0 36541437 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10450/statm: 216657 21902 2638 9 0 211163 0
[pid=10450/tid=10452] ppid=10448 vsize=866628 CPUtime=3304.22
/proc/10450/task/10452/stat : 10452 (java) R 10448 10450 9280 0 -1 64 15857 0 7 0 329459 963 0 0 25 0 9 0 36541438 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4126787875 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10453] ppid=10448 vsize=866628 CPUtime=0.14
/proc/10450/task/10453/stat : 10453 (java) S 10448 10450 9280 0 -1 64 5789 0 0 0 13 1 0 0 16 0 9 0 36541439 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10454] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10454/stat : 10454 (java) S 10448 10450 9280 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 36541439 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10455] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 9280 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36541440 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10456] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 9280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10457] ppid=10448 vsize=866628 CPUtime=0.2
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 9280 0 -1 64 393 0 0 0 20 0 0 0 16 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10458] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10458/stat : 10458 (java) S 10448 10450 9280 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10459] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10459/stat : 10459 (java) S 10448 10450 9280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3304.59
Current children cumulated vsize (KiB) 866628
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/115 10467
/proc/meminfo: memFree=1803104/2055920 swapFree=4192812/4192956
[pid=10450] ppid=10448 vsize=866628 CPUtime=3363.93
/proc/10450/stat : 10450 (java) S 10448 10450 9280 0 -1 0 22736 0 7 0 335427 966 0 0 18 0 9 0 36541437 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10450/statm: 216657 21902 2638 9 0 211163 0
[pid=10450/tid=10452] ppid=10448 vsize=866628 CPUtime=3363.56
/proc/10450/task/10452/stat : 10452 (java) R 10448 10450 9280 0 -1 64 15857 0 7 0 335393 963 0 0 25 0 9 0 36541438 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4126796653 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10453] ppid=10448 vsize=866628 CPUtime=0.14
/proc/10450/task/10453/stat : 10453 (java) S 10448 10450 9280 0 -1 64 5789 0 0 0 13 1 0 0 16 0 9 0 36541439 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10454] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10454/stat : 10454 (java) S 10448 10450 9280 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 36541439 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10455] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 9280 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36541440 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10456] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 9280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10457] ppid=10448 vsize=866628 CPUtime=0.2
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 9280 0 -1 64 393 0 0 0 20 0 0 0 16 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10458] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10458/stat : 10458 (java) S 10448 10450 9280 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10459] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10459/stat : 10459 (java) S 10448 10450 9280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3363.93
Current children cumulated vsize (KiB) 866628
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/115 10467
/proc/meminfo: memFree=1802720/2055920 swapFree=4192812/4192956
[pid=10450] ppid=10448 vsize=866628 CPUtime=3423.24
/proc/10450/stat : 10450 (java) S 10448 10450 9280 0 -1 0 22736 0 7 0 341358 966 0 0 18 0 9 0 36541437 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10450/statm: 216657 21902 2638 9 0 211163 0
[pid=10450/tid=10452] ppid=10448 vsize=866628 CPUtime=3422.88
/proc/10450/task/10452/stat : 10452 (java) R 10448 10450 9280 0 -1 64 15857 0 7 0 341325 963 0 0 25 0 9 0 36541438 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4126805411 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10453] ppid=10448 vsize=866628 CPUtime=0.14
/proc/10450/task/10453/stat : 10453 (java) S 10448 10450 9280 0 -1 64 5789 0 0 0 13 1 0 0 16 0 9 0 36541439 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10454] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10454/stat : 10454 (java) S 10448 10450 9280 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 36541439 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10455] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 9280 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36541440 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10456] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 9280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10457] ppid=10448 vsize=866628 CPUtime=0.2
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 9280 0 -1 64 393 0 0 0 20 0 0 0 16 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10458] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10458/stat : 10458 (java) S 10448 10450 9280 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10459] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10459/stat : 10459 (java) S 10448 10450 9280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3423.24
Current children cumulated vsize (KiB) 866628
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/115 10467
/proc/meminfo: memFree=1802784/2055920 swapFree=4192812/4192956
[pid=10450] ppid=10448 vsize=866628 CPUtime=3482.57
/proc/10450/stat : 10450 (java) S 10448 10450 9280 0 -1 0 22736 0 7 0 347291 966 0 0 18 0 9 0 36541437 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10450/statm: 216657 21902 2638 9 0 211163 0
[pid=10450/tid=10452] ppid=10448 vsize=866628 CPUtime=3482.2
/proc/10450/task/10452/stat : 10452 (java) R 10448 10450 9280 0 -1 64 15857 0 7 0 347257 963 0 0 25 0 9 0 36541438 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4126685875 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10453] ppid=10448 vsize=866628 CPUtime=0.14
/proc/10450/task/10453/stat : 10453 (java) S 10448 10450 9280 0 -1 64 5789 0 0 0 13 1 0 0 16 0 9 0 36541439 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10454] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10454/stat : 10454 (java) S 10448 10450 9280 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 36541439 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10455] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 9280 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36541440 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10456] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 9280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10457] ppid=10448 vsize=866628 CPUtime=0.2
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 9280 0 -1 64 393 0 0 0 20 0 0 0 16 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10458] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10458/stat : 10458 (java) S 10448 10450 9280 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10459] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10459/stat : 10459 (java) S 10448 10450 9280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3482.57
Current children cumulated vsize (KiB) 866628
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/115 10467
/proc/meminfo: memFree=1802592/2055920 swapFree=4192812/4192956
[pid=10450] ppid=10448 vsize=866628 CPUtime=3541.89
/proc/10450/stat : 10450 (java) S 10448 10450 9280 0 -1 0 22736 0 7 0 353223 966 0 0 18 0 9 0 36541437 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10450/statm: 216657 21902 2638 9 0 211163 0
[pid=10450/tid=10452] ppid=10448 vsize=866628 CPUtime=3541.52
/proc/10450/task/10452/stat : 10452 (java) R 10448 10450 9280 0 -1 64 15857 0 7 0 353189 963 0 0 25 0 9 0 36541438 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4126685696 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10453] ppid=10448 vsize=866628 CPUtime=0.14
/proc/10450/task/10453/stat : 10453 (java) S 10448 10450 9280 0 -1 64 5789 0 0 0 13 1 0 0 16 0 9 0 36541439 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10454] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10454/stat : 10454 (java) S 10448 10450 9280 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 36541439 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10455] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 9280 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36541440 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10456] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 9280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10457] ppid=10448 vsize=866628 CPUtime=0.2
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 9280 0 -1 64 393 0 0 0 20 0 0 0 16 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10458] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10458/stat : 10458 (java) S 10448 10450 9280 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10459] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10459/stat : 10459 (java) S 10448 10450 9280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3541.89
Current children cumulated vsize (KiB) 866628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3640.6 s]
/proc/loadavg: 1.96 1.98 1.99 3/115 10508
/proc/meminfo: memFree=1803568/2055920 swapFree=4192812/4192956
[pid=10450] ppid=10448 vsize=866628 CPUtime=3600.04
/proc/10450/stat : 10450 (java) S 10448 10450 9280 0 -1 0 22736 0 7 0 359037 967 0 0 18 0 9 0 36541437 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10450/statm: 216657 21902 2638 9 0 211163 0
[pid=10450/tid=10452] ppid=10448 vsize=866628 CPUtime=3599.67
/proc/10450/task/10452/stat : 10452 (java) R 10448 10450 9280 0 -1 64 15857 0 7 0 359003 964 0 0 25 0 9 0 36541438 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4126817775 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10450/tid=10453] ppid=10448 vsize=866628 CPUtime=0.14
/proc/10450/task/10453/stat : 10453 (java) S 10448 10450 9280 0 -1 64 5789 0 0 0 13 1 0 0 16 0 9 0 36541439 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10454] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10454/stat : 10454 (java) S 10448 10450 9280 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 36541439 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10455] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 9280 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36541440 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10456] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 9280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10457] ppid=10448 vsize=866628 CPUtime=0.2
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 9280 0 -1 64 393 0 0 0 20 0 0 0 16 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10458] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10458/stat : 10458 (java) S 10448 10450 9280 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10450/tid=10459] ppid=10448 vsize=866628 CPUtime=0
/proc/10450/task/10459/stat : 10459 (java) S 10448 10450 9280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36541441 887427072 21902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.04
Current children cumulated vsize (KiB) 866628
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): 3640.65
CPU time (s): 3600.09
CPU user time (s): 3590.4
CPU system time (s): 9.68353
CPU usage (%): 98.8858
Max. virtual memory (cumulated for all children) (KiB): 866632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.4
system time used= 9.68353
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22755
page faults= 7
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74917
involuntary context switches= 127678
runsolver used 4.88626 second user time and 14.9967 second system time
The end
Begin job on node82 at 2008-07-11 19:47:25
IDJOB=1109118
IDBENCH=60920
IDSOLVER=360
FILE ID=node82/1109118-1215798444
PBS_JOBID= 7903050
Free space on /tmp= 66552 MiB
SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/rand-3-24-24/normalized-rand-3-24-24-76-632-22_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-1109118-1215798444/watcher-1109118-1215798444 -o /tmp/evaluation-result-1109118-1215798444/solver-1109118-1215798444 -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-1109118-1215798444.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= b0d0910a54361eb4b635b0f40380a40c
RANDOM SEED=1030371221
node82.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.263
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.263
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1886528 kB
Buffers: 7096 kB
Cached: 54444 kB
SwapCached: 0 kB
Active: 103240 kB
Inactive: 17136 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1886528 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 8904 kB
Writeback: 0 kB
Mapped: 80264 kB
Slab: 31296 kB
Committed_AS: 312284 kB
PageTables: 4088 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66552 MiB
End job on node82 at 2008-07-11 20:48:07