199.73/201.63 c Sat Jul 05 07:11:18 CEST 2008 concrete.ResourceController isOutOfTime
199.73/201.63 c WARNING: Out of time
212.32/214.36 c Sat Jul 05 07:11:31 CEST 2008 concrete.relationconverter.RelationManager strongOptimizeMemory
212.32/214.36 c WARNING: Could not free more memory in relations
274.94/277.54 c CPU-LOAD 216.99
274.94/277.54 c LOADED 1750 V (802 E), 16924 PredicateConstraint, arity 2, 216.99 cpu
277.52/280.17 s UNSATISFIABLE
277.52/280.17 d NODES 0
277.52/280.17 d CHECKS 500339
277.52/280.17 c gac3-effective-revisions: 708
277.52/280.17 c gac3-useless-revisions: 1083
277.52/280.17 c prepro-constraint-ccks: 500339
277.52/280.17 c prepro-constraint-presenceccks: 2137
277.52/280.17 c prepro-cpu: 0.71
277.52/280.17 c prepro-matrix2d-ccks: 0
277.52/280.17 c prepro-matrix2d-presenceccks: 0
277.52/280.17 c prepro-removed: 138317
277.52/280.17 c total-assgn: 0
277.52/280.17 c total-constraint-ccks: 500339
277.52/280.17 c total-constraint-presence-ccks: 2137
277.52/280.17 c total-cpu: 0.72
277.52/280.17 c total-matrix2d-ccks: 0
277.52/280.17 c total-matrix2d-presence-ccks: 0
277.52/280.17 c tuples: 0
277.52/280.17 c tuples-collisions: 0
277.52/280.17 c TOTAL-NODES 0
277.52/280.17 c TOTAL-CPU 0.72
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085578-1215234476/watcher-1085578-1215234476 -o /tmp/evaluation-result-1085578-1215234476/solver-1085578-1215234476 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1085578-1215234476.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 28156
/proc/meminfo: memFree=1767696/2055920 swapFree=4179472/4192956
[pid=28156] ppid=28154 vsize=5260 CPUtime=0
/proc/28156/stat : 28156 (concrete.sh) R 28154 28156 24366 0 -1 4194304 66 0 0 0 0 0 0 0 20 0 1 0 2002423283 5386240 50 996147200 4194304 4889804 548682068800 18446744073709551615 259350602394 0 0 4096 0 0 0 0 17 1 0 0
/proc/28156/statm: 1315 50 37 169 0 14 0
[startup+0.0958131 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 28156
/proc/meminfo: memFree=1767696/2055920 swapFree=4179472/4192956
[pid=28156] ppid=28154 vsize=5356 CPUtime=0
/proc/28156/stat : 28156 (concrete.sh) S 28154 28156 24366 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 2002423283 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28156/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10181 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 28156
/proc/meminfo: memFree=1767696/2055920 swapFree=4179472/4192956
[pid=28156] ppid=28154 vsize=5356 CPUtime=0
/proc/28156/stat : 28156 (concrete.sh) S 28154 28156 24366 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 2002423283 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28156/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301852 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 28156
/proc/meminfo: memFree=1767696/2055920 swapFree=4179472/4192956
[pid=28156] ppid=28154 vsize=5356 CPUtime=0
/proc/28156/stat : 28156 (concrete.sh) S 28154 28156 24366 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 2002423283 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28156/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701932 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 28156
/proc/meminfo: memFree=1767696/2055920 swapFree=4179472/4192956
[pid=28156] ppid=28154 vsize=5356 CPUtime=0
/proc/28156/stat : 28156 (concrete.sh) S 28154 28156 24366 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 2002423283 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28156/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50109 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 28167
/proc/meminfo: memFree=1755072/2055920 swapFree=4179472/4192956
[pid=28156] ppid=28154 vsize=5356 CPUtime=0
/proc/28156/stat : 28156 (concrete.sh) S 28154 28156 24366 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 2002423283 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28156/statm: 1339 242 201 169 0 50 0
[pid=28159] ppid=28156 vsize=844276 CPUtime=1.46
/proc/28159/stat : 28159 (java) S 28156 28156 24366 0 -1 0 7017 0 1 0 141 5 0 0 18 0 9 0 2002423284 864538624 6117 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28159/statm: 211069 6117 2575 9 0 205630 0
[pid=28159/tid=28160] ppid=28156 vsize=844276 CPUtime=1.14
/proc/28159/task/28160/stat : 28160 (java) R 28156 28156 24366 0 -1 64 3437 0 1 0 111 3 0 0 25 0 9 0 2002423285 864538624 6117 996147200 134512640 134550740 4294956032 18446744073709551615 4125718374 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28161] ppid=28156 vsize=844276 CPUtime=0.15
/proc/28159/task/28161/stat : 28161 (java) S 28156 28156 24366 0 -1 64 2317 0 0 0 14 1 0 0 16 0 9 0 2002423286 864538624 6117 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28162] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28162/stat : 28162 (java) S 28156 28156 24366 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002423286 864538624 6117 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28163] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28163/stat : 28163 (java) S 28156 28156 24366 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2002423287 864538624 6117 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28164] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28164/stat : 28164 (java) S 28156 28156 24366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002423288 864538624 6117 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28165] ppid=28156 vsize=844276 CPUtime=0.15
/proc/28159/task/28165/stat : 28165 (java) S 28156 28156 24366 0 -1 64 531 0 0 0 15 0 0 0 16 0 9 0 2002423288 864538624 6117 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28166] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28166/stat : 28166 (java) S 28156 28156 24366 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002423289 864538624 6117 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28167] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28167/stat : 28167 (java) S 28156 28156 24366 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2002423289 864538624 6117 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 849632
[startup+3.10241 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 28167
/proc/meminfo: memFree=1751552/2055920 swapFree=4179472/4192956
[pid=28156] ppid=28154 vsize=5356 CPUtime=0
/proc/28156/stat : 28156 (concrete.sh) S 28154 28156 24366 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 2002423283 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28156/statm: 1339 242 201 169 0 50 0
[pid=28159] ppid=28156 vsize=844276 CPUtime=3.05
/proc/28159/stat : 28159 (java) S 28156 28156 24366 0 -1 0 7837 0 1 0 298 7 0 0 18 0 9 0 2002423284 864538624 6783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28159/statm: 211069 6783 2575 9 0 205630 0
[pid=28159/tid=28160] ppid=28156 vsize=844276 CPUtime=2.53
/proc/28159/task/28160/stat : 28160 (java) R 28156 28156 24366 0 -1 64 3591 0 1 0 250 3 0 0 25 0 9 0 2002423285 864538624 6783 996147200 134512640 134550740 4294956032 18446744073709551615 4125992759 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28161] ppid=28156 vsize=844276 CPUtime=0.34
/proc/28159/task/28161/stat : 28161 (java) S 28156 28156 24366 0 -1 64 2983 0 0 0 32 2 0 0 16 0 9 0 2002423286 864538624 6783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28162] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28162/stat : 28162 (java) S 28156 28156 24366 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002423286 864538624 6783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28163] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28163/stat : 28163 (java) S 28156 28156 24366 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2002423287 864538624 6783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28164] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28164/stat : 28164 (java) S 28156 28156 24366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002423288 864538624 6783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28165] ppid=28156 vsize=844276 CPUtime=0.15
/proc/28159/task/28165/stat : 28165 (java) S 28156 28156 24366 0 -1 64 531 0 0 0 15 0 0 0 16 0 9 0 2002423288 864538624 6783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28166] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28166/stat : 28166 (java) S 28156 28156 24366 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002423289 864538624 6783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28167] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28167/stat : 28167 (java) S 28156 28156 24366 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2002423289 864538624 6783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 849632
[startup+6.30104 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 28167
/proc/meminfo: memFree=1747648/2055920 swapFree=4179472/4192956
[pid=28156] ppid=28154 vsize=5356 CPUtime=0
/proc/28156/stat : 28156 (concrete.sh) S 28154 28156 24366 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 2002423283 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28156/statm: 1339 242 201 169 0 50 0
[pid=28159] ppid=28156 vsize=844276 CPUtime=6.22
/proc/28159/stat : 28159 (java) S 28156 28156 24366 0 -1 0 8826 0 1 0 612 10 0 0 18 0 9 0 2002423284 864538624 7527 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28159/statm: 211069 7527 2575 9 0 205630 0
[pid=28159/tid=28160] ppid=28156 vsize=844276 CPUtime=5.52
/proc/28159/task/28160/stat : 28160 (java) R 28156 28156 24366 0 -1 64 3836 0 1 0 548 4 0 0 25 0 9 0 2002423285 864538624 7527 996147200 134512640 134550740 4294956032 18446744073709551615 4125718374 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28161] ppid=28156 vsize=844276 CPUtime=0.52
/proc/28159/task/28161/stat : 28161 (java) S 28156 28156 24366 0 -1 64 3727 0 0 0 48 4 0 0 16 0 9 0 2002423286 864538624 7527 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28162] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28162/stat : 28162 (java) S 28156 28156 24366 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002423286 864538624 7527 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28163] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28163/stat : 28163 (java) S 28156 28156 24366 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2002423287 864538624 7527 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28164] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28164/stat : 28164 (java) S 28156 28156 24366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002423288 864538624 7527 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28165] ppid=28156 vsize=844276 CPUtime=0.15
/proc/28159/task/28165/stat : 28165 (java) S 28156 28156 24366 0 -1 64 531 0 0 0 15 0 0 0 16 0 9 0 2002423288 864538624 7527 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28166] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28166/stat : 28166 (java) S 28156 28156 24366 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002423289 864538624 7527 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28167] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28167/stat : 28167 (java) S 28156 28156 24366 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2002423289 864538624 7527 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 849632
[startup+12.7023 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 28167
/proc/meminfo: memFree=1743424/2055920 swapFree=4179472/4192956
[pid=28156] ppid=28154 vsize=5356 CPUtime=0
/proc/28156/stat : 28156 (concrete.sh) S 28154 28156 24366 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 2002423283 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28156/statm: 1339 242 201 169 0 50 0
[pid=28159] ppid=28156 vsize=844276 CPUtime=12.56
/proc/28159/stat : 28159 (java) S 28156 28156 24366 0 -1 0 11157 0 1 0 1242 14 0 0 18 0 9 0 2002423284 864538624 8449 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28159/statm: 211069 8449 2575 9 0 205630 0
[pid=28159/tid=28160] ppid=28156 vsize=844276 CPUtime=11.49
/proc/28159/task/28160/stat : 28160 (java) R 28156 28156 24366 0 -1 64 4215 0 1 0 1144 5 0 0 25 0 9 0 2002423285 864538624 8449 996147200 134512640 134550740 4294956032 18446744073709551615 4125718374 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28161] ppid=28156 vsize=844276 CPUtime=0.9
/proc/28159/task/28161/stat : 28161 (java) S 28156 28156 24366 0 -1 64 5679 0 0 0 82 8 0 0 16 0 9 0 2002423286 864538624 8449 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28162] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28162/stat : 28162 (java) S 28156 28156 24366 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002423286 864538624 8449 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28163] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28163/stat : 28163 (java) S 28156 28156 24366 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2002423287 864538624 8449 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28164] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28164/stat : 28164 (java) S 28156 28156 24366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002423288 864538624 8449 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28165] ppid=28156 vsize=844276 CPUtime=0.15
/proc/28159/task/28165/stat : 28165 (java) S 28156 28156 24366 0 -1 64 531 0 0 0 15 0 0 0 16 0 9 0 2002423288 864538624 8449 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28166] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28166/stat : 28166 (java) S 28156 28156 24366 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002423289 864538624 8449 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28167] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28167/stat : 28167 (java) S 28156 28156 24366 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2002423289 864538624 8449 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 849632
[startup+25.5018 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 28167
/proc/meminfo: memFree=1738752/2055920 swapFree=4179472/4192956
[pid=28156] ppid=28154 vsize=5356 CPUtime=0
/proc/28156/stat : 28156 (concrete.sh) S 28154 28156 24366 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 2002423283 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28156/statm: 1339 242 201 169 0 50 0
[pid=28159] ppid=28156 vsize=844276 CPUtime=25.24
/proc/28159/stat : 28159 (java) S 28156 28156 24366 0 -1 0 12729 0 1 0 2504 20 0 0 18 0 9 0 2002423284 864538624 9596 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28159/statm: 211069 9596 2575 9 0 205630 0
[pid=28159/tid=28160] ppid=28156 vsize=844276 CPUtime=23.78
/proc/28159/task/28160/stat : 28160 (java) R 28156 28156 24366 0 -1 64 4640 0 1 0 2371 7 0 0 25 0 9 0 2002423285 864538624 9596 996147200 134512640 134550740 4294956032 18446744073709551615 4125718374 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28161] ppid=28156 vsize=844276 CPUtime=1.27
/proc/28159/task/28161/stat : 28161 (java) S 28156 28156 24366 0 -1 64 6826 0 0 0 116 11 0 0 16 0 9 0 2002423286 864538624 9596 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28162] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28162/stat : 28162 (java) S 28156 28156 24366 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002423286 864538624 9596 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28163] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28163/stat : 28163 (java) S 28156 28156 24366 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2002423287 864538624 9596 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28164] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28164/stat : 28164 (java) S 28156 28156 24366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002423288 864538624 9596 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28165] ppid=28156 vsize=844276 CPUtime=0.15
/proc/28159/task/28165/stat : 28165 (java) S 28156 28156 24366 0 -1 64 531 0 0 0 15 0 0 0 16 0 9 0 2002423288 864538624 9596 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28166] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28166/stat : 28166 (java) S 28156 28156 24366 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002423289 864538624 9596 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28167] ppid=28156 vsize=844276 CPUtime=0
/proc/28159/task/28167/stat : 28167 (java) S 28156 28156 24366 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2002423289 864538624 9596 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 849632
[startup+51.1028 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 28167
/proc/meminfo: memFree=1732288/2055920 swapFree=4179472/4192956
[pid=28156] ppid=28154 vsize=5356 CPUtime=0
################
# More data... #
################
[pid=28159/tid=28163] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28163/stat : 28163 (java) S 28156 28156 24366 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2002423287 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28164] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28164/stat : 28164 (java) S 28156 28156 24366 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002423288 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28165] ppid=28156 vsize=850792 CPUtime=1.56
/proc/28159/task/28165/stat : 28165 (java) S 28156 28156 24366 0 -1 64 2751 0 0 0 152 4 0 0 15 0 10 0 2002423288 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28166] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28166/stat : 28166 (java) S 28156 28156 24366 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002423289 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28167] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28167/stat : 28167 (java) S 28156 28156 24366 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 2002423289 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28169] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28169/stat : 28169 (java) S 28156 28156 24366 0 -1 64 2 0 0 0 0 0 0 0 22 0 10 0 2002445016 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 253.54
Current children cumulated vsize (KiB) 856148
[startup+268.703 s]
/proc/loadavg: 2.45 2.14 2.04 4/83 28169
/proc/meminfo: memFree=1041392/2055920 swapFree=4179472/4192956
[pid=28156] ppid=28154 vsize=5356 CPUtime=0
/proc/28156/stat : 28156 (concrete.sh) S 28154 28156 24366 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 2002423283 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28156/statm: 1339 242 201 169 0 50 0
[pid=28159] ppid=28156 vsize=850792 CPUtime=266.23
/proc/28159/stat : 28159 (java) S 28156 28156 24366 0 -1 0 192492 0 1 0 26484 139 0 0 18 0 10 0 2002423284 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28159/statm: 212698 183499 2599 9 0 207258 0
[pid=28159/tid=28160] ppid=28156 vsize=850792 CPUtime=213.48
/proc/28159/task/28160/stat : 28160 (java) R 28156 28156 24366 0 -1 64 14810 0 1 0 21310 38 0 0 25 0 10 0 2002423285 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28161] ppid=28156 vsize=850792 CPUtime=51.1
/proc/28159/task/28161/stat : 28161 (java) R 28156 28156 24366 0 -1 64 174187 0 0 0 5017 93 0 0 17 0 10 0 2002423286 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 103735747 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28162] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28162/stat : 28162 (java) S 28156 28156 24366 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 2002423286 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28163] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28163/stat : 28163 (java) S 28156 28156 24366 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2002423287 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28164] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28164/stat : 28164 (java) S 28156 28156 24366 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002423288 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28165] ppid=28156 vsize=850792 CPUtime=1.59
/proc/28159/task/28165/stat : 28165 (java) S 28156 28156 24366 0 -1 64 2751 0 0 0 155 4 0 0 15 0 10 0 2002423288 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28166] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28166/stat : 28166 (java) S 28156 28156 24366 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002423289 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28167] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28167/stat : 28167 (java) S 28156 28156 24366 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 2002423289 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28169] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28169/stat : 28169 (java) S 28156 28156 24366 0 -1 64 2 0 0 0 0 0 0 0 22 0 10 0 2002445016 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 266.23
Current children cumulated vsize (KiB) 856148
[startup+275.102 s]
/proc/loadavg: 2.42 2.14 2.04 4/83 28169
/proc/meminfo: memFree=1041392/2055920 swapFree=4179472/4192956
[pid=28156] ppid=28154 vsize=5356 CPUtime=0
/proc/28156/stat : 28156 (concrete.sh) S 28154 28156 24366 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 2002423283 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28156/statm: 1339 242 201 169 0 50 0
[pid=28159] ppid=28156 vsize=850792 CPUtime=272.56
/proc/28159/stat : 28159 (java) S 28156 28156 24366 0 -1 0 192494 0 1 0 27117 139 0 0 18 0 10 0 2002423284 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28159/statm: 212698 183499 2599 9 0 207258 0
[pid=28159/tid=28160] ppid=28156 vsize=850792 CPUtime=215.22
/proc/28159/task/28160/stat : 28160 (java) R 28156 28156 24366 0 -1 64 14812 0 1 0 21484 38 0 0 25 0 10 0 2002423285 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28161] ppid=28156 vsize=850792 CPUtime=55.68
/proc/28159/task/28161/stat : 28161 (java) R 28156 28156 24366 0 -1 64 174187 0 0 0 5475 93 0 0 18 0 10 0 2002423286 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 104457031 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28162] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28162/stat : 28162 (java) S 28156 28156 24366 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 2002423286 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28163] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28163/stat : 28163 (java) S 28156 28156 24366 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2002423287 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28164] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28164/stat : 28164 (java) S 28156 28156 24366 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002423288 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28165] ppid=28156 vsize=850792 CPUtime=1.62
/proc/28159/task/28165/stat : 28165 (java) S 28156 28156 24366 0 -1 64 2751 0 0 0 157 5 0 0 15 0 10 0 2002423288 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28166] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28166/stat : 28166 (java) S 28156 28156 24366 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002423289 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28167] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28167/stat : 28167 (java) S 28156 28156 24366 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 2002423289 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28169] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28169/stat : 28169 (java) S 28156 28156 24366 0 -1 64 2 0 0 0 0 0 0 0 22 0 10 0 2002445016 871211008 183499 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 272.56
Current children cumulated vsize (KiB) 856148
[startup+278.308 s]
/proc/loadavg: 2.46 2.15 2.05 4/82 28169
/proc/meminfo: memFree=1041392/2055920 swapFree=4179472/4192956
[pid=28156] ppid=28154 vsize=5356 CPUtime=0
/proc/28156/stat : 28156 (concrete.sh) S 28154 28156 24366 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 2002423283 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28156/statm: 1339 242 201 169 0 50 0
[pid=28159] ppid=28156 vsize=850792 CPUtime=275.73
/proc/28159/stat : 28159 (java) S 28156 28156 24366 0 -1 0 192501 0 1 0 27434 139 0 0 18 0 9 0 2002423284 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28159/statm: 212698 183501 2599 9 0 207258 0
[pid=28159/tid=28160] ppid=28156 vsize=850792 CPUtime=217.08
/proc/28159/task/28160/stat : 28160 (java) R 28156 28156 24366 0 -1 64 14819 0 1 0 21670 38 0 0 25 0 9 0 2002423285 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28161] ppid=28156 vsize=850792 CPUtime=56.95
/proc/28159/task/28161/stat : 28161 (java) R 28156 28156 24366 0 -1 64 174187 0 0 0 5602 93 0 0 16 0 9 0 2002423286 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 104180286 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28162] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28162/stat : 28162 (java) S 28156 28156 24366 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002423286 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28163] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28163/stat : 28163 (java) S 28156 28156 24366 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002423287 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28164] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28164/stat : 28164 (java) S 28156 28156 24366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002423288 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28165] ppid=28156 vsize=850792 CPUtime=1.66
/proc/28159/task/28165/stat : 28165 (java) S 28156 28156 24366 0 -1 64 2751 0 0 0 161 5 0 0 15 0 9 0 2002423288 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28166] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28166/stat : 28166 (java) S 28156 28156 24366 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002423289 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28167] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28167/stat : 28167 (java) S 28156 28156 24366 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2002423289 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 275.73
Current children cumulated vsize (KiB) 856148
[startup+279.103 s]
/proc/loadavg: 2.46 2.15 2.05 4/82 28169
/proc/meminfo: memFree=1041392/2055920 swapFree=4179472/4192956
[pid=28156] ppid=28154 vsize=5356 CPUtime=0
/proc/28156/stat : 28156 (concrete.sh) S 28154 28156 24366 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 2002423283 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28156/statm: 1339 242 201 169 0 50 0
[pid=28159] ppid=28156 vsize=850792 CPUtime=276.53
/proc/28159/stat : 28159 (java) S 28156 28156 24366 0 -1 0 192501 0 1 0 27514 139 0 0 18 0 9 0 2002423284 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28159/statm: 212698 183501 2599 9 0 207258 0
[pid=28159/tid=28160] ppid=28156 vsize=850792 CPUtime=217.08
/proc/28159/task/28160/stat : 28160 (java) R 28156 28156 24366 0 -1 64 14819 0 1 0 21670 38 0 0 25 0 9 0 2002423285 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28161] ppid=28156 vsize=850792 CPUtime=57.74
/proc/28159/task/28161/stat : 28161 (java) R 28156 28156 24366 0 -1 64 174187 0 0 0 5681 93 0 0 17 0 9 0 2002423286 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 104457031 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28162] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28162/stat : 28162 (java) S 28156 28156 24366 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002423286 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28163] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28163/stat : 28163 (java) S 28156 28156 24366 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002423287 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28164] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28164/stat : 28164 (java) S 28156 28156 24366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002423288 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28165] ppid=28156 vsize=850792 CPUtime=1.66
/proc/28159/task/28165/stat : 28165 (java) S 28156 28156 24366 0 -1 64 2751 0 0 0 161 5 0 0 15 0 9 0 2002423288 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28166] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28166/stat : 28166 (java) S 28156 28156 24366 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002423289 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28167] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28167/stat : 28167 (java) S 28156 28156 24366 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2002423289 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 276.53
Current children cumulated vsize (KiB) 856148
[startup+279.902 s]
/proc/loadavg: 2.46 2.15 2.05 4/82 28169
/proc/meminfo: memFree=1041392/2055920 swapFree=4179472/4192956
[pid=28156] ppid=28154 vsize=5356 CPUtime=0
/proc/28156/stat : 28156 (concrete.sh) S 28154 28156 24366 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 2002423283 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28156/statm: 1339 242 201 169 0 50 0
[pid=28159] ppid=28156 vsize=850792 CPUtime=277.32
/proc/28159/stat : 28159 (java) S 28156 28156 24366 0 -1 0 192502 0 1 0 27593 139 0 0 18 0 9 0 2002423284 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28159/statm: 212698 183501 2599 9 0 207258 0
[pid=28159/tid=28160] ppid=28156 vsize=850792 CPUtime=217.54
/proc/28159/task/28160/stat : 28160 (java) R 28156 28156 24366 0 -1 64 14819 0 1 0 21716 38 0 0 25 0 9 0 2002423285 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4125975872 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28161] ppid=28156 vsize=850792 CPUtime=58.03
/proc/28159/task/28161/stat : 28161 (java) S 28156 28156 24366 0 -1 64 174187 0 0 0 5710 93 0 0 16 0 9 0 2002423286 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28162] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28162/stat : 28162 (java) S 28156 28156 24366 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002423286 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28163] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28163/stat : 28163 (java) S 28156 28156 24366 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002423287 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28164] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28164/stat : 28164 (java) S 28156 28156 24366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002423288 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28165] ppid=28156 vsize=850792 CPUtime=1.7
/proc/28159/task/28165/stat : 28165 (java) S 28156 28156 24366 0 -1 64 2751 0 0 0 165 5 0 0 15 0 9 0 2002423288 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28166] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28166/stat : 28166 (java) S 28156 28156 24366 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002423289 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28159/tid=28167] ppid=28156 vsize=850792 CPUtime=0
/proc/28159/task/28167/stat : 28167 (java) S 28156 28156 24366 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2002423289 871211008 183501 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 277.32
Current children cumulated vsize (KiB) 856148
[startup+280.301 s]
/proc/loadavg: 2.46 2.15 2.05 4/82 28169
/proc/meminfo: memFree=1041392/2055920 swapFree=4179472/4192956
[pid=28156] ppid=28154 vsize=5356 CPUtime=0
/proc/28156/stat : 28156 (concrete.sh) S 28154 28156 24366 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 2002423283 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28156/statm: 1339 242 201 169 0 50 0
[pid=28159] ppid=28156 vsize=0 CPUtime=277.71
/proc/28159/stat : 28159 (java) Z 28156 28156 24366 0 -1 12 192511 0 1 0 27620 151 0 0 16 0 2 0 2002423284 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28159/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 277.71
Current children cumulated vsize (KiB) 5356
Child status: 0
Real time (s): 280.303
CPU time (s): 277.725
CPU user time (s): 276.202
CPU system time (s): 1.52277
CPU usage (%): 99.0804
Max. virtual memory (cumulated for all children) (KiB): 856148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 276.202
system time used= 1.52277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192964
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= 36720
involuntary context switches= 42454
runsolver used 0.411937 second user time and 0.910861 second system time
The end
Begin job on node1 at 2008-07-05 07:07:57
IDJOB=1085578
IDBENCH=57661
IDSOLVER=305
FILE ID=node1/1085578-1215234476
PBS_JOBID= 7881814
Free space on /tmp= 66512 MiB
SOLVER NAME= Concrete + CPS4J 2008-05-30
BENCH NAME= CPAI08/csp/fapp/fapp22/normalized-fapp22-1750-6.xml
COMMAND LINE= HOME/concrete.sh -c -ext 60 BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085578-1215234476/watcher-1085578-1215234476 -o /tmp/evaluation-result-1085578-1215234476/solver-1085578-1215234476 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1085578-1215234476.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 3874290cda754699d3686661cf7c347b
RANDOM SEED=648863588
node1.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.265
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.265
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: 1768176 kB
Buffers: 39308 kB
Cached: 179160 kB
SwapCached: 7496 kB
Active: 152692 kB
Inactive: 79260 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1768176 kB
SwapTotal: 4192956 kB
SwapFree: 4179472 kB
Dirty: 5304 kB
Writeback: 0 kB
Mapped: 21472 kB
Slab: 41088 kB
Committed_AS: 3293184 kB
PageTables: 1796 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= 66512 MiB
End job on node1 at 2008-07-05 07:12:37