2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-07-02	Wrong Opt.	46	6.86441	2.69106
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 (10707 MiB free)
  memory of node 1: 16384 MiB (12035 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291931-1532266867/watcher-4291931-1532266867 -o /tmp/evaluation-result-4291931-1532266867/solver-4291931-1532266867 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532262189-32665 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 321930602 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291931-1532266867.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=935, runsolver pid=932

[startup+0.101023 s]*
/proc/loadavg: 1.81 1.64 1.57 8/219 950
/proc/meminfo: memFree=23258432/32770624 swapFree=67108860/67108860
[pid=935] ppid=932 vsize=14082740 memory=31068 CPUtime=0.11 cores=0,2,4,6
/proc/935/stat : 935 (java) S 932 935 32634 0 -1 1077944320 6684 0 0 0 10 1 0 0 20 0 15 0 44249909 14420725760 7767 33554432000 4194304 4196468 140734968670176 140734968652720 139986593140471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
/proc/935/statm: 3520685 7767 3142 1 0 3482761 0
[pid=935/tid=937] ppid=932 vsize=14082740 memory=8389772277269004345 CPUtime=0.09 cores=0,2,4,6
/proc/935/task/937/stat : 937 (java) R 932 935 32634 0 -1 4202560 5296 0 0 0 8 1 0 0 20 0 15 0 44249909 14420725760 8295 33554432000 4194304 4196468 140734968670176 139986597353912 139986593162397 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=938] ppid=932 vsize=14082740 memory=4294967661 CPUtime=0 cores=0,2,4,6
/proc/935/task/938/stat : 938 (java) S 932 935 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249910 14420725760 8295 33554432000 4194304 4196468 140734968670176 139986545760528 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=939] ppid=932 vsize=14082740 memory=288370025570457216 CPUtime=0 cores=0,2,4,6
/proc/935/task/939/stat : 939 (java) S 932 935 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249910 14420725760 8295 33554432000 4194304 4196468 140734968670176 139986544707984 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=940] ppid=932 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/935/task/940/stat : 940 (java) S 932 935 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249910 14420725760 8295 33554432000 4194304 4196468 140734968670176 139986543655440 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=941] ppid=932 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/935/task/941/stat : 941 (java) S 932 935 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249910 14420725760 8295 33554432000 4194304 4196468 140734968670176 139986542602896 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=942] ppid=932 vsize=14082740 memory=139649418745472 CPUtime=0 cores=0,2,4,6
/proc/935/task/942/stat : 942 (java) S 932 935 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249911 14420725760 8295 33554432000 4194304 4196468 140734968670176 139985774750192 139986593151618 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=943] ppid=932 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/935/task/943/stat : 943 (java) S 932 935 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44249912 14420725760 8295 33554432000 4194304 4196468 140734968670176 139985773696416 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=944] ppid=932 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/935/task/944/stat : 944 (java) S 932 935 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44249912 14420725760 8295 33554432000 4194304 4196468 140734968670176 139985772643824 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=945] ppid=932 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/935/task/945/stat : 945 (java) S 932 935 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249914 14420725760 8295 33554432000 4194304 4196468 140734968670176 139985771592400 139986593159067 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=946] ppid=932 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/935/task/946/stat : 946 (java) S 932 935 32634 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 44249914 14420725760 8295 33554432000 4194304 4196468 140734968670176 139985770538992 139986593151618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=947] ppid=932 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/935/task/947/stat : 947 (java) R 932 935 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249915 14420725760 8295 33554432000 4194304 4196468 140734968670176 139985769486448 139986593151618 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=948] ppid=932 vsize=14082740 memory=139649418745472 CPUtime=0.01 cores=0,2,4,6
/proc/935/task/948/stat : 948 (java) R 932 935 32634 0 -1 4202560 242 0 0 0 1 0 0 0 20 0 15 0 44249915 14420725760 8295 33554432000 4194304 4196468 140734968670176 139985768433904 139986573457337 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=949] ppid=932 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/935/task/949/stat : 949 (java) S 932 935 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249915 14420725760 8295 33554432000 4194304 4196468 140734968670176 139985767381600 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=950] ppid=932 vsize=14082740 memory=139649418745472 CPUtime=0 cores=0,2,4,6
/proc/935/task/950/stat : 950 (java) S 932 935 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249915 14420725760 8295 33554432000 4194304 4196468 140734968670176 139985766329136 139986593151618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31068 KiB

[startup+0.2104 s]*
/proc/loadavg: 1.81 1.64 1.57 6/219 950
/proc/meminfo: memFree=23216344/32770624 swapFree=67108860/67108860
[pid=935] ppid=932 vsize=14082740 memory=46852 CPUtime=0.3 cores=0,2,4,6
/proc/935/stat : 935 (java) S 932 935 32634 0 -1 1077944320 10285 0 0 0 27 3 0 0 20 0 15 0 44249909 14420725760 11713 33554432000 4194304 4196468 140734968670176 140734968652720 139986593140471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
/proc/935/statm: 3520685 11713 3376 1 0 3482761 0
[pid=935/tid=937] ppid=932 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/935/task/937/stat : 937 (java) S 932 935 32634 0 -1 1077944384 8041 0 0 0 18 2 0 0 20 0 15 0 44249909 14420725760 11713 33554432000 4194304 4196468 140734968670176 139986597366368 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=938] ppid=932 vsize=14082740 memory=4294967661 CPUtime=0 cores=0,2,4,6
/proc/935/task/938/stat : 938 (java) S 932 935 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249910 14420725760 11713 33554432000 4194304 4196468 140734968670176 139986545760528 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=939] ppid=932 vsize=14082740 memory=288370025570457216 CPUtime=0 cores=0,2,4,6
/proc/935/task/939/stat : 939 (java) S 932 935 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249910 14420725760 11713 33554432000 4194304 4196468 140734968670176 139986544707984 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=940] ppid=932 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/935/task/940/stat : 940 (java) S 932 935 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249910 14420725760 11713 33554432000 4194304 4196468 140734968670176 139986543655440 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=941] ppid=932 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/935/task/941/stat : 941 (java) S 932 935 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249910 14420725760 11713 33554432000 4194304 4196468 140734968670176 139986542602896 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=942] ppid=932 vsize=14082740 memory=139649418745472 CPUtime=0 cores=0,2,4,6
/proc/935/task/942/stat : 942 (java) S 932 935 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44249911 14420725760 11713 33554432000 4194304 4196468 140734968670176 139985774750192 139986593151618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=943] ppid=932 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/935/task/943/stat : 943 (java) S 932 935 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44249912 14420725760 11713 33554432000 4194304 4196468 140734968670176 139985773696416 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=944] ppid=932 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/935/task/944/stat : 944 (java) S 932 935 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44249912 14420725760 11713 33554432000 4194304 4196468 140734968670176 139985772643824 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=945] ppid=932 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/935/task/945/stat : 945 (java) S 932 935 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249914 14420725760 11713 33554432000 4194304 4196468 140734968670176 139985771592400 139986593159067 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=946] ppid=932 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/935/task/946/stat : 946 (java) R 932 935 32634 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 15 0 44249914 14420725760 11713 33554432000 4194304 4196468 140734968670176 139985770538992 139986593151618 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=947] ppid=932 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/935/task/947/stat : 947 (java) R 932 935 32634 0 -1 4202560 114 0 0 0 2 0 0 0 20 0 15 0 44249915 14420725760 11713 33554432000 4194304 4196468 140734968670176 139985769486448 139986574510784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=948] ppid=932 vsize=14082740 memory=139649418745472 CPUtime=0.06 cores=0,2,4,6
/proc/935/task/948/stat : 948 (java) R 932 935 32634 0 -1 4202560 305 0 0 0 6 0 0 0 20 0 15 0 44249915 14420725760 11713 33554432000 4194304 4196468 140734968670176 139985768430272 139986593161818 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=949] ppid=932 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/935/task/949/stat : 949 (java) S 932 935 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249915 14420725760 11713 33554432000 4194304 4196468 140734968670176 139985767381600 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=950] ppid=932 vsize=14082740 memory=139649418745472 CPUtime=0 cores=0,2,4,6
/proc/935/task/950/stat : 950 (java) S 932 935 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249915 14420725760 11713 33554432000 4194304 4196468 140734968670176 139985766329136 139986593151618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46852 KiB

[startup+0.319023 s]*
/proc/loadavg: 1.81 1.64 1.57 5/219 950
/proc/meminfo: memFree=23201824/32770624 swapFree=67108860/67108860
[pid=935] ppid=932 vsize=14082740 memory=50308 CPUtime=0.44 cores=0,2,4,6
/proc/935/stat : 935 (java) S 932 935 32634 0 -1 1077944320 10710 0 0 0 41 3 0 0 20 0 15 0 44249909 14420725760 12577 33554432000 4194304 4196468 140734968670176 140734968652720 139986593140471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
/proc/935/statm: 3520685 12577 3378 1 0 3482761 0
[pid=935/tid=937] ppid=932 vsize=14082740 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/935/task/937/stat : 937 (java) R 932 935 32634 0 -1 4202560 8421 0 0 0 28 2 0 0 20 0 15 0 44249909 14420725760 12577 33554432000 4194304 4196468 140734968670176 139986597352392 139986593162397 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=938] ppid=932 vsize=14082740 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/935/task/938/stat : 938 (java) S 932 935 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249910 14420725760 12577 33554432000 4194304 4196468 140734968670176 139986545760528 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=939] ppid=932 vsize=14082740 memory=8372 CPUtime=0 cores=0,2,4,6
/proc/935/task/939/stat : 939 (java) S 932 935 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249910 14420725760 12577 33554432000 4194304 4196468 140734968670176 139986544707984 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=940] ppid=932 vsize=14082740 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/935/task/940/stat : 940 (java) S 932 935 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249910 14420725760 12577 33554432000 4194304 4196468 140734968670176 139986543655440 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=941] ppid=932 vsize=14082740 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/935/task/941/stat : 941 (java) S 932 935 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249910 14420725760 12577 33554432000 4194304 4196468 140734968670176 139986542602896 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=942] ppid=932 vsize=14082740 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/935/task/942/stat : 942 (java) S 932 935 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44249911 14420725760 12577 33554432000 4194304 4196468 140734968670176 139985774750192 139986593151618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=943] ppid=932 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/935/task/943/stat : 943 (java) S 932 935 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44249912 14420725760 12577 33554432000 4194304 4196468 140734968670176 139985773696416 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=944] ppid=932 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/935/task/944/stat : 944 (java) S 932 935 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44249912 14420725760 12577 33554432000 4194304 4196468 140734968670176 139985772643824 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=945] ppid=932 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/935/task/945/stat : 945 (java) S 932 935 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249914 14420725760 12577 33554432000 4194304 4196468 140734968670176 139985771592400 139986593159067 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=946] ppid=932 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/935/task/946/stat : 946 (java) S 932 935 32634 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 15 0 44249914 14420725760 12577 33554432000 4194304 4196468 140734968670176 139985770538992 139986593151618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=947] ppid=932 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/935/task/947/stat : 947 (java) R 932 935 32634 0 -1 4202560 120 0 0 0 2 0 0 0 20 0 15 0 44249915 14420725760 12577 33554432000 4194304 4196468 140734968670176 139985769486448 139986586125513 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=948] ppid=932 vsize=14082740 memory=139649418745472 CPUtime=0.08 cores=0,2,4,6
/proc/935/task/948/stat : 948 (java) S 932 935 32634 0 -1 1077944384 320 0 0 0 8 0 0 0 20 0 15 0 44249915 14420725760 12577 33554432000 4194304 4196468 140734968670176 139985768433904 139986593151618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=949] ppid=932 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/935/task/949/stat : 949 (java) S 932 935 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249915 14420725760 12577 33554432000 4194304 4196468 140734968670176 139985767381600 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=950] ppid=932 vsize=14082740 memory=139649418745472 CPUtime=0 cores=0,2,4,6
/proc/935/task/950/stat : 950 (java) S 932 935 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249915 14420725760 12577 33554432000 4194304 4196468 140734968670176 139985766329136 139986593151618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50308 KiB

[startup+0.700646 s]
/proc/loadavg: 1.81 1.64 1.57 6/219 950
/proc/meminfo: memFree=23157008/32770624 swapFree=67108860/67108860
[pid=935] ppid=932 vsize=14084808 memory=88940 CPUtime=0.99 cores=0,2,4,6
/proc/935/stat : 935 (java) S 932 935 32634 0 -1 1077944320 17579 0 0 0 94 5 0 0 20 0 15 0 44249909 14422843392 22235 33554432000 4194304 4196468 140734968670176 140734968652720 139986593140471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
/proc/935/statm: 3521202 22235 3505 1 0 3483273 0
[pid=935/tid=937] ppid=932 vsize=14084808 memory=139649318258136 CPUtime=0.67 cores=0,2,4,6
/proc/935/task/937/stat : 937 (java) R 932 935 32634 0 -1 4202560 14832 0 0 0 63 4 0 0 20 0 15 0 44249909 14422843392 22235 33554432000 4194304 4196468 140734968670176 139986597364528 139986577220958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=938] ppid=932 vsize=14084808 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/935/task/938/stat : 938 (java) S 932 935 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249910 14422843392 22235 33554432000 4194304 4196468 140734968670176 139986545760528 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=939] ppid=932 vsize=14084808 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/935/task/939/stat : 939 (java) S 932 935 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249910 14422843392 22235 33554432000 4194304 4196468 140734968670176 139986544707984 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=940] ppid=932 vsize=14084808 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/935/task/940/stat : 940 (java) S 932 935 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249910 14422843392 22235 33554432000 4194304 4196468 140734968670176 139986543655440 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=941] ppid=932 vsize=14084808 memory=2420 CPUtime=0 cores=0,2,4,6
/proc/935/task/941/stat : 941 (java) S 932 935 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249910 14422843392 22235 33554432000 4194304 4196468 140734968670176 139986542602896 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=942] ppid=932 vsize=14084808 memory=173056 CPUtime=0 cores=0,2,4,6
/proc/935/task/942/stat : 942 (java) S 932 935 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44249911 14422843392 22235 33554432000 4194304 4196468 140734968670176 139985774750192 139986593151618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=943] ppid=932 vsize=14084808 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/935/task/943/stat : 943 (java) S 932 935 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44249912 14422843392 22235 33554432000 4194304 4196468 140734968670176 139985773696416 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=944] ppid=932 vsize=14084808 memory=10000 CPUtime=0 cores=0,2,4,6
/proc/935/task/944/stat : 944 (java) S 932 935 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44249912 14422843392 22235 33554432000 4194304 4196468 140734968670176 139985772643824 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=945] ppid=932 vsize=14084808 memory=18488 CPUtime=0 cores=0,2,4,6
/proc/935/task/945/stat : 945 (java) S 932 935 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249914 14422843392 22235 33554432000 4194304 4196468 140734968670176 139985771592400 139986593159067 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=946] ppid=932 vsize=14084808 memory=1408 CPUtime=0.06 cores=0,2,4,6
/proc/935/task/946/stat : 946 (java) S 932 935 32634 0 -1 1077944384 660 0 0 0 6 0 0 0 20 0 15 0 44249914 14422843392 22235 33554432000 4194304 4196468 140734968670176 139985770538992 139986593151618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=947] ppid=932 vsize=14084808 memory=2400 CPUtime=0.08 cores=0,2,4,6
/proc/935/task/947/stat : 947 (java) S 932 935 32634 0 -1 1077944384 271 0 0 0 8 0 0 0 20 0 15 0 44249915 14422843392 22235 33554432000 4194304 4196468 140734968670176 139985769486448 139986593151618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=948] ppid=932 vsize=14084808 memory=74312 CPUtime=0.15 cores=0,2,4,6
/proc/935/task/948/stat : 948 (java) S 932 935 32634 0 -1 1077944384 434 0 0 0 15 0 0 0 20 0 15 0 44249915 14422843392 22235 33554432000 4194304 4196468 140734968670176 139985768433904 139986593151618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=949] ppid=932 vsize=14084808 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/935/task/949/stat : 949 (java) S 932 935 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249915 14422843392 22235 33554432000 4194304 4196468 140734968670176 139985767381600 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=950] ppid=932 vsize=14084808 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/935/task/950/stat : 950 (java) S 932 935 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249915 14422843392 22235 33554432000 4194304 4196468 140734968670176 139985766329136 139986593151618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88940 KiB

[startup+1.50073 s]
/proc/loadavg: 1.81 1.64 1.57 8/219 950
/proc/meminfo: memFree=23032172/32770624 swapFree=67108860/67108860
[pid=935] ppid=932 vsize=14086856 memory=223220 CPUtime=3.42 cores=0,2,4,6
/proc/935/stat : 935 (java) S 932 935 32634 0 -1 1077944320 24622 0 0 0 332 10 0 0 20 0 15 0 44249909 14424940544 55805 33554432000 4194304 4196468 140734968670176 140734968652720 139986593140471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
/proc/935/statm: 3521714 55805 3562 1 0 3483785 0
[pid=935/tid=937] ppid=932 vsize=14086856 memory=4616 CPUtime=1.45 cores=0,2,4,6
/proc/935/task/937/stat : 937 (java) R 932 935 32634 0 -1 4202560 17236 0 0 0 139 6 0 0 20 0 15 0 44249909 14424940544 55805 33554432000 4194304 4196468 140734968670176 139986597376048 139986225474757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=938] ppid=932 vsize=14086856 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/935/task/938/stat : 938 (java) S 932 935 32634 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 44249910 14424940544 55805 33554432000 4194304 4196468 140734968670176 139986545760528 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=939] ppid=932 vsize=14086856 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/935/task/939/stat : 939 (java) S 932 935 32634 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 44249910 14424940544 55805 33554432000 4194304 4196468 140734968670176 139986544707984 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=940] ppid=932 vsize=14086856 memory=2420 CPUtime=0 cores=0,2,4,6
/proc/935/task/940/stat : 940 (java) S 932 935 32634 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 15 0 44249910 14424940544 55805 33554432000 4194304 4196468 140734968670176 139986543655440 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=941] ppid=932 vsize=14086856 memory=173056 CPUtime=0 cores=0,2,4,6
/proc/935/task/941/stat : 941 (java) S 932 935 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249910 14424940544 55805 33554432000 4194304 4196468 140734968670176 139986542602896 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=942] ppid=932 vsize=14086856 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/935/task/942/stat : 942 (java) S 932 935 32634 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 44249911 14424940544 55805 33554432000 4194304 4196468 140734968670176 139985774750192 139986593151618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=943] ppid=932 vsize=14086856 memory=10000 CPUtime=0 cores=0,2,4,6
/proc/935/task/943/stat : 943 (java) S 932 935 32634 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 44249912 14424940544 55805 33554432000 4194304 4196468 140734968670176 139985773696416 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=944] ppid=932 vsize=14086856 memory=18488 CPUtime=0 cores=0,2,4,6
/proc/935/task/944/stat : 944 (java) S 932 935 32634 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 44249912 14424940544 55805 33554432000 4194304 4196468 140734968670176 139985772643824 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=945] ppid=932 vsize=14086856 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/935/task/945/stat : 945 (java) S 932 935 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249914 14424940544 55805 33554432000 4194304 4196468 140734968670176 139985771592400 139986593159067 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=946] ppid=932 vsize=14086856 memory=2400 CPUtime=0.66 cores=0,2,4,6
/proc/935/task/946/stat : 946 (java) R 932 935 32634 0 -1 4202560 1490 0 0 0 66 0 0 0 20 0 15 0 44249914 14424940544 55805 33554432000 4194304 4196468 140734968670176 139985770521424 139986572795680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=947] ppid=932 vsize=14086856 memory=74312 CPUtime=0.72 cores=0,2,4,6
/proc/935/task/947/stat : 947 (java) R 932 935 32634 0 -1 4202560 1655 0 0 0 72 0 0 0 20 0 15 0 44249915 14424940544 55805 33554432000 4194304 4196468 140734968670176 139985769477280 139986573841089 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=948] ppid=932 vsize=14086856 memory=1792 CPUtime=0.51 cores=0,2,4,6
/proc/935/task/948/stat : 948 (java) S 932 935 32634 0 -1 1077944384 2351 0 0 0 51 0 0 0 20 0 15 0 44249915 14424940544 55805 33554432000 4194304 4196468 140734968670176 139985768433904 139986593151618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=949] ppid=932 vsize=14086856 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/935/task/949/stat : 949 (java) S 932 935 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249915 14424940544 55805 33554432000 4194304 4196468 140734968670176 139985767381600 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=950] ppid=932 vsize=14086856 memory=14968 CPUtime=0 cores=0,2,4,6
/proc/935/task/950/stat : 950 (java) S 932 935 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44249915 14424940544 55805 33554432000 4194304 4196468 140734968670176 139985766329136 139986593151618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
Current children cumulated CPU time: 3.42 s
Current children cumulated vsize: 14086856 KiB
Current children cumulated memory: 223220 KiB

[startup+2.69102 s]
# the end of solver process 935 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.72472 s, system=0.139697 s

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

[startup+1.60088 s]
/proc/loadavg: 1.81 1.64 1.57 8/219 950
/proc/meminfo: memFree=23032172/32770624 swapFree=67108860/67108860
[pid=935] ppid=932 vsize=14086856 memory=225068 CPUtime=3.72 cores=0,2,4,6
/proc/935/stat : 935 (java) S 932 935 32634 0 -1 1077944320 25057 0 0 0 362 10 0 0 20 0 15 0 44249909 14424940544 56267 33554432000 4194304 4196468 140734968670176 140734968652720 139986593140471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
/proc/935/statm: 3521714 56267 3562 1 0 3483785 0
[pid=935/tid=937] ppid=932 vsize=14086856 memory=2448 CPUtime=1.55 cores=0,2,4,6
/proc/935/task/937/stat : 937 (java) R 932 935 32634 0 -1 4202560 17246 0 0 0 149 6 0 0 20 0 15 0 44249909 14424940544 56267 33554432000 4194304 4196468 140734968670176 139986597374104 139986226516115 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=938] ppid=932 vsize=14086856 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/935/task/938/stat : 938 (java) S 932 935 32634 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 44249910 14424940544 56267 33554432000 4194304 4196468 140734968670176 139986545760528 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=939] ppid=932 vsize=14086856 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/935/task/939/stat : 939 (java) S 932 935 32634 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 44249910 14424940544 56267 33554432000 4194304 4196468 140734968670176 139986544707984 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=940] ppid=932 vsize=14086856 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/935/task/940/stat : 940 (java) S 932 935 32634 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 15 0 44249910 14424940544 56267 33554432000 4194304 4196468 140734968670176 139986543655440 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=941] ppid=932 vsize=14086856 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/935/task/941/stat : 941 (java) S 932 935 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249910 14424940544 56267 33554432000 4194304 4196468 140734968670176 139986542602896 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=942] ppid=932 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/935/task/942/stat : 942 (java) S 932 935 32634 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 44249911 14424940544 56267 33554432000 4194304 4196468 140734968670176 139985774750192 139986593151618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=943] ppid=932 vsize=14086856 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/935/task/943/stat : 943 (java) S 932 935 32634 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 44249912 14424940544 56267 33554432000 4194304 4196468 140734968670176 139985773696416 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=944] ppid=932 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/935/task/944/stat : 944 (java) S 932 935 32634 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 44249912 14424940544 56267 33554432000 4194304 4196468 140734968670176 139985772643824 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=945] ppid=932 vsize=14086856 memory=7524855942533206745 CPUtime=0 cores=0,2,4,6
/proc/935/task/945/stat : 945 (java) S 932 935 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249914 14424940544 56267 33554432000 4194304 4196468 140734968670176 139985771592400 139986593159067 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=946] ppid=932 vsize=14086856 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/935/task/946/stat : 946 (java) R 932 935 32634 0 -1 4202560 1915 0 0 0 76 0 0 0 20 0 15 0 44249914 14424940544 56267 33554432000 4194304 4196468 140734968670176 139985770525016 139986574683803 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=947] ppid=932 vsize=14086856 memory=7976406965554101975 CPUtime=0.82 cores=0,2,4,6
/proc/935/task/947/stat : 947 (java) R 932 935 32634 0 -1 4202560 1655 0 0 0 82 0 0 0 20 0 15 0 44249915 14424940544 56267 33554432000 4194304 4196468 140734968670176 139985769477280 139986585429925 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=948] ppid=932 vsize=14086856 memory=161644 CPUtime=0.51 cores=0,2,4,6
/proc/935/task/948/stat : 948 (java) S 932 935 32634 0 -1 1077944384 2351 0 0 0 51 0 0 0 20 0 15 0 44249915 14424940544 56267 33554432000 4194304 4196468 140734968670176 139985768433904 139986593151618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=949] ppid=932 vsize=14086856 memory=279298636446048 CPUtime=0 cores=0,2,4,6
/proc/935/task/949/stat : 949 (java) S 932 935 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249915 14424940544 56267 33554432000 4194304 4196468 140734968670176 139985767381600 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=950] ppid=932 vsize=14086856 memory=14889 CPUtime=0 cores=0,2,4,6
/proc/935/task/950/stat : 950 (java) S 932 935 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44249915 14424940544 56267 33554432000 4194304 4196468 140734968670176 139985766329136 139986593151618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
Current children cumulated CPU time: 3.72 s
Current children cumulated vsize: 14086856 KiB
Current children cumulated memory: 225068 KiB

[startup+2.40106 s]
/proc/loadavg: 1.81 1.64 1.57 3/219 950
/proc/meminfo: memFree=22805664/32770624 swapFree=67108860/67108860
[pid=935] ppid=932 vsize=14090952 memory=248812 CPUtime=5.96 cores=0,2,4,6
/proc/935/stat : 935 (java) S 932 935 32634 0 -1 1077944320 37577 0 0 0 584 12 0 0 20 0 15 0 44249909 14429134848 62190 33554432000 4194304 4196468 140734968670176 140734968652720 139986593140471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
/proc/935/statm: 3522738 62200 3578 1 0 3484809 0
[pid=935/tid=937] ppid=932 vsize=14090952 memory=10000 CPUtime=2.33 cores=0,2,4,6
/proc/935/task/937/stat : 937 (java) S 932 935 32634 0 -1 1077944384 19818 0 0 0 226 7 0 0 20 0 15 0 44249909 14429134848 62203 33554432000 4194304 4196468 140734968670176 139986597377952 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=938] ppid=932 vsize=14090952 memory=18488 CPUtime=0.01 cores=0,2,4,6
/proc/935/task/938/stat : 938 (java) S 932 935 32634 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 15 0 44249910 14429134848 62203 33554432000 4194304 4196468 140734968670176 139986545760528 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=939] ppid=932 vsize=14090952 memory=1408 CPUtime=0.01 cores=0,2,4,6
/proc/935/task/939/stat : 939 (java) S 932 935 32634 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 15 0 44249910 14429134848 62203 33554432000 4194304 4196468 140734968670176 139986544707984 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=940] ppid=932 vsize=14090952 memory=247 CPUtime=0.01 cores=0,2,4,6
/proc/935/task/940/stat : 940 (java) S 932 935 32634 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 15 0 44249910 14429134848 62268 33554432000 4194304 4196468 140734968670176 139986543655440 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=941] ppid=932 vsize=14090952 memory=117 CPUtime=0 cores=0,2,4,6
/proc/935/task/941/stat : 941 (java) S 932 935 32634 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 44249910 14429134848 62268 33554432000 4194304 4196468 140734968670176 139986542602896 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=942] ppid=932 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/935/task/942/stat : 942 (java) S 932 935 32634 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 15 0 44249911 14429134848 62268 33554432000 4194304 4196468 140734968670176 139985774750192 139986593151618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=943] ppid=932 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/935/task/943/stat : 943 (java) S 932 935 32634 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 44249912 14429134848 62268 33554432000 4194304 4196468 140734968670176 139985773696480 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=944] ppid=932 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/935/task/944/stat : 944 (java) S 932 935 32634 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 44249912 14429134848 62268 33554432000 4194304 4196468 140734968670176 139985772643840 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=945] ppid=932 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/935/task/945/stat : 945 (java) S 932 935 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249914 14429134848 62268 33554432000 4194304 4196468 140734968670176 139985771592400 139986593159067 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=946] ppid=932 vsize=14090952 memory=0 CPUtime=1.29 cores=0,2,4,6
/proc/935/task/946/stat : 946 (java) R 932 935 32634 0 -1 4202560 4783 0 0 0 129 0 0 0 20 0 15 0 44249914 14429134848 62268 33554432000 4194304 4196468 140734968670176 139985770525392 139986574684607 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=947] ppid=932 vsize=14090952 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/935/task/947/stat : 947 (java) R 932 935 32634 0 -1 4202560 3597 0 0 0 135 0 0 0 20 0 15 0 44249915 14429134848 62268 33554432000 4194304 4196468 140734968670176 139985769478936 139986579182997 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=948] ppid=932 vsize=14090952 memory=0 CPUtime=0.87 cores=0,2,4,6
/proc/935/task/948/stat : 948 (java) R 932 935 32634 0 -1 4202560 7314 0 0 0 86 1 0 0 20 0 15 0 44249915 14429134848 62268 33554432000 4194304 4196468 140734968670176 139985768430976 139986586237363 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=949] ppid=932 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/935/task/949/stat : 949 (java) S 932 935 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249915 14429134848 62268 33554432000 4194304 4196468 140734968670176 139985767381600 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=950] ppid=932 vsize=14090952 memory=5794532253766800488 CPUtime=0 cores=0,2,4,6
/proc/935/task/950/stat : 950 (java) S 932 935 32634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 44249915 14429134848 62268 33554432000 4194304 4196468 140734968670176 139985766329136 139986593151618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 248812 KiB

[startup+2.60607 s]
/proc/loadavg: 1.81 1.64 1.57 3/219 950
/proc/meminfo: memFree=22805664/32770624 swapFree=67108860/67108860
[pid=935] ppid=932 vsize=14090952 memory=256300 CPUtime=6.64 cores=0,2,4,6
/proc/935/stat : 935 (java) S 932 935 32634 0 -1 1077944320 39592 0 0 0 651 13 0 0 20 0 15 0 44249909 14429134848 64075 33554432000 4194304 4196468 140734968670176 140734968652720 139986593140471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
/proc/935/statm: 3522738 64075 3579 1 0 3484809 0
[pid=935/tid=937] ppid=932 vsize=14090952 memory=6947385649911455296 CPUtime=2.54 cores=0,2,4,6
/proc/935/task/937/stat : 937 (java) R 932 935 32634 0 -1 4202560 19896 0 0 0 246 8 0 0 20 0 15 0 44249909 14429134848 64075 33554432000 4194304 4196468 140734968670176 139986597378216 139986232083631 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=938] ppid=932 vsize=14090952 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/935/task/938/stat : 938 (java) S 932 935 32634 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 15 0 44249910 14429134848 64075 33554432000 4194304 4196468 140734968670176 139986545760528 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=939] ppid=932 vsize=14090952 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/935/task/939/stat : 939 (java) S 932 935 32634 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 15 0 44249910 14429134848 64075 33554432000 4194304 4196468 140734968670176 139986544707984 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=940] ppid=932 vsize=14090952 memory=-1088251628401078322 CPUtime=0.01 cores=0,2,4,6
/proc/935/task/940/stat : 940 (java) S 932 935 32634 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 15 0 44249910 14429134848 64075 33554432000 4194304 4196468 140734968670176 139986543655440 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=941] ppid=932 vsize=14090952 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/935/task/941/stat : 941 (java) S 932 935 32634 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 44249910 14429134848 64075 33554432000 4194304 4196468 140734968670176 139986542602896 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=942] ppid=932 vsize=14090952 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/935/task/942/stat : 942 (java) S 932 935 32634 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 15 0 44249911 14429134848 64075 33554432000 4194304 4196468 140734968670176 139985774750192 139986593151618 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=943] ppid=932 vsize=14090952 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/935/task/943/stat : 943 (java) S 932 935 32634 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 44249912 14429134848 64075 33554432000 4194304 4196468 140734968670176 139985773696480 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=944] ppid=932 vsize=14090952 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/935/task/944/stat : 944 (java) S 932 935 32634 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 44249912 14429134848 64075 33554432000 4194304 4196468 140734968670176 139985772643840 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=945] ppid=932 vsize=14090952 memory=1414353297708861353 CPUtime=0 cores=0,2,4,6
/proc/935/task/945/stat : 945 (java) S 932 935 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249914 14429134848 64075 33554432000 4194304 4196468 140734968670176 139985771592400 139986593159067 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=946] ppid=932 vsize=14090952 memory=-7384994774051102368 CPUtime=1.49 cores=0,2,4,6
/proc/935/task/946/stat : 946 (java) R 932 935 32634 0 -1 4202560 5728 0 0 0 149 0 0 0 20 0 15 0 44249914 14429134848 64075 33554432000 4194304 4196468 140734968670176 139985770525016 139986572395854 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=947] ppid=932 vsize=14090952 memory=4206468019014099040 CPUtime=1.55 cores=0,2,4,6
/proc/935/task/947/stat : 947 (java) R 932 935 32634 0 -1 4202560 4076 0 0 0 155 0 0 0 20 0 15 0 44249915 14429134848 64075 33554432000 4194304 4196468 140734968670176 139985769472328 139986578253701 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=948] ppid=932 vsize=14090952 memory=-9062862659931694204 CPUtime=0.94 cores=0,2,4,6
/proc/935/task/948/stat : 948 (java) S 932 935 32634 0 -1 1077944384 7742 0 0 0 93 1 0 0 20 0 15 0 44249915 14429134848 64075 33554432000 4194304 4196468 140734968670176 139985768433904 139986593151618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=949] ppid=932 vsize=14090952 memory=-6519613052471072158 CPUtime=0 cores=0,2,4,6
/proc/935/task/949/stat : 949 (java) S 932 935 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249915 14429134848 64075 33554432000 4194304 4196468 140734968670176 139985767381600 139986593150677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
[pid=935/tid=950] ppid=932 vsize=14090952 memory=139649418745471 CPUtime=0 cores=0,2,4,6
/proc/935/task/950/stat : 950 (java) S 932 935 32634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 44249915 14429134848 64075 33554432000 4194304 4196468 140734968670176 139985766329136 139986593151618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20758528 140734968673365 140734968673545 140734968673545 140734968676303 0
Current children cumulated CPU time: 6.64 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 256300 KiB

Child status: 0
Real time (s): 2.69106
CPU time (s): 6.86441
CPU user time (s): 6.72472
CPU system time (s): 0.139697
CPU usage (%): 255.082
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 256300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.72471
system time used= 0.139697
maximum resident set size= 256912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39935
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= 3271
involuntary context switches= 30


# summary of solver processes directly reported to runsolver:
#   pid: 935
#   total CPU time (s): 6.86441
#   total CPU user time (s): 6.72472
#   total CPU system time (s): 0.139697

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036926 second user time and 0.069861 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-09-opt_c18.xml
MD5SUM	2788969af340f57bdb68eae00f77e52f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	18
Best CPU time to get the best result obtained on this benchmark	2520.08
Satisfiable
(Un)Satisfiability was proved
Number of variables	916
Number of constraints	5246
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":2},{"size":36,"count":408},{"size":42,"count":306},{"size":44,"count":188}]
Minimum variable degree	2
Maximum variable degree	38
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":3,"count":10},{"degree":4,"count":22},{"degree":5,"count":38},{"degree":6,"count":81},{"degree":7,"count":93},{"degree":8,"count":105},{"degree":9,"count":86},{"degree":10,"count":68},{"degree":11,"count":42},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":4},{"degree":15,"count":2},{"degree":16,"count":10},{"degree":17,"count":3},{"degree":18,"count":32},{"degree":19,"count":53},{"degree":20,"count":77},{"degree":21,"count":81},{"degree":22,"count":42},{"degree":23,"count":14},{"degree":24,"count":9},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":38,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":5246}]
Number of extensional constraints	0
Number of intensional constraints	5246
Distribution of constraint types	[{"type":"intension","count":5246}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4291931

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
