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

Solver Name	Answer	CPU time	Wall clock time
OscaR - Conflict Ordering 2017-07-26	SAT	1.6919301	1.31578
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 (15431 MiB free)
  memory of node 1: 16384 MiB (14652 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273855-1502840872/watcher-4273855-1502840872 -o /tmp/evaluation-result-4273855-1502840872/solver-4273855-1502840872 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10387 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 253603914 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273855-1502840872.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB

solver pid=13964, runsolver pid=13961

[startup+0.100131 s]*
/proc/loadavg: 1.64 1.84 2.01 3/196 13966
/proc/meminfo: memFree=30804380/32770624 swapFree=67105588/67108860
[pid=13964] ppid=13961 vsize=13358552 memory=11500 CPUtime=0 cores=0,2,4,6
/proc/13964/stat : 13964 (java) S 13961 13964 12560 0 -1 1077944320 2705 0 0 0 0 0 0 0 20 0 6 0 86282456 13679157248 2875 18446744073709551615 4194304 4196468 140721432698400 140721432680944 140128736612087 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
/proc/13964/statm: 3339638 2875 1359 1 0 3329135 0
[pid=13964/tid=13966] ppid=13961 vsize=13358552 memory=-6439968830534014599 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13966/stat : 13966 (java) R 13961 13964 12560 0 -1 4202560 1484 0 0 0 0 0 0 0 20 0 6 0 86282466 13679157248 2941 18446744073709551615 4194304 4196468 140721432698400 140128740848208 140128697593453 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13967] ppid=13961 vsize=13358552 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13967/stat : 13967 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 86282466 13679157248 2941 18446744073709551615 4194304 4196468 140721432698400 140128678558352 140128736622293 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13968] ppid=13961 vsize=13358552 memory=140494388786816 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13968/stat : 13968 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 86282466 13679157248 3007 18446744073709551615 4194304 4196468 140721432698400 140128335436304 140128736622293 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13969] ppid=13961 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13969/stat : 13969 (java) S 13961 13964 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 86282466 13679157248 3007 18446744073709551615 4194304 4196468 140721432698400 140128334383504 140128736622293 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13970] ppid=13961 vsize=13358552 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13970/stat : 13970 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 86282466 13679157248 3007 18446744073709551615 4194304 4196468 140721432698400 140128333330704 140128736622293 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 11500 KiB

[startup+0.20982 s]*
/proc/loadavg: 1.64 1.84 2.01 2/208 13978
/proc/meminfo: memFree=30795924/32770624 swapFree=67105588/67108860
[pid=13964] ppid=13961 vsize=13976388 memory=25872 CPUtime=0.06 cores=0,2,4,6
/proc/13964/stat : 13964 (java) S 13961 13964 12560 0 -1 1077944320 5934 0 0 0 5 1 0 0 20 0 15 0 86282456 14311821312 6468 18446744073709551615 4194304 4196468 140721432698400 140721432680944 140128736612087 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
/proc/13964/statm: 3494097 6468 3221 1 0 3482876 0
[pid=13964/tid=13966] ppid=13961 vsize=13976388 memory=8318255677412212789 CPUtime=0.05 cores=0,2,4,6
/proc/13964/task/13966/stat : 13966 (java) R 13961 13964 12560 0 -1 4202560 4107 0 0 0 4 1 0 0 20 0 15 0 86282466 14311821312 6534 18446744073709551615 4194304 4196468 140721432698400 140128740854368 140128736634013 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13967] ppid=13961 vsize=13976388 memory=328 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13967/stat : 13967 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86282466 14311821312 6534 18446744073709551615 4194304 4196468 140721432698400 140128678558352 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13968] ppid=13961 vsize=13976388 memory=140494388799886 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13968/stat : 13968 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86282466 14311821312 6534 18446744073709551615 4194304 4196468 140721432698400 140128335436304 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13969] ppid=13961 vsize=13976388 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13969/stat : 13969 (java) S 13961 13964 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 86282466 14311821312 6534 18446744073709551615 4194304 4196468 140721432698400 140128334383504 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13970] ppid=13961 vsize=13976388 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13970/stat : 13970 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86282466 14311821312 6534 18446744073709551615 4194304 4196468 140721432698400 140128333330704 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13971] ppid=13961 vsize=13976388 memory=140494388786816 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13971/stat : 13971 (java) S 13961 13964 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 86282468 14311821312 6534 18446744073709551615 4194304 4196468 140721432698400 140128283151216 140128736623234 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13972] ppid=13961 vsize=13976388 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13972/stat : 13972 (java) S 13961 13964 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 86282468 14311821312 6534 18446744073709551615 4194304 4196468 140721432698400 140128282097184 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13973] ppid=13961 vsize=13976388 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13973/stat : 13973 (java) S 13961 13964 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 86282468 14311821312 6534 18446744073709551615 4194304 4196468 140721432698400 140128281044336 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13974] ppid=13961 vsize=13976388 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13974/stat : 13974 (java) S 13961 13964 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86282471 14311821312 6534 18446744073709551615 4194304 4196468 140721432698400 140128279992656 140128736630683 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13975] ppid=13961 vsize=13976388 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13975/stat : 13975 (java) S 13961 13964 12560 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 86282471 14311821312 6534 18446744073709551615 4194304 4196468 140721432698400 140128278940016 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13976] ppid=13961 vsize=13976388 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13976/stat : 13976 (java) S 13961 13964 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86282471 14311821312 6534 18446744073709551615 4194304 4196468 140721432698400 140128277887216 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13977] ppid=13961 vsize=13976388 memory=140494388786816 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13977/stat : 13977 (java) S 13961 13964 12560 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 15 0 86282471 14311821312 6534 18446744073709551615 4194304 4196468 140721432698400 140128276834416 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13978] ppid=13961 vsize=13976388 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13978/stat : 13978 (java) S 13961 13964 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86282471 14311821312 6534 18446744073709551615 4194304 4196468 140721432698400 140128275781856 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13979] ppid=13961 vsize=13976388 memory=140494388786816 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13979/stat : 13979 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86282477 14311821312 6534 18446744073709551615 4194304 4196468 140721432698400 140128206974128 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13976388 KiB
Current children cumulated memory: 25872 KiB

[startup+0.31367 s]*
/proc/loadavg: 1.64 1.84 2.01 3/209 13979
/proc/meminfo: memFree=30780044/32770624 swapFree=67105588/67108860
[pid=13964] ppid=13961 vsize=13975920 memory=40304 CPUtime=0.23 cores=0,2,4,6
/proc/13964/stat : 13964 (java) S 13961 13964 12560 0 -1 1077944320 10277 0 0 0 20 3 0 0 20 0 15 0 86282456 14311342080 10076 18446744073709551615 4194304 4196468 140721432698400 140721432680944 140128736612087 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
/proc/13964/statm: 3493980 10076 3556 1 0 3482759 0
[pid=13964/tid=13966] ppid=13961 vsize=13975920 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/13964/task/13966/stat : 13966 (java) R 13961 13964 12560 0 -1 4202560 8025 0 0 0 13 2 0 0 20 0 15 0 86282466 14311342080 10076 18446744073709551615 4194304 4196468 140721432698400 140128740839280 140128720692574 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13967] ppid=13961 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13967/stat : 13967 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86282466 14311342080 10076 18446744073709551615 4194304 4196468 140721432698400 140128678558352 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13968] ppid=13961 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13968/stat : 13968 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86282466 14311342080 10076 18446744073709551615 4194304 4196468 140721432698400 140128335436304 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13969] ppid=13961 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13969/stat : 13969 (java) S 13961 13964 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 86282466 14311342080 10076 18446744073709551615 4194304 4196468 140721432698400 140128334383504 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13970] ppid=13961 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13970/stat : 13970 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86282466 14311342080 10076 18446744073709551615 4194304 4196468 140721432698400 140128333330704 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13971] ppid=13961 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13971/stat : 13971 (java) S 13961 13964 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 86282468 14311342080 10076 18446744073709551615 4194304 4196468 140721432698400 140128283151216 140128736623234 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13972] ppid=13961 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13972/stat : 13972 (java) S 13961 13964 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 86282468 14311342080 10076 18446744073709551615 4194304 4196468 140721432698400 140128282097184 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13973] ppid=13961 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13973/stat : 13973 (java) S 13961 13964 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 86282468 14311342080 10076 18446744073709551615 4194304 4196468 140721432698400 140128281044336 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13974] ppid=13961 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13974/stat : 13974 (java) S 13961 13964 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86282471 14311342080 10076 18446744073709551615 4194304 4196468 140721432698400 140128279992656 140128736630683 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13975] ppid=13961 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13964/task/13975/stat : 13975 (java) S 13961 13964 12560 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 15 0 86282471 14311342080 10076 18446744073709551615 4194304 4196468 140721432698400 140128278940016 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13976] ppid=13961 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13976/stat : 13976 (java) S 13961 13964 12560 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 86282471 14311342080 10076 18446744073709551615 4194304 4196468 140721432698400 140128277887216 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13977] ppid=13961 vsize=13975920 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/13964/task/13977/stat : 13977 (java) S 13961 13964 12560 0 -1 1077944384 366 0 0 0 4 0 0 0 20 0 15 0 86282471 14311342080 10076 18446744073709551615 4194304 4196468 140721432698400 140128276834416 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13978] ppid=13961 vsize=13975920 memory=140494388786816 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13978/stat : 13978 (java) S 13961 13964 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86282471 14311342080 10076 18446744073709551615 4194304 4196468 140721432698400 140128275781856 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13979] ppid=13961 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13979/stat : 13979 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86282477 14311342080 10076 18446744073709551615 4194304 4196468 140721432698400 140128206974128 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40304 KiB

[startup+0.700736 s]
/proc/loadavg: 1.64 1.84 2.01 3/209 13979
/proc/meminfo: memFree=30767292/32770624 swapFree=67105588/67108860
[pid=13964] ppid=13961 vsize=13977988 memory=66236 CPUtime=0.93 cores=0,2,4,6
/proc/13964/stat : 13964 (java) S 13961 13964 12560 0 -1 1077944320 13796 0 0 0 88 5 0 0 20 0 15 0 86282456 14313459712 16559 18446744073709551615 4194304 4196468 140721432698400 140721432680944 140128736612087 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
/proc/13964/statm: 3494497 16559 3728 1 0 3483271 0
[pid=13964/tid=13966] ppid=13961 vsize=13977988 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/13964/task/13966/stat : 13966 (java) R 13961 13964 12560 0 -1 4202560 10480 0 0 0 49 4 0 0 20 0 15 0 86282466 14313459712 16559 18446744073709551615 4194304 4196468 140721432698400 140128740846080 140128358073072 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13967] ppid=13961 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13967/stat : 13967 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86282466 14313459712 16559 18446744073709551615 4194304 4196468 140721432698400 140128678558352 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13968] ppid=13961 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13968/stat : 13968 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86282466 14313459712 16559 18446744073709551615 4194304 4196468 140721432698400 140128335436304 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13969] ppid=13961 vsize=13977988 memory=1226 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13969/stat : 13969 (java) S 13961 13964 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 86282466 14313459712 16559 18446744073709551615 4194304 4196468 140721432698400 140128334383504 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13970] ppid=13961 vsize=13977988 memory=4529 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13970/stat : 13970 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86282466 14313459712 16559 18446744073709551615 4194304 4196468 140721432698400 140128333330704 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13971] ppid=13961 vsize=13977988 memory=140494286117696 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13971/stat : 13971 (java) S 13961 13964 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 86282468 14313459712 16559 18446744073709551615 4194304 4196468 140721432698400 140128283151216 140128736623234 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13972] ppid=13961 vsize=13977988 memory=3472468773333775168 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13972/stat : 13972 (java) S 13961 13964 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 86282468 14313459712 16559 18446744073709551615 4194304 4196468 140721432698400 140128282097184 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13973] ppid=13961 vsize=13977988 memory=83 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13973/stat : 13973 (java) S 13961 13964 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 86282468 14313459712 16559 18446744073709551615 4194304 4196468 140721432698400 140128281044336 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13974] ppid=13961 vsize=13977988 memory=286 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13974/stat : 13974 (java) S 13961 13964 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86282471 14313459712 16559 18446744073709551615 4194304 4196468 140721432698400 140128279992656 140128736630683 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13975] ppid=13961 vsize=13977988 memory=560 CPUtime=0.12 cores=0,2,4,6
/proc/13964/task/13975/stat : 13975 (java) S 13961 13964 12560 0 -1 1077944384 952 0 0 0 12 0 0 0 20 0 15 0 86282471 14313459712 16559 18446744073709551615 4194304 4196468 140721432698400 140128278940016 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13976] ppid=13961 vsize=13977988 memory=391 CPUtime=0.09 cores=0,2,4,6
/proc/13964/task/13976/stat : 13976 (java) S 13961 13964 12560 0 -1 1077944384 328 0 0 0 9 0 0 0 20 0 15 0 86282471 14313459712 16559 18446744073709551615 4194304 4196468 140721432698400 140128277887216 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13977] ppid=13961 vsize=13977988 memory=153 CPUtime=0.17 cores=0,2,4,6
/proc/13964/task/13977/stat : 13977 (java) R 13961 13964 12560 0 -1 4202560 654 0 0 0 17 0 0 0 20 0 15 0 86282471 14313459712 16559 18446744073709551615 4194304 4196468 140721432698400 140128276830176 140128715569177 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13978] ppid=13961 vsize=13977988 memory=2940 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13978/stat : 13978 (java) S 13961 13964 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86282471 14313459712 16559 18446744073709551615 4194304 4196468 140721432698400 140128275781856 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13979] ppid=13961 vsize=13977988 memory=330 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13979/stat : 13979 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86282477 14313459712 16559 18446744073709551615 4194304 4196468 140721432698400 140128206974128 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
Current children cumulated CPU time: 0.93 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 66236 KiB

[startup+1.31574 s]
# the end of solver process 13964 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1.60349 s, system=0.088446 s

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

[startup+0.800967 s]
/proc/loadavg: 1.64 1.84 2.01 3/209 13979
/proc/meminfo: memFree=30767292/32770624 swapFree=67105588/67108860
[pid=13964] ppid=13961 vsize=13977988 memory=72324 CPUtime=1.11 cores=0,2,4,6
/proc/13964/stat : 13964 (java) S 13961 13964 12560 0 -1 1077944320 14259 0 0 0 106 5 0 0 20 0 15 0 86282456 14313459712 18081 18446744073709551615 4194304 4196468 140721432698400 140721432680944 140128736612087 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
/proc/13964/statm: 3494497 18081 3740 1 0 3483271 0
[pid=13964/tid=13966] ppid=13961 vsize=13977988 memory=6935649255759571027 CPUtime=0.63 cores=0,2,4,6
/proc/13964/task/13966/stat : 13966 (java) R 13961 13964 12560 0 -1 4202560 10781 0 0 0 59 4 0 0 20 0 15 0 86282466 14313459712 18081 18446744073709551615 4194304 4196468 140721432698400 140128740847504 140128736634013 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13967] ppid=13961 vsize=13977988 memory=7516877558933114965 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13967/stat : 13967 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86282466 14313459712 18081 18446744073709551615 4194304 4196468 140721432698400 140128678558352 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13968] ppid=13961 vsize=13977988 memory=7086242839394279744 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13968/stat : 13968 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86282466 14313459712 18081 18446744073709551615 4194304 4196468 140721432698400 140128335436304 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13969] ppid=13961 vsize=13977988 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13969/stat : 13969 (java) S 13961 13964 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 86282466 14313459712 18081 18446744073709551615 4194304 4196468 140721432698400 140128334383504 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13970] ppid=13961 vsize=13977988 memory=6153415001170666065 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13970/stat : 13970 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86282466 14313459712 18081 18446744073709551615 4194304 4196468 140721432698400 140128333330704 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13971] ppid=13961 vsize=13977988 memory=7740092717687268672 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13971/stat : 13971 (java) S 13961 13964 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 86282468 14313459712 18081 18446744073709551615 4194304 4196468 140721432698400 140128283151216 140128736623234 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13972] ppid=13961 vsize=13977988 memory=8751464017575425845 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13972/stat : 13972 (java) S 13961 13964 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 86282468 14313459712 18081 18446744073709551615 4194304 4196468 140721432698400 140128282097184 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13973] ppid=13961 vsize=13977988 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13973/stat : 13973 (java) S 13961 13964 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 86282468 14313459712 18081 18446744073709551615 4194304 4196468 140721432698400 140128281044336 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13974] ppid=13961 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13974/stat : 13974 (java) S 13961 13964 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86282471 14313459712 18081 18446744073709551615 4194304 4196468 140721432698400 140128279992656 140128736630683 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13975] ppid=13961 vsize=13977988 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/13964/task/13975/stat : 13975 (java) S 13961 13964 12560 0 -1 1077944384 975 0 0 0 15 0 0 0 20 0 15 0 86282471 14313459712 18081 18446744073709551615 4194304 4196468 140721432698400 140128278940016 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13976] ppid=13961 vsize=13977988 memory=2241 CPUtime=0.1 cores=0,2,4,6
/proc/13964/task/13976/stat : 13976 (java) S 13961 13964 12560 0 -1 1077944384 332 0 0 0 10 0 0 0 20 0 15 0 86282471 14313459712 18081 18446744073709551615 4194304 4196468 140721432698400 140128277887216 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13977] ppid=13961 vsize=13977988 memory=280988571724880 CPUtime=0.21 cores=0,2,4,6
/proc/13964/task/13977/stat : 13977 (java) S 13961 13964 12560 0 -1 1077944384 787 0 0 0 21 0 0 0 20 0 15 0 86282471 14313459712 18081 18446744073709551615 4194304 4196468 140721432698400 140128276834416 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13978] ppid=13961 vsize=13977988 memory=29956 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13978/stat : 13978 (java) S 13961 13964 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86282471 14313459712 18081 18446744073709551615 4194304 4196468 140721432698400 140128275781856 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13979] ppid=13961 vsize=13977988 memory=280988571750112 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13979/stat : 13979 (java) S 13961 13964 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86282477 14313459712 18081 18446744073709551615 4194304 4196468 140721432698400 140128206974128 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 72324 KiB

[startup+1.20069 s]
/proc/loadavg: 1.64 1.84 2.01 3/209 13979
/proc/meminfo: memFree=30693460/32770624 swapFree=67105588/67108860
[pid=13964] ppid=13961 vsize=14046600 memory=119588 CPUtime=1.68 cores=0,2,4,6
/proc/13964/stat : 13964 (java) S 13961 13964 12560 0 -1 1077944320 17909 0 0 0 160 8 0 0 20 0 13 0 86282456 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140721432680944 140128736612087 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
/proc/13964/statm: 3511650 29897 3755 1 0 3500424 0
[pid=13964/tid=13966] ppid=13961 vsize=14046600 memory=0 CPUtime=0.88 cores=0,2,4,6
/proc/13964/task/13966/stat : 13966 (java) D 13961 13964 12560 0 -1 4202560 13208 0 0 0 83 5 0 0 20 0 13 0 86282466 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128740855096 140128729297719 0 0 1 16800974 18446744072099589253 0 0 -1 2 0 0 5 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13967] ppid=13961 vsize=14046600 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13967/stat : 13967 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 86282466 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128678558352 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13968] ppid=13961 vsize=14046600 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13968/stat : 13968 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 86282466 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128335436304 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13969] ppid=13961 vsize=14046600 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13969/stat : 13969 (java) S 13961 13964 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 86282466 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128334383504 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13970] ppid=13961 vsize=14046600 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13970/stat : 13970 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 86282466 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128333330704 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13972] ppid=13961 vsize=14046600 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13972/stat : 13972 (java) S 13961 13964 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 86282468 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128282097184 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13973] ppid=13961 vsize=14046600 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13973/stat : 13973 (java) S 13961 13964 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 86282468 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128281044336 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13974] ppid=13961 vsize=14046600 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13974/stat : 13974 (java) S 13961 13964 12560 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 13 0 86282471 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128279991424 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13975] ppid=13961 vsize=14046600 memory=288230574492221466 CPUtime=0.25 cores=0,2,4,6
/proc/13964/task/13975/stat : 13975 (java) S 13961 13964 12560 0 -1 1077944384 1468 0 0 0 25 0 0 0 20 0 13 0 86282471 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128278924528 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13976] ppid=13961 vsize=14046600 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/13964/task/13976/stat : 13976 (java) S 13961 13964 12560 0 -1 1077944384 750 0 0 0 20 1 0 0 20 0 13 0 86282471 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128277887216 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13977] ppid=13961 vsize=14046600 memory=-7028383565733675155 CPUtime=0.31 cores=0,2,4,6
/proc/13964/task/13977/stat : 13977 (java) S 13961 13964 12560 0 -1 1077944384 1057 0 0 0 30 1 0 0 20 0 13 0 86282471 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128276834416 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13978] ppid=13961 vsize=14046600 memory=-5874771483550381248 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13978/stat : 13978 (java) S 13961 13964 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 86282471 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128275781856 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 14046600 KiB
Current children cumulated memory: 119588 KiB

[startup+1.30069 s]
/proc/loadavg: 1.64 1.84 2.01 3/209 13979
/proc/meminfo: memFree=30693460/32770624 swapFree=67105588/67108860
[pid=13964] ppid=13961 vsize=14046600 memory=119588 CPUtime=1.68 cores=0,2,4,6
/proc/13964/stat : 13964 (java) S 13961 13964 12560 0 -1 1077944320 17909 0 0 0 160 8 0 0 20 0 13 0 86282456 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140721432680944 140128736612087 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
/proc/13964/statm: 3511650 29897 3755 1 0 3500424 0
[pid=13964/tid=13966] ppid=13961 vsize=14046600 memory=1226 CPUtime=0.88 cores=0,2,4,6
/proc/13964/task/13966/stat : 13966 (java) D 13961 13964 12560 0 -1 4202560 13208 0 0 0 83 5 0 0 20 0 13 0 86282466 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128740855096 140128729297719 0 0 1 16800974 18446744072099589253 0 0 -1 2 0 0 5 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13967] ppid=13961 vsize=14046600 memory=4529 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13967/stat : 13967 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 86282466 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128678558352 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13968] ppid=13961 vsize=14046600 memory=119588 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13968/stat : 13968 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 86282466 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128335436304 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13969] ppid=13961 vsize=14046600 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13969/stat : 13969 (java) S 13961 13964 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 86282466 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128334383504 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13970] ppid=13961 vsize=14046600 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13970/stat : 13970 (java) S 13961 13964 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 86282466 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128333330704 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13972] ppid=13961 vsize=14046600 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13972/stat : 13972 (java) S 13961 13964 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 86282468 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128282097184 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13973] ppid=13961 vsize=14046600 memory=83 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13973/stat : 13973 (java) S 13961 13964 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 86282468 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128281044336 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13974] ppid=13961 vsize=14046600 memory=286 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13974/stat : 13974 (java) S 13961 13964 12560 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 13 0 86282471 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128279991424 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13975] ppid=13961 vsize=14046600 memory=560 CPUtime=0.25 cores=0,2,4,6
/proc/13964/task/13975/stat : 13975 (java) S 13961 13964 12560 0 -1 1077944384 1468 0 0 0 25 0 0 0 20 0 13 0 86282471 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128278924528 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13976] ppid=13961 vsize=14046600 memory=391 CPUtime=0.21 cores=0,2,4,6
/proc/13964/task/13976/stat : 13976 (java) S 13961 13964 12560 0 -1 1077944384 750 0 0 0 20 1 0 0 20 0 13 0 86282471 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128277887216 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13977] ppid=13961 vsize=14046600 memory=153 CPUtime=0.31 cores=0,2,4,6
/proc/13964/task/13977/stat : 13977 (java) S 13961 13964 12560 0 -1 1077944384 1057 0 0 0 30 1 0 0 20 0 13 0 86282471 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128276834416 140128736623234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
[pid=13964/tid=13978] ppid=13961 vsize=14046600 memory=2940 CPUtime=0 cores=0,2,4,6
/proc/13964/task/13978/stat : 13978 (java) S 13961 13964 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 86282471 14383718400 29897 18446744073709551615 4194304 4196468 140721432698400 140128275781856 140128736622293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140721432703343 140721432703529 140721432703529 140721432707023 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 14046600 KiB
Current children cumulated memory: 119588 KiB

Child status: 0
Real time (s): 1.31578
CPU time (s): 1.69193
CPU user time (s): 1.60349
CPU system time (s): 0.088446
CPU usage (%): 128.588
Max. virtual memory (cumulated for all children) (KiB): 14046600
Max. memory (cumulated for all children) (KiB): 119588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.60349
system time used= 0.088446
maximum resident set size= 120008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17913
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1959
involuntary context switches= 3


# summary of solver processes directly reported to runsolver:
#   pid: 13964
#   total CPU time (s): 1.69193
#   total CPU user time (s): 1.60349
#   total CPU system time (s): 0.088446

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034238 second user time and 0.050326 second system time

The end
Name	Domino/ Domino-m1-s1/Domino-300-300.xml
MD5SUM	f2877c27d9d8eb249e584ffb90778d14
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.0095349997
Satisfiable
(Un)Satisfiability was proved
Number of variables	300
Number of constraints	2
Number of domains	1
Minimum domain size	300
Maximum domain size	300
Distribution of domain sizes	[{"size":300,"count":300}]
Minimum variable degree	1
Maximum variable degree	2
Distribution of variable degrees	[{"degree":1,"count":298},{"degree":2,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	300
Distribution of constraint arities	[{"arity":2,"count":1},{"arity":300,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1
Distribution of constraint types	[{"type":"intension","count":1},{"type":"allEqual","count":1}]
Optimization problem	NO
Type of objective
Trace number 4273855

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
