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 (13305 MiB free)
  memory of node 1: 16384 MiB (13939 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301545-1532883039/watcher-4301545-1532883039 -o /tmp/evaluation-result-4301545-1532883039/solver-4301545-1532883039 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532880243-4871 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301545-1532883039.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=6629, runsolver pid=6626

[startup+0.10016 s]*
/proc/loadavg: 1.92 1.98 1.95 3/188 6630
/proc/meminfo: memFree=27891780/32770624 swapFree=67108532/67108860
[pid=6629] ppid=6626 vsize=34148 memory=10484 CPUtime=0.1 cores=1,3,5,7
/proc/6629/stat : 6629 (cosoco) R 6626 6629 4839 0 -1 4202496 2802 0 0 0 10 0 0 0 20 0 1 0 105867022 34967552 2621 33554432000 4194304 6142532 140726644647984 140726644644616 5442959 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30605312 140726644655243 140726644655373 140726644655373 140726644658126 0
/proc/6629/statm: 8537 2621 802 476 0 1859 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34148 KiB
Current children cumulated memory: 10484 KiB

[startup+0.209578 s]*
/proc/loadavg: 1.92 1.98 1.95 3/188 6630
/proc/meminfo: memFree=27888432/32770624 swapFree=67108532/67108860
[pid=6629] ppid=6626 vsize=37384 memory=13692 CPUtime=0.21 cores=1,3,5,7
/proc/6629/stat : 6629 (cosoco) R 6626 6629 4839 0 -1 4202496 3599 0 0 0 21 0 0 0 20 0 1 0 105867022 38281216 3423 33554432000 4194304 6142532 140726644647984 140726644644616 140338928999397 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30605312 140726644655243 140726644655373 140726644655373 140726644658126 0
/proc/6629/statm: 9346 3423 802 476 0 2668 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37384 KiB
Current children cumulated memory: 13692 KiB

[startup+0.309095 s]*
/proc/loadavg: 1.92 1.98 1.95 3/188 6630
/proc/meminfo: memFree=27884340/32770624 swapFree=67108532/67108860
[pid=6629] ppid=6626 vsize=41568 memory=17744 CPUtime=0.3 cores=1,3,5,7
/proc/6629/stat : 6629 (cosoco) R 6626 6629 4839 0 -1 4202496 4648 0 0 0 30 0 0 0 20 0 1 0 105867022 42565632 4436 33554432000 4194304 6142532 140726644647984 140726644644616 140338928999397 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30605312 140726644655243 140726644655373 140726644655373 140726644658126 0
/proc/6629/statm: 10392 4436 802 476 0 3714 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41568 KiB
Current children cumulated memory: 17744 KiB

[startup+0.700288 s]
/proc/loadavg: 1.92 1.98 1.95 3/188 6630
/proc/meminfo: memFree=27875908/32770624 swapFree=67108532/67108860
[pid=6629] ppid=6626 vsize=57864 memory=34036 CPUtime=0.69 cores=1,3,5,7
/proc/6629/stat : 6629 (cosoco) R 6626 6629 4839 0 -1 4202496 8717 0 0 0 67 2 0 0 20 0 1 0 105867022 59252736 8509 33554432000 4194304 6142532 140726644647984 140726644644616 140338928999397 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30605312 140726644655243 140726644655373 140726644655373 140726644658126 0
/proc/6629/statm: 14466 8509 802 476 0 7788 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57864 KiB
Current children cumulated memory: 34036 KiB

[startup+1.50031 s]
/proc/loadavg: 1.92 1.98 1.95 3/188 6630
/proc/meminfo: memFree=27855076/32770624 swapFree=67108532/67108860
[pid=6629] ppid=6626 vsize=91800 memory=67976 CPUtime=1.48 cores=1,3,5,7
/proc/6629/stat : 6629 (cosoco) R 6626 6629 4839 0 -1 4202496 17198 0 0 0 145 3 0 0 20 0 1 0 105867022 94003200 16994 33554432000 4194304 6142532 140726644647984 140726644644616 140338928999397 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30605312 140726644655243 140726644655373 140726644655373 140726644658126 0
/proc/6629/statm: 22950 16994 802 476 0 16272 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 91800 KiB
Current children cumulated memory: 67976 KiB

[startup+3.10948 s]
/proc/loadavg: 1.84 1.97 1.94 3/188 6630
/proc/meminfo: memFree=27805600/32770624 swapFree=67108532/67108860
[pid=6629] ppid=6626 vsize=120532 memory=96988 CPUtime=3.1 cores=1,3,5,7
/proc/6629/stat : 6629 (cosoco) R 6626 6629 4839 0 -1 4202496 45452 0 0 0 305 5 0 0 20 0 1 0 105867022 123424768 24247 33554432000 4194304 6142532 140726644647984 140726644637112 140338928999397 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30605312 140726644655243 140726644655373 140726644655373 140726644658126 0
/proc/6629/statm: 30133 24247 846 476 0 23455 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 120532 KiB
Current children cumulated memory: 96988 KiB

[startup+6.30035 s]
/proc/loadavg: 1.84 1.97 1.94 3/188 6630
/proc/meminfo: memFree=27797912/32770624 swapFree=67108532/67108860
[pid=6629] ppid=6626 vsize=120928 memory=97464 CPUtime=6.29 cores=1,3,5,7
/proc/6629/stat : 6629 (cosoco) R 6626 6629 4839 0 -1 4202496 68948 0 0 0 623 6 0 0 20 0 1 0 105867022 123830272 24366 33554432000 4194304 6142532 140726644647984 140726644635256 5396701 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30605312 140726644655243 140726644655373 140726644655373 140726644658126 0
/proc/6629/statm: 30232 24366 847 476 0 23554 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 120928 KiB
Current children cumulated memory: 97464 KiB

[startup+12.7004 s]
/proc/loadavg: 1.87 1.97 1.95 3/188 6630
/proc/meminfo: memFree=27788308/32770624 swapFree=67108532/67108860
[pid=6629] ppid=6626 vsize=121192 memory=97752 CPUtime=12.69 cores=1,3,5,7
/proc/6629/stat : 6629 (cosoco) R 6626 6629 4839 0 -1 4202496 92489 0 0 0 1262 7 0 0 20 0 1 0 105867022 124100608 24438 33554432000 4194304 6142532 140726644647984 140726644635256 5146677 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30605312 140726644655243 140726644655373 140726644655373 140726644658126 0
/proc/6629/statm: 30298 24438 847 476 0 23620 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 121192 KiB
Current children cumulated memory: 97752 KiB

[startup+20.1684 s]
# the end of solver process 6629 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20.069 s, system=0.101009 s

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

[startup+12.8004 s]
/proc/loadavg: 1.87 1.97 1.95 3/188 6630
/proc/meminfo: memFree=27788308/32770624 swapFree=67108532/67108860
[pid=6629] ppid=6626 vsize=121192 memory=97752 CPUtime=12.79 cores=1,3,5,7
/proc/6629/stat : 6629 (cosoco) R 6626 6629 4839 0 -1 4202496 92489 0 0 0 1272 7 0 0 20 0 1 0 105867022 124100608 24438 33554432000 4194304 6142532 140726644647984 140726644635256 5371844 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30605312 140726644655243 140726644655373 140726644655373 140726644658126 0
/proc/6629/statm: 30298 24438 847 476 0 23620 0
Current children cumulated CPU time: 12.79 s
Current children cumulated vsize: 121192 KiB
Current children cumulated memory: 97752 KiB

[startup+16.0004 s]*
/proc/loadavg: 1.87 1.97 1.95 3/188 6630
/proc/meminfo: memFree=27787860/32770624 swapFree=67108532/67108860
[pid=6629] ppid=6626 vsize=121192 memory=97764 CPUtime=16 cores=1,3,5,7
/proc/6629/stat : 6629 (cosoco) R 6626 6629 4839 0 -1 4202496 115916 0 0 0 1591 9 0 0 20 0 1 0 105867022 124100608 24441 33554432000 4194304 6142532 140726644647984 140726644645512 5371868 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30605312 140726644655243 140726644655373 140726644655373 140726644658126 0
/proc/6629/statm: 30298 24441 847 476 0 23620 0
Current children cumulated CPU time: 16 s
Current children cumulated vsize: 121192 KiB
Current children cumulated memory: 97764 KiB

[startup+17.6004 s]
/proc/loadavg: 1.88 1.97 1.95 3/188 6630
/proc/meminfo: memFree=27787364/32770624 swapFree=67108532/67108860
[pid=6629] ppid=6626 vsize=121192 memory=97764 CPUtime=17.59 cores=1,3,5,7
/proc/6629/stat : 6629 (cosoco) R 6626 6629 4839 0 -1 4202496 115916 0 0 0 1750 9 0 0 20 0 1 0 105867022 124100608 24441 33554432000 4194304 6142532 140726644647984 140726644645512 5396955 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30605312 140726644655243 140726644655373 140726644655373 140726644658126 0
/proc/6629/statm: 30298 24441 847 476 0 23620 0
Current children cumulated CPU time: 17.59 s
Current children cumulated vsize: 121192 KiB
Current children cumulated memory: 97764 KiB

[startup+19.2003 s]
/proc/loadavg: 1.88 1.97 1.95 3/188 6630
/proc/meminfo: memFree=27786912/32770624 swapFree=67108532/67108860
[pid=6629] ppid=6626 vsize=121324 memory=97868 CPUtime=19.19 cores=1,3,5,7
/proc/6629/stat : 6629 (cosoco) R 6626 6629 4839 0 -1 4202496 116032 0 0 0 1910 9 0 0 20 0 1 0 105867022 124235776 24467 33554432000 4194304 6142532 140726644647984 140726644645512 5363605 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30605312 140726644655243 140726644655373 140726644655373 140726644658126 0
/proc/6629/statm: 30331 24467 847 476 0 23653 0
Current children cumulated CPU time: 19.19 s
Current children cumulated vsize: 121324 KiB
Current children cumulated memory: 97868 KiB

[startup+19.6004 s]
/proc/loadavg: 1.88 1.97 1.95 3/188 6630
/proc/meminfo: memFree=27786912/32770624 swapFree=67108532/67108860
[pid=6629] ppid=6626 vsize=121324 memory=97868 CPUtime=19.59 cores=1,3,5,7
/proc/6629/stat : 6629 (cosoco) R 6626 6629 4839 0 -1 4202496 116052 0 0 0 1950 9 0 0 20 0 1 0 105867022 124235776 24467 33554432000 4194304 6142532 140726644647984 140726644645512 4991555 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30605312 140726644655243 140726644655373 140726644655373 140726644658126 0
/proc/6629/statm: 30331 24467 847 476 0 23653 0
Current children cumulated CPU time: 19.59 s
Current children cumulated vsize: 121324 KiB
Current children cumulated memory: 97868 KiB

[startup+20.0003 s]*
/proc/loadavg: 1.88 1.97 1.95 3/188 6630
/proc/meminfo: memFree=27786912/32770624 swapFree=67108532/67108860
[pid=6629] ppid=6626 vsize=121324 memory=97868 CPUtime=20 cores=1,3,5,7
/proc/6629/stat : 6629 (cosoco) R 6626 6629 4839 0 -1 4202496 116052 0 0 0 1991 9 0 0 20 0 1 0 105867022 124235776 24467 33554432000 4194304 6142532 140726644647984 140726644645512 140338938944344 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30605312 140726644655243 140726644655373 140726644655373 140726644658126 0
/proc/6629/statm: 30331 24467 847 476 0 23653 0
Current children cumulated CPU time: 20 s
Current children cumulated vsize: 121324 KiB
Current children cumulated memory: 97868 KiB

[startup+20.1094 s]
/proc/loadavg: 1.88 1.97 1.95 3/188 6630
/proc/meminfo: memFree=27786912/32770624 swapFree=67108532/67108860
[pid=6629] ppid=6626 vsize=121324 memory=97868 CPUtime=20.1 cores=1,3,5,7
/proc/6629/stat : 6629 (cosoco) R 6626 6629 4839 0 -1 4202496 116052 0 0 0 2001 9 0 0 20 0 1 0 105867022 124235776 24467 33554432000 4194304 6142532 140726644647984 140726644645512 5374350 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30605312 140726644655243 140726644655373 140726644655373 140726644658126 0
/proc/6629/statm: 30331 24467 847 476 0 23653 0
Current children cumulated CPU time: 20.1 s
Current children cumulated vsize: 121324 KiB
Current children cumulated memory: 97868 KiB

Child status: 0
Real time (s): 20.1685
CPU time (s): 20.17
CPU user time (s): 20.069
CPU system time (s): 0.101009
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 121324
Max. memory (cumulated for all children) (KiB): 97868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.069
system time used= 0.101009
maximum resident set size= 98028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 8


# summary of solver processes directly reported to runsolver:
#   pid: 6629
#   total CPU time (s): 20.17
#   total CPU user time (s): 20.069
#   total CPU system time (s): 0.101009

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.099543 second user time and 0.188669 second system time

The end