0.08/0.20
0.08/0.20 Abscon 112 (May, 2008)
0.22/0.44
0.22/0.44 configuration
0.22/0.44 name=mrdac-wdeg.xml
0.22/0.48
0.22/0.48 instance
0.22/0.48 name=HOME/instance-1127633-1216773398.xml
0.31/0.52
0.31/0.52 domains being loaded...
0.31/0.53
0.31/0.53 variables being loaded...
0.31/0.55 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=80
0.31/0.55 => wckTime=0.107 cpuTime=0.08 mem=6M867
0.31/0.55
0.31/0.55 relations being loaded...
0.31/0.57
0.31/0.57 constraints being loaded...
0.61/0.88 nbConstraints=2436 nbRelationTypes=53 nbExtensionStructures=53 nbSharedExtensionStructures=2383
0.61/0.88 nbConflictsStructures=53 nbSharedConflictsStructures=2383 nbSharedBinaryRepresentations=0 minDegree=159
0.61/0.88 maxDegree=198 minArity=3 maxArity=3
0.61/0.88 => wckTime=0.43 cpuTime=0.27 mem=18M700
0.72/0.95
0.72/0.95 solver LocalSearchSolver being built...
0.72/0.99 => wckTime=0.543 cpuTime=0.31 mem=7M546
0.72/1.00
0.72/1.00 s SATISFIABLE
0.72/1.00 o 345
0.72/1.00 o 336
0.72/1.00 o 321
0.72/1.00 o 319
0.72/1.00 o 318
0.82/1.00 o 312
0.82/1.00 o 307
0.82/1.01 o 291
0.82/1.01 o 284
0.82/1.01 o 283
0.82/1.01 o 280
0.82/1.04 o 279
0.82/1.06 o 275
0.82/1.07 o 271
0.82/1.07 o 270
0.82/1.08 o 267
0.92/1.11 o 266
0.92/1.14 o 264
0.92/1.14 o 260
1.02/1.26 o 256
1.02/1.27 o 254
1.41/1.64 o 252
1.41/1.64 o 251
1.41/1.64 o 249
1.41/1.64 o 248
1.41/1.64 o 244
9.61/9.90
9.61/9.90 search
9.61/9.90 run=0 nbConstraintChecks=58149241 nbAssignments=10000
9.61/9.90 => wckTime=8.91 cpuTime=8.88 mem=8M587
18.71/18.90
18.71/18.90 search
18.71/18.90 run=1 nbConstraintChecks=117919292 nbAssignments=20000
18.71/18.90 => wckTime=17.915 cpuTime=17.88 mem=8M587
27.41/27.61
27.41/27.61 search
27.41/27.61 run=2 nbConstraintChecks=176071563 nbAssignments=30000
27.41/27.61 => wckTime=26.623 cpuTime=26.59 mem=8M587
31.41/31.67
31.41/31.67 search
31.41/31.67 run=3 nbConstraintChecks=203210567 nbAssignments=34549
31.41/31.67 => wckTime=30.679 cpuTime=30.65 mem=8M587
31.41/31.67
31.41/31.67 global
31.41/31.67 nbConstraintChecks=203210567 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.41/31.67 solvingWckTime=30.678 solvingCpuTime=30.65 expiredTime=no totalExploration=no nbFoundSolutions=0
31.41/31.67 globalCpuTime=31.0
31.41/31.67 => wckTime=31.222 cpuTime=30.96 mem=8M587
31.41/31.67
31.41/31.67 solver DecomposerSolver being built...
31.60/31.84 => wckTime=31.395 cpuTime=31.1 mem=35M133
31.60/31.86
31.60/31.86 preprocessing
31.60/31.86 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.60/31.86 detectedInconsistency=no
31.60/31.86 => wckTime=0.016 cpuTime=0.01 mem=35M133
3600.04/3601.61 v 0 1 1 1 0 1 0 1 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 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-1127633-1216773398/watcher-1127633-1216773398 -o /tmp/evaluation-result-1127633-1216773398/solver-1127633-1216773398 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1127633-1216773398.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: 1.00 1.00 1.00 3/73 8240
/proc/meminfo: memFree=1381440/2055920 swapFree=4192956/4192956
[pid=8240] ppid=8238 vsize=18572 CPUtime=0
/proc/8240/stat : 8240 (runsolver) D 8238 8240 8183 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 4428770 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 269930261799 0 2147483391 4096 24578 18446744072099855350 0 0 17 0 0 0
/proc/8240/statm: 4643 292 257 25 0 2626 0
[startup+0.0820749 s]
/proc/loadavg: 1.00 1.00 1.00 3/73 8240
/proc/meminfo: memFree=1381440/2055920 swapFree=4192956/4192956
[pid=8240] ppid=8238 vsize=861876 CPUtime=0.03
/proc/8240/stat : 8240 (java) S 8238 8240 8183 0 -1 0 2106 0 18 0 1 2 0 0 20 0 5 0 4428770 882561024 1766 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/8240/statm: 215469 1766 816 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876
[startup+0.102121 s]
/proc/loadavg: 1.00 1.00 1.00 3/73 8240
/proc/meminfo: memFree=1381440/2055920 swapFree=4192956/4192956
[pid=8240] ppid=8238 vsize=861876 CPUtime=0.04
/proc/8240/stat : 8240 (java) S 8238 8240 8183 0 -1 0 2341 0 22 0 2 2 0 0 20 0 5 0 4428770 882561024 1949 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/8240/statm: 215469 1949 898 9 0 210448 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 861876
[startup+0.301141 s]
/proc/loadavg: 1.00 1.00 1.00 3/73 8240
/proc/meminfo: memFree=1381440/2055920 swapFree=4192956/4192956
[pid=8240] ppid=8238 vsize=866768 CPUtime=0.15
/proc/8240/stat : 8240 (java) S 8238 8240 8183 0 -1 0 4022 0 133 0 11 4 0 0 20 0 9 0 4428770 887570432 3590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8240/statm: 216692 3590 1803 9 0 211247 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 866768
[startup+0.701185 s]
/proc/loadavg: 1.00 1.00 1.00 3/73 8240
/proc/meminfo: memFree=1381440/2055920 swapFree=4192956/4192956
[pid=8240] ppid=8238 vsize=868204 CPUtime=0.51
/proc/8240/stat : 8240 (java) S 8238 8240 8183 0 -1 0 6875 0 136 0 43 8 0 0 20 0 9 0 4428770 889040896 6381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8240/statm: 217051 6381 1969 9 0 211579 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 868204
[startup+1.50228 s]
/proc/loadavg: 1.00 1.00 1.00 3/90 8257
/proc/meminfo: memFree=1321976/2055920 swapFree=4192956/4192956
[pid=8240] ppid=8238 vsize=868392 CPUtime=1.32
/proc/8240/stat : 8240 (java) S 8238 8240 8183 0 -1 0 11214 0 138 0 118 14 0 0 20 0 9 0 4428770 889233408 10518 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8240/statm: 217098 10518 2632 9 0 211604 0
[pid=8240/tid=8243] ppid=8238 vsize=868392 CPUtime=1.03
/proc/8240/task/8243/stat : 8243 (java) R 8238 8240 8183 0 -1 64 8252 0 136 0 92 11 0 0 23 0 9 0 4428772 889233408 10518 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8244] ppid=8238 vsize=868392 CPUtime=0.05
/proc/8240/task/8244/stat : 8244 (java) S 8238 8240 8183 0 -1 64 1625 0 1 0 5 0 0 0 17 0 9 0 4428776 889233408 10518 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8246] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8246/stat : 8246 (java) S 8238 8240 8183 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 10518 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8247] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8247/stat : 8247 (java) S 8238 8240 8183 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 10518 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8250] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8250/stat : 8250 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4428781 889233408 10518 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8251] ppid=8238 vsize=868392 CPUtime=0.2
/proc/8240/task/8251/stat : 8251 (java) S 8238 8240 8183 0 -1 64 640 0 1 0 20 0 0 0 15 0 9 0 4428781 889233408 10518 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8252] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8252/stat : 8252 (java) S 8238 8240 8183 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4428781 889233408 10518 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8253] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8253/stat : 8253 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4428781 889233408 10518 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 868392
[startup+3.10144 s]
/proc/loadavg: 1.00 1.00 1.00 3/90 8258
/proc/meminfo: memFree=1317688/2055920 swapFree=4192956/4192956
[pid=8240] ppid=8238 vsize=868392 CPUtime=2.91
/proc/8240/stat : 8240 (java) S 8238 8240 8183 0 -1 0 11223 0 138 0 269 22 0 0 20 0 9 0 4428770 889233408 10526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8240/statm: 217098 10526 2634 9 0 211604 0
[pid=8240/tid=8243] ppid=8238 vsize=868392 CPUtime=2.62
/proc/8240/task/8243/stat : 8243 (java) R 8238 8240 8183 0 -1 64 8253 0 136 0 242 20 0 0 25 0 9 0 4428772 889233408 10526 996147200 134512640 134550740 4294955952 18446744073709551615 4126946409 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8244] ppid=8238 vsize=868392 CPUtime=0.05
/proc/8240/task/8244/stat : 8244 (java) S 8238 8240 8183 0 -1 64 1625 0 1 0 5 0 0 0 16 0 9 0 4428776 889233408 10526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8246] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8246/stat : 8246 (java) S 8238 8240 8183 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 10526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8247] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8247/stat : 8247 (java) S 8238 8240 8183 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 10526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8250] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8250/stat : 8250 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4428781 889233408 10526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8251] ppid=8238 vsize=868392 CPUtime=0.21
/proc/8240/task/8251/stat : 8251 (java) S 8238 8240 8183 0 -1 64 648 0 1 0 21 0 0 0 15 0 9 0 4428781 889233408 10526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8252] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8252/stat : 8252 (java) S 8238 8240 8183 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4428781 889233408 10526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8253] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8253/stat : 8253 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4428781 889233408 10526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 868392
[startup+6.30179 s]
/proc/loadavg: 1.08 1.02 1.01 3/90 8258
/proc/meminfo: memFree=1317176/2055920 swapFree=4192956/4192956
[pid=8240] ppid=8238 vsize=868392 CPUtime=6.12
/proc/8240/stat : 8240 (java) S 8238 8240 8183 0 -1 0 11224 0 138 0 573 39 0 0 20 0 9 0 4428770 889233408 10526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8240/statm: 217098 10526 2634 9 0 211604 0
[pid=8240/tid=8243] ppid=8238 vsize=868392 CPUtime=5.82
/proc/8240/task/8243/stat : 8243 (java) R 8238 8240 8183 0 -1 64 8254 0 136 0 546 36 0 0 25 0 9 0 4428772 889233408 10526 996147200 134512640 134550740 4294955952 18446744073709551615 4126943484 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8244] ppid=8238 vsize=868392 CPUtime=0.05
/proc/8240/task/8244/stat : 8244 (java) S 8238 8240 8183 0 -1 64 1625 0 1 0 5 0 0 0 16 0 9 0 4428776 889233408 10526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8246] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8246/stat : 8246 (java) S 8238 8240 8183 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 10526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8247] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8247/stat : 8247 (java) S 8238 8240 8183 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 10526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8250] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8250/stat : 8250 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4428781 889233408 10526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8251] ppid=8238 vsize=868392 CPUtime=0.21
/proc/8240/task/8251/stat : 8251 (java) S 8238 8240 8183 0 -1 64 648 0 1 0 21 0 0 0 15 0 9 0 4428781 889233408 10526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8252] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8252/stat : 8252 (java) S 8238 8240 8183 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4428781 889233408 10526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8253] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8253/stat : 8253 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4428781 889233408 10526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 868392
[startup+12.7015 s]
/proc/loadavg: 1.15 1.03 1.01 3/90 8258
/proc/meminfo: memFree=1316800/2055920 swapFree=4192956/4192956
[pid=8240] ppid=8238 vsize=868392 CPUtime=12.51
/proc/8240/stat : 8240 (java) S 8238 8240 8183 0 -1 0 11230 0 138 0 1178 73 0 0 20 0 9 0 4428770 889233408 10532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8240/statm: 217098 10532 2635 9 0 211604 0
[pid=8240/tid=8243] ppid=8238 vsize=868392 CPUtime=12.21
/proc/8240/task/8243/stat : 8243 (java) R 8238 8240 8183 0 -1 64 8255 0 136 0 1150 71 0 0 25 0 9 0 4428772 889233408 10532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8244] ppid=8238 vsize=868392 CPUtime=0.05
/proc/8240/task/8244/stat : 8244 (java) S 8238 8240 8183 0 -1 64 1625 0 1 0 5 0 0 0 16 0 9 0 4428776 889233408 10532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8246] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8246/stat : 8246 (java) S 8238 8240 8183 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 10532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8247] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8247/stat : 8247 (java) S 8238 8240 8183 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 10532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8250] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8250/stat : 8250 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4428781 889233408 10532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8251] ppid=8238 vsize=868392 CPUtime=0.21
/proc/8240/task/8251/stat : 8251 (java) S 8238 8240 8183 0 -1 64 653 0 1 0 21 0 0 0 17 0 9 0 4428781 889233408 10532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8252] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8252/stat : 8252 (java) S 8238 8240 8183 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4428781 889233408 10532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8253] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8253/stat : 8253 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4428781 889233408 10532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 868392
[startup+25.5029 s]
/proc/loadavg: 1.34 1.08 1.02 3/90 8258
/proc/meminfo: memFree=1316992/2055920 swapFree=4192956/4192956
[pid=8240] ppid=8238 vsize=868392 CPUtime=25.3
/proc/8240/stat : 8240 (java) S 8238 8240 8183 0 -1 0 11230 0 138 0 2391 139 0 0 20 0 9 0 4428770 889233408 10532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8240/statm: 217098 10532 2635 9 0 211604 0
[pid=8240/tid=8243] ppid=8238 vsize=868392 CPUtime=25.01
/proc/8240/task/8243/stat : 8243 (java) R 8238 8240 8183 0 -1 64 8255 0 136 0 2364 137 0 0 25 0 9 0 4428772 889233408 10532 996147200 134512640 134550740 4294955952 18446744073709551615 9170882 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8244] ppid=8238 vsize=868392 CPUtime=0.05
/proc/8240/task/8244/stat : 8244 (java) S 8238 8240 8183 0 -1 64 1625 0 1 0 5 0 0 0 16 0 9 0 4428776 889233408 10532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8246] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8246/stat : 8246 (java) S 8238 8240 8183 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 10532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8247] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8247/stat : 8247 (java) S 8238 8240 8183 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 10532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8250] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8250/stat : 8250 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4428781 889233408 10532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8251] ppid=8238 vsize=868392 CPUtime=0.21
/proc/8240/task/8251/stat : 8251 (java) S 8238 8240 8183 0 -1 64 653 0 1 0 21 0 0 0 17 0 9 0 4428781 889233408 10532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8252] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8252/stat : 8252 (java) S 8238 8240 8183 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4428781 889233408 10532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8253] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8253/stat : 8253 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4428781 889233408 10532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 868392
[startup+51.1027 s]
/proc/loadavg: 1.56 1.15 1.05 3/90 8258
/proc/meminfo: memFree=1302016/2055920 swapFree=4192956/4192956
[pid=8240] ppid=8238 vsize=868392 CPUtime=50.89
/proc/8240/stat : 8240 (java) S 8238 8240 8183 0 -1 0 14997 0 138 0 4915 174 0 0 20 0 9 0 4428770 889233408 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8240/statm: 217098 14292 2636 9 0 211604 0
[pid=8240/tid=8243] ppid=8238 vsize=868392 CPUtime=50.5
/proc/8240/task/8243/stat : 8243 (java) R 8238 8240 8183 0 -1 64 11973 0 136 0 4878 172 0 0 25 0 9 0 4428772 889233408 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4126957883 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8244] ppid=8238 vsize=868392 CPUtime=0.05
/proc/8240/task/8244/stat : 8244 (java) S 8238 8240 8183 0 -1 64 1625 0 1 0 5 0 0 0 16 0 9 0 4428776 889233408 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8246] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8246/stat : 8246 (java) S 8238 8240 8183 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8247] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8247/stat : 8247 (java) S 8238 8240 8183 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8250] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8250/stat : 8250 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4428781 889233408 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8251] ppid=8238 vsize=868392 CPUtime=0.3
/proc/8240/task/8251/stat : 8251 (java) S 8238 8240 8183 0 -1 64 702 0 1 0 30 0 0 0 16 0 9 0 4428781 889233408 14292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8252] ppid=8238 vsize=868392 CPUtime=0
################
# More data... #
################
/proc/8240/task/8247/stat : 8247 (java) S 8238 8240 8183 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8250] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8250/stat : 8250 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8251] ppid=8238 vsize=868392 CPUtime=0.3
/proc/8240/task/8251/stat : 8251 (java) S 8238 8240 8183 0 -1 64 702 0 1 0 30 0 0 0 16 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8252] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8252/stat : 8252 (java) S 8238 8240 8183 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8253] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8253/stat : 8253 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3280.86
Current children cumulated vsize (KiB) 868392
[startup+3342.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/90 8266
/proc/meminfo: memFree=1299776/2055920 swapFree=4192956/4192956
[pid=8240] ppid=8238 vsize=868392 CPUtime=3340.83
/proc/8240/stat : 8240 (java) S 8238 8240 8183 0 -1 0 15001 0 138 0 333905 178 0 0 20 0 9 0 4428770 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8240/statm: 217098 14295 2636 9 0 211604 0
[pid=8240/tid=8243] ppid=8238 vsize=868392 CPUtime=3340.44
/proc/8240/task/8243/stat : 8243 (java) R 8238 8240 8183 0 -1 64 11977 0 136 0 333868 176 0 0 25 0 9 0 4428772 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4127072266 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8244] ppid=8238 vsize=868392 CPUtime=0.05
/proc/8240/task/8244/stat : 8244 (java) S 8238 8240 8183 0 -1 64 1625 0 1 0 5 0 0 0 16 0 9 0 4428776 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8246] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8246/stat : 8246 (java) S 8238 8240 8183 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8247] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8247/stat : 8247 (java) S 8238 8240 8183 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8250] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8250/stat : 8250 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8251] ppid=8238 vsize=868392 CPUtime=0.3
/proc/8240/task/8251/stat : 8251 (java) S 8238 8240 8183 0 -1 64 702 0 1 0 30 0 0 0 16 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8252] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8252/stat : 8252 (java) S 8238 8240 8183 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8253] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8253/stat : 8253 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3340.83
Current children cumulated vsize (KiB) 868392
[startup+3402.31 s]
/proc/loadavg: 2.11 2.12 2.09 3/90 8266
/proc/meminfo: memFree=1299776/2055920 swapFree=4192956/4192956
[pid=8240] ppid=8238 vsize=868392 CPUtime=3400.82
/proc/8240/stat : 8240 (java) S 8238 8240 8183 0 -1 0 15001 0 138 0 339903 179 0 0 20 0 9 0 4428770 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8240/statm: 217098 14295 2636 9 0 211604 0
[pid=8240/tid=8243] ppid=8238 vsize=868392 CPUtime=3400.42
/proc/8240/task/8243/stat : 8243 (java) R 8238 8240 8183 0 -1 64 11977 0 136 0 339866 176 0 0 25 0 9 0 4428772 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4127099499 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8244] ppid=8238 vsize=868392 CPUtime=0.05
/proc/8240/task/8244/stat : 8244 (java) S 8238 8240 8183 0 -1 64 1625 0 1 0 5 0 0 0 16 0 9 0 4428776 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8246] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8246/stat : 8246 (java) S 8238 8240 8183 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8247] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8247/stat : 8247 (java) S 8238 8240 8183 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8250] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8250/stat : 8250 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8251] ppid=8238 vsize=868392 CPUtime=0.3
/proc/8240/task/8251/stat : 8251 (java) S 8238 8240 8183 0 -1 64 702 0 1 0 30 0 0 0 16 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8252] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8252/stat : 8252 (java) S 8238 8240 8183 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8253] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8253/stat : 8253 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3400.82
Current children cumulated vsize (KiB) 868392
[startup+3462.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/90 8266
/proc/meminfo: memFree=1299520/2055920 swapFree=4192956/4192956
[pid=8240] ppid=8238 vsize=868392 CPUtime=3460.8
/proc/8240/stat : 8240 (java) S 8238 8240 8183 0 -1 0 15001 0 138 0 345901 179 0 0 20 0 9 0 4428770 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8240/statm: 217098 14295 2636 9 0 211604 0
[pid=8240/tid=8243] ppid=8238 vsize=868392 CPUtime=3460.39
/proc/8240/task/8243/stat : 8243 (java) R 8238 8240 8183 0 -1 64 11977 0 136 0 345863 176 0 0 25 0 9 0 4428772 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4127061948 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8244] ppid=8238 vsize=868392 CPUtime=0.05
/proc/8240/task/8244/stat : 8244 (java) S 8238 8240 8183 0 -1 64 1625 0 1 0 5 0 0 0 16 0 9 0 4428776 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8246] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8246/stat : 8246 (java) S 8238 8240 8183 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8247] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8247/stat : 8247 (java) S 8238 8240 8183 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8250] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8250/stat : 8250 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8251] ppid=8238 vsize=868392 CPUtime=0.3
/proc/8240/task/8251/stat : 8251 (java) S 8238 8240 8183 0 -1 64 702 0 1 0 30 0 0 0 16 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8252] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8252/stat : 8252 (java) S 8238 8240 8183 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8253] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8253/stat : 8253 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3460.8
Current children cumulated vsize (KiB) 868392
[startup+3522.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/90 8266
/proc/meminfo: memFree=1299520/2055920 swapFree=4192956/4192956
[pid=8240] ppid=8238 vsize=868392 CPUtime=3520.77
/proc/8240/stat : 8240 (java) S 8238 8240 8183 0 -1 0 15001 0 138 0 351898 179 0 0 20 0 9 0 4428770 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8240/statm: 217098 14295 2636 9 0 211604 0
[pid=8240/tid=8243] ppid=8238 vsize=868392 CPUtime=3520.37
/proc/8240/task/8243/stat : 8243 (java) R 8238 8240 8183 0 -1 64 11977 0 136 0 351861 176 0 0 25 0 9 0 4428772 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4126957883 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8244] ppid=8238 vsize=868392 CPUtime=0.05
/proc/8240/task/8244/stat : 8244 (java) S 8238 8240 8183 0 -1 64 1625 0 1 0 5 0 0 0 16 0 9 0 4428776 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8246] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8246/stat : 8246 (java) S 8238 8240 8183 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8247] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8247/stat : 8247 (java) S 8238 8240 8183 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8250] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8250/stat : 8250 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8251] ppid=8238 vsize=868392 CPUtime=0.3
/proc/8240/task/8251/stat : 8251 (java) S 8238 8240 8183 0 -1 64 702 0 1 0 30 0 0 0 16 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8252] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8252/stat : 8252 (java) S 8238 8240 8183 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8253] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8253/stat : 8253 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3520.77
Current children cumulated vsize (KiB) 868392
[startup+3582.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/90 8266
/proc/meminfo: memFree=1299456/2055920 swapFree=4192956/4192956
[pid=8240] ppid=8238 vsize=868392 CPUtime=3580.75
/proc/8240/stat : 8240 (java) S 8238 8240 8183 0 -1 0 15001 0 138 0 357896 179 0 0 20 0 9 0 4428770 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8240/statm: 217098 14295 2636 9 0 211604 0
[pid=8240/tid=8243] ppid=8238 vsize=868392 CPUtime=3580.35
/proc/8240/task/8243/stat : 8243 (java) R 8238 8240 8183 0 -1 64 11977 0 136 0 357859 176 0 0 25 0 9 0 4428772 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4127105191 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8244] ppid=8238 vsize=868392 CPUtime=0.05
/proc/8240/task/8244/stat : 8244 (java) S 8238 8240 8183 0 -1 64 1625 0 1 0 5 0 0 0 16 0 9 0 4428776 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8246] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8246/stat : 8246 (java) S 8238 8240 8183 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8247] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8247/stat : 8247 (java) S 8238 8240 8183 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8250] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8250/stat : 8250 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8251] ppid=8238 vsize=868392 CPUtime=0.3
/proc/8240/task/8251/stat : 8251 (java) S 8238 8240 8183 0 -1 64 702 0 1 0 30 0 0 0 16 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8252] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8252/stat : 8252 (java) S 8238 8240 8183 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8253] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8253/stat : 8253 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3580.75
Current children cumulated vsize (KiB) 868392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3601.6 s]
/proc/loadavg: 2.08 2.10 2.09 3/90 8266
/proc/meminfo: memFree=1299456/2055920 swapFree=4192956/4192956
[pid=8240] ppid=8238 vsize=868392 CPUtime=3600.04
/proc/8240/stat : 8240 (java) S 8238 8240 8183 0 -1 0 15001 0 138 0 359825 179 0 0 20 0 9 0 4428770 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8240/statm: 217098 14295 2636 9 0 211604 0
[pid=8240/tid=8243] ppid=8238 vsize=868392 CPUtime=3599.64
/proc/8240/task/8243/stat : 8243 (java) R 8238 8240 8183 0 -1 64 11977 0 136 0 359788 176 0 0 25 0 9 0 4428772 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4127091976 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8244] ppid=8238 vsize=868392 CPUtime=0.05
/proc/8240/task/8244/stat : 8244 (java) S 8238 8240 8183 0 -1 64 1625 0 1 0 5 0 0 0 16 0 9 0 4428776 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8246] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8246/stat : 8246 (java) S 8238 8240 8183 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8247] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8247/stat : 8247 (java) S 8238 8240 8183 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4428778 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8250] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8250/stat : 8250 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8251] ppid=8238 vsize=868392 CPUtime=0.3
/proc/8240/task/8251/stat : 8251 (java) S 8238 8240 8183 0 -1 64 702 0 1 0 30 0 0 0 16 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8240/tid=8252] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8252/stat : 8252 (java) S 8238 8240 8183 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8240/tid=8253] ppid=8238 vsize=868392 CPUtime=0
/proc/8240/task/8253/stat : 8253 (java) S 8238 8240 8183 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4428781 889233408 14295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.04
Current children cumulated vsize (KiB) 868392
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.67
CPU time (s): 3600.12
CPU user time (s): 3598.32
CPU system time (s): 1.80272
CPU usage (%): 99.9569
Max. virtual memory (cumulated for all children) (KiB): 868396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.32
system time used= 1.80272
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15024
page faults= 138
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74813
involuntary context switches= 15528
runsolver used 3.98239 second user time and 9.2116 second system time
The end
Begin job on node53 at 2008-07-23 02:36:38
IDJOB=1127633
IDBENCH=63724
IDSOLVER=359
FILE ID=node53/1127633-1216773398
PBS_JOBID= 7974174
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/maxcsp/cnf/3-40-2100-3000/normalized-cnf-3-40-2800-324527_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127633-1216773398/watcher-1127633-1216773398 -o /tmp/evaluation-result-1127633-1216773398/solver-1127633-1216773398 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1127633-1216773398.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 01a06c421928c4d211987f98a68ceec1
RANDOM SEED=840827736
node53.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.243
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.243
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: 1385448 kB
Buffers: 22200 kB
Cached: 583952 kB
SwapCached: 0 kB
Active: 302824 kB
Inactive: 318324 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1385448 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 3084 kB
Writeback: 0 kB
Mapped: 25360 kB
Slab: 34784 kB
Committed_AS: 80648 kB
PageTables: 1724 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= 66560 MiB
End job on node53 at 2008-07-23 03:36:42