Trace number 4309874

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-14OPT18292585 2058.63 2058.73

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-test01-0150_c18.xml
MD5SUMdeef1e755c9079fc369bbf159731f616
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18292585
Best CPU time to get the best result obtained on this benchmark2058.63
Satisfiable
(Un)Satisfiability was proved
Number of variables2328
Number of constraints1459
Number of domains42
Minimum domain size2
Maximum domain size151
Distribution of domain sizes[{"size":2,"count":826},{"size":11,"count":676},{"size":12,"count":1},{"size":21,"count":68},{"size":57,"count":16},{"size":61,"count":10},{"size":67,"count":17},{"size":69,"count":10},{"size":77,"count":22},{"size":79,"count":2},{"size":81,"count":11},{"size":84,"count":3},{"size":99,"count":10},{"size":102,"count":17},{"size":104,"count":3},{"size":106,"count":17},{"size":114,"count":2},{"size":116,"count":14},{"size":117,"count":77},{"size":121,"count":12},{"size":125,"count":11},{"size":128,"count":8},{"size":129,"count":4},{"size":131,"count":118},{"size":133,"count":17},{"size":136,"count":68},{"size":138,"count":7},{"size":139,"count":11},{"size":141,"count":78},{"size":143,"count":11},{"size":144,"count":5},{"size":146,"count":98},{"size":148,"count":12},{"size":151,"count":66}]
Minimum variable degree2
Maximum variable degree677
Distribution of variable degrees[{"degree":2,"count":2027},{"degree":3,"count":2},{"degree":4,"count":7},{"degree":5,"count":12},{"degree":6,"count":22},{"degree":7,"count":33},{"degree":8,"count":30},{"degree":9,"count":30},{"degree":10,"count":30},{"degree":11,"count":34},{"degree":12,"count":37},{"degree":13,"count":48},{"degree":14,"count":15},{"degree":677,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":108},{"arity":3,"count":675},{"arity":6,"count":676}]
Number of extensional constraints676
Number of intensional constraints783
Distribution of constraint types[{"type":"extension","count":676},{"type":"intension","count":783}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

2058.59/2058.71	c xcsp_picat version 2.4#7 (8/14/2018)
2058.59/2058.71	o 18394166
2058.59/2058.71	o 18319808
2058.59/2058.71	o 18299539
2058.59/2058.71	o 18292796
2058.59/2058.71	o 18292681
2058.59/2058.71	o 18292623
2058.59/2058.71	o 18292594
2058.59/2058.71	o 18292587
2058.59/2058.71	o 18292585
2058.59/2058.71	s OPTIMUM FOUND
2058.59/2058.71	v <instantiation>
2058.59/2058.71	v     <list> v1[] k f[] d[] p[] v2[]  </list> 
2058.59/2058.71	v     <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  4  2620 2720 2552 2308 2488 2644 2140 2420 2700 2620 2500 2604 2140 2616 2124 2220 2596 2660 2132 2660 2700 2700 2376 2696 2268 2184 2596 2180 2660 2644 2144 2632 2660 2660 2720 2532 2180 2180 2528 2184 2580 2588 2660 2224 2184 2220 2476 2188 2656 2436 2688 2416 2700 2604 2296 2680 2700 2180 2336 2172 2548 2620 2688 2388 2660 2592 2228 2660 2164 2268 2660 2700 2700 2648 2700 2180 2428 2312 2700 2184 2404 2620 2188 2272 2476 2564 2180 2540 2640 2456 2660 2572 2660 2604 2496 2572 2636 2140 2468 2364 2220 2660 2604 2708 2436 2660 2420 2348 2624 2644 2700 2248 2556 2696 2140 2600 2388 2620 2656 2228 2144 2532 2648 2660 2208 2680 2220 2656 2664 2620 2644 2180 2540 2660 2148 2668 2160 2700 2620 2460 2120 2224 2380 2660 2180 2512 2660 2428 2604 2660  80 80 68 232 80 80 124 220 588 24 536 124 64 540 32 284 300 600 208 108 168 164 372 108 180 164 124 352 128 108 268 192 200 152 132 116 172 464 64 16 420 168 52 464 456 208 80 392 44 80 40 288 464 560 556 40 84 288 80 184 296 212 240 56 124 240 280 240 40 104 120 264 520 364 224 480 480 80 32 16 40 392 352 80 436 440 40 24 472 80 108 280 368 316 112 228 44 136 112 156 56 56 96 16 56 40 184 52 236 388 560 560 32 560 560 288 560 264 500 560 348 44 44 44 56 576 312 572 100 48 76 384 48 480 40 384 440 40 100 104 416 124 408 24 100 64 24 480 520 272 48 136 96 12 328 128 348 520 112 12 160 80 168 80 80 516 364 312 388 296 80 428 40 76 56 36 540 324 228 216 80 196 284 196 288 196 324 136 168 92 76 124 260 76 88 48 392 352 460 420 464 292 516 416 36 460 476 416 68 412 44 376 56 72 24 216 64 452 88 424 40 184 32 424 28 128 40 120 312 56 96 16 56 464 332 16 224 24 104 496 384 40 556 168 476 516 352 428 552 500 448 408 48 404 68 16 512 56 324 20 36 128 12 56 164 192 12 8 40 536 492 60 580 300 580 76 540 600 156 168 92 124 384 440 520 360 348 520 480 528 240 376 40 468 464 356 92 140 52 120 132 36 472 524 460 64 40 480 436 476 108 32 400 56 332 116 84 80 40 404 408 208 76 348 104 8 500 40 436 40 436 424 476 180 396 44 476 396 436 408 516 516 456 420 496 468 48 184 352 144 400 440 292 112 172 268 184 500 8 472 80 8 460 480 28 108 32 512 52 272 188 120 208 224 272 516 460 12 260 212 52 28 236 244 104 60 244 244 428 224 560 40 376 96 292 56 136 424 392 364 16 172 364 292 88 492 500 80 80 272 80 224 232 76 560 100 96 520 296 444 440 364 312 156 288 284 312 324 324 324 192 248 100 152 120 24 56 112 408 112 36 80 400 40 252 440 260 120 200 268 240 280 72 520 48 104 540 436 428 68 280 432 108 412 44 396 224 16 128 512 232 240 496 456 296 16 264 200 48 392 120 392 36 432 516 520 388 76 80 52 40 244 300 504 16 488 272 312 248 456 420 248 144 232 288 228 356 512 560 80 552 420 64 480 256 256 152 200 56 48 48 24 60 160 40 376 432 476 364 388 348 44 188 388 184 128 40 56 256 40 424 384 96 456 444 480 84 72 120 104 20 252 16 20 432 460 416 20 204 164 312 248 440 40 272 120 8 540 136 72 192 32 384 444 224 60 36 168 172 136 88 128 168 272 24 24 328 224 560 508 20 480 40 248 120 260 192 224 256 184 488 400 424 448 100 452 480 168 464 424 152 560 248 588 208 264 296 276 200 300 240 296 168 464 24 436 36 480 552 40 416 452 180 24 348 408 396 104 164 288 48 220 276 256 232 80 80 108 316 516 28 44 8 88 500 20 480 476 20 204 284 192 16 24 120 120 64 512 512 80 580 108 204 480 56  0 1 0 0 1 1 1 1 1 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 0 1 1 0 1 1 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 0 0 1 0 1 1  0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0   </values> 
2058.59/2058.71	v </instantiation>

Verifier Data 

OK	18292585

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309874-1534304112/watcher-4309874-1534304112 -o /tmp/evaluation-result-4309874-1534304112/solver-4309874-1534304112 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534293639-21937 --watchdog 2580 xcsp_picat HOME/instance-4309874-1534304112.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=23052, runsolver pid=23049

[startup+0.10021 s]*
/proc/loadavg: 2.49 2.20 2.11 3/187 23053
/proc/meminfo: memFree=22801580/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2025744 memory=20312 CPUtime=0.1 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 1676 0 0 0 10 0 0 0 20 0 1 0 247974347 2074361856 5078 33554432000 4194304 5849940 140726820755856 140726820755160 4489840 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 506436 5078 626 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 20312 KiB

[startup+0.209756 s]*
/proc/loadavg: 2.49 2.20 2.11 3/187 23053
/proc/meminfo: memFree=22795328/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2025744 memory=26456 CPUtime=0.2 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 1679 0 0 0 20 0 0 0 20 0 1 0 247974347 2074361856 6614 33554432000 4194304 5849940 140726820755856 140726820755160 140175041461248 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 506436 6614 626 405 0 503380 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 26456 KiB

[startup+0.309557 s]*
/proc/loadavg: 2.49 2.20 2.11 3/187 23053
/proc/meminfo: memFree=22789156/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2025744 memory=32600 CPUtime=0.3 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 1682 0 0 0 30 0 0 0 20 0 1 0 247974347 2074361856 8150 33554432000 4194304 5849940 140726820755856 140726820755160 4465986 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 506436 8150 626 405 0 503380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 32600 KiB

[startup+0.70029 s]
/proc/loadavg: 2.49 2.20 2.11 3/184 23057
/proc/meminfo: memFree=24597076/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2025744 memory=57176 CPUtime=0.69 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 1694 0 0 0 68 1 0 0 20 0 1 0 247974347 2074361856 14294 33554432000 4194304 5849940 140726820755856 140726820755160 4476758 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 506436 14294 626 405 0 503380 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 57176 KiB

[startup+1.50031 s]
/proc/loadavg: 2.49 2.20 2.11 3/187 23115
/proc/meminfo: memFree=24550236/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2025744 memory=104396 CPUtime=1.48 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 1717 0 0 0 147 1 0 0 20 0 1 0 247974347 2074361856 26099 33554432000 4194304 5849940 140726820755856 140726820755160 4488915 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 506436 26099 628 405 0 503380 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 104396 KiB

[startup+3.10948 s]
/proc/loadavg: 2.37 2.18 2.11 3/183 23168
/proc/meminfo: memFree=24405776/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2025744 memory=202700 CPUtime=3.1 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 1895 0 0 0 307 3 0 0 20 0 1 0 247974347 2074361856 50675 33554432000 4194304 5849940 140726820755856 140726820755160 4488915 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 506436 50675 628 405 0 503380 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 202700 KiB

[startup+6.30026 s]
/proc/loadavg: 2.37 2.18 2.11 3/187 23179
/proc/meminfo: memFree=23960388/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2025744 memory=397260 CPUtime=6.28 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 2144 0 0 0 622 6 0 0 20 0 1 0 247974347 2074361856 99315 33554432000 4194304 5849940 140726820755856 140726820755160 4514971 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 506436 99315 628 405 0 503380 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 397260 KiB

[startup+12.7003 s]
/proc/loadavg: 2.34 2.17 2.11 3/187 23179
/proc/meminfo: memFree=22928032/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2025744 memory=1113452 CPUtime=12.69 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 3800 0 0 0 1252 17 0 0 20 0 1 0 247974347 2074361856 278363 33554432000 4194304 5849940 140726820755856 140726820755160 4484939 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 506436 278363 659 405 0 503380 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 1113452 KiB

[startup+25.5002 s]
/proc/loadavg: 2.27 2.16 2.10 3/187 23179
/proc/meminfo: memFree=21499748/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2058928 memory=1583016 CPUtime=25.48 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 5716 0 0 0 2524 24 0 0 20 0 1 0 247974347 2108342272 395754 33554432000 4194304 5849940 140726820755856 140726820755096 5472731 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 514732 395754 723 405 0 511676 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2058928 KiB
Current children cumulated memory: 1583016 KiB

[startup+51.1003 s]
/proc/loadavg: 2.18 2.15 2.10 3/187 23179
/proc/meminfo: memFree=19053480/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2194016 memory=1718376 CPUtime=51.07 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 13573 0 0 0 5075 32 0 0 20 0 1 0 247974347 2246672384 429594 33554432000 4194304 5849940 140726820755856 140726820754344 5319945 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 548504 429594 749 405 0 545448 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 2194016 KiB
Current children cumulated memory: 1718376 KiB

[startup+102.3 s]*
/proc/loadavg: 2.08 2.13 2.10 3/187 23180
/proc/meminfo: memFree=18833812/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2149140 memory=1673528 CPUtime=102.27 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 27773 0 0 0 10180 47 0 0 20 0 1 0 247974347 2200719360 418382 33554432000 4194304 5849940 140726820755856 140726820754856 5437906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 537285 418382 755 405 0 534229 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2149140 KiB
Current children cumulated memory: 1673528 KiB

[startup+162.3 s]*
/proc/loadavg: 2.03 2.10 2.09 3/187 23181
/proc/meminfo: memFree=18838728/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2144956 memory=1669344 CPUtime=162.27 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 51730 0 0 0 16154 73 0 0 20 0 1 0 247974347 2196434944 417336 33554432000 4194304 5849940 140726820755856 140726820754344 5437675 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 536239 417336 755 405 0 533183 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2144956 KiB
Current children cumulated memory: 1669344 KiB

[startup+222.3 s]*
/proc/loadavg: 2.01 2.09 2.08 3/187 23182
/proc/meminfo: memFree=18848976/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2135220 memory=1659596 CPUtime=222.26 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 67316 0 0 0 22117 109 0 0 20 0 1 0 247974347 2186465280 414899 33554432000 4194304 5849940 140726820755856 140726820755096 140175041482631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 533805 414899 764 405 0 530749 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2135220 KiB
Current children cumulated memory: 1659596 KiB

[startup+282.3 s]*
/proc/loadavg: 2.00 2.07 2.08 3/186 23183
/proc/meminfo: memFree=18860632/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2124316 memory=1648740 CPUtime=282.25 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 71970 0 0 0 28096 129 0 0 20 0 1 0 247974347 2175299584 412185 33554432000 4194304 5849940 140726820755856 140726820754856 140175041482631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 531079 412185 764 405 0 528023 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2124316 KiB
Current children cumulated memory: 1648740 KiB

[startup+342.3 s]*
/proc/loadavg: 2.00 2.06 2.07 3/188 23193
/proc/meminfo: memFree=18847916/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2170676 memory=1695100 CPUtime=342.24 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 82409 0 0 0 34078 146 0 0 20 0 1 0 247974347 2222772224 423775 33554432000 4194304 5849940 140726820755856 140726820754344 5319938 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 542669 423775 764 405 0 539613 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2170676 KiB
Current children cumulated memory: 1695100 KiB

[startup+402.3 s]*
/proc/loadavg: 2.00 2.05 2.07 3/188 23194
/proc/meminfo: memFree=18794956/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2193960 memory=1718316 CPUtime=402.23 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 90180 0 0 0 40056 167 0 0 20 0 1 0 247974347 2246615040 429579 33554432000 4194304 5849940 140726820755856 140726820754344 5319941 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 548490 429579 764 405 0 545434 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 2193960 KiB
Current children cumulated memory: 1718316 KiB

[startup+462.3 s]*
/proc/loadavg: 2.00 2.04 2.06 3/188 23195
/proc/meminfo: memFree=18796276/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2193992 memory=1718348 CPUtime=462.22 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 98689 0 0 0 46036 186 0 0 20 0 1 0 247974347 2246647808 429587 33554432000 4194304 5849940 140726820755856 140726820754344 5319922 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 548498 429587 764 405 0 545442 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 2193992 KiB
Current children cumulated memory: 1718348 KiB


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

Current children cumulated memory: 1711556 KiB

[startup+1662.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23255
/proc/meminfo: memFree=18916648/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2102448 memory=1626872 CPUtime=1662.2 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 296545 0 0 0 165572 648 0 0 20 0 1 0 247974347 2152906752 406718 33554432000 4194304 5849940 140726820755856 140726820755096 140175041071081 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 525612 406718 764 405 0 522556 0
Current children cumulated CPU time: 1662.2 s
Current children cumulated vsize: 2102448 KiB
Current children cumulated memory: 1626872 KiB

[startup+1722.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23256
/proc/meminfo: memFree=18906588/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2113036 memory=1637460 CPUtime=1722.2 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 304847 0 0 0 171555 665 0 0 20 0 1 0 247974347 2163748864 409365 33554432000 4194304 5849940 140726820755856 140726820754856 140175041482631 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 528259 409365 764 405 0 525203 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 2113036 KiB
Current children cumulated memory: 1637460 KiB

[startup+1782.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23257
/proc/meminfo: memFree=18799224/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2219992 memory=1744296 CPUtime=1782.2 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 312527 0 0 0 177537 683 0 0 20 0 1 0 247974347 2273271808 436074 33554432000 4194304 5849940 140726820755856 140726820754344 5319935 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 554998 436074 764 405 0 551942 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 2219992 KiB
Current children cumulated memory: 1744296 KiB

[startup+1842.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23258
/proc/meminfo: memFree=18825152/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2193936 memory=1718292 CPUtime=1842.2 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 320913 0 0 0 183510 710 0 0 20 0 1 0 247974347 2246590464 429573 33554432000 4194304 5849940 140726820755856 140726820754344 5319935 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 548484 429573 764 405 0 545428 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 2193936 KiB
Current children cumulated memory: 1718292 KiB

[startup+1902.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23259
/proc/meminfo: memFree=18915396/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2102448 memory=1626872 CPUtime=1902.2 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 324202 0 0 0 189488 732 0 0 20 0 1 0 247974347 2152906752 406718 33554432000 4194304 5849940 140726820755856 140726820754952 5606402 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 525612 406718 764 405 0 522556 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 2102448 KiB
Current children cumulated memory: 1626872 KiB

[startup+1962.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23260
/proc/meminfo: memFree=18904812/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2113044 memory=1637468 CPUtime=1962.21 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 331075 0 0 0 195474 747 0 0 20 0 1 0 247974347 2163757056 409367 33554432000 4194304 5849940 140726820755856 140726820754584 5317718 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 528261 409367 764 405 0 525205 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 2113044 KiB
Current children cumulated memory: 1637468 KiB

[startup+2022.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23261
/proc/meminfo: memFree=18798812/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2220032 memory=1744328 CPUtime=2022.21 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 338869 0 0 0 201453 768 0 0 20 0 1 0 247974347 2273312768 436082 33554432000 4194304 5849940 140726820755856 140726820754344 5319935 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 555008 436082 764 405 0 551952 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 2220032 KiB
Current children cumulated memory: 1744328 KiB

[startup+2058.73 s]
# the end of solver process 23052 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2050.79 s, system=7.84566 s

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

[startup+2022.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23261
/proc/meminfo: memFree=18798812/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2220032 memory=1744328 CPUtime=2022.6 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 338869 0 0 0 201492 768 0 0 20 0 1 0 247974347 2273312768 436082 33554432000 4194304 5849940 140726820755856 140726820754344 5319941 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 555008 436082 764 405 0 551952 0
Current children cumulated CPU time: 2022.6 s
Current children cumulated vsize: 2220032 KiB
Current children cumulated memory: 1744328 KiB

[startup+2035.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23261
/proc/meminfo: memFree=18830896/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2187264 memory=1711688 CPUtime=2035.4 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 347073 0 0 0 202771 769 0 0 20 0 1 0 247974347 2239758336 427922 33554432000 4194304 5849940 140726820755856 140726820754568 140175041482631 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 546816 427922 764 405 0 543760 0
Current children cumulated CPU time: 2035.4 s
Current children cumulated vsize: 2187264 KiB
Current children cumulated memory: 1711688 KiB

[startup+2048.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23262
/proc/meminfo: memFree=18905200/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2112968 memory=1637392 CPUtime=2048.2 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 347559 0 0 0 204045 775 0 0 20 0 1 0 247974347 2163679232 409348 33554432000 4194304 5849940 140726820755856 140726820755016 4204118 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 528242 409348 764 405 0 525186 0
Current children cumulated CPU time: 2048.2 s
Current children cumulated vsize: 2112968 KiB
Current children cumulated memory: 1637392 KiB

[startup+2054.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23262
/proc/meminfo: memFree=18905860/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2112292 memory=1636716 CPUtime=2054.6 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 347658 0 0 0 204679 781 0 0 20 0 1 0 247974347 2162987008 409179 33554432000 4194304 5849940 140726820755856 140726820754856 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 528073 409179 764 405 0 525017 0
Current children cumulated CPU time: 2054.6 s
Current children cumulated vsize: 2112292 KiB
Current children cumulated memory: 1636716 KiB

[startup+2056.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23262
/proc/meminfo: memFree=18905860/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2112292 memory=1636716 CPUtime=2056.21 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 347683 0 0 0 204838 783 0 0 20 0 1 0 247974347 2162987008 409179 33554432000 4194304 5849940 140726820755856 140726820754856 5312116 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 528073 409179 764 405 0 525017 0
Current children cumulated CPU time: 2056.21 s
Current children cumulated vsize: 2112292 KiB
Current children cumulated memory: 1636716 KiB

[startup+2057.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23262
/proc/meminfo: memFree=18905960/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2112292 memory=1636716 CPUtime=2057.8 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 348111 0 0 0 204997 783 0 0 20 0 1 0 247974347 2162987008 409179 33554432000 4194304 5849940 140726820755856 140726820754856 4229477 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 528073 409179 764 405 0 525017 0
Current children cumulated CPU time: 2057.8 s
Current children cumulated vsize: 2112292 KiB
Current children cumulated memory: 1636716 KiB

[startup+2058.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23262
/proc/meminfo: memFree=18905960/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2112292 memory=1636716 CPUtime=2058.2 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 348111 0 0 0 205037 783 0 0 20 0 1 0 247974347 2162987008 409179 33554432000 4194304 5849940 140726820755856 140726820754856 140175041482631 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 528073 409179 764 405 0 525017 0
Current children cumulated CPU time: 2058.2 s
Current children cumulated vsize: 2112292 KiB
Current children cumulated memory: 1636716 KiB

[startup+2058.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23262
/proc/meminfo: memFree=18905960/32770624 swapFree=67108172/67108860
[pid=23052] ppid=23049 vsize=2112292 memory=1636720 CPUtime=2058.59 cores=1,3,5,7
/proc/23052/stat : 23052 (xcsp_picat) R 23049 23052 21905 0 -1 4202496 348412 0 0 0 205076 783 0 0 20 0 1 0 247974347 2162987008 409180 33554432000 4194304 5849940 140726820755856 140726820754856 4539905 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 28094464 140726820758710 140726820758788 140726820758788 140726820761546 0
/proc/23052/statm: 528073 409180 765 405 0 525017 0
Current children cumulated CPU time: 2058.59 s
Current children cumulated vsize: 2112292 KiB
Current children cumulated memory: 1636720 KiB

Child status: 0
Real time (s): 2058.73
CPU time (s): 2058.63
CPU user time (s): 2050.79
CPU system time (s): 7.84566
CPU usage (%): 99.9955
Max. virtual memory (cumulated for all children) (KiB): 2220068
Max. memory (cumulated for all children) (KiB): 1744456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2050.79
system time used= 7.84566
maximum resident set size= 1744456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348985
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= 3
involuntary context switches= 1047


# summary of solver processes directly reported to runsolver:
#   pid: 23052
#   total CPU time (s): 2058.63
#   total CPU user time (s): 2050.79
#   total CPU system time (s): 7.84566

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.57111 second user time and 14.3701 second system time

The end

Launcher Data 

Begin job on node136 at 2018-08-15 05:35:12
IDJOB=4309874
IDBENCH=141259
IDSOLVER=2794
FILE ID=node136/4309874-1534304112
RUNJOBID= node136-1534293639-21937
PBS_JOBID= 21038144
Free space on /tmp= 38980 MiB

SOLVER NAME= PicatSAT 2018-08-14
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test01-0150_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309874-1534304112/watcher-4309874-1534304112 -o /tmp/evaluation-result-4309874-1534304112/solver-4309874-1534304112 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534293639-21937 --watchdog 2580  xcsp_picat HOME/instance-4309874-1534304112.xml

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

MD5SUM BENCH= deef1e755c9079fc369bbf159731f616
RANDOM SEED=1621645753

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.50
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.50
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.50
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.50
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:        22820240 kB
MemAvailable:   30078288 kB
Buffers:          121972 kB
Cached:          7364964 kB
SwapCached:           16 kB
Active:          5633944 kB
Inactive:        3723580 kB
Active(anon):    1822120 kB
Inactive(anon):   109092 kB
Active(file):    3811824 kB
Inactive(file):  3614488 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108860 kB
SwapFree:       67108172 kB
Dirty:             48120 kB
Writeback:             0 kB
AnonPages:       1781468 kB
Mapped:            56572 kB
Shmem:             57768 kB
Slab:             288208 kB
SReclaimable:     260196 kB
SUnreclaim:        28012 kB
KernelStack:        3360 kB
PageTables:         8980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4177436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1101824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 38872 MiB
End job on node136 at 2018-08-15 06:09:31