runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15085 MiB free)
memory of node 1: 16384 MiB (15616 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270151-1502620927/watcher-4270151-1502620927 -o /tmp/evaluation-result-4270151-1502620927/solver-4270151-1502620927 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28321 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 950521042 HOME/instance-4270151-1502620927.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31974, runsolver pid=31971
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 1.51 1.57 1.67 2/196 31975
/proc/meminfo: memFree=31438664/32770624 swapFree=67108860/67108860
[pid=31974] ppid=31971 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/31974/stat : 31974 (runsolver) D 31971 31974 17093 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 64286086 34791424 114 18446744073709551615 4194304 4346622 140736969778608 140736969775240 140367830504151 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6446216 6449568 23605248 140736969781312 140736969781801 140736969781801 140736969785290 0
/proc/31974/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.209054 s]*
/proc/loadavg: 1.51 1.57 1.67 2/210 31989
/proc/meminfo: memFree=31429100/32770624 swapFree=67108860/67108860
[pid=31974] ppid=31971 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31974/stat : 31974 (xcsp3-exec) S 31971 31974 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64286086 9740288 345 18446744073709551615 4194304 5098028 140734608992576 140734608990680 140277287236220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 12636160 140734608994687 140734608994890 140734608994890 140734608998379 0
/proc/31974/statm: 2378 345 289 221 0 87 0
[pid=31976] ppid=31974 vsize=13907304 memory=20364 CPUtime=0.05 cores=1,3,5,7
/proc/31976/stat : 31976 (java) S 31974 31974 17093 0 -1 1077944320 5048 0 0 0 4 1 0 0 20 0 14 0 64286099 14241079296 5091 18446744073709551615 4194304 4196468 140732196337792 140732196320336 140154170818295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
/proc/31976/statm: 3476826 5091 2560 1 0 3466323 0
[pid=31976/tid=31977] ppid=31974 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/31976/task/31977/stat : 31977 (java) D 31974 31974 17093 0 -1 4202560 3221 0 0 0 4 0 0 0 20 0 14 0 64286099 14241079296 5091 18446744073709551615 4194304 4196468 140732196337792 140154175055776 140154170840317 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31978] ppid=31974 vsize=13907304 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31978/stat : 31978 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64286100 14241079296 5091 18446744073709551615 4194304 4196468 140732196337792 140154112765072 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31979] ppid=31974 vsize=13907304 memory=140367833482133 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31979/stat : 31979 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64286100 14241079296 5091 18446744073709551615 4194304 4196468 140732196337792 140153769696272 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31980] ppid=31974 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31980/stat : 31980 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64286100 14241079296 5091 18446744073709551615 4194304 4196468 140732196337792 140153768643472 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31981] ppid=31974 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31981/stat : 31981 (java) S 31974 31974 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64286100 14241079296 5091 18446744073709551615 4194304 4196468 140732196337792 140153767590672 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31982] ppid=31974 vsize=13907304 memory=140367833454208 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31982/stat : 31982 (java) S 31974 31974 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64286101 14241079296 5091 18446744073709551615 4194304 4196468 140732196337792 140153716545904 140154170829442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31983] ppid=31974 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31983/stat : 31983 (java) S 31974 31974 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 64286101 14241079296 5091 18446744073709551615 4194304 4196468 140732196337792 140153715491872 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31984] ppid=31974 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31984/stat : 31984 (java) S 31974 31974 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 64286102 14241079296 5091 18446744073709551615 4194304 4196468 140732196337792 140153714439024 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31985] ppid=31974 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31985/stat : 31985 (java) S 31974 31974 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64286104 14241079296 5091 18446744073709551615 4194304 4196468 140732196337792 140153713387344 140154170836891 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31986] ppid=31974 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31986/stat : 31986 (java) S 31974 31974 17093 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 14 0 64286104 14241079296 5091 18446744073709551615 4194304 4196468 140732196337792 140153712335728 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31987] ppid=31974 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31987/stat : 31987 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64286104 14241079296 5091 18446744073709551615 4194304 4196468 140732196337792 140153711282928 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31988] ppid=31974 vsize=13907304 memory=140367833454208 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31988/stat : 31988 (java) S 31974 31974 17093 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 14 0 64286104 14241079296 5091 18446744073709551615 4194304 4196468 140732196337792 140153710230128 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31989] ppid=31974 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31989/stat : 31989 (java) S 31974 31974 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64286104 14241079296 5091 18446744073709551615 4194304 4196468 140732196337792 140153641233120 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 21744 KiB
[startup+0.309964 s]*
/proc/loadavg: 1.51 1.57 1.67 3/211 31990
/proc/meminfo: memFree=31417964/32770624 swapFree=67108860/67108860
[pid=31974] ppid=31971 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31974/stat : 31974 (xcsp3-exec) S 31971 31974 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64286086 9740288 345 18446744073709551615 4194304 5098028 140734608992576 140734608990680 140277287236220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 12636160 140734608994687 140734608994890 140734608994890 140734608998379 0
/proc/31974/statm: 2378 345 289 221 0 87 0
[pid=31976] ppid=31974 vsize=13974352 memory=34900 CPUtime=0.23 cores=1,3,5,7
/proc/31976/stat : 31976 (java) S 31974 31974 17093 0 -1 1077944320 8583 0 0 0 21 2 0 0 20 0 15 0 64286099 14309736448 8725 18446744073709551615 4194304 4196468 140732196337792 140732196320336 140154170818295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
/proc/31976/statm: 3493588 8725 2973 1 0 3482964 0
[pid=31976/tid=31977] ppid=31974 vsize=13975376 memory=-8774313645642428999 CPUtime=0.13 cores=1,3,5,7
/proc/31976/task/31977/stat : 31977 (java) R 31974 31974 17093 0 -1 4202560 5873 0 0 0 12 1 0 0 20 0 15 0 64286099 14310785024 8725 18446744073709551615 4194304 4196468 140732196337792 140154175040672 140154163498013 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31978] ppid=31974 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31978/stat : 31978 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286100 14310785024 8790 18446744073709551615 4194304 4196468 140732196337792 140154112765072 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31979] ppid=31974 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31979/stat : 31979 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286100 14310785024 8790 18446744073709551615 4194304 4196468 140732196337792 140153769696272 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31980] ppid=31974 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31980/stat : 31980 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286100 14310785024 8790 18446744073709551615 4194304 4196468 140732196337792 140153768643472 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31981] ppid=31974 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31981/stat : 31981 (java) S 31974 31974 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64286100 14310785024 8790 18446744073709551615 4194304 4196468 140732196337792 140153767590672 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31982] ppid=31974 vsize=13975376 memory=140367833454208 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31982/stat : 31982 (java) S 31974 31974 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64286101 14310785024 8856 18446744073709551615 4194304 4196468 140732196337792 140153716545904 140154170829442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31983] ppid=31974 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31983/stat : 31983 (java) S 31974 31974 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64286101 14310785024 8856 18446744073709551615 4194304 4196468 140732196337792 140153715491872 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31984] ppid=31974 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31984/stat : 31984 (java) S 31974 31974 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64286102 14310785024 8856 18446744073709551615 4194304 4196468 140732196337792 140153714439024 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31985] ppid=31974 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31985/stat : 31985 (java) S 31974 31974 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64286104 14310785024 8856 18446744073709551615 4194304 4196468 140732196337792 140153713387344 140154170836891 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31986] ppid=31974 vsize=13975376 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31976/task/31986/stat : 31986 (java) S 31974 31974 17093 0 -1 1077944384 577 0 0 0 1 0 0 0 20 0 15 0 64286104 14310785024 8922 18446744073709551615 4194304 4196468 140732196337792 140153712335728 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31987] ppid=31974 vsize=13975376 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/31976/task/31987/stat : 31987 (java) S 31974 31974 17093 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 15 0 64286104 14310785024 8922 18446744073709551615 4194304 4196468 140732196337792 140153711282928 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31988] ppid=31974 vsize=13975376 memory=140367833454208 CPUtime=0.05 cores=1,3,5,7
/proc/31976/task/31988/stat : 31988 (java) S 31974 31974 17093 0 -1 1077944384 695 0 0 0 5 0 0 0 20 0 15 0 64286104 14310785024 8922 18446744073709551615 4194304 4196468 140732196337792 140153710230128 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31989] ppid=31974 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31989/stat : 31989 (java) S 31974 31974 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64286104 14310785024 8922 18446744073709551615 4194304 4196468 140732196337792 140153641233120 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31990] ppid=31974 vsize=13975376 memory=140367833454208 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31990/stat : 31990 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286108 14310785024 8922 18446744073709551615 4194304 4196468 140732196337792 140153640180400 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 36280 KiB
[startup+0.701253 s]
/proc/loadavg: 1.51 1.57 1.67 5/211 31990
/proc/meminfo: memFree=31402976/32770624 swapFree=67108860/67108860
[pid=31974] ppid=31971 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31974/stat : 31974 (xcsp3-exec) S 31971 31974 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64286086 9740288 345 18446744073709551615 4194304 5098028 140734608992576 140734608990680 140277287236220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 12636160 140734608994687 140734608994890 140734608994890 140734608998379 0
/proc/31974/statm: 2378 345 289 221 0 87 0
[pid=31976] ppid=31974 vsize=13980732 memory=71768 CPUtime=1.13 cores=1,3,5,7
/proc/31976/stat : 31976 (java) S 31974 31974 17093 0 -1 1077944320 13025 0 0 0 108 5 0 0 20 0 15 0 64286099 14316269568 17942 18446744073709551615 4194304 4196468 140732196337792 140732196320336 140154170818295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
/proc/31976/statm: 3495183 17942 3160 1 0 3483476 0
[pid=31976/tid=31977] ppid=31974 vsize=13980732 memory=6224346690670842192 CPUtime=0.51 cores=1,3,5,7
/proc/31976/task/31977/stat : 31977 (java) R 31974 31974 17093 0 -1 4202560 8538 0 0 0 48 3 0 0 20 0 15 0 64286099 14316269568 17942 18446744073709551615 4194304 4196468 140732196337792 140154175048784 140153792332180 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31978] ppid=31974 vsize=13980732 memory=7233977705465725024 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31978/stat : 31978 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 17942 18446744073709551615 4194304 4196468 140732196337792 140154112765072 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31979] ppid=31974 vsize=13980732 memory=7519148084804674902 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31979/stat : 31979 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 17942 18446744073709551615 4194304 4196468 140732196337792 140153769696272 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31980] ppid=31974 vsize=13980732 memory=3053511329498284128 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31980/stat : 31980 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 17942 18446744073709551615 4194304 4196468 140732196337792 140153768643472 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31981] ppid=31974 vsize=13980732 memory=4715433313220523562 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31981/stat : 31981 (java) S 31974 31974 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 17942 18446744073709551615 4194304 4196468 140732196337792 140153767590672 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31982] ppid=31974 vsize=13980732 memory=-7668917182949848256 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31982/stat : 31982 (java) S 31974 31974 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64286101 14316269568 17942 18446744073709551615 4194304 4196468 140732196337792 140153716545904 140154170829442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31983] ppid=31974 vsize=13980732 memory=6933690287860520088 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31983/stat : 31983 (java) S 31974 31974 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64286101 14316269568 17942 18446744073709551615 4194304 4196468 140732196337792 140153715491872 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31984] ppid=31974 vsize=13980732 memory=-6586668835053300886 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31984/stat : 31984 (java) S 31974 31974 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64286102 14316269568 17942 18446744073709551615 4194304 4196468 140732196337792 140153714439024 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31985] ppid=31974 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31985/stat : 31985 (java) S 31974 31974 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64286104 14316269568 17942 18446744073709551615 4194304 4196468 140732196337792 140153713387344 140154170836891 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31986] ppid=31974 vsize=13980732 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/31976/task/31986/stat : 31986 (java) R 31974 31974 17093 0 -1 4202560 959 0 0 0 15 0 0 0 20 0 15 0 64286104 14316269568 17942 18446744073709551615 4194304 4196468 140732196337792 140153712326832 140154155218013 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31987] ppid=31974 vsize=13980732 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/31976/task/31987/stat : 31987 (java) R 31974 31974 17093 0 -1 4202560 928 0 0 0 17 0 0 0 20 0 15 0 64286104 14316269568 17942 18446744073709551615 4194304 4196468 140732196337792 140153711282064 140154150051237 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31988] ppid=31974 vsize=13980732 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/31976/task/31988/stat : 31988 (java) R 31974 31974 17093 0 -1 4202560 1293 0 0 0 26 0 0 0 20 0 15 0 64286104 14316269568 17942 18446744073709551615 4194304 4196468 140732196337792 140153710230128 140154149444673 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31989] ppid=31974 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31989/stat : 31989 (java) S 31974 31974 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64286104 14316269568 17942 18446744073709551615 4194304 4196468 140732196337792 140153641233120 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31990] ppid=31974 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31990/stat : 31990 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286108 14316269568 17942 18446744073709551615 4194304 4196468 140732196337792 140153640180400 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 73148 KiB
[startup+1.50086 s]
/proc/loadavg: 1.51 1.57 1.67 5/211 31990
/proc/meminfo: memFree=31360268/32770624 swapFree=67108860/67108860
[pid=31974] ppid=31971 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31974/stat : 31974 (xcsp3-exec) S 31971 31974 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64286086 9740288 345 18446744073709551615 4194304 5098028 140734608992576 140734608990680 140277287236220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 12636160 140734608994687 140734608994890 140734608994890 140734608998379 0
/proc/31974/statm: 2378 345 289 221 0 87 0
[pid=31976] ppid=31974 vsize=13980732 memory=98572 CPUtime=3.03 cores=1,3,5,7
/proc/31976/stat : 31976 (java) S 31974 31974 17093 0 -1 1077944320 19089 0 0 0 297 6 0 0 20 0 15 0 64286099 14316269568 24643 18446744073709551615 4194304 4196468 140732196337792 140732196320336 140154170818295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
/proc/31976/statm: 3495183 24643 3180 1 0 3483476 0
[pid=31976/tid=31977] ppid=31974 vsize=13980732 memory=0 CPUtime=1.32 cores=1,3,5,7
/proc/31976/task/31977/stat : 31977 (java) R 31974 31974 17093 0 -1 4202560 9667 0 0 0 128 4 0 0 20 0 15 0 64286099 14316269568 24643 18446744073709551615 4194304 4196468 140732196337792 140154175054144 140153796806359 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31978] ppid=31974 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31978/stat : 31978 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 24643 18446744073709551615 4194304 4196468 140732196337792 140154112765072 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31979] ppid=31974 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31979/stat : 31979 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 24643 18446744073709551615 4194304 4196468 140732196337792 140153769696272 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31980] ppid=31974 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31980/stat : 31980 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 24643 18446744073709551615 4194304 4196468 140732196337792 140153768643472 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31981] ppid=31974 vsize=13980732 memory=280735437844128 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31981/stat : 31981 (java) S 31974 31974 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 24643 18446744073709551615 4194304 4196468 140732196337792 140153767590672 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31982] ppid=31974 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31982/stat : 31982 (java) S 31974 31974 17093 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 64286101 14316269568 24643 18446744073709551615 4194304 4196468 140732196337792 140153716545904 140154170829442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31983] ppid=31974 vsize=13980732 memory=140367718936192 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31983/stat : 31983 (java) S 31974 31974 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64286101 14316269568 24643 18446744073709551615 4194304 4196468 140732196337792 140153715491872 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31984] ppid=31974 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31984/stat : 31984 (java) S 31974 31974 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64286102 14316269568 24643 18446744073709551615 4194304 4196468 140732196337792 140153714439024 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31985] ppid=31974 vsize=13980732 memory=280735437861792 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31985/stat : 31985 (java) S 31974 31974 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64286104 14316269568 24643 18446744073709551615 4194304 4196468 140732196337792 140153713387344 140154170836891 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31986] ppid=31974 vsize=13980732 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/31976/task/31986/stat : 31986 (java) S 31974 31974 17093 0 -1 1077944384 2219 0 0 0 60 1 0 0 20 0 15 0 64286104 14316269568 24643 18446744073709551615 4194304 4196468 140732196337792 140153712335728 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31987] ppid=31974 vsize=13980732 memory=-7165351541977658656 CPUtime=0.67 cores=1,3,5,7
/proc/31976/task/31987/stat : 31987 (java) R 31974 31974 17093 0 -1 4202560 3898 0 0 0 67 0 0 0 20 0 15 0 64286104 14316269568 24643 18446744073709551615 4194304 4196468 140732196337792 140153711282928 140154151454307 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31988] ppid=31974 vsize=13980732 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/31976/task/31988/stat : 31988 (java) S 31974 31974 17093 0 -1 1077944384 1947 0 0 0 40 0 0 0 20 0 15 0 64286104 14316269568 24643 18446744073709551615 4194304 4196468 140732196337792 140153710230128 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31989] ppid=31974 vsize=13980732 memory=280735437293856 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31989/stat : 31989 (java) S 31974 31974 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64286104 14316269568 24643 18446744073709551615 4194304 4196468 140732196337792 140153641233120 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31990] ppid=31974 vsize=13980732 memory=3760702355963764592 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31990/stat : 31990 (java) S 31974 31974 17093 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 64286108 14316269568 24643 18446744073709551615 4194304 4196468 140732196337792 140153640180400 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 99952 KiB
[startup+2.47261 s]
# the end of solver process 31974 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.65772 s, system=0.085265 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60105 s]
/proc/loadavg: 1.51 1.57 1.67 5/211 31990
/proc/meminfo: memFree=31360268/32770624 swapFree=67108860/67108860
[pid=31974] ppid=31971 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31974/stat : 31974 (xcsp3-exec) S 31971 31974 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64286086 9740288 345 18446744073709551615 4194304 5098028 140734608992576 140734608990680 140277287236220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 12636160 140734608994687 140734608994890 140734608994890 140734608998379 0
/proc/31974/statm: 2378 345 289 221 0 87 0
[pid=31976] ppid=31974 vsize=13980732 memory=103496 CPUtime=3.3 cores=1,3,5,7
/proc/31976/stat : 31976 (java) S 31974 31974 17093 0 -1 1077944320 21536 0 0 0 324 6 0 0 20 0 15 0 64286099 14316269568 25874 18446744073709551615 4194304 4196468 140732196337792 140732196320336 140154170818295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
/proc/31976/statm: 3495183 25874 3181 1 0 3483476 0
[pid=31976/tid=31977] ppid=31974 vsize=13980732 memory=57284 CPUtime=1.42 cores=1,3,5,7
/proc/31976/task/31977/stat : 31977 (java) R 31974 31974 17093 0 -1 4202560 9786 0 0 0 138 4 0 0 20 0 15 0 64286099 14316269568 25874 18446744073709551615 4194304 4196468 140732196337792 140154175054144 140153796264868 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31978] ppid=31974 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31978/stat : 31978 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 25874 18446744073709551615 4194304 4196468 140732196337792 140154112765072 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31979] ppid=31974 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31979/stat : 31979 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 25874 18446744073709551615 4194304 4196468 140732196337792 140153769696272 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31980] ppid=31974 vsize=13980732 memory=96388 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31980/stat : 31980 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 25874 18446744073709551615 4194304 4196468 140732196337792 140153768643472 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31981] ppid=31974 vsize=13980732 memory=280735437031896 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31981/stat : 31981 (java) S 31974 31974 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 25874 18446744073709551615 4194304 4196468 140732196337792 140153767590672 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31982] ppid=31974 vsize=13980732 memory=415 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31982/stat : 31982 (java) S 31974 31974 17093 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 64286101 14316269568 25874 18446744073709551615 4194304 4196468 140732196337792 140153716545904 140154170829442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31983] ppid=31974 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31983/stat : 31983 (java) S 31974 31974 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64286101 14316269568 25874 18446744073709551615 4194304 4196468 140732196337792 140153715491872 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31984] ppid=31974 vsize=13980732 memory=36332 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31984/stat : 31984 (java) S 31974 31974 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64286102 14316269568 25874 18446744073709551615 4194304 4196468 140732196337792 140153714439024 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31985] ppid=31974 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31985/stat : 31985 (java) S 31974 31974 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64286104 14316269568 25874 18446744073709551615 4194304 4196468 140732196337792 140153713387344 140154170836891 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31986] ppid=31974 vsize=13980732 memory=2420 CPUtime=0.68 cores=1,3,5,7
/proc/31976/task/31986/stat : 31986 (java) R 31974 31974 17093 0 -1 4202560 3246 0 0 0 67 1 0 0 20 0 15 0 64286104 14316269568 25874 18446744073709551615 4194304 4196468 140732196337792 140153712316928 140154152362408 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31987] ppid=31974 vsize=13980732 memory=1732 CPUtime=0.77 cores=1,3,5,7
/proc/31976/task/31987/stat : 31987 (java) R 31974 31974 17093 0 -1 4202560 5184 0 0 0 77 0 0 0 20 0 15 0 64286104 14316269568 25874 18446744073709551615 4194304 4196468 140732196337792 140153711268984 140154163107677 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31988] ppid=31974 vsize=13980732 memory=5788 CPUtime=0.41 cores=1,3,5,7
/proc/31976/task/31988/stat : 31988 (java) S 31974 31974 17093 0 -1 1077944384 1953 0 0 0 41 0 0 0 20 0 15 0 64286104 14316269568 25874 18446744073709551615 4194304 4196468 140732196337792 140153710230128 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31989] ppid=31974 vsize=13980732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31989/stat : 31989 (java) S 31974 31974 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64286104 14316269568 25874 18446744073709551615 4194304 4196468 140732196337792 140153641233120 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31990] ppid=31974 vsize=13980732 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31990/stat : 31990 (java) S 31974 31974 17093 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 64286108 14316269568 25874 18446744073709551615 4194304 4196468 140732196337792 140153640180400 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
Current children cumulated CPU time: 3.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 104876 KiB
[startup+2.0008 s]*
/proc/loadavg: 1.51 1.57 1.67 3/211 31991
/proc/meminfo: memFree=31338544/32770624 swapFree=67108860/67108860
[pid=31974] ppid=31971 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31974/stat : 31974 (xcsp3-exec) S 31971 31974 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64286086 9740288 345 18446744073709551615 4194304 5098028 140734608992576 140734608990680 140277287236220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 12636160 140734608994687 140734608994890 140734608994890 140734608998379 0
/proc/31974/statm: 2378 345 289 221 0 87 0
[pid=31976] ppid=31974 vsize=13980732 memory=112704 CPUtime=4.09 cores=1,3,5,7
/proc/31976/stat : 31976 (java) S 31974 31974 17093 0 -1 1077944320 24226 0 0 0 402 7 0 0 20 0 15 0 64286099 14316269568 28176 18446744073709551615 4194304 4196468 140732196337792 140732196320336 140154170818295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
/proc/31976/statm: 3495183 28176 3182 1 0 3483476 0
[pid=31976/tid=31977] ppid=31974 vsize=13980732 memory=-8774313645642428999 CPUtime=1.83 cores=1,3,5,7
/proc/31976/task/31977/stat : 31977 (java) R 31974 31974 17093 0 -1 4202560 9810 0 0 0 179 4 0 0 20 0 15 0 64286099 14316269568 28176 18446744073709551615 4194304 4196468 140732196337792 140154175056984 140153796138787 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31978] ppid=31974 vsize=13980732 memory=8514701219730392229 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31978/stat : 31978 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 28176 18446744073709551615 4194304 4196468 140732196337792 140154112765072 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31979] ppid=31974 vsize=13980732 memory=6576575808607462313 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31979/stat : 31979 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 28176 18446744073709551615 4194304 4196468 140732196337792 140153769696272 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31980] ppid=31974 vsize=13980732 memory=-8542328529919094630 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31980/stat : 31980 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 28176 18446744073709551615 4194304 4196468 140732196337792 140153768643472 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31981] ppid=31974 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31981/stat : 31981 (java) S 31974 31974 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 28176 18446744073709551615 4194304 4196468 140732196337792 140153767590672 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31982] ppid=31974 vsize=13980732 memory=288230600312370564 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31982/stat : 31982 (java) S 31974 31974 17093 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 64286101 14316269568 28176 18446744073709551615 4194304 4196468 140732196337792 140153716545904 140154170829442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31983] ppid=31974 vsize=13980732 memory=14691898531010109 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31983/stat : 31983 (java) S 31974 31974 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64286101 14316269568 28176 18446744073709551615 4194304 4196468 140732196337792 140153715491872 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31984] ppid=31974 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31984/stat : 31984 (java) S 31974 31974 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64286102 14316269568 28176 18446744073709551615 4194304 4196468 140732196337792 140153714439024 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31985] ppid=31974 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31985/stat : 31985 (java) S 31974 31974 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64286104 14316269568 28176 18446744073709551615 4194304 4196468 140732196337792 140153713387344 140154170836891 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31986] ppid=31974 vsize=13980732 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/31976/task/31986/stat : 31986 (java) S 31974 31974 17093 0 -1 1077944384 3790 0 0 0 81 1 0 0 20 0 15 0 64286104 14316269568 28176 18446744073709551615 4194304 4196468 140732196337792 140153712335728 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31987] ppid=31974 vsize=13980732 memory=0 CPUtime=1 cores=1,3,5,7
/proc/31976/task/31987/stat : 31987 (java) S 31974 31974 17093 0 -1 1077944384 7266 0 0 0 99 1 0 0 20 0 15 0 64286104 14316269568 28176 18446744073709551615 4194304 4196468 140732196337792 140153711282928 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31988] ppid=31974 vsize=13980732 memory=-1 CPUtime=0.42 cores=1,3,5,7
/proc/31976/task/31988/stat : 31988 (java) S 31974 31974 17093 0 -1 1077944384 1990 0 0 0 42 0 0 0 20 0 15 0 64286104 14316269568 28176 18446744073709551615 4194304 4196468 140732196337792 140153710230128 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31989] ppid=31974 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31989/stat : 31989 (java) S 31974 31974 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64286104 14316269568 28176 18446744073709551615 4194304 4196468 140732196337792 140153641233120 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31990] ppid=31974 vsize=13980732 memory=140367833454208 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31990/stat : 31990 (java) S 31974 31974 17093 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 64286108 14316269568 28176 18446744073709551615 4194304 4196468 140732196337792 140153640180400 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
Current children cumulated CPU time: 4.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 114084 KiB
[startup+2.40085 s]
/proc/loadavg: 1.51 1.57 1.67 3/211 31991
/proc/meminfo: memFree=31338544/32770624 swapFree=67108860/67108860
[pid=31974] ppid=31971 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31974/stat : 31974 (xcsp3-exec) S 31971 31974 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64286086 9740288 345 18446744073709551615 4194304 5098028 140734608992576 140734608990680 140277287236220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 12636160 140734608994687 140734608994890 140734608994890 140734608998379 0
/proc/31974/statm: 2378 345 289 221 0 87 0
[pid=31976] ppid=31974 vsize=13980732 memory=113040 CPUtime=4.57 cores=1,3,5,7
/proc/31976/stat : 31976 (java) S 31974 31974 17093 0 -1 1077944320 24301 0 0 0 450 7 0 0 20 0 15 0 64286099 14316269568 28260 18446744073709551615 4194304 4196468 140732196337792 140732196320336 140154170818295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
/proc/31976/statm: 3495183 28260 3184 1 0 3483476 0
[pid=31976/tid=31977] ppid=31974 vsize=13980732 memory=-7522837415797432223 CPUtime=2.22 cores=1,3,5,7
/proc/31976/task/31977/stat : 31977 (java) R 31974 31974 17093 0 -1 4202560 9819 0 0 0 218 4 0 0 20 0 15 0 64286099 14316269568 28260 18446744073709551615 4194304 4196468 140732196337792 140154175054496 140153796139220 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31978] ppid=31974 vsize=13980732 memory=7684433386921362234 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31978/stat : 31978 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 28260 18446744073709551615 4194304 4196468 140732196337792 140154112765072 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31979] ppid=31974 vsize=13980732 memory=-7533511066075829596 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31979/stat : 31979 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 28260 18446744073709551615 4194304 4196468 140732196337792 140153769696272 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31980] ppid=31974 vsize=13980732 memory=-9001727377931987047 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31980/stat : 31980 (java) S 31974 31974 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 28260 18446744073709551615 4194304 4196468 140732196337792 140153768643472 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31981] ppid=31974 vsize=13980732 memory=6944657696261955641 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31981/stat : 31981 (java) S 31974 31974 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64286100 14316269568 28260 18446744073709551615 4194304 4196468 140732196337792 140153767590672 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31982] ppid=31974 vsize=13980732 memory=-7533229591096565664 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31982/stat : 31982 (java) S 31974 31974 17093 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 64286101 14316269568 28260 18446744073709551615 4194304 4196468 140732196337792 140153716545904 140154170829442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31983] ppid=31974 vsize=13980732 memory=-7533228491584937888 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31983/stat : 31983 (java) S 31974 31974 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64286101 14316269568 28260 18446744073709551615 4194304 4196468 140732196337792 140153715491872 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31984] ppid=31974 vsize=13980732 memory=-6586667735541663136 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31984/stat : 31984 (java) S 31974 31974 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64286102 14316269568 28260 18446744073709551615 4194304 4196468 140732196337792 140153714439024 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31985] ppid=31974 vsize=13980732 memory=-6586667735541663136 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31985/stat : 31985 (java) S 31974 31974 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64286104 14316269568 28260 18446744073709551615 4194304 4196468 140732196337792 140153713387344 140154170836891 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31986] ppid=31974 vsize=13980732 memory=7016671349533276567 CPUtime=0.85 cores=1,3,5,7
/proc/31976/task/31986/stat : 31986 (java) S 31974 31974 17093 0 -1 1077944384 3829 0 0 0 84 1 0 0 20 0 15 0 64286104 14316269568 28260 18446744073709551615 4194304 4196468 140732196337792 140153712335728 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31987] ppid=31974 vsize=13980732 memory=8329294824090543255 CPUtime=1.05 cores=1,3,5,7
/proc/31976/task/31987/stat : 31987 (java) R 31974 31974 17093 0 -1 4202560 7278 0 0 0 104 1 0 0 20 0 15 0 64286104 14316269568 28260 18446744073709551615 4194304 4196468 140732196337792 140153711282928 140154152341244 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31988] ppid=31974 vsize=13980732 memory=-7385037615208631145 CPUtime=0.42 cores=1,3,5,7
/proc/31976/task/31988/stat : 31988 (java) S 31974 31974 17093 0 -1 1077944384 2002 0 0 0 42 0 0 0 20 0 15 0 64286104 14316269568 28260 18446744073709551615 4194304 4196468 140732196337792 140153710230128 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31989] ppid=31974 vsize=13980732 memory=4206468019030876256 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31989/stat : 31989 (java) S 31974 31974 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64286104 14316269568 28260 18446744073709551615 4194304 4196468 140732196337792 140153641233120 140154170828501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
[pid=31976/tid=31990] ppid=31974 vsize=13980732 memory=-9001727377965607015 CPUtime=0 cores=1,3,5,7
/proc/31976/task/31990/stat : 31990 (java) S 31974 31974 17093 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 64286108 14316269568 28260 18446744073709551615 4194304 4196468 140732196337792 140153640180400 140154170829442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140732196340151 140732196340326 140732196340326 140732196343759 0
Current children cumulated CPU time: 4.57 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 114420 KiB
Child status: 0
Real time (s): 2.47265
CPU time (s): 4.74298
CPU user time (s): 4.65772
CPU system time (s): 0.085265
CPU usage (%): 191.817
Max. virtual memory (cumulated for all children) (KiB): 13991960
Max. memory (cumulated for all children) (KiB): 114420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.65772
system time used= 0.085265
maximum resident set size= 117052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25542
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2139
involuntary context switches= 10
# summary of solver processes directly reported to runsolver:
# pid: 31974
# total CPU time (s): 4.74298
# total CPU user time (s): 4.65772
# total CPU system time (s): 0.085265
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040221 second user time and 0.062784 second system time
The end