Trace number 4262649

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.4SAT 11.476 4.9366202

General information on the benchmark

NameSocialGolfers/SocialGolfers-cp-s1/
SocialGolfers-5-2-4-cp.xml
MD5SUM612b3a9d83ebb0dde099fe85e279ef2b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.296404
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints276
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":40}]
Minimum variable degree29
Maximum variable degree30
Distribution of variable degrees[{"degree":29,"count":30},{"degree":30,"count":10}]
Minimum constraint arity4
Maximum constraint arity40
Distribution of constraint arities[{"arity":4,"count":270},{"arity":10,"count":5},{"arity":40,"count":1}]
Number of extensional constraints0
Number of intensional constraints270
Distribution of constraint types[{"type":"intension","count":270},{"type":"lex","count":1},{"type":"cardinality","count":4},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

3.49/2.21	c Concrete v3.4 running
11.25/4.84	v <instantiation>
11.25/4.84	v       <list>
11.25/4.84	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9]
11.25/4.84	v       </list>
11.25/4.84	v       <values>
11.25/4.84	v         0 0 1 1 2 2 3 3 4 4 3 4 1 2 0 1 2 3 0 4 4 2 1 0 4 3 1 2 3 0 4 2 1 3 3 2 0 1 0 4
11.25/4.84	v       </values>
11.25/4.84	v     </instantiation>
11.25/4.84	s SATISFIABLE

Verifier Data 

OK

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-4262649-1502445099/watcher-4262649-1502445099 -o /tmp/evaluation-result-4262649-1502445099/solver-4262649-1502445099 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4884 --watchdog 2580 bin/concrete HOME/instance-4262649-1502445099.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.24 1.61 1.48 3/198 13716
/proc/meminfo: memFree=26867060/32770624 swapFree=0/434884
[pid=13716] ppid=13713 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13716/stat : 13716 (runsolver) D 13713 13716 4821 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 92325098 24240128 108 18446744073709551615 4194304 4338465 140728466517536 140728466515176 139997307187927 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 29786112 140728466522321 140728466522697 140728466522697 140728466526154 0
/proc/13716/statm: 5918 108 54 36 0 2156 0

[startup+0.100144 s]
/proc/loadavg: 2.24 1.61 1.48 3/198 13716
/proc/meminfo: memFree=26867060/32770624 swapFree=0/434884
[pid=13716] ppid=13713 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/13716/stat : 13716 (bash) S 13713 13716 4821 0 -1 4202496 891 6486 0 0 0 0 0 1 20 0 1 0 92325098 9867264 377 18446744073709551615 4194304 5098028 140729486331744 140729486325752 139945005571072 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 6 0 0 7196144 7232144 35762176 140729486340628 140729486340713 140729486340713 140729486344170 0
/proc/13716/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200241 s]
/proc/loadavg: 2.24 1.61 1.48 3/198 13716
/proc/meminfo: memFree=26867060/32770624 swapFree=0/434884
[pid=13716] ppid=13713 vsize=31092 CPUtime=0.07 cores=0,2,4,6
/proc/13716/stat : 13716 (java) S 13713 13716 4821 0 -1 1077944320 2152 12584 0 0 0 0 5 2 20 0 2 0 92325098 31838208 1121 18446744073709551615 4194304 4196468 140737471102368 140737471084912 139708692864759 0 0 1 0 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
/proc/13716/statm: 24157 1125 833 1 0 16801 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 31092

[startup+0.300251 s]
/proc/loadavg: 2.24 1.61 1.48 3/198 13716
/proc/meminfo: memFree=26867060/32770624 swapFree=0/434884
[pid=13716] ppid=13713 vsize=13907308 CPUtime=0.13 cores=0,2,4,6
/proc/13716/stat : 13716 (java) S 13713 13716 4821 0 -1 1077944320 5825 12584 0 0 5 1 5 2 20 0 14 0 92325098 14241083392 5502 18446744073709551615 4194304 4196468 140737471102368 140737471084912 139708692864759 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
/proc/13716/statm: 3476827 5502 2540 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.700269 s]
/proc/loadavg: 2.24 1.61 1.48 3/198 13716
/proc/meminfo: memFree=26867060/32770624 swapFree=0/434884
[pid=13716] ppid=13713 vsize=13974784 CPUtime=0.69 cores=0,2,4,6
/proc/13716/stat : 13716 (java) S 13713 13716 4821 0 -1 1077944320 13866 12584 0 0 56 6 5 2 20 0 15 0 92325098 14310178816 14281 18446744073709551615 4194304 4196468 140737471102368 140737471084912 139708692864759 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
/proc/13716/statm: 3493696 14281 3119 1 0 3482965 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13974784

[startup+1.50071 s]
/proc/loadavg: 2.24 1.61 1.48 3/213 13779
/proc/meminfo: memFree=26771612/32770624 swapFree=0/434988
[pid=13716] ppid=13713 vsize=13985408 CPUtime=1.89 cores=0,2,4,6
/proc/13716/stat : 13716 (java) S 13713 13716 4821 0 -1 1077944320 29498 12584 0 0 170 12 5 2 20 0 15 0 92325098 14321057792 40146 18446744073709551615 4194304 4196468 140737471102368 140737471084912 139708692864759 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
/proc/13716/statm: 3496352 40146 3372 1 0 3485525 0
[pid=13716/tid=13766] ppid=13713 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/13716/task/13766/stat : 13766 (java) S 13713 13716 4821 0 -1 1077944384 22523 12584 0 0 114 8 5 2 20 0 15 0 92325118 14321057792 40146 18446744073709551615 4194304 4196468 140737471102368 139708697083232 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13767] ppid=13713 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13767/stat : 13767 (java) S 13713 13716 4821 0 -1 1077944384 35 12584 0 0 0 0 5 2 20 0 15 0 92325118 14321057792 40146 18446744073709551615 4194304 4196468 140737471102368 139708649831056 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13768] ppid=13713 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13768/stat : 13768 (java) S 13713 13716 4821 0 -1 1077944384 197 12584 0 0 0 0 5 2 20 0 15 0 92325118 14321057792 40146 18446744073709551615 4194304 4196468 140737471102368 139708648778256 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13769] ppid=13713 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13769/stat : 13769 (java) S 13713 13716 4821 0 -1 1077944384 66 12584 0 0 0 0 5 2 20 0 15 0 92325118 14321057792 40146 18446744073709551615 4194304 4196468 140737471102368 139708647725456 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13770] ppid=13713 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13770/stat : 13770 (java) S 13713 13716 4821 0 -1 1077944384 59 12584 0 0 0 0 5 2 20 0 15 0 92325118 14321057792 40146 18446744073709551615 4194304 4196468 140737471102368 139708646672656 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13771] ppid=13713 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13771/stat : 13771 (java) R 13713 13716 4821 0 -1 4202560 1339 12584 0 0 0 0 5 2 20 0 15 0 92325120 14321057792 40146 18446744073709551615 4194304 4196468 140737471102368 139708170486976 139708677838544 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13772] ppid=13713 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13772/stat : 13772 (java) S 13713 13716 4821 0 -1 1077944384 33 12584 0 0 0 0 5 2 20 0 15 0 92325120 14321057792 40146 18446744073709551615 4194304 4196468 140737471102368 139708169434656 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13773] ppid=13713 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13773/stat : 13773 (java) S 13713 13716 4821 0 -1 1077944384 21 12584 0 0 0 0 5 2 20 0 15 0 92325120 14321057792 40146 18446744073709551615 4194304 4196468 140737471102368 139708168381808 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13774] ppid=13713 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13774/stat : 13774 (java) S 13713 13716 4821 0 -1 1077944384 3 12584 0 0 0 0 5 2 20 0 15 0 92325123 14321057792 40146 18446744073709551615 4194304 4196468 140737471102368 139708167330128 139708692883355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13775] ppid=13713 vsize=13985408 CPUtime=0.22 cores=0,2,4,6
/proc/13716/task/13775/stat : 13775 (java) S 13713 13716 4821 0 -1 1077944384 772 12584 0 0 15 0 5 2 20 0 15 0 92325123 14321057792 40146 18446744073709551615 4194304 4196468 140737471102368 139708166277488 139708692875906 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13776] ppid=13713 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/13716/task/13776/stat : 13776 (java) S 13713 13716 4821 0 -1 1077944384 923 12584 0 0 14 0 5 2 20 0 15 0 92325123 14321057792 40146 18446744073709551615 4194304 4196468 140737471102368 139708165224688 139708692875906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13777] ppid=13713 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/13716/task/13777/stat : 13777 (java) S 13713 13716 4821 0 -1 1077944384 1364 12584 0 0 23 0 5 2 20 0 15 0 92325123 14321057792 40146 18446744073709551615 4194304 4196468 140737471102368 139708164171888 139708692875906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13778] ppid=13713 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13778/stat : 13778 (java) S 13713 13716 4821 0 -1 1077944384 3 12584 0 0 0 0 5 2 20 0 15 0 92325123 14321057792 40146 18446744073709551615 4194304 4196468 140737471102368 139708163119328 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13779] ppid=13713 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13779/stat : 13779 (java) S 13713 13716 4821 0 -1 1077944384 10 12584 0 0 0 0 5 2 20 0 15 0 92325128 14321057792 40146 18446744073709551615 4194304 4196468 140737471102368 139708162067632 139708692875906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13985408

[startup+3.10404 s]
/proc/loadavg: 2.24 1.61 1.48 4/213 13779
/proc/meminfo: memFree=26696912/32770624 swapFree=0/434972
[pid=13716] ppid=13713 vsize=13997884 CPUtime=6.04 cores=0,2,4,6
/proc/13716/stat : 13716 (java) S 13713 13716 4821 0 -1 1077944320 45360 12584 0 0 578 19 5 2 20 0 15 0 92325098 14333833216 55234 18446744073709551615 4194304 4196468 140737471102368 140737471084912 139708692864759 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
/proc/13716/statm: 3499471 55234 3446 1 0 3488085 0
[pid=13716/tid=13766] ppid=13713 vsize=13997884 CPUtime=2.87 cores=0,2,4,6
/proc/13716/task/13766/stat : 13766 (java) R 13713 13716 4821 0 -1 4202560 29003 12584 0 0 269 11 5 2 20 0 15 0 92325118 14333833216 55234 18446744073709551615 4194304 4196468 140737471102368 139708697093808 139708692876694 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13767] ppid=13713 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13767/stat : 13767 (java) S 13713 13716 4821 0 -1 1077944384 40 12584 0 0 0 0 5 2 20 0 15 0 92325118 14333833216 55234 18446744073709551615 4194304 4196468 140737471102368 139708649831056 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13768] ppid=13713 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13768/stat : 13768 (java) S 13713 13716 4821 0 -1 1077944384 197 12584 0 0 0 0 5 2 20 0 15 0 92325118 14333833216 55234 18446744073709551615 4194304 4196468 140737471102368 139708648778256 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13769] ppid=13713 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13769/stat : 13769 (java) S 13713 13716 4821 0 -1 1077944384 66 12584 0 0 0 0 5 2 20 0 15 0 92325118 14333833216 55234 18446744073709551615 4194304 4196468 140737471102368 139708647725456 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13770] ppid=13713 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13770/stat : 13770 (java) S 13713 13716 4821 0 -1 1077944384 62 12584 0 0 0 0 5 2 20 0 15 0 92325118 14333833216 55234 18446744073709551615 4194304 4196468 140737471102368 139708646672656 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13771] ppid=13713 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/13716/task/13771/stat : 13771 (java) S 13713 13716 4821 0 -1 1077944384 1727 12584 0 0 1 0 5 2 20 0 15 0 92325120 14333833216 55234 18446744073709551615 4194304 4196468 140737471102368 139708170488688 139708692875906 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13772] ppid=13713 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13772/stat : 13772 (java) S 13713 13716 4821 0 -1 1077944384 54 12584 0 0 0 0 5 2 20 0 15 0 92325120 14333833216 55234 18446744073709551615 4194304 4196468 140737471102368 139708169434656 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13773] ppid=13713 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13773/stat : 13773 (java) S 13713 13716 4821 0 -1 1077944384 44 12584 0 0 0 0 5 2 20 0 15 0 92325120 14333833216 55234 18446744073709551615 4194304 4196468 140737471102368 139708168381824 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13774] ppid=13713 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13774/stat : 13774 (java) S 13713 13716 4821 0 -1 1077944384 3 12584 0 0 0 0 5 2 20 0 15 0 92325123 14333833216 55234 18446744073709551615 4194304 4196468 140737471102368 139708167330128 139708692883355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13775] ppid=13713 vsize=13997884 CPUtime=0.92 cores=0,2,4,6
/proc/13716/task/13775/stat : 13775 (java) S 13713 13716 4821 0 -1 1077944384 2546 12584 0 0 84 1 5 2 20 0 15 0 92325123 14333833216 55234 18446744073709551615 4194304 4196468 140737471102368 139708166277488 139708692875906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13776] ppid=13713 vsize=13997884 CPUtime=1.15 cores=0,2,4,6
/proc/13716/task/13776/stat : 13776 (java) R 13713 13716 4821 0 -1 4202560 4426 12584 0 0 107 1 5 2 20 0 15 0 92325123 14333833216 55234 18446744073709551615 4194304 4196468 140737471102368 139708165214368 139708677287779 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13777] ppid=13713 vsize=13997884 CPUtime=1.19 cores=0,2,4,6
/proc/13716/task/13777/stat : 13777 (java) R 13713 13716 4821 0 -1 4202560 5029 12584 0 0 110 2 5 2 20 0 15 0 92325123 14333833216 55234 18446744073709551615 4194304 4196468 140737471102368 139708164166464 139708692886106 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13778] ppid=13713 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13778/stat : 13778 (java) S 13713 13716 4821 0 -1 1077944384 3 12584 0 0 0 0 5 2 20 0 15 0 92325123 14333833216 55234 18446744073709551615 4194304 4196468 140737471102368 139708163119328 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13779] ppid=13713 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13779/stat : 13779 (java) S 13713 13716 4821 0 -1 1077944384 11 12584 0 0 0 0 5 2 20 0 15 0 92325128 14333833216 55234 18446744073709551615 4194304 4196468 140737471102368 139708162067632 139708692875906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 13997884

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

[startup+3.20908 s]
/proc/loadavg: 2.24 1.61 1.48 4/213 13779
/proc/meminfo: memFree=26696912/32770624 swapFree=0/434972
[pid=13716] ppid=13713 vsize=13999932 CPUtime=6.36 cores=0,2,4,6
/proc/13716/stat : 13716 (java) S 13713 13716 4821 0 -1 1077944320 45705 12584 0 0 610 19 5 2 20 0 15 0 92325098 14335930368 56572 18446744073709551615 4194304 4196468 140737471102368 140737471084912 139708692864759 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
/proc/13716/statm: 3499983 56572 3446 1 0 3488597 0
[pid=13716/tid=13766] ppid=13713 vsize=13999932 CPUtime=2.98 cores=0,2,4,6
/proc/13716/task/13766/stat : 13766 (java) R 13713 13716 4821 0 -1 4202560 29181 12584 0 0 280 11 5 2 20 0 15 0 92325118 14335930368 56572 18446744073709551615 4194304 4196468 140737471102368 139708697098400 139708334923263 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13767] ppid=13713 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13767/stat : 13767 (java) S 13713 13716 4821 0 -1 1077944384 40 12584 0 0 0 0 5 2 20 0 15 0 92325118 14335930368 56572 18446744073709551615 4194304 4196468 140737471102368 139708649831056 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13768] ppid=13713 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13768/stat : 13768 (java) S 13713 13716 4821 0 -1 1077944384 197 12584 0 0 0 0 5 2 20 0 15 0 92325118 14335930368 56572 18446744073709551615 4194304 4196468 140737471102368 139708648778256 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13769] ppid=13713 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13769/stat : 13769 (java) S 13713 13716 4821 0 -1 1077944384 66 12584 0 0 0 0 5 2 20 0 15 0 92325118 14335930368 56572 18446744073709551615 4194304 4196468 140737471102368 139708647725456 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13770] ppid=13713 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13770/stat : 13770 (java) S 13713 13716 4821 0 -1 1077944384 62 12584 0 0 0 0 5 2 20 0 15 0 92325118 14335930368 56572 18446744073709551615 4194304 4196468 140737471102368 139708646672656 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13771] ppid=13713 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/13716/task/13771/stat : 13771 (java) S 13713 13716 4821 0 -1 1077944384 1727 12584 0 0 1 0 5 2 20 0 15 0 92325120 14335930368 56572 18446744073709551615 4194304 4196468 140737471102368 139708170488688 139708692875906 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13772] ppid=13713 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13772/stat : 13772 (java) S 13713 13716 4821 0 -1 1077944384 54 12584 0 0 0 0 5 2 20 0 15 0 92325120 14335930368 56572 18446744073709551615 4194304 4196468 140737471102368 139708169434656 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13773] ppid=13713 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13773/stat : 13773 (java) S 13713 13716 4821 0 -1 1077944384 44 12584 0 0 0 0 5 2 20 0 15 0 92325120 14335930368 56572 18446744073709551615 4194304 4196468 140737471102368 139708168381824 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13774] ppid=13713 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13774/stat : 13774 (java) S 13713 13716 4821 0 -1 1077944384 3 12584 0 0 0 0 5 2 20 0 15 0 92325123 14335930368 56572 18446744073709551615 4194304 4196468 140737471102368 139708167330128 139708692883355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13775] ppid=13713 vsize=13999932 CPUtime=0.99 cores=0,2,4,6
/proc/13716/task/13775/stat : 13775 (java) R 13713 13716 4821 0 -1 4202560 2588 12584 0 0 91 1 5 2 20 0 15 0 92325123 14335930368 56572 18446744073709551615 4194304 4196468 140737471102368 139708166266752 139708676077247 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13776] ppid=13713 vsize=13999932 CPUtime=1.24 cores=0,2,4,6
/proc/13716/task/13776/stat : 13776 (java) R 13713 13716 4821 0 -1 4202560 4460 12584 0 0 116 1 5 2 20 0 15 0 92325123 14335930368 56572 18446744073709551615 4194304 4196468 140737471102368 139708165215552 139708677629281 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13777] ppid=13713 vsize=13999932 CPUtime=1.24 cores=0,2,4,6
/proc/13716/task/13777/stat : 13777 (java) S 13713 13716 4821 0 -1 1077944384 5118 12584 0 0 115 2 5 2 20 0 15 0 92325123 14335930368 56572 18446744073709551615 4194304 4196468 140737471102368 139708164171888 139708692875906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13778] ppid=13713 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13778/stat : 13778 (java) S 13713 13716 4821 0 -1 1077944384 3 12584 0 0 0 0 5 2 20 0 15 0 92325123 14335930368 56572 18446744073709551615 4194304 4196468 140737471102368 139708163119328 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13779] ppid=13713 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13779/stat : 13779 (java) S 13713 13716 4821 0 -1 1077944384 11 12584 0 0 0 0 5 2 20 0 15 0 92325128 14335930368 56572 18446744073709551615 4194304 4196468 140737471102368 139708162067632 139708692875906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
Current children cumulated CPU time (s) 6.36
Current children cumulated vsize (KiB) 13999932

[startup+4.0006 s]
/proc/loadavg: 2.24 1.61 1.48 6/213 13779
/proc/meminfo: memFree=26636088/32770624 swapFree=0/434972
[pid=13716] ppid=13713 vsize=14001980 CPUtime=9.03 cores=0,2,4,6
/proc/13716/stat : 13716 (java) S 13713 13716 4821 0 -1 1077944320 48450 12584 0 0 873 23 5 2 20 0 15 0 92325098 14338027520 74484 18446744073709551615 4194304 4196468 140737471102368 140737471084912 139708692864759 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
/proc/13716/statm: 3500495 74484 3462 1 0 3489109 0
[pid=13716/tid=13766] ppid=13713 vsize=14001980 CPUtime=3.71 cores=0,2,4,6
/proc/13716/task/13766/stat : 13766 (java) R 13713 13716 4821 0 -1 4202560 29879 12584 0 0 353 11 5 2 20 0 15 0 92325118 14338027520 74484 18446744073709551615 4194304 4196468 140737471102368 139708697092976 139708692886106 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13767] ppid=13713 vsize=14001980 CPUtime=0.1 cores=0,2,4,6
/proc/13716/task/13767/stat : 13767 (java) S 13713 13716 4821 0 -1 1077944384 99 12584 0 0 3 0 5 2 20 0 15 0 92325118 14338027520 74484 18446744073709551615 4194304 4196468 140737471102368 139708649831056 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13768] ppid=13713 vsize=14001980 CPUtime=0.1 cores=0,2,4,6
/proc/13716/task/13768/stat : 13768 (java) S 13713 13716 4821 0 -1 1077944384 249 12584 0 0 3 0 5 2 20 0 15 0 92325118 14338027520 74484 18446744073709551615 4194304 4196468 140737471102368 139708648778256 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13769] ppid=13713 vsize=14001980 CPUtime=0.1 cores=0,2,4,6
/proc/13716/task/13769/stat : 13769 (java) S 13713 13716 4821 0 -1 1077944384 92 12584 0 0 3 0 5 2 20 0 15 0 92325118 14338027520 74484 18446744073709551615 4194304 4196468 140737471102368 139708647725456 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13770] ppid=13713 vsize=14001980 CPUtime=0.1 cores=0,2,4,6
/proc/13716/task/13770/stat : 13770 (java) S 13713 13716 4821 0 -1 1077944384 84 12584 0 0 3 0 5 2 20 0 15 0 92325118 14338027520 74484 18446744073709551615 4194304 4196468 140737471102368 139708646672656 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13771] ppid=13713 vsize=14001980 CPUtime=0.1 cores=0,2,4,6
/proc/13716/task/13771/stat : 13771 (java) S 13713 13716 4821 0 -1 1077944384 2267 12584 0 0 3 0 5 2 20 0 15 0 92325120 14338027520 74484 18446744073709551615 4194304 4196468 140737471102368 139708170488688 139708692875906 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13772] ppid=13713 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13772/stat : 13772 (java) S 13713 13716 4821 0 -1 1077944384 54 12584 0 0 0 0 5 2 20 0 15 0 92325120 14338027520 74484 18446744073709551615 4194304 4196468 140737471102368 139708169434720 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13773] ppid=13713 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13773/stat : 13773 (java) S 13713 13716 4821 0 -1 1077944384 44 12584 0 0 0 0 5 2 20 0 15 0 92325120 14338027520 74484 18446744073709551615 4194304 4196468 140737471102368 139708168381824 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13774] ppid=13713 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13774/stat : 13774 (java) S 13713 13716 4821 0 -1 1077944384 3 12584 0 0 0 0 5 2 20 0 15 0 92325123 14338027520 74484 18446744073709551615 4194304 4196468 140737471102368 139708167330128 139708692883355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13775] ppid=13713 vsize=14001980 CPUtime=1.72 cores=0,2,4,6
/proc/13716/task/13775/stat : 13775 (java) R 13713 13716 4821 0 -1 4202560 3058 12584 0 0 162 3 5 2 20 0 15 0 92325123 14338027520 74484 18446744073709551615 4194304 4196468 140737471102368 139708166258432 139708677972645 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13776] ppid=13713 vsize=14001980 CPUtime=1.96 cores=0,2,4,6
/proc/13716/task/13776/stat : 13776 (java) S 13713 13716 4821 0 -1 1077944384 4654 12584 0 0 188 1 5 2 20 0 15 0 92325123 14338027520 74484 18446744073709551615 4194304 4196468 140737471102368 139708165224688 139708692875906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13777] ppid=13713 vsize=14001980 CPUtime=1.59 cores=0,2,4,6
/proc/13716/task/13777/stat : 13777 (java) R 13713 13716 4821 0 -1 1077944384 5802 12584 0 0 150 2 5 2 20 0 15 0 92325123 14338027520 74484 18446744073709551615 4194304 4196468 140737471102368 139708164168320 139708692874965 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13778] ppid=13713 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13778/stat : 13778 (java) S 13713 13716 4821 0 -1 1077944384 3 12584 0 0 0 0 5 2 20 0 15 0 92325123 14338027520 74484 18446744073709551615 4194304 4196468 140737471102368 139708163119328 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13779] ppid=13713 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13779/stat : 13779 (java) S 13713 13716 4821 0 -1 1077944384 11 12584 0 0 0 0 5 2 20 0 15 0 92325128 14338027520 74484 18446744073709551615 4194304 4196468 140737471102368 139708162067632 139708692875906 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
Current children cumulated CPU time (s) 9.03
Current children cumulated vsize (KiB) 14001980

[startup+4.40071 s]
/proc/loadavg: 2.54 1.68 1.51 4/213 13779
/proc/meminfo: memFree=26540984/32770624 swapFree=0/434968
[pid=13716] ppid=13713 vsize=14067516 CPUtime=10.09 cores=0,2,4,6
/proc/13716/stat : 13716 (java) S 13713 13716 4821 0 -1 1077944320 61413 12584 0 0 977 25 5 2 20 0 15 0 92325098 14405136384 84701 18446744073709551615 4194304 4196468 140737471102368 140737471084912 139708692864759 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
/proc/13716/statm: 3516879 84701 3463 1 0 3505493 0
[pid=13716/tid=13766] ppid=13713 vsize=14067516 CPUtime=4.12 cores=0,2,4,6
/proc/13716/task/13766/stat : 13766 (java) R 13713 13716 4821 0 -1 4202560 39284 12584 0 0 392 13 5 2 20 0 15 0 92325118 14405136384 84701 18446744073709551615 4194304 4196468 140737471102368 139708697099376 139708692886106 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13767] ppid=13713 vsize=14067516 CPUtime=0.1 cores=0,2,4,6
/proc/13716/task/13767/stat : 13767 (java) S 13713 13716 4821 0 -1 1077944384 99 12584 0 0 3 0 5 2 20 0 15 0 92325118 14405136384 84701 18446744073709551615 4194304 4196468 140737471102368 139708649831056 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13768] ppid=13713 vsize=14067516 CPUtime=0.1 cores=0,2,4,6
/proc/13716/task/13768/stat : 13768 (java) S 13713 13716 4821 0 -1 1077944384 249 12584 0 0 3 0 5 2 20 0 15 0 92325118 14405136384 84701 18446744073709551615 4194304 4196468 140737471102368 139708648778256 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13769] ppid=13713 vsize=14067516 CPUtime=0.1 cores=0,2,4,6
/proc/13716/task/13769/stat : 13769 (java) S 13713 13716 4821 0 -1 1077944384 92 12584 0 0 3 0 5 2 20 0 15 0 92325118 14405136384 84701 18446744073709551615 4194304 4196468 140737471102368 139708647725456 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13770] ppid=13713 vsize=14067516 CPUtime=0.1 cores=0,2,4,6
/proc/13716/task/13770/stat : 13770 (java) S 13713 13716 4821 0 -1 1077944384 84 12584 0 0 3 0 5 2 20 0 15 0 92325118 14405136384 84701 18446744073709551615 4194304 4196468 140737471102368 139708646672656 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13771] ppid=13713 vsize=14067516 CPUtime=0.1 cores=0,2,4,6
/proc/13716/task/13771/stat : 13771 (java) S 13713 13716 4821 0 -1 1077944384 2267 12584 0 0 3 0 5 2 20 0 15 0 92325120 14405136384 84701 18446744073709551615 4194304 4196468 140737471102368 139708170488688 139708692875906 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13772] ppid=13713 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13772/stat : 13772 (java) S 13713 13716 4821 0 -1 1077944384 54 12584 0 0 0 0 5 2 20 0 15 0 92325120 14405136384 84701 18446744073709551615 4194304 4196468 140737471102368 139708169434720 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13773] ppid=13713 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13773/stat : 13773 (java) S 13713 13716 4821 0 -1 1077944384 44 12584 0 0 0 0 5 2 20 0 15 0 92325120 14405136384 84701 18446744073709551615 4194304 4196468 140737471102368 139708168381824 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13774] ppid=13713 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13774/stat : 13774 (java) S 13713 13716 4821 0 -1 1077944384 3 12584 0 0 0 0 5 2 20 0 15 0 92325123 14405136384 84701 18446744073709551615 4194304 4196468 140737471102368 139708167330128 139708692883355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13775] ppid=13713 vsize=14067516 CPUtime=2.07 cores=0,2,4,6
/proc/13716/task/13775/stat : 13775 (java) R 13713 13716 4821 0 -1 4202560 5028 12584 0 0 197 3 5 2 20 0 15 0 92325123 14405136384 84701 18446744073709551615 4194304 4196468 140737471102368 139708166262928 139708672520074 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13776] ppid=13713 vsize=14067516 CPUtime=2.13 cores=0,2,4,6
/proc/13716/task/13776/stat : 13776 (java) S 13713 13716 4821 0 -1 1077944384 5237 12584 0 0 205 1 5 2 20 0 15 0 92325123 14405136384 84701 18446744073709551615 4194304 4196468 140737471102368 139708165224688 139708692875906 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13777] ppid=13713 vsize=14067516 CPUtime=1.74 cores=0,2,4,6
/proc/13716/task/13777/stat : 13777 (java) S 13713 13716 4821 0 -1 1077944384 6806 12584 0 0 164 3 5 2 20 0 15 0 92325123 14405136384 84701 18446744073709551615 4194304 4196468 140737471102368 139708164171888 139708692875906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13778] ppid=13713 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13778/stat : 13778 (java) S 13713 13716 4821 0 -1 1077944384 3 12584 0 0 0 0 5 2 20 0 15 0 92325123 14405136384 84701 18446744073709551615 4194304 4196468 140737471102368 139708163119328 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13779] ppid=13713 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13779/stat : 13779 (java) S 13713 13716 4821 0 -1 1077944384 12 12584 0 0 0 0 5 2 20 0 15 0 92325128 14405136384 84701 18446744073709551615 4194304 4196468 140737471102368 139708162067632 139708692875906 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
Current children cumulated CPU time (s) 10.09
Current children cumulated vsize (KiB) 14067516

[startup+4.80104 s]
/proc/loadavg: 2.54 1.68 1.51 4/213 13779
/proc/meminfo: memFree=26540984/32770624 swapFree=0/434968
[pid=13716] ppid=13713 vsize=14069564 CPUtime=11.25 cores=0,2,4,6
/proc/13716/stat : 13716 (java) S 13713 13716 4821 0 -1 1077944320 69762 12584 0 0 1092 26 5 2 20 0 15 0 92325098 14407233536 90936 18446744073709551615 4194304 4196468 140737471102368 140737471084912 139708692864759 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
/proc/13716/statm: 3517391 90936 3465 1 0 3506005 0
[pid=13716/tid=13766] ppid=13713 vsize=14069564 CPUtime=4.28 cores=0,2,4,6
/proc/13716/task/13766/stat : 13766 (java) R 13713 13716 4821 0 -1 4202560 43871 12584 0 0 408 13 5 2 20 0 15 0 92325118 14407233536 90936 18446744073709551615 4194304 4196468 140737471102368 139708697102304 139708672166530 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13767] ppid=13713 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/13716/task/13767/stat : 13767 (java) S 13713 13716 4821 0 -1 1077944384 174 12584 0 0 14 0 5 2 20 0 15 0 92325118 14407233536 90936 18446744073709551615 4194304 4196468 140737471102368 139708649831056 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13768] ppid=13713 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/13716/task/13768/stat : 13768 (java) S 13713 13716 4821 0 -1 1077944384 304 12584 0 0 14 0 5 2 20 0 15 0 92325118 14407233536 90936 18446744073709551615 4194304 4196468 140737471102368 139708648778256 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13769] ppid=13713 vsize=14069564 CPUtime=0.19 cores=0,2,4,6
/proc/13716/task/13769/stat : 13769 (java) S 13713 13716 4821 0 -1 1077944384 819 12584 0 0 12 0 5 2 20 0 15 0 92325118 14407233536 90936 18446744073709551615 4194304 4196468 140737471102368 139708647725456 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13770] ppid=13713 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/13716/task/13770/stat : 13770 (java) S 13713 13716 4821 0 -1 1077944384 90 12584 0 0 14 0 5 2 20 0 15 0 92325118 14407233536 90936 18446744073709551615 4194304 4196468 140737471102368 139708646672656 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13771] ppid=13713 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/13716/task/13771/stat : 13771 (java) S 13713 13716 4821 0 -1 1077944384 2323 12584 0 0 13 0 5 2 20 0 15 0 92325120 14407233536 90936 18446744073709551615 4194304 4196468 140737471102368 139708170488688 139708692875906 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13772] ppid=13713 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13772/stat : 13772 (java) S 13713 13716 4821 0 -1 1077944384 54 12584 0 0 0 0 5 2 20 0 15 0 92325120 14407233536 90936 18446744073709551615 4194304 4196468 140737471102368 139708169434720 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13773] ppid=13713 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13773/stat : 13773 (java) S 13713 13716 4821 0 -1 1077944384 45 12584 0 0 0 0 5 2 20 0 15 0 92325120 14407233536 90936 18446744073709551615 4194304 4196468 140737471102368 139708168381824 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13774] ppid=13713 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13774/stat : 13774 (java) S 13713 13716 4821 0 -1 1077944384 3 12584 0 0 0 0 5 2 20 0 15 0 92325123 14407233536 90936 18446744073709551615 4194304 4196468 140737471102368 139708167330128 139708692883355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13775] ppid=13713 vsize=14069564 CPUtime=2.31 cores=0,2,4,6
/proc/13716/task/13775/stat : 13775 (java) R 13713 13716 4821 0 -1 4202560 5936 12584 0 0 221 3 5 2 20 0 15 0 92325123 14407233536 90936 18446744073709551615 4194304 4196468 140737471102368 139708166263368 139708677990619 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13776] ppid=13713 vsize=14069564 CPUtime=2.27 cores=0,2,4,6
/proc/13716/task/13776/stat : 13776 (java) S 13713 13716 4821 0 -1 1077944384 6250 12584 0 0 219 1 5 2 20 0 15 0 92325123 14407233536 90936 18446744073709551615 4194304 4196468 140737471102368 139708165224688 139708692875906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13777] ppid=13713 vsize=14069564 CPUtime=1.82 cores=0,2,4,6
/proc/13716/task/13777/stat : 13777 (java) S 13713 13716 4821 0 -1 1077944384 7727 12584 0 0 172 3 5 2 20 0 15 0 92325123 14407233536 90936 18446744073709551615 4194304 4196468 140737471102368 139708164171888 139708692875906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13778] ppid=13713 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13778/stat : 13778 (java) S 13713 13716 4821 0 -1 1077944384 3 12584 0 0 0 0 5 2 20 0 15 0 92325123 14407233536 90936 18446744073709551615 4194304 4196468 140737471102368 139708163119328 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13779] ppid=13713 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13779/stat : 13779 (java) S 13713 13716 4821 0 -1 1077944384 12 12584 0 0 0 0 5 2 20 0 15 0 92325128 14407233536 90936 18446744073709551615 4194304 4196468 140737471102368 139708162067632 139708692875906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
Current children cumulated CPU time (s) 11.25
Current children cumulated vsize (KiB) 14069564

[startup+4.90108 s]
/proc/loadavg: 2.54 1.68 1.51 4/213 13779
/proc/meminfo: memFree=26540984/32770624 swapFree=0/434968
[pid=13716] ppid=13713 vsize=14138360 CPUtime=11.42 cores=0,2,4,6
/proc/13716/stat : 13716 (java) S 13713 13716 4821 0 -1 1077944320 70540 12584 0 0 1109 26 5 2 20 0 13 0 92325098 14477680640 91634 18446744073709551615 4194304 4196468 140737471102368 140737471084912 139708692864759 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
/proc/13716/statm: 3534590 91634 3467 1 0 3523204 0
[pid=13716/tid=13766] ppid=13713 vsize=14138360 CPUtime=4.32 cores=0,2,4,6
/proc/13716/task/13766/stat : 13766 (java) S 13713 13716 4821 0 -1 1077944384 43978 12584 0 0 412 13 5 2 20 0 13 0 92325118 14477680640 91634 18446744073709551615 4194304 4196468 140737471102368 139708697107600 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13767] ppid=13713 vsize=14138360 CPUtime=0.21 cores=0,2,4,6
/proc/13716/task/13767/stat : 13767 (java) S 13713 13716 4821 0 -1 1077944384 174 12584 0 0 14 0 5 2 20 0 13 0 92325118 14477680640 91634 18446744073709551615 4194304 4196468 140737471102368 139708649831056 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13768] ppid=13713 vsize=14138360 CPUtime=0.21 cores=0,2,4,6
/proc/13716/task/13768/stat : 13768 (java) S 13713 13716 4821 0 -1 1077944384 304 12584 0 0 14 0 5 2 20 0 13 0 92325118 14477680640 91634 18446744073709551615 4194304 4196468 140737471102368 139708648778256 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13769] ppid=13713 vsize=14138360 CPUtime=0.19 cores=0,2,4,6
/proc/13716/task/13769/stat : 13769 (java) S 13713 13716 4821 0 -1 1077944384 819 12584 0 0 12 0 5 2 20 0 13 0 92325118 14477680640 91634 18446744073709551615 4194304 4196468 140737471102368 139708647725456 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13770] ppid=13713 vsize=14138360 CPUtime=0.21 cores=0,2,4,6
/proc/13716/task/13770/stat : 13770 (java) S 13713 13716 4821 0 -1 1077944384 90 12584 0 0 14 0 5 2 20 0 13 0 92325118 14477680640 91634 18446744073709551615 4194304 4196468 140737471102368 139708646672656 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13771] ppid=13713 vsize=14138360 CPUtime=0.2 cores=0,2,4,6
/proc/13716/task/13771/stat : 13771 (java) S 13713 13716 4821 0 -1 1077944384 2323 12584 0 0 13 0 5 2 20 0 13 0 92325120 14477680640 91634 18446744073709551615 4194304 4196468 140737471102368 139708170488896 139708692875906 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13772] ppid=13713 vsize=14138360 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13772/stat : 13772 (java) S 13713 13716 4821 0 -1 1077944384 54 12584 0 0 0 0 5 2 20 0 13 0 92325120 14477680640 91634 18446744073709551615 4194304 4196468 140737471102368 139708169434720 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13773] ppid=13713 vsize=14138360 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13773/stat : 13773 (java) S 13713 13716 4821 0 -1 1077944384 45 12584 0 0 0 0 5 2 20 0 13 0 92325120 14477680640 91634 18446744073709551615 4194304 4196468 140737471102368 139708168381824 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13775] ppid=13713 vsize=14138360 CPUtime=2.41 cores=0,2,4,6
/proc/13716/task/13775/stat : 13775 (java) R 13713 13716 4821 0 -1 4202560 6545 12584 0 0 231 3 5 2 20 0 13 0 92325123 14477680640 91634 18446744073709551615 4194304 4196468 140737471102368 139708166263512 139708674386437 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13776] ppid=13713 vsize=14138360 CPUtime=2.29 cores=0,2,4,6
/proc/13716/task/13776/stat : 13776 (java) S 13713 13716 4821 0 -1 1077944384 6251 12584 0 0 221 1 5 2 20 0 13 0 92325123 14477680640 91634 18446744073709551615 4194304 4196468 140737471102368 139708165209744 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13777] ppid=13713 vsize=14138360 CPUtime=1.83 cores=0,2,4,6
/proc/13716/task/13777/stat : 13777 (java) S 13713 13716 4821 0 -1 1077944384 7735 12584 0 0 173 3 5 2 20 0 13 0 92325123 14477680640 91634 18446744073709551615 4194304 4196468 140737471102368 139708164171888 139708692875906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
[pid=13716/tid=13778] ppid=13713 vsize=14138360 CPUtime=0.07 cores=0,2,4,6
/proc/13716/task/13778/stat : 13778 (java) S 13713 13716 4821 0 -1 1077944384 3 12584 0 0 0 0 5 2 20 0 13 0 92325123 14477680640 91634 18446744073709551615 4194304 4196468 140737471102368 139708163119328 139708692874965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140737471109072 140737471111857 140737471111857 140737471115215 0
Current children cumulated CPU time (s) 11.42
Current children cumulated vsize (KiB) 14138360

Child status: 0
Real time (s): 4.93662
CPU time (s): 11.476
CPU user time (s): 11.1666
CPU system time (s): 0.30939
CPU usage (%): 232.466
Max. virtual memory (cumulated for all children) (KiB): 14138360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1666
system time used= 0.30939
maximum resident set size= 367212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83143
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6489
involuntary context switches= 187

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027863 second user time and 0.028895 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-11 11:37:31
IDJOB=4262649
IDBENCH=126671
IDSOLVER=2650
FILE ID=node133/4262649-1502445099
RUNJOBID= node133-1502411423-4884
PBS_JOBID= 
Free space on /tmp= 62000 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-5-2-4-cp.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262649-1502445099/watcher-4262649-1502445099 -o /tmp/evaluation-result-4262649-1502445099/solver-4262649-1502445099 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4884 --watchdog 2580  bin/concrete HOME/instance-4262649-1502445099.xml

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

MD5SUM BENCH= 612b3a9d83ebb0dde099fe85e279ef2b
RANDOM SEED=1182810100

node133.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.17
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.17
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.17
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.17
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:        26868596 kB
MemAvailable:   27743024 kB
Buffers:          290608 kB
Cached:           878388 kB
SwapCached:            0 kB
Active:          4995408 kB
Inactive:         467736 kB
Active(anon):    4294528 kB
Inactive(anon):    33112 kB
Active(file):     700880 kB
Inactive(file):   434624 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24284 kB
Writeback:             4 kB
AnonPages:       4293796 kB
Mapped:            63964 kB
Shmem:             33468 kB
Slab:             136764 kB
SReclaimable:     109520 kB
SUnreclaim:        27244 kB
KernelStack:        3472 kB
PageTables:        13352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4976084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4065280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61976 MiB
End job on node133 at 2017-08-11 11:37:36