Trace number 4402447

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 NameAnswerCPU timeWall clock time
Concrete 3.12.3SAT 4.87214 2.61141

General information on the benchmark

NamePrimes/
Primes-m1-p25/Primes-25-20-3-1.xml
MD5SUMcc05f472d5f8180cd89c35370563cdd2
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.010727
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints20
Number of domains1
Minimum domain size96
Maximum domain size96
Distribution of domain sizes[{"size":96,"count":55}]
Minimum variable degree0
Maximum variable degree3
Distribution of variable degrees[{"degree":0,"count":45},{"degree":1,"count":40},{"degree":2,"count":12},{"degree":3,"count":3}]
Minimum constraint arity3
Maximum constraint arity4
Distribution of constraint arities[{"arity":3,"count":7},{"arity":4,"count":13}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":20}]
Optimization problemNO
Type of objective

Solver Data 

0.79/0.54	c Concrete v3.12.3.1568965526260 running
4.56/2.57	v <instantiation
4.56/2.57	v         >
4.56/2.57	v       <list>
4.56/2.57	v         x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[13] x[14] x[17] x[18] x[19] x[21] x[22] x[24] x[25] x[26] x[28] x[29] x[31] x[33] x[36] x[42] x[43] x[45] x[48] x[49] x[50] x[52] x[53] x[55] x[61] x[65] x[67] x[68] x[69] x[71] x[73] x[75] x[76] x[77] x[78] x[79] x[80] x[82] x[84] x[86] x[87] x[90] x[92] x[93] x[95] x[96] x[98] x[99]
4.56/2.57	v       </list>
4.56/2.57	v       <values>
4.56/2.57	v         96 96 24 2 49 57 23 9 22 2 19 61 74 96 97 87 95 32 14 10 4 5 97 51 59 27 48 84 6 2 64 37 2 20 27 2 97 93 73 97 54 95 2 17 44 16 7 92 56 85 59 60 20 43 2
4.56/2.57	v       </values>
4.56/2.57	v     </instantiation>
4.56/2.57	s SATISFIABLE

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402447-1568978218/watcher-4402447-1568978218 -o /var/tmp/evaluation-result-4402447-1568978218/solver-4402447-1568978218 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node146-1568967595-5564 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1554163371 HOME/instance-4402447-1568978218.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=9385, runsolver pid=9382

[startup+0.100137 s]*
/proc/loadavg: 1.43 1.40 1.37 3/218 9442
/proc/meminfo: memFree=4642004/32770624 swapFree=67001736/67108860
[pid=9385] ppid=9382 vsize=9972712 memory=18592 CPUtime=0.1 cores=1,3,5,7
/proc/9385/stat : 9385 (java) S 9382 9385 5532 0 -1 1077944320 4382 12986 0 0 1 1 5 3 20 0 6 0 473735720 10212057088 4648 33554432000 4194304 4196468 140725561056080 140725561038624 140026058342135 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
/proc/9385/statm: 2493178 4648 1934 1 0 2481616 0
[pid=9385/tid=9438] ppid=9382 vsize=9972712 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/9385/task/9438/stat : 9438 (java) R 9382 9385 5532 0 -1 4202560 2187 12986 0 0 1 0 5 3 20 0 6 0 473735729 10212057088 4648 33554432000 4194304 4196468 140725561056080 140026030178896 140025614303353 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9439] ppid=9382 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9439/stat : 9439 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 6 0 473735729 10212057088 4648 33554432000 4194304 4196468 140725561056080 140026062584848 140026058352341 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9440] ppid=9382 vsize=9972712 memory=140094120216192 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9440/stat : 9440 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 6 0 473735729 10212057088 4648 33554432000 4194304 4196468 140725561056080 140025950858384 140026058352341 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9441] ppid=9382 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9441/stat : 9441 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 6 0 473735729 10212057088 4648 33554432000 4194304 4196468 140725561056080 140025949805328 140026058352341 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9442] ppid=9382 vsize=9978880 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9442/stat : 9442 (java) S 9382 9385 5532 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 6 0 473735729 10218373120 4648 33554432000 4194304 4196468 140725561056080 140025948752784 140026058352341 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB

[startup+0.209968 s]*
/proc/loadavg: 1.43 1.40 1.37 4/227 9451
/proc/meminfo: memFree=4623496/32770624 swapFree=67001736/67108860
[pid=9385] ppid=9382 vsize=10820196 memory=39780 CPUtime=0.27 cores=1,3,5,7
/proc/9385/stat : 9385 (java) S 9382 9385 5532 0 -1 1077944320 7413 12986 0 0 17 2 5 3 20 0 15 0 473735720 11079880704 9945 33554432000 4194304 4196468 140725561056080 140725561038624 140026058342135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
/proc/9385/statm: 2705049 9945 3288 1 0 2667149 0
[pid=9385/tid=9438] ppid=9382 vsize=10820196 memory=5450916389569530688 CPUtime=0.2 cores=1,3,5,7
/proc/9385/task/9438/stat : 9438 (java) R 9382 9385 5532 0 -1 4202560 3877 12986 0 0 11 1 5 3 20 0 15 0 473735729 11079880704 9945 33554432000 4194304 4196468 140725561056080 140026030156320 140025614453635 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9439] ppid=9382 vsize=10820196 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9439/stat : 9439 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 473735729 11079880704 9945 33554432000 4194304 4196468 140725561056080 140026062584848 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9440] ppid=9382 vsize=10820196 memory=140094120216192 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9440/stat : 9440 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 473735729 11079880704 9945 33554432000 4194304 4196468 140725561056080 140025950858384 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9441] ppid=9382 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9441/stat : 9441 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 473735729 11079880704 9945 33554432000 4194304 4196468 140725561056080 140025949805328 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9442] ppid=9382 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9442/stat : 9442 (java) S 9382 9385 5532 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 15 0 473735729 11079880704 9945 33554432000 4194304 4196468 140725561056080 140025948752784 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9443] ppid=9382 vsize=10820196 memory=140094120216192 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9443/stat : 9443 (java) S 9382 9385 5532 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 15 0 473735731 11079880704 9945 33554432000 4194304 4196468 140725561056080 140025382508784 140026058353282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9444] ppid=9382 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9444/stat : 9444 (java) S 9382 9385 5532 0 -1 1077944384 33 12986 0 0 0 0 5 3 20 0 15 0 473735731 11079880704 9945 33554432000 4194304 4196468 140725561056080 140025381455008 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9445] ppid=9382 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9445/stat : 9445 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 473735731 11079880704 9945 33554432000 4194304 4196468 140725561056080 140024926429936 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9446] ppid=9382 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9446/stat : 9446 (java) S 9382 9385 5532 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 473735734 11079880704 9945 33554432000 4194304 4196468 140725561056080 140024619030480 140026058360731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9447] ppid=9382 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9385/task/9447/stat : 9447 (java) S 9382 9385 5532 0 -1 1077944384 458 12986 0 0 1 0 5 3 20 0 15 0 473735734 11079880704 9945 33554432000 4194304 4196468 140725561056080 140025347898096 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9448] ppid=9382 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/9385/task/9448/stat : 9448 (java) S 9382 9385 5532 0 -1 1077944384 204 12986 0 0 1 0 5 3 20 0 15 0 473735734 11079880704 9945 33554432000 4194304 4196468 140725561056080 140025346845552 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9449] ppid=9382 vsize=10820196 memory=140094120216192 CPUtime=0.11 cores=1,3,5,7
/proc/9385/task/9449/stat : 9449 (java) S 9382 9385 5532 0 -1 1077944384 620 12986 0 0 3 0 5 3 20 0 15 0 473735734 11079880704 9945 33554432000 4194304 4196468 140725561056080 140025345792496 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9450] ppid=9382 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9450/stat : 9450 (java) S 9382 9385 5532 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 473735734 11079880704 9945 33554432000 4194304 4196468 140725561056080 140024585472864 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9451] ppid=9382 vsize=10820196 memory=140094120216192 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9451/stat : 9451 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 473735734 11079880704 9945 33554432000 4194304 4196468 140725561056080 140025344739888 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 39780 KiB

[startup+0.310497 s]*
/proc/loadavg: 1.43 1.40 1.37 3/227 9451
/proc/meminfo: memFree=4613244/32770624 swapFree=67001736/67108860
[pid=9385] ppid=9382 vsize=10820196 memory=48156 CPUtime=0.41 cores=1,3,5,7
/proc/9385/stat : 9385 (java) S 9382 9385 5532 0 -1 1077944320 10434 12986 0 0 30 3 5 3 20 0 15 0 473735720 11079880704 12039 33554432000 4194304 4196468 140725561056080 140725561038624 140026058342135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
/proc/9385/statm: 2705049 12039 3298 1 0 2667149 0
[pid=9385/tid=9438] ppid=9382 vsize=10820264 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/9385/task/9438/stat : 9438 (java) R 9382 9385 5532 0 -1 4202560 6893 12986 0 0 19 2 5 3 20 0 15 0 473735729 11079950336 12039 33554432000 4194304 4196468 140725561056080 140026030163536 140026051059098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9439] ppid=9382 vsize=10820268 memory=6940167333775042919 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9439/stat : 9439 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 473735729 11079954432 12039 33554432000 4194304 4196468 140725561056080 140026062584848 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9440] ppid=9382 vsize=10820268 memory=5788339726952981056 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9440/stat : 9440 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 473735729 11079954432 12039 33554432000 4194304 4196468 140725561056080 140025950858384 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9441] ppid=9382 vsize=10820268 memory=7019607181988874697 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9441/stat : 9441 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 473735729 11079954432 12039 33554432000 4194304 4196468 140725561056080 140025949805328 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9442] ppid=9382 vsize=10820268 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9442/stat : 9442 (java) S 9382 9385 5532 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 15 0 473735729 11079954432 12039 33554432000 4194304 4196468 140725561056080 140025948752784 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9443] ppid=9382 vsize=10820268 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9443/stat : 9443 (java) S 9382 9385 5532 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 15 0 473735731 11079954432 12039 33554432000 4194304 4196468 140725561056080 140025382508784 140026058353282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9444] ppid=9382 vsize=10820268 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9444/stat : 9444 (java) S 9382 9385 5532 0 -1 1077944384 33 12986 0 0 0 0 5 3 20 0 15 0 473735731 11079954432 12039 33554432000 4194304 4196468 140725561056080 140025381455008 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9445] ppid=9382 vsize=10820268 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9445/stat : 9445 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 473735731 11079954432 12039 33554432000 4194304 4196468 140725561056080 140024926429936 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9446] ppid=9382 vsize=10820268 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9446/stat : 9446 (java) S 9382 9385 5532 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 473735734 11079954432 12039 33554432000 4194304 4196468 140725561056080 140024619030480 140026058360731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9447] ppid=9382 vsize=10820268 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/9385/task/9447/stat : 9447 (java) S 9382 9385 5532 0 -1 1077944384 459 12986 0 0 2 0 5 3 20 0 15 0 473735734 11079954432 12039 33554432000 4194304 4196468 140725561056080 140025347898096 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9448] ppid=9382 vsize=10820268 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/9385/task/9448/stat : 9448 (java) S 9382 9385 5532 0 -1 1077944384 204 12986 0 0 2 0 5 3 20 0 15 0 473735734 11079954432 12039 33554432000 4194304 4196468 140725561056080 140025346845552 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9449] ppid=9382 vsize=10820268 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/9385/task/9449/stat : 9449 (java) S 9382 9385 5532 0 -1 1077944384 641 12986 0 0 5 0 5 3 20 0 15 0 473735734 11079954432 12039 33554432000 4194304 4196468 140725561056080 140025345792496 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9450] ppid=9382 vsize=10820268 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9450/stat : 9450 (java) S 9382 9385 5532 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 473735734 11079954432 12039 33554432000 4194304 4196468 140725561056080 140024585472864 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9451] ppid=9382 vsize=10820268 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9451/stat : 9451 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 473735734 11079954432 12039 33554432000 4194304 4196468 140725561056080 140025344739888 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 48156 KiB

[startup+0.700752 s]
/proc/loadavg: 1.43 1.40 1.37 3/227 9451
/proc/meminfo: memFree=4598704/32770624 swapFree=67001736/67108860
[pid=9385] ppid=9382 vsize=10825388 memory=81680 CPUtime=1.16 cores=1,3,5,7
/proc/9385/stat : 9385 (java) S 9382 9385 5532 0 -1 1077944320 15198 12986 0 0 103 5 5 3 20 0 15 0 473735720 11085197312 20447 33554432000 4194304 4196468 140725561056080 140725561038624 140026058342135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
/proc/9385/statm: 2706091 20420 3510 1 0 2668173 0
[pid=9385/tid=9438] ppid=9382 vsize=10824364 memory=2241 CPUtime=0.68 cores=1,3,5,7
/proc/9385/task/9438/stat : 9438 (java) R 9382 9385 5532 0 -1 1077944384 10531 12986 0 0 56 4 5 3 20 0 15 0 473735729 11084148736 20420 33554432000 4194304 4196468 140725561056080 140026030160064 140026051021357 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9439] ppid=9382 vsize=10825388 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9439/stat : 9439 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 473735729 11085197312 20420 33554432000 4194304 4196468 140725561056080 140026062584848 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9440] ppid=9382 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9440/stat : 9440 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 473735729 11085197312 20420 33554432000 4194304 4196468 140725561056080 140025950858384 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9441] ppid=9382 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9441/stat : 9441 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 473735729 11085197312 20420 33554432000 4194304 4196468 140725561056080 140025949805328 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9442] ppid=9382 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9442/stat : 9442 (java) S 9382 9385 5532 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 15 0 473735729 11085197312 20420 33554432000 4194304 4196468 140725561056080 140025948752784 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9443] ppid=9382 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9443/stat : 9443 (java) S 9382 9385 5532 0 -1 1077944384 6 12986 0 0 0 0 5 3 20 0 15 0 473735731 11084148736 20420 33554432000 4194304 4196468 140725561056080 140025382508784 140026058353282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9444] ppid=9382 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9444/stat : 9444 (java) S 9382 9385 5532 0 -1 1077944384 33 12986 0 0 0 0 5 3 20 0 15 0 473735731 11084148736 20420 33554432000 4194304 4196468 140725561056080 140025381455008 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9445] ppid=9382 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9445/stat : 9445 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 473735731 11084148736 20420 33554432000 4194304 4196468 140725561056080 140024926429936 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9446] ppid=9382 vsize=10825388 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9446/stat : 9446 (java) S 9382 9385 5532 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 473735734 11085197312 20420 33554432000 4194304 4196468 140725561056080 140024619030480 140026058360731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9447] ppid=9382 vsize=10825388 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/9385/task/9447/stat : 9447 (java) S 9382 9385 5532 0 -1 1077944384 910 12986 0 0 15 0 5 3 20 0 15 0 473735734 11085197312 20420 33554432000 4194304 4196468 140725561056080 140025347898096 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9448] ppid=9382 vsize=10825388 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/9385/task/9448/stat : 9448 (java) S 9382 9385 5532 0 -1 1077944384 671 12986 0 0 14 0 5 3 20 0 15 0 473735734 11085197312 20420 33554432000 4194304 4196468 140725561056080 140025346845552 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9449] ppid=9382 vsize=10825388 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/9385/task/9449/stat : 9449 (java) S 9382 9385 5532 0 -1 1077944384 832 12986 0 0 17 0 5 3 20 0 15 0 473735734 11085197312 20420 33554432000 4194304 4196468 140725561056080 140025345792496 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9450] ppid=9382 vsize=10824364 memory=140093981493232 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9450/stat : 9450 (java) S 9382 9385 5532 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 473735734 11084148736 20420 33554432000 4194304 4196468 140725561056080 140024585472864 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9451] ppid=9382 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9451/stat : 9451 (java) S 9382 9385 5532 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 15 0 473735734 11084148736 20420 33554432000 4194304 4196468 140725561056080 140025344739888 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10825388 KiB
Current children cumulated memory: 81680 KiB

[startup+1.50067 s]
/proc/loadavg: 1.43 1.40 1.37 3/227 9451
/proc/meminfo: memFree=4553396/32770624 swapFree=67001736/67108860
[pid=9385] ppid=9382 vsize=10834680 memory=167400 CPUtime=2.48 cores=1,3,5,7
/proc/9385/stat : 9385 (java) S 9382 9385 5532 0 -1 1077944320 20531 12986 0 0 231 9 5 3 20 0 15 0 473735720 11094712320 41850 33554432000 4194304 4196468 140725561056080 140725561038624 140026058342135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
/proc/9385/statm: 2708670 41850 3575 1 0 2670733 0
[pid=9385/tid=9438] ppid=9382 vsize=10834680 memory=18 CPUtime=1.44 cores=1,3,5,7
/proc/9385/task/9438/stat : 9438 (java) R 9382 9385 5532 0 -1 4202560 14991 12986 0 0 131 5 5 3 20 0 15 0 473735729 11094712320 41850 33554432000 4194304 4196468 140725561056080 140026030159744 140026058354070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9439] ppid=9382 vsize=10834680 memory=23 CPUtime=0.09 cores=1,3,5,7
/proc/9385/task/9439/stat : 9439 (java) S 9382 9385 5532 0 -1 1077944384 23 12986 0 0 1 0 5 3 20 0 15 0 473735729 11094712320 41850 33554432000 4194304 4196468 140725561056080 140026062584848 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9440] ppid=9382 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9385/task/9440/stat : 9440 (java) S 9382 9385 5532 0 -1 1077944384 33 12986 0 0 1 0 5 3 20 0 15 0 473735729 11094712320 41850 33554432000 4194304 4196468 140725561056080 140025950858384 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9441] ppid=9382 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9441/stat : 9441 (java) S 9382 9385 5532 0 -1 1077944384 28 12986 0 0 0 0 5 3 20 0 15 0 473735729 11094712320 41850 33554432000 4194304 4196468 140725561056080 140025949805328 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9442] ppid=9382 vsize=10834680 memory=99188 CPUtime=0.09 cores=1,3,5,7
/proc/9385/task/9442/stat : 9442 (java) S 9382 9385 5532 0 -1 1077944384 20 12986 0 0 1 0 5 3 20 0 15 0 473735729 11094712320 41850 33554432000 4194304 4196468 140725561056080 140025948752784 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9443] ppid=9382 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9385/task/9443/stat : 9443 (java) S 9382 9385 5532 0 -1 1077944384 44 12986 0 0 1 0 5 3 20 0 15 0 473735731 11094712320 41850 33554432000 4194304 4196468 140725561056080 140025382508784 140026058353282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9444] ppid=9382 vsize=10834680 memory=7014751519616816486 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9444/stat : 9444 (java) S 9382 9385 5532 0 -1 1077944384 34 12986 0 0 0 0 5 3 20 0 15 0 473735731 11094712320 41850 33554432000 4194304 4196468 140725561056080 140025381455072 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9445] ppid=9382 vsize=10834680 memory=7156894252686338137 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9445/stat : 9445 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 473735731 11094712320 41850 33554432000 4194304 4196468 140725561056080 140024926429952 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9446] ppid=9382 vsize=10834680 memory=7377005472564471404 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9446/stat : 9446 (java) S 9382 9385 5532 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 473735734 11094712320 41850 33554432000 4194304 4196468 140725561056080 140024619030480 140026058360731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9447] ppid=9382 vsize=10834680 memory=7523376918531162212 CPUtime=0.34 cores=1,3,5,7
/proc/9385/task/9447/stat : 9447 (java) S 9382 9385 5532 0 -1 1077944384 959 12986 0 0 26 0 5 3 20 0 15 0 473735734 11094712320 41850 33554432000 4194304 4196468 140725561056080 140025347898096 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9448] ppid=9382 vsize=10834680 memory=7233438975185677670 CPUtime=0.34 cores=1,3,5,7
/proc/9385/task/9448/stat : 9448 (java) S 9382 9385 5532 0 -1 1077944384 735 12986 0 0 26 0 5 3 20 0 15 0 473735734 11094712320 41850 33554432000 4194304 4196468 140725561056080 140025346845552 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9449] ppid=9382 vsize=10834680 memory=7014751519616816486 CPUtime=0.49 cores=1,3,5,7
/proc/9385/task/9449/stat : 9449 (java) R 9382 9385 5532 0 -1 4202560 1450 12986 0 0 41 0 5 3 20 0 15 0 473735734 11094712320 41850 33554432000 4194304 4196468 140725561056080 140025345792496 140026039752143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9450] ppid=9382 vsize=10834680 memory=7014751519616816486 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9450/stat : 9450 (java) S 9382 9385 5532 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 473735734 11094712320 41850 33554432000 4194304 4196468 140725561056080 140024585472864 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9451] ppid=9382 vsize=10834680 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9451/stat : 9451 (java) S 9382 9385 5532 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 15 0 473735734 11094712320 41850 33554432000 4194304 4196468 140725561056080 140025344739888 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 167400 KiB

[startup+2.61137 s]
# the end of solver process 9385 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.68713 s, system=0.185014 s

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

[startup+1.6009 s]
/proc/loadavg: 1.43 1.40 1.37 3/227 9451
/proc/meminfo: memFree=4553396/32770624 swapFree=67001736/67108860
[pid=9385] ppid=9382 vsize=10836728 memory=168316 CPUtime=2.68 cores=1,3,5,7
/proc/9385/stat : 9385 (java) S 9382 9385 5532 0 -1 1077944320 20838 12986 0 0 250 10 5 3 20 0 15 0 473735720 11096809472 42079 33554432000 4194304 4196468 140725561056080 140725561038624 140026058342135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
/proc/9385/statm: 2709182 42079 3575 1 0 2671245 0
[pid=9385/tid=9438] ppid=9382 vsize=10836728 memory=140093981495088 CPUtime=1.54 cores=1,3,5,7
/proc/9385/task/9438/stat : 9438 (java) R 9382 9385 5532 0 -1 4202560 15120 12986 0 0 141 5 5 3 20 0 15 0 473735729 11096809472 42079 33554432000 4194304 4196468 140725561056080 140026030162704 140026058354070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9439] ppid=9382 vsize=10836728 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9385/task/9439/stat : 9439 (java) S 9382 9385 5532 0 -1 1077944384 23 12986 0 0 1 0 5 3 20 0 15 0 473735729 11096809472 42079 33554432000 4194304 4196468 140725561056080 140026062584848 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9440] ppid=9382 vsize=10836728 memory=-5921431000321636112 CPUtime=0.09 cores=1,3,5,7
/proc/9385/task/9440/stat : 9440 (java) S 9382 9385 5532 0 -1 1077944384 33 12986 0 0 1 0 5 3 20 0 15 0 473735729 11096809472 42079 33554432000 4194304 4196468 140725561056080 140025950858384 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9441] ppid=9382 vsize=10836728 memory=4206186544037388384 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9441/stat : 9441 (java) S 9382 9385 5532 0 -1 1077944384 28 12986 0 0 0 0 5 3 20 0 15 0 473735729 11096809472 42079 33554432000 4194304 4196468 140725561056080 140025949805328 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9442] ppid=9382 vsize=10836728 memory=6944656592455359580 CPUtime=0.09 cores=1,3,5,7
/proc/9385/task/9442/stat : 9442 (java) S 9382 9385 5532 0 -1 1077944384 20 12986 0 0 1 0 5 3 20 0 15 0 473735729 11096809472 42079 33554432000 4194304 4196468 140725561056080 140025948752784 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9443] ppid=9382 vsize=10836728 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9385/task/9443/stat : 9443 (java) S 9382 9385 5532 0 -1 1077944384 44 12986 0 0 1 0 5 3 20 0 15 0 473735731 11096809472 42079 33554432000 4194304 4196468 140725561056080 140025382508784 140026058353282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9444] ppid=9382 vsize=10836728 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9444/stat : 9444 (java) S 9382 9385 5532 0 -1 1077944384 34 12986 0 0 0 0 5 3 20 0 15 0 473735731 11096809472 42079 33554432000 4194304 4196468 140725561056080 140025381455072 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9445] ppid=9382 vsize=10836728 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9445/stat : 9445 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 473735731 11096809472 42079 33554432000 4194304 4196468 140725561056080 140024926429952 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9446] ppid=9382 vsize=10836728 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9446/stat : 9446 (java) S 9382 9385 5532 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 473735734 11096809472 42079 33554432000 4194304 4196468 140725561056080 140024619030480 140026058360731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9447] ppid=9382 vsize=10836728 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/9385/task/9447/stat : 9447 (java) S 9382 9385 5532 0 -1 1077944384 973 12986 0 0 27 0 5 3 20 0 15 0 473735734 11096809472 42079 33554432000 4194304 4196468 140725561056080 140025347898096 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9448] ppid=9382 vsize=10836728 memory=-7172780225109202885 CPUtime=0.35 cores=1,3,5,7
/proc/9385/task/9448/stat : 9448 (java) S 9382 9385 5532 0 -1 1077944384 755 12986 0 0 27 0 5 3 20 0 15 0 473735734 11096809472 42079 33554432000 4194304 4196468 140725561056080 140025346845552 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9449] ppid=9382 vsize=10836728 memory=-7375337448733758038 CPUtime=0.55 cores=1,3,5,7
/proc/9385/task/9449/stat : 9449 (java) R 9382 9385 5532 0 -1 4202560 1593 12986 0 0 47 0 5 3 20 0 15 0 473735734 11096809472 42079 33554432000 4194304 4196468 140725561056080 140025345792496 140026058363482 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9450] ppid=9382 vsize=10836728 memory=7163066936647236450 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9450/stat : 9450 (java) S 9382 9385 5532 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 473735734 11096809472 42079 33554432000 4194304 4196468 140725561056080 140024585472864 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9451] ppid=9382 vsize=10836728 memory=4570190009857714074 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9451/stat : 9451 (java) S 9382 9385 5532 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 15 0 473735734 11096809472 42079 33554432000 4194304 4196468 140725561056080 140025344739888 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 10836728 KiB
Current children cumulated memory: 168316 KiB

[startup+2.4006 s]
/proc/loadavg: 1.43 1.40 1.37 4/227 9451
/proc/meminfo: memFree=4479996/32770624 swapFree=67001736/67108860
[pid=9385] ppid=9382 vsize=10844940 memory=206160 CPUtime=4.22 cores=1,3,5,7
/proc/9385/stat : 9385 (java) S 9382 9385 5532 0 -1 1077944320 30431 12986 0 0 400 14 5 3 20 0 15 0 473735720 11105218560 51474 33554432000 4194304 4196468 140725561056080 140725561038624 140026058342135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
/proc/9385/statm: 2711235 51540 3600 1 0 2673293 0
[pid=9385/tid=9438] ppid=9382 vsize=10844940 memory=-8484953975976466585 CPUtime=2.31 cores=1,3,5,7
/proc/9385/task/9438/stat : 9438 (java) R 9382 9385 5532 0 -1 4202560 19647 12986 0 0 216 7 5 3 20 0 15 0 473735729 11105218560 51540 33554432000 4194304 4196468 140725561056080 140026030174144 140026042385765 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9439] ppid=9382 vsize=10844940 memory=-6008818291361628827 CPUtime=0.1 cores=1,3,5,7
/proc/9385/task/9439/stat : 9439 (java) S 9382 9385 5532 0 -1 1077944384 311 12986 0 0 2 0 5 3 20 0 15 0 473735729 11105218560 51540 33554432000 4194304 4196468 140725561056080 140026062584848 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9440] ppid=9382 vsize=10844940 memory=7372499716780811105 CPUtime=0.1 cores=1,3,5,7
/proc/9385/task/9440/stat : 9440 (java) S 9382 9385 5532 0 -1 1077944384 58 12986 0 0 2 0 5 3 20 0 15 0 473735729 11105218560 51540 33554432000 4194304 4196468 140725561056080 140025950858384 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9441] ppid=9382 vsize=10844940 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/9385/task/9441/stat : 9441 (java) S 9382 9385 5532 0 -1 1077944384 74 12986 0 0 2 0 5 3 20 0 15 0 473735729 11105218560 51540 33554432000 4194304 4196468 140725561056080 140025949805328 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9442] ppid=9382 vsize=10844940 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/9385/task/9442/stat : 9442 (java) S 9382 9385 5532 0 -1 1077944384 45 12986 0 0 2 0 5 3 20 0 15 0 473735729 11105218560 51540 33554432000 4194304 4196468 140725561056080 140025948752784 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9443] ppid=9382 vsize=10844940 memory=3472425553349876535 CPUtime=0.1 cores=1,3,5,7
/proc/9385/task/9443/stat : 9443 (java) S 9382 9385 5532 0 -1 1077944384 715 12986 0 0 2 0 5 3 20 0 15 0 473735731 11105218560 51540 33554432000 4194304 4196468 140725561056080 140025382508784 140026058353282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9444] ppid=9382 vsize=10844940 memory=-7163355047015377036 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9444/stat : 9444 (java) S 9382 9385 5532 0 -1 1077944384 34 12986 0 0 0 0 5 3 20 0 15 0 473735731 11105218560 51540 33554432000 4194304 4196468 140725561056080 140025381455072 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9445] ppid=9382 vsize=10844940 memory=4497850936463893609 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9445/stat : 9445 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 473735731 11105218560 51540 33554432000 4194304 4196468 140725561056080 140024926429952 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9446] ppid=9382 vsize=10844940 memory=4495763866044047459 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9446/stat : 9446 (java) S 9382 9385 5532 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 473735734 11105218560 51540 33554432000 4194304 4196468 140725561056080 140024619030480 140026058360731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9447] ppid=9382 vsize=10844940 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/9385/task/9447/stat : 9447 (java) R 9382 9385 5532 0 -1 4202560 2156 12986 0 0 43 1 5 3 20 0 15 0 473735734 11105218560 51540 33554432000 4194304 4196468 140725561056080 140025347879112 140026050631584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9448] ppid=9382 vsize=10844940 memory=6220408365532942980 CPUtime=0.55 cores=1,3,5,7
/proc/9385/task/9448/stat : 9448 (java) S 9382 9385 5532 0 -1 1077944384 1287 12986 0 0 47 0 5 3 20 0 15 0 473735734 11105218560 51540 33554432000 4194304 4196468 140725561056080 140025346845552 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9449] ppid=9382 vsize=10844940 memory=7228383407668486970 CPUtime=0.86 cores=1,3,5,7
/proc/9385/task/9449/stat : 9449 (java) S 9382 9385 5532 0 -1 1077944384 3918 12986 0 0 77 1 5 3 20 0 15 0 473735734 11105218560 51540 33554432000 4194304 4196468 140725561056080 140025345792496 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9450] ppid=9382 vsize=10844940 memory=5792587175135044196 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9450/stat : 9450 (java) S 9382 9385 5532 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 473735734 11105218560 51540 33554432000 4194304 4196468 140725561056080 140024585472864 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9451] ppid=9382 vsize=10844940 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9451/stat : 9451 (java) S 9382 9385 5532 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 15 0 473735734 11105218560 51540 33554432000 4194304 4196468 140725561056080 140025344739888 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
Current children cumulated CPU time: 4.22 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 206160 KiB

[startup+2.60073 s]
/proc/loadavg: 1.43 1.40 1.37 4/227 9451
/proc/meminfo: memFree=4479996/32770624 swapFree=67001736/67108860
[pid=9385] ppid=9382 vsize=10910476 memory=218228 CPUtime=4.85 cores=1,3,5,7
/proc/9385/stat : 9385 (java) S 9382 9385 5532 0 -1 1077944320 33800 12986 0 0 463 14 5 3 20 0 13 0 473735720 11172327424 54557 33554432000 4194304 4196468 140725561056080 140725561038624 140026058342135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
/proc/9385/statm: 2727619 54557 3607 1 0 2689677 0
[pid=9385/tid=9438] ppid=9382 vsize=10910476 memory=8112282956445269571 CPUtime=2.48 cores=1,3,5,7
/proc/9385/task/9438/stat : 9438 (java) S 9382 9385 5532 0 -1 1077944384 20094 12986 0 0 233 7 5 3 20 0 13 0 473735729 11172327424 54557 33554432000 4194304 4196468 140725561056080 140026030185616 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9439] ppid=9382 vsize=10910476 memory=7516883056491258432 CPUtime=0.1 cores=1,3,5,7
/proc/9385/task/9439/stat : 9439 (java) S 9382 9385 5532 0 -1 1077944384 311 12986 0 0 2 0 5 3 20 0 13 0 473735729 11172327424 54557 33554432000 4194304 4196468 140725561056080 140026062584848 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9440] ppid=9382 vsize=10910476 memory=7516883056491258432 CPUtime=0.1 cores=1,3,5,7
/proc/9385/task/9440/stat : 9440 (java) S 9382 9385 5532 0 -1 1077944384 58 12986 0 0 2 0 5 3 20 0 13 0 473735729 11172327424 54557 33554432000 4194304 4196468 140725561056080 140025950858384 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9441] ppid=9382 vsize=10910476 memory=7516883056491258432 CPUtime=0.1 cores=1,3,5,7
/proc/9385/task/9441/stat : 9441 (java) S 9382 9385 5532 0 -1 1077944384 74 12986 0 0 2 0 5 3 20 0 13 0 473735729 11172327424 54557 33554432000 4194304 4196468 140725561056080 140025949805328 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9442] ppid=9382 vsize=10910476 memory=7516883056491258432 CPUtime=0.1 cores=1,3,5,7
/proc/9385/task/9442/stat : 9442 (java) S 9382 9385 5532 0 -1 1077944384 45 12986 0 0 2 0 5 3 20 0 13 0 473735729 11172327424 54557 33554432000 4194304 4196468 140725561056080 140025948752784 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9443] ppid=9382 vsize=10910476 memory=7516883056491258432 CPUtime=0.1 cores=1,3,5,7
/proc/9385/task/9443/stat : 9443 (java) S 9382 9385 5532 0 -1 1077944384 715 12986 0 0 2 0 5 3 20 0 13 0 473735731 11172327424 54557 33554432000 4194304 4196468 140725561056080 140025382508992 140026058353282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9444] ppid=9382 vsize=10910476 memory=140093981575489 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9444/stat : 9444 (java) S 9382 9385 5532 0 -1 1077944384 34 12986 0 0 0 0 5 3 20 0 13 0 473735731 11172327424 54557 33554432000 4194304 4196468 140725561056080 140025381455072 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9445] ppid=9382 vsize=10910476 memory=6944656592455360569 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9445/stat : 9445 (java) S 9382 9385 5532 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 13 0 473735731 11172327424 54557 33554432000 4194304 4196468 140725561056080 140024926429952 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9447] ppid=9382 vsize=10910476 memory=-9181546050914066336 CPUtime=0.72 cores=1,3,5,7
/proc/9385/task/9447/stat : 9447 (java) R 9382 9385 5532 0 -1 4202560 3291 12986 0 0 63 1 5 3 20 0 13 0 473735734 11172327424 54557 33554432000 4194304 4196468 140725561056080 140025347879472 140026042248140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9448] ppid=9382 vsize=10910476 memory=-7457052372387209120 CPUtime=0.71 cores=1,3,5,7
/proc/9385/task/9448/stat : 9448 (java) S 9382 9385 5532 0 -1 1077944384 2198 12986 0 0 62 1 5 3 20 0 13 0 473735734 11172327424 54557 33554432000 4194304 4196468 140725561056080 140025346830384 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9449] ppid=9382 vsize=10910476 memory=1399094042734925955 CPUtime=0.97 cores=1,3,5,7
/proc/9385/task/9449/stat : 9449 (java) S 9382 9385 5532 0 -1 1077944384 4733 12986 0 0 88 1 5 3 20 0 13 0 473735734 11172327424 54557 33554432000 4194304 4196468 140725561056080 140025345792496 140026058353282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
[pid=9385/tid=9450] ppid=9382 vsize=10910476 memory=-7457052372387209120 CPUtime=0.08 cores=1,3,5,7
/proc/9385/task/9450/stat : 9450 (java) S 9382 9385 5532 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 13 0 473735734 11172327424 54557 33554432000 4194304 4196468 140725561056080 140024585472864 140026058352341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140725561064035 140725561066677 140725561066677 140725561069519 0
Current children cumulated CPU time: 4.85 s
Current children cumulated vsize: 10910476 KiB
Current children cumulated memory: 218228 KiB

Child status: 0
Real time (s): 2.61141
CPU time (s): 4.87214
CPU user time (s): 4.68713
CPU system time (s): 0.185014
CPU usage (%): 186.571
Max. virtual memory (cumulated for all children) (KiB): 10910476
Max. memory (cumulated for all children) (KiB): 218228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.68712
system time used= 0.185014
maximum resident set size= 219688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46791
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5028
involuntary context switches= 26


# summary of solver processes directly reported to runsolver:
#   pid: 9385
#   total CPU time (s): 4.87214
#   total CPU user time (s): 4.68713
#   total CPU system time (s): 0.185014

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041577 second user time and 0.061833 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-20 13:16:16
IDJOB=4402447
IDBENCH=133313
IDSOLVER=2861
FILE ID=node146/4402447-1568978218
RUNJOBID= node146-1568967595-5564
PBS_JOBID= 21704614
Free space on /var/tmp= 13472 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/Primes/Primes-m1-p25/Primes-25-20-3-1.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402447-1568978218/watcher-4402447-1568978218 -o /var/tmp/evaluation-result-4402447-1568978218/solver-4402447-1568978218 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node146-1568967595-5564 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1554163371 HOME/instance-4402447-1568978218.xml

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

MD5SUM BENCH= cc05f472d5f8180cd89c35370563cdd2
RANDOM SEED=1554163371

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:         4650996 kB
MemAvailable:   30560660 kB
Buffers:          142972 kB
Cached:         25693892 kB
SwapCached:         3828 kB
Active:         14078832 kB
Inactive:       13054236 kB
Active(anon):    1292852 kB
Inactive(anon):    50716 kB
Active(file):   12785980 kB
Inactive(file): 13003520 kB
Unevictable:      111164 kB
Mlocked:          111164 kB
SwapTotal:      67108860 kB
SwapFree:       67001736 kB
Dirty:             35332 kB
Writeback:             0 kB
AnonPages:       1405168 kB
Mapped:            64996 kB
Shmem:             38824 kB
Slab:             577536 kB
SReclaimable:     548624 kB
SUnreclaim:        28912 kB
KernelStack:        3696 kB
PageTables:         8476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2448288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1271808 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /var/tmp at the end= 13440 MiB
End job on node146 at 2019-09-20 13:16:19