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.	40	5.12733	2.04289
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 (8054 MiB free)
  memory of node 1: 16384 MiB (10875 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291941-1532267940/watcher-4291941-1532267940 -o /tmp/evaluation-result-4291941-1532267940/solver-4291941-1532267940 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532260876-3288 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 2060579251 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291941-1532267940.xml 

running on 4 cores: 1,3,5,7

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=4103, runsolver pid=4100

[startup+0.100139 s]*
/proc/loadavg: 1.57 1.45 1.50 4/215 4118
/proc/meminfo: memFree=19364812/32770624 swapFree=67108860/67108860
[pid=4103] ppid=4100 vsize=14082740 memory=33988 CPUtime=0.11 cores=1,3,5,7
/proc/4103/stat : 4103 (java) S 4100 4103 3256 0 -1 1077944320 6903 0 0 0 10 1 0 0 20 0 15 0 44357147 14420725760 8497 33554432000 4194304 4196468 140736647010704 140736646993248 140071074983671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
/proc/4103/statm: 3520685 8497 3143 1 0 3482761 0
[pid=4103/tid=4105] ppid=4100 vsize=14082740 memory=-8391711847280899264 CPUtime=0.09 cores=1,3,5,7
/proc/4103/task/4105/stat : 4105 (java) R 4100 4103 3256 0 -1 4202560 4989 0 0 0 8 1 0 0 20 0 15 0 44357148 14420725760 8497 33554432000 4194304 4196468 140736647010704 140071079217136 140071075005597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4106] ppid=4100 vsize=14082740 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4106/stat : 4106 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357149 14420725760 8497 33554432000 4194304 4196468 140736647010704 140071031535888 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4107] ppid=4100 vsize=14082740 memory=140210367727232 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4107/stat : 4107 (java) S 4100 4103 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357149 14420725760 8497 33554432000 4194304 4196468 140736647010704 140070669969808 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4108] ppid=4100 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4108/stat : 4108 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357149 14420725760 8497 33554432000 4194304 4196468 140736647010704 140070668917264 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4109] ppid=4100 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4109/stat : 4109 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357149 14420725760 8497 33554432000 4194304 4196468 140736647010704 140070667864720 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4110] ppid=4100 vsize=14082740 memory=140210367727232 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4110/stat : 4110 (java) S 4100 4103 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357150 14420725760 8497 33554432000 4194304 4196468 140736647010704 140070256540144 140071074994818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4111] ppid=4100 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4111/stat : 4111 (java) S 4100 4103 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44357150 14420725760 8497 33554432000 4194304 4196468 140736647010704 140070255486368 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4112] ppid=4100 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4112/stat : 4112 (java) S 4100 4103 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44357151 14420725760 8497 33554432000 4194304 4196468 140736647010704 140070254433776 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4113] ppid=4100 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4113/stat : 4113 (java) S 4100 4103 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357153 14420725760 8497 33554432000 4194304 4196468 140736647010704 140070253382352 140071075002267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4114] ppid=4100 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4114/stat : 4114 (java) S 4100 4103 3256 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 44357153 14420725760 8497 33554432000 4194304 4196468 140736647010704 140070252328944 140071074994818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4115] ppid=4100 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4115/stat : 4115 (java) S 4100 4103 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357153 14420725760 8497 33554432000 4194304 4196468 140736647010704 140070251276400 140071074994818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4116] ppid=4100 vsize=14082740 memory=140210367727232 CPUtime=0.01 cores=1,3,5,7
/proc/4103/task/4116/stat : 4116 (java) R 4100 4103 3256 0 -1 4202560 242 0 0 0 1 0 0 0 20 0 15 0 44357153 14420725760 8497 33554432000 4194304 4196468 140736647010704 140070250223856 140071053348332 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4117] ppid=4100 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4117/stat : 4117 (java) S 4100 4103 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357153 14420725760 8497 33554432000 4194304 4196468 140736647010704 140070249171552 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4118] ppid=4100 vsize=14082740 memory=140210367727232 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4118/stat : 4118 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357153 14420725760 8497 33554432000 4194304 4196468 140736647010704 140070248119088 140071074994818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33988 KiB

[startup+0.213829 s]*
/proc/loadavg: 1.57 1.45 1.50 6/215 4118
/proc/meminfo: memFree=19349804/32770624 swapFree=67108860/67108860
[pid=4103] ppid=4100 vsize=14082740 memory=47620 CPUtime=0.32 cores=1,3,5,7
/proc/4103/stat : 4103 (java) S 4100 4103 3256 0 -1 1077944320 9971 0 0 0 30 2 0 0 20 0 15 0 44357147 14420725760 11905 33554432000 4194304 4196468 140736647010704 140736646993248 140071074983671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
/proc/4103/statm: 3520685 11905 3379 1 0 3482761 0
[pid=4103/tid=4105] ppid=4100 vsize=14082740 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/4103/task/4105/stat : 4105 (java) R 4100 4103 3256 0 -1 4202560 7703 0 0 0 19 2 0 0 20 0 15 0 44357148 14420725760 11905 33554432000 4194304 4196468 140736647010704 140071079211600 140071059027301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4106] ppid=4100 vsize=14082740 memory=331 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4106/stat : 4106 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357149 14420725760 11905 33554432000 4194304 4196468 140736647010704 140071031535888 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4107] ppid=4100 vsize=14082740 memory=140210367731500 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4107/stat : 4107 (java) S 4100 4103 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357149 14420725760 11905 33554432000 4194304 4196468 140736647010704 140070669969808 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4108] ppid=4100 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4108/stat : 4108 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357149 14420725760 11905 33554432000 4194304 4196468 140736647010704 140070668917264 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4109] ppid=4100 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4109/stat : 4109 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357149 14420725760 11905 33554432000 4194304 4196468 140736647010704 140070667864720 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4110] ppid=4100 vsize=14082740 memory=140210367727232 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4110/stat : 4110 (java) S 4100 4103 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44357150 14420725760 11905 33554432000 4194304 4196468 140736647010704 140070256540144 140071074994818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4111] ppid=4100 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4111/stat : 4111 (java) S 4100 4103 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44357150 14420725760 11905 33554432000 4194304 4196468 140736647010704 140070255486368 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4112] ppid=4100 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4112/stat : 4112 (java) S 4100 4103 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44357151 14420725760 11905 33554432000 4194304 4196468 140736647010704 140070254433776 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4113] ppid=4100 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4113/stat : 4113 (java) S 4100 4103 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357153 14420725760 11905 33554432000 4194304 4196468 140736647010704 140070253382352 140071075002267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4114] ppid=4100 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4103/task/4114/stat : 4114 (java) S 4100 4103 3256 0 -1 1077944384 561 0 0 0 2 0 0 0 20 0 15 0 44357153 14420725760 11905 33554432000 4194304 4196468 140736647010704 140070252328944 140071074994818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4115] ppid=4100 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4103/task/4115/stat : 4115 (java) S 4100 4103 3256 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 15 0 44357153 14420725760 11905 33554432000 4194304 4196468 140736647010704 140070251276400 140071074994818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4116] ppid=4100 vsize=14082740 memory=140210367727232 CPUtime=0.06 cores=1,3,5,7
/proc/4103/task/4116/stat : 4116 (java) R 4100 4103 3256 0 -1 4202560 276 0 0 0 6 0 0 0 20 0 15 0 44357153 14420725760 11905 33554432000 4194304 4196468 140736647010704 140070250223856 140071075005018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4117] ppid=4100 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4117/stat : 4117 (java) S 4100 4103 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357153 14420725760 11905 33554432000 4194304 4196468 140736647010704 140070249171552 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4118] ppid=4100 vsize=14082740 memory=140210367727232 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4118/stat : 4118 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357153 14420725760 11916 33554432000 4194304 4196468 140736647010704 140070248119088 140071074994818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47620 KiB

[startup+0.310545 s]*
/proc/loadavg: 1.57 1.45 1.50 3/215 4118
/proc/meminfo: memFree=19346092/32770624 swapFree=67108860/67108860
[pid=4103] ppid=4100 vsize=14082740 memory=50848 CPUtime=0.43 cores=1,3,5,7
/proc/4103/stat : 4103 (java) S 4100 4103 3256 0 -1 1077944320 10319 0 0 0 41 2 0 0 20 0 15 0 44357147 14420725760 12712 33554432000 4194304 4196468 140736647010704 140736646993248 140071074983671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
/proc/4103/statm: 3520685 12712 3381 1 0 3482761 0
[pid=4103/tid=4105] ppid=4100 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/4103/task/4105/stat : 4105 (java) R 4100 4103 3256 0 -1 4202560 8039 0 0 0 28 2 0 0 20 0 15 0 44357148 14420725760 12712 33554432000 4194304 4196468 140736647010704 140071079204592 140071055259560 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4106] ppid=4100 vsize=14082740 memory=304556140472303639 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4106/stat : 4106 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357149 14420725760 12712 33554432000 4194304 4196468 140736647010704 140071031535888 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4107] ppid=4100 vsize=14082740 memory=15960229337204376 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4107/stat : 4107 (java) S 4100 4103 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357149 14420725760 12712 33554432000 4194304 4196468 140736647010704 140070669969808 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4108] ppid=4100 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4108/stat : 4108 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357149 14420725760 12712 33554432000 4194304 4196468 140736647010704 140070668917264 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4109] ppid=4100 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4109/stat : 4109 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357149 14420725760 12712 33554432000 4194304 4196468 140736647010704 140070667864720 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4110] ppid=4100 vsize=14082740 memory=140210367727232 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4110/stat : 4110 (java) S 4100 4103 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44357150 14420725760 12712 33554432000 4194304 4196468 140736647010704 140070256540144 140071074994818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4111] ppid=4100 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4111/stat : 4111 (java) S 4100 4103 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44357150 14420725760 12712 33554432000 4194304 4196468 140736647010704 140070255486368 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4112] ppid=4100 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4112/stat : 4112 (java) S 4100 4103 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44357151 14420725760 12712 33554432000 4194304 4196468 140736647010704 140070254433776 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4113] ppid=4100 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4113/stat : 4113 (java) S 4100 4103 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357153 14420725760 12712 33554432000 4194304 4196468 140736647010704 140070253382352 140071075002267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4114] ppid=4100 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4103/task/4114/stat : 4114 (java) S 4100 4103 3256 0 -1 1077944384 566 0 0 0 2 0 0 0 20 0 15 0 44357153 14420725760 12712 33554432000 4194304 4196468 140736647010704 140070252328944 140071074994818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4115] ppid=4100 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4103/task/4115/stat : 4115 (java) S 4100 4103 3256 0 -1 1077944384 52 0 0 0 2 0 0 0 20 0 15 0 44357153 14420725760 12712 33554432000 4194304 4196468 140736647010704 140070251276400 140071074994818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4116] ppid=4100 vsize=14082740 memory=140210367727232 CPUtime=0.07 cores=1,3,5,7
/proc/4103/task/4116/stat : 4116 (java) S 4100 4103 3256 0 -1 1077944384 281 0 0 0 7 0 0 0 20 0 15 0 44357153 14420725760 12712 33554432000 4194304 4196468 140736647010704 140070250223856 140071074994818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4117] ppid=4100 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4117/stat : 4117 (java) S 4100 4103 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357153 14420725760 12712 33554432000 4194304 4196468 140736647010704 140070249171552 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4118] ppid=4100 vsize=14082740 memory=140210367727232 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4118/stat : 4118 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357153 14420725760 12712 33554432000 4194304 4196468 140736647010704 140070248119088 140071074994818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50848 KiB

[startup+0.700748 s]
/proc/loadavg: 1.57 1.45 1.50 3/215 4118
/proc/meminfo: memFree=19322020/32770624 swapFree=67108860/67108860
[pid=4103] ppid=4100 vsize=14084808 memory=90688 CPUtime=1 cores=1,3,5,7
/proc/4103/stat : 4103 (java) S 4100 4103 3256 0 -1 1077944320 17028 0 0 0 95 5 0 0 20 0 15 0 44357147 14422843392 22672 33554432000 4194304 4196468 140736647010704 140736646993248 140071074983671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
/proc/4103/statm: 3521202 22672 3483 1 0 3483273 0
[pid=4103/tid=4105] ppid=4100 vsize=14084808 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/4103/task/4105/stat : 4105 (java) R 4100 4103 3256 0 -1 4202560 14348 0 0 0 63 4 0 0 20 0 15 0 44357148 14422843392 22672 33554432000 4194304 4196468 140736647010704 140071079208752 140071075005597 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4106] ppid=4100 vsize=14084808 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4106/stat : 4106 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357149 14422843392 22672 33554432000 4194304 4196468 140736647010704 140071031535888 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4107] ppid=4100 vsize=14084808 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4107/stat : 4107 (java) S 4100 4103 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357149 14422843392 22672 33554432000 4194304 4196468 140736647010704 140070669969808 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4108] ppid=4100 vsize=14084808 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4108/stat : 4108 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357149 14422843392 22672 33554432000 4194304 4196468 140736647010704 140070668917264 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4109] ppid=4100 vsize=14084808 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4109/stat : 4109 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357149 14422843392 22672 33554432000 4194304 4196468 140736647010704 140070667864720 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4110] ppid=4100 vsize=14084808 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4110/stat : 4110 (java) S 4100 4103 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44357150 14422843392 22672 33554432000 4194304 4196468 140736647010704 140070256540144 140071074994818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4111] ppid=4100 vsize=14084808 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4111/stat : 4111 (java) S 4100 4103 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44357150 14422843392 22672 33554432000 4194304 4196468 140736647010704 140070255486368 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4112] ppid=4100 vsize=14084808 memory=8372 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4112/stat : 4112 (java) S 4100 4103 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44357151 14422843392 22672 33554432000 4194304 4196468 140736647010704 140070254433776 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4113] ppid=4100 vsize=14084808 memory=7518026621751089001 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4113/stat : 4113 (java) S 4100 4103 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357153 14422843392 22672 33554432000 4194304 4196468 140736647010704 140070253382352 140071075002267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4114] ppid=4100 vsize=14084808 memory=7236547281622689387 CPUtime=0.09 cores=1,3,5,7
/proc/4103/task/4114/stat : 4114 (java) S 4100 4103 3256 0 -1 1077944384 719 0 0 0 9 0 0 0 20 0 15 0 44357153 14422843392 22672 33554432000 4194304 4196468 140736647010704 140070252328944 140071074994818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4115] ppid=4100 vsize=14084808 memory=5787213827130353767 CPUtime=0.06 cores=1,3,5,7
/proc/4103/task/4115/stat : 4115 (java) S 4100 4103 3256 0 -1 1077944384 208 0 0 0 6 0 0 0 20 0 15 0 44357153 14422843392 22672 33554432000 4194304 4196468 140736647010704 140070251276400 140071074994818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4116] ppid=4100 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/4103/task/4116/stat : 4116 (java) S 4100 4103 3256 0 -1 1077944384 372 0 0 0 15 0 0 0 20 0 15 0 44357153 14422843392 22672 33554432000 4194304 4196468 140736647010704 140070250223856 140071074994818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4117] ppid=4100 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4117/stat : 4117 (java) S 4100 4103 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357153 14422843392 22672 33554432000 4194304 4196468 140736647010704 140070249171552 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4118] ppid=4100 vsize=14084808 memory=33 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4118/stat : 4118 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357153 14422843392 22672 33554432000 4194304 4196468 140736647010704 140070248119088 140071074994818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 90688 KiB

[startup+1.5035 s]
/proc/loadavg: 1.57 1.45 1.50 6/215 4118
/proc/meminfo: memFree=19277596/32770624 swapFree=67108860/67108860
[pid=4103] ppid=4100 vsize=14088904 memory=210512 CPUtime=3.54 cores=1,3,5,7
/proc/4103/stat : 4103 (java) S 4100 4103 3256 0 -1 1077944320 23548 0 0 0 346 8 0 0 20 0 15 0 44357147 14427037696 52628 33554432000 4194304 4196468 140736647010704 140736646993248 140071074983671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
/proc/4103/statm: 3522226 52628 3548 1 0 3484297 0
[pid=4103/tid=4105] ppid=4100 vsize=14088904 memory=8112282956445269571 CPUtime=1.47 cores=1,3,5,7
/proc/4103/task/4105/stat : 4105 (java) R 4100 4103 3256 0 -1 1077944384 16650 0 0 0 141 6 0 0 20 0 15 0 44357148 14427037696 52628 33554432000 4194304 4196468 140736647010704 140071079218976 140071074993877 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4106] ppid=4100 vsize=14088904 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4106/stat : 4106 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357149 14427037696 52628 33554432000 4194304 4196468 140736647010704 140071031535888 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4107] ppid=4100 vsize=14088904 memory=-2843869621055772062 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4107/stat : 4107 (java) S 4100 4103 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357149 14427037696 52628 33554432000 4194304 4196468 140736647010704 140070669969808 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4108] ppid=4100 vsize=14088904 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4108/stat : 4108 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357149 14427037696 52628 33554432000 4194304 4196468 140736647010704 140070668917264 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4109] ppid=4100 vsize=14088904 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4109/stat : 4109 (java) S 4100 4103 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357149 14427037696 52628 33554432000 4194304 4196468 140736647010704 140070667864720 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4110] ppid=4100 vsize=14088904 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4110/stat : 4110 (java) S 4100 4103 3256 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 44357150 14427037696 52628 33554432000 4194304 4196468 140736647010704 140070256540144 140071074994818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4111] ppid=4100 vsize=14088904 memory=7236281195429254250 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4111/stat : 4111 (java) S 4100 4103 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44357150 14427037696 52628 33554432000 4194304 4196468 140736647010704 140070255486368 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4112] ppid=4100 vsize=14088904 memory=6370158502951085138 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4112/stat : 4112 (java) S 4100 4103 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44357151 14427037696 52628 33554432000 4194304 4196468 140736647010704 140070254433776 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4113] ppid=4100 vsize=14088904 memory=7451894300419318880 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4113/stat : 4113 (java) S 4100 4103 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357153 14427037696 52628 33554432000 4194304 4196468 140736647010704 140070253382352 140071075002267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4114] ppid=4100 vsize=14088904 memory=7526543731344527736 CPUtime=0.78 cores=1,3,5,7
/proc/4103/task/4114/stat : 4114 (java) R 4100 4103 3256 0 -1 4202560 2060 0 0 0 78 0 0 0 20 0 15 0 44357153 14427037696 52628 33554432000 4194304 4196468 140736647010704 140070252315792 140071075005018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4115] ppid=4100 vsize=14088904 memory=0 CPUtime=0.75 cores=1,3,5,7
/proc/4103/task/4115/stat : 4115 (java) R 4100 4103 3256 0 -1 4202560 1936 0 0 0 75 0 0 0 20 0 15 0 44357153 14427037696 52628 33554432000 4194304 4196468 140736647010704 140070251261392 140071054670463 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4116] ppid=4100 vsize=14088904 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/4103/task/4116/stat : 4116 (java) S 4100 4103 3256 0 -1 1077944384 1505 0 0 0 50 0 0 0 20 0 15 0 44357153 14427037696 52628 33554432000 4194304 4196468 140736647010704 140070250223856 140071074994818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4117] ppid=4100 vsize=14088904 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4117/stat : 4117 (java) S 4100 4103 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357153 14427037696 52628 33554432000 4194304 4196468 140736647010704 140070249171552 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4118] ppid=4100 vsize=14088904 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4118/stat : 4118 (java) S 4100 4103 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357153 14427037696 52628 33554432000 4194304 4196468 140736647010704 140070248119088 140071074994818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
Current children cumulated CPU time: 3.54 s
Current children cumulated vsize: 14088904 KiB
Current children cumulated memory: 210512 KiB

[startup+2.04284 s]
# the end of solver process 4103 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.01815 s, system=0.109178 s

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

[startup+1.60342 s]
/proc/loadavg: 1.57 1.45 1.50 6/215 4118
/proc/meminfo: memFree=19277596/32770624 swapFree=67108860/67108860
[pid=4103] ppid=4100 vsize=14088904 memory=221196 CPUtime=3.79 cores=1,3,5,7
/proc/4103/stat : 4103 (java) S 4100 4103 3256 0 -1 1077944320 24613 0 0 0 370 9 0 0 20 0 15 0 44357147 14427037696 55299 33554432000 4194304 4196468 140736647010704 140736646993248 140071074983671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
/proc/4103/statm: 3522226 55299 3568 1 0 3484297 0
[pid=4103/tid=4105] ppid=4100 vsize=14088904 memory=5793975930949489769 CPUtime=1.56 cores=1,3,5,7
/proc/4103/task/4105/stat : 4105 (java) R 4100 4103 3256 0 -1 1077944384 16816 0 0 0 150 6 0 0 20 0 15 0 44357148 14427037696 55299 33554432000 4194304 4196468 140736647010704 140071079218176 140071074993877 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4106] ppid=4100 vsize=14088904 memory=7518311352563363161 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4106/stat : 4106 (java) S 4100 4103 3256 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 44357149 14427037696 55299 33554432000 4194304 4196468 140736647010704 140071031535888 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4107] ppid=4100 vsize=14088904 memory=7523615452491704178 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4107/stat : 4107 (java) S 4100 4103 3256 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 44357149 14427037696 55299 33554432000 4194304 4196468 140736647010704 140070669969808 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4108] ppid=4100 vsize=14088904 memory=7235125604514359905 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4108/stat : 4108 (java) S 4100 4103 3256 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 44357149 14427037696 55299 33554432000 4194304 4196468 140736647010704 140070668917264 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4109] ppid=4100 vsize=14088904 memory=7584172172082901604 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4109/stat : 4109 (java) S 4100 4103 3256 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 44357149 14427037696 55299 33554432000 4194304 4196468 140736647010704 140070667864720 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4110] ppid=4100 vsize=14088904 memory=7584172172082901604 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4110/stat : 4110 (java) S 4100 4103 3256 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 44357150 14427037696 55299 33554432000 4194304 4196468 140736647010704 140070256540144 140071074994818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4111] ppid=4100 vsize=14088904 memory=4639948313719891052 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4111/stat : 4111 (java) S 4100 4103 3256 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 44357150 14427037696 55299 33554432000 4194304 4196468 140736647010704 140070255486368 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4112] ppid=4100 vsize=14088904 memory=7883666872995440743 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4112/stat : 4112 (java) S 4100 4103 3256 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 44357151 14427037696 55299 33554432000 4194304 4196468 140736647010704 140070254433776 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4113] ppid=4100 vsize=14088904 memory=7883666872995440743 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4113/stat : 4113 (java) S 4100 4103 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357153 14427037696 55299 33554432000 4194304 4196468 140736647010704 140070253382352 140071075002267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4114] ppid=4100 vsize=14088904 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/4103/task/4114/stat : 4114 (java) R 4100 4103 3256 0 -1 4202560 2074 0 0 0 81 0 0 0 20 0 15 0 44357153 14427037696 55299 33554432000 4194304 4196468 140736647010704 140070252328944 140071059882973 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4115] ppid=4100 vsize=14088904 memory=-2605811476043407915 CPUtime=0.8 cores=1,3,5,7
/proc/4103/task/4115/stat : 4115 (java) R 4100 4103 3256 0 -1 4202560 2014 0 0 0 80 0 0 0 20 0 15 0 44357153 14427037696 55299 33554432000 4194304 4196468 140736647010704 140070251276400 140071054229693 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4116] ppid=4100 vsize=14088904 memory=-4051592751533505334 CPUtime=0.55 cores=1,3,5,7
/proc/4103/task/4116/stat : 4116 (java) R 4100 4103 3256 0 -1 4202560 2008 0 0 0 55 0 0 0 20 0 15 0 44357153 14427037696 55299 33554432000 4194304 4196468 140736647010704 140070250217520 140071068080396 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4117] ppid=4100 vsize=14088904 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4117/stat : 4117 (java) S 4100 4103 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357153 14427037696 55299 33554432000 4194304 4196468 140736647010704 140070249171552 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4118] ppid=4100 vsize=14088904 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4118/stat : 4118 (java) S 4100 4103 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357153 14427037696 55299 33554432000 4194304 4196468 140736647010704 140070248119088 140071074994818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
Current children cumulated CPU time: 3.79 s
Current children cumulated vsize: 14088904 KiB
Current children cumulated memory: 221196 KiB

[startup+2.00113 s]*
/proc/loadavg: 1.57 1.45 1.50 5/215 4118
/proc/meminfo: memFree=19160900/32770624 swapFree=67108860/67108860
[pid=4103] ppid=4100 vsize=14090952 memory=234520 CPUtime=5.05 cores=1,3,5,7
/proc/4103/stat : 4103 (java) S 4100 4103 3256 0 -1 1077944320 28152 0 0 0 495 10 0 0 20 0 15 0 44357147 14429134848 58630 33554432000 4194304 4196468 140736647010704 140736646993248 140071074983671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
/proc/4103/statm: 3522738 58630 3570 1 0 3484809 0
[pid=4103/tid=4105] ppid=4100 vsize=14090952 memory=2608 CPUtime=1.95 cores=1,3,5,7
/proc/4103/task/4105/stat : 4105 (java) R 4100 4103 3256 0 -1 4202560 18214 0 0 0 189 6 0 0 20 0 15 0 44357148 14429134848 58630 33554432000 4194304 4196468 140736647010704 140071079221464 140071059027301 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4106] ppid=4100 vsize=14090952 memory=50000 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4106/stat : 4106 (java) S 4100 4103 3256 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 44357149 14429134848 58630 33554432000 4194304 4196468 140736647010704 140071031535888 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4107] ppid=4100 vsize=14090952 memory=3472468506528298672 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4107/stat : 4107 (java) S 4100 4103 3256 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 44357149 14429134848 58630 33554432000 4194304 4196468 140736647010704 140070669969808 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4108] ppid=4100 vsize=14090952 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4108/stat : 4108 (java) S 4100 4103 3256 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 44357149 14429134848 58630 33554432000 4194304 4196468 140736647010704 140070668917264 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4109] ppid=4100 vsize=14090952 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4109/stat : 4109 (java) S 4100 4103 3256 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 44357149 14429134848 58630 33554432000 4194304 4196468 140736647010704 140070667864720 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4110] ppid=4100 vsize=14090952 memory=140210367727232 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4110/stat : 4110 (java) S 4100 4103 3256 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 44357150 14429134848 58630 33554432000 4194304 4196468 140736647010704 140070256540144 140071074994818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4111] ppid=4100 vsize=14090952 memory=3906366038915428639 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4111/stat : 4111 (java) S 4100 4103 3256 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 44357150 14429134848 58630 33554432000 4194304 4196468 140736647010704 140070255486368 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4112] ppid=4100 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4112/stat : 4112 (java) S 4100 4103 3256 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 44357151 14429134848 58630 33554432000 4194304 4196468 140736647010704 140070254433776 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4113] ppid=4100 vsize=14090952 memory=7235125604514359905 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4113/stat : 4113 (java) S 4100 4103 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357153 14429134848 58630 33554432000 4194304 4196468 140736647010704 140070253382352 140071075002267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4114] ppid=4100 vsize=14090952 memory=140210214086711 CPUtime=1.09 cores=1,3,5,7
/proc/4103/task/4114/stat : 4114 (java) R 4100 4103 3256 0 -1 4202560 2188 0 0 0 109 0 0 0 20 0 15 0 44357153 14429134848 58630 33554432000 4194304 4196468 140736647010704 140070252316416 140071053396368 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4115] ppid=4100 vsize=14090952 memory=280420428229728 CPUtime=1.14 cores=1,3,5,7
/proc/4103/task/4115/stat : 4115 (java) R 4100 4103 3256 0 -1 4202560 2253 0 0 0 114 0 0 0 20 0 15 0 44357153 14429134848 58630 33554432000 4194304 4196468 140736647010704 140070251264272 140071058467136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4116] ppid=4100 vsize=14090952 memory=288230583149276365 CPUtime=0.8 cores=1,3,5,7
/proc/4103/task/4116/stat : 4116 (java) R 4100 4103 3256 0 -1 1077944384 3806 0 0 0 79 1 0 0 20 0 15 0 44357153 14429134848 58630 33554432000 4194304 4196468 140736647010704 140070250223856 140071074994818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4117] ppid=4100 vsize=14090952 memory=13850759250860510 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4117/stat : 4117 (java) S 4100 4103 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357153 14429134848 58630 33554432000 4194304 4196468 140736647010704 140070249171552 140071074993877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
[pid=4103/tid=4118] ppid=4100 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4118/stat : 4118 (java) S 4100 4103 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357153 14429134848 58630 33554432000 4194304 4196468 140736647010704 140070248119088 140071074994818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36438016 140736647013460 140736647013641 140736647013641 140736647016399 0
Current children cumulated CPU time: 5.05 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 234520 KiB

Child status: 0
Real time (s): 2.04289
CPU time (s): 5.12733
CPU user time (s): 5.01815
CPU system time (s): 0.109178
CPU usage (%): 250.985
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 234520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.01815
system time used= 0.109178
maximum resident set size= 235908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28372
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= 2491
involuntary context switches= 20


# summary of solver processes directly reported to runsolver:
#   pid: 4103
#   total CPU time (s): 5.12733
#   total CPU user time (s): 5.01815
#   total CPU system time (s): 0.109178

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032638 second user time and 0.068435 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-03-opt_c18.xml
MD5SUM	631d96c8d55ed895f005166b86b2772f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	14
Best CPU time to get the best result obtained on this benchmark	2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2760
Number of domains	4
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":8},{"size":36,"count":182},{"size":44,"count":208}]
Minimum variable degree	4
Maximum variable degree	62
Distribution of variable degrees	[{"degree":4,"count":16},{"degree":5,"count":11},{"degree":6,"count":28},{"degree":7,"count":18},{"degree":8,"count":30},{"degree":9,"count":5},{"degree":10,"count":40},{"degree":11,"count":25},{"degree":12,"count":20},{"degree":13,"count":11},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":20},{"degree":17,"count":7},{"degree":18,"count":26},{"degree":19,"count":7},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":5},{"degree":26,"count":9},{"degree":27,"count":4},{"degree":28,"count":2},{"degree":29,"count":4},{"degree":30,"count":2},{"degree":31,"count":4},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":37,"count":1},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2760}]
Number of extensional constraints	0
Number of intensional constraints	2760
Distribution of constraint types	[{"type":"intension","count":2760}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4291941

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
