Trace number 4270231

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 seq (2017-08-09)OPT107 3.2927599 1.29075

General information on the benchmark

NameRcpsp/Rcpsp-m1-j120/
Rcpsp-j120-23-09.xml
MD5SUMeccc16cbaa217285dad955f7b1421169
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark107
Best CPU time to get the best result obtained on this benchmark3.2384901
Satisfiable
(Un)Satisfiability was proved
Number of variables122
Number of constraints224
Number of domains2
Minimum domain size1
Maximum domain size655
Distribution of domain sizes[{"size":1,"count":1},{"size":655,"count":121}]
Minimum variable degree3
Maximum variable degree7
Distribution of variable degrees[{"degree":3,"count":23},{"degree":4,"count":18},{"degree":5,"count":68},{"degree":6,"count":11},{"degree":7,"count":2}]
Minimum constraint arity2
Maximum constraint arity32
Distribution of constraint arities[{"arity":2,"count":220},{"arity":27,"count":1},{"arity":29,"count":1},{"arity":32,"count":2}]
Number of extensional constraints0
Number of intensional constraints220
Distribution of constraint types[{"type":"intension","count":220},{"type":"cumulative","count":4}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270231-1502622296.xml"  -tl '264s' -p 1 -x 0
0.12/0.14	c [HOME/instance-4270231-1502622296.xml, -tl, 264s, -p, 1, -x, 0]
0.12/0.19	c simple solver
0.33/0.26	c parse instance...
1.02/0.53	c solve instance...
1.90/0.83	o 654 
2.53/1.01	o 117 
3.12/1.22	o 107 
3.12/1.23	s OPTIMUM FOUND
3.12/1.23	v <instantiation>
3.12/1.23	v 	<list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] s[95] s[96] s[97] s[98] s[99] s[100] s[101] s[102] s[103] s[104] s[105] s[106] s[107] s[108] s[109] s[110] s[111] s[112] s[113] s[114] s[115] s[116] s[117] s[118] s[119] s[120] s[121] </list>
3.12/1.23	v 	<values>0 0 9 0 6 9 9 16 19 27 12 11 29 11 18 9 20 6 22 20 34 12 34 18 23 40 17 18 27 32 32 22 19 29 50 12 22 53 29 46 32 18 40 29 32 47 20 31 47 22 43 56 49 32 37 34 57 48 36 11 43 49 43 44 36 55 53 29 49 63 29 41 23 51 29 50 65 54 37 46 58 67 65 53 48 67 58 65 51 73 77 43 82 69 74 86 72 75 73 69 65 76 78 87 81 52 96 27 46 82 90 83 96 82 84 90 87 98 98 97 103 107 </values>
3.12/1.23	v </instantiation>

Verifier Data 

OK	107

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270231-1502622296/watcher-4270231-1502622296 -o /tmp/evaluation-result-4270231-1502622296/solver-4270231-1502622296 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502619962-4172 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1927488222 HOME/instance-4270231-1502622296.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
solver pid=5736, runsolver pid=5733
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 2.02 2.02 1.84 3/218 5752
/proc/meminfo: memFree=31429992/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (xcsp3-exec) S 5733 5736 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95317341 9740288 346 33554432000 4194304 5098028 140729586288672 140729586286776 140669156041340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32243712 140729586295924 140729586296128 140729586296128 140729586298859 0
/proc/5736/statm: 2378 346 289 221 0 87 0
[pid=5738] ppid=5736 vsize=13978596 memory=28128 CPUtime=0.12 cores=1,3,5,7
/proc/5738/stat : 5738 (java) S 5736 5736 29331 0 -1 1077944320 5323 0 0 0 11 1 0 0 20 0 15 0 95317342 14314082304 7032 33554432000 4194304 4196468 140728972797664 140728972780208 140214423666423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
/proc/5738/statm: 3494649 7032 2899 1 0 3482966 0
[pid=5738/tid=5739] ppid=5736 vsize=13978596 memory=-8412658762350172019 CPUtime=0.08 cores=1,3,5,7
/proc/5738/task/5739/stat : 5739 (java) R 5736 5736 29331 0 -1 4202560 3327 0 0 0 8 0 0 0 20 0 15 0 95317342 14314082304 7098 33554432000 4194304 4196468 140728972797664 140214427895600 140214405534919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5740] ppid=5736 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5740/stat : 5740 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317343 14314082304 7098 33554432000 4194304 4196468 140728972797664 140214376287120 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5741] ppid=5736 vsize=13978596 memory=139754164762240 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5741/stat : 5741 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317343 14314082304 7098 33554432000 4194304 4196468 140728972797664 140214018435856 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5742] ppid=5736 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5742/stat : 5742 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317343 14314082304 7098 33554432000 4194304 4196468 140728972797664 140214017383568 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5743] ppid=5736 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5743/stat : 5743 (java) S 5736 5736 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95317343 14314082304 7098 33554432000 4194304 4196468 140728972797664 140214016330768 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5744] ppid=5736 vsize=13978596 memory=139754164762240 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5744/stat : 5744 (java) S 5736 5736 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95317344 14314082304 7098 33554432000 4194304 4196468 140728972797664 140213897623664 140214423677570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5745] ppid=5736 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5745/stat : 5745 (java) S 5736 5736 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95317345 14314082304 7098 33554432000 4194304 4196468 140728972797664 140213896569632 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5746] ppid=5736 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5746/stat : 5746 (java) S 5736 5736 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95317345 14314082304 7098 33554432000 4194304 4196468 140728972797664 140213895517296 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5747] ppid=5736 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5747/stat : 5747 (java) S 5736 5736 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95317347 14314082304 7098 33554432000 4194304 4196468 140728972797664 140213894465616 140214423685019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5748] ppid=5736 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5748/stat : 5748 (java) S 5736 5736 29331 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 95317347 14314082304 7098 33554432000 4194304 4196468 140728972797664 140213893413488 140214423677570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5749] ppid=5736 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5749/stat : 5749 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317347 14314082304 7098 33554432000 4194304 4196468 140728972797664 140213892360688 140214423677570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5750] ppid=5736 vsize=13978596 memory=139754164762240 CPUtime=0.01 cores=1,3,5,7
/proc/5738/task/5750/stat : 5750 (java) S 5736 5736 29331 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 15 0 95317347 14314082304 7098 33554432000 4194304 4196468 140728972797664 140213891308400 140214423677570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5751] ppid=5736 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5751/stat : 5751 (java) S 5736 5736 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95317347 14314082304 7098 33554432000 4194304 4196468 140728972797664 140213890255840 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5752] ppid=5736 vsize=13978596 memory=139754164762240 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5752/stat : 5752 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317347 14314082304 7098 33554432000 4194304 4196468 140728972797664 140213889202608 140214423677570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29512 KiB

[startup+0.210659 s]*
/proc/loadavg: 2.02 2.02 1.84 4/218 5752
/proc/meminfo: memFree=31418704/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (xcsp3-exec) S 5733 5736 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95317341 9740288 346 33554432000 4194304 5098028 140729586288672 140729586286776 140669156041340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32243712 140729586295924 140729586296128 140729586296128 140729586298859 0
/proc/5736/statm: 2378 346 289 221 0 87 0
[pid=5738] ppid=5736 vsize=13982884 memory=40340 CPUtime=0.33 cores=1,3,5,7
/proc/5738/stat : 5738 (java) S 5736 5736 29331 0 -1 1077944320 8142 0 0 0 31 2 0 0 20 0 15 0 95317342 14318473216 10085 33554432000 4194304 4196468 140728972797664 140728972780208 140214423666423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
/proc/5738/statm: 3495713 10085 3072 1 0 3482966 0
[pid=5738/tid=5739] ppid=5736 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/5738/task/5739/stat : 5739 (java) D 5736 5736 29331 0 -1 1077944384 5364 0 0 0 18 1 0 0 20 0 15 0 95317342 14318440448 10085 33554432000 4194304 4196468 140728972797664 140214427876160 140214416345645 0 4 0 16800975 18446744072101580324 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5740] ppid=5736 vsize=13982852 memory=9541 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5740/stat : 5740 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317343 14318440448 10085 33554432000 4194304 4196468 140728972797664 140214376287120 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5741] ppid=5736 vsize=13982884 memory=4049076059734540320 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5741/stat : 5741 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317343 14318473216 10085 33554432000 4194304 4196468 140728972797664 140214018435856 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5742] ppid=5736 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5742/stat : 5742 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317343 14318473216 10085 33554432000 4194304 4196468 140728972797664 140214017383568 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5743] ppid=5736 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5743/stat : 5743 (java) S 5736 5736 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95317343 14318440448 10085 33554432000 4194304 4196468 140728972797664 140214016330768 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5744] ppid=5736 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5744/stat : 5744 (java) S 5736 5736 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95317344 14318440448 10085 33554432000 4194304 4196468 140728972797664 140213897623664 140214423677570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5745] ppid=5736 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5745/stat : 5745 (java) S 5736 5736 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95317345 14318440448 10085 33554432000 4194304 4196468 140728972797664 140213896569632 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5746] ppid=5736 vsize=13982852 memory=139754164762240 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5746/stat : 5746 (java) S 5736 5736 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95317345 14318440448 10085 33554432000 4194304 4196468 140728972797664 140213895517296 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5747] ppid=5736 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5747/stat : 5747 (java) S 5736 5736 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95317347 14318440448 10085 33554432000 4194304 4196468 140728972797664 140213894465616 140214423685019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5748] ppid=5736 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5738/task/5748/stat : 5748 (java) S 5736 5736 29331 0 -1 1077944384 616 0 0 0 3 0 0 0 20 0 15 0 95317347 14318440448 10085 33554432000 4194304 4196468 140728972797664 140213893413488 140214423677570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5749] ppid=5736 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5738/task/5749/stat : 5749 (java) S 5736 5736 29331 0 -1 1077944384 152 0 0 0 1 0 0 0 20 0 15 0 95317347 14318440448 10085 33554432000 4194304 4196468 140728972797664 140213892360688 140214423677570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5750] ppid=5736 vsize=13982852 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5738/task/5750/stat : 5750 (java) S 5736 5736 29331 0 -1 1077944384 754 0 0 0 8 0 0 0 20 0 15 0 95317347 14318440448 10085 33554432000 4194304 4196468 140728972797664 140213891308400 140214423677570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5751] ppid=5736 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5751/stat : 5751 (java) S 5736 5736 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95317347 14318440448 10085 33554432000 4194304 4196468 140728972797664 140213890255840 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5752] ppid=5736 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5752/stat : 5752 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317347 14318440448 10085 33554432000 4194304 4196468 140728972797664 140213889202608 140214423677570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 41724 KiB

[startup+0.31031 s]*
/proc/loadavg: 2.02 2.02 1.84 4/218 5752
/proc/meminfo: memFree=31411256/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (xcsp3-exec) S 5733 5736 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95317341 9740288 346 33554432000 4194304 5098028 140729586288672 140729586286776 140669156041340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32243712 140729586295924 140729586296128 140729586296128 140729586298859 0
/proc/5736/statm: 2378 346 289 221 0 87 0
[pid=5738] ppid=5736 vsize=13982852 memory=47708 CPUtime=0.5 cores=1,3,5,7
/proc/5738/stat : 5738 (java) S 5736 5736 29331 0 -1 1077944320 9050 0 0 0 48 2 0 0 20 0 15 0 95317342 14318440448 11927 33554432000 4194304 4196468 140728972797664 140728972780208 140214423666423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
/proc/5738/statm: 3495713 11927 3102 1 0 3482966 0
[pid=5738/tid=5739] ppid=5736 vsize=13982852 memory=-7246141791699957949 CPUtime=0.29 cores=1,3,5,7
/proc/5738/task/5739/stat : 5739 (java) R 5736 5736 29331 0 -1 4202560 5978 0 0 0 28 1 0 0 20 0 15 0 95317342 14318440448 11934 33554432000 4194304 4196468 140728972797664 140214427890240 140214407746910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5740] ppid=5736 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5740/stat : 5740 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317343 14318440448 11934 33554432000 4194304 4196468 140728972797664 140214376287120 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5741] ppid=5736 vsize=13982852 memory=1970350607106051 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5741/stat : 5741 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317343 14318440448 11934 33554432000 4194304 4196468 140728972797664 140214018435856 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5742] ppid=5736 vsize=13982852 memory=2110104615163812 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5742/stat : 5742 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317343 14318440448 11934 33554432000 4194304 4196468 140728972797664 140214017383568 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5743] ppid=5736 vsize=13982852 memory=139754008062399 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5743/stat : 5743 (java) S 5736 5736 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95317343 14318440448 11934 33554432000 4194304 4196468 140728972797664 140214016330768 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5744] ppid=5736 vsize=13982852 memory=279508172824608 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5744/stat : 5744 (java) S 5736 5736 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95317344 14318440448 11934 33554432000 4194304 4196468 140728972797664 140213897623664 140214423677570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5745] ppid=5736 vsize=13982852 memory=139754007997415 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5745/stat : 5745 (java) S 5736 5736 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95317345 14318440448 11934 33554432000 4194304 4196468 140728972797664 140213896569632 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5746] ppid=5736 vsize=13982852 memory=279508016134000 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5746/stat : 5746 (java) S 5736 5736 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95317345 14318440448 11934 33554432000 4194304 4196468 140728972797664 140213895517296 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5747] ppid=5736 vsize=13982852 memory=279508016138608 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5747/stat : 5747 (java) S 5736 5736 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95317347 14318440448 11934 33554432000 4194304 4196468 140728972797664 140213894465616 140214423685019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5748] ppid=5736 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5738/task/5748/stat : 5748 (java) S 5736 5736 29331 0 -1 1077944384 740 0 0 0 4 0 0 0 20 0 15 0 95317347 14318440448 11934 33554432000 4194304 4196468 140728972797664 140213893413488 140214423677570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5749] ppid=5736 vsize=13982852 memory=67 CPUtime=0.02 cores=1,3,5,7
/proc/5738/task/5749/stat : 5749 (java) S 5736 5736 29331 0 -1 1077944384 161 0 0 0 2 0 0 0 20 0 15 0 95317347 14318440448 11934 33554432000 4194304 4196468 140728972797664 140213892360688 140214423677570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5750] ppid=5736 vsize=13982852 memory=139754164762240 CPUtime=0.13 cores=1,3,5,7
/proc/5738/task/5750/stat : 5750 (java) S 5736 5736 29331 0 -1 1077944384 883 0 0 0 13 0 0 0 20 0 15 0 95317347 14318440448 11934 33554432000 4194304 4196468 140728972797664 140213891308400 140214423677570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5751] ppid=5736 vsize=13982852 memory=67 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5751/stat : 5751 (java) S 5736 5736 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95317347 14318440448 11934 33554432000 4194304 4196468 140728972797664 140213890255840 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5752] ppid=5736 vsize=13982852 memory=139754164762240 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5752/stat : 5752 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317347 14318440448 11934 33554432000 4194304 4196468 140728972797664 140213889202608 140214423677570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49092 KiB

[startup+0.700839 s]
/proc/loadavg: 2.02 2.02 1.84 6/218 5752
/proc/meminfo: memFree=31395500/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (xcsp3-exec) S 5733 5736 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95317341 9740288 346 33554432000 4194304 5098028 140729586288672 140729586286776 140669156041340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32243712 140729586295924 140729586296128 140729586296128 140729586298859 0
/proc/5736/statm: 2378 346 289 221 0 87 0
[pid=5738] ppid=5736 vsize=13984976 memory=77444 CPUtime=1.59 cores=1,3,5,7
/proc/5738/stat : 5738 (java) S 5736 5736 29331 0 -1 1077944320 14131 0 0 0 155 4 0 0 20 0 15 0 95317342 14320615424 19361 33554432000 4194304 4196468 140728972797664 140728972780208 140214423666423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
/proc/5738/statm: 3496244 19361 3216 1 0 3483478 0
[pid=5738/tid=5739] ppid=5736 vsize=13984976 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/5738/task/5739/stat : 5739 (java) R 5736 5736 29331 0 -1 4202560 6768 0 0 0 65 2 0 0 20 0 15 0 95317342 14320615424 19361 33554432000 4194304 4196468 140728972797664 140214427902712 140214059741888 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5740] ppid=5736 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5740/stat : 5740 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317343 14320615424 19361 33554432000 4194304 4196468 140728972797664 140214376287120 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5741] ppid=5736 vsize=13984976 memory=1928 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5741/stat : 5741 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317343 14320615424 19361 33554432000 4194304 4196468 140728972797664 140214018435856 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5742] ppid=5736 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5742/stat : 5742 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317343 14320615424 19361 33554432000 4194304 4196468 140728972797664 140214017383568 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5743] ppid=5736 vsize=13984976 memory=8564 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5743/stat : 5743 (java) S 5736 5736 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95317343 14320615424 19361 33554432000 4194304 4196468 140728972797664 140214016330768 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5744] ppid=5736 vsize=13984976 memory=5664 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5744/stat : 5744 (java) S 5736 5736 29331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95317344 14320615424 19361 33554432000 4194304 4196468 140728972797664 140213897623664 140214423677570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5745] ppid=5736 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5745/stat : 5745 (java) S 5736 5736 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95317345 14320615424 19361 33554432000 4194304 4196468 140728972797664 140213896569632 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5746] ppid=5736 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5746/stat : 5746 (java) S 5736 5736 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95317345 14320615424 19361 33554432000 4194304 4196468 140728972797664 140213895517296 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5747] ppid=5736 vsize=13984976 memory=10928 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5747/stat : 5747 (java) S 5736 5736 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95317347 14320615424 19361 33554432000 4194304 4196468 140728972797664 140213894465616 140214423685019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5748] ppid=5736 vsize=13984976 memory=796 CPUtime=0.29 cores=1,3,5,7
/proc/5738/task/5748/stat : 5748 (java) R 5736 5736 29331 0 -1 4202560 1969 0 0 0 29 0 0 0 20 0 15 0 95317347 14320615424 19361 33554432000 4194304 4196468 140728972797664 140213893398952 140214407149654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5749] ppid=5736 vsize=13984976 memory=1424 CPUtime=0.26 cores=1,3,5,7
/proc/5738/task/5749/stat : 5749 (java) R 5736 5736 29331 0 -1 4202560 2211 0 0 0 26 0 0 0 20 0 15 0 95317347 14320615424 19361 33554432000 4194304 4196468 140728972797664 140213892353320 140214407152373 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5750] ppid=5736 vsize=13984976 memory=7014751519583589713 CPUtime=0.34 cores=1,3,5,7
/proc/5738/task/5750/stat : 5750 (java) S 5736 5736 29331 0 -1 1077944384 1876 0 0 0 34 0 0 0 20 0 15 0 95317347 14320615424 19361 33554432000 4194304 4196468 140728972797664 140213891308400 140214423677570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5751] ppid=5736 vsize=13984976 memory=7453282923461502565 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5751/stat : 5751 (java) S 5736 5736 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95317347 14320615424 19361 33554432000 4194304 4196468 140728972797664 140213890255840 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5752] ppid=5736 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5752/stat : 5752 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317347 14320615424 19361 33554432000 4194304 4196468 140728972797664 140213889202608 140214423677570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 78828 KiB

[startup+1.29071 s]
# the end of solver process 5736 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.22018 s, system=0.072582 s

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

[startup+0.801837 s]
/proc/loadavg: 2.02 2.02 1.84 6/218 5752
/proc/meminfo: memFree=31395500/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (xcsp3-exec) S 5733 5736 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95317341 9740288 346 33554432000 4194304 5098028 140729586288672 140729586286776 140669156041340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32243712 140729586295924 140729586296128 140729586296128 140729586298859 0
/proc/5736/statm: 2378 346 289 221 0 87 0
[pid=5738] ppid=5736 vsize=13984976 memory=90640 CPUtime=1.9 cores=1,3,5,7
/proc/5738/stat : 5738 (java) S 5736 5736 29331 0 -1 1077944320 17388 0 0 0 185 5 0 0 20 0 15 0 95317342 14320615424 22660 33554432000 4194304 4196468 140728972797664 140728972780208 140214423666423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
/proc/5738/statm: 3496244 22660 3216 1 0 3483478 0
[pid=5738/tid=5739] ppid=5736 vsize=13984976 memory=279508016207968 CPUtime=0.77 cores=1,3,5,7
/proc/5738/task/5739/stat : 5739 (java) R 5736 5736 29331 0 -1 4202560 6768 0 0 0 75 2 0 0 20 0 15 0 95317342 14320615424 22660 33554432000 4194304 4196468 140728972797664 140214427902728 140214059851323 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5740] ppid=5736 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5740/stat : 5740 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317343 14320615424 22660 33554432000 4194304 4196468 140728972797664 140214376287120 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5741] ppid=5736 vsize=13984976 memory=15058155342575 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5741/stat : 5741 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317343 14320615424 22660 33554432000 4194304 4196468 140728972797664 140214018435856 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5742] ppid=5736 vsize=13984976 memory=288230600345920279 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5742/stat : 5742 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317343 14320615424 22660 33554432000 4194304 4196468 140728972797664 140214017383568 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5743] ppid=5736 vsize=13984976 memory=14135562844358674 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5743/stat : 5743 (java) S 5736 5736 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95317343 14320615424 22660 33554432000 4194304 4196468 140728972797664 140214016330768 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5744] ppid=5736 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5744/stat : 5744 (java) S 5736 5736 29331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95317344 14320615424 22660 33554432000 4194304 4196468 140728972797664 140213897623664 140214423677570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5745] ppid=5736 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5745/stat : 5745 (java) S 5736 5736 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95317345 14320615424 22660 33554432000 4194304 4196468 140728972797664 140213896569632 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5746] ppid=5736 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5746/stat : 5746 (java) S 5736 5736 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95317345 14320615424 22660 33554432000 4194304 4196468 140728972797664 140213895517296 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5747] ppid=5736 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5747/stat : 5747 (java) S 5736 5736 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95317347 14320615424 22660 33554432000 4194304 4196468 140728972797664 140213894465616 140214423685019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5748] ppid=5736 vsize=13984976 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/5738/task/5748/stat : 5748 (java) R 5736 5736 29331 0 -1 4202560 3410 0 0 0 38 1 0 0 20 0 15 0 95317347 14320615424 22660 33554432000 4194304 4196468 140728972797664 140213893399512 140214407223192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5749] ppid=5736 vsize=13984976 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/5738/task/5749/stat : 5749 (java) R 5736 5736 29331 0 -1 4202560 4024 0 0 0 36 0 0 0 20 0 15 0 95317347 14320615424 22660 33554432000 4194304 4196468 140728972797664 140213892346872 140214408774033 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5750] ppid=5736 vsize=13984976 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/5738/task/5750/stat : 5750 (java) S 5736 5736 29331 0 -1 1077944384 1879 0 0 0 34 0 0 0 20 0 15 0 95317347 14320615424 22660 33554432000 4194304 4196468 140728972797664 140213891308400 140214423677570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5751] ppid=5736 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5751/stat : 5751 (java) S 5736 5736 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95317347 14320615424 22660 33554432000 4194304 4196468 140728972797664 140213890255840 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5752] ppid=5736 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5752/stat : 5752 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317347 14320615424 22660 33554432000 4194304 4196468 140728972797664 140213889202608 140214423677570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 92024 KiB

[startup+1.20081 s]
/proc/loadavg: 2.02 2.02 1.84 5/218 5752
/proc/meminfo: memFree=31365476/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (xcsp3-exec) S 5733 5736 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95317341 9740288 346 33554432000 4194304 5098028 140729586288672 140729586286776 140669156041340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32243712 140729586295924 140729586296128 140729586296128 140729586298859 0
/proc/5736/statm: 2378 346 289 221 0 87 0
[pid=5738] ppid=5736 vsize=13986804 memory=95432 CPUtime=3.12 cores=1,3,5,7
/proc/5738/stat : 5738 (java) S 5736 5736 29331 0 -1 1077944320 27575 0 0 0 306 6 0 0 20 0 15 0 95317342 14322487296 23858 33554432000 4194304 4196468 140728972797664 140728972780208 140214423666423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
/proc/5738/statm: 3496701 23858 3217 1 0 3483935 0
[pid=5738/tid=5739] ppid=5736 vsize=13986804 memory=4639341365868844132 CPUtime=1.17 cores=1,3,5,7
/proc/5738/task/5739/stat : 5739 (java) R 5736 5736 29331 0 -1 4202560 7007 0 0 0 115 2 0 0 20 0 15 0 95317342 14322487296 23858 33554432000 4194304 4196468 140728972797664 140214427901488 140214423678358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5740] ppid=5736 vsize=13986804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5740/stat : 5740 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317343 14322487296 23858 33554432000 4194304 4196468 140728972797664 140214376287120 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5741] ppid=5736 vsize=13986804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5741/stat : 5741 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317343 14322487296 23858 33554432000 4194304 4196468 140728972797664 140214018435856 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5742] ppid=5736 vsize=13986804 memory=279508016477472 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5742/stat : 5742 (java) S 5736 5736 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95317343 14322487296 23858 33554432000 4194304 4196468 140728972797664 140214017383568 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5743] ppid=5736 vsize=13986804 memory=139754008074914 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5743/stat : 5743 (java) S 5736 5736 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95317343 14322487296 23858 33554432000 4194304 4196468 140728972797664 140214016330768 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5744] ppid=5736 vsize=13986804 memory=279508016140576 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5744/stat : 5744 (java) S 5736 5736 29331 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 95317344 14322487296 23858 33554432000 4194304 4196468 140728972797664 140213897623664 140214423677570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5745] ppid=5736 vsize=13986804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5745/stat : 5745 (java) S 5736 5736 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95317345 14322487296 23858 33554432000 4194304 4196468 140728972797664 140213896569632 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5746] ppid=5736 vsize=13986804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5746/stat : 5746 (java) S 5736 5736 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95317345 14322487296 23858 33554432000 4194304 4196468 140728972797664 140213895517296 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5747] ppid=5736 vsize=13986804 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5747/stat : 5747 (java) S 5736 5736 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95317347 14322487296 23858 33554432000 4194304 4196468 140728972797664 140213894465616 140214423685019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5748] ppid=5736 vsize=13986804 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/5738/task/5748/stat : 5748 (java) R 5736 5736 29331 0 -1 4202560 6269 0 0 0 78 1 0 0 20 0 15 0 95317347 14322487296 23858 33554432000 4194304 4196468 140728972797664 140213893400848 140214407152911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5749] ppid=5736 vsize=13986804 memory=304556123141439514 CPUtime=0.76 cores=1,3,5,7
/proc/5738/task/5749/stat : 5749 (java) R 5736 5736 29331 0 -1 4202560 10766 0 0 0 75 1 0 0 20 0 15 0 95317347 14322487296 23858 33554432000 4194304 4196468 140728972797664 140213892347680 140214408791512 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5750] ppid=5736 vsize=13986804 memory=302022857024864569 CPUtime=0.37 cores=1,3,5,7
/proc/5738/task/5750/stat : 5750 (java) R 5736 5736 29331 0 -1 1077944384 2214 0 0 0 37 0 0 0 20 0 15 0 95317347 14322487296 23858 33554432000 4194304 4196468 140728972797664 140213891308400 140214423677570 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5751] ppid=5736 vsize=13986804 memory=16098169624726079 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5751/stat : 5751 (java) S 5736 5736 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95317347 14322487296 23858 33554432000 4194304 4196468 140728972797664 140213890255840 140214423676629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
[pid=5738/tid=5752] ppid=5736 vsize=13986804 memory=-5874771483550381248 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5752/stat : 5752 (java) S 5736 5736 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95317347 14322487296 23858 33554432000 4194304 4196468 140728972797664 140213889202608 140214423677570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9211904 140728972801181 140728972801356 140728972801356 140728972804047 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 13996316 KiB
Current children cumulated memory: 96816 KiB

Child status: 0
Real time (s): 1.29075
CPU time (s): 3.29276
CPU user time (s): 3.22018
CPU system time (s): 0.072582
CPU usage (%): 255.104
Max. virtual memory (cumulated for all children) (KiB): 13996316
Max. memory (cumulated for all children) (KiB): 96816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.22018
system time used= 0.072582
maximum resident set size= 102484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30267
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= 1840
involuntary context switches= 14


# summary of solver processes directly reported to runsolver:
#   pid: 5736
#   total CPU time (s): 3.29276
#   total CPU user time (s): 3.22018
#   total CPU system time (s): 0.072582

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032697 second user time and 0.056564 second system time

The end

Launcher Data 

Begin job on node115 at 2017-08-13 12:50:38
IDJOB=4270231
IDBENCH=129546
IDSOLVER=2661
FILE ID=node115/4270231-1502622296
RUNJOBID= node115-1502619962-4172
PBS_JOBID= 20628301
Free space on /tmp= 61808 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j120/Rcpsp-j120-23-09.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270231-1502622296/watcher-4270231-1502622296 -o /tmp/evaluation-result-4270231-1502622296/solver-4270231-1502622296 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502619962-4172 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1927488222 HOME/instance-4270231-1502622296.xml

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

MD5SUM BENCH= eccc16cbaa217285dad955f7b1421169
RANDOM SEED=1927488222

node115.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.69
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.69
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.69
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.69
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:        31447296 kB
MemAvailable:   31765416 kB
Buffers:          113076 kB
Cached:           491248 kB
SwapCached:            0 kB
Active:           694784 kB
Inactive:         187936 kB
Active(anon):     226520 kB
Inactive(anon):    79408 kB
Active(file):     468264 kB
Inactive(file):   108528 kB
Unevictable:        6220 kB
Mlocked:            6220 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7892 kB
Writeback:             0 kB
AnonPages:        287572 kB
Mapped:            55528 kB
Shmem:             25224 kB
Slab:             140424 kB
SReclaimable:     114328 kB
SUnreclaim:        26096 kB
KernelStack:        3696 kB
PageTables:         5696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1295256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    167936 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= 61800 MiB
End job on node115 at 2017-08-13 12:50:39