runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254914-1501622840/watcher-4254914-1501622840 -o /tmp/evaluation-result-4254914-1501622840/solver-4254914-1501622840 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10853 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1817950461 HOME/instance-4254914-1501622840.xml
pid=16157
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.76 1.89 1.86 3/196 16160
/proc/meminfo: memFree=31714772/32770624 swapFree=0/193844
[pid=16160] ppid=16157 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/16160/stat : 16160 (runsolver) D 16157 16160 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10907076 24240128 108 18446744073709551615 4194304 4338465 140729056345488 140729056343128 140389143773911 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 14577664 140729056354396 140729056354886 140729056354886 140729056358346 0
/proc/16160/statm: 5918 108 54 36 0 2156 0
[startup+0.10011 s]
/proc/loadavg: 1.76 1.89 1.86 3/196 16160
/proc/meminfo: memFree=31714772/32770624 swapFree=0/193844
[pid=16160] ppid=16157 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16160/stat : 16160 (xcsp3-exec) S 16157 16160 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10907076 9740288 345 18446744073709551615 4194304 5098028 140725959095968 140725959094072 140003602043516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24326144 140725959098779 140725959098983 140725959098983 140725959102443 0
/proc/16160/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.210519 s]
/proc/loadavg: 1.76 1.89 1.86 3/196 16160
/proc/meminfo: memFree=31714772/32770624 swapFree=0/193844
[pid=16160] ppid=16157 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16160/stat : 16160 (xcsp3-exec) S 16157 16160 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10907076 9740288 345 18446744073709551615 4194304 5098028 140725959095968 140725959094072 140003602043516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24326144 140725959098779 140725959098983 140725959098983 140725959102443 0
/proc/16160/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300216 s]
/proc/loadavg: 1.76 1.89 1.86 3/196 16160
/proc/meminfo: memFree=31714772/32770624 swapFree=0/193844
[pid=16160] ppid=16157 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16160/stat : 16160 (xcsp3-exec) S 16157 16160 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10907076 9740288 345 18446744073709551615 4194304 5098028 140725959095968 140725959094072 140003602043516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24326144 140725959098779 140725959098983 140725959098983 140725959102443 0
/proc/16160/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700163 s]
/proc/loadavg: 1.76 1.89 1.86 3/196 16160
/proc/meminfo: memFree=31714772/32770624 swapFree=0/193844
[pid=16160] ppid=16157 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16160/stat : 16160 (xcsp3-exec) S 16157 16160 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10907076 9740288 345 18446744073709551615 4194304 5098028 140725959095968 140725959094072 140003602043516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24326144 140725959098779 140725959098983 140725959098983 140725959102443 0
/proc/16160/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 1.78 1.89 1.86 3/212 16176
/proc/meminfo: memFree=31642596/32770624 swapFree=0/193848
[pid=16160] ppid=16157 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16160/stat : 16160 (xcsp3-exec) S 16157 16160 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10907076 9740288 345 18446744073709551615 4194304 5098028 140725959095968 140725959094072 140003602043516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24326144 140725959098779 140725959098983 140725959098983 140725959102443 0
/proc/16160/statm: 2378 345 289 221 0 87 0
[pid=16162] ppid=16160 vsize=13980732 CPUtime=2.89 cores=0,2,4,6
/proc/16162/stat : 16162 (java) S 16160 16160 5091 0 -1 1077944320 17323 0 0 0 283 6 0 0 20 0 15 0 10907084 14316269568 21225 18446744073709551615 4194304 4196468 140721660645792 140721660628336 140232483258103 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
/proc/16162/statm: 3495183 21225 3180 1 0 3483484 0
[pid=16162/tid=16163] ppid=16160 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/16162/task/16163/stat : 16163 (java) R 16160 16160 5091 0 -1 4202560 8717 0 0 0 133 3 0 0 20 0 15 0 10907084 14316269568 21225 18446744073709551615 4194304 4196468 140721660645792 140232487494392 140232113121408 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16164] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16164/stat : 16164 (java) S 16160 16160 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10907085 14316269568 21225 18446744073709551615 4194304 4196468 140721660645792 140232440224656 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16165] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16165/stat : 16165 (java) S 16160 16160 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10907085 14316269568 21225 18446744073709551615 4194304 4196468 140721660645792 140232439171856 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16166] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16166/stat : 16166 (java) S 16160 16160 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10907085 14316269568 21225 18446744073709551615 4194304 4196468 140721660645792 140232438119568 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16167] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16167/stat : 16167 (java) S 16160 16160 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10907085 14316269568 21225 18446744073709551615 4194304 4196468 140721660645792 140232437066768 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16168] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16168/stat : 16168 (java) S 16160 16160 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10907086 14316269568 21225 18446744073709551615 4194304 4196468 140721660645792 140231668533360 140232483269250 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16169] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16169/stat : 16169 (java) S 16160 16160 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10907087 14316269568 21225 18446744073709551615 4194304 4196468 140721660645792 140231667479328 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16170] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16170/stat : 16170 (java) S 16160 16160 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10907087 14316269568 21225 18446744073709551615 4194304 4196468 140721660645792 140231666426992 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16171] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16171/stat : 16171 (java) S 16160 16160 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10907089 14316269568 21225 18446744073709551615 4194304 4196468 140721660645792 140231665375312 140232483276699 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16172] ppid=16160 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/16162/task/16172/stat : 16172 (java) S 16160 16160 5091 0 -1 1077944384 3000 0 0 0 52 0 0 0 20 0 15 0 10907089 14316269568 21225 18446744073709551615 4194304 4196468 140721660645792 140231664323184 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16173] ppid=16160 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/16162/task/16173/stat : 16173 (java) S 16160 16160 5091 0 -1 1077944384 2342 0 0 0 53 0 0 0 20 0 15 0 10907089 14316269568 21225 18446744073709551615 4194304 4196468 140721660645792 140231663270384 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16174] ppid=16160 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/16162/task/16174/stat : 16174 (java) S 16160 16160 5091 0 -1 1077944384 1954 0 0 0 42 0 0 0 20 0 15 0 10907090 14316269568 21225 18446744073709551615 4194304 4196468 140721660645792 140231662218096 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16175] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16175/stat : 16175 (java) S 16160 16160 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10907090 14316269568 21225 18446744073709551615 4194304 4196468 140721660645792 140231661165536 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16176] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16176/stat : 16176 (java) S 16160 16160 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10907094 14316269568 21225 18446744073709551615 4194304 4196468 140721660645792 140231660112304 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 13990244
[startup+3.10074 s]
/proc/loadavg: 1.78 1.89 1.86 3/212 16176
/proc/meminfo: memFree=31643548/32770624 swapFree=0/193848
[pid=16160] ppid=16157 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16160/stat : 16160 (xcsp3-exec) S 16157 16160 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10907076 9740288 345 18446744073709551615 4194304 5098028 140725959095968 140725959094072 140003602043516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24326144 140725959098779 140725959098983 140725959098983 140725959102443 0
/proc/16160/statm: 2378 345 289 221 0 87 0
[pid=16162] ppid=16160 vsize=13980732 CPUtime=4.8 cores=0,2,4,6
/proc/16162/stat : 16162 (java) S 16160 16160 5091 0 -1 1077944320 18972 0 0 0 474 6 0 0 20 0 15 0 10907084 14316269568 21337 18446744073709551615 4194304 4196468 140721660645792 140721660628336 140232483258103 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
/proc/16162/statm: 3495183 21337 3181 1 0 3483484 0
[pid=16162/tid=16163] ppid=16160 vsize=13980732 CPUtime=2.96 cores=0,2,4,6
/proc/16162/task/16163/stat : 16163 (java) R 16160 16160 5091 0 -1 4202560 8983 0 0 0 293 3 0 0 20 0 15 0 10907084 14316269568 21337 18446744073709551615 4194304 4196468 140721660645792 140232487493696 140232113138765 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16164] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16164/stat : 16164 (java) S 16160 16160 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10907085 14316269568 21337 18446744073709551615 4194304 4196468 140721660645792 140232440224656 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16165] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16165/stat : 16165 (java) S 16160 16160 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10907085 14316269568 21337 18446744073709551615 4194304 4196468 140721660645792 140232439171856 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16166] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16166/stat : 16166 (java) S 16160 16160 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10907085 14316269568 21337 18446744073709551615 4194304 4196468 140721660645792 140232438119568 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16167] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16167/stat : 16167 (java) S 16160 16160 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10907085 14316269568 21337 18446744073709551615 4194304 4196468 140721660645792 140232437066768 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16168] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16168/stat : 16168 (java) S 16160 16160 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10907086 14316269568 21337 18446744073709551615 4194304 4196468 140721660645792 140231668533360 140232483269250 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16169] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16169/stat : 16169 (java) S 16160 16160 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10907087 14316269568 21337 18446744073709551615 4194304 4196468 140721660645792 140231667479328 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16170] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16170/stat : 16170 (java) S 16160 16160 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10907087 14316269568 21337 18446744073709551615 4194304 4196468 140721660645792 140231666426992 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16171] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16171/stat : 16171 (java) S 16160 16160 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10907089 14316269568 21337 18446744073709551615 4194304 4196468 140721660645792 140231665375312 140232483276699 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16172] ppid=16160 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/16162/task/16172/stat : 16172 (java) S 16160 16160 5091 0 -1 1077944384 3523 0 0 0 66 0 0 0 20 0 15 0 10907089 14316269568 21337 18446744073709551615 4194304 4196468 140721660645792 140231664323184 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16173] ppid=16160 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/16162/task/16173/stat : 16173 (java) S 16160 16160 5091 0 -1 1077944384 2848 0 0 0 70 0 0 0 20 0 15 0 10907089 14316269568 21337 18446744073709551615 4194304 4196468 140721660645792 140231663270384 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16174] ppid=16160 vsize=13980732 CPUtime=0.44 cores=0,2,4,6
/proc/16162/task/16174/stat : 16174 (java) S 16160 16160 5091 0 -1 1077944384 2259 0 0 0 44 0 0 0 20 0 15 0 10907090 14316269568 21337 18446744073709551615 4194304 4196468 140721660645792 140231662218096 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16175] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16175/stat : 16175 (java) S 16160 16160 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10907090 14316269568 21337 18446744073709551615 4194304 4196468 140721660645792 140231661165536 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16176] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16176/stat : 16176 (java) S 16160 16160 5091 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 10907094 14316269568 21337 18446744073709551615 4194304 4196468 140721660645792 140231660112304 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 13990244
[startup+6.30073 s]
/proc/loadavg: 1.78 1.89 1.86 3/212 16176
/proc/meminfo: memFree=31644036/32770624 swapFree=0/193860
[pid=16160] ppid=16157 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16160/stat : 16160 (xcsp3-exec) S 16157 16160 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10907076 9740288 345 18446744073709551615 4194304 5098028 140725959095968 140725959094072 140003602043516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24326144 140725959098779 140725959098983 140725959098983 140725959102443 0
/proc/16160/statm: 2378 345 289 221 0 87 0
[pid=16162] ppid=16160 vsize=13980732 CPUtime=9.1 cores=0,2,4,6
/proc/16162/stat : 16162 (java) S 16160 16160 5091 0 -1 1077944320 26291 0 0 0 903 7 0 0 20 0 15 0 10907084 14316269568 29561 18446744073709551615 4194304 4196468 140721660645792 140721660628336 140232483258103 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
/proc/16162/statm: 3495183 29561 3188 1 0 3483484 0
[pid=16162/tid=16163] ppid=16160 vsize=13980732 CPUtime=6.16 cores=0,2,4,6
/proc/16162/task/16163/stat : 16163 (java) R 16160 16160 5091 0 -1 4202560 10711 0 0 0 612 4 0 0 20 0 15 0 10907084 14316269568 29561 18446744073709551615 4194304 4196468 140721660645792 140232487494560 140232114581625 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16164] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16164/stat : 16164 (java) S 16160 16160 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10907085 14316269568 29561 18446744073709551615 4194304 4196468 140721660645792 140232440224656 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16165] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16165/stat : 16165 (java) S 16160 16160 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10907085 14316269568 29561 18446744073709551615 4194304 4196468 140721660645792 140232439171856 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16166] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16166/stat : 16166 (java) S 16160 16160 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10907085 14316269568 29561 18446744073709551615 4194304 4196468 140721660645792 140232438119568 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16167] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16167/stat : 16167 (java) S 16160 16160 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10907085 14316269568 29561 18446744073709551615 4194304 4196468 140721660645792 140232437066768 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16168] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16168/stat : 16168 (java) S 16160 16160 5091 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 15 0 10907086 14316269568 29561 18446744073709551615 4194304 4196468 140721660645792 140231668533360 140232483269250 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16169] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16169/stat : 16169 (java) S 16160 16160 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10907087 14316269568 29561 18446744073709551615 4194304 4196468 140721660645792 140231667479328 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16170] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16170/stat : 16170 (java) S 16160 16160 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10907087 14316269568 29561 18446744073709551615 4194304 4196468 140721660645792 140231666426992 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16171] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16171/stat : 16171 (java) S 16160 16160 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10907089 14316269568 29561 18446744073709551615 4194304 4196468 140721660645792 140231665375312 140232483276699 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16172] ppid=16160 vsize=13980732 CPUtime=1.16 cores=0,2,4,6
/proc/16162/task/16172/stat : 16172 (java) S 16160 16160 5091 0 -1 1077944384 5847 0 0 0 116 0 0 0 20 0 15 0 10907089 14316269568 29561 18446744073709551615 4194304 4196468 140721660645792 140231664323184 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16173] ppid=16160 vsize=13980732 CPUtime=1.2 cores=0,2,4,6
/proc/16162/task/16173/stat : 16173 (java) S 16160 16160 5091 0 -1 1077944384 4734 0 0 0 120 0 0 0 20 0 15 0 10907089 14316269568 29561 18446744073709551615 4194304 4196468 140721660645792 140231663270384 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16174] ppid=16160 vsize=13980732 CPUtime=0.54 cores=0,2,4,6
/proc/16162/task/16174/stat : 16174 (java) S 16160 16160 5091 0 -1 1077944384 3134 0 0 0 53 1 0 0 20 0 15 0 10907090 14316269568 29561 18446744073709551615 4194304 4196468 140721660645792 140231662218096 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16175] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16175/stat : 16175 (java) S 16160 16160 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10907090 14316269568 29561 18446744073709551615 4194304 4196468 140721660645792 140231661165536 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16176] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16176/stat : 16176 (java) S 16160 16160 5091 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 15 0 10907094 14316269568 29561 18446744073709551615 4194304 4196468 140721660645792 140231660112304 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
Current children cumulated CPU time (s) 9.1
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.88 1.91 1.87 3/212 16176
/proc/meminfo: memFree=31531308/32770624 swapFree=0/193868
[pid=16160] ppid=16157 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16160/stat : 16160 (xcsp3-exec) S 16157 16160 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10907076 9740288 345 18446744073709551615 4194304 5098028 140725959095968 140725959094072 140003602043516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24326144 140725959098779 140725959098983 140725959098983 140725959102443 0
/proc/16160/statm: 2378 345 289 221 0 87 0
[pid=16162] ppid=16160 vsize=13980732 CPUtime=16.63 cores=0,2,4,6
/proc/16162/stat : 16162 (java) S 16160 16160 5091 0 -1 1077944320 31759 0 0 0 1654 9 0 0 20 0 15 0 10907084 14316269568 50506 18446744073709551615 4194304 4196468 140721660645792 140721660628336 140232483258103 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
/proc/16162/statm: 3495183 50506 3208 1 0 3483484 0
[pid=16162/tid=16163] ppid=16160 vsize=13980732 CPUtime=12.55 cores=0,2,4,6
/proc/16162/task/16163/stat : 16163 (java) R 16160 16160 5091 0 -1 4202560 11150 0 0 0 1250 5 0 0 20 0 15 0 10907084 14316269568 50506 18446744073709551615 4194304 4196468 140721660645792 140232487497032 140232115096642 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16164] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16164/stat : 16164 (java) S 16160 16160 5091 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 10907085 14316269568 50506 18446744073709551615 4194304 4196468 140721660645792 140232440224656 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16165] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16165/stat : 16165 (java) S 16160 16160 5091 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 15 0 10907085 14316269568 50506 18446744073709551615 4194304 4196468 140721660645792 140232439171856 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
################
# More data... #
################
[pid=16162/tid=16169] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16169/stat : 16169 (java) S 16160 16160 5091 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10907087 14316269568 46551 18446744073709551615 4194304 4196468 140721660645792 140231667479392 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16170] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16170/stat : 16170 (java) S 16160 16160 5091 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 10907087 14316269568 46551 18446744073709551615 4194304 4196468 140721660645792 140231666426992 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16171] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16171/stat : 16171 (java) S 16160 16160 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10907089 14316269568 46551 18446744073709551615 4194304 4196468 140721660645792 140231665375312 140232483276699 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16172] ppid=16160 vsize=13980732 CPUtime=2.39 cores=0,2,4,6
/proc/16162/task/16172/stat : 16172 (java) S 16160 16160 5091 0 -1 1077944384 13217 0 0 0 238 1 0 0 20 0 15 0 10907089 14316269568 46551 18446744073709551615 4194304 4196468 140721660645792 140231664323184 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16173] ppid=16160 vsize=13980732 CPUtime=2.35 cores=0,2,4,6
/proc/16162/task/16173/stat : 16173 (java) S 16160 16160 5091 0 -1 1077944384 10653 0 0 0 234 1 0 0 20 0 15 0 10907089 14316269568 46551 18446744073709551615 4194304 4196468 140721660645792 140231663270384 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16174] ppid=16160 vsize=13980732 CPUtime=0.72 cores=0,2,4,6
/proc/16162/task/16174/stat : 16174 (java) S 16160 16160 5091 0 -1 1077944384 8596 0 0 0 70 2 0 0 20 0 15 0 10907090 14316269568 46551 18446744073709551615 4194304 4196468 140721660645792 140231662218096 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16175] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16175/stat : 16175 (java) S 16160 16160 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10907090 14316269568 46551 18446744073709551615 4194304 4196468 140721660645792 140231661165536 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16176] ppid=16160 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/16162/task/16176/stat : 16176 (java) S 16160 16160 5091 0 -1 1077944384 644 0 0 0 1 1 0 0 20 0 15 0 10907094 14316269568 46551 18446744073709551615 4194304 4196468 140721660645792 140231660112304 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
Current children cumulated CPU time (s) 108.24
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.48 1.73 1.81 3/211 16258
/proc/meminfo: memFree=31420256/32770624 swapFree=0/194012
[pid=16160] ppid=16157 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16160/stat : 16160 (xcsp3-exec) S 16157 16160 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10907076 9740288 345 18446744073709551615 4194304 5098028 140725959095968 140725959094072 140003602043516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24326144 140725959098779 140725959098983 140725959098983 140725959102443 0
/proc/16160/statm: 2378 345 289 221 0 87 0
[pid=16162] ppid=16160 vsize=13980732 CPUtime=168.91 cores=0,2,4,6
/proc/16162/stat : 16162 (java) S 16160 16160 5091 0 -1 1077944320 60113 0 0 0 16855 36 0 0 20 0 15 0 10907084 14316269568 56753 18446744073709551615 4194304 4196468 140721660645792 140721660628336 140232483258103 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
/proc/16162/statm: 3495183 56753 3221 1 0 3483484 0
[pid=16162/tid=16163] ppid=16160 vsize=13980732 CPUtime=161.64 cores=0,2,4,6
/proc/16162/task/16163/stat : 16163 (java) R 16160 16160 5091 0 -1 4202560 15508 0 0 0 16158 6 0 0 20 0 15 0 10907084 14316269568 56753 18446744073709551615 4194304 4196468 140721660645792 140232487497296 140232109775262 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16164] ppid=16160 vsize=13980732 CPUtime=0.31 cores=0,2,4,6
/proc/16162/task/16164/stat : 16164 (java) S 16160 16160 5091 0 -1 1077944384 1361 0 0 0 26 5 0 0 20 0 15 0 10907085 14316269568 56753 18446744073709551615 4194304 4196468 140721660645792 140232440224656 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16165] ppid=16160 vsize=13980732 CPUtime=0.32 cores=0,2,4,6
/proc/16162/task/16165/stat : 16165 (java) S 16160 16160 5091 0 -1 1077944384 823 0 0 0 26 6 0 0 20 0 15 0 10907085 14316269568 56753 18446744073709551615 4194304 4196468 140721660645792 140232439171856 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16166] ppid=16160 vsize=13980732 CPUtime=0.31 cores=0,2,4,6
/proc/16162/task/16166/stat : 16166 (java) S 16160 16160 5091 0 -1 1077944384 981 0 0 0 26 5 0 0 20 0 15 0 10907085 14316269568 56753 18446744073709551615 4194304 4196468 140721660645792 140232438119568 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16167] ppid=16160 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/16162/task/16167/stat : 16167 (java) S 16160 16160 5091 0 -1 1077944384 926 0 0 0 25 5 0 0 20 0 15 0 10907085 14316269568 56753 18446744073709551615 4194304 4196468 140721660645792 140232437066768 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16168] ppid=16160 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/16162/task/16168/stat : 16168 (java) S 16160 16160 5091 0 -1 1077944384 1285 0 0 0 11 2 0 0 20 0 15 0 10907086 14316269568 56753 18446744073709551615 4194304 4196468 140721660645792 140231668533360 140232483269250 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16169] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16169/stat : 16169 (java) S 16160 16160 5091 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10907087 14316269568 56753 18446744073709551615 4194304 4196468 140721660645792 140231667479392 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16170] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16170/stat : 16170 (java) S 16160 16160 5091 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 10907087 14316269568 56753 18446744073709551615 4194304 4196468 140721660645792 140231666427008 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16171] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16171/stat : 16171 (java) S 16160 16160 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10907089 14316269568 56753 18446744073709551615 4194304 4196468 140721660645792 140231665375312 140232483276699 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16172] ppid=16160 vsize=13980732 CPUtime=2.52 cores=0,2,4,6
/proc/16162/task/16172/stat : 16172 (java) S 16160 16160 5091 0 -1 1077944384 15457 0 0 0 251 1 0 0 20 0 15 0 10907089 14316269568 56753 18446744073709551615 4194304 4196468 140721660645792 140231664323184 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16173] ppid=16160 vsize=13980732 CPUtime=2.48 cores=0,2,4,6
/proc/16162/task/16173/stat : 16173 (java) S 16160 16160 5091 0 -1 1077944384 12110 0 0 0 247 1 0 0 20 0 15 0 10907089 14316269568 56753 18446744073709551615 4194304 4196468 140721660645792 140231663270384 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16174] ppid=16160 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/16162/task/16174/stat : 16174 (java) S 16160 16160 5091 0 -1 1077944384 9615 0 0 0 73 2 0 0 20 0 15 0 10907090 14316269568 56753 18446744073709551615 4194304 4196468 140721660645792 140231662218096 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16175] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16175/stat : 16175 (java) S 16160 16160 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10907090 14316269568 56753 18446744073709551615 4194304 4196468 140721660645792 140231661165536 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16176] ppid=16160 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/16162/task/16176/stat : 16176 (java) S 16160 16160 5091 0 -1 1077944384 663 0 0 0 3 2 0 0 20 0 15 0 10907094 14316269568 56753 18446744073709551615 4194304 4196468 140721660645792 140231660112304 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
Current children cumulated CPU time (s) 168.91
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.67 1.75 1.81 3/211 16260
/proc/meminfo: memFree=31098852/32770624 swapFree=0/194068
[pid=16160] ppid=16157 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16160/stat : 16160 (xcsp3-exec) S 16157 16160 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10907076 9740288 345 18446744073709551615 4194304 5098028 140725959095968 140725959094072 140003602043516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24326144 140725959098779 140725959098983 140725959098983 140725959102443 0
/proc/16160/statm: 2378 345 289 221 0 87 0
[pid=16162] ppid=16160 vsize=13980732 CPUtime=229.46 cores=0,2,4,6
/proc/16162/stat : 16162 (java) S 16160 16160 5091 0 -1 1077944320 64789 0 0 0 22904 42 0 0 20 0 15 0 10907084 14316269568 65932 18446744073709551615 4194304 4196468 140721660645792 140721660628336 140232483258103 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
/proc/16162/statm: 3495183 65932 3221 1 0 3483484 0
[pid=16162/tid=16163] ppid=16160 vsize=13980732 CPUtime=221.41 cores=0,2,4,6
/proc/16162/task/16163/stat : 16163 (java) R 16160 16160 5091 0 -1 4202560 16250 0 0 0 22135 6 0 0 20 0 15 0 10907084 14316269568 65932 18446744073709551615 4194304 4196468 140721660645792 140232487497296 140232115634908 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16164] ppid=16160 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/16162/task/16164/stat : 16164 (java) S 16160 16160 5091 0 -1 1077944384 1498 0 0 0 39 6 0 0 20 0 15 0 10907085 14316269568 65932 18446744073709551615 4194304 4196468 140721660645792 140232440224656 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16165] ppid=16160 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/16162/task/16165/stat : 16165 (java) S 16160 16160 5091 0 -1 1077944384 1060 0 0 0 38 7 0 0 20 0 15 0 10907085 14316269568 65932 18446744073709551615 4194304 4196468 140721660645792 140232439171856 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16166] ppid=16160 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/16162/task/16166/stat : 16166 (java) S 16160 16160 5091 0 -1 1077944384 1130 0 0 0 38 7 0 0 20 0 15 0 10907085 14316269568 65932 18446744073709551615 4194304 4196468 140721660645792 140232438119568 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16167] ppid=16160 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/16162/task/16167/stat : 16167 (java) S 16160 16160 5091 0 -1 1077944384 1201 0 0 0 38 7 0 0 20 0 15 0 10907085 14316269568 65932 18446744073709551615 4194304 4196468 140721660645792 140232437066768 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16168] ppid=16160 vsize=13980732 CPUtime=0.2 cores=0,2,4,6
/proc/16162/task/16168/stat : 16168 (java) S 16160 16160 5091 0 -1 1077944384 1380 0 0 0 17 3 0 0 20 0 15 0 10907086 14316269568 65932 18446744073709551615 4194304 4196468 140721660645792 140231668533360 140232483269250 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16169] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16169/stat : 16169 (java) S 16160 16160 5091 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10907087 14316269568 65932 18446744073709551615 4194304 4196468 140721660645792 140231667479392 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16170] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16170/stat : 16170 (java) S 16160 16160 5091 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 10907087 14316269568 65932 18446744073709551615 4194304 4196468 140721660645792 140231666427008 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16171] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16171/stat : 16171 (java) S 16160 16160 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10907089 14316269568 65932 18446744073709551615 4194304 4196468 140721660645792 140231665375312 140232483276699 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16172] ppid=16160 vsize=13980732 CPUtime=2.59 cores=0,2,4,6
/proc/16162/task/16172/stat : 16172 (java) S 16160 16160 5091 0 -1 1077944384 17436 0 0 0 258 1 0 0 20 0 15 0 10907089 14316269568 65932 18446744073709551615 4194304 4196468 140721660645792 140231664323184 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16173] ppid=16160 vsize=13980732 CPUtime=2.55 cores=0,2,4,6
/proc/16162/task/16173/stat : 16173 (java) S 16160 16160 5091 0 -1 1077944384 12840 0 0 0 254 1 0 0 20 0 15 0 10907089 14316269568 65932 18446744073709551615 4194304 4196468 140721660645792 140231663270384 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16174] ppid=16160 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/16162/task/16174/stat : 16174 (java) S 16160 16160 5091 0 -1 1077944384 9926 0 0 0 73 2 0 0 20 0 15 0 10907090 14316269568 65932 18446744073709551615 4194304 4196468 140721660645792 140231662218096 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16175] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16175/stat : 16175 (java) S 16160 16160 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10907090 14316269568 65932 18446744073709551615 4194304 4196468 140721660645792 140231661165536 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16176] ppid=16160 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/16162/task/16176/stat : 16176 (java) S 16160 16160 5091 0 -1 1077944384 684 0 0 0 4 2 0 0 20 0 15 0 10907094 14316269568 65932 18446744073709551615 4194304 4196468 140721660645792 140231660112304 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
Current children cumulated CPU time (s) 229.46
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.67 1.75 1.81 3/211 16261
/proc/meminfo: memFree=30963472/32770624 swapFree=0/194072
[pid=16160] ppid=16157 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16160/stat : 16160 (xcsp3-exec) S 16157 16160 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10907076 9740288 345 18446744073709551615 4194304 5098028 140725959095968 140725959094072 140003602043516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24326144 140725959098779 140725959098983 140725959098983 140725959102443 0
/proc/16160/statm: 2378 345 289 221 0 87 0
[pid=16162] ppid=16160 vsize=13980732 CPUtime=247.28 cores=0,2,4,6
/proc/16162/stat : 16162 (java) S 16160 16160 5091 0 -1 1077944320 65358 0 0 0 24686 42 0 0 20 0 15 0 10907084 14316269568 67856 18446744073709551615 4194304 4196468 140721660645792 140721660628336 140232483258103 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
/proc/16162/statm: 3495183 67856 3221 1 0 3483484 0
[pid=16162/tid=16163] ppid=16160 vsize=13980732 CPUtime=239.04 cores=0,2,4,6
/proc/16162/task/16163/stat : 16163 (java) R 16160 16160 5091 0 -1 4202560 16324 0 0 0 23898 6 0 0 20 0 15 0 10907084 14316269568 67856 18446744073709551615 4194304 4196468 140721660645792 140232487496968 140232113661054 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16164] ppid=16160 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/16162/task/16164/stat : 16164 (java) S 16160 16160 5091 0 -1 1077944384 1530 0 0 0 42 6 0 0 20 0 15 0 10907085 14316269568 67856 18446744073709551615 4194304 4196468 140721660645792 140232440224656 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16165] ppid=16160 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/16162/task/16165/stat : 16165 (java) S 16160 16160 5091 0 -1 1077944384 1065 0 0 0 41 7 0 0 20 0 15 0 10907085 14316269568 67856 18446744073709551615 4194304 4196468 140721660645792 140232439171856 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16166] ppid=16160 vsize=13980732 CPUtime=0.49 cores=0,2,4,6
/proc/16162/task/16166/stat : 16166 (java) S 16160 16160 5091 0 -1 1077944384 1159 0 0 0 42 7 0 0 20 0 15 0 10907085 14316269568 67856 18446744073709551615 4194304 4196468 140721660645792 140232438119568 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16167] ppid=16160 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/16162/task/16167/stat : 16167 (java) S 16160 16160 5091 0 -1 1077944384 1252 0 0 0 41 7 0 0 20 0 15 0 10907085 14316269568 67856 18446744073709551615 4194304 4196468 140721660645792 140232437066768 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16168] ppid=16160 vsize=13980732 CPUtime=0.22 cores=0,2,4,6
/proc/16162/task/16168/stat : 16168 (java) S 16160 16160 5091 0 -1 1077944384 1380 0 0 0 19 3 0 0 20 0 15 0 10907086 14316269568 67856 18446744073709551615 4194304 4196468 140721660645792 140231668533360 140232483269250 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16169] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16169/stat : 16169 (java) S 16160 16160 5091 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10907087 14316269568 67856 18446744073709551615 4194304 4196468 140721660645792 140231667479392 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16170] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16170/stat : 16170 (java) S 16160 16160 5091 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 10907087 14316269568 67856 18446744073709551615 4194304 4196468 140721660645792 140231666427008 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16171] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16171/stat : 16171 (java) S 16160 16160 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10907089 14316269568 67856 18446744073709551615 4194304 4196468 140721660645792 140231665375312 140232483276699 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16172] ppid=16160 vsize=13980732 CPUtime=2.61 cores=0,2,4,6
/proc/16162/task/16172/stat : 16172 (java) S 16160 16160 5091 0 -1 1077944384 17609 0 0 0 260 1 0 0 20 0 15 0 10907089 14316269568 67856 18446744073709551615 4194304 4196468 140721660645792 140231664323184 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16173] ppid=16160 vsize=13980732 CPUtime=2.56 cores=0,2,4,6
/proc/16162/task/16173/stat : 16173 (java) S 16160 16160 5091 0 -1 1077944384 12904 0 0 0 255 1 0 0 20 0 15 0 10907089 14316269568 67856 18446744073709551615 4194304 4196468 140721660645792 140231663270384 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16174] ppid=16160 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/16162/task/16174/stat : 16174 (java) S 16160 16160 5091 0 -1 1077944384 10067 0 0 0 73 2 0 0 20 0 15 0 10907090 14316269568 67856 18446744073709551615 4194304 4196468 140721660645792 140231662218096 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16175] ppid=16160 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16162/task/16175/stat : 16175 (java) S 16160 16160 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10907090 14316269568 67856 18446744073709551615 4194304 4196468 140721660645792 140231661165536 140232483268309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
[pid=16162/tid=16176] ppid=16160 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/16162/task/16176/stat : 16176 (java) S 16160 16160 5091 0 -1 1077944384 684 0 0 0 5 2 0 0 20 0 15 0 10907094 14316269568 67856 18446744073709551615 4194304 4196468 140721660645792 140231660112304 140232483269250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34902016 140721660649940 140721660650115 140721660650115 140721660653519 0
Current children cumulated CPU time (s) 247.28
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16162 sig 9
??? kill 16160 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16160 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1874
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=119
# CPU time returned by wait4() is 0.001993
# while last known CPU time is 247.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 247.28
CPU user time (s): 246.86
CPU system time (s): 0.42
CPU usage (%): 103.029
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001874
system time used= 0.000119
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.06241 second user time and 1.49543 second system time
The end