Trace number 4395610

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 2019-09-12OPT65 366.834 366.797

General information on the benchmark

NameRcpsp/Rcpsp-m1-j60/
Rcpsp-j60-26-09.xml
MD5SUM54f28c2036fc278050695a3bd6f2d6a5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark65
Best CPU time to get the best result obtained on this benchmark37.1418
Satisfiable
(Un)Satisfiability was proved
Number of variables62
Number of constraints116
Number of domains2
Minimum domain size1
Maximum domain size363
Distribution of domain sizes[{"size":1,"count":1},{"size":363,"count":61}]
Minimum variable degree3
Maximum variable degree9
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":3},{"degree":5,"count":8},{"degree":6,"count":19},{"degree":7,"count":16},{"degree":8,"count":10},{"degree":9,"count":5}]
Minimum constraint arity2
Maximum constraint arity50
Distribution of constraint arities[{"arity":2,"count":112},{"arity":41,"count":1},{"arity":45,"count":2},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints112
Distribution of constraint types[{"type":"intension","count":112},{"type":"cumulative","count":4}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

48.00/48.08	c xcsp_picat version 2.7b12 (9/12/2019)
48.00/48.08	o 161
106.50/106.56	o 94
186.02/186.03	o 72
294.73/294.72	o 65
366.72/366.79	s OPTIMUM FOUND
366.72/366.79	v <instantiation>
366.72/366.79	v     <list> s[]  </list> 
366.72/366.79	v     <values> 0 0 0 0 6 10 10 5 4 5 16 41 8 19 7 35 10 13 7 11 8 11 46 42 7 18 20 10 23 33 23 33 25 36 19 27 34 25 28 16 26 37 48 27 42 40 34 53 40 41 49 47 48 54 55 51 54 56 55 56 61 65   </values> 
366.72/366.79	v </instantiation>

Verifier Data 

OK	65

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395610-1568338240/watcher-4395610-1568338240 -o /tmp/evaluation-result-4395610-1568338240/solver-4395610-1568338240 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568323423-22107 --watchdog 2560 xcsp_picat HOME/instance-4395610-1568338240.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=25631, runsolver pid=25628

[startup+0.100149 s]*
/proc/loadavg: 2.00 2.00 2.04 3/200 25632
/proc/meminfo: memFree=30199320/32770624 swapFree=67001620/67108860
[pid=25631] ppid=25628 vsize=2031716 memory=35688 CPUtime=0.1 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 1439 0 0 0 10 0 0 0 20 0 1 0 410072710 2080477184 8922 33554432000 4194304 5870510 140734308722704 140734308719848 4529610 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 507929 8922 862 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 35688 KiB

[startup+0.209851 s]*
/proc/loadavg: 2.00 2.00 2.04 3/200 25632
/proc/meminfo: memFree=30184240/32770624 swapFree=67001620/67108860
[pid=25631] ppid=25628 vsize=2031716 memory=50804 CPUtime=0.21 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 1659 0 0 0 21 0 0 0 20 0 1 0 410072710 2080477184 12701 33554432000 4194304 5870510 140734308722704 140734308719848 4520559 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 507929 12701 890 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 50804 KiB

[startup+0.309705 s]*
/proc/loadavg: 2.00 2.00 2.04 3/200 25632
/proc/meminfo: memFree=30163956/32770624 swapFree=67001620/67108860
[pid=25631] ppid=25628 vsize=2048676 memory=69556 CPUtime=0.31 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 4372 0 0 0 30 1 0 0 20 0 1 0 410072710 2097844224 17389 33554432000 4194304 5870510 140734308722704 140734308719848 139720847691655 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 512169 17389 967 410 0 507642 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2048676 KiB
Current children cumulated memory: 69556 KiB

[startup+0.700288 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 25632
/proc/meminfo: memFree=30161660/32770624 swapFree=67001620/67108860
[pid=25631] ppid=25628 vsize=2048676 memory=71604 CPUtime=0.69 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 4392 0 0 0 68 1 0 0 20 0 1 0 410072710 2097844224 17901 33554432000 4194304 5870510 140734308722704 140734308721880 5406724 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 512169 17901 967 410 0 507642 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2048676 KiB
Current children cumulated memory: 71604 KiB

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 25632
/proc/meminfo: memFree=30161312/32770624 swapFree=67001620/67108860
[pid=25631] ppid=25628 vsize=2049260 memory=72448 CPUtime=1.5 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 4555 0 0 0 148 2 0 0 20 0 1 0 410072710 2098442240 18112 33554432000 4194304 5870510 140734308722704 140734308721944 5479984 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 512315 18112 970 410 0 507788 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2049260 KiB
Current children cumulated memory: 72448 KiB

[startup+3.10904 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 25632
/proc/meminfo: memFree=30140044/32770624 swapFree=67001620/67108860
[pid=25631] ppid=25628 vsize=2068736 memory=93364 CPUtime=3.1 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 10128 0 0 0 307 3 0 0 20 0 1 0 410072710 2118385664 23341 33554432000 4194304 5870510 140734308722704 140734308721944 5562032 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 517184 23341 972 410 0 512657 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2068736 KiB
Current children cumulated memory: 93364 KiB

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.04 4/205 25663
/proc/meminfo: memFree=30099292/32770624 swapFree=67001644/67108860
[pid=25631] ppid=25628 vsize=2103020 memory=123264 CPUtime=6.29 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 20088 0 0 0 624 5 0 0 20 0 1 0 410072710 2153492480 30816 33554432000 4194304 5870510 140734308722704 140734308721800 5562107 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 525755 30816 972 410 0 521228 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2103020 KiB
Current children cumulated memory: 123264 KiB

[startup+12.7004 s]
/proc/loadavg: 2.16 2.03 2.05 3/204 25675
/proc/meminfo: memFree=30043232/32770624 swapFree=67001644/67108860
[pid=25631] ppid=25628 vsize=2157164 memory=172440 CPUtime=12.69 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 62814 0 0 0 1258 11 0 0 20 0 1 0 410072710 2208935936 43110 33554432000 4194304 5870510 140734308722704 140734308721944 5321686 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 539291 43110 979 410 0 534764 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2157164 KiB
Current children cumulated memory: 172440 KiB

[startup+25.5003 s]
/proc/loadavg: 2.12 2.03 2.05 3/200 25681
/proc/meminfo: memFree=30072568/32770624 swapFree=67001648/67108860
[pid=25631] ppid=25628 vsize=2143788 memory=161340 CPUtime=25.49 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 95615 0 0 0 2529 20 0 0 20 0 1 0 410072710 2195238912 40335 33554432000 4194304 5870510 140734308722704 140734308721800 5327218 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 535947 40335 1010 410 0 531420 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2143788 KiB
Current children cumulated memory: 161340 KiB

[startup+51.1098 s]
/proc/loadavg: 2.08 2.03 2.05 3/201 25683
/proc/meminfo: memFree=29950492/32770624 swapFree=67001648/67108860
[pid=25631] ppid=25628 vsize=2250644 memory=256952 CPUtime=51.1 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 121150 0 0 0 5082 28 0 0 20 0 1 0 410072710 2304659456 64238 33554432000 4194304 5870510 140734308722704 140734308721816 5258735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 562661 64238 1011 410 0 558134 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2250644 KiB
Current children cumulated memory: 256952 KiB

[startup+102.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/200 25687
/proc/meminfo: memFree=29950856/32770624 swapFree=67001648/67108860
[pid=25631] ppid=25628 vsize=2250656 memory=255568 CPUtime=102.3 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 161560 0 0 0 10189 41 0 0 20 0 1 0 410072710 2304671744 63892 33554432000 4194304 5870510 140734308722704 140734308721960 5288765 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 562664 63892 1011 410 0 558137 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2250656 KiB
Current children cumulated memory: 255568 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 25691
/proc/meminfo: memFree=29941916/32770624 swapFree=67001648/67108860
[pid=25631] ppid=25628 vsize=2242448 memory=261676 CPUtime=162.31 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 172222 0 0 0 16180 51 0 0 20 0 1 0 410072710 2296266752 65419 33554432000 4194304 5870510 140734308722704 140734308720872 5261008 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 560612 65419 1011 410 0 556085 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 2242448 KiB
Current children cumulated memory: 261676 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 25695
/proc/meminfo: memFree=29936900/32770624 swapFree=67001648/67108860
[pid=25631] ppid=25628 vsize=2243384 memory=266708 CPUtime=222.32 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 188929 0 0 0 22177 55 0 0 20 0 1 0 410072710 2297225216 66677 33554432000 4194304 5870510 140734308722704 140734308721272 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 560846 66677 1011 410 0 556319 0
Current children cumulated CPU time: 222.32 s
Current children cumulated vsize: 2243384 KiB
Current children cumulated memory: 266708 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 25701
/proc/meminfo: memFree=29923564/32770624 swapFree=67001648/67108860
[pid=25631] ppid=25628 vsize=2254036 memory=279572 CPUtime=282.32 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 205059 0 0 0 28159 73 0 0 20 0 1 0 410072710 2308132864 69893 33554432000 4194304 5870510 140734308722704 140734308721416 5282489 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 563509 69893 1011 410 0 558982 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 2254036 KiB
Current children cumulated memory: 279572 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25705
/proc/meminfo: memFree=29958032/32770624 swapFree=67001648/67108860
[pid=25631] ppid=25628 vsize=2220004 memory=245616 CPUtime=342.32 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 213614 0 0 0 34148 84 0 0 20 0 1 0 410072710 2273284096 61404 33554432000 4194304 5870510 140734308722704 140734308721688 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 555001 61404 1011 410 0 550474 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 2220004 KiB
Current children cumulated memory: 245616 KiB

[startup+366.797 s]
# the end of solver process 25631 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=365.971 s, system=0.863089 s

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

[startup+345.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25705
/proc/meminfo: memFree=29958032/32770624 swapFree=67001648/67108860
[pid=25631] ppid=25628 vsize=2220004 memory=245616 CPUtime=345.62 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 213614 0 0 0 34478 84 0 0 20 0 1 0 410072710 2273284096 61404 33554432000 4194304 5870510 140734308722704 140734308721688 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 555001 61404 1011 410 0 550474 0
Current children cumulated CPU time: 345.62 s
Current children cumulated vsize: 2220004 KiB
Current children cumulated memory: 245616 KiB

[startup+358.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25706
/proc/meminfo: memFree=29943292/32770624 swapFree=67001648/67108860
[pid=25631] ppid=25628 vsize=2243980 memory=260936 CPUtime=358.42 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 223189 0 0 0 35757 85 0 0 20 0 1 0 410072710 2297835520 65234 33554432000 4194304 5870510 140734308722704 140734308721272 5282464 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 560995 65234 1011 410 0 556468 0
Current children cumulated CPU time: 358.42 s
Current children cumulated vsize: 2243980 KiB
Current children cumulated memory: 260936 KiB

[startup+361.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25707
/proc/meminfo: memFree=29943224/32770624 swapFree=67001648/67108860
[pid=25631] ppid=25628 vsize=2243980 memory=260936 CPUtime=361.63 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 223250 0 0 0 36078 85 0 0 20 0 1 0 410072710 2297835520 65234 33554432000 4194304 5870510 140734308722704 140734308721272 5288858 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 560995 65234 1011 410 0 556468 0
Current children cumulated CPU time: 361.63 s
Current children cumulated vsize: 2243980 KiB
Current children cumulated memory: 260936 KiB

[startup+364.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25707
/proc/meminfo: memFree=29943240/32770624 swapFree=67001648/67108860
[pid=25631] ppid=25628 vsize=2243980 memory=262984 CPUtime=364.82 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 223347 0 0 0 36397 85 0 0 20 0 1 0 410072710 2297835520 65746 33554432000 4194304 5870510 140734308722704 140734308721272 139720852929578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 560995 65746 1011 410 0 556468 0
Current children cumulated CPU time: 364.82 s
Current children cumulated vsize: 2243980 KiB
Current children cumulated memory: 262984 KiB

[startup+365.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 25709
/proc/meminfo: memFree=29941020/32770624 swapFree=67001648/67108860
[pid=25631] ppid=25628 vsize=2243980 memory=262984 CPUtime=365.62 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 223354 0 0 0 36477 85 0 0 20 0 1 0 410072710 2297835520 65746 33554432000 4194304 5870510 140734308722704 140734308721272 5282251 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 560995 65746 1011 410 0 556468 0
Current children cumulated CPU time: 365.62 s
Current children cumulated vsize: 2243980 KiB
Current children cumulated memory: 262984 KiB

[startup+366.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 25709
/proc/meminfo: memFree=29941020/32770624 swapFree=67001648/67108860
[pid=25631] ppid=25628 vsize=2243980 memory=262984 CPUtime=366.42 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 223386 0 0 0 36557 85 0 0 20 0 1 0 410072710 2297835520 65746 33554432000 4194304 5870510 140734308722704 140734308721272 5282721 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 560995 65746 1011 410 0 556468 0
Current children cumulated CPU time: 366.42 s
Current children cumulated vsize: 2243980 KiB
Current children cumulated memory: 262984 KiB

[startup+366.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 25709
/proc/meminfo: memFree=29941020/32770624 swapFree=67001648/67108860
[pid=25631] ppid=25628 vsize=2243980 memory=262984 CPUtime=366.62 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 223387 0 0 0 36577 85 0 0 20 0 1 0 410072710 2297835520 65746 33554432000 4194304 5870510 140734308722704 140734308721272 5282515 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 560995 65746 1011 410 0 556468 0
Current children cumulated CPU time: 366.62 s
Current children cumulated vsize: 2243980 KiB
Current children cumulated memory: 262984 KiB

[startup+366.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 25709
/proc/meminfo: memFree=29941020/32770624 swapFree=67001648/67108860
[pid=25631] ppid=25628 vsize=2243980 memory=262984 CPUtime=366.72 cores=1,3,5,7
/proc/25631/stat : 25631 (xcsp_picat) R 25628 25631 22075 0 -1 4202496 223388 0 0 0 36587 85 0 0 20 0 1 0 410072710 2297835520 65746 33554432000 4194304 5870510 140734308722704 140734308721272 5281827 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42946560 140734308729887 140734308729965 140734308729965 140734308732874 0
/proc/25631/statm: 560995 65746 1011 410 0 556468 0
Current children cumulated CPU time: 366.72 s
Current children cumulated vsize: 2243980 KiB
Current children cumulated memory: 262984 KiB

Child status: 0
Real time (s): 366.797
CPU time (s): 366.834
CPU user time (s): 365.971
CPU system time (s): 0.863089
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 2318644
Max. memory (cumulated for all children) (KiB): 323408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 365.971
system time used= 0.863089
maximum resident set size= 323408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223430
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= 4
involuntary context switches= 98


# summary of solver processes directly reported to runsolver:
#   pid: 25631
#   total CPU time (s): 366.834
#   total CPU user time (s): 365.971
#   total CPU system time (s): 0.863089

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50307 second user time and 2.71583 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-13 03:29:56
IDJOB=4395610
IDBENCH=128324
IDSOLVER=2845
FILE ID=node136/4395610-1568338240
RUNJOBID= node136-1568323423-22107
PBS_JOBID= 21701143
Free space on /tmp= 56788 MiB

SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-26-09.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395610-1568338240/watcher-4395610-1568338240 -o /tmp/evaluation-result-4395610-1568338240/solver-4395610-1568338240 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568323423-22107 --watchdog 2560  xcsp_picat HOME/instance-4395610-1568338240.xml

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

MD5SUM BENCH= 54f28c2036fc278050695a3bd6f2d6a5
RANDOM SEED=860932803

node136.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.00
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.54
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.00
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.54
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.00
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.54
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.00
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30230460 kB
MemAvailable:   31771856 kB
Buffers:           69028 kB
Cached:          1753696 kB
SwapCached:         3736 kB
Active:          1008404 kB
Inactive:         949360 kB
Active(anon):     133412 kB
Inactive(anon):    41928 kB
Active(file):     874992 kB
Inactive(file):   907432 kB
Unevictable:      107452 kB
Mlocked:          107452 kB
SwapTotal:      67108860 kB
SwapFree:       67001620 kB
Dirty:              3176 kB
Writeback:             0 kB
AnonPages:        255300 kB
Mapped:            44744 kB
Shmem:             31552 kB
Slab:             178268 kB
SReclaimable:     149612 kB
SUnreclaim:        28656 kB
KernelStack:        3776 kB
PageTables:         5948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2652888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 56784 MiB
End job on node136 at 2019-09-13 03:36:03