Trace number 4280458

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
choco-solver 4.0.5 par (2017-08-18)OPT251 5.7219601 1.21927

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-factor/
Pb-factor-S9-P251-Q379.xml
MD5SUMad4397bc1e7476417756f14988918f59
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark251
Best CPU time to get the best result obtained on this benchmark0.034168001
Satisfiable
(Un)Satisfiability was proved
Number of variables99
Number of constraints244
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":99}]
Minimum variable degree4
Maximum variable degree19
Distribution of variable degrees[{"degree":4,"count":81},{"degree":18,"count":9},{"degree":19,"count":9}]
Minimum constraint arity2
Maximum constraint arity81
Distribution of constraint arities[{"arity":2,"count":162},{"arity":3,"count":81},{"arity":81,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":244}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280458-1503158213.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280458-1503158213.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.34/0.26	c parse instance...
1.40/0.66	c solve instance...
4.23/1.07	o 251 
4.98/1.20	s OPTIMUM FOUND
4.98/1.20	v <instantiation>
4.98/1.20	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] </list>
4.98/1.20	v 	<values>1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 </values>
4.98/1.20	v </instantiation>

Verifier Data 

OK	251

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280458-1503158213/watcher-4280458-1503158213 -o /tmp/evaluation-result-4280458-1503158213/solver-4280458-1503158213 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503155882-15633 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1381306141 HOME/instance-4280458-1503158213.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100137 s]*
/proc/loadavg: 5.91 6.28 5.69 2/200 16457
/proc/meminfo: memFree=27328004/32770624 swapFree=67108860/67108860
[pid=16436] ppid=16433 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16436/stat : 16436 (xcsp3-exec) S 16433 16436 15606 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148908883 9740288 346 33554432000 4194304 5098028 140731631818720 140731631816824 140559590126204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25628672 140731631821924 140731631822135 140731631822135 140731631824875 0
/proc/16436/statm: 2378 346 289 221 0 87 0
[pid=16438] ppid=16436 vsize=25999808 memory=26632 CPUtime=0.12 cores=0-7
/proc/16438/stat : 16438 (java) S 16436 16436 15606 0 -1 1077944320 5601 0 0 0 11 1 0 0 20 0 20 0 148908883 26623803392 6658 33554432000 4194304 4196468 140726953194448 140726953176992 139868479196919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
/proc/16438/statm: 6499952 6658 2843 1 0 6488269 0
[pid=16438/tid=16439] ppid=16436 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/16438/task/16439/stat : 16439 (java) R 16436 16436 15606 0 -1 4202560 3602 0 0 0 9 0 0 0 20 0 20 0 148908884 26623803392 6658 33554432000 4194304 4196468 140726953194448 139868483428576 139868479218845 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16440] ppid=16436 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16438/task/16440/stat : 16440 (java) S 16436 16436 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148908885 26623803392 6658 33554432000 4194304 4196468 140726953194448 139868431817104 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16441] ppid=16436 vsize=25999808 memory=139812996781696 CPUtime=0 cores=0-7
/proc/16438/task/16441/stat : 16441 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 26623803392 6658 33554432000 4194304 4196468 140726953194448 139868430764304 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16442] ppid=16436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16442/stat : 16442 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 26623803392 6658 33554432000 4194304 4196468 140726953194448 139868429712016 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16443] ppid=16436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16443/stat : 16443 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 26623803392 6658 33554432000 4194304 4196468 140726953194448 139868034693648 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16444] ppid=16436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16444/stat : 16444 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 26623803392 6658 33554432000 4194304 4196468 140726953194448 139868033641360 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16445] ppid=16436 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16438/task/16445/stat : 16445 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 26623803392 6658 33554432000 4194304 4196468 140726953194448 139868032588560 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16446] ppid=16436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16446/stat : 16446 (java) S 16436 16436 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148908885 26623803392 6658 33554432000 4194304 4196468 140726953194448 139868031536272 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16447] ppid=16436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16447/stat : 16447 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 26623803392 6658 33554432000 4194304 4196468 140726953194448 139868030483472 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16448] ppid=16436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16448/stat : 16448 (java) S 16436 16436 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148908886 26623803392 6658 33554432000 4194304 4196468 140726953194448 139866683730032 139868479208066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16449] ppid=16436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16449/stat : 16449 (java) S 16436 16436 15606 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148908887 26623803392 6658 33554432000 4194304 4196468 140726953194448 139866682676000 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16450] ppid=16436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16450/stat : 16450 (java) S 16436 16436 15606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148908887 26623803392 6658 33554432000 4194304 4196468 140726953194448 139866681623664 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16451] ppid=16436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16451/stat : 16451 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908889 26623803392 6658 33554432000 4194304 4196468 140726953194448 139866680571984 139868479215515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16452] ppid=16436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16452/stat : 16452 (java) S 16436 16436 15606 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 148908889 26623803392 6658 33554432000 4194304 4196468 140726953194448 139866679519856 139868479208066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16453] ppid=16436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16453/stat : 16453 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908889 26623803392 6658 33554432000 4194304 4196468 140726953194448 139866678467056 139868479208066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16454] ppid=16436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16454/stat : 16454 (java) S 16436 16436 15606 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 148908889 26623803392 6658 33554432000 4194304 4196468 140726953194448 139866677414768 139868479208066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16455] ppid=16436 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/16438/task/16455/stat : 16455 (java) R 16436 16436 15606 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 20 0 148908889 26623803392 6658 33554432000 4194304 4196468 140726953194448 139866676361968 139868479208854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16456] ppid=16436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16456/stat : 16456 (java) S 16436 16436 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148908889 26623803392 6658 33554432000 4194304 4196468 140726953194448 139866675308896 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16457] ppid=16436 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16438/task/16457/stat : 16457 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908890 26623803392 6658 33554432000 4194304 4196468 140726953194448 139866674256176 139868479208066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28016 KiB

[startup+0.210476 s]*
/proc/loadavg: 5.91 6.28 5.69 2/200 16457
/proc/meminfo: memFree=27316832/32770624 swapFree=67108860/67108860
[pid=16436] ppid=16433 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16436/stat : 16436 (xcsp3-exec) S 16433 16436 15606 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148908883 9740288 346 33554432000 4194304 5098028 140731631818720 140731631816824 140559590126204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25628672 140731631821924 140731631822135 140731631822135 140731631824875 0
/proc/16436/statm: 2378 346 289 221 0 87 0
[pid=16438] ppid=16436 vsize=26004064 memory=38944 CPUtime=0.34 cores=0-7
/proc/16438/stat : 16438 (java) S 16436 16436 15606 0 -1 1077944320 8302 0 0 0 32 2 0 0 20 0 20 0 148908883 26628161536 9736 33554432000 4194304 4196468 140726953194448 140726953176992 139868479196919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
/proc/16438/statm: 6501016 9736 3056 1 0 6488269 0
[pid=16438/tid=16439] ppid=16436 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16438/task/16439/stat : 16439 (java) D 16436 16436 15606 0 -1 1077944384 5456 0 0 0 19 1 0 0 20 0 20 0 148908884 26628161536 9757 33554432000 4194304 4196468 140726953194448 139868483407728 139868471876141 0 4 0 16800975 18446744072101707300 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16440] ppid=16436 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/16438/task/16440/stat : 16440 (java) S 16436 16436 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148908885 26628161536 9757 33554432000 4194304 4196468 140726953194448 139868431817104 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16441] ppid=16436 vsize=26004064 memory=139812996798386 CPUtime=0 cores=0-7
/proc/16438/task/16441/stat : 16441 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 26628161536 9757 33554432000 4194304 4196468 140726953194448 139868430764304 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16442] ppid=16436 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16438/task/16442/stat : 16442 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 26628161536 9757 33554432000 4194304 4196468 140726953194448 139868429712016 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16443] ppid=16436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16443/stat : 16443 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 26628161536 9757 33554432000 4194304 4196468 140726953194448 139868034693648 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16444] ppid=16436 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16444/stat : 16444 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 26628194304 9757 33554432000 4194304 4196468 140726953194448 139868033641360 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16445] ppid=16436 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/16438/task/16445/stat : 16445 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 26628194304 9757 33554432000 4194304 4196468 140726953194448 139868032588560 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16446] ppid=16436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16446/stat : 16446 (java) S 16436 16436 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148908885 26628161536 9757 33554432000 4194304 4196468 140726953194448 139868031536272 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16447] ppid=16436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16447/stat : 16447 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 26628161536 9757 33554432000 4194304 4196468 140726953194448 139868030483472 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16448] ppid=16436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16448/stat : 16448 (java) S 16436 16436 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148908886 26628161536 9757 33554432000 4194304 4196468 140726953194448 139866683730032 139868479208066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16449] ppid=16436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16449/stat : 16449 (java) S 16436 16436 15606 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148908887 26628161536 9757 33554432000 4194304 4196468 140726953194448 139866682676000 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16450] ppid=16436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16450/stat : 16450 (java) S 16436 16436 15606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148908887 26628161536 9757 33554432000 4194304 4196468 140726953194448 139866681623664 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16451] ppid=16436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16451/stat : 16451 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908889 26628161536 9757 33554432000 4194304 4196468 140726953194448 139866680571984 139868479215515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16452] ppid=16436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16452/stat : 16452 (java) S 16436 16436 15606 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 20 0 148908889 26628161536 9757 33554432000 4194304 4196468 140726953194448 139866679519856 139868479208066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16453] ppid=16436 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/16438/task/16453/stat : 16453 (java) S 16436 16436 15606 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 20 0 148908889 26628194304 9757 33554432000 4194304 4196468 140726953194448 139866678467056 139868479208066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16454] ppid=16436 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/16438/task/16454/stat : 16454 (java) S 16436 16436 15606 0 -1 1077944384 376 0 0 0 2 0 0 0 20 0 20 0 148908889 26628161536 9757 33554432000 4194304 4196468 140726953194448 139866677414768 139868479208066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16455] ppid=16436 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/16438/task/16455/stat : 16455 (java) S 16436 16436 15606 0 -1 1077944384 776 0 0 0 8 0 0 0 20 0 20 0 148908889 26628161536 9757 33554432000 4194304 4196468 140726953194448 139866676361968 139868479208066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16456] ppid=16436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16456/stat : 16456 (java) S 16436 16436 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148908889 26628161536 9757 33554432000 4194304 4196468 140726953194448 139866675308896 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16457] ppid=16436 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16438/task/16457/stat : 16457 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908890 26628161536 9757 33554432000 4194304 4196468 140726953194448 139866674256176 139868479208066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40328 KiB

[startup+0.310445 s]*
/proc/loadavg: 5.91 6.28 5.69 5/200 16457
/proc/meminfo: memFree=27312800/32770624 swapFree=67108860/67108860
[pid=16436] ppid=16433 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16436/stat : 16436 (xcsp3-exec) S 16433 16436 15606 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148908883 9740288 346 33554432000 4194304 5098028 140731631818720 140731631816824 140559590126204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25628672 140731631821924 140731631822135 140731631822135 140731631824875 0
/proc/16436/statm: 2378 346 289 221 0 87 0
[pid=16438] ppid=16436 vsize=26004064 memory=45888 CPUtime=0.5 cores=0-7
/proc/16438/stat : 16438 (java) S 16436 16436 15606 0 -1 1077944320 9200 0 0 0 48 2 0 0 20 0 20 0 148908883 26628161536 11472 33554432000 4194304 4196468 140726953194448 140726953176992 139868479196919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
/proc/16438/statm: 6501016 11472 3105 1 0 6488269 0
[pid=16438/tid=16439] ppid=16436 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16438/task/16439/stat : 16439 (java) R 16436 16436 15606 0 -1 4202560 6136 0 0 0 28 1 0 0 20 0 20 0 148908884 26628161536 11472 33554432000 4194304 4196468 140726953194448 139868483434240 139868479218845 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16440] ppid=16436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16440/stat : 16440 (java) S 16436 16436 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148908885 26628161536 11472 33554432000 4194304 4196468 140726953194448 139868431817104 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16441] ppid=16436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16441/stat : 16441 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 26628161536 11472 33554432000 4194304 4196468 140726953194448 139868430764304 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16442] ppid=16436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16442/stat : 16442 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 26628161536 11472 33554432000 4194304 4196468 140726953194448 139868429712016 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16443] ppid=16436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16443/stat : 16443 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 26628161536 11472 33554432000 4194304 4196468 140726953194448 139868034693648 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16444] ppid=16436 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/16438/task/16444/stat : 16444 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 26628161536 11472 33554432000 4194304 4196468 140726953194448 139868033641360 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16445] ppid=16436 vsize=26004064 memory=139812862522287 CPUtime=0 cores=0-7
/proc/16438/task/16445/stat : 16445 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 26628161536 11472 33554432000 4194304 4196468 140726953194448 139868032588560 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16446] ppid=16436 vsize=26004064 memory=139812862524592 CPUtime=0 cores=0-7
/proc/16438/task/16446/stat : 16446 (java) S 16436 16436 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148908885 26628161536 11472 33554432000 4194304 4196468 140726953194448 139868031536272 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16447] ppid=16436 vsize=26004064 memory=139812862526896 CPUtime=0 cores=0-7
/proc/16438/task/16447/stat : 16447 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 26628161536 11472 33554432000 4194304 4196468 140726953194448 139868030483472 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16448] ppid=16436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16448/stat : 16448 (java) S 16436 16436 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148908886 26628161536 11472 33554432000 4194304 4196468 140726953194448 139866683730032 139868479208066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16449] ppid=16436 vsize=26004064 memory=279625725060752 CPUtime=0 cores=0-7
/proc/16438/task/16449/stat : 16449 (java) S 16436 16436 15606 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148908887 26628161536 11472 33554432000 4194304 4196468 140726953194448 139866682676000 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16450] ppid=16436 vsize=26004064 memory=279625725067664 CPUtime=0 cores=0-7
/proc/16438/task/16450/stat : 16450 (java) S 16436 16436 15606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148908887 26628161536 11472 33554432000 4194304 4196468 140726953194448 139866681623664 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16451] ppid=16436 vsize=26004064 memory=279625725008944 CPUtime=0 cores=0-7
/proc/16438/task/16451/stat : 16451 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908889 26628161536 11472 33554432000 4194304 4196468 140726953194448 139866680571984 139868479215515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16452] ppid=16436 vsize=26004064 memory=279625725081488 CPUtime=0.01 cores=0-7
/proc/16438/task/16452/stat : 16452 (java) S 16436 16436 15606 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 20 0 148908889 26628161536 11472 33554432000 4194304 4196468 140726953194448 139866679519856 139868479208066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16453] ppid=16436 vsize=26004064 memory=279625725088400 CPUtime=0.01 cores=0-7
/proc/16438/task/16453/stat : 16453 (java) S 16436 16436 15606 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 20 0 148908889 26628161536 11472 33554432000 4194304 4196468 140726953194448 139866678467056 139868479208066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16454] ppid=16436 vsize=26004064 memory=279625725086096 CPUtime=0.04 cores=0-7
/proc/16438/task/16454/stat : 16454 (java) S 16436 16436 15606 0 -1 1077944384 428 0 0 0 4 0 0 0 20 0 20 0 148908889 26628161536 11536 33554432000 4194304 4196468 140726953194448 139866677414768 139868479208066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16455] ppid=16436 vsize=26004064 memory=279625725102256 CPUtime=0.13 cores=0-7
/proc/16438/task/16455/stat : 16455 (java) S 16436 16436 15606 0 -1 1077944384 909 0 0 0 13 0 0 0 20 0 20 0 148908889 26628161536 11536 33554432000 4194304 4196468 140726953194448 139866676361968 139868479208066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16456] ppid=16436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16456/stat : 16456 (java) S 16436 16436 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148908889 26628161536 11536 33554432000 4194304 4196468 140726953194448 139866675308896 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16457] ppid=16436 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16438/task/16457/stat : 16457 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908890 26628161536 11536 33554432000 4194304 4196468 140726953194448 139866674256176 139868479208066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47272 KiB

[startup+0.701425 s]
/proc/loadavg: 5.91 6.28 5.69 6/200 16457
/proc/meminfo: memFree=27292888/32770624 swapFree=67108860/67108860
[pid=16436] ppid=16433 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16436/stat : 16436 (xcsp3-exec) S 16433 16436 15606 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148908883 9740288 346 33554432000 4194304 5098028 140731631818720 140731631816824 140559590126204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25628672 140731631821924 140731631822135 140731631822135 140731631824875 0
/proc/16436/statm: 2378 346 289 221 0 87 0
[pid=16438] ppid=16436 vsize=26538700 memory=110484 CPUtime=1.86 cores=0-7
/proc/16438/stat : 16438 (java) S 16436 16436 15606 0 -1 1077944320 14497 0 0 0 180 6 0 0 20 0 28 0 148908883 27175628800 27621 33554432000 4194304 4196468 140726953194448 140726953176992 139868479196919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
/proc/16438/statm: 6634675 27621 3206 1 0 6621909 0
[pid=16438/tid=16439] ppid=16436 vsize=26538700 memory=279625725460144 CPUtime=0.64 cores=0-7
/proc/16438/task/16439/stat : 16439 (java) S 16436 16436 15606 0 -1 1077944384 6828 0 0 0 62 2 0 0 20 0 28 0 148908884 27175628800 27621 33554432000 4194304 4196468 140726953194448 139868483437696 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16440] ppid=16436 vsize=26538700 memory=139812862731120 CPUtime=0 cores=0-7
/proc/16438/task/16440/stat : 16440 (java) S 16436 16436 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 148908885 27175628800 27621 33554432000 4194304 4196468 140726953194448 139868431817104 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16441] ppid=16436 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16441/stat : 16441 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148908885 27175628800 27621 33554432000 4194304 4196468 140726953194448 139868430764304 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16442] ppid=16436 vsize=26538700 memory=4620 CPUtime=0 cores=0-7
/proc/16438/task/16442/stat : 16442 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148908885 27175628800 27621 33554432000 4194304 4196468 140726953194448 139868429712016 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16443] ppid=16436 vsize=26538700 memory=1428 CPUtime=0 cores=0-7
/proc/16438/task/16443/stat : 16443 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148908885 27175628800 27621 33554432000 4194304 4196468 140726953194448 139868034693648 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16444] ppid=16436 vsize=26538700 memory=1204 CPUtime=0 cores=0-7
/proc/16438/task/16444/stat : 16444 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148908885 27175628800 27621 33554432000 4194304 4196468 140726953194448 139868033641360 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16445] ppid=16436 vsize=26538700 memory=15880 CPUtime=0 cores=0-7
/proc/16438/task/16445/stat : 16445 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148908885 27175628800 27621 33554432000 4194304 4196468 140726953194448 139868032588560 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16446] ppid=16436 vsize=26538700 memory=25036 CPUtime=0 cores=0-7
/proc/16438/task/16446/stat : 16446 (java) S 16436 16436 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148908885 27175628800 27621 33554432000 4194304 4196468 140726953194448 139868031536272 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16447] ppid=16436 vsize=26538700 memory=4048 CPUtime=0 cores=0-7
/proc/16438/task/16447/stat : 16447 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148908885 27175628800 27621 33554432000 4194304 4196468 140726953194448 139868030483472 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16448] ppid=16436 vsize=26538700 memory=18488 CPUtime=0 cores=0-7
/proc/16438/task/16448/stat : 16448 (java) S 16436 16436 15606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 148908886 27175628800 27621 33554432000 4194304 4196468 140726953194448 139866683730032 139868479208066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16449] ppid=16436 vsize=26538700 memory=1796 CPUtime=0 cores=0-7
/proc/16438/task/16449/stat : 16449 (java) S 16436 16436 15606 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 148908887 27175628800 27621 33554432000 4194304 4196468 140726953194448 139866682676000 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16450] ppid=16436 vsize=26538700 memory=1236 CPUtime=0 cores=0-7
/proc/16438/task/16450/stat : 16450 (java) S 16436 16436 15606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 148908887 27175628800 27621 33554432000 4194304 4196468 140726953194448 139866681623664 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16451] ppid=16436 vsize=26538700 memory=640 CPUtime=0 cores=0-7
/proc/16438/task/16451/stat : 16451 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148908889 27175628800 27621 33554432000 4194304 4196468 140726953194448 139866680571984 139868479215515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16452] ppid=16436 vsize=26538700 memory=0 CPUtime=0.19 cores=0-7
/proc/16438/task/16452/stat : 16452 (java) R 16436 16436 15606 0 -1 1077944384 1151 0 0 0 19 0 0 0 20 0 28 0 148908889 27175628800 27621 33554432000 4194304 4196468 140726953194448 139866679519856 139868479208066 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16453] ppid=16436 vsize=26538700 memory=1716 CPUtime=0.22 cores=0-7
/proc/16438/task/16453/stat : 16453 (java) R 16436 16436 15606 0 -1 4202560 1141 0 0 0 22 0 0 0 20 0 28 0 148908889 27175628800 27621 33554432000 4194304 4196468 140726953194448 139866678453280 139868464312162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16454] ppid=16436 vsize=26538700 memory=1956 CPUtime=0.25 cores=0-7
/proc/16438/task/16454/stat : 16454 (java) R 16436 16436 15606 0 -1 4202560 1460 0 0 0 25 0 0 0 20 0 28 0 148908889 27175628800 27621 33554432000 4194304 4196468 140726953194448 139866677414768 139868479208854 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16455] ppid=16436 vsize=26538700 memory=8608 CPUtime=0.41 cores=0-7
/proc/16438/task/16455/stat : 16455 (java) R 16436 16436 15606 0 -1 4202560 2261 0 0 0 41 0 0 0 20 0 28 0 148908889 27175628800 27621 33554432000 4194304 4196468 140726953194448 139866676358704 139868472303485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16456] ppid=16436 vsize=26538700 memory=1228 CPUtime=0 cores=0-7
/proc/16438/task/16456/stat : 16456 (java) S 16436 16436 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148908889 27175628800 27621 33554432000 4194304 4196468 140726953194448 139866675308896 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16457] ppid=16436 vsize=26538700 memory=12136 CPUtime=0 cores=0-7
/proc/16438/task/16457/stat : 16457 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148908890 27175628800 27621 33554432000 4194304 4196468 140726953194448 139866674256176 139868479208066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
Current children cumulated CPU time: 1.86 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 111868 KiB

[startup+1.21921 s]
# the end of solver process 16436 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.63848 s, system=0.08348 s

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

[startup+0.801367 s]
/proc/loadavg: 5.91 6.28 5.69 6/200 16457
/proc/meminfo: memFree=27292888/32770624 swapFree=67108860/67108860
[pid=16436] ppid=16433 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16436/stat : 16436 (xcsp3-exec) S 16433 16436 15606 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148908883 9740288 346 33554432000 4194304 5098028 140731631818720 140731631816824 140559590126204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25628672 140731631821924 140731631822135 140731631822135 140731631824875 0
/proc/16436/statm: 2378 346 289 221 0 87 0
[pid=16438] ppid=16436 vsize=26538700 memory=112400 CPUtime=2.61 cores=0-7
/proc/16438/stat : 16438 (java) S 16436 16436 15606 0 -1 1077944320 14979 0 0 0 255 6 0 0 20 0 28 0 148908883 27175628800 28100 33554432000 4194304 4196468 140726953194448 140726953176992 139868479196919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
/proc/16438/statm: 6634675 28100 3208 1 0 6621909 0
[pid=16438/tid=16439] ppid=16436 vsize=26538700 memory=6935649255759570240 CPUtime=0.64 cores=0-7
/proc/16438/task/16439/stat : 16439 (java) S 16436 16436 15606 0 -1 1077944384 6828 0 0 0 62 2 0 0 20 0 28 0 148908884 27175628800 28100 33554432000 4194304 4196468 140726953194448 139868483437696 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16440] ppid=16436 vsize=26538700 memory=6935649255759569472 CPUtime=0 cores=0-7
/proc/16438/task/16440/stat : 16440 (java) S 16436 16436 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 148908885 27175628800 28100 33554432000 4194304 4196468 140726953194448 139868431817104 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16441] ppid=16436 vsize=26538700 memory=4638778398332698720 CPUtime=0 cores=0-7
/proc/16438/task/16441/stat : 16441 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148908885 27175628800 28100 33554432000 4194304 4196468 140726953194448 139868430764304 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16442] ppid=16436 vsize=26538700 memory=8514726395715351173 CPUtime=0 cores=0-7
/proc/16438/task/16442/stat : 16442 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148908885 27175628800 28100 33554432000 4194304 4196468 140726953194448 139868429712016 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16443] ppid=16436 vsize=26538700 memory=-9109213556524817781 CPUtime=0 cores=0-7
/proc/16438/task/16443/stat : 16443 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148908885 27175628800 28100 33554432000 4194304 4196468 140726953194448 139868034693648 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16444] ppid=16436 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16444/stat : 16444 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148908885 27175628800 28100 33554432000 4194304 4196468 140726953194448 139868033641360 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16445] ppid=16436 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16445/stat : 16445 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148908885 27175628800 28100 33554432000 4194304 4196468 140726953194448 139868032588560 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16446] ppid=16436 vsize=26538700 memory=279625724923456 CPUtime=0 cores=0-7
/proc/16438/task/16446/stat : 16446 (java) S 16436 16436 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148908885 27175628800 28100 33554432000 4194304 4196468 140726953194448 139868031536272 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16447] ppid=16436 vsize=26538700 memory=-9178283013952592471 CPUtime=0 cores=0-7
/proc/16438/task/16447/stat : 16447 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148908885 27175628800 28100 33554432000 4194304 4196468 140726953194448 139868030483472 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16448] ppid=16436 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16448/stat : 16448 (java) S 16436 16436 15606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 148908886 27175628800 28100 33554432000 4194304 4196468 140726953194448 139866683730032 139868479208066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16449] ppid=16436 vsize=26538700 memory=1728 CPUtime=0 cores=0-7
/proc/16438/task/16449/stat : 16449 (java) S 16436 16436 15606 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 148908887 27175628800 28100 33554432000 4194304 4196468 140726953194448 139866682676000 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16450] ppid=16436 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/16438/task/16450/stat : 16450 (java) S 16436 16436 15606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 148908887 27175628800 28100 33554432000 4194304 4196468 140726953194448 139866681623664 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16451] ppid=16436 vsize=26538700 memory=1716 CPUtime=0 cores=0-7
/proc/16438/task/16451/stat : 16451 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148908889 27175628800 28100 33554432000 4194304 4196468 140726953194448 139866680571984 139868479215515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16452] ppid=16436 vsize=26538700 memory=1956 CPUtime=0.23 cores=0-7
/proc/16438/task/16452/stat : 16452 (java) R 16436 16436 15606 0 -1 4202560 1299 0 0 0 23 0 0 0 20 0 28 0 148908889 27175628800 28100 33554432000 4194304 4196468 140726953194448 139866679507512 139868463600143 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16453] ppid=16436 vsize=26538700 memory=8608 CPUtime=0.29 cores=0-7
/proc/16438/task/16453/stat : 16453 (java) R 16436 16436 15606 0 -1 4202560 1285 0 0 0 29 0 0 0 20 0 28 0 148908889 27175628800 28100 33554432000 4194304 4196468 140726953194448 139866678448168 139868471486368 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16454] ppid=16436 vsize=26538700 memory=1228 CPUtime=0.3 cores=0-7
/proc/16438/task/16454/stat : 16454 (java) R 16436 16436 15606 0 -1 4202560 1566 0 0 0 30 0 0 0 20 0 28 0 148908889 27175628800 28100 33554432000 4194304 4196468 140726953194448 139866677395784 139868459897216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16455] ppid=16436 vsize=26538700 memory=12136 CPUtime=0.45 cores=0-7
/proc/16438/task/16455/stat : 16455 (java) R 16436 16436 15606 0 -1 4202560 2326 0 0 0 45 0 0 0 20 0 28 0 148908889 27175628800 28100 33554432000 4194304 4196468 140726953194448 139866676359224 139868463536280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16456] ppid=16436 vsize=26538700 memory=5792 CPUtime=0 cores=0-7
/proc/16438/task/16456/stat : 16456 (java) S 16436 16436 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148908889 27175628800 28100 33554432000 4194304 4196468 140726953194448 139866675308896 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16457] ppid=16436 vsize=26538700 memory=1008 CPUtime=0 cores=0-7
/proc/16438/task/16457/stat : 16457 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148908890 27175628800 28100 33554432000 4194304 4196468 140726953194448 139866674256176 139868479208066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 113784 KiB

[startup+1.20136 s]
/proc/loadavg: 5.91 6.28 5.69 11/208 16465
/proc/meminfo: memFree=27233744/32770624 swapFree=67108860/67108860
[pid=16436] ppid=16433 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16436/stat : 16436 (xcsp3-exec) S 16433 16436 15606 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148908883 9740288 346 33554432000 4194304 5098028 140731631818720 140731631816824 140559590126204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25628672 140731631821924 140731631822135 140731631822135 140731631824875 0
/proc/16436/statm: 2378 346 289 221 0 87 0
[pid=16438] ppid=16436 vsize=26538700 memory=150576 CPUtime=5.69 cores=0-7
/proc/16438/stat : 16438 (java) S 16436 16436 15606 0 -1 1077944320 18919 0 0 0 562 7 0 0 20 0 22 0 148908883 27175628800 37644 33554432000 4194304 4196468 140726953194448 140726953176992 139868479196919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
/proc/16438/statm: 6634675 37644 3211 1 0 6621909 0
[pid=16438/tid=16439] ppid=16436 vsize=26538700 memory=0 CPUtime=0.64 cores=0-7
/proc/16438/task/16439/stat : 16439 (java) D 16436 16436 15606 0 -1 4202560 6829 0 0 0 62 2 0 0 20 0 22 0 148908884 27175628800 37627 33554432000 4194304 4196468 140726953194448 139868483439544 139868471913882 0 4 0 16800975 18446744071582151463 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16440] ppid=16436 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16440/stat : 16440 (java) S 16436 16436 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 148908885 27175628800 37627 33554432000 4194304 4196468 140726953194448 139868431817104 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16441] ppid=16436 vsize=26538700 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/16438/task/16441/stat : 16441 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 148908885 27175628800 37627 33554432000 4194304 4196468 140726953194448 139868430764304 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16442] ppid=16436 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16442/stat : 16442 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 148908885 27175628800 37610 33554432000 4194304 4196468 140726953194448 139868429712016 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16443] ppid=16436 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16443/stat : 16443 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 148908885 27175628800 37610 33554432000 4194304 4196468 140726953194448 139868034693648 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16444] ppid=16436 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16444/stat : 16444 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 148908885 27175628800 37647 33554432000 4194304 4196468 140726953194448 139868033641360 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16445] ppid=16436 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16445/stat : 16445 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 148908885 27175628800 37647 33554432000 4194304 4196468 140726953194448 139868032588560 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16446] ppid=16436 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16446/stat : 16446 (java) S 16436 16436 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148908885 27175628800 37647 33554432000 4194304 4196468 140726953194448 139868031536272 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16447] ppid=16436 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16447/stat : 16447 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908885 27175628800 37647 33554432000 4194304 4196468 140726953194448 139868030483472 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16448] ppid=16436 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16448/stat : 16448 (java) S 16436 16436 15606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 148908886 27175628800 37647 33554432000 4194304 4196468 140726953194448 139866683730032 139868479208066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16449] ppid=16436 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16449/stat : 16449 (java) S 16436 16436 15606 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148908887 27175628800 37647 33554432000 4194304 4196468 140726953194448 139866682676000 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16450] ppid=16436 vsize=26538700 memory=303711698211307546 CPUtime=0 cores=0-7
/proc/16438/task/16450/stat : 16450 (java) S 16436 16436 15606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148908887 27175628800 37647 33554432000 4194304 4196468 140726953194448 139866681623664 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16451] ppid=16436 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16451/stat : 16451 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908889 27175628800 37647 33554432000 4194304 4196468 140726953194448 139866680571984 139868479215515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16452] ppid=16436 vsize=26538700 memory=6154286987123780713 CPUtime=0.33 cores=0-7
/proc/16438/task/16452/stat : 16452 (java) R 16436 16436 15606 0 -1 4202560 2464 0 0 0 33 0 0 0 20 0 20 0 148908889 27175628800 37647 33554432000 4194304 4196468 140726953194448 139866679500872 139868460376543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16453] ppid=16436 vsize=26538700 memory=1 CPUtime=0.4 cores=0-7
/proc/16438/task/16453/stat : 16453 (java) R 16436 16436 15606 0 -1 4202560 2354 0 0 0 39 1 0 0 20 0 20 0 148908889 27175628800 37647 33554432000 4194304 4196468 140726953194448 139866678448048 139868457213888 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16454] ppid=16436 vsize=26538700 memory=3481 CPUtime=0.38 cores=0-7
/proc/16438/task/16454/stat : 16454 (java) R 16436 16436 15606 0 -1 4202560 2416 0 0 0 38 0 0 0 20 0 20 0 148908889 27175628800 37647 33554432000 4194304 4196468 140726953194448 139866677395784 139868462693794 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16455] ppid=16436 vsize=26538700 memory=6656426216303648864 CPUtime=0.51 cores=0-7
/proc/16438/task/16455/stat : 16455 (java) R 16436 16436 15606 0 -1 4202560 2999 0 0 0 51 0 0 0 20 0 20 0 148908889 27175628800 37647 33554432000 4194304 4196468 140726953194448 139866676361888 139868458911700 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16456] ppid=16436 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/16438/task/16456/stat : 16456 (java) S 16436 16436 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148908889 27175628800 37647 33554432000 4194304 4196468 140726953194448 139866675308896 139868479207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
[pid=16438/tid=16457] ppid=16436 vsize=26538700 memory=694 CPUtime=0 cores=0-7
/proc/16438/task/16457/stat : 16457 (java) S 16436 16436 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148908890 27175628800 37647 33554432000 4194304 4196468 140726953194448 139866674256176 139868479208066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140726953202834 140726953203011 140726953203011 140726953205711 0
Current children cumulated CPU time: 5.69 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 151960 KiB

Child status: 0
Real time (s): 1.21927
CPU time (s): 5.72196
CPU user time (s): 5.63848
CPU system time (s): 0.08348
CPU usage (%): 469.294
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 151960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.63848
system time used= 0.08348
maximum resident set size= 153696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19479
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3358
involuntary context switches= 93


# summary of solver processes directly reported to runsolver:
#   pid: 16436
#   total CPU time (s): 5.72196
#   total CPU user time (s): 5.63848
#   total CPU system time (s): 0.08348

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031828 second user time and 0.056947 second system time

The end

Launcher Data 

Begin job on node106 at 2017-08-19 17:42:32
IDJOB=4280458
IDBENCH=135084
IDSOLVER=2675
FILE ID=node106/4280458-1503158213
RUNJOBID= node106-1503155882-15633
PBS_JOBID= 20630818
Free space on /tmp= 61820 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-factor/Pb-factor-S9-P251-Q379.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280458-1503158213/watcher-4280458-1503158213 -o /tmp/evaluation-result-4280458-1503158213/solver-4280458-1503158213 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503155882-15633 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1381306141 HOME/instance-4280458-1503158213.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= ad4397bc1e7476417756f14988918f59
RANDOM SEED=1381306141

node106.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.86
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.86
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.86
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.86
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:        27344864 kB
MemAvailable:   31971156 kB
Buffers:          236112 kB
Cached:          4682372 kB
SwapCached:            0 kB
Active:          1064156 kB
Inactive:        3910164 kB
Active(anon):      11764 kB
Inactive(anon):    80012 kB
Active(file):    1052392 kB
Inactive(file):  3830152 kB
Unevictable:        7764 kB
Mlocked:            7764 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7596 kB
Writeback:             4 kB
AnonPages:         63680 kB
Mapped:            51172 kB
Shmem:             33420 kB
Slab:             145984 kB
SReclaimable:     119168 kB
SUnreclaim:        26816 kB
KernelStack:        3168 kB
PageTables:         4724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     334256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61812 MiB
End job on node106 at 2017-08-19 17:42:34