2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-09)	SAT	6.5799098	1.54927
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 (15338 MiB free)
  memory of node 1: 16384 MiB (15483 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271238-1502699801/watcher-4271238-1502699801 -o /tmp/evaluation-result-4271238-1502699801/solver-4271238-1502699801 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502691655-6602 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 976457439 HOME/instance-4271238-1502699801.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13974, runsolver pid=13971
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 7.96 8.61 8.73 2/200 13995
/proc/meminfo: memFree=31545740/32770624 swapFree=67108860/67108860
[pid=13974] ppid=13971 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13974/stat : 13974 (xcsp3-exec) S 13971 13974 6575 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 103067792 9740288 346 33554432000 4194304 5098028 140730515614160 140730515612264 139693236904572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29196288 140730515620965 140730515621175 140730515621175 140730515623915 0
/proc/13974/statm: 2378 346 289 221 0 87 0
[pid=13976] ppid=13974 vsize=25999808 memory=26696 CPUtime=0.11 cores=0-7
/proc/13976/stat : 13976 (java) S 13974 13974 6575 0 -1 1077944320 5602 0 0 0 10 1 0 0 20 0 20 0 103067793 26623803392 6674 33554432000 4194304 4196468 140725821294288 140725821276832 140113767628535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
/proc/13976/statm: 6499952 6674 2849 1 0 6488269 0
[pid=13976/tid=13977] ppid=13974 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/13976/task/13977/stat : 13977 (java) R 13974 13974 6575 0 -1 4202560 3618 0 0 0 8 1 0 0 20 0 20 0 103067793 26623803392 6674 33554432000 4194304 4196468 140725821294288 140113771849432 140113767640470 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13978] ppid=13974 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13976/task/13978/stat : 13978 (java) S 13974 13974 6575 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103067794 26623803392 6674 33554432000 4194304 4196468 140725821294288 140113720249488 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13979] ppid=13974 vsize=25999808 memory=140643066988160 CPUtime=0 cores=0-7
/proc/13976/task/13979/stat : 13979 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26623803392 6674 33554432000 4194304 4196468 140725821294288 140113719196688 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13980] ppid=13974 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13980/stat : 13980 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26623803392 6674 33554432000 4194304 4196468 140725821294288 140113718143888 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13981] ppid=13974 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13981/stat : 13981 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26623803392 6674 33554432000 4194304 4196468 140725821294288 140113717091088 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13982] ppid=13974 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13982/stat : 13982 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26623803392 6674 33554432000 4194304 4196468 140725821294288 140113716038288 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13983] ppid=13974 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13976/task/13983/stat : 13983 (java) S 13974 13974 6575 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103067794 26623803392 6674 33554432000 4194304 4196468 140725821294288 140113714985488 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13984] ppid=13974 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13984/stat : 13984 (java) S 13974 13974 6575 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103067794 26623803392 6674 33554432000 4194304 4196468 140725821294288 140113713932688 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13985] ppid=13974 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13985/stat : 13985 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26623803392 6674 33554432000 4194304 4196468 140725821294288 140113712879888 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13986] ppid=13974 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13986/stat : 13986 (java) S 13974 13974 6575 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103067795 26623803392 6674 33554432000 4194304 4196468 140725821294288 140112017677168 140113767639682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13987] ppid=13974 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13987/stat : 13987 (java) S 13974 13974 6575 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103067796 26623803392 6674 33554432000 4194304 4196468 140725821294288 140112016623136 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13988] ppid=13974 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13988/stat : 13988 (java) S 13974 13974 6575 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103067796 26623803392 6674 33554432000 4194304 4196468 140725821294288 140112015570288 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13989] ppid=13974 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13989/stat : 13989 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067798 26623803392 6674 33554432000 4194304 4196468 140725821294288 140112014518608 140113767647131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13990] ppid=13974 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13990/stat : 13990 (java) S 13974 13974 6575 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 103067798 26623803392 6674 33554432000 4194304 4196468 140725821294288 140112013465968 140113767639682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13991] ppid=13974 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13991/stat : 13991 (java) S 13974 13974 6575 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 103067798 26623803392 6674 33554432000 4194304 4196468 140725821294288 140112012413168 140113767639682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13992] ppid=13974 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13992/stat : 13992 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067798 26623803392 6674 33554432000 4194304 4196468 140725821294288 140112011360368 140113767639682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13993] ppid=13974 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/13976/task/13993/stat : 13993 (java) S 13974 13974 6575 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 20 0 103067798 26623803392 6674 33554432000 4194304 4196468 140725821294288 140112010307568 140113767639682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13994] ppid=13974 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13994/stat : 13994 (java) S 13974 13974 6575 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103067798 26623803392 6674 33554432000 4194304 4196468 140725821294288 140112009256032 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13995] ppid=13974 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13976/task/13995/stat : 13995 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067799 26623803392 6674 33554432000 4194304 4196468 140725821294288 140112008203312 140113767639682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28080 KiB

[startup+0.209742 s]*
/proc/loadavg: 7.96 8.61 8.73 3/200 13995
/proc/meminfo: memFree=31534700/32770624 swapFree=67108860/67108860
[pid=13974] ppid=13971 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13974/stat : 13974 (xcsp3-exec) S 13971 13974 6575 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 103067792 9740288 346 33554432000 4194304 5098028 140730515614160 140730515612264 139693236904572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29196288 140730515620965 140730515621175 140730515621175 140730515623915 0
/proc/13974/statm: 2378 346 289 221 0 87 0
[pid=13976] ppid=13974 vsize=26004064 memory=39000 CPUtime=0.33 cores=0-7
/proc/13976/stat : 13976 (java) S 13974 13974 6575 0 -1 1077944320 8339 0 0 0 31 2 0 0 20 0 20 0 103067793 26628161536 9750 33554432000 4194304 4196468 140725821294288 140725821276832 140113767628535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
/proc/13976/statm: 6501016 9750 3072 1 0 6488269 0
[pid=13976/tid=13977] ppid=13974 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/13976/task/13977/stat : 13977 (java) R 13974 13974 6575 0 -1 4202560 5434 0 0 0 18 1 0 0 20 0 20 0 103067793 26628161536 9750 33554432000 4194304 4196468 140725821294288 140113771840464 140113767650461 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13978] ppid=13974 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/13976/task/13978/stat : 13978 (java) S 13974 13974 6575 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103067794 26628161536 9750 33554432000 4194304 4196468 140725821294288 140113720249488 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13979] ppid=13974 vsize=26004064 memory=140643067002286 CPUtime=0 cores=0-7
/proc/13976/task/13979/stat : 13979 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26628161536 9750 33554432000 4194304 4196468 140725821294288 140113719196688 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13980] ppid=13974 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13976/task/13980/stat : 13980 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26628161536 9750 33554432000 4194304 4196468 140725821294288 140113718143888 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13981] ppid=13974 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13981/stat : 13981 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26628161536 9750 33554432000 4194304 4196468 140725821294288 140113717091088 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13982] ppid=13974 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13982/stat : 13982 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26628161536 9750 33554432000 4194304 4196468 140725821294288 140113716038288 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13983] ppid=13974 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13976/task/13983/stat : 13983 (java) S 13974 13974 6575 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103067794 26628161536 9750 33554432000 4194304 4196468 140725821294288 140113714985488 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13984] ppid=13974 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13984/stat : 13984 (java) S 13974 13974 6575 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103067794 26628161536 9750 33554432000 4194304 4196468 140725821294288 140113713932688 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13985] ppid=13974 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13985/stat : 13985 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26628161536 9750 33554432000 4194304 4196468 140725821294288 140113712879888 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13986] ppid=13974 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13986/stat : 13986 (java) S 13974 13974 6575 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103067795 26628161536 9750 33554432000 4194304 4196468 140725821294288 140112017677168 140113767639682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13987] ppid=13974 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13987/stat : 13987 (java) S 13974 13974 6575 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103067796 26628161536 9750 33554432000 4194304 4196468 140725821294288 140112016623136 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13988] ppid=13974 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13988/stat : 13988 (java) S 13974 13974 6575 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103067796 26628161536 9750 33554432000 4194304 4196468 140725821294288 140112015570288 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13989] ppid=13974 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13989/stat : 13989 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067798 26628161536 9750 33554432000 4194304 4196468 140725821294288 140112014518608 140113767647131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13990] ppid=13974 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/13976/task/13990/stat : 13990 (java) S 13974 13974 6575 0 -1 1077944384 571 0 0 0 1 0 0 0 20 0 20 0 103067798 26628161536 9750 33554432000 4194304 4196468 140725821294288 140112013465968 140113767639682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13991] ppid=13974 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/13976/task/13991/stat : 13991 (java) S 13974 13974 6575 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 20 0 103067798 26628161536 9750 33554432000 4194304 4196468 140725821294288 140112012413168 140113767639682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13992] ppid=13974 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/13976/task/13992/stat : 13992 (java) S 13974 13974 6575 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 103067798 26628161536 9750 33554432000 4194304 4196468 140725821294288 140112011360368 140113767639682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13993] ppid=13974 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/13976/task/13993/stat : 13993 (java) R 13974 13974 6575 0 -1 4202560 716 0 0 0 7 0 0 0 20 0 20 0 103067798 26628161536 9750 33554432000 4194304 4196468 140725821294288 140112010307568 140113767640470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13994] ppid=13974 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13994/stat : 13994 (java) S 13974 13974 6575 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103067798 26628161536 9750 33554432000 4194304 4196468 140725821294288 140112009256032 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13995] ppid=13974 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13976/task/13995/stat : 13995 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067799 26628161536 9750 33554432000 4194304 4196468 140725821294288 140112008203312 140113767639682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40384 KiB

[startup+0.30938 s]*
/proc/loadavg: 7.96 8.61 8.73 3/200 13995
/proc/meminfo: memFree=31530296/32770624 swapFree=67108860/67108860
[pid=13974] ppid=13971 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13974/stat : 13974 (xcsp3-exec) S 13971 13974 6575 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 103067792 9740288 346 33554432000 4194304 5098028 140730515614160 140730515612264 139693236904572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29196288 140730515620965 140730515621175 140730515621175 140730515623915 0
/proc/13974/statm: 2378 346 289 221 0 87 0
[pid=13976] ppid=13974 vsize=26004064 memory=43644 CPUtime=0.5 cores=0-7
/proc/13976/stat : 13976 (java) S 13974 13974 6575 0 -1 1077944320 9143 0 0 0 48 2 0 0 20 0 20 0 103067793 26628161536 10911 33554432000 4194304 4196468 140725821294288 140725821276832 140113767628535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
/proc/13976/statm: 6501016 10911 3088 1 0 6488269 0
[pid=13976/tid=13977] ppid=13974 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13976/task/13977/stat : 13977 (java) R 13974 13974 6575 0 -1 4202560 6105 0 0 0 27 2 0 0 20 0 20 0 103067793 26628161536 10911 33554432000 4194304 4196468 140725821294288 140113771867696 140113767640470 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13978] ppid=13974 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13978/stat : 13978 (java) S 13974 13974 6575 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103067794 26628161536 10911 33554432000 4194304 4196468 140725821294288 140113720249488 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13979] ppid=13974 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13979/stat : 13979 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26628161536 10911 33554432000 4194304 4196468 140725821294288 140113719196688 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13980] ppid=13974 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13980/stat : 13980 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26628161536 10911 33554432000 4194304 4196468 140725821294288 140113718143888 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13981] ppid=13974 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13981/stat : 13981 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26628161536 10911 33554432000 4194304 4196468 140725821294288 140113717091088 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13982] ppid=13974 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/13976/task/13982/stat : 13982 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26628161536 10911 33554432000 4194304 4196468 140725821294288 140113716038288 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13983] ppid=13974 vsize=26004064 memory=140642932061103 CPUtime=0 cores=0-7
/proc/13976/task/13983/stat : 13983 (java) S 13974 13974 6575 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103067794 26628161536 10911 33554432000 4194304 4196468 140725821294288 140113714985488 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13984] ppid=13974 vsize=26004064 memory=140642932063408 CPUtime=0 cores=0-7
/proc/13976/task/13984/stat : 13984 (java) S 13974 13974 6575 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103067794 26628161536 10911 33554432000 4194304 4196468 140725821294288 140113713932688 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13985] ppid=13974 vsize=26004064 memory=140642932065712 CPUtime=0 cores=0-7
/proc/13976/task/13985/stat : 13985 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26628161536 10911 33554432000 4194304 4196468 140725821294288 140113712879888 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13986] ppid=13974 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13986/stat : 13986 (java) S 13974 13974 6575 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103067795 26628161536 10911 33554432000 4194304 4196468 140725821294288 140112017677168 140113767639682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13987] ppid=13974 vsize=26004064 memory=281285864138384 CPUtime=0 cores=0-7
/proc/13976/task/13987/stat : 13987 (java) S 13974 13974 6575 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103067796 26628161536 10911 33554432000 4194304 4196468 140725821294288 140112016623136 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13988] ppid=13974 vsize=26004064 memory=281285864145296 CPUtime=0 cores=0-7
/proc/13976/task/13988/stat : 13988 (java) S 13974 13974 6575 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103067796 26628161536 10911 33554432000 4194304 4196468 140725821294288 140112015570288 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13989] ppid=13974 vsize=26004064 memory=281285864086448 CPUtime=0 cores=0-7
/proc/13976/task/13989/stat : 13989 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067798 26628161536 10911 33554432000 4194304 4196468 140725821294288 140112014518608 140113767647131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13990] ppid=13974 vsize=26004064 memory=281285864159120 CPUtime=0.01 cores=0-7
/proc/13976/task/13990/stat : 13990 (java) S 13974 13974 6575 0 -1 1077944384 571 0 0 0 1 0 0 0 20 0 20 0 103067798 26628161536 10911 33554432000 4194304 4196468 140725821294288 140112013465968 140113767639682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13991] ppid=13974 vsize=26004064 memory=281285864166032 CPUtime=0.03 cores=0-7
/proc/13976/task/13991/stat : 13991 (java) S 13974 13974 6575 0 -1 1077944384 247 0 0 0 3 0 0 0 20 0 20 0 103067798 26628161536 10911 33554432000 4194304 4196468 140725821294288 140112012413168 140113767639682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13992] ppid=13974 vsize=26004064 memory=281285864163728 CPUtime=0.02 cores=0-7
/proc/13976/task/13992/stat : 13992 (java) S 13974 13974 6575 0 -1 1077944384 92 0 0 0 2 0 0 0 20 0 20 0 103067798 26628161536 10911 33554432000 4194304 4196468 140725821294288 140112011360368 140113767639682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13993] ppid=13974 vsize=26004064 memory=281285864179888 CPUtime=0.12 cores=0-7
/proc/13976/task/13993/stat : 13993 (java) R 13974 13974 6575 0 -1 4202560 818 0 0 0 12 0 0 0 20 0 20 0 103067798 26628161536 10911 33554432000 4194304 4196468 140725821294288 140112010303520 140113746119040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13994] ppid=13974 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13994/stat : 13994 (java) S 13974 13974 6575 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103067798 26628161536 10911 33554432000 4194304 4196468 140725821294288 140112009256032 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13995] ppid=13974 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13976/task/13995/stat : 13995 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067799 26628161536 10911 33554432000 4194304 4196468 140725821294288 140112008203312 140113767639682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45028 KiB

[startup+0.700902 s]
/proc/loadavg: 7.96 8.61 8.73 4/200 13995
/proc/meminfo: memFree=31506956/32770624 swapFree=67108860/67108860
[pid=13974] ppid=13971 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13974/stat : 13974 (xcsp3-exec) S 13971 13974 6575 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 103067792 9740288 346 33554432000 4194304 5098028 140730515614160 140730515612264 139693236904572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29196288 140730515620965 140730515621175 140730515621175 140730515623915 0
/proc/13974/statm: 2378 346 289 221 0 87 0
[pid=13976] ppid=13974 vsize=26006188 memory=92340 CPUtime=1.99 cores=0-7
/proc/13976/stat : 13976 (java) S 13974 13974 6575 0 -1 1077944320 14798 0 0 0 194 5 0 0 20 0 20 0 103067793 26630336512 23085 33554432000 4194304 4196468 140725821294288 140725821276832 140113767628535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
/proc/13976/statm: 6501547 23085 3199 1 0 6488781 0
[pid=13976/tid=13977] ppid=13974 vsize=26006188 memory=281285864537776 CPUtime=0.67 cores=0-7
/proc/13976/task/13977/stat : 13977 (java) R 13974 13974 6575 0 -1 4202560 6830 0 0 0 64 3 0 0 20 0 20 0 103067793 26630336512 23085 33554432000 4194304 4196468 140725821294288 140113771864816 140113749210430 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13978] ppid=13974 vsize=26006188 memory=140642932269936 CPUtime=0 cores=0-7
/proc/13976/task/13978/stat : 13978 (java) S 13974 13974 6575 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103067794 26630336512 23085 33554432000 4194304 4196468 140725821294288 140113720249488 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13979] ppid=13974 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13979/stat : 13979 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26630336512 23085 33554432000 4194304 4196468 140725821294288 140113719196688 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13980] ppid=13974 vsize=26006188 memory=10928 CPUtime=0 cores=0-7
/proc/13976/task/13980/stat : 13980 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26630336512 23085 33554432000 4194304 4196468 140725821294288 140113718143888 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13981] ppid=13974 vsize=26006188 memory=796 CPUtime=0 cores=0-7
/proc/13976/task/13981/stat : 13981 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26630336512 23085 33554432000 4194304 4196468 140725821294288 140113717091088 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13982] ppid=13974 vsize=26006188 memory=1424 CPUtime=0 cores=0-7
/proc/13976/task/13982/stat : 13982 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26630336512 23085 33554432000 4194304 4196468 140725821294288 140113716038288 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13983] ppid=13974 vsize=26006188 memory=15872 CPUtime=0 cores=0-7
/proc/13976/task/13983/stat : 13983 (java) S 13974 13974 6575 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103067794 26630336512 23085 33554432000 4194304 4196468 140725821294288 140113714985488 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13984] ppid=13974 vsize=26006188 memory=4052 CPUtime=0 cores=0-7
/proc/13976/task/13984/stat : 13984 (java) S 13974 13974 6575 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103067794 26630336512 23085 33554432000 4194304 4196468 140725821294288 140113713932688 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13985] ppid=13974 vsize=26006188 memory=17432 CPUtime=0 cores=0-7
/proc/13976/task/13985/stat : 13985 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067794 26630336512 23085 33554432000 4194304 4196468 140725821294288 140113712879888 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13986] ppid=13974 vsize=26006188 memory=18444 CPUtime=0 cores=0-7
/proc/13976/task/13986/stat : 13986 (java) S 13974 13974 6575 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 103067795 26630336512 23085 33554432000 4194304 4196468 140725821294288 140112017677168 140113767639682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13987] ppid=13974 vsize=26006188 memory=1788 CPUtime=0 cores=0-7
/proc/13976/task/13987/stat : 13987 (java) S 13974 13974 6575 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103067796 26630336512 23085 33554432000 4194304 4196468 140725821294288 140112016623136 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13988] ppid=13974 vsize=26006188 memory=640 CPUtime=0 cores=0-7
/proc/13976/task/13988/stat : 13988 (java) S 13974 13974 6575 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103067796 26630336512 23085 33554432000 4194304 4196468 140725821294288 140112015570288 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13989] ppid=13974 vsize=26006188 memory=952 CPUtime=0 cores=0-7
/proc/13976/task/13989/stat : 13989 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067798 26630336512 23085 33554432000 4194304 4196468 140725821294288 140112014518608 140113767647131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13990] ppid=13974 vsize=26006188 memory=0 CPUtime=0.3 cores=0-7
/proc/13976/task/13990/stat : 13990 (java) R 13974 13974 6575 0 -1 4202560 1774 0 0 0 30 0 0 0 20 0 20 0 103067798 26630336512 23085 33554432000 4194304 4196468 140725821294288 140112013454640 140113748804539 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13991] ppid=13974 vsize=26006188 memory=1008 CPUtime=0.28 cores=0-7
/proc/13976/task/13991/stat : 13991 (java) R 13974 13974 6575 0 -1 4202560 1199 0 0 0 28 0 0 0 20 0 20 0 103067798 26630336512 23085 33554432000 4194304 4196468 140725821294288 140112012402240 140113752536598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13992] ppid=13974 vsize=26006188 memory=1928 CPUtime=0.3 cores=0-7
/proc/13976/task/13992/stat : 13992 (java) R 13974 13974 6575 0 -1 4202560 1421 0 0 0 30 0 0 0 20 0 20 0 103067798 26630336512 23085 33554432000 4194304 4196468 140725821294288 140112011341384 140113751125323 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13993] ppid=13974 vsize=26006188 memory=1200 CPUtime=0.4 cores=0-7
/proc/13976/task/13993/stat : 13993 (java) R 13974 13974 6575 0 -1 4202560 2261 0 0 0 40 0 0 0 20 0 20 0 103067798 26630336512 23085 33554432000 4194304 4196468 140725821294288 140112010307568 140113746574188 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13994] ppid=13974 vsize=26006188 memory=8564 CPUtime=0 cores=0-7
/proc/13976/task/13994/stat : 13994 (java) S 13974 13974 6575 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103067798 26630336512 23085 33554432000 4194304 4196468 140725821294288 140112009256032 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13995] ppid=13974 vsize=26006188 memory=5664 CPUtime=0 cores=0-7
/proc/13976/task/13995/stat : 13995 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103067799 26630336512 23085 33554432000 4194304 4196468 140725821294288 140112008203312 140113767639682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 93724 KiB

[startup+1.5012 s]
/proc/loadavg: 7.96 8.61 8.73 5/200 13995
/proc/meminfo: memFree=31398884/32770624 swapFree=67108860/67108860
[pid=13974] ppid=13971 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13974/stat : 13974 (xcsp3-exec) S 13971 13974 6575 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 103067792 9740288 346 33554432000 4194304 5098028 140730515614160 140730515612264 139693236904572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29196288 140730515620965 140730515621175 140730515621175 140730515623915 0
/proc/13974/statm: 2378 346 289 221 0 87 0
[pid=13976] ppid=13974 vsize=26538700 memory=213220 CPUtime=6.34 cores=0-7
/proc/13976/stat : 13976 (java) S 13974 13974 6575 0 -1 1077944320 26555 0 0 0 621 13 0 0 20 0 28 0 103067793 27175628800 53305 33554432000 4194304 4196468 140725821294288 140725821276832 140113767628535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
/proc/13976/statm: 6634675 53305 3251 1 0 6621909 0
[pid=13976/tid=13977] ppid=13974 vsize=26538700 memory=16098169624726079 CPUtime=1.16 cores=0-7
/proc/13976/task/13977/stat : 13977 (java) S 13974 13974 6575 0 -1 1077944384 8079 0 0 0 112 4 0 0 20 0 28 0 103067793 27175628800 53305 33554432000 4194304 4196468 140725821294288 140113771869312 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13978] ppid=13974 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13978/stat : 13978 (java) S 13974 13974 6575 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 103067794 27175628800 53305 33554432000 4194304 4196468 140725821294288 140113720249488 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13979] ppid=13974 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13979/stat : 13979 (java) S 13974 13974 6575 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 103067794 27175628800 53305 33554432000 4194304 4196468 140725821294288 140113719196688 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13980] ppid=13974 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13980/stat : 13980 (java) S 13974 13974 6575 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 103067794 27175628800 53305 33554432000 4194304 4196468 140725821294288 140113718143888 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13981] ppid=13974 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13981/stat : 13981 (java) S 13974 13974 6575 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 103067794 27175628800 53305 33554432000 4194304 4196468 140725821294288 140113717091088 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13982] ppid=13974 vsize=26538700 memory=4580 CPUtime=0 cores=0-7
/proc/13976/task/13982/stat : 13982 (java) S 13974 13974 6575 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 103067794 27175628800 53305 33554432000 4194304 4196468 140725821294288 140113716038288 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13983] ppid=13974 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13983/stat : 13983 (java) S 13974 13974 6575 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 28 0 103067794 27175628800 53305 33554432000 4194304 4196468 140725821294288 140113714985488 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13984] ppid=13974 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13984/stat : 13984 (java) S 13974 13974 6575 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 103067794 27175628800 53305 33554432000 4194304 4196468 140725821294288 140113713932688 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13985] ppid=13974 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/13976/task/13985/stat : 13985 (java) S 13974 13974 6575 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 28 0 103067794 27175628800 53305 33554432000 4194304 4196468 140725821294288 140113712879888 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13986] ppid=13974 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13986/stat : 13986 (java) S 13974 13974 6575 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 28 0 103067795 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112017677168 140113767639682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13987] ppid=13974 vsize=26538700 memory=2244 CPUtime=0 cores=0-7
/proc/13976/task/13987/stat : 13987 (java) S 13974 13974 6575 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 103067796 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112016623136 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13988] ppid=13974 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13988/stat : 13988 (java) S 13974 13974 6575 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 103067796 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112015570288 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13989] ppid=13974 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13989/stat : 13989 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 103067798 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112014518608 140113767647131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13990] ppid=13974 vsize=26538700 memory=0 CPUtime=1 cores=0-7
/proc/13976/task/13990/stat : 13990 (java) R 13974 13974 6575 0 -1 4202560 4466 0 0 0 99 1 0 0 20 0 28 0 103067798 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112013453600 140113746874964 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13991] ppid=13974 vsize=26538700 memory=0 CPUtime=0.99 cores=0-7
/proc/13976/task/13991/stat : 13991 (java) R 13974 13974 6575 0 -1 1077944384 3199 0 0 0 98 1 0 0 20 0 28 0 103067798 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112012403024 140113767638741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13992] ppid=13974 vsize=26538700 memory=0 CPUtime=1.02 cores=0-7
/proc/13976/task/13992/stat : 13992 (java) R 13974 13974 6575 0 -1 4202560 5424 0 0 0 102 0 0 0 20 0 28 0 103067798 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112011353472 140113751112024 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13993] ppid=13974 vsize=26538700 memory=6943526294502006880 CPUtime=0.52 cores=0-7
/proc/13976/task/13993/stat : 13993 (java) R 13974 13974 6575 0 -1 1077944384 3105 0 0 0 51 1 0 0 20 0 28 0 103067798 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112010307568 140113767639682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13994] ppid=13974 vsize=26538700 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/13976/task/13994/stat : 13994 (java) S 13974 13974 6575 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103067798 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112009256032 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13995] ppid=13974 vsize=26538700 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/13976/task/13995/stat : 13995 (java) S 13974 13974 6575 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103067799 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112008203312 140113767639682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
Current children cumulated CPU time: 6.34 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 214604 KiB

[startup+1.54921 s]
# the end of solver process 13974 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.44172 s, system=0.138192 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.5012 s]
/proc/loadavg: 7.96 8.61 8.73 5/200 13995
/proc/meminfo: memFree=31398884/32770624 swapFree=67108860/67108860
[pid=13974] ppid=13971 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13974/stat : 13974 (xcsp3-exec) S 13971 13974 6575 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 103067792 9740288 346 33554432000 4194304 5098028 140730515614160 140730515612264 139693236904572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29196288 140730515620965 140730515621175 140730515621175 140730515623915 0
/proc/13974/statm: 2378 346 289 221 0 87 0
[pid=13976] ppid=13974 vsize=26538700 memory=213220 CPUtime=6.34 cores=0-7
/proc/13976/stat : 13976 (java) S 13974 13974 6575 0 -1 1077944320 26555 0 0 0 621 13 0 0 20 0 28 0 103067793 27175628800 53305 33554432000 4194304 4196468 140725821294288 140725821276832 140113767628535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
/proc/13976/statm: 6634675 53305 3251 1 0 6621909 0
[pid=13976/tid=13977] ppid=13974 vsize=26538700 memory=16098169624726079 CPUtime=1.16 cores=0-7
/proc/13976/task/13977/stat : 13977 (java) S 13974 13974 6575 0 -1 1077944384 8079 0 0 0 112 4 0 0 20 0 28 0 103067793 27175628800 53305 33554432000 4194304 4196468 140725821294288 140113771869312 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13978] ppid=13974 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13978/stat : 13978 (java) S 13974 13974 6575 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 103067794 27175628800 53305 33554432000 4194304 4196468 140725821294288 140113720249488 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13979] ppid=13974 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13979/stat : 13979 (java) S 13974 13974 6575 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 103067794 27175628800 53305 33554432000 4194304 4196468 140725821294288 140113719196688 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13980] ppid=13974 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13980/stat : 13980 (java) S 13974 13974 6575 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 103067794 27175628800 53305 33554432000 4194304 4196468 140725821294288 140113718143888 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13981] ppid=13974 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13981/stat : 13981 (java) S 13974 13974 6575 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 103067794 27175628800 53305 33554432000 4194304 4196468 140725821294288 140113717091088 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13982] ppid=13974 vsize=26538700 memory=4580 CPUtime=0 cores=0-7
/proc/13976/task/13982/stat : 13982 (java) S 13974 13974 6575 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 103067794 27175628800 53305 33554432000 4194304 4196468 140725821294288 140113716038288 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13983] ppid=13974 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13983/stat : 13983 (java) S 13974 13974 6575 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 28 0 103067794 27175628800 53305 33554432000 4194304 4196468 140725821294288 140113714985488 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13984] ppid=13974 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13984/stat : 13984 (java) S 13974 13974 6575 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 103067794 27175628800 53305 33554432000 4194304 4196468 140725821294288 140113713932688 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13985] ppid=13974 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/13976/task/13985/stat : 13985 (java) S 13974 13974 6575 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 28 0 103067794 27175628800 53305 33554432000 4194304 4196468 140725821294288 140113712879888 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13986] ppid=13974 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13986/stat : 13986 (java) S 13974 13974 6575 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 28 0 103067795 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112017677168 140113767639682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13987] ppid=13974 vsize=26538700 memory=2244 CPUtime=0 cores=0-7
/proc/13976/task/13987/stat : 13987 (java) S 13974 13974 6575 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 103067796 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112016623136 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13988] ppid=13974 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13988/stat : 13988 (java) S 13974 13974 6575 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 103067796 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112015570288 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13989] ppid=13974 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13976/task/13989/stat : 13989 (java) S 13974 13974 6575 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 103067798 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112014518608 140113767647131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13990] ppid=13974 vsize=26538700 memory=0 CPUtime=1 cores=0-7
/proc/13976/task/13990/stat : 13990 (java) R 13974 13974 6575 0 -1 4202560 4466 0 0 0 99 1 0 0 20 0 28 0 103067798 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112013453600 140113746874964 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13991] ppid=13974 vsize=26538700 memory=0 CPUtime=0.99 cores=0-7
/proc/13976/task/13991/stat : 13991 (java) R 13974 13974 6575 0 -1 1077944384 3199 0 0 0 98 1 0 0 20 0 28 0 103067798 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112012403024 140113767638741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13992] ppid=13974 vsize=26538700 memory=0 CPUtime=1.02 cores=0-7
/proc/13976/task/13992/stat : 13992 (java) R 13974 13974 6575 0 -1 4202560 5424 0 0 0 102 0 0 0 20 0 28 0 103067798 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112011353472 140113751112024 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13993] ppid=13974 vsize=26538700 memory=6943526294502006880 CPUtime=0.52 cores=0-7
/proc/13976/task/13993/stat : 13993 (java) R 13974 13974 6575 0 -1 1077944384 3105 0 0 0 51 1 0 0 20 0 28 0 103067798 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112010307568 140113767639682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13994] ppid=13974 vsize=26538700 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/13976/task/13994/stat : 13994 (java) S 13974 13974 6575 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103067798 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112009256032 140113767638741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
[pid=13976/tid=13995] ppid=13974 vsize=26538700 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/13976/task/13995/stat : 13995 (java) S 13974 13974 6575 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103067799 27175628800 53305 33554432000 4194304 4196468 140725821294288 140112008203312 140113767639682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7868416 140725821301906 140725821302083 140725821302083 140725821304783 0
Current children cumulated CPU time: 6.34 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 214604 KiB

Child status: 0
Real time (s): 1.54927
CPU time (s): 6.57991
CPU user time (s): 6.44172
CPU system time (s): 0.138192
CPU usage (%): 424.711
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 214604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.44172
system time used= 0.138192
maximum resident set size= 214692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27156
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= 2827
involuntary context switches= 87


# summary of solver processes directly reported to runsolver:
#   pid: 13974
#   total CPU time (s): 6.57991
#   total CPU user time (s): 6.44172
#   total CPU system time (s): 0.138192

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033414 second user time and 0.052591 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-23-sum.xml
MD5SUM	0997a7a078e28dc29749c8fbf3dd0f9a
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.484846
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	2237
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":600}]
Minimum variable degree	4
Maximum variable degree	11
Distribution of variable degrees	[{"degree":4,"count":12},{"degree":5,"count":81},{"degree":6,"count":72},{"degree":7,"count":105},{"degree":8,"count":111},{"degree":9,"count":84},{"degree":10,"count":75},{"degree":11,"count":60}]
Minimum constraint arity	2
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":2,"count":2037},{"arity":3,"count":200}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2237}]
Optimization problem	NO
Type of objective
Trace number 4271238

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
