Trace number 4293248

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-06-15? (TO) 2520.03 2519.9

General information on the benchmark

NameGraphColoring/
GraphColoring-4-fullins-5_c18.xml
MD5SUM95ec92f657fea8ce6e93e6f35592ce49
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark2519.94
Satisfiable
(Un)Satisfiability was proved
Number of variables4146
Number of constraints77305
Number of domains1
Minimum domain size4146
Maximum domain size4146
Distribution of domain sizes[{"size":4146,"count":4146}]
Minimum variable degree9
Maximum variable degree696
Distribution of variable degrees[{"degree":9,"count":4},{"degree":10,"count":18},{"degree":11,"count":14},{"degree":12,"count":56},{"degree":13,"count":22},{"degree":14,"count":94},{"degree":15,"count":28},{"degree":16,"count":112},{"degree":17,"count":54},{"degree":18,"count":216},{"degree":19,"count":62},{"degree":20,"count":248},{"degree":21,"count":24},{"degree":22,"count":96},{"degree":23,"count":78},{"degree":24,"count":312},{"degree":25,"count":10},{"degree":26,"count":40},{"degree":27,"count":40},{"degree":28,"count":166},{"degree":29,"count":40},{"degree":30,"count":160},{"degree":31,"count":166},{"degree":32,"count":664},{"degree":33,"count":30},"...",{"degree":36,"count":96}, {"degree":37,"count":6}, {"degree":38,"count":24}, {"degree":39,"count":24}, {"degree":40,"count":96}, {"degree":49,"count":6}, {"degree":50,"count":24}, {"degree":51,"count":6}, {"degree":52,"count":24}, {"degree":57,"count":6}, {"degree":58,"count":24}, {"degree":59,"count":24}, {"degree":60,"count":96}, {"degree":61,"count":24}, {"degree":62,"count":96}, {"degree":63,"count":96}, {"degree":64,"count":384}, {"degree":93,"count":6}, {"degree":94,"count":24}, {"degree":95,"count":24}, {"degree":96,"count":96}, {"degree":122,"count":6}, {"degree":239,"count":6}, {"degree":240,"count":24}, {"degree":696,"count":6}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":77305}]
Number of extensional constraints0
Number of intensional constraints77305
Distribution of constraint types[{"type":"intension","count":77305}]
Optimization problemYES
Type of objectivemin MAXIMUM

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293248-1532309963/watcher-4293248-1532309963 -o /tmp/evaluation-result-4293248-1532309963/solver-4293248-1532309963 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532296553-30442 --watchdog 2580 xcsp_picat HOME/instance-4293248-1532309963.xml 

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

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
Current StackSize limit: 8192 KiB

solver pid=361, runsolver pid=358

[startup+0.100193 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 362
/proc/meminfo: memFree=15414824/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=111688 memory=22824 CPUtime=0.09 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 1298 0 0 0 9 0 0 0 20 0 1 0 48559437 114368512 5706 33554432000 4194304 5849740 140729442703952 140729442703256 4454262 0 0 4096 8389634 0 0 0 17 7 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 27922 5706 595 405 0 24866 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 22824 KiB

[startup+0.209655 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 362
/proc/meminfo: memFree=15402536/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=111688 memory=35112 CPUtime=0.2 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 1304 0 0 0 20 0 0 0 20 0 1 0 48559437 114368512 8778 33554432000 4194304 5849740 140729442703952 140729442703256 140075552529408 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 27922 8778 595 405 0 24866 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 35112 KiB

[startup+0.309531 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 362
/proc/meminfo: memFree=15394344/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=111688 memory=43304 CPUtime=0.3 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 1308 0 0 0 30 0 0 0 20 0 1 0 48559437 114368512 10826 33554432000 4194304 5849740 140729442703952 140729442703256 140075552529408 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 27922 10826 595 405 0 24866 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 43304 KiB

[startup+0.700342 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 362
/proc/meminfo: memFree=15375572/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=111688 memory=68064 CPUtime=0.68 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 1340 0 0 0 68 0 0 0 20 0 1 0 48559437 114368512 17016 33554432000 4194304 5849740 140729442703952 140729442703256 4488915 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 27922 17016 595 405 0 24866 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 68064 KiB

[startup+1.50037 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 362
/proc/meminfo: memFree=15332568/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=276024 memory=209512 CPUtime=1.48 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 12677 0 0 0 143 5 0 0 20 0 1 0 48559437 282648576 52378 33554432000 4194304 5849740 140729442703952 140729442703256 5378849 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 69006 52378 652 405 0 65950 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 276024 KiB
Current children cumulated memory: 209512 KiB

[startup+3.1095 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 362
/proc/meminfo: memFree=14942824/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=559772 memory=493540 CPUtime=3.09 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 49682 0 0 0 298 11 0 0 20 0 1 0 48559437 573206528 123385 33554432000 4194304 5849740 140729442703952 140729442702648 5302780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 139943 123385 656 405 0 136887 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 559772 KiB
Current children cumulated memory: 493540 KiB

[startup+6.30035 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 362
/proc/meminfo: memFree=14884324/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=637444 memory=571024 CPUtime=6.29 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 62769 0 0 0 613 16 0 0 20 0 1 0 48559437 652742656 142756 33554432000 4194304 5849740 140729442703952 140729442702344 4206463 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 159361 142756 675 405 0 156305 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 637444 KiB
Current children cumulated memory: 571024 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 362
/proc/meminfo: memFree=14922704/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=587236 memory=520896 CPUtime=12.69 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 154034 0 0 0 1245 24 0 0 20 0 1 0 48559437 601329664 130224 33554432000 4194304 5849740 140729442703952 140729442702824 5332891 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 146809 130224 678 405 0 143753 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 587236 KiB
Current children cumulated memory: 520896 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 362
/proc/meminfo: memFree=14874100/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=636392 memory=562652 CPUtime=25.49 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 157574 0 0 0 2524 25 0 0 20 0 1 0 48559437 651665408 140663 33554432000 4194304 5849740 140729442703952 140729442702440 4205059 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 159098 140663 679 405 0 156042 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 636392 KiB
Current children cumulated memory: 562652 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 369
/proc/meminfo: memFree=14862320/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=647540 memory=573800 CPUtime=51.1 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 162662 0 0 0 5085 25 0 0 20 0 1 0 48559437 663080960 143450 33554432000 4194304 5849740 140729442703952 140729442702200 4205078 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 161885 143450 679 405 0 158829 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 647540 KiB
Current children cumulated memory: 573800 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 5/187 370
/proc/meminfo: memFree=14842900/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=647540 memory=573800 CPUtime=102.29 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 171157 0 0 0 10203 26 0 0 20 0 1 0 48559437 663080960 143450 33554432000 4194304 5849740 140729442703952 140729442702200 4205101 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 161885 143450 679 405 0 158829 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 647540 KiB
Current children cumulated memory: 573800 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 371
/proc/meminfo: memFree=14843380/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=647540 memory=573800 CPUtime=162.3 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 179117 0 0 0 16203 27 0 0 20 0 1 0 48559437 663080960 143450 33554432000 4194304 5849740 140729442703952 140729442702200 4205068 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 161885 143450 679 405 0 158829 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 647540 KiB
Current children cumulated memory: 573800 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 372
/proc/meminfo: memFree=14820116/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=668360 memory=596680 CPUtime=222.3 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 268024 0 0 0 22198 32 0 0 20 0 1 0 48559437 684400640 149170 33554432000 4194304 5849740 140729442703952 140729442702952 5307600 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 167090 149170 682 405 0 164034 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 668360 KiB
Current children cumulated memory: 596680 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 373
/proc/meminfo: memFree=14867464/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=613064 memory=549652 CPUtime=282.3 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 329800 0 0 0 28182 48 0 0 20 0 1 0 48559437 627777536 137413 33554432000 4194304 5849740 140729442703952 140729442700984 4205055 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 153266 137413 695 405 0 150210 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 613064 KiB
Current children cumulated memory: 549652 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 5/187 374
/proc/meminfo: memFree=14961988/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=519132 memory=455912 CPUtime=342.3 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 371789 0 0 0 34179 51 0 0 20 0 1 0 48559437 531591168 113978 33554432000 4194304 5849740 140729442703952 140729442702952 5353813 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 129783 113978 695 405 0 126727 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 519132 KiB
Current children cumulated memory: 455912 KiB

[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.05 5/187 375
/proc/meminfo: memFree=14961948/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=519132 memory=455920 CPUtime=402.31 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 391177 0 0 0 40176 55 0 0 20 0 1 0 48559437 531591168 113980 33554432000 4194304 5849740 140729442703952 140729442702952 5307241 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 129783 113980 697 405 0 126727 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 519132 KiB
Current children cumulated memory: 455920 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 4/187 376
/proc/meminfo: memFree=14961268/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=519132 memory=455920 CPUtime=462.32 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 413056 0 0 0 46174 58 0 0 20 0 1 0 48559437 531591168 113980 33554432000 4194304 5849740 140729442703952 140729442703112 5307583 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 129783 113980 697 405 0 126727 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 519132 KiB
Current children cumulated memory: 455920 KiB


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

/proc/361/statm: 97222 80152 697 405 0 94166 0
Current children cumulated CPU time: 1782.39 s
Current children cumulated vsize: 388888 KiB
Current children cumulated memory: 320608 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.07 2.09 4/188 453
/proc/meminfo: memFree=14928980/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=331736 memory=275832 CPUtime=1842.39 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 787005 0 0 0 184040 199 0 0 20 0 1 0 48559437 339697664 68958 33554432000 4194304 5849740 140729442703952 140729442702440 5307306 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 82934 68958 697 405 0 79878 0
Current children cumulated CPU time: 1842.39 s
Current children cumulated vsize: 331736 KiB
Current children cumulated memory: 275832 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.06 2.08 5/188 454
/proc/meminfo: memFree=15179948/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=331736 memory=275832 CPUtime=1902.39 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 792925 0 0 0 190012 227 0 0 20 0 1 0 48559437 339697664 68958 33554432000 4194304 5849740 140729442703952 140729442702952 140075552550791 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 82934 68958 697 405 0 79878 0
Current children cumulated CPU time: 1902.39 s
Current children cumulated vsize: 331736 KiB
Current children cumulated memory: 275832 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.05 2.08 4/188 455
/proc/meminfo: memFree=15180268/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=331736 memory=275832 CPUtime=1962.4 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 798743 0 0 0 195946 294 0 0 20 0 1 0 48559437 339697664 68958 33554432000 4194304 5849740 140729442703952 140729442703112 140075552550791 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 82934 68958 697 405 0 79878 0
Current children cumulated CPU time: 1962.4 s
Current children cumulated vsize: 331736 KiB
Current children cumulated memory: 275832 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.07 4/188 456
/proc/meminfo: memFree=15142456/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=370104 memory=314200 CPUtime=2022.41 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 809973 0 0 0 201902 339 0 0 20 0 1 0 48559437 378986496 78550 33554432000 4194304 5849740 140729442703952 140729442702952 140075552550791 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 92526 78550 697 405 0 89470 0
Current children cumulated CPU time: 2022.41 s
Current children cumulated vsize: 370104 KiB
Current children cumulated memory: 314200 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.07 5/188 457
/proc/meminfo: memFree=15054820/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=378812 memory=317016 CPUtime=2082.41 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 824947 0 0 0 207876 365 0 0 20 0 1 0 48559437 387903488 79254 33554432000 4194304 5849740 140729442703952 140729442702952 140075552550791 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 94703 79254 697 405 0 91647 0
Current children cumulated CPU time: 2082.41 s
Current children cumulated vsize: 378812 KiB
Current children cumulated memory: 317016 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.06 5/187 458
/proc/meminfo: memFree=14901428/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=491996 memory=436092 CPUtime=2142.42 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 854171 0 0 0 213849 393 0 0 20 0 1 0 48559437 503803904 109023 33554432000 4194304 5849740 140729442703952 140729442702952 140075552550791 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 122999 109023 697 405 0 119943 0
Current children cumulated CPU time: 2142.42 s
Current children cumulated vsize: 491996 KiB
Current children cumulated memory: 436092 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 5/187 459
/proc/meminfo: memFree=14966652/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=426460 memory=370556 CPUtime=2202.42 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 868121 0 0 0 219830 412 0 0 20 0 1 0 48559437 436695040 92639 33554432000 4194304 5849740 140729442703952 140729442702952 140075552550791 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 106615 92639 697 405 0 103559 0
Current children cumulated CPU time: 2202.42 s
Current children cumulated vsize: 426460 KiB
Current children cumulated memory: 370556 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 5/187 460
/proc/meminfo: memFree=14794044/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=518548 memory=462644 CPUtime=2262.43 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 903020 0 0 0 225813 430 0 0 20 0 1 0 48559437 530993152 115661 33554432000 4194304 5849740 140729442703952 140729442702952 5438251 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 129637 115661 697 405 0 126581 0
Current children cumulated CPU time: 2262.43 s
Current children cumulated vsize: 518548 KiB
Current children cumulated memory: 462644 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 523
/proc/meminfo: memFree=15809012/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=518548 memory=462644 CPUtime=2322.43 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 915309 0 0 0 231801 442 0 0 20 0 1 0 48559437 530993152 115661 33554432000 4194304 5849740 140729442703952 140729442702952 140075552550791 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 129637 115661 697 405 0 126581 0
Current children cumulated CPU time: 2322.43 s
Current children cumulated vsize: 518548 KiB
Current children cumulated memory: 462644 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 524
/proc/meminfo: memFree=15875940/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=450288 memory=394316 CPUtime=2382.41 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 921036 0 0 0 237782 459 0 0 20 0 1 0 48559437 461094912 98579 33554432000 4194304 5849740 140729442703952 140729442702952 140075552550791 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 112572 98579 697 405 0 109516 0
Current children cumulated CPU time: 2382.41 s
Current children cumulated vsize: 450288 KiB
Current children cumulated memory: 394316 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 536
/proc/meminfo: memFree=15863672/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=453056 memory=397152 CPUtime=2442.41 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 923019 0 0 0 243756 485 0 0 20 0 1 0 48559437 463929344 99288 33554432000 4194304 5849740 140729442703952 140729442702952 5437611 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 113264 99288 697 405 0 110208 0
Current children cumulated CPU time: 2442.41 s
Current children cumulated vsize: 453056 KiB
Current children cumulated memory: 397152 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 537
/proc/meminfo: memFree=15787004/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=518592 memory=462688 CPUtime=2502.42 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 925395 0 0 0 249743 499 0 0 20 0 1 0 48559437 531038208 115672 33554432000 4194304 5849740 140729442703952 140729442702952 5437698 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 129648 115672 697 405 0 126592 0
Current children cumulated CPU time: 2502.42 s
Current children cumulated vsize: 518592 KiB
Current children cumulated memory: 462688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 538
/proc/meminfo: memFree=15783988/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=518592 memory=462688 CPUtime=2520.02 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 925794 0 0 0 251499 503 0 0 20 0 1 0 48559437 531038208 115672 33554432000 4194304 5849740 140729442703952 140729442702952 5437812 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 129648 115672 697 405 0 126592 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 518592 KiB
Current children cumulated memory: 462688 KiB

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

[startup+2519.9 s]
# the end of solver process 361 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515 s, system=5.03535 s

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

[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 538
/proc/meminfo: memFree=15783988/32770624 swapFree=67108860/67108860
[pid=361] ppid=358 vsize=518592 memory=462688 CPUtime=2520.02 cores=1,3,5,7
/proc/361/stat : 361 (xcsp_picat) R 358 361 30410 0 -1 4202496 925794 0 0 0 251499 503 0 0 20 0 1 0 48559437 531038208 115672 33554432000 4194304 5849740 140729442703952 140729442702952 5437812 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 38264832 140729442706614 140729442706692 140729442706692 140729442709450 0
/proc/361/statm: 129648 115672 697 405 0 126592 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 518592 KiB
Current children cumulated memory: 462688 KiB

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.9
CPU time (s): 2520.03
CPU user time (s): 2515
CPU system time (s): 5.03535
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 756120
Max. memory (cumulated for all children) (KiB): 628864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515
system time used= 5.03535
maximum resident set size= 630324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 925794
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= 70
involuntary context switches= 748


# summary of solver processes directly reported to runsolver:
#   pid: 361
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2515
#   total CPU system time (s): 5.03535

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.46556 second user time and 17.3606 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-23 03:39:23
IDJOB=4293248
IDBENCH=141141
IDSOLVER=2754
FILE ID=node105/4293248-1532309963
RUNJOBID= node105-1532296553-30442
PBS_JOBID= 21018989
Free space on /tmp= 44840 MiB

SOLVER NAME= PicatSAT 2018-06-15
BENCH NAME= XCSP18/GraphColoring/GraphColoring-4-fullins-5_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293248-1532309963/watcher-4293248-1532309963 -o /tmp/evaluation-result-4293248-1532309963/solver-4293248-1532309963 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532296553-30442 --watchdog 2580  xcsp_picat HOME/instance-4293248-1532309963.xml

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

MD5SUM BENCH= 95ec92f657fea8ce6e93e6f35592ce49
RANDOM SEED=1010755096

node105.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.32
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.32
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.32
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.32
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:        15435056 kB
MemAvailable:   31039516 kB
Buffers:          183644 kB
Cached:         15396200 kB
SwapCached:            0 kB
Active:          2282000 kB
Inactive:       14247848 kB
Active(anon):     901580 kB
Inactive(anon):    68528 kB
Active(file):    1380420 kB
Inactive(file): 14179320 kB
Unevictable:        7276 kB
Mlocked:            7276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5828 kB
Writeback:             0 kB
AnonPages:        967408 kB
Mapped:            39412 kB
Shmem:             17036 kB
Slab:             500700 kB
SReclaimable:     473180 kB
SUnreclaim:        27520 kB
KernelStack:        3360 kB
PageTables:         6992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1318520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    493568 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44844 MiB
End job on node105 at 2018-07-23 04:21:23