Trace number 4259630

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
Concrete 3.4OPT50 8.31744 4.31429

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-dimacs/
Pb-aim-050-3-4-yes1-1.xml
MD5SUM8915323a63a61e038cba0700c5a637e2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark50
Best CPU time to get the best result obtained on this benchmark0.046206001
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints220
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":100}]
Minimum variable degree7
Maximum variable degree8
Distribution of variable degrees[{"degree":7,"count":90},{"degree":8,"count":10}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":50},{"arity":3,"count":170}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":220}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

3.35/2.25	c Concrete v3.4 running
7.62/4.13	o 50
7.98/4.29	v <instantiation cost="50">
7.98/4.29	v       <list>
7.98/4.29	v         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] x[99]
7.98/4.29	v       </list>
7.98/4.29	v       <values>
7.98/4.29	v         0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1
7.98/4.29	v       </values>
7.98/4.29	v     </instantiation>
7.98/4.29	s OPTIMUM FOUND

Verifier Data 

OK	50

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259630-1501657536/watcher-4259630-1501657536 -o /tmp/evaluation-result-4259630-1501657536/solver-4259630-1501657536 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27966 --watchdog 300 bin/concrete HOME/instance-4259630-1501657536.xml 

pid=18941
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.48 1.43 1.54 2/198 18944
/proc/meminfo: memFree=31296108/32770624 swapFree=0/253348
[pid=18944] ppid=18941 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/18944/stat : 18944 (runsolver) D 18941 18944 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 7664260 24240128 107 18446744073709551615 4194304 4338465 140722666247536 140722666245176 139851619881687 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 23764992 140722666250449 140722666250823 140722666250823 140722666254282 0
/proc/18944/statm: 5918 107 54 36 0 2156 0

[startup+0.100246 s]
/proc/loadavg: 1.48 1.43 1.54 2/198 18944
/proc/meminfo: memFree=31296108/32770624 swapFree=0/253348
[pid=18944] ppid=18941 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/18944/stat : 18944 (bash) S 18941 18944 3187 0 -1 4202496 892 6496 0 0 0 0 0 1 20 0 1 0 7664260 9867264 377 18446744073709551615 4194304 5098028 140729160699968 140729160693976 140025588280320 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 7 0 0 7196144 7232144 28803072 140729160704530 140729160704615 140729160704615 140729160708074 0
/proc/18944/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200234 s]
/proc/loadavg: 1.48 1.43 1.54 2/198 18944
/proc/meminfo: memFree=31296108/32770624 swapFree=0/253348
[pid=18944] ppid=18941 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/18944/stat : 18944 (bash) S 18941 18944 3187 0 -1 4202496 892 6496 0 0 0 0 0 1 20 0 1 0 7664260 9867264 377 18446744073709551615 4194304 5098028 140729160699968 140729160693976 140025588280320 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 7 0 0 7196144 7232144 28803072 140729160704530 140729160704615 140729160704615 140729160708074 0
/proc/18944/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300304 s]
/proc/loadavg: 1.48 1.43 1.54 2/198 18944
/proc/meminfo: memFree=31296108/32770624 swapFree=0/253348
[pid=18944] ppid=18941 vsize=13907308 CPUtime=0.13 cores=0,2,4,6
/proc/18944/stat : 18944 (java) S 18941 18944 3187 0 -1 1077944320 5735 12758 0 0 5 1 4 3 20 0 14 0 7664260 14241083392 5413 18446744073709551615 4194304 4196468 140724421819088 140724421801632 140013449015031 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
/proc/18944/statm: 3476827 5413 2558 1 0 3466332 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.700224 s]
/proc/loadavg: 1.48 1.43 1.54 2/198 18944
/proc/meminfo: memFree=31296108/32770624 swapFree=0/253348
[pid=18944] ppid=18941 vsize=13974784 CPUtime=0.6 cores=0,2,4,6
/proc/18944/stat : 18944 (java) S 18941 18944 3187 0 -1 1077944320 13671 12758 0 0 48 5 4 3 20 0 15 0 7664260 14310178816 14056 18446744073709551615 4194304 4196468 140724421819088 140724421801632 140013449015031 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
/proc/18944/statm: 3493696 14056 3049 1 0 3482973 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 13974784

[startup+1.50057 s]
/proc/loadavg: 1.48 1.43 1.54 3/213 19007
/proc/meminfo: memFree=31160608/32770624 swapFree=0/253636
[pid=18944] ppid=18941 vsize=13985408 CPUtime=1.8 cores=0,2,4,6
/proc/18944/stat : 18944 (java) S 18941 18944 3187 0 -1 1077944320 27277 12758 0 0 165 8 4 3 20 0 15 0 7664260 14321057792 33877 18446744073709551615 4194304 4196468 140724421819088 140724421801632 140013449015031 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
/proc/18944/statm: 3496352 33877 3332 1 0 3485533 0
[pid=18944/tid=18994] ppid=18941 vsize=13985408 CPUtime=1.26 cores=0,2,4,6
/proc/18944/task/18994/stat : 18994 (java) R 18941 18944 3187 0 -1 4202560 22090 12758 0 0 113 6 4 3 20 0 15 0 7664284 14321057792 33877 18446744073709551615 4194304 4196468 140724421819088 140013453246384 140013065049744 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18995] ppid=18941 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/18995/stat : 18995 (java) S 18941 18944 3187 0 -1 1077944384 1 12758 0 0 0 0 4 3 20 0 15 0 7664285 14321057792 33877 18446744073709551615 4194304 4196468 140724421819088 140013390961808 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18996] ppid=18941 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/18996/stat : 18996 (java) S 18941 18944 3187 0 -1 1077944384 1 12758 0 0 0 0 4 3 20 0 15 0 7664285 14321057792 33877 18446744073709551615 4194304 4196468 140724421819088 140013389909008 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18997] ppid=18941 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/18997/stat : 18997 (java) S 18941 18944 3187 0 -1 1077944384 1 12758 0 0 0 0 4 3 20 0 15 0 7664285 14321057792 33877 18446744073709551615 4194304 4196468 140724421819088 140013388856208 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18998] ppid=18941 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/18998/stat : 18998 (java) S 18941 18944 3187 0 -1 1077944384 2 12758 0 0 0 0 4 3 20 0 15 0 7664285 14321057792 33877 18446744073709551615 4194304 4196468 140724421819088 140013387803408 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18999] ppid=18941 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/18999/stat : 18999 (java) S 18941 18944 3187 0 -1 1077944384 5 12758 0 0 0 0 4 3 20 0 15 0 7664286 14321057792 33877 18446744073709551615 4194304 4196468 140724421819088 140012994701680 140013449026178 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19000] ppid=18941 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19000/stat : 19000 (java) S 18941 18944 3187 0 -1 1077944384 33 12758 0 0 0 0 4 3 20 0 15 0 7664287 14321057792 33877 18446744073709551615 4194304 4196468 140724421819088 140012993647648 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19001] ppid=18941 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19001/stat : 19001 (java) S 18941 18944 3187 0 -1 1077944384 21 12758 0 0 0 0 4 3 20 0 15 0 7664287 14321057792 33877 18446744073709551615 4194304 4196468 140724421819088 140012992594800 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19002] ppid=18941 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19002/stat : 19002 (java) S 18941 18944 3187 0 -1 1077944384 3 12758 0 0 0 0 4 3 20 0 15 0 7664290 14321057792 33877 18446744073709551615 4194304 4196468 140724421819088 140012991543120 140013449033627 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19003] ppid=18941 vsize=13985408 CPUtime=0.2 cores=0,2,4,6
/proc/18944/task/19003/stat : 19003 (java) S 18941 18944 3187 0 -1 1077944384 921 12758 0 0 13 0 4 3 20 0 15 0 7664290 14321057792 33877 18446744073709551615 4194304 4196468 140724421819088 140012990491504 140013449026178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19004] ppid=18941 vsize=13985408 CPUtime=0.22 cores=0,2,4,6
/proc/18944/task/19004/stat : 19004 (java) S 18941 18944 3187 0 -1 1077944384 726 12758 0 0 15 0 4 3 20 0 15 0 7664290 14321057792 33877 18446744073709551615 4194304 4196468 140724421819088 140012989438704 140013449026178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19005] ppid=18941 vsize=13985408 CPUtime=0.28 cores=0,2,4,6
/proc/18944/task/19005/stat : 19005 (java) R 18941 18944 3187 0 -1 4202560 1311 12758 0 0 21 0 4 3 20 0 15 0 7664290 14321057792 33877 18446744073709551615 4194304 4196468 140724421819088 140012988385904 140013442120703 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19006] ppid=18941 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19006/stat : 19006 (java) S 18941 18944 3187 0 -1 1077944384 3 12758 0 0 0 0 4 3 20 0 15 0 7664290 14321057792 33877 18446744073709551615 4194304 4196468 140724421819088 140012987333344 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19007] ppid=18941 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19007/stat : 19007 (java) S 18941 18944 3187 0 -1 1077944384 8 12758 0 0 0 0 4 3 20 0 15 0 7664295 14321057792 33877 18446744073709551615 4194304 4196468 140724421819088 140012986280624 140013449026178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 13985408

[startup+3.10948 s]
/proc/loadavg: 1.48 1.43 1.54 6/212 19037
/proc/meminfo: memFree=31552108/32770624 swapFree=0/253640
[pid=18944] ppid=18941 vsize=13997884 CPUtime=5.06 cores=0,2,4,6
/proc/18944/stat : 18944 (java) S 18941 18944 3187 0 -1 1077944320 41275 12758 0 0 484 15 4 3 20 0 15 0 7664260 14333833216 48846 18446744073709551615 4194304 4196468 140724421819088 140724421801632 140013449015031 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
/proc/18944/statm: 3499471 48846 3434 1 0 3488093 0
[pid=18944/tid=18994] ppid=18941 vsize=13997884 CPUtime=2.59 cores=0,2,4,6
/proc/18944/task/18994/stat : 18994 (java) R 18941 18944 3187 0 -1 4202560 29392 12758 0 0 243 9 4 3 20 0 15 0 7664284 14333833216 48846 18446744073709551615 4194304 4196468 140724421819088 140013453244368 140013427017878 0 4 1 16800974 0 0 0 -1 4 0 0 30 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18995] ppid=18941 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/18995/stat : 18995 (java) S 18941 18944 3187 0 -1 1077944384 49 12758 0 0 0 0 4 3 20 0 15 0 7664285 14333833216 48846 18446744073709551615 4194304 4196468 140724421819088 140013390961808 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18996] ppid=18941 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/18996/stat : 18996 (java) S 18941 18944 3187 0 -1 1077944384 55 12758 0 0 0 0 4 3 20 0 15 0 7664285 14333833216 48846 18446744073709551615 4194304 4196468 140724421819088 140013389909008 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18997] ppid=18941 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/18944/task/18997/stat : 18997 (java) S 18941 18944 3187 0 -1 1077944384 49 12758 0 0 1 0 4 3 20 0 15 0 7664285 14333833216 48846 18446744073709551615 4194304 4196468 140724421819088 140013388856208 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18998] ppid=18941 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/18944/task/18998/stat : 18998 (java) S 18941 18944 3187 0 -1 1077944384 212 12758 0 0 1 0 4 3 20 0 15 0 7664285 14333833216 48846 18446744073709551615 4194304 4196468 140724421819088 140013387803408 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18999] ppid=18941 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/18944/task/18999/stat : 18999 (java) S 18941 18944 3187 0 -1 1077944384 1507 12758 0 0 1 0 4 3 20 0 15 0 7664286 14333833216 48846 18446744073709551615 4194304 4196468 140724421819088 140012994701680 140013449026178 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19000] ppid=18941 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19000/stat : 19000 (java) S 18941 18944 3187 0 -1 1077944384 54 12758 0 0 0 0 4 3 20 0 15 0 7664287 14333833216 48846 18446744073709551615 4194304 4196468 140724421819088 140012993647712 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19001] ppid=18941 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19001/stat : 19001 (java) S 18941 18944 3187 0 -1 1077944384 44 12758 0 0 0 0 4 3 20 0 15 0 7664287 14333833216 48846 18446744073709551615 4194304 4196468 140724421819088 140012992594816 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19002] ppid=18941 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19002/stat : 19002 (java) S 18941 18944 3187 0 -1 1077944384 3 12758 0 0 0 0 4 3 20 0 15 0 7664290 14333833216 48846 18446744073709551615 4194304 4196468 140724421819088 140012991543120 140013449033627 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19003] ppid=18941 vsize=13997884 CPUtime=0.94 cores=0,2,4,6
/proc/18944/task/19003/stat : 19003 (java) R 18941 18944 3187 0 -1 1077944384 3120 12758 0 0 86 1 4 3 20 0 15 0 7664290 14333833216 48846 18446744073709551615 4194304 4196468 140724421819088 140012990491632 140013449025237 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19004] ppid=18941 vsize=13997884 CPUtime=0.64 cores=0,2,4,6
/proc/18944/task/19004/stat : 19004 (java) R 18941 18944 3187 0 -1 4202560 1372 12758 0 0 57 0 4 3 20 0 15 0 7664290 14333833216 48846 18446744073709551615 4194304 4196468 140724421819088 140012989438704 140013433936398 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19005] ppid=18941 vsize=13997884 CPUtime=0.99 cores=0,2,4,6
/proc/18944/task/19005/stat : 19005 (java) R 18941 18944 3187 0 -1 4202560 3254 12758 0 0 91 1 4 3 20 0 15 0 7664290 14333833216 48846 18446744073709551615 4194304 4196468 140724421819088 140012988383696 140013427940712 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19006] ppid=18941 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19006/stat : 19006 (java) S 18941 18944 3187 0 -1 1077944384 3 12758 0 0 0 0 4 3 20 0 15 0 7664290 14333833216 48846 18446744073709551615 4194304 4196468 140724421819088 140012987333344 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19007] ppid=18941 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19007/stat : 19007 (java) S 18941 18944 3187 0 -1 1077944384 9 12758 0 0 0 0 4 3 20 0 15 0 7664295 14333833216 48846 18446744073709551615 4194304 4196468 140724421819088 140012986280624 140013449026178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
Current children cumulated CPU time (s) 5.06
Current children cumulated vsize (KiB) 13997884

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18944 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20781 s]
/proc/loadavg: 1.48 1.43 1.54 6/212 19037
/proc/meminfo: memFree=31552108/32770624 swapFree=0/253640
[pid=18944] ppid=18941 vsize=13997884 CPUtime=5.32 cores=0,2,4,6
/proc/18944/stat : 18944 (java) S 18941 18944 3187 0 -1 1077944320 41505 12758 0 0 510 15 4 3 20 0 15 0 7664260 14333833216 50060 18446744073709551615 4194304 4196468 140724421819088 140724421801632 140013449015031 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
/proc/18944/statm: 3499471 50060 3434 1 0 3488093 0
[pid=18944/tid=18994] ppid=18941 vsize=13997884 CPUtime=2.68 cores=0,2,4,6
/proc/18944/task/18994/stat : 18994 (java) R 18941 18944 3187 0 -1 4202560 29414 12758 0 0 252 9 4 3 20 0 15 0 7664284 14333833216 50060 18446744073709551615 4194304 4196468 140724421819088 140013453247376 140013432357490 0 4 1 16800974 0 0 0 -1 4 0 0 30 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18995] ppid=18941 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/18995/stat : 18995 (java) S 18941 18944 3187 0 -1 1077944384 49 12758 0 0 0 0 4 3 20 0 15 0 7664285 14333833216 50060 18446744073709551615 4194304 4196468 140724421819088 140013390961808 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18996] ppid=18941 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/18996/stat : 18996 (java) S 18941 18944 3187 0 -1 1077944384 55 12758 0 0 0 0 4 3 20 0 15 0 7664285 14333833216 50060 18446744073709551615 4194304 4196468 140724421819088 140013389909008 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18997] ppid=18941 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/18944/task/18997/stat : 18997 (java) S 18941 18944 3187 0 -1 1077944384 49 12758 0 0 1 0 4 3 20 0 15 0 7664285 14333833216 50060 18446744073709551615 4194304 4196468 140724421819088 140013388856208 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18998] ppid=18941 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/18944/task/18998/stat : 18998 (java) S 18941 18944 3187 0 -1 1077944384 212 12758 0 0 1 0 4 3 20 0 15 0 7664285 14333833216 50060 18446744073709551615 4194304 4196468 140724421819088 140013387803408 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18999] ppid=18941 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/18944/task/18999/stat : 18999 (java) S 18941 18944 3187 0 -1 1077944384 1507 12758 0 0 1 0 4 3 20 0 15 0 7664286 14333833216 50060 18446744073709551615 4194304 4196468 140724421819088 140012994701680 140013449026178 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19000] ppid=18941 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19000/stat : 19000 (java) S 18941 18944 3187 0 -1 1077944384 54 12758 0 0 0 0 4 3 20 0 15 0 7664287 14333833216 50060 18446744073709551615 4194304 4196468 140724421819088 140012993647712 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19001] ppid=18941 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19001/stat : 19001 (java) S 18941 18944 3187 0 -1 1077944384 44 12758 0 0 0 0 4 3 20 0 15 0 7664287 14333833216 50060 18446744073709551615 4194304 4196468 140724421819088 140012992594816 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19002] ppid=18941 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19002/stat : 19002 (java) S 18941 18944 3187 0 -1 1077944384 3 12758 0 0 0 0 4 3 20 0 15 0 7664290 14333833216 50060 18446744073709551615 4194304 4196468 140724421819088 140012991543120 140013449033627 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19003] ppid=18941 vsize=13997884 CPUtime=0.99 cores=0,2,4,6
/proc/18944/task/19003/stat : 19003 (java) R 18941 18944 3187 0 -1 4202560 3152 12758 0 0 91 1 4 3 20 0 15 0 7664290 14333833216 50060 18446744073709551615 4194304 4196468 140724421819088 140012990473664 140013432425922 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19004] ppid=18941 vsize=13997884 CPUtime=0.7 cores=0,2,4,6
/proc/18944/task/19004/stat : 19004 (java) R 18941 18944 3187 0 -1 4202560 1417 12758 0 0 62 1 4 3 20 0 15 0 7664290 14333833216 50060 18446744073709551615 4194304 4196468 140724421819088 140012989427056 140013428732167 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19005] ppid=18941 vsize=13997884 CPUtime=1.05 cores=0,2,4,6
/proc/18944/task/19005/stat : 19005 (java) S 18941 18944 3187 0 -1 1077944384 3387 12758 0 0 97 1 4 3 20 0 15 0 7664290 14333833216 50060 18446744073709551615 4194304 4196468 140724421819088 140012988385904 140013449026178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19006] ppid=18941 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19006/stat : 19006 (java) S 18941 18944 3187 0 -1 1077944384 3 12758 0 0 0 0 4 3 20 0 15 0 7664290 14333833216 50060 18446744073709551615 4194304 4196468 140724421819088 140012987333344 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19007] ppid=18941 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19007/stat : 19007 (java) S 18941 18944 3187 0 -1 1077944384 9 12758 0 0 0 0 4 3 20 0 15 0 7664295 14333833216 50060 18446744073709551615 4194304 4196468 140724421819088 140012986280624 140013449026178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
Current children cumulated CPU time (s) 5.32
Current children cumulated vsize (KiB) 13997884

[startup+4.00057 s]
/proc/loadavg: 1.61 1.45 1.55 3/193 19059
/proc/meminfo: memFree=31545952/32770624 swapFree=0/272916
[pid=18944] ppid=18941 vsize=14069292 CPUtime=7.34 cores=0,2,4,6
/proc/18944/stat : 18944 (java) S 18941 18944 3187 0 -1 1077944320 61909 12758 0 0 706 21 4 3 20 0 15 0 7664260 14406955008 74080 18446744073709551615 4194304 4196468 140724421819088 140724421801632 140013449015031 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
/proc/18944/statm: 3517323 74080 3447 1 0 3505945 0
[pid=18944/tid=18994] ppid=18941 vsize=14069292 CPUtime=3.34 cores=0,2,4,6
/proc/18944/task/18994/stat : 18994 (java) S 18941 18944 3187 0 -1 1077944384 45524 12758 0 0 315 12 4 3 20 0 15 0 7664284 14406955008 74080 18446744073709551615 4194304 4196468 140724421819088 140013453252576 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18995] ppid=18941 vsize=14069292 CPUtime=0.13 cores=0,2,4,6
/proc/18944/task/18995/stat : 18995 (java) S 18941 18944 3187 0 -1 1077944384 82 12758 0 0 6 0 4 3 20 0 15 0 7664285 14406955008 74080 18446744073709551615 4194304 4196468 140724421819088 140013390961808 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18996] ppid=18941 vsize=14069292 CPUtime=0.13 cores=0,2,4,6
/proc/18944/task/18996/stat : 18996 (java) S 18941 18944 3187 0 -1 1077944384 126 12758 0 0 6 0 4 3 20 0 15 0 7664285 14406955008 74080 18446744073709551615 4194304 4196468 140724421819088 140013389909008 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18997] ppid=18941 vsize=14069292 CPUtime=0.15 cores=0,2,4,6
/proc/18944/task/18997/stat : 18997 (java) S 18941 18944 3187 0 -1 1077944384 61 12758 0 0 8 0 4 3 20 0 15 0 7664285 14406955008 74080 18446744073709551615 4194304 4196468 140724421819088 140013388856208 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18998] ppid=18941 vsize=14069292 CPUtime=0.15 cores=0,2,4,6
/proc/18944/task/18998/stat : 18998 (java) S 18941 18944 3187 0 -1 1077944384 233 12758 0 0 8 0 4 3 20 0 15 0 7664285 14406955008 74080 18446744073709551615 4194304 4196468 140724421819088 140013387803408 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18999] ppid=18941 vsize=14069292 CPUtime=0.13 cores=0,2,4,6
/proc/18944/task/18999/stat : 18999 (java) R 18941 18944 3187 0 -1 4202560 2255 12758 0 0 6 0 4 3 20 0 15 0 7664286 14406955008 74080 18446744073709551615 4194304 4196468 140724421819088 140012994700080 140013431420519 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19000] ppid=18941 vsize=14069292 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19000/stat : 19000 (java) S 18941 18944 3187 0 -1 1077944384 54 12758 0 0 0 0 4 3 20 0 15 0 7664287 14406955008 74080 18446744073709551615 4194304 4196468 140724421819088 140012993647760 140013449026178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19001] ppid=18941 vsize=14069292 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19001/stat : 19001 (java) S 18941 18944 3187 0 -1 1077944384 44 12758 0 0 0 0 4 3 20 0 15 0 7664287 14406955008 74080 18446744073709551615 4194304 4196468 140724421819088 140012992594816 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19002] ppid=18941 vsize=14069292 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19002/stat : 19002 (java) S 18941 18944 3187 0 -1 1077944384 3 12758 0 0 0 0 4 3 20 0 15 0 7664290 14406955008 74080 18446744073709551615 4194304 4196468 140724421819088 140012991543120 140013449033627 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19003] ppid=18941 vsize=14069292 CPUtime=1.54 cores=0,2,4,6
/proc/18944/task/19003/stat : 19003 (java) R 18941 18944 3187 0 -1 4202560 5719 12758 0 0 146 1 4 3 20 0 15 0 7664290 14406955008 74080 18446744073709551615 4194304 4196468 140724421819088 140012990477528 140013430559258 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19004] ppid=18941 vsize=14069292 CPUtime=0.94 cores=0,2,4,6
/proc/18944/task/19004/stat : 19004 (java) S 18941 18944 3187 0 -1 1077944384 1713 12758 0 0 86 1 4 3 20 0 15 0 7664290 14406955008 74080 18446744073709551615 4194304 4196468 140724421819088 140012989422800 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19005] ppid=18941 vsize=14069292 CPUtime=1.28 cores=0,2,4,6
/proc/18944/task/19005/stat : 19005 (java) S 18941 18944 3187 0 -1 1077944384 3931 12758 0 0 120 1 4 3 20 0 15 0 7664290 14406955008 74080 18446744073709551615 4194304 4196468 140724421819088 140012988385904 140013449026178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19006] ppid=18941 vsize=14069292 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19006/stat : 19006 (java) S 18941 18944 3187 0 -1 1077944384 3 12758 0 0 0 0 4 3 20 0 15 0 7664290 14406955008 74080 18446744073709551615 4194304 4196468 140724421819088 140012987333344 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19007] ppid=18941 vsize=14069292 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19007/stat : 19007 (java) S 18941 18944 3187 0 -1 1077944384 9 12758 0 0 0 0 4 3 20 0 15 0 7664295 14406955008 74080 18446744073709551615 4194304 4196468 140724421819088 140012986280624 140013449026178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 14069292

[startup+4.20089 s]
/proc/loadavg: 1.61 1.45 1.55 3/193 19059
/proc/meminfo: memFree=31545952/32770624 swapFree=0/272916
[pid=18944] ppid=18941 vsize=14067516 CPUtime=7.98 cores=0,2,4,6
/proc/18944/stat : 18944 (java) S 18941 18944 3187 0 -1 1077944320 64258 12758 0 0 769 22 4 3 20 0 15 0 7664260 14405136384 74893 18446744073709551615 4194304 4196468 140724421819088 140724421801632 140013449015031 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
/proc/18944/statm: 3516879 74893 3448 1 0 3505501 0
[pid=18944/tid=18994] ppid=18941 vsize=14067516 CPUtime=3.45 cores=0,2,4,6
/proc/18944/task/18994/stat : 18994 (java) R 18941 18944 3187 0 -1 4202560 45670 12758 0 0 326 12 4 3 20 0 15 0 7664284 14405136384 74893 18446744073709551615 4194304 4196468 140724421819088 140013453247792 140013076704068 0 4 1 16800974 0 0 0 -1 0 0 0 30 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18995] ppid=18941 vsize=14067516 CPUtime=0.15 cores=0,2,4,6
/proc/18944/task/18995/stat : 18995 (java) S 18941 18944 3187 0 -1 1077944384 85 12758 0 0 8 0 4 3 20 0 15 0 7664285 14405136384 74893 18446744073709551615 4194304 4196468 140724421819088 140013390961808 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18996] ppid=18941 vsize=14067516 CPUtime=0.16 cores=0,2,4,6
/proc/18944/task/18996/stat : 18996 (java) S 18941 18944 3187 0 -1 1077944384 127 12758 0 0 9 0 4 3 20 0 15 0 7664285 14405136384 74893 18446744073709551615 4194304 4196468 140724421819088 140013389909008 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18997] ppid=18941 vsize=14067516 CPUtime=0.16 cores=0,2,4,6
/proc/18944/task/18997/stat : 18997 (java) S 18941 18944 3187 0 -1 1077944384 61 12758 0 0 9 0 4 3 20 0 15 0 7664285 14405136384 74893 18446744073709551615 4194304 4196468 140724421819088 140013388856208 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18998] ppid=18941 vsize=14067516 CPUtime=0.18 cores=0,2,4,6
/proc/18944/task/18998/stat : 18998 (java) S 18941 18944 3187 0 -1 1077944384 233 12758 0 0 11 0 4 3 20 0 15 0 7664285 14405136384 74893 18446744073709551615 4194304 4196468 140724421819088 140013387803408 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18999] ppid=18941 vsize=14067516 CPUtime=0.18 cores=0,2,4,6
/proc/18944/task/18999/stat : 18999 (java) S 18941 18944 3187 0 -1 1077944384 2255 12758 0 0 11 0 4 3 20 0 15 0 7664286 14405136384 74893 18446744073709551615 4194304 4196468 140724421819088 140012994701680 140013449026178 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19000] ppid=18941 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19000/stat : 19000 (java) S 18941 18944 3187 0 -1 1077944384 54 12758 0 0 0 0 4 3 20 0 15 0 7664287 14405136384 74893 18446744073709551615 4194304 4196468 140724421819088 140012993647776 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19001] ppid=18941 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19001/stat : 19001 (java) S 18941 18944 3187 0 -1 1077944384 45 12758 0 0 0 0 4 3 20 0 15 0 7664287 14405136384 74893 18446744073709551615 4194304 4196468 140724421819088 140012992594816 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19002] ppid=18941 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19002/stat : 19002 (java) S 18941 18944 3187 0 -1 1077944384 3 12758 0 0 0 0 4 3 20 0 15 0 7664290 14405136384 74893 18446744073709551615 4194304 4196468 140724421819088 140012991543120 140013449033627 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19003] ppid=18941 vsize=14067516 CPUtime=1.75 cores=0,2,4,6
/proc/18944/task/19003/stat : 19003 (java) R 18941 18944 3187 0 -1 4202560 7307 12758 0 0 166 2 4 3 20 0 15 0 7664290 14405136384 74893 18446744073709551615 4194304 4196468 140724421819088 140012990477528 140013430558412 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19004] ppid=18941 vsize=14067516 CPUtime=1.06 cores=0,2,4,6
/proc/18944/task/19004/stat : 19004 (java) R 18941 18944 3187 0 -1 4202560 2170 12758 0 0 98 1 4 3 20 0 15 0 7664290 14405136384 74893 18446744073709551615 4194304 4196468 140724421819088 140012989425264 140013430193905 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19005] ppid=18941 vsize=14067516 CPUtime=1.33 cores=0,2,4,6
/proc/18944/task/19005/stat : 19005 (java) R 18941 18944 3187 0 -1 1077944384 4084 12758 0 0 125 1 4 3 20 0 15 0 7664290 14405136384 74893 18446744073709551615 4194304 4196468 140724421819088 140012988385904 140013449026178 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19006] ppid=18941 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19006/stat : 19006 (java) S 18941 18944 3187 0 -1 1077944384 3 12758 0 0 0 0 4 3 20 0 15 0 7664290 14405136384 74893 18446744073709551615 4194304 4196468 140724421819088 140012987333344 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19007] ppid=18941 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19007/stat : 19007 (java) S 18941 18944 3187 0 -1 1077944384 9 12758 0 0 0 0 4 3 20 0 15 0 7664295 14405136384 74893 18446744073709551615 4194304 4196468 140724421819088 140012986280624 140013449026178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
Current children cumulated CPU time (s) 7.98
Current children cumulated vsize (KiB) 14067516

[startup+4.30056 s]
/proc/loadavg: 1.61 1.45 1.55 3/193 19059
/proc/meminfo: memFree=31545952/32770624 swapFree=0/272916
[pid=18944] ppid=18941 vsize=14134080 CPUtime=8.28 cores=0,2,4,6
/proc/18944/stat : 18944 (java) S 18941 18944 3187 0 -1 1077944320 64460 12758 0 0 799 22 4 3 20 0 14 0 7664260 14473297920 73967 18446744073709551615 4194304 4196468 140724421819088 140724421801632 140013449015031 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
/proc/18944/statm: 3533520 73967 3451 1 0 3522142 0
[pid=18944/tid=18994] ppid=18941 vsize=14134080 CPUtime=3.54 cores=0,2,4,6
/proc/18944/task/18994/stat : 18994 (java) S 18941 18944 3187 0 -1 1077944384 45702 12758 0 0 335 12 4 3 20 0 14 0 7664284 14473297920 73967 18446744073709551615 4194304 4196468 140724421819088 140013453257872 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18995] ppid=18941 vsize=14134080 CPUtime=0.15 cores=0,2,4,6
/proc/18944/task/18995/stat : 18995 (java) S 18941 18944 3187 0 -1 1077944384 85 12758 0 0 8 0 4 3 20 0 14 0 7664285 14473297920 73967 18446744073709551615 4194304 4196468 140724421819088 140013390961808 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18996] ppid=18941 vsize=14134080 CPUtime=0.16 cores=0,2,4,6
/proc/18944/task/18996/stat : 18996 (java) S 18941 18944 3187 0 -1 1077944384 127 12758 0 0 9 0 4 3 20 0 14 0 7664285 14473297920 73967 18446744073709551615 4194304 4196468 140724421819088 140013389909008 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18997] ppid=18941 vsize=14134080 CPUtime=0.16 cores=0,2,4,6
/proc/18944/task/18997/stat : 18997 (java) S 18941 18944 3187 0 -1 1077944384 61 12758 0 0 9 0 4 3 20 0 14 0 7664285 14473297920 73967 18446744073709551615 4194304 4196468 140724421819088 140013388856208 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18998] ppid=18941 vsize=14134080 CPUtime=0.18 cores=0,2,4,6
/proc/18944/task/18998/stat : 18998 (java) S 18941 18944 3187 0 -1 1077944384 233 12758 0 0 11 0 4 3 20 0 14 0 7664285 14473297920 73967 18446744073709551615 4194304 4196468 140724421819088 140013387803408 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=18999] ppid=18941 vsize=14134080 CPUtime=0.18 cores=0,2,4,6
/proc/18944/task/18999/stat : 18999 (java) S 18941 18944 3187 0 -1 1077944384 2255 12758 0 0 11 0 4 3 20 0 14 0 7664286 14473297920 73967 18446744073709551615 4194304 4196468 140724421819088 140012994701888 140013449026178 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19000] ppid=18941 vsize=14134080 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19000/stat : 19000 (java) S 18941 18944 3187 0 -1 1077944384 54 12758 0 0 0 0 4 3 20 0 14 0 7664287 14473297920 73967 18446744073709551615 4194304 4196468 140724421819088 140012993647776 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19001] ppid=18941 vsize=14134080 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19001/stat : 19001 (java) S 18941 18944 3187 0 -1 1077944384 45 12758 0 0 0 0 4 3 20 0 14 0 7664287 14473297920 73967 18446744073709551615 4194304 4196468 140724421819088 140012992594816 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19002] ppid=18941 vsize=14134080 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19002/stat : 19002 (java) S 18941 18944 3187 0 -1 1077944384 6 12758 0 0 0 0 4 3 20 0 14 0 7664290 14473297920 73967 18446744073709551615 4194304 4196468 140724421819088 140012991542768 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19003] ppid=18941 vsize=14134080 CPUtime=1.84 cores=0,2,4,6
/proc/18944/task/19003/stat : 19003 (java) S 18941 18944 3187 0 -1 1077944384 7354 12758 0 0 175 2 4 3 20 0 14 0 7664290 14473297920 73967 18446744073709551615 4194304 4196468 140724421819088 140012990471312 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19004] ppid=18941 vsize=14134080 CPUtime=1.15 cores=0,2,4,6
/proc/18944/task/19004/stat : 19004 (java) S 18941 18944 3187 0 -1 1077944384 2218 12758 0 0 107 1 4 3 20 0 14 0 7664290 14473297920 73967 18446744073709551615 4194304 4196468 140724421819088 140012989423472 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19005] ppid=18941 vsize=14134080 CPUtime=1.36 cores=0,2,4,6
/proc/18944/task/19005/stat : 19005 (java) S 18941 18944 3187 0 -1 1077944384 4125 12758 0 0 128 1 4 3 20 0 14 0 7664290 14473297920 73967 18446744073709551615 4194304 4196468 140724421819088 140012988385904 140013449026178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
[pid=18944/tid=19006] ppid=18941 vsize=14134080 CPUtime=0.07 cores=0,2,4,6
/proc/18944/task/19006/stat : 19006 (java) S 18941 18944 3187 0 -1 1077944384 3 12758 0 0 0 0 4 3 20 0 14 0 7664290 14473297920 73967 18446744073709551615 4194304 4196468 140724421819088 140012987333344 140013449025237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140724421822414 140724421825199 140724421825199 140724421828559 0
Current children cumulated CPU time (s) 8.28
Current children cumulated vsize (KiB) 14134080

Child status: 0
Real time (s): 4.31429
CPU time (s): 8.31744
CPU user time (s): 8.04322
CPU system time (s): 0.274221
CPU usage (%): 192.788
Max. virtual memory (cumulated for all children) (KiB): 14134080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.04322
system time used= 0.274221
maximum resident set size= 300124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77237
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6600
involuntary context switches= 804

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.019333 second user time and 0.034596 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 08:51:36
IDJOB=4259630
IDBENCH=134962
IDSOLVER=2646
FILE ID=node135/4259630-1501657536
RUNJOBID= node135-1501639717-27966
PBS_JOBID= 
Free space on /tmp= 61816 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-aim-050-3-4-yes1-1.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259630-1501657536/watcher-4259630-1501657536 -o /tmp/evaluation-result-4259630-1501657536/solver-4259630-1501657536 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27966 --watchdog 300  bin/concrete HOME/instance-4259630-1501657536.xml

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

MD5SUM BENCH= 8915323a63a61e038cba0700c5a637e2
RANDOM SEED=1457966547

node135.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.21
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.21
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.21
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.21
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:        31296992 kB
MemAvailable:   31579796 kB
Buffers:          133652 kB
Cached:           426124 kB
SwapCached:            0 kB
Active:           794104 kB
Inactive:         261940 kB
Active(anon):     497020 kB
Inactive(anon):     8592 kB
Active(file):     297084 kB
Inactive(file):   253348 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24528 kB
Writeback:             0 kB
AnonPages:        487980 kB
Mapped:            42536 kB
Shmem:              8960 kB
Slab:             122736 kB
SReclaimable:      96412 kB
SUnreclaim:        26324 kB
KernelStack:        3760 kB
PageTables:         5720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1477436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    282624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61792 MiB
End job on node135 at 2017-08-02 08:51:40