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-4255066-1501621543/watcher-4255066-1501621543 -o /tmp/evaluation-result-4255066-1501621543/solver-4255066-1501621543 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10854 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1312207791 HOME/instance-4255066-1501621543.xml
pid=14987
running on 4 cores: 1,3,5,7
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.89 1.81 1.82 2/197 14990
/proc/meminfo: memFree=31719740/32770624 swapFree=0/192212
[pid=14990] ppid=14987 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14990/stat : 14990 (runsolver) D 14987 14990 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10777359 24240128 107 18446744073709551615 4194304 4338465 140730953790480 140730953788120 140466550301399 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 23732224 140730953793628 140730953794118 140730953794118 140730953797578 0
/proc/14990/statm: 5918 107 54 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 1.89 1.81 1.82 2/197 14990
/proc/meminfo: memFree=31719740/32770624 swapFree=0/192212
[pid=14990] ppid=14987 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14990/stat : 14990 (xcsp3-exec) S 14987 14990 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10777359 9740288 345 18446744073709551615 4194304 5098028 140723236689216 140723236687320 140101835498108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 23293952 140723236692379 140723236692583 140723236692583 140723236696043 0
/proc/14990/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200229 s]
/proc/loadavg: 1.89 1.81 1.82 2/197 14990
/proc/meminfo: memFree=31719740/32770624 swapFree=0/192212
[pid=14990] ppid=14987 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14990/stat : 14990 (xcsp3-exec) S 14987 14990 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10777359 9740288 345 18446744073709551615 4194304 5098028 140723236689216 140723236687320 140101835498108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 23293952 140723236692379 140723236692583 140723236692583 140723236696043 0
/proc/14990/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300292 s]
/proc/loadavg: 1.89 1.81 1.82 2/197 14990
/proc/meminfo: memFree=31719740/32770624 swapFree=0/192212
[pid=14990] ppid=14987 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14990/stat : 14990 (xcsp3-exec) S 14987 14990 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10777359 9740288 345 18446744073709551615 4194304 5098028 140723236689216 140723236687320 140101835498108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 23293952 140723236692379 140723236692583 140723236692583 140723236696043 0
/proc/14990/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700873 s]
/proc/loadavg: 1.89 1.81 1.82 2/197 14990
/proc/meminfo: memFree=31719740/32770624 swapFree=0/192212
[pid=14990] ppid=14987 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14990/stat : 14990 (xcsp3-exec) S 14987 14990 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10777359 9740288 345 18446744073709551615 4194304 5098028 140723236689216 140723236687320 140101835498108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 23293952 140723236692379 140723236692583 140723236692583 140723236696043 0
/proc/14990/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 1.89 1.81 1.82 5/213 15006
/proc/meminfo: memFree=31615572/32770624 swapFree=0/192252
[pid=14990] ppid=14987 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14990/stat : 14990 (xcsp3-exec) S 14987 14990 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10777359 9740288 345 18446744073709551615 4194304 5098028 140723236689216 140723236687320 140101835498108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 23293952 140723236692379 140723236692583 140723236692583 140723236696043 0
/proc/14990/statm: 2378 345 289 221 0 87 0
[pid=14992] ppid=14990 vsize=13980732 CPUtime=3.83 cores=1,3,5,7
/proc/14992/stat : 14992 (java) S 14990 14990 5091 0 -1 1077944320 33846 0 0 0 376 7 0 0 20 0 15 0 10777367 14316269568 36526 18446744073709551615 4194304 4196468 140721561637360 140721561619904 140198376632055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
/proc/14992/statm: 3495183 36526 3181 1 0 3483484 0
[pid=14992/tid=14993] ppid=14990 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/14992/task/14993/stat : 14993 (java) R 14990 14990 5091 0 -1 4202560 9000 0 0 0 132 4 0 0 20 0 15 0 10777367 14316269568 36526 18446744073709551615 4194304 4196468 140721561637360 140198380870736 140198020969660 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14994] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/14994/stat : 14994 (java) S 14990 14990 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10777368 14316269568 36526 18446744073709551615 4194304 4196468 140721561637360 140198337531024 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14995] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/14995/stat : 14995 (java) S 14990 14990 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10777368 14316269568 36526 18446744073709551615 4194304 4196468 140721561637360 140197975485456 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14996] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/14996/stat : 14996 (java) S 14990 14990 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10777368 14316269568 36526 18446744073709551615 4194304 4196468 140721561637360 140197974432656 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14997] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/14997/stat : 14997 (java) S 14990 14990 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10777368 14316269568 36526 18446744073709551615 4194304 4196468 140721561637360 140197973379856 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14998] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/14998/stat : 14998 (java) S 14990 14990 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10777369 14316269568 36526 18446744073709551615 4194304 4196468 140721561637360 140197855177072 140198376643202 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14999] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/14999/stat : 14999 (java) S 14990 14990 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10777370 14316269568 36526 18446744073709551615 4194304 4196468 140721561637360 140197854123040 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15000] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15000/stat : 15000 (java) S 14990 14990 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10777370 14316269568 36526 18446744073709551615 4194304 4196468 140721561637360 140197853070192 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15001] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15001/stat : 15001 (java) S 14990 14990 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10777372 14316269568 36526 18446744073709551615 4194304 4196468 140721561637360 140197852018512 140198376650651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15002] ppid=14990 vsize=13980732 CPUtime=1.02 cores=1,3,5,7
/proc/14992/task/15002/stat : 15002 (java) R 14990 14990 5091 0 -1 4202560 6920 0 0 0 102 0 0 0 20 0 15 0 10777372 14316269568 36526 18446744073709551615 4194304 4196468 140721561637360 140197850947288 140198361377726 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15003] ppid=14990 vsize=13980732 CPUtime=1.02 cores=1,3,5,7
/proc/14992/task/15003/stat : 15003 (java) R 14990 14990 5091 0 -1 4202560 14070 0 0 0 101 1 0 0 20 0 15 0 10777372 14316269568 36526 18446744073709551615 4194304 4196468 140721561637360 140197849895064 140198360160868 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15004] ppid=14990 vsize=13980732 CPUtime=0.39 cores=1,3,5,7
/proc/14992/task/15004/stat : 15004 (java) S 14990 14990 5091 0 -1 1077944384 2548 0 0 0 39 0 0 0 20 0 15 0 10777372 14316269568 36526 18446744073709551615 4194304 4196468 140721561637360 140197848861296 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15005] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15005/stat : 15005 (java) S 14990 14990 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10777372 14316269568 36526 18446744073709551615 4194304 4196468 140721561637360 140197847808736 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15006] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15006/stat : 15006 (java) S 14990 14990 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10777376 14316269568 36526 18446744073709551615 4194304 4196468 140721561637360 140197846756016 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 13990244
[startup+3.1007 s]
/proc/loadavg: 1.89 1.81 1.82 5/213 15006
/proc/meminfo: memFree=31518108/32770624 swapFree=0/192252
[pid=14990] ppid=14987 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14990/stat : 14990 (xcsp3-exec) S 14987 14990 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10777359 9740288 345 18446744073709551615 4194304 5098028 140723236689216 140723236687320 140101835498108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 23293952 140723236692379 140723236692583 140723236692583 140723236696043 0
/proc/14990/statm: 2378 345 289 221 0 87 0
[pid=14992] ppid=14990 vsize=13980732 CPUtime=8.27 cores=1,3,5,7
/proc/14992/stat : 14992 (java) S 14990 14990 5091 0 -1 1077944320 47410 0 0 0 817 10 0 0 20 0 15 0 10777367 14316269568 61131 18446744073709551615 4194304 4196468 140721561637360 140721561619904 140198376632055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
/proc/14992/statm: 3495183 61131 3207 1 0 3483484 0
[pid=14992/tid=14993] ppid=14990 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/14992/task/14993/stat : 14993 (java) R 14990 14990 5091 0 -1 4202560 9717 0 0 0 290 5 0 0 20 0 15 0 10777367 14316269568 61131 18446744073709551615 4194304 4196468 140721561637360 140198380869672 140198020096953 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14994] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/14994/stat : 14994 (java) S 14990 14990 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10777368 14316269568 61131 18446744073709551615 4194304 4196468 140721561637360 140198337531024 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14995] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/14995/stat : 14995 (java) S 14990 14990 5091 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 10777368 14316269568 61131 18446744073709551615 4194304 4196468 140721561637360 140197975485456 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14996] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/14996/stat : 14996 (java) S 14990 14990 5091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10777368 14316269568 61131 18446744073709551615 4194304 4196468 140721561637360 140197974432656 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14997] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/14997/stat : 14997 (java) S 14990 14990 5091 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 15 0 10777368 14316269568 61131 18446744073709551615 4194304 4196468 140721561637360 140197973379856 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14998] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/14998/stat : 14998 (java) S 14990 14990 5091 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 15 0 10777369 14316269568 61131 18446744073709551615 4194304 4196468 140721561637360 140197855177072 140198376643202 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14999] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/14999/stat : 14999 (java) S 14990 14990 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10777370 14316269568 61131 18446744073709551615 4194304 4196468 140721561637360 140197854123104 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15000] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15000/stat : 15000 (java) S 14990 14990 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10777370 14316269568 61131 18446744073709551615 4194304 4196468 140721561637360 140197853070192 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15001] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15001/stat : 15001 (java) S 14990 14990 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10777372 14316269568 61131 18446744073709551615 4194304 4196468 140721561637360 140197852018512 140198376650651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15002] ppid=14990 vsize=13980732 CPUtime=2.38 cores=1,3,5,7
/proc/14992/task/15002/stat : 15002 (java) R 14990 14990 5091 0 -1 4202560 8367 0 0 0 238 0 0 0 20 0 15 0 10777372 14316269568 61131 18446744073709551615 4194304 4196468 140721561637360 140197850966896 140198359843739 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15003] ppid=14990 vsize=13980732 CPUtime=2.38 cores=1,3,5,7
/proc/14992/task/15003/stat : 15003 (java) S 14990 14990 5091 0 -1 1077944384 23801 0 0 0 235 3 0 0 20 0 15 0 10777372 14316269568 61131 18446744073709551615 4194304 4196468 140721561637360 140197849914096 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15004] ppid=14990 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/14992/task/15004/stat : 15004 (java) S 14990 14990 5091 0 -1 1077944384 3415 0 0 0 47 1 0 0 20 0 15 0 10777372 14316269568 61131 18446744073709551615 4194304 4196468 140721561637360 140197848861296 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15005] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15005/stat : 15005 (java) S 14990 14990 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10777372 14316269568 61131 18446744073709551615 4194304 4196468 140721561637360 140197847808736 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15006] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15006/stat : 15006 (java) S 14990 14990 5091 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 10777376 14316269568 61131 18446744073709551615 4194304 4196468 140721561637360 140197846756016 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
Current children cumulated CPU time (s) 8.27
Current children cumulated vsize (KiB) 13990244
[startup+6.30074 s]
/proc/loadavg: 1.82 1.80 1.82 3/213 15006
/proc/meminfo: memFree=31470608/32770624 swapFree=0/192252
[pid=14990] ppid=14987 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14990/stat : 14990 (xcsp3-exec) S 14987 14990 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10777359 9740288 345 18446744073709551615 4194304 5098028 140723236689216 140723236687320 140101835498108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 23293952 140723236692379 140723236692583 140723236692583 140723236696043 0
/proc/14990/statm: 2378 345 289 221 0 87 0
[pid=14992] ppid=14990 vsize=13980732 CPUtime=12.55 cores=1,3,5,7
/proc/14992/stat : 14992 (java) S 14990 14990 5091 0 -1 1077944320 47739 0 0 0 1243 12 0 0 20 0 15 0 10777367 14316269568 63384 18446744073709551615 4194304 4196468 140721561637360 140721561619904 140198376632055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
/proc/14992/statm: 3495183 63384 3217 1 0 3483484 0
[pid=14992/tid=14993] ppid=14990 vsize=13980732 CPUtime=6.14 cores=1,3,5,7
/proc/14992/task/14993/stat : 14993 (java) R 14990 14990 5091 0 -1 4202560 9744 0 0 0 609 5 0 0 20 0 15 0 10777367 14316269568 63384 18446744073709551615 4194304 4196468 140721561637360 140198380869112 140198020845341 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14994] ppid=14990 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14992/task/14994/stat : 14994 (java) S 14990 14990 5091 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 15 0 10777368 14316269568 63384 18446744073709551615 4194304 4196468 140721561637360 140198337531024 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14995] ppid=14990 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14992/task/14995/stat : 14995 (java) S 14990 14990 5091 0 -1 1077944384 236 0 0 0 1 0 0 0 20 0 15 0 10777368 14316269568 63384 18446744073709551615 4194304 4196468 140721561637360 140197975485456 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14996] ppid=14990 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14992/task/14996/stat : 14996 (java) S 14990 14990 5091 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 15 0 10777368 14316269568 63384 18446744073709551615 4194304 4196468 140721561637360 140197974432656 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14997] ppid=14990 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14992/task/14997/stat : 14997 (java) S 14990 14990 5091 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 15 0 10777368 14316269568 63384 18446744073709551615 4194304 4196468 140721561637360 140197973379856 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14998] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/14998/stat : 14998 (java) S 14990 14990 5091 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 15 0 10777369 14316269568 63384 18446744073709551615 4194304 4196468 140721561637360 140197855177072 140198376643202 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14999] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/14999/stat : 14999 (java) S 14990 14990 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10777370 14316269568 63384 18446744073709551615 4194304 4196468 140721561637360 140197854123104 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15000] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15000/stat : 15000 (java) S 14990 14990 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10777370 14316269568 63384 18446744073709551615 4194304 4196468 140721561637360 140197853070192 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15001] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15001/stat : 15001 (java) S 14990 14990 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10777372 14316269568 63384 18446744073709551615 4194304 4196468 140721561637360 140197852018512 140198376650651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15002] ppid=14990 vsize=13980732 CPUtime=2.9 cores=1,3,5,7
/proc/14992/task/15002/stat : 15002 (java) S 14990 14990 5091 0 -1 1077944384 8472 0 0 0 289 1 0 0 20 0 15 0 10777372 14316269568 63384 18446744073709551615 4194304 4196468 140721561637360 140197850966896 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15003] ppid=14990 vsize=13980732 CPUtime=2.88 cores=1,3,5,7
/proc/14992/task/15003/stat : 15003 (java) S 14990 14990 5091 0 -1 1077944384 23918 0 0 0 285 3 0 0 20 0 15 0 10777372 14316269568 63384 18446744073709551615 4194304 4196468 140721561637360 140197849914096 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15004] ppid=14990 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/14992/task/15004/stat : 15004 (java) S 14990 14990 5091 0 -1 1077944384 3455 0 0 0 50 1 0 0 20 0 15 0 10777372 14316269568 63384 18446744073709551615 4194304 4196468 140721561637360 140197848861296 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15005] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15005/stat : 15005 (java) S 14990 14990 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10777372 14316269568 63384 18446744073709551615 4194304 4196468 140721561637360 140197847808736 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15006] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15006/stat : 15006 (java) S 14990 14990 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10777376 14316269568 63384 18446744073709551615 4194304 4196468 140721561637360 140197846756016 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.84 1.80 1.82 4/213 15006
/proc/meminfo: memFree=31482196/32770624 swapFree=0/192260
[pid=14990] ppid=14987 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14990/stat : 14990 (xcsp3-exec) S 14987 14990 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10777359 9740288 345 18446744073709551615 4194304 5098028 140723236689216 140723236687320 140101835498108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 23293952 140723236692379 140723236692583 140723236692583 140723236696043 0
/proc/14990/statm: 2378 345 289 221 0 87 0
[pid=14992] ppid=14990 vsize=13980732 CPUtime=19.23 cores=1,3,5,7
/proc/14992/stat : 14992 (java) S 14990 14990 5091 0 -1 1077944320 52787 0 0 0 1909 14 0 0 20 0 15 0 10777367 14316269568 62458 18446744073709551615 4194304 4196468 140721561637360 140721561619904 140198376632055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
/proc/14992/statm: 3495183 62458 3225 1 0 3483484 0
[pid=14992/tid=14993] ppid=14990 vsize=13980732 CPUtime=12.51 cores=1,3,5,7
/proc/14992/task/14993/stat : 14993 (java) R 14990 14990 5091 0 -1 4202560 10555 0 0 0 1246 5 0 0 20 0 15 0 10777367 14316269568 62458 18446744073709551615 4194304 4196468 140721561637360 140198380868776 140198023037268 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14994] ppid=14990 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/14992/task/14994/stat : 14994 (java) S 14990 14990 5091 0 -1 1077944384 189 0 0 0 3 0 0 0 20 0 15 0 10777368 14316269568 62458 18446744073709551615 4194304 4196468 140721561637360 140198337531024 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14995] ppid=14990 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/14992/task/14995/stat : 14995 (java) S 14990 14990 5091 0 -1 1077944384 887 0 0 0 3 0 0 0 20 0 15 0 10777368 14316269568 62458 18446744073709551615 4194304 4196468 140721561637360 140197975485456 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
################
# More data... #
################
/proc/14992/stat : 14992 (java) S 14990 14990 5091 0 -1 1077944320 74660 0 0 0 11063 32 0 0 20 0 15 0 10777367 14316269568 67636 18446744073709551615 4194304 4196468 140721561637360 140721561619904 140198376632055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
/proc/14992/statm: 3495183 67636 3225 1 0 3483484 0
[pid=14992/tid=14993] ppid=14990 vsize=13980732 CPUtime=101.48 cores=1,3,5,7
/proc/14992/task/14993/stat : 14993 (java) R 14990 14990 5091 0 -1 4202560 15087 0 0 0 10142 6 0 0 20 0 15 0 10777367 14316269568 67636 18446744073709551615 4194304 4196468 140721561637360 140198380871424 140198020846015 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14994] ppid=14990 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/14992/task/14994/stat : 14994 (java) S 14990 14990 5091 0 -1 1077944384 543 0 0 0 48 4 0 0 20 0 15 0 10777368 14316269568 67636 18446744073709551615 4194304 4196468 140721561637360 140198337531024 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14995] ppid=14990 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/14992/task/14995/stat : 14995 (java) S 14990 14990 5091 0 -1 1077944384 1605 0 0 0 48 4 0 0 20 0 15 0 10777368 14316269568 67636 18446744073709551615 4194304 4196468 140721561637360 140197975485456 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14996] ppid=14990 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/14992/task/14996/stat : 14996 (java) S 14990 14990 5091 0 -1 1077944384 1209 0 0 0 47 4 0 0 20 0 15 0 10777368 14316269568 67636 18446744073709551615 4194304 4196468 140721561637360 140197974432656 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14997] ppid=14990 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/14992/task/14997/stat : 14997 (java) S 14990 14990 5091 0 -1 1077944384 1439 0 0 0 49 3 0 0 20 0 15 0 10777368 14316269568 67636 18446744073709551615 4194304 4196468 140721561637360 140197973379856 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14998] ppid=14990 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/14992/task/14998/stat : 14998 (java) S 14990 14990 5091 0 -1 1077944384 1541 0 0 0 9 1 0 0 20 0 15 0 10777369 14316269568 67636 18446744073709551615 4194304 4196468 140721561637360 140197855177072 140198376643202 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14999] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/14999/stat : 14999 (java) S 14990 14990 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10777370 14316269568 67636 18446744073709551615 4194304 4196468 140721561637360 140197854123104 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15000] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15000/stat : 15000 (java) S 14990 14990 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10777370 14316269568 67636 18446744073709551615 4194304 4196468 140721561637360 140197853070192 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15001] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15001/stat : 15001 (java) S 14990 14990 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10777372 14316269568 67636 18446744073709551615 4194304 4196468 140721561637360 140197852018512 140198376650651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15002] ppid=14990 vsize=13980732 CPUtime=3.29 cores=1,3,5,7
/proc/14992/task/15002/stat : 15002 (java) S 14990 14990 5091 0 -1 1077944384 14532 0 0 0 328 1 0 0 20 0 15 0 10777372 14316269568 67636 18446744073709551615 4194304 4196468 140721561637360 140197850966896 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15003] ppid=14990 vsize=13980732 CPUtime=3.33 cores=1,3,5,7
/proc/14992/task/15003/stat : 15003 (java) S 14990 14990 5091 0 -1 1077944384 29426 0 0 0 330 3 0 0 20 0 15 0 10777372 14316269568 67636 18446744073709551615 4194304 4196468 140721561637360 140197849914096 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15004] ppid=14990 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/14992/task/15004/stat : 15004 (java) S 14990 14990 5091 0 -1 1077944384 7656 0 0 0 55 1 0 0 20 0 15 0 10777372 14316269568 67636 18446744073709551615 4194304 4196468 140721561637360 140197848861296 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15005] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15005/stat : 15005 (java) S 14990 14990 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10777372 14316269568 67636 18446744073709551615 4194304 4196468 140721561637360 140197847808736 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15006] ppid=14990 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/14992/task/15006/stat : 15006 (java) S 14990 14990 5091 0 -1 1077944384 276 0 0 0 1 3 0 0 20 0 15 0 10777376 14316269568 67636 18446744073709551615 4194304 4196468 140721561637360 140197846756016 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
Current children cumulated CPU time (s) 110.95
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.53 1.68 1.77 3/212 15087
/proc/meminfo: memFree=31261272/32770624 swapFree=0/192424
[pid=14990] ppid=14987 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14990/stat : 14990 (xcsp3-exec) S 14987 14990 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10777359 9740288 345 18446744073709551615 4194304 5098028 140723236689216 140723236687320 140101835498108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 23293952 140723236692379 140723236692583 140723236692583 140723236696043 0
/proc/14990/statm: 2378 345 289 221 0 87 0
[pid=14992] ppid=14990 vsize=13980732 CPUtime=172.34 cores=1,3,5,7
/proc/14992/stat : 14992 (java) S 14990 14990 5091 0 -1 1077944320 82013 0 0 0 17182 52 0 0 20 0 15 0 10777367 14316269568 95198 18446744073709551615 4194304 4196468 140721561637360 140721561619904 140198376632055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
/proc/14992/statm: 3495183 95198 3225 1 0 3483484 0
[pid=14992/tid=14993] ppid=14990 vsize=13980732 CPUtime=160.9 cores=1,3,5,7
/proc/14992/task/14993/stat : 14993 (java) R 14990 14990 5091 0 -1 4202560 17664 0 0 0 16084 6 0 0 20 0 15 0 10777367 14316269568 95198 18446744073709551615 4194304 4196468 140721561637360 140198380871216 140198023898257 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14994] ppid=14990 vsize=13980732 CPUtime=0.98 cores=1,3,5,7
/proc/14992/task/14994/stat : 14994 (java) S 14990 14990 5091 0 -1 1077944384 1296 0 0 0 90 8 0 0 20 0 15 0 10777368 14316269568 95198 18446744073709551615 4194304 4196468 140721561637360 140198337531024 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14995] ppid=14990 vsize=13980732 CPUtime=0.98 cores=1,3,5,7
/proc/14992/task/14995/stat : 14995 (java) S 14990 14990 5091 0 -1 1077944384 2647 0 0 0 90 8 0 0 20 0 15 0 10777368 14316269568 95198 18446744073709551615 4194304 4196468 140721561637360 140197975485456 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14996] ppid=14990 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/14992/task/14996/stat : 14996 (java) S 14990 14990 5091 0 -1 1077944384 1781 0 0 0 89 8 0 0 20 0 15 0 10777368 14316269568 95198 18446744073709551615 4194304 4196468 140721561637360 140197974432656 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14997] ppid=14990 vsize=13980732 CPUtime=0.98 cores=1,3,5,7
/proc/14992/task/14997/stat : 14997 (java) S 14990 14990 5091 0 -1 1077944384 2089 0 0 0 90 8 0 0 20 0 15 0 10777368 14316269568 95198 18446744073709551615 4194304 4196468 140721561637360 140197973379856 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14998] ppid=14990 vsize=13980732 CPUtime=0.17 cores=1,3,5,7
/proc/14992/task/14998/stat : 14998 (java) S 14990 14990 5091 0 -1 1077944384 1818 0 0 0 15 2 0 0 20 0 15 0 10777369 14316269568 95198 18446744073709551615 4194304 4196468 140721561637360 140197855177072 140198376643202 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14999] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/14999/stat : 14999 (java) S 14990 14990 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10777370 14316269568 95198 18446744073709551615 4194304 4196468 140721561637360 140197854123104 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15000] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15000/stat : 15000 (java) S 14990 14990 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10777370 14316269568 95198 18446744073709551615 4194304 4196468 140721561637360 140197853070192 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15001] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15001/stat : 15001 (java) S 14990 14990 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10777372 14316269568 95198 18446744073709551615 4194304 4196468 140721561637360 140197852018512 140198376650651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15002] ppid=14990 vsize=13980732 CPUtime=3.29 cores=1,3,5,7
/proc/14992/task/15002/stat : 15002 (java) S 14990 14990 5091 0 -1 1077944384 14711 0 0 0 328 1 0 0 20 0 15 0 10777372 14316269568 95198 18446744073709551615 4194304 4196468 140721561637360 140197850966896 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15003] ppid=14990 vsize=13980732 CPUtime=3.34 cores=1,3,5,7
/proc/14992/task/15003/stat : 15003 (java) S 14990 14990 5091 0 -1 1077944384 30468 0 0 0 331 3 0 0 20 0 15 0 10777372 14316269568 95198 18446744073709551615 4194304 4196468 140721561637360 140197849914096 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15004] ppid=14990 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/14992/task/15004/stat : 15004 (java) S 14990 14990 5091 0 -1 1077944384 7883 0 0 0 55 1 0 0 20 0 15 0 10777372 14316269568 95198 18446744073709551615 4194304 4196468 140721561637360 140197848861296 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15005] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15005/stat : 15005 (java) S 14990 14990 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10777372 14316269568 95198 18446744073709551615 4194304 4196468 140721561637360 140197847808736 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15006] ppid=14990 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/14992/task/15006/stat : 15006 (java) S 14990 14990 5091 0 -1 1077944384 310 0 0 0 3 4 0 0 20 0 15 0 10777376 14316269568 95198 18446744073709551615 4194304 4196468 140721561637360 140197846756016 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
Current children cumulated CPU time (s) 172.34
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.57 1.65 1.75 3/211 15090
/proc/meminfo: memFree=31067452/32770624 swapFree=0/192460
[pid=14990] ppid=14987 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14990/stat : 14990 (xcsp3-exec) S 14987 14990 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10777359 9740288 345 18446744073709551615 4194304 5098028 140723236689216 140723236687320 140101835498108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 23293952 140723236692379 140723236692583 140723236692583 140723236696043 0
/proc/14990/statm: 2378 345 289 221 0 87 0
[pid=14992] ppid=14990 vsize=13980732 CPUtime=233.69 cores=1,3,5,7
/proc/14992/stat : 14992 (java) S 14990 14990 5091 0 -1 1077944320 89644 0 0 0 23303 66 0 0 20 0 15 0 10777367 14316269568 117800 18446744073709551615 4194304 4196468 140721561637360 140721561619904 140198376632055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
/proc/14992/statm: 3495183 117800 3225 1 0 3483484 0
[pid=14992/tid=14993] ppid=14990 vsize=13980732 CPUtime=220.34 cores=1,3,5,7
/proc/14992/task/14993/stat : 14993 (java) R 14990 14990 5091 0 -1 4202560 20104 0 0 0 22027 7 0 0 20 0 15 0 10777367 14316269568 117800 18446744073709551615 4194304 4196468 140721561637360 140198380871728 140198022140860 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14994] ppid=14990 vsize=13980732 CPUtime=1.41 cores=1,3,5,7
/proc/14992/task/14994/stat : 14994 (java) S 14990 14990 5091 0 -1 1077944384 1782 0 0 0 131 10 0 0 20 0 15 0 10777368 14316269568 117800 18446744073709551615 4194304 4196468 140721561637360 140198337531024 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14995] ppid=14990 vsize=13980732 CPUtime=1.42 cores=1,3,5,7
/proc/14992/task/14995/stat : 14995 (java) S 14990 14990 5091 0 -1 1077944384 3260 0 0 0 131 11 0 0 20 0 15 0 10777368 14316269568 117800 18446744073709551615 4194304 4196468 140721561637360 140197975485456 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14996] ppid=14990 vsize=13980732 CPUtime=1.4 cores=1,3,5,7
/proc/14992/task/14996/stat : 14996 (java) S 14990 14990 5091 0 -1 1077944384 2523 0 0 0 129 11 0 0 20 0 15 0 10777368 14316269568 117800 18446744073709551615 4194304 4196468 140721561637360 140197974432656 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14997] ppid=14990 vsize=13980732 CPUtime=1.41 cores=1,3,5,7
/proc/14992/task/14997/stat : 14997 (java) S 14990 14990 5091 0 -1 1077944384 2565 0 0 0 131 10 0 0 20 0 15 0 10777368 14316269568 117800 18446744073709551615 4194304 4196468 140721561637360 140197973379856 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14998] ppid=14990 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/14992/task/14998/stat : 14998 (java) S 14990 14990 5091 0 -1 1077944384 2068 0 0 0 20 4 0 0 20 0 15 0 10777369 14316269568 117800 18446744073709551615 4194304 4196468 140721561637360 140197855177072 140198376643202 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14999] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/14999/stat : 14999 (java) S 14990 14990 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10777370 14316269568 117800 18446744073709551615 4194304 4196468 140721561637360 140197854123104 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15000] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15000/stat : 15000 (java) S 14990 14990 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10777370 14316269568 117800 18446744073709551615 4194304 4196468 140721561637360 140197853070192 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15001] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15001/stat : 15001 (java) S 14990 14990 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10777372 14316269568 117800 18446744073709551615 4194304 4196468 140721561637360 140197852018512 140198376650651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15002] ppid=14990 vsize=13980732 CPUtime=3.34 cores=1,3,5,7
/proc/14992/task/15002/stat : 15002 (java) S 14990 14990 5091 0 -1 1077944384 16137 0 0 0 333 1 0 0 20 0 15 0 10777372 14316269568 117800 18446744073709551615 4194304 4196468 140721561637360 140197850966896 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15003] ppid=14990 vsize=13980732 CPUtime=3.34 cores=1,3,5,7
/proc/14992/task/15003/stat : 15003 (java) S 14990 14990 5091 0 -1 1077944384 30570 0 0 0 331 3 0 0 20 0 15 0 10777372 14316269568 117800 18446744073709551615 4194304 4196468 140721561637360 140197849914096 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15004] ppid=14990 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/14992/task/15004/stat : 15004 (java) S 14990 14990 5091 0 -1 1077944384 8961 0 0 0 56 1 0 0 20 0 15 0 10777372 14316269568 117800 18446744073709551615 4194304 4196468 140721561637360 140197848861296 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15005] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15005/stat : 15005 (java) S 14990 14990 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10777372 14316269568 117800 18446744073709551615 4194304 4196468 140721561637360 140197847808736 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15006] ppid=14990 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/14992/task/15006/stat : 15006 (java) S 14990 14990 5091 0 -1 1077944384 328 0 0 0 5 5 0 0 20 0 15 0 10777376 14316269568 117800 18446744073709551615 4194304 4196468 140721561637360 140197846756016 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
Current children cumulated CPU time (s) 233.69
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.63 1.66 1.75 3/211 15090
/proc/meminfo: memFree=31156328/32770624 swapFree=0/192468
[pid=14990] ppid=14987 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14990/stat : 14990 (xcsp3-exec) S 14987 14990 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10777359 9740288 345 18446744073709551615 4194304 5098028 140723236689216 140723236687320 140101835498108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 23293952 140723236692379 140723236692583 140723236692583 140723236696043 0
/proc/14990/statm: 2378 345 289 221 0 87 0
[pid=14992] ppid=14990 vsize=13980732 CPUtime=251.88 cores=1,3,5,7
/proc/14992/stat : 14992 (java) S 14990 14990 5091 0 -1 1077944320 94639 0 0 0 25115 73 0 0 20 0 15 0 10777367 14316269568 84168 18446744073709551615 4194304 4196468 140721561637360 140721561619904 140198376632055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
/proc/14992/statm: 3495183 84168 3240 1 0 3483484 0
[pid=14992/tid=14993] ppid=14990 vsize=13980732 CPUtime=237.82 cores=1,3,5,7
/proc/14992/task/14993/stat : 14993 (java) R 14990 14990 5091 0 -1 4202560 20914 0 0 0 23775 7 0 0 20 0 15 0 10777367 14316269568 84168 18446744073709551615 4194304 4196468 140721561637360 140198380870816 140198361842652 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14994] ppid=14990 vsize=13980732 CPUtime=1.59 cores=1,3,5,7
/proc/14992/task/14994/stat : 14994 (java) S 14990 14990 5091 0 -1 1077944384 1981 0 0 0 147 12 0 0 20 0 15 0 10777368 14316269568 84168 18446744073709551615 4194304 4196468 140721561637360 140198337531024 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14995] ppid=14990 vsize=13980732 CPUtime=1.58 cores=1,3,5,7
/proc/14992/task/14995/stat : 14995 (java) S 14990 14990 5091 0 -1 1077944384 3613 0 0 0 146 12 0 0 20 0 15 0 10777368 14316269568 84168 18446744073709551615 4194304 4196468 140721561637360 140197975485456 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14996] ppid=14990 vsize=13980732 CPUtime=1.58 cores=1,3,5,7
/proc/14992/task/14996/stat : 14996 (java) S 14990 14990 5091 0 -1 1077944384 2648 0 0 0 145 13 0 0 20 0 15 0 10777368 14316269568 84168 18446744073709551615 4194304 4196468 140721561637360 140197974432656 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14997] ppid=14990 vsize=13980732 CPUtime=1.59 cores=1,3,5,7
/proc/14992/task/14997/stat : 14997 (java) S 14990 14990 5091 0 -1 1077944384 2766 0 0 0 147 12 0 0 20 0 15 0 10777368 14316269568 84168 18446744073709551615 4194304 4196468 140721561637360 140197973379856 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14998] ppid=14990 vsize=13980732 CPUtime=0.27 cores=1,3,5,7
/proc/14992/task/14998/stat : 14998 (java) S 14990 14990 5091 0 -1 1077944384 4886 0 0 0 22 5 0 0 20 0 15 0 10777369 14316269568 84168 18446744073709551615 4194304 4196468 140721561637360 140197855177072 140198376643202 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=14999] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/14999/stat : 14999 (java) S 14990 14990 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10777370 14316269568 84168 18446744073709551615 4194304 4196468 140721561637360 140197854123104 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15000] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15000/stat : 15000 (java) S 14990 14990 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10777370 14316269568 84168 18446744073709551615 4194304 4196468 140721561637360 140197853070192 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15001] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15001/stat : 15001 (java) S 14990 14990 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10777372 14316269568 84168 18446744073709551615 4194304 4196468 140721561637360 140197852018512 140198376650651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15002] ppid=14990 vsize=13980732 CPUtime=3.34 cores=1,3,5,7
/proc/14992/task/15002/stat : 15002 (java) S 14990 14990 5091 0 -1 1077944384 16137 0 0 0 333 1 0 0 20 0 15 0 10777372 14316269568 84168 18446744073709551615 4194304 4196468 140721561637360 140197850966896 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15003] ppid=14990 vsize=13980732 CPUtime=3.34 cores=1,3,5,7
/proc/14992/task/15003/stat : 15003 (java) S 14990 14990 5091 0 -1 1077944384 30570 0 0 0 331 3 0 0 20 0 15 0 10777372 14316269568 84168 18446744073709551615 4194304 4196468 140721561637360 140197849914096 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15004] ppid=14990 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/14992/task/15004/stat : 15004 (java) S 14990 14990 5091 0 -1 1077944384 9449 0 0 0 56 1 0 0 20 0 15 0 10777372 14316269568 84168 18446744073709551615 4194304 4196468 140721561637360 140197848861296 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15005] ppid=14990 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14992/task/15005/stat : 15005 (java) S 14990 14990 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10777372 14316269568 84168 18446744073709551615 4194304 4196468 140721561637360 140197847808736 140198376642261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
[pid=14992/tid=15006] ppid=14990 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/14992/task/15006/stat : 15006 (java) S 14990 14990 5091 0 -1 1077944384 329 0 0 0 5 6 0 0 20 0 15 0 10777376 14316269568 84168 18446744073709551615 4194304 4196468 140721561637360 140197846756016 140198376643202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140721561645524 140721561645699 140721561645699 140721561649103 0
Current children cumulated CPU time (s) 251.88
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 14992 sig 9
??? kill 14990 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.016
CPU time (s): 251.911
CPU user time (s): 251.17
CPU system time (s): 0.740863
CPU usage (%): 104.956
Max. virtual memory (cumulated for all children) (KiB): 13993668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.17
system time used= 0.740863
maximum resident set size= 535940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95337
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13933
involuntary context switches= 502
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.832134 second user time and 1.85425 second system time
The end