120.38/120.56 c CPU-LOAD 67.23
120.38/120.56 c LOADED 30 V (26 E), 24 PredicateConstraint, 4 ExtensionConstraint2D, 12 ExtensionConstraintGeneral, arity 10, 67.23 cpu
120.98/121.16 v 0 0 17 14 13 0 0 1 0 2 18 0 3 0 0 8 3 0 12 8 0 3 0 12 13 18 4 15 19 18
120.98/121.17 s SATISFIABLE
120.98/121.17 d NODES 31
120.98/121.17 d CHECKS 5122462
120.98/121.17 c gac3-effective-revisions: 132
120.98/121.17 c gac3-useless-revisions: 2319
120.98/121.17 c heuristic-cpu: 0.0
120.98/121.17 c prepro-constraint-ccks: 2927472
120.98/121.17 c prepro-constraint-presenceccks: 8634
120.98/121.17 c prepro-cpu: 0.27
120.98/121.17 c prepro-matrix2d-ccks: 208
120.98/121.17 c prepro-matrix2d-presenceccks: 208
120.98/121.17 c prepro-removed: 27
120.98/121.17 c search-cpu: 0.24999997
120.98/121.17 c total-assgn: 31
120.98/121.17 c total-constraint-ccks: 5122225
120.98/121.17 c total-constraint-presence-ccks: 36311
120.98/121.17 c total-cpu: 0.52
120.98/121.17 c total-matrix2d-ccks: 237
120.98/121.17 c total-matrix2d-presence-ccks: 783
120.98/121.17 c tuples: 0
120.98/121.17 c tuples-collisions: 0
120.98/121.17 c TOTAL-NODES 31
120.98/121.17 c TOTAL-CPU 0.52
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1070955-1215167620/watcher-1070955-1215167620 -o /tmp/evaluation-result-1070955-1215167620/solver-1070955-1215167620 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1070955-1215167620.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.07 1.99 1.99 4/72 11352
/proc/meminfo: memFree=1728816/2055920 swapFree=4122708/4192956
[pid=11352] ppid=11350 vsize=5356 CPUtime=0
/proc/11352/stat : 11352 (concrete.sh) R 11350 11352 9622 0 -1 4194304 262 0 0 0 0 0 0 0 20 0 1 0 1546437022 5484544 230 996147200 4194304 4889804 548682068800 18446744073709551615 252429527711 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11352/statm: 1339 230 191 169 0 50 0
[pid=11353] ppid=11352 vsize=5356 CPUtime=0
/proc/11353/stat : 11353 (concrete.sh) R 11352 11352 9622 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 1546437022 5484544 230 996147200 4194304 4889804 548682068800 18446744073709551615 252429527711 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11353/statm: 1339 230 191 169 0 50 0
[startup+0.017439 s]
/proc/loadavg: 2.07 1.99 1.99 4/72 11352
/proc/meminfo: memFree=1728816/2055920 swapFree=4122708/4192956
[pid=11352] ppid=11350 vsize=5356 CPUtime=0
/proc/11352/stat : 11352 (concrete.sh) S 11350 11352 9622 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1546437022 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11352/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.103354 s]
/proc/loadavg: 2.07 1.99 1.99 4/72 11352
/proc/meminfo: memFree=1728816/2055920 swapFree=4122708/4192956
[pid=11352] ppid=11350 vsize=5356 CPUtime=0
/proc/11352/stat : 11352 (concrete.sh) S 11350 11352 9622 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1546437022 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11352/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301365 s]
/proc/loadavg: 2.07 1.99 1.99 4/72 11352
/proc/meminfo: memFree=1728816/2055920 swapFree=4122708/4192956
[pid=11352] ppid=11350 vsize=5356 CPUtime=0
/proc/11352/stat : 11352 (concrete.sh) S 11350 11352 9622 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1546437022 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11352/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701405 s]
/proc/loadavg: 2.07 1.99 1.99 4/72 11352
/proc/meminfo: memFree=1728816/2055920 swapFree=4122708/4192956
[pid=11352] ppid=11350 vsize=5356 CPUtime=0
/proc/11352/stat : 11352 (concrete.sh) S 11350 11352 9622 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1546437022 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11352/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50248 s]
/proc/loadavg: 2.07 1.99 1.99 4/83 11364
/proc/meminfo: memFree=1471064/2055920 swapFree=4122708/4192956
[pid=11352] ppid=11350 vsize=5356 CPUtime=0
/proc/11352/stat : 11352 (concrete.sh) S 11350 11352 9622 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1546437022 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11352/statm: 1339 242 201 169 0 50 0
[pid=11355] ppid=11352 vsize=847356 CPUtime=1.48
/proc/11355/stat : 11355 (java) S 11352 11352 9622 0 -1 0 80963 0 1 0 114 34 0 0 18 0 10 0 1546437023 867692544 80077 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11355/statm: 211839 80079 2579 9 0 206399 0
[pid=11355/tid=11356] ppid=11352 vsize=847356 CPUtime=0.83
/proc/11355/task/11356/stat : 11356 (java) R 11352 11352 9622 0 -1 64 70429 0 1 0 55 28 0 0 25 0 10 0 1546437024 867692544 80081 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11357] ppid=11352 vsize=847356 CPUtime=0.48
/proc/11355/task/11357/stat : 11357 (java) R 11352 11352 9622 0 -1 64 9126 0 0 0 44 4 0 0 16 0 10 0 1546437025 867692544 80084 996147200 134512640 134550740 4294956032 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11358] ppid=11352 vsize=847356 CPUtime=0
/proc/11355/task/11358/stat : 11358 (java) S 11352 11352 9622 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1546437025 867692544 80086 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11359] ppid=11352 vsize=847356 CPUtime=0
/proc/11355/task/11359/stat : 11359 (java) S 11352 11352 9622 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1546437025 867692544 80089 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11360] ppid=11352 vsize=847356 CPUtime=0
/proc/11355/task/11360/stat : 11360 (java) S 11352 11352 9622 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1546437027 867692544 80092 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11361] ppid=11352 vsize=847356 CPUtime=0.13
/proc/11355/task/11361/stat : 11361 (java) S 11352 11352 9622 0 -1 64 678 0 0 0 13 0 0 0 16 0 10 0 1546437027 867692544 80095 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11362] ppid=11352 vsize=847356 CPUtime=0
/proc/11355/task/11362/stat : 11362 (java) S 11352 11352 9622 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1546437028 867692544 80097 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11363] ppid=11352 vsize=847356 CPUtime=0
/proc/11355/task/11363/stat : 11363 (java) S 11352 11352 9622 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 1546437028 867692544 80100 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11364] ppid=11352 vsize=847356 CPUtime=0
/proc/11355/task/11364/stat : 11364 (java) S 11352 11352 9622 0 -1 64 4 0 0 0 0 0 0 0 21 0 10 0 1546437069 867692544 80102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 852712
[startup+3.10164 s]
/proc/loadavg: 2.07 1.99 1.99 3/83 11364
/proc/meminfo: memFree=1350104/2055920 swapFree=4122708/4192956
[pid=11352] ppid=11350 vsize=5356 CPUtime=0
/proc/11352/stat : 11352 (concrete.sh) S 11350 11352 9622 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1546437022 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11352/statm: 1339 242 201 169 0 50 0
[pid=11355] ppid=11352 vsize=863832 CPUtime=3.08
/proc/11355/stat : 11355 (java) S 11352 11352 9622 0 -1 0 128001 0 1 0 254 54 0 0 18 0 10 0 1546437023 884563968 127109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11355/statm: 215958 127109 2579 9 0 210518 0
[pid=11355/tid=11356] ppid=11352 vsize=863832 CPUtime=1.31
/proc/11355/task/11356/stat : 11356 (java) R 11352 11352 9622 0 -1 64 74549 0 1 0 101 30 0 0 25 0 10 0 1546437024 884563968 127109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11357] ppid=11352 vsize=863832 CPUtime=1.6
/proc/11355/task/11357/stat : 11357 (java) R 11352 11352 9622 0 -1 64 52037 0 0 0 138 22 0 0 18 0 10 0 1546437025 884563968 127109 996147200 134512640 134550740 4294956032 18446744073709551615 103828976 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11358] ppid=11352 vsize=863832 CPUtime=0
/proc/11355/task/11358/stat : 11358 (java) S 11352 11352 9622 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1546437025 884563968 127109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11359] ppid=11352 vsize=863832 CPUtime=0
/proc/11355/task/11359/stat : 11359 (java) S 11352 11352 9622 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1546437025 884563968 127109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11360] ppid=11352 vsize=863832 CPUtime=0
/proc/11355/task/11360/stat : 11360 (java) S 11352 11352 9622 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1546437027 884563968 127109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11361] ppid=11352 vsize=863832 CPUtime=0.13
/proc/11355/task/11361/stat : 11361 (java) S 11352 11352 9622 0 -1 64 678 0 0 0 13 0 0 0 16 0 10 0 1546437027 884563968 127109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11362] ppid=11352 vsize=863832 CPUtime=0
/proc/11355/task/11362/stat : 11362 (java) S 11352 11352 9622 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1546437028 884563968 127109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11363] ppid=11352 vsize=863832 CPUtime=0
/proc/11355/task/11363/stat : 11363 (java) S 11352 11352 9622 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 1546437028 884563968 127109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11364] ppid=11352 vsize=863832 CPUtime=0
/proc/11355/task/11364/stat : 11364 (java) S 11352 11352 9622 0 -1 64 4 0 0 0 0 0 0 0 21 0 10 0 1546437069 884563968 127109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 869188
[startup+6.30297 s]
/proc/loadavg: 2.15 2.00 1.99 4/83 11364
/proc/meminfo: memFree=1061720/2055920 swapFree=4122708/4192956
[pid=11352] ppid=11350 vsize=5356 CPUtime=0
/proc/11352/stat : 11352 (concrete.sh) S 11350 11352 9622 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1546437022 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11352/statm: 1339 242 201 169 0 50 0
[pid=11355] ppid=11352 vsize=888144 CPUtime=6.27
/proc/11355/stat : 11355 (java) S 11352 11352 9622 0 -1 0 194896 0 1 0 545 82 0 0 18 0 10 0 1546437023 909459456 193998 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11355/statm: 222036 193998 2579 9 0 216596 0
[pid=11355/tid=11356] ppid=11352 vsize=888144 CPUtime=2.03
/proc/11355/task/11356/stat : 11356 (java) R 11352 11352 9622 0 -1 64 83353 0 1 0 169 34 0 0 16 0 10 0 1546437024 909459456 193999 996147200 134512640 134550740 4294956032 18446744073709551615 10131067 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11357] ppid=11352 vsize=888144 CPUtime=4.07
/proc/11355/task/11357/stat : 11357 (java) R 11352 11352 9622 0 -1 64 110129 0 0 0 361 46 0 0 25 0 10 0 1546437025 909459456 194000 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11358] ppid=11352 vsize=888144 CPUtime=0
/proc/11355/task/11358/stat : 11358 (java) S 11352 11352 9622 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1546437025 909459456 194000 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11359] ppid=11352 vsize=888144 CPUtime=0
/proc/11355/task/11359/stat : 11359 (java) S 11352 11352 9622 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1546437025 909459456 194000 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11360] ppid=11352 vsize=888144 CPUtime=0
/proc/11355/task/11360/stat : 11360 (java) S 11352 11352 9622 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1546437027 909459456 194001 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11361] ppid=11352 vsize=888144 CPUtime=0.13
/proc/11355/task/11361/stat : 11361 (java) S 11352 11352 9622 0 -1 64 678 0 0 0 13 0 0 0 16 0 10 0 1546437027 909459456 194001 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11362] ppid=11352 vsize=888144 CPUtime=0
/proc/11355/task/11362/stat : 11362 (java) S 11352 11352 9622 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1546437028 909459456 194001 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11363] ppid=11352 vsize=888144 CPUtime=0
/proc/11355/task/11363/stat : 11363 (java) S 11352 11352 9622 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 1546437028 909459456 194002 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11364] ppid=11352 vsize=888144 CPUtime=0
/proc/11355/task/11364/stat : 11364 (java) S 11352 11352 9622 0 -1 64 4 0 0 0 0 0 0 0 21 0 10 0 1546437069 909459456 194002 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 893500
[startup+12.7016 s]
/proc/loadavg: 2.14 2.00 1.99 3/83 11364
/proc/meminfo: memFree=934552/2055920 swapFree=4122708/4192956
[pid=11352] ppid=11350 vsize=5356 CPUtime=0
/proc/11352/stat : 11352 (concrete.sh) S 11350 11352 9622 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1546437022 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11352/statm: 1339 242 201 169 0 50 0
[pid=11355] ppid=11352 vsize=892784 CPUtime=12.66
/proc/11355/stat : 11355 (java) S 11352 11352 9622 0 -1 0 201533 0 1 0 1182 84 0 0 18 0 10 0 1546437023 914210816 200632 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11355/statm: 223196 200632 2579 9 0 217756 0
[pid=11355/tid=11356] ppid=11352 vsize=892784 CPUtime=2.2
/proc/11355/task/11356/stat : 11356 (java) S 11352 11352 9622 0 -1 64 84433 0 1 0 186 34 0 0 17 0 10 0 1546437024 914210816 200632 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11357] ppid=11352 vsize=892784 CPUtime=10.29
/proc/11355/task/11357/stat : 11357 (java) R 11352 11352 9622 0 -1 64 115685 0 0 0 981 48 0 0 25 0 10 0 1546437025 914210816 200632 996147200 134512640 134550740 4294956032 18446744073709551615 104181529 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11358] ppid=11352 vsize=892784 CPUtime=0
/proc/11355/task/11358/stat : 11358 (java) S 11352 11352 9622 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1546437025 914210816 200632 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11359] ppid=11352 vsize=892784 CPUtime=0
/proc/11355/task/11359/stat : 11359 (java) S 11352 11352 9622 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1546437025 914210816 200632 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11360] ppid=11352 vsize=892784 CPUtime=0
/proc/11355/task/11360/stat : 11360 (java) S 11352 11352 9622 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1546437027 914210816 200632 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11361] ppid=11352 vsize=892784 CPUtime=0.13
/proc/11355/task/11361/stat : 11361 (java) S 11352 11352 9622 0 -1 64 678 0 0 0 13 0 0 0 16 0 10 0 1546437027 914210816 200632 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11362] ppid=11352 vsize=892784 CPUtime=0
/proc/11355/task/11362/stat : 11362 (java) S 11352 11352 9622 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1546437028 914210816 200632 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11363] ppid=11352 vsize=892784 CPUtime=0
/proc/11355/task/11363/stat : 11363 (java) S 11352 11352 9622 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 1546437028 914210816 200632 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11364] ppid=11352 vsize=892784 CPUtime=0
/proc/11355/task/11364/stat : 11364 (java) S 11352 11352 9622 0 -1 64 4 0 0 0 0 0 0 0 21 0 10 0 1546437069 914210816 200632 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 898140
[startup+25.5029 s]
/proc/loadavg: 2.10 2.00 1.99 3/83 11364
/proc/meminfo: memFree=934296/2055920 swapFree=4122708/4192956
[pid=11352] ppid=11350 vsize=5356 CPUtime=0
/proc/11352/stat : 11352 (concrete.sh) S 11350 11352 9622 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1546437022 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11352/statm: 1339 242 201 169 0 50 0
[pid=11355] ppid=11352 vsize=892944 CPUtime=25.46
/proc/11355/stat : 11355 (java) S 11352 11352 9622 0 -1 0 201625 0 1 0 2461 85 0 0 18 0 10 0 1546437023 914374656 200710 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11355/statm: 223236 200710 2580 9 0 217796 0
[pid=11355/tid=11356] ppid=11352 vsize=892944 CPUtime=3.89
/proc/11355/task/11356/stat : 11356 (java) S 11352 11352 9622 0 -1 64 84457 0 1 0 355 34 0 0 17 0 10 0 1546437024 914374656 200710 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11357] ppid=11352 vsize=892944 CPUtime=21.36
/proc/11355/task/11357/stat : 11357 (java) R 11352 11352 9622 0 -1 64 115690 0 0 0 2088 48 0 0 25 0 10 0 1546437025 914374656 200710 996147200 134512640 134550740 4294956032 18446744073709551615 103737215 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11358] ppid=11352 vsize=892944 CPUtime=0
/proc/11355/task/11358/stat : 11358 (java) S 11352 11352 9622 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1546437025 914374656 200710 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11359] ppid=11352 vsize=892944 CPUtime=0
/proc/11355/task/11359/stat : 11359 (java) S 11352 11352 9622 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1546437025 914374656 200710 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11360] ppid=11352 vsize=892944 CPUtime=0
/proc/11355/task/11360/stat : 11360 (java) S 11352 11352 9622 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1546437027 914374656 200710 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11361] ppid=11352 vsize=892944 CPUtime=0.17
/proc/11355/task/11361/stat : 11361 (java) S 11352 11352 9622 0 -1 64 741 0 0 0 17 0 0 0 16 0 10 0 1546437027 914374656 200710 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=11355/tid=11360] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11360/stat : 11360 (java) S 11352 11352 9622 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1546437027 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11361] ppid=11352 vsize=893972 CPUtime=0.2
/proc/11355/task/11361/stat : 11361 (java) S 11352 11352 9622 0 -1 64 763 0 0 0 19 1 0 0 16 0 10 0 1546437027 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11362] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11362/stat : 11362 (java) S 11352 11352 9622 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1546437028 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11363] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11363/stat : 11363 (java) S 11352 11352 9622 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 1546437028 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11365] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11365/stat : 11365 (java) S 11352 11352 9622 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 1546443035 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 108.59
Current children cumulated vsize (KiB) 899328
[startup+115.102 s]
/proc/loadavg: 2.09 2.04 2.00 3/83 11365
/proc/meminfo: memFree=933968/2055920 swapFree=4122708/4192956
[pid=11352] ppid=11350 vsize=5356 CPUtime=0
/proc/11352/stat : 11352 (concrete.sh) S 11350 11352 9622 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1546437022 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11352/statm: 1339 242 201 169 0 50 0
[pid=11355] ppid=11352 vsize=893972 CPUtime=114.99
/proc/11355/stat : 11355 (java) S 11352 11352 9622 0 -1 0 201779 0 1 0 11413 86 0 0 18 0 10 0 1546437023 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11355/statm: 223493 200750 2583 9 0 218053 0
[pid=11355/tid=11356] ppid=11352 vsize=893972 CPUtime=61.85
/proc/11355/task/11356/stat : 11356 (java) R 11352 11352 9622 0 -1 64 84584 0 1 0 6150 35 0 0 25 0 10 0 1546437024 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4126271063 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11357] ppid=11352 vsize=893972 CPUtime=52.91
/proc/11355/task/11357/stat : 11357 (java) S 11352 11352 9622 0 -1 64 115690 0 0 0 5242 49 0 0 16 0 10 0 1546437025 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11358] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11358/stat : 11358 (java) S 11352 11352 9622 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1546437025 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11359] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11359/stat : 11359 (java) S 11352 11352 9622 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1546437025 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11360] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11360/stat : 11360 (java) S 11352 11352 9622 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1546437027 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11361] ppid=11352 vsize=893972 CPUtime=0.2
/proc/11355/task/11361/stat : 11361 (java) S 11352 11352 9622 0 -1 64 763 0 0 0 19 1 0 0 16 0 10 0 1546437027 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11362] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11362/stat : 11362 (java) S 11352 11352 9622 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1546437028 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11363] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11363/stat : 11363 (java) S 11352 11352 9622 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 1546437028 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11365] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11365/stat : 11365 (java) S 11352 11352 9622 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 1546443035 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 114.99
Current children cumulated vsize (KiB) 899328
[startup+118.302 s]
/proc/loadavg: 2.09 2.04 2.00 3/83 11365
/proc/meminfo: memFree=933968/2055920 swapFree=4122708/4192956
[pid=11352] ppid=11350 vsize=5356 CPUtime=0
/proc/11352/stat : 11352 (concrete.sh) S 11350 11352 9622 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1546437022 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11352/statm: 1339 242 201 169 0 50 0
[pid=11355] ppid=11352 vsize=893972 CPUtime=118.19
/proc/11355/stat : 11355 (java) S 11352 11352 9622 0 -1 0 201784 0 1 0 11733 86 0 0 18 0 10 0 1546437023 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11355/statm: 223493 200750 2583 9 0 218053 0
[pid=11355/tid=11356] ppid=11352 vsize=893972 CPUtime=65.05
/proc/11355/task/11356/stat : 11356 (java) R 11352 11352 9622 0 -1 64 84589 0 1 0 6470 35 0 0 25 0 10 0 1546437024 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4126269528 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11357] ppid=11352 vsize=893972 CPUtime=52.91
/proc/11355/task/11357/stat : 11357 (java) S 11352 11352 9622 0 -1 64 115690 0 0 0 5242 49 0 0 16 0 10 0 1546437025 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11358] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11358/stat : 11358 (java) S 11352 11352 9622 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1546437025 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11359] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11359/stat : 11359 (java) S 11352 11352 9622 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1546437025 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11360] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11360/stat : 11360 (java) S 11352 11352 9622 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1546437027 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11361] ppid=11352 vsize=893972 CPUtime=0.2
/proc/11355/task/11361/stat : 11361 (java) S 11352 11352 9622 0 -1 64 763 0 0 0 19 1 0 0 16 0 10 0 1546437027 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11362] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11362/stat : 11362 (java) S 11352 11352 9622 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1546437028 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11363] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11363/stat : 11363 (java) S 11352 11352 9622 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 1546437028 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11365] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11365/stat : 11365 (java) S 11352 11352 9622 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 1546443035 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 118.19
Current children cumulated vsize (KiB) 899328
[startup+119.907 s]
/proc/loadavg: 2.08 2.04 2.00 3/83 11365
/proc/meminfo: memFree=933968/2055920 swapFree=4122708/4192956
[pid=11352] ppid=11350 vsize=5356 CPUtime=0
/proc/11352/stat : 11352 (concrete.sh) S 11350 11352 9622 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1546437022 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11352/statm: 1339 242 201 169 0 50 0
[pid=11355] ppid=11352 vsize=893972 CPUtime=119.79
/proc/11355/stat : 11355 (java) S 11352 11352 9622 0 -1 0 201786 0 1 0 11893 86 0 0 18 0 10 0 1546437023 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11355/statm: 223493 200750 2583 9 0 218053 0
[pid=11355/tid=11356] ppid=11352 vsize=893972 CPUtime=66.65
/proc/11355/task/11356/stat : 11356 (java) R 11352 11352 9622 0 -1 64 84591 0 1 0 6630 35 0 0 25 0 10 0 1546437024 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4126269531 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11357] ppid=11352 vsize=893972 CPUtime=52.91
/proc/11355/task/11357/stat : 11357 (java) S 11352 11352 9622 0 -1 64 115690 0 0 0 5242 49 0 0 16 0 10 0 1546437025 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11358] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11358/stat : 11358 (java) S 11352 11352 9622 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1546437025 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11359] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11359/stat : 11359 (java) S 11352 11352 9622 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1546437025 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11360] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11360/stat : 11360 (java) S 11352 11352 9622 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1546437027 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11361] ppid=11352 vsize=893972 CPUtime=0.2
/proc/11355/task/11361/stat : 11361 (java) S 11352 11352 9622 0 -1 64 763 0 0 0 19 1 0 0 16 0 10 0 1546437027 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11362] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11362/stat : 11362 (java) S 11352 11352 9622 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1546437028 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11363] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11363/stat : 11363 (java) S 11352 11352 9622 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 1546437028 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11365] ppid=11352 vsize=893972 CPUtime=0
/proc/11355/task/11365/stat : 11365 (java) S 11352 11352 9622 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 1546443035 915427328 200750 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 119.79
Current children cumulated vsize (KiB) 899328
[startup+120.702 s]
/proc/loadavg: 2.08 2.04 2.00 3/83 11365
/proc/meminfo: memFree=933968/2055920 swapFree=4122708/4192956
[pid=11352] ppid=11350 vsize=5356 CPUtime=0
/proc/11352/stat : 11352 (concrete.sh) S 11350 11352 9622 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1546437022 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11352/statm: 1339 242 201 169 0 50 0
[pid=11355] ppid=11352 vsize=893940 CPUtime=120.58
/proc/11355/stat : 11355 (java) S 11352 11352 9622 0 -1 0 201807 0 1 0 11971 87 0 0 18 0 9 0 1546437023 915394560 183610 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11355/statm: 223485 183610 2583 9 0 218045 0
[pid=11355/tid=11356] ppid=11352 vsize=893940 CPUtime=67.38
/proc/11355/task/11356/stat : 11356 (java) R 11352 11352 9622 0 -1 64 84609 0 1 0 6703 35 0 0 25 0 9 0 1546437024 915394560 183610 996147200 134512640 134550740 4294956032 18446744073709551615 4126295710 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11357] ppid=11352 vsize=893940 CPUtime=52.97
/proc/11355/task/11357/stat : 11357 (java) S 11352 11352 9622 0 -1 64 115690 0 0 0 5247 50 0 0 16 0 9 0 1546437025 915394560 183610 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11358] ppid=11352 vsize=893940 CPUtime=0
/proc/11355/task/11358/stat : 11358 (java) S 11352 11352 9622 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1546437025 915394560 183610 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11359] ppid=11352 vsize=893940 CPUtime=0
/proc/11355/task/11359/stat : 11359 (java) S 11352 11352 9622 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1546437025 915394560 183610 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11360] ppid=11352 vsize=893940 CPUtime=0
/proc/11355/task/11360/stat : 11360 (java) S 11352 11352 9622 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1546437027 915394560 183610 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11361] ppid=11352 vsize=893940 CPUtime=0.21
/proc/11355/task/11361/stat : 11361 (java) S 11352 11352 9622 0 -1 64 764 0 0 0 20 1 0 0 17 0 9 0 1546437027 915394560 183610 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11362] ppid=11352 vsize=893940 CPUtime=0
/proc/11355/task/11362/stat : 11362 (java) S 11352 11352 9622 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1546437028 915394560 183610 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11363] ppid=11352 vsize=893940 CPUtime=0
/proc/11355/task/11363/stat : 11363 (java) S 11352 11352 9622 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 1546437028 915394560 183610 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 120.58
Current children cumulated vsize (KiB) 899296
[startup+121.102 s]
/proc/loadavg: 2.08 2.04 2.00 3/82 11366
/proc/meminfo: memFree=1002384/2055920 swapFree=4122708/4192956
[pid=11352] ppid=11350 vsize=5356 CPUtime=0
/proc/11352/stat : 11352 (concrete.sh) S 11350 11352 9622 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1546437022 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11352/statm: 1339 242 201 169 0 50 0
[pid=11355] ppid=11352 vsize=893940 CPUtime=120.98
/proc/11355/stat : 11355 (java) S 11352 11352 9622 0 -1 0 201814 0 1 0 12011 87 0 0 18 0 9 0 1546437023 915394560 183617 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11355/statm: 223485 183617 2583 9 0 218045 0
[pid=11355/tid=11356] ppid=11352 vsize=893940 CPUtime=67.77
/proc/11355/task/11356/stat : 11356 (java) R 11352 11352 9622 0 -1 64 84609 0 1 0 6742 35 0 0 25 0 9 0 1546437024 915394560 183617 996147200 134512640 134550740 4294956032 18446744073709551615 4126295710 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11357] ppid=11352 vsize=893940 CPUtime=52.97
/proc/11355/task/11357/stat : 11357 (java) S 11352 11352 9622 0 -1 64 115690 0 0 0 5247 50 0 0 16 0 9 0 1546437025 915394560 183617 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11358] ppid=11352 vsize=893940 CPUtime=0
/proc/11355/task/11358/stat : 11358 (java) S 11352 11352 9622 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1546437025 915394560 183617 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11359] ppid=11352 vsize=893940 CPUtime=0
/proc/11355/task/11359/stat : 11359 (java) S 11352 11352 9622 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1546437025 915394560 183617 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11360] ppid=11352 vsize=893940 CPUtime=0
/proc/11355/task/11360/stat : 11360 (java) S 11352 11352 9622 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1546437027 915394560 183617 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11361] ppid=11352 vsize=893940 CPUtime=0.22
/proc/11355/task/11361/stat : 11361 (java) S 11352 11352 9622 0 -1 64 771 0 0 0 21 1 0 0 16 0 9 0 1546437027 915394560 183617 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11355/tid=11362] ppid=11352 vsize=893940 CPUtime=0
/proc/11355/task/11362/stat : 11362 (java) S 11352 11352 9622 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1546437028 915394560 183617 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11355/tid=11363] ppid=11352 vsize=893940 CPUtime=0
/proc/11355/task/11363/stat : 11363 (java) S 11352 11352 9622 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 1546437028 915394560 183617 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 120.98
Current children cumulated vsize (KiB) 899296
[startup+121.202 s]
/proc/loadavg: 2.08 2.04 2.00 3/82 11366
/proc/meminfo: memFree=1002384/2055920 swapFree=4122708/4192956
[pid=11352] ppid=11350 vsize=5356 CPUtime=0
/proc/11352/stat : 11352 (concrete.sh) S 11350 11352 9622 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1546437022 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11352/statm: 1339 242 201 169 0 50 0
[pid=11355] ppid=11352 vsize=0 CPUtime=121.07
/proc/11355/stat : 11355 (java) Z 11352 11352 9622 0 -1 12 201825 0 1 0 12018 89 0 0 16 0 2 0 1546437023 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11355/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 121.07
Current children cumulated vsize (KiB) 5356
Child status: 0
Real time (s): 121.297
CPU time (s): 121.185
CPU user time (s): 120.19
CPU system time (s): 0.994848
CPU usage (%): 99.9074
Max. virtual memory (cumulated for all children) (KiB): 899328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 120.19
system time used= 0.994848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202278
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= 4110
involuntary context switches= 4292
runsolver used 0.135979 second user time and 0.426935 second system time
The end
Begin job on node12 at 2008-07-04 12:33:40
IDJOB=1070955
IDBENCH=56007
IDSOLVER=305
FILE ID=node12/1070955-1215167620
PBS_JOBID= 7877447
Free space on /tmp= 66548 MiB
SOLVER NAME= Concrete + CPS4J 2008-05-30
BENCH NAME= CPAI08/csp/ukPuzzle/normalized-crossword-m1-uk-puzzle07.xml
COMMAND LINE= HOME/concrete.sh -c -ext 60 BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1070955-1215167620/watcher-1070955-1215167620 -o /tmp/evaluation-result-1070955-1215167620/solver-1070955-1215167620 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1070955-1215167620.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= f4671926ba901573d7aae36f4bd02cb5
RANDOM SEED=1227681486
node12.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.236
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.236
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: 1729232 kB
Buffers: 34176 kB
Cached: 135244 kB
SwapCached: 64296 kB
Active: 200220 kB
Inactive: 69232 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1729232 kB
SwapTotal: 4192956 kB
SwapFree: 4122708 kB
Dirty: 1392 kB
Writeback: 0 kB
Mapped: 107564 kB
Slab: 42344 kB
Committed_AS: 2871928 kB
PageTables: 1908 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= 66548 MiB
End job on node12 at 2008-07-04 12:35:41