Trace number 4303132

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PicatSAT 2018-08-02? (TO) 2520.1 2520.01

General information on the benchmark

NameNurseRostering/
NurseRostering-13_c18.xml
MD5SUMbfb8f77ba8ae689b0ec737170bc63bca
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark62102
Best CPU time to get the best result obtained on this benchmark2520.11
Satisfiable
(Un)Satisfiability was proved
Number of variables8025
Number of constraints17841
Number of domains21
Minimum domain size1
Maximum domain size121
Distribution of domain sizes[{"size":1,"count":652},{"size":2,"count":1350},{"size":3,"count":156},{"size":4,"count":72},{"size":5,"count":33},{"size":6,"count":8},{"size":7,"count":121},{"size":8,"count":124},{"size":11,"count":96},{"size":12,"count":117},{"size":19,"count":3360},{"size":29,"count":900},{"size":120,"count":504},{"size":121,"count":532}]
Minimum variable degree2
Maximum variable degree55
Distribution of variable degrees[{"degree":2,"count":4185},{"degree":3,"count":480},{"degree":42,"count":5},{"degree":43,"count":95},{"degree":44,"count":120},{"degree":45,"count":25},{"degree":46,"count":79},{"degree":47,"count":137},{"degree":48,"count":190},{"degree":49,"count":200},{"degree":50,"count":288},{"degree":51,"count":991},{"degree":52,"count":861},{"degree":53,"count":271},{"degree":54,"count":78},{"degree":55,"count":20}]
Minimum constraint arity2
Maximum constraint arity240
Distribution of constraint arities[{"arity":2,"count":5938},{"arity":3,"count":5850},{"arity":4,"count":370},{"arity":6,"count":2530},{"arity":7,"count":220},{"arity":19,"count":120},{"arity":29,"count":2280},{"arity":121,"count":532},{"arity":240,"count":1}]
Number of extensional constraints3772
Number of intensional constraints2031
Distribution of constraint types[{"type":"extension","count":3772},{"type":"intension","count":2031},{"type":"regular","count":6235},{"type":"sum","count":240},{"type":"count","count":5562},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data


Verifier Data 

One s line expected

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303132-1533993611/watcher-4303132-1533993611 -o /tmp/evaluation-result-4303132-1533993611/solver-4303132-1533993611 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1533993611-5740 --watchdog 2580 xcsp_picat HOME/instance-4303132-1533993611.xml 

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

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


[startup+0.10067 s]*
/proc/loadavg: 1.00 1.05 1.36 4/187 5771
/proc/meminfo: memFree=4842460/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2025744 memory=36904 CPUtime=0.1 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 1245 0 0 0 10 0 0 0 20 0 1 0 216924299 2074361856 9226 33554432000 4194304 5849708 140735450044096 140735450043400 4458032 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 506436 9226 590 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 36904 KiB

[startup+0.209575 s]*
/proc/loadavg: 1.00 1.05 1.36 4/187 5771
/proc/meminfo: memFree=4803176/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2025744 memory=61676 CPUtime=0.2 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 1257 0 0 0 20 0 0 0 20 0 1 0 216924299 2074361856 15419 33554432000 4194304 5849708 140735450044096 140735450043400 139914607557632 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 506436 15419 620 405 0 503381 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 61676 KiB

[startup+0.309442 s]*
/proc/loadavg: 1.00 1.05 1.36 4/187 5771
/proc/meminfo: memFree=4778288/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2025744 memory=86252 CPUtime=0.31 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 1269 0 0 0 30 1 0 0 20 0 1 0 216924299 2074361856 21563 33554432000 4194304 5849708 140735450044096 140735450043400 4558791 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 506436 21563 620 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 86252 KiB

[startup+0.700302 s]
/proc/loadavg: 1.00 1.05 1.36 4/187 5771
/proc/meminfo: memFree=4728640/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2025744 memory=157992 CPUtime=0.69 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 1339 0 0 0 67 2 0 0 20 0 1 0 216924299 2074361856 39498 33554432000 4194304 5849708 140735450044096 140735450043400 4476470 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 506436 39498 620 405 0 503381 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 157992 KiB

[startup+1.50032 s]
/proc/loadavg: 1.00 1.05 1.35 4/187 5771
/proc/meminfo: memFree=4659956/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2033560 memory=261312 CPUtime=1.49 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 2146 0 0 0 145 4 0 0 20 0 1 0 216924299 2082365440 65328 33554432000 4194304 5849708 140735450044096 140735450043400 4540639 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 508390 65328 639 405 0 505335 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 261312 KiB

[startup+3.10957 s]
/proc/loadavg: 1.00 1.05 1.35 4/187 5771
/proc/meminfo: memFree=4329096/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2216596 memory=535584 CPUtime=3.1 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 4375 0 0 0 301 9 0 0 20 0 1 0 216924299 2269794304 133896 33554432000 4194304 5849708 140735450044096 140735450043064 4488955 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 554149 133896 673 405 0 551094 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2216596 KiB
Current children cumulated memory: 535584 KiB

[startup+6.30034 s]
/proc/loadavg: 1.00 1.05 1.35 4/187 5771
/proc/meminfo: memFree=4221432/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2233336 memory=635088 CPUtime=6.29 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 6823 0 0 0 596 33 0 0 20 0 1 0 216924299 2286936064 158772 33554432000 4194304 5849708 140735450044096 140735450043336 139914607579015 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 558334 158772 740 405 0 555279 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2233336 KiB
Current children cumulated memory: 635088 KiB

[startup+12.7003 s]
/proc/loadavg: 1.08 1.06 1.36 4/187 5771
/proc/meminfo: memFree=4143928/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2315256 memory=717752 CPUtime=12.69 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 13527 0 0 0 1231 38 0 0 20 0 1 0 216924299 2370822144 179438 33554432000 4194304 5849708 140735450044096 140735450043336 5521468 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 578814 179438 740 405 0 575759 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2315256 KiB
Current children cumulated memory: 717752 KiB

[startup+25.5003 s]
/proc/loadavg: 1.22 1.09 1.36 4/187 5771
/proc/meminfo: memFree=4137304/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2315256 memory=717752 CPUtime=25.48 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 14121 0 0 0 2506 42 0 0 20 0 1 0 216924299 2370822144 179438 33554432000 4194304 5849708 140735450044096 140735450043208 5499375 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 578814 179438 740 405 0 575759 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2315256 KiB
Current children cumulated memory: 717752 KiB

[startup+51.1091 s]
/proc/loadavg: 1.53 1.18 1.38 4/187 5771
/proc/meminfo: memFree=4091016/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2348028 memory=750524 CPUtime=51.09 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 15650 0 0 0 5059 50 0 0 20 0 1 0 216924299 2404380672 187631 33554432000 4194304 5849708 140735450044096 140735450043208 5615865 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 587007 187631 740 405 0 583952 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2348028 KiB
Current children cumulated memory: 750524 KiB

[startup+102.3 s]
/proc/loadavg: 1.80 1.31 1.42 4/187 5772
/proc/meminfo: memFree=4068816/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2348028 memory=750524 CPUtime=102.29 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 16575 0 0 0 10172 57 0 0 20 0 1 0 216924299 2404380672 187631 33554432000 4194304 5849708 140735450044096 140735450043336 5606238 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 587007 187631 740 405 0 583952 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2348028 KiB
Current children cumulated memory: 750524 KiB

[startup+162.3 s]
/proc/loadavg: 1.92 1.43 1.45 4/187 5773
/proc/meminfo: memFree=3917176/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2489796 memory=892668 CPUtime=162.29 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 57052 0 0 0 16163 66 0 0 20 0 1 0 216924299 2549551104 223167 33554432000 4194304 5849708 140735450044096 140735450043096 5437623 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 622449 223167 771 405 0 619394 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2489796 KiB
Current children cumulated memory: 892668 KiB

[startup+222.3 s]
/proc/loadavg: 1.97 1.54 1.49 4/187 5774
/proc/meminfo: memFree=3938700/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2466360 memory=869336 CPUtime=222.29 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 84169 0 0 0 22156 73 0 0 20 0 1 0 216924299 2525552640 217334 33554432000 4194304 5849708 140735450044096 140735450042744 4206506 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 616590 217334 773 405 0 613535 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2466360 KiB
Current children cumulated memory: 869336 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.52 4/187 5775
/proc/meminfo: memFree=3932536/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2479900 memory=869288 CPUtime=282.29 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 110597 0 0 0 28145 84 0 0 20 0 1 0 216924299 2539417600 217322 33554432000 4194304 5849708 140735450044096 140735450043096 5307749 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 619975 217322 773 405 0 616920 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2479900 KiB
Current children cumulated memory: 869288 KiB

[startup+342.301 s]
/proc/loadavg: 2.00 1.69 1.55 4/187 5777
/proc/meminfo: memFree=3923324/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2497348 memory=886736 CPUtime=342.3 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 136145 0 0 0 34137 93 0 0 20 0 1 0 216924299 2557284352 221684 33554432000 4194304 5849708 140735450044096 140735450042968 5341857 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 624337 221684 773 405 0 621282 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2497348 KiB
Current children cumulated memory: 886736 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.75 1.58 4/187 5778
/proc/meminfo: memFree=3919736/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2479552 memory=882448 CPUtime=402.3 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 185305 0 0 0 40124 106 0 0 20 0 1 0 216924299 2539061248 220612 33554432000 4194304 5849708 140735450044096 140735450042744 5360463 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 619888 220612 773 405 0 616833 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2479552 KiB
Current children cumulated memory: 882448 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.79 1.60 4/187 5779
/proc/meminfo: memFree=3913372/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2496656 memory=899552 CPUtime=462.29 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 211929 0 0 0 46116 113 0 0 20 0 1 0 216924299 2556575744 224888 33554432000 4194304 5849708 140735450044096 140735450043096 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 624164 224888 773 405 0 621109 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2496656 KiB
Current children cumulated memory: 899552 KiB


################
# More data... #
################

/proc/5770/statm: 627693 230287 773 405 0 624638 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 2510772 KiB
Current children cumulated memory: 921148 KiB

[startup+1782.3 s]
/proc/loadavg: 2.07 2.08 1.97 4/187 5817
/proc/meminfo: memFree=3811112/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2510772 memory=921220 CPUtime=1782.33 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 687813 0 0 0 177926 307 0 0 20 0 1 0 216924299 2571030528 230305 33554432000 4194304 5849708 140735450044096 140735450043096 5307573 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 627693 230305 773 405 0 624638 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 2510772 KiB
Current children cumulated memory: 921220 KiB

[startup+1842.3 s]
/proc/loadavg: 2.02 2.07 1.97 4/187 5825
/proc/meminfo: memFree=3804188/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2510772 memory=921220 CPUtime=1842.33 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 689160 0 0 0 183916 317 0 0 20 0 1 0 216924299 2571030528 230305 33554432000 4194304 5849708 140735450044096 140735450043096 5438162 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 627693 230305 773 405 0 624638 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 2510772 KiB
Current children cumulated memory: 921220 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.06 1.97 4/187 5826
/proc/meminfo: memFree=3920772/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2495796 memory=906244 CPUtime=1902.34 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 690449 0 0 0 189909 325 0 0 20 0 1 0 216924299 2555695104 226561 33554432000 4194304 5849708 140735450044096 140735450043096 139914607579015 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 623949 226561 773 405 0 620894 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 2495796 KiB
Current children cumulated memory: 906244 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.05 1.97 4/187 5827
/proc/meminfo: memFree=3890212/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2495796 memory=906244 CPUtime=1962.34 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 691388 0 0 0 195903 331 0 0 20 0 1 0 216924299 2555695104 226561 33554432000 4194304 5849708 140735450044096 140735450043096 139914607579015 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 623949 226561 773 405 0 620894 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 2495796 KiB
Current children cumulated memory: 906244 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 1.97 4/187 5828
/proc/meminfo: memFree=3879872/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2495796 memory=906244 CPUtime=2022.35 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 692628 0 0 0 201894 341 0 0 20 0 1 0 216924299 2555695104 226561 33554432000 4194304 5849708 140735450044096 140735450043256 139914607579015 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 623949 226561 773 405 0 620894 0
Current children cumulated CPU time: 2022.35 s
Current children cumulated vsize: 2495796 KiB
Current children cumulated memory: 906244 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 1.97 4/187 5829
/proc/meminfo: memFree=3865748/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2510104 memory=920552 CPUtime=2082.35 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 694375 0 0 0 207891 344 0 0 20 0 1 0 216924299 2570346496 230138 33554432000 4194304 5849708 140735450044096 140735450043256 5437580 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 627526 230138 773 405 0 624471 0
Current children cumulated CPU time: 2082.35 s
Current children cumulated vsize: 2510104 KiB
Current children cumulated memory: 920552 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 1.97 4/187 5831
/proc/meminfo: memFree=3845440/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2510104 memory=920552 CPUtime=2142.35 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 695386 0 0 0 213883 352 0 0 20 0 1 0 216924299 2570346496 230138 33554432000 4194304 5849708 140735450044096 140735450043256 5437592 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 627526 230138 773 405 0 624471 0
Current children cumulated CPU time: 2142.35 s
Current children cumulated vsize: 2510104 KiB
Current children cumulated memory: 920552 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 1.97 4/187 5832
/proc/meminfo: memFree=3836856/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2510104 memory=920552 CPUtime=2202.36 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 696665 0 0 0 219875 361 0 0 20 0 1 0 216924299 2570346496 230138 33554432000 4194304 5849708 140735450044096 140735450043096 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 627526 230138 773 405 0 624471 0
Current children cumulated CPU time: 2202.36 s
Current children cumulated vsize: 2510104 KiB
Current children cumulated memory: 920552 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 1.97 4/187 5833
/proc/meminfo: memFree=3837188/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2510104 memory=920552 CPUtime=2262.36 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 697945 0 0 0 225867 369 0 0 20 0 1 0 216924299 2570346496 230138 33554432000 4194304 5849708 140735450044096 140735450043096 5437855 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 627526 230138 773 405 0 624471 0
Current children cumulated CPU time: 2262.36 s
Current children cumulated vsize: 2510104 KiB
Current children cumulated memory: 920552 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.97 4/187 5835
/proc/meminfo: memFree=3850768/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2495508 memory=905956 CPUtime=2322.36 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 698794 0 0 0 231860 376 0 0 20 0 1 0 216924299 2555400192 226489 33554432000 4194304 5849708 140735450044096 140735450043096 139914607579015 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 623877 226489 773 405 0 620822 0
Current children cumulated CPU time: 2322.36 s
Current children cumulated vsize: 2495508 KiB
Current children cumulated memory: 905956 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.97 4/187 5836
/proc/meminfo: memFree=3896824/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2495508 memory=905956 CPUtime=2382.37 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 700020 0 0 0 237852 385 0 0 20 0 1 0 216924299 2555400192 226489 33554432000 4194304 5849708 140735450044096 140735450043096 5438085 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 623877 226489 773 405 0 620822 0
Current children cumulated CPU time: 2382.37 s
Current children cumulated vsize: 2495508 KiB
Current children cumulated memory: 905956 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.97 4/188 5845
/proc/meminfo: memFree=3859536/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2509524 memory=919972 CPUtime=2442.37 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 701720 0 0 0 243844 393 0 0 20 0 1 0 216924299 2569752576 229993 33554432000 4194304 5849708 140735450044096 140735450043096 5339058 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 627381 229993 773 405 0 624326 0
Current children cumulated CPU time: 2442.37 s
Current children cumulated vsize: 2509524 KiB
Current children cumulated memory: 919972 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.97 4/188 5868
/proc/meminfo: memFree=3837108/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2509524 memory=919972 CPUtime=2502.38 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 702547 0 0 0 249831 407 0 0 20 0 1 0 216924299 2569752576 229993 33554432000 4194304 5849708 140735450044096 140735450043096 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 627381 229993 773 405 0 624326 0
Current children cumulated CPU time: 2502.38 s
Current children cumulated vsize: 2509524 KiB
Current children cumulated memory: 919972 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.97 3/186 5868
/proc/meminfo: memFree=3986836/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5762 vsize=2509524 memory=919972 CPUtime=2520.08 cores=0,2,4,6
/proc/5770/stat : 5770 (xcsp_picat) R 5762 5770 5709 0 -1 4202496 703104 0 0 0 251595 413 0 0 20 0 1 0 216924299 2569752576 229993 33554432000 4194304 5849708 140735450044096 140735450043096 5435275 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20635648 140735450047670 140735450047748 140735450047748 140735450050506 0
/proc/5770/statm: 627381 229993 773 405 0 624326 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 2509524 KiB
Current children cumulated memory: 919972 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.01 s]
# the end of solver process 5770 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.96 s, system=4.13819 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2520.1
CPU user time (s): 2515.96
CPU system time (s): 4.13819
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2536632
Max. memory (cumulated for all children) (KiB): 921220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.96
system time used= 4.13819
maximum resident set size= 921220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 703104
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= 39
involuntary context switches= 1902


# summary of solver processes directly reported to runsolver:
#   pid: 5770
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2515.96
#   total CPU system time (s): 4.13819

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7931 second user time and 17.4212 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-11 15:20:11
IDJOB=4303132
IDBENCH=141057
IDSOLVER=2778
FILE ID=node107/4303132-1533993611
RUNJOBID= node107-1533993611-5740
PBS_JOBID= 21036955
Free space on /tmp= 39332 MiB

SOLVER NAME= PicatSAT 2018-08-02
BENCH NAME= XCSP18/NurseRostering/NurseRostering-13_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303132-1533993611/watcher-4303132-1533993611 -o /tmp/evaluation-result-4303132-1533993611/solver-4303132-1533993611 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1533993611-5740 --watchdog 2580  xcsp_picat HOME/instance-4303132-1533993611.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bfb8f77ba8ae689b0ec737170bc63bca
RANDOM SEED=699205505

node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         4907152 kB
MemAvailable:   31902376 kB
Buffers:          277760 kB
Cached:         26614060 kB
SwapCached:            0 kB
Active:          8956728 kB
Inactive:       17988884 kB
Active(anon):       2716 kB
Inactive(anon):   103628 kB
Active(file):    8954012 kB
Inactive(file): 17885256 kB
Unevictable:        6976 kB
Mlocked:            6976 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6124 kB
Writeback:           780 kB
AnonPages:         60748 kB
Mapped:            60656 kB
Shmem:             49804 kB
Slab:             612536 kB
SReclaimable:     584416 kB
SUnreclaim:        28120 kB
KernelStack:        3200 kB
PageTables:         4736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     350308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 39328 MiB
End job on node107 at 2018-08-11 16:02:11