runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086775-1215241134/watcher-1086775-1215241134 -o /tmp/evaluation-result-1086775-1215241134/solver-1086775-1215241134 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1086775-1215241134.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.05 2.05 2.00 4/72 1963
/proc/meminfo: memFree=1421896/2055920 swapFree=4180972/4192956
[pid=1963] ppid=1961 vsize=5356 CPUtime=0
/proc/1963/stat : 1963 (concrete.sh) S 1961 1963 31713 0 -1 4194304 270 0 0 0 0 0 0 0 22 0 1 0 2003088080 5484544 230 996147200 4194304 4889804 548682068800 18446744073709551615 240472784978 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/1963/statm: 1339 230 191 169 0 50 0
[pid=1965] ppid=1963 vsize=124 CPUtime=0
/proc/1965/stat : 1965 (dirname) R 1963 1963 31713 0 -1 4194304 47 0 0 0 0 0 0 0 24 0 1 0 2003088080 126976 22 996147200 4194304 4208292 548682069008 18446744073709551615 240469996937 0 0 4096 0 0 0 0 17 1 0 0
/proc/1965/statm: 31 22 16 3 0 3 0

[startup+0.0243279 s]
/proc/loadavg: 2.05 2.05 2.00 4/72 1963
/proc/meminfo: memFree=1421896/2055920 swapFree=4180972/4192956
[pid=1963] ppid=1961 vsize=5356 CPUtime=0
/proc/1963/stat : 1963 (concrete.sh) S 1961 1963 31713 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003088080 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1963/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101169 s]
/proc/loadavg: 2.05 2.05 2.00 4/72 1963
/proc/meminfo: memFree=1421896/2055920 swapFree=4180972/4192956
[pid=1963] ppid=1961 vsize=5356 CPUtime=0
/proc/1963/stat : 1963 (concrete.sh) S 1961 1963 31713 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003088080 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1963/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301187 s]
/proc/loadavg: 2.05 2.05 2.00 4/72 1963
/proc/meminfo: memFree=1421896/2055920 swapFree=4180972/4192956
[pid=1963] ppid=1961 vsize=5356 CPUtime=0
/proc/1963/stat : 1963 (concrete.sh) S 1961 1963 31713 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003088080 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1963/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701224 s]
/proc/loadavg: 2.05 2.05 2.00 4/72 1963
/proc/meminfo: memFree=1421896/2055920 swapFree=4180972/4192956
[pid=1963] ppid=1961 vsize=5356 CPUtime=0
/proc/1963/stat : 1963 (concrete.sh) S 1961 1963 31713 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003088080 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1963/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.5013 s]
/proc/loadavg: 2.05 2.05 2.00 3/82 1976
/proc/meminfo: memFree=1409848/2055920 swapFree=4180972/4192956
[pid=1963] ppid=1961 vsize=5356 CPUtime=0
/proc/1963/stat : 1963 (concrete.sh) S 1961 1963 31713 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003088080 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1963/statm: 1339 242 201 169 0 50 0
[pid=1967] ppid=1963 vsize=844280 CPUtime=1.46
/proc/1967/stat : 1967 (java) S 1963 1963 31713 0 -1 0 6856 0 1 0 141 5 0 0 18 0 9 0 2003088081 864542720 5979 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1967/statm: 211070 5979 2574 9 0 205631 0
[pid=1967/tid=1968] ppid=1963 vsize=844280 CPUtime=1.14
/proc/1967/task/1968/stat : 1968 (java) R 1963 1963 31713 0 -1 64 3415 0 1 0 111 3 0 0 25 0 9 0 2003088082 864542720 5979 996147200 134512640 134550740 4294956032 18446744073709551615 4125231227 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1969] ppid=1963 vsize=844280 CPUtime=0.14
/proc/1967/task/1969/stat : 1969 (java) S 1963 1963 31713 0 -1 64 2182 0 0 0 13 1 0 0 16 0 9 0 2003088083 864542720 5979 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1970] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1970/stat : 1970 (java) S 1963 1963 31713 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003088084 864542720 5979 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1971] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1963 1963 31713 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003088084 864542720 5979 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1973] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1963 1963 31713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003088086 864542720 5979 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1974] ppid=1963 vsize=844280 CPUtime=0.16
/proc/1967/task/1974/stat : 1974 (java) S 1963 1963 31713 0 -1 64 527 0 0 0 16 0 0 0 16 0 9 0 2003088086 864542720 5979 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1975] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1963 1963 31713 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003088086 864542720 5979 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1976] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1963 1963 31713 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003088086 864542720 5979 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) 849636

[startup+3.10244 s]
/proc/loadavg: 2.05 2.05 2.00 3/82 1976
/proc/meminfo: memFree=1406200/2055920 swapFree=4180972/4192956
[pid=1963] ppid=1961 vsize=5356 CPUtime=0
/proc/1963/stat : 1963 (concrete.sh) S 1961 1963 31713 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003088080 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1963/statm: 1339 242 201 169 0 50 0
[pid=1967] ppid=1963 vsize=844280 CPUtime=3.05
/proc/1967/stat : 1967 (java) S 1963 1963 31713 0 -1 0 7690 0 1 0 298 7 0 0 18 0 9 0 2003088081 864542720 6671 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1967/statm: 211070 6671 2575 9 0 205631 0
[pid=1967/tid=1968] ppid=1963 vsize=844280 CPUtime=2.53
/proc/1967/task/1968/stat : 1968 (java) R 1963 1963 31713 0 -1 64 3557 0 1 0 250 3 0 0 25 0 9 0 2003088082 864542720 6671 996147200 134512640 134550740 4294956032 18446744073709551615 4125979946 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1969] ppid=1963 vsize=844280 CPUtime=0.32
/proc/1967/task/1969/stat : 1969 (java) S 1963 1963 31713 0 -1 64 2872 0 0 0 30 2 0 0 16 0 9 0 2003088083 864542720 6671 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1970] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1970/stat : 1970 (java) S 1963 1963 31713 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003088084 864542720 6671 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1971] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1963 1963 31713 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003088084 864542720 6671 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1973] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1963 1963 31713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003088086 864542720 6671 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1974] ppid=1963 vsize=844280 CPUtime=0.16
/proc/1967/task/1974/stat : 1974 (java) S 1963 1963 31713 0 -1 64 529 0 0 0 16 0 0 0 16 0 9 0 2003088086 864542720 6671 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1975] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1963 1963 31713 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003088086 864542720 6671 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1976] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1963 1963 31713 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003088086 864542720 6671 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) 849636

[startup+6.30272 s]
/proc/loadavg: 2.05 2.05 2.00 3/82 1976
/proc/meminfo: memFree=1402232/2055920 swapFree=4180972/4192956
[pid=1963] ppid=1961 vsize=5356 CPUtime=0
/proc/1963/stat : 1963 (concrete.sh) S 1961 1963 31713 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003088080 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1963/statm: 1339 242 201 169 0 50 0
[pid=1967] ppid=1963 vsize=844280 CPUtime=6.21
/proc/1967/stat : 1967 (java) S 1963 1963 31713 0 -1 0 8643 0 1 0 610 11 0 0 18 0 9 0 2003088081 864542720 7395 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1967/statm: 211070 7395 2575 9 0 205631 0
[pid=1967/tid=1968] ppid=1963 vsize=844280 CPUtime=5.52
/proc/1967/task/1968/stat : 1968 (java) R 1963 1963 31713 0 -1 64 3786 0 1 0 547 5 0 0 25 0 9 0 2003088082 864542720 7395 996147200 134512640 134550740 4294956032 18446744073709551615 4125977384 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1969] ppid=1963 vsize=844280 CPUtime=0.51
/proc/1967/task/1969/stat : 1969 (java) S 1963 1963 31713 0 -1 64 3596 0 0 0 46 5 0 0 16 0 9 0 2003088083 864542720 7395 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1970] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1970/stat : 1970 (java) S 1963 1963 31713 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003088084 864542720 7395 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1971] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1963 1963 31713 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003088084 864542720 7395 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1973] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1963 1963 31713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003088086 864542720 7395 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1974] ppid=1963 vsize=844280 CPUtime=0.16
/proc/1967/task/1974/stat : 1974 (java) S 1963 1963 31713 0 -1 64 529 0 0 0 16 0 0 0 16 0 9 0 2003088086 864542720 7395 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1975] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1963 1963 31713 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003088086 864542720 7395 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1976] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1963 1963 31713 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003088086 864542720 7395 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 849636

[startup+12.7023 s]
/proc/loadavg: 2.04 2.04 2.00 3/82 1976
/proc/meminfo: memFree=1398264/2055920 swapFree=4180972/4192956
[pid=1963] ppid=1961 vsize=5356 CPUtime=0
/proc/1963/stat : 1963 (concrete.sh) S 1961 1963 31713 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003088080 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1963/statm: 1339 242 201 169 0 50 0
[pid=1967] ppid=1963 vsize=844280 CPUtime=12.55
/proc/1967/stat : 1967 (java) S 1963 1963 31713 0 -1 0 10944 0 1 0 1240 15 0 0 18 0 9 0 2003088081 864542720 8290 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1967/statm: 211070 8290 2575 9 0 205631 0
[pid=1967/tid=1968] ppid=1963 vsize=844280 CPUtime=11.46
/proc/1967/task/1968/stat : 1968 (java) R 1963 1963 31713 0 -1 64 4162 0 1 0 1140 6 0 0 25 0 9 0 2003088082 864542720 8290 996147200 134512640 134550740 4294956032 18446744073709551615 4125982360 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1969] ppid=1963 vsize=844280 CPUtime=0.9
/proc/1967/task/1969/stat : 1969 (java) S 1963 1963 31713 0 -1 64 5521 0 0 0 82 8 0 0 16 0 9 0 2003088083 864542720 8290 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1970] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1970/stat : 1970 (java) S 1963 1963 31713 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003088084 864542720 8290 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1971] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1963 1963 31713 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003088084 864542720 8290 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1973] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1963 1963 31713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003088086 864542720 8290 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1974] ppid=1963 vsize=844280 CPUtime=0.16
/proc/1967/task/1974/stat : 1974 (java) S 1963 1963 31713 0 -1 64 529 0 0 0 16 0 0 0 16 0 9 0 2003088086 864542720 8290 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1975] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1963 1963 31713 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003088086 864542720 8290 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1976] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1963 1963 31713 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003088086 864542720 8290 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 849636

[startup+25.5024 s]
/proc/loadavg: 2.03 2.04 2.00 3/82 1976
/proc/meminfo: memFree=1393656/2055920 swapFree=4180972/4192956
[pid=1963] ppid=1961 vsize=5356 CPUtime=0
/proc/1963/stat : 1963 (concrete.sh) S 1961 1963 31713 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003088080 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1963/statm: 1339 242 201 169 0 50 0
[pid=1967] ppid=1963 vsize=844280 CPUtime=25.22
/proc/1967/stat : 1967 (java) S 1963 1963 31713 0 -1 0 12439 0 1 0 2503 19 0 0 18 0 9 0 2003088081 864542720 9399 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1967/statm: 211070 9399 2575 9 0 205631 0
[pid=1967/tid=1968] ppid=1963 vsize=844280 CPUtime=23.76
/proc/1967/task/1968/stat : 1968 (java) R 1963 1963 31713 0 -1 64 4548 0 1 0 2369 7 0 0 25 0 9 0 2003088082 864542720 9399 996147200 134512640 134550740 4294956032 18446744073709551615 4125718246 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1969] ppid=1963 vsize=844280 CPUtime=1.28
/proc/1967/task/1969/stat : 1969 (java) S 1963 1963 31713 0 -1 64 6630 0 0 0 117 11 0 0 16 0 9 0 2003088083 864542720 9399 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1970] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1970/stat : 1970 (java) S 1963 1963 31713 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003088084 864542720 9399 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1971] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1963 1963 31713 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003088084 864542720 9399 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1973] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1963 1963 31713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003088086 864542720 9399 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1974] ppid=1963 vsize=844280 CPUtime=0.16
/proc/1967/task/1974/stat : 1974 (java) S 1963 1963 31713 0 -1 64 529 0 0 0 16 0 0 0 16 0 9 0 2003088086 864542720 9399 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1975] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1963 1963 31713 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003088086 864542720 9399 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1976] ppid=1963 vsize=844280 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1963 1963 31713 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003088086 864542720 9399 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 849636

[startup+51.1027 s]

################
# More data... #
################

[pid=1967/tid=1969] ppid=1963 vsize=850816 CPUtime=106.34
/proc/1967/task/1969/stat : 1969 (java) S 1963 1963 31713 0 -1 64 175421 0 0 0 10523 111 0 0 16 0 9 0 2003088083 871235584 186436 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1970] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1970/stat : 1970 (java) S 1963 1963 31713 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003088084 871235584 186436 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1971] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1963 1963 31713 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003088084 871235584 186436 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1973] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1963 1963 31713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003088086 871235584 186436 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1974] ppid=1963 vsize=850816 CPUtime=3.75
/proc/1967/task/1974/stat : 1974 (java) S 1963 1963 31713 0 -1 64 3673 0 0 0 365 10 0 0 15 0 9 0 2003088086 871235584 186436 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1975] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1963 1963 31713 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003088086 871235584 186436 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1976] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1963 1963 31713 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003088086 871235584 186436 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.59
Current children cumulated vsize (KiB) 856172

Solver just ended. Dumping a history of the last processes samples

[startup+287.902 s]
/proc/loadavg: 2.61 2.27 2.09 3/82 1986
/proc/meminfo: memFree=683552/2055920 swapFree=4180972/4192956
[pid=1963] ppid=1961 vsize=5356 CPUtime=0
/proc/1963/stat : 1963 (concrete.sh) S 1961 1963 31713 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003088080 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1963/statm: 1339 242 201 169 0 50 0
[pid=1967] ppid=1963 vsize=850816 CPUtime=285.14
/proc/1967/stat : 1967 (java) S 1963 1963 31713 0 -1 0 194188 0 1 0 28353 161 0 0 18 0 9 0 2003088081 871235584 186440 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1967/statm: 212704 186440 2599 9 0 207264 0
[pid=1967/tid=1968] ppid=1963 vsize=850816 CPUtime=175
/proc/1967/task/1968/stat : 1968 (java) R 1963 1963 31713 0 -1 64 14347 0 1 0 17462 38 0 0 25 0 9 0 2003088082 871235584 186440 996147200 134512640 134550740 4294956032 18446744073709551615 4132946665 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1969] ppid=1963 vsize=850816 CPUtime=106.34
/proc/1967/task/1969/stat : 1969 (java) S 1963 1963 31713 0 -1 64 175421 0 0 0 10523 111 0 0 16 0 9 0 2003088083 871235584 186440 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1970] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1970/stat : 1970 (java) S 1963 1963 31713 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003088084 871235584 186440 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1971] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1963 1963 31713 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003088084 871235584 186440 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1973] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1963 1963 31713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003088086 871235584 186440 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1974] ppid=1963 vsize=850816 CPUtime=3.76
/proc/1967/task/1974/stat : 1974 (java) S 1963 1963 31713 0 -1 64 3677 0 0 0 366 10 0 0 15 0 9 0 2003088086 871235584 186440 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1975] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1963 1963 31713 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003088086 871235584 186440 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1976] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1963 1963 31713 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003088086 871235584 186440 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 285.14
Current children cumulated vsize (KiB) 856172

[startup+291.102 s]
/proc/loadavg: 2.61 2.27 2.09 3/82 1986
/proc/meminfo: memFree=683552/2055920 swapFree=4180972/4192956
[pid=1963] ppid=1961 vsize=5356 CPUtime=0
/proc/1963/stat : 1963 (concrete.sh) S 1961 1963 31713 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003088080 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1963/statm: 1339 242 201 169 0 50 0
[pid=1967] ppid=1963 vsize=850816 CPUtime=288.31
/proc/1967/stat : 1967 (java) S 1963 1963 31713 0 -1 0 194189 0 1 0 28670 161 0 0 18 0 9 0 2003088081 871235584 186441 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1967/statm: 212704 186441 2599 9 0 207264 0
[pid=1967/tid=1968] ppid=1963 vsize=850816 CPUtime=178.16
/proc/1967/task/1968/stat : 1968 (java) R 1963 1963 31713 0 -1 64 14347 0 1 0 17778 38 0 0 25 0 9 0 2003088082 871235584 186441 996147200 134512640 134550740 4294956032 18446744073709551615 4132946665 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1969] ppid=1963 vsize=850816 CPUtime=106.34
/proc/1967/task/1969/stat : 1969 (java) S 1963 1963 31713 0 -1 64 175421 0 0 0 10523 111 0 0 16 0 9 0 2003088083 871235584 186441 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1970] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1970/stat : 1970 (java) S 1963 1963 31713 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003088084 871235584 186441 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1971] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1963 1963 31713 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003088084 871235584 186441 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1973] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1963 1963 31713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003088086 871235584 186441 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1974] ppid=1963 vsize=850816 CPUtime=3.77
/proc/1967/task/1974/stat : 1974 (java) S 1963 1963 31713 0 -1 64 3678 0 0 0 367 10 0 0 15 0 9 0 2003088086 871235584 186441 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1975] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1963 1963 31713 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003088086 871235584 186441 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1976] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1963 1963 31713 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003088086 871235584 186441 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 288.31
Current children cumulated vsize (KiB) 856172

[startup+294.302 s]
/proc/loadavg: 2.56 2.27 2.09 3/82 1986
/proc/meminfo: memFree=683552/2055920 swapFree=4180972/4192956
[pid=1963] ppid=1961 vsize=5356 CPUtime=0
/proc/1963/stat : 1963 (concrete.sh) S 1961 1963 31713 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003088080 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1963/statm: 1339 242 201 169 0 50 0
[pid=1967] ppid=1963 vsize=850816 CPUtime=291.48
/proc/1967/stat : 1967 (java) S 1963 1963 31713 0 -1 0 194192 0 1 0 28987 161 0 0 18 0 9 0 2003088081 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1967/statm: 212704 186444 2599 9 0 207264 0
[pid=1967/tid=1968] ppid=1963 vsize=850816 CPUtime=181.32
/proc/1967/task/1968/stat : 1968 (java) R 1963 1963 31713 0 -1 64 14347 0 1 0 18094 38 0 0 25 0 9 0 2003088082 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4132949620 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1969] ppid=1963 vsize=850816 CPUtime=106.34
/proc/1967/task/1969/stat : 1969 (java) S 1963 1963 31713 0 -1 64 175421 0 0 0 10523 111 0 0 16 0 9 0 2003088083 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1970] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1970/stat : 1970 (java) S 1963 1963 31713 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003088084 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1971] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1963 1963 31713 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003088084 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1973] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1963 1963 31713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003088086 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1974] ppid=1963 vsize=850816 CPUtime=3.77
/proc/1967/task/1974/stat : 1974 (java) S 1963 1963 31713 0 -1 64 3681 0 0 0 367 10 0 0 16 0 9 0 2003088086 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1975] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1963 1963 31713 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003088086 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1976] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1963 1963 31713 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003088086 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 291.48
Current children cumulated vsize (KiB) 856172

[startup+295.907 s]
/proc/loadavg: 2.56 2.27 2.09 4/82 1986
/proc/meminfo: memFree=683552/2055920 swapFree=4180972/4192956
[pid=1963] ppid=1961 vsize=5356 CPUtime=0
/proc/1963/stat : 1963 (concrete.sh) S 1961 1963 31713 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003088080 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1963/statm: 1339 242 201 169 0 50 0
[pid=1967] ppid=1963 vsize=850816 CPUtime=293.06
/proc/1967/stat : 1967 (java) S 1963 1963 31713 0 -1 0 194193 0 1 0 29145 161 0 0 18 0 9 0 2003088081 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1967/statm: 212704 186444 2599 9 0 207264 0
[pid=1967/tid=1968] ppid=1963 vsize=850816 CPUtime=181.41
/proc/1967/task/1968/stat : 1968 (java) R 1963 1963 31713 0 -1 64 14348 0 1 0 18103 38 0 0 25 0 9 0 2003088082 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1969] ppid=1963 vsize=850816 CPUtime=107.83
/proc/1967/task/1969/stat : 1969 (java) R 1963 1963 31713 0 -1 64 175421 0 0 0 10672 111 0 0 17 0 9 0 2003088083 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 104457044 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1970] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1970/stat : 1970 (java) S 1963 1963 31713 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003088084 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1971] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1963 1963 31713 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003088084 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1973] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1963 1963 31713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003088086 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1974] ppid=1963 vsize=850816 CPUtime=3.77
/proc/1967/task/1974/stat : 1974 (java) S 1963 1963 31713 0 -1 64 3681 0 0 0 367 10 0 0 15 0 9 0 2003088086 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1975] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1963 1963 31713 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003088086 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1976] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1963 1963 31713 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003088086 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 293.06
Current children cumulated vsize (KiB) 856172

[startup+296.302 s]
/proc/loadavg: 2.56 2.27 2.09 4/82 1986
/proc/meminfo: memFree=683552/2055920 swapFree=4180972/4192956
[pid=1963] ppid=1961 vsize=5356 CPUtime=0
/proc/1963/stat : 1963 (concrete.sh) S 1961 1963 31713 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003088080 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1963/statm: 1339 242 201 169 0 50 0
[pid=1967] ppid=1963 vsize=850816 CPUtime=293.45
/proc/1967/stat : 1967 (java) S 1963 1963 31713 0 -1 0 194193 0 1 0 29184 161 0 0 18 0 9 0 2003088081 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1967/statm: 212704 186444 2599 9 0 207264 0
[pid=1967/tid=1968] ppid=1963 vsize=850816 CPUtime=181.41
/proc/1967/task/1968/stat : 1968 (java) R 1963 1963 31713 0 -1 64 14348 0 1 0 18103 38 0 0 25 0 9 0 2003088082 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1969] ppid=1963 vsize=850816 CPUtime=108.23
/proc/1967/task/1969/stat : 1969 (java) R 1963 1963 31713 0 -1 64 175421 0 0 0 10712 111 0 0 18 0 9 0 2003088083 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 104457031 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1970] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1970/stat : 1970 (java) S 1963 1963 31713 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003088084 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1971] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1963 1963 31713 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003088084 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1973] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1963 1963 31713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003088086 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1974] ppid=1963 vsize=850816 CPUtime=3.77
/proc/1967/task/1974/stat : 1974 (java) S 1963 1963 31713 0 -1 64 3681 0 0 0 367 10 0 0 15 0 9 0 2003088086 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1975] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1963 1963 31713 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003088086 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1967/tid=1976] ppid=1963 vsize=850816 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1963 1963 31713 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003088086 871235584 186444 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 293.45
Current children cumulated vsize (KiB) 856172

[startup+296.503 s]
/proc/loadavg: 2.56 2.27 2.09 4/82 1986
/proc/meminfo: memFree=683552/2055920 swapFree=4180972/4192956
[pid=1963] ppid=1961 vsize=5356 CPUtime=0
/proc/1963/stat : 1963 (concrete.sh) S 1961 1963 31713 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003088080 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1963/statm: 1339 242 201 169 0 50 0
[pid=1967] ppid=1963 vsize=0 CPUtime=293.6
/proc/1967/stat : 1967 (java) Z 1963 1963 31713 0 -1 12 194199 0 1 0 29195 165 0 0 16 0 2 0 2003088081 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1967/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 293.6
Current children cumulated vsize (KiB) 5356

Child status: 0
Real time (s): 296.58
CPU time (s): 293.697
CPU user time (s): 291.963
CPU system time (s): 1.73474
CPU usage (%): 99.0282
Max. virtual memory (cumulated for all children) (KiB): 856172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 291.963
system time used= 1.73474
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194652
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= 35374
involuntary context switches= 41203

runsolver used 0.373943 second user time and 1.03384 second system time

The end