Trace number 4262717

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 17.1992 7.3885798

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-xcsp2-s25/
TravellingSalesman-25-066_X2.xml
MD5SUM09321018be6bfcc628ddab34eddf7071
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.089063004
Satisfiable
(Un)Satisfiability was proved
Number of variables76
Number of constraints350
Number of domains5
Minimum domain size1
Maximum domain size1001
Distribution of domain sizes[{"size":1,"count":2},{"size":25,"count":25},{"size":121,"count":24},{"size":1001,"count":25}]
Minimum variable degree1
Maximum variable degree25
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":49},{"degree":25,"count":25}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":325},{"arity":3,"count":25}]
Number of extensional constraints350
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":350}]
Optimization problemNO
Type of objective

Solver Data 

3.35/2.15	c Concrete v3.4 running
17.02/7.36	v <instantiation>
17.02/7.36	v       <list>
17.02/7.36	v         w3 w4 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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18] z[19] z[20] z[21] z[22] z[23]
17.02/7.36	v       </list>
17.02/7.36	v       <values>
17.02/7.36	v         120 0 5 6 7 20 22 12 24 14 17 21 23 2 18 16 10 19 3 13 9 15 8 1 25 4 11 9 1 1 12 0 13 25 3 1 1 4 2 1 5 2 1 3 0 4 0 6 4 5 11 6 10 11 23 23 36 61 64 65 66 70 72 73 78 80 81 84 84 88 88 94 98 103 114 120
17.02/7.36	v       </values>
17.02/7.36	v     </instantiation>
17.02/7.36	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-4262717-1502467037/watcher-4262717-1502467037 -o /tmp/evaluation-result-4262717-1502467037/solver-4262717-1502467037 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13072 --watchdog 2580 bin/concrete HOME/instance-4262717-1502467037.xml 

pid=27492
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.44 1.45 1.48 2/199 27495
/proc/meminfo: memFree=30637248/32770624 swapFree=0/467304
[pid=27495] ppid=27492 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/27495/stat : 27495 (runsolver) D 27492 27495 13007 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 88614947 24240128 106 18446744073709551615 4194304 4338465 140732435027568 140732435025208 140602794042071 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 8196096 140732435034320 140732435034697 140732435034697 140732435038154 0
/proc/27495/statm: 5918 106 53 36 0 2156 0

[startup+0.100146 s]
/proc/loadavg: 1.44 1.45 1.48 2/199 27495
/proc/meminfo: memFree=30637248/32770624 swapFree=0/467304
[pid=27495] ppid=27492 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/27495/stat : 27495 (bash) S 27492 27495 13007 0 -1 4202496 897 6481 0 0 0 0 0 1 20 0 1 0 88614947 9867264 377 18446744073709551615 4194304 5098028 140732350026592 140732350020600 140119502998528 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 7 0 0 7196144 7232144 23097344 140732350034452 140732350034537 140732350034537 140732350037994 0
/proc/27495/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.201027 s]
/proc/loadavg: 1.44 1.45 1.48 2/199 27495
/proc/meminfo: memFree=30637248/32770624 swapFree=0/467304
[pid=27495] ppid=27492 vsize=13374796 CPUtime=0.09 cores=1,3,5,7
/proc/27495/stat : 27495 (java) S 27492 27495 13007 0 -1 1077944320 4356 12495 0 0 1 0 5 3 20 0 6 0 88614947 13695791104 4170 18446744073709551615 4194304 4196468 140732383802608 140732383785152 140062416203511 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
/proc/27495/statm: 3343699 4170 1943 1 0 3333196 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13374796

[startup+0.300258 s]
/proc/loadavg: 1.44 1.45 1.48 2/199 27495
/proc/meminfo: memFree=30637248/32770624 swapFree=0/467304
[pid=27495] ppid=27492 vsize=13974356 CPUtime=0.22 cores=1,3,5,7
/proc/27495/stat : 27495 (java) S 27492 27495 13007 0 -1 1077944320 6680 12495 0 0 13 1 5 3 20 0 15 0 88614947 14309740544 7852 18446744073709551615 4194304 4196468 140732383802608 140732383785152 140062416203511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
/proc/27495/statm: 3493589 7852 2942 1 0 3482965 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 13974356

[startup+0.700244 s]
/proc/loadavg: 1.44 1.45 1.48 2/199 27495
/proc/meminfo: memFree=30637248/32770624 swapFree=0/467304
[pid=27495] ppid=27492 vsize=13974784 CPUtime=0.74 cores=1,3,5,7
/proc/27495/stat : 27495 (java) S 27492 27495 13007 0 -1 1077944320 14071 12495 0 0 62 4 5 3 20 0 15 0 88614947 14310178816 15003 18446744073709551615 4194304 4196468 140732383802608 140732383785152 140062416203511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
/proc/27495/statm: 3493696 15003 3113 1 0 3482965 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 13974784

[startup+1.50126 s]
/proc/loadavg: 1.44 1.45 1.48 3/214 27558
/proc/meminfo: memFree=30530856/32770624 swapFree=0/467304
[pid=27495] ppid=27492 vsize=13985408 CPUtime=2.01 cores=1,3,5,7
/proc/27495/stat : 27495 (java) S 27492 27495 13007 0 -1 1077944320 26909 12495 0 0 184 9 5 3 20 0 15 0 88614947 14321057792 43365 18446744073709551615 4194304 4196468 140732383802608 140732383785152 140062416203511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
/proc/27495/statm: 3496352 43365 3370 1 0 3485525 0
[pid=27495/tid=27545] ppid=27492 vsize=13985408 CPUtime=1.33 cores=1,3,5,7
/proc/27495/task/27545/stat : 27545 (java) R 27492 27495 13007 0 -1 4202560 20504 12495 0 0 119 6 5 3 20 0 15 0 88614965 14321057792 43365 18446744073709551615 4194304 4196468 140732383802608 140062420423664 140062416215446 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27546] ppid=27492 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27546/stat : 27546 (java) S 27492 27495 13007 0 -1 1077944384 196 12495 0 0 0 0 5 3 20 0 15 0 88614966 14321057792 43365 18446744073709551615 4194304 4196468 140732383802608 140062377101584 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27547] ppid=27492 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/27495/task/27547/stat : 27547 (java) S 27492 27495 13007 0 -1 1077944384 37 12495 0 0 1 0 5 3 20 0 15 0 88614966 14321057792 43365 18446744073709551615 4194304 4196468 140732383802608 140062376049040 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27548] ppid=27492 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/27495/task/27548/stat : 27548 (java) S 27492 27495 13007 0 -1 1077944384 33 12495 0 0 1 0 5 3 20 0 15 0 88614966 14321057792 43365 18446744073709551615 4194304 4196468 140732383802608 140062374996496 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27549] ppid=27492 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/27495/task/27549/stat : 27549 (java) S 27492 27495 13007 0 -1 1077944384 50 12495 0 0 1 0 5 3 20 0 15 0 88614966 14321057792 43365 18446744073709551615 4194304 4196468 140732383802608 140062012926608 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27550] ppid=27492 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/27495/task/27550/stat : 27550 (java) S 27492 27495 13007 0 -1 1077944384 637 12495 0 0 1 0 5 3 20 0 15 0 88614967 14321057792 43365 18446744073709551615 4194304 4196468 140732383802608 140061332949488 140062416214658 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27551] ppid=27492 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27551/stat : 27551 (java) S 27492 27495 13007 0 -1 1077944384 56 12495 0 0 0 0 5 3 20 0 15 0 88614968 14321057792 43365 18446744073709551615 4194304 4196468 140732383802608 140061331895712 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27552] ppid=27492 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27552/stat : 27552 (java) S 27492 27495 13007 0 -1 1077944384 43 12495 0 0 0 0 5 3 20 0 15 0 88614968 14321057792 43365 18446744073709551615 4194304 4196468 140732383802608 140061330843136 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27553] ppid=27492 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27553/stat : 27553 (java) S 27492 27495 13007 0 -1 1077944384 3 12495 0 0 0 0 5 3 20 0 15 0 88614970 14321057792 43365 18446744073709551615 4194304 4196468 140732383802608 140061329791696 140062416222107 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27554] ppid=27492 vsize=13985408 CPUtime=0.28 cores=1,3,5,7
/proc/27495/task/27554/stat : 27554 (java) S 27492 27495 13007 0 -1 1077944384 1242 12495 0 0 20 0 5 3 20 0 15 0 88614970 14321057792 43365 18446744073709551615 4194304 4196468 140732383802608 140061328738288 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27555] ppid=27492 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/27495/task/27555/stat : 27555 (java) R 27492 27495 13007 0 -1 4202560 568 12495 0 0 13 0 5 3 20 0 15 0 88614971 14321057792 43365 18446744073709551615 4194304 4196468 140732383802608 140061327685744 140062408444901 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27556] ppid=27492 vsize=13985408 CPUtime=0.32 cores=1,3,5,7
/proc/27495/task/27556/stat : 27556 (java) R 27492 27495 13007 0 -1 1077944384 1379 12495 0 0 24 0 5 3 20 0 15 0 88614971 14321057792 43365 18446744073709551615 4194304 4196468 140732383802608 140061326633200 140062416214658 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27557] ppid=27492 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27557/stat : 27557 (java) S 27492 27495 13007 0 -1 1077944384 3 12495 0 0 0 0 5 3 20 0 15 0 88614971 14321057792 43365 18446744073709551615 4194304 4196468 140732383802608 140061325580896 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27558] ppid=27492 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27558/stat : 27558 (java) S 27492 27495 13007 0 -1 1077944384 3 12495 0 0 0 0 5 3 20 0 15 0 88614974 14321057792 43365 18446744073709551615 4194304 4196468 140732383802608 140061324528432 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 13985408

[startup+3.10104 s]
/proc/loadavg: 1.44 1.45 1.48 6/214 27558
/proc/meminfo: memFree=30458960/32770624 swapFree=0/467604
[pid=27495] ppid=27492 vsize=13997884 CPUtime=5.98 cores=1,3,5,7
/proc/27495/stat : 27495 (java) S 27492 27495 13007 0 -1 1077944320 39161 12495 0 0 575 15 5 3 20 0 15 0 88614947 14333833216 60586 18446744073709551615 4194304 4196468 140732383802608 140732383785152 140062416203511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
/proc/27495/statm: 3499471 60586 3443 1 0 3488085 0
[pid=27495/tid=27545] ppid=27492 vsize=13997884 CPUtime=2.92 cores=1,3,5,7
/proc/27495/task/27545/stat : 27545 (java) R 27492 27495 13007 0 -1 4202560 28505 12495 0 0 275 9 5 3 20 0 15 0 88614965 14333833216 60586 18446744073709551615 4194304 4196468 140732383802608 140062420433936 140062416225437 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27546] ppid=27492 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27546/stat : 27546 (java) S 27492 27495 13007 0 -1 1077944384 196 12495 0 0 0 0 5 3 20 0 15 0 88614966 14333833216 60586 18446744073709551615 4194304 4196468 140732383802608 140062377101584 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27547] ppid=27492 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/27495/task/27547/stat : 27547 (java) S 27492 27495 13007 0 -1 1077944384 37 12495 0 0 1 0 5 3 20 0 15 0 88614966 14333833216 60586 18446744073709551615 4194304 4196468 140732383802608 140062376049040 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27548] ppid=27492 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/27495/task/27548/stat : 27548 (java) S 27492 27495 13007 0 -1 1077944384 33 12495 0 0 1 0 5 3 20 0 15 0 88614966 14333833216 60586 18446744073709551615 4194304 4196468 140732383802608 140062374996496 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27549] ppid=27492 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/27495/task/27549/stat : 27549 (java) S 27492 27495 13007 0 -1 1077944384 50 12495 0 0 1 0 5 3 20 0 15 0 88614966 14333833216 60586 18446744073709551615 4194304 4196468 140732383802608 140062012926608 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27550] ppid=27492 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/27495/task/27550/stat : 27550 (java) S 27492 27495 13007 0 -1 1077944384 640 12495 0 0 1 0 5 3 20 0 15 0 88614967 14333833216 60586 18446744073709551615 4194304 4196468 140732383802608 140061332949488 140062416214658 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27551] ppid=27492 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27551/stat : 27551 (java) S 27492 27495 13007 0 -1 1077944384 56 12495 0 0 0 0 5 3 20 0 15 0 88614968 14333833216 60586 18446744073709551615 4194304 4196468 140732383802608 140061331895712 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27552] ppid=27492 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27552/stat : 27552 (java) S 27492 27495 13007 0 -1 1077944384 43 12495 0 0 0 0 5 3 20 0 15 0 88614968 14333833216 60586 18446744073709551615 4194304 4196468 140732383802608 140061330843136 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27553] ppid=27492 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27553/stat : 27553 (java) S 27492 27495 13007 0 -1 1077944384 3 12495 0 0 0 0 5 3 20 0 15 0 88614970 14333833216 60586 18446744073709551615 4194304 4196468 140732383802608 140061329791696 140062416222107 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27554] ppid=27492 vsize=13997884 CPUtime=1.2 cores=1,3,5,7
/proc/27495/task/27554/stat : 27554 (java) R 27492 27495 13007 0 -1 4202560 2932 12495 0 0 111 1 5 3 20 0 15 0 88614970 14333833216 60586 18446744073709551615 4194304 4196468 140732383802608 140061328719488 140062399700299 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27555] ppid=27492 vsize=13997884 CPUtime=0.96 cores=1,3,5,7
/proc/27495/task/27555/stat : 27555 (java) R 27492 27495 13007 0 -1 4202560 1475 12495 0 0 87 1 5 3 20 0 15 0 88614971 14333833216 60586 18446744073709551615 4194304 4196468 140732383802608 140061327684928 140062395920647 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27556] ppid=27492 vsize=13997884 CPUtime=1.02 cores=1,3,5,7
/proc/27495/task/27556/stat : 27556 (java) S 27492 27495 13007 0 -1 1077944384 3031 12495 0 0 93 1 5 3 20 0 15 0 88614971 14333833216 60586 18446744073709551615 4194304 4196468 140732383802608 140061326633200 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27557] ppid=27492 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27557/stat : 27557 (java) S 27492 27495 13007 0 -1 1077944384 3 12495 0 0 0 0 5 3 20 0 15 0 88614971 14333833216 60586 18446744073709551615 4194304 4196468 140732383802608 140061325580896 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27558] ppid=27492 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27558/stat : 27558 (java) S 27492 27495 13007 0 -1 1077944384 3 12495 0 0 0 0 5 3 20 0 15 0 88614974 14333833216 60586 18446744073709551615 4194304 4196468 140732383802608 140061324528432 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 13997884

[startup+6.30081 s]
/proc/loadavg: 1.49 1.46 1.48 5/214 27558
/proc/meminfo: memFree=30254572/32770624 swapFree=0/467608
[pid=27495] ppid=27492 vsize=14069564 CPUtime=15.29 cores=1,3,5,7
/proc/27495/stat : 27495 (java) S 27492 27495 13007 0 -1 1077944320 70382 12495 0 0 1493 28 5 3 20 0 15 0 88614947 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140732383785152 140062416203511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
/proc/27495/statm: 3517391 126062 3475 1 0 3506005 0
[pid=27495/tid=27545] ppid=27492 vsize=14069564 CPUtime=6.01 cores=1,3,5,7
/proc/27495/task/27545/stat : 27545 (java) R 27492 27495 13007 0 -1 4202560 43049 12495 0 0 579 14 5 3 20 0 15 0 88614965 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140062420437512 140062416215446 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27546] ppid=27492 vsize=14069564 CPUtime=0.14 cores=1,3,5,7
/proc/27495/task/27546/stat : 27546 (java) S 27492 27495 13007 0 -1 1077944384 233 12495 0 0 5 1 5 3 20 0 15 0 88614966 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140062377101584 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27547] ppid=27492 vsize=14069564 CPUtime=0.15 cores=1,3,5,7
/proc/27495/task/27547/stat : 27547 (java) S 27492 27495 13007 0 -1 1077944384 106 12495 0 0 6 1 5 3 20 0 15 0 88614966 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140062376049040 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27548] ppid=27492 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/27495/task/27548/stat : 27548 (java) S 27492 27495 13007 0 -1 1077944384 159 12495 0 0 4 1 5 3 20 0 15 0 88614966 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140062374996496 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27549] ppid=27492 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/27495/task/27549/stat : 27549 (java) S 27492 27495 13007 0 -1 1077944384 238 12495 0 0 4 1 5 3 20 0 15 0 88614966 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140062012926608 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27550] ppid=27492 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/27495/task/27550/stat : 27550 (java) S 27492 27495 13007 0 -1 1077944384 2425 12495 0 0 4 0 5 3 20 0 15 0 88614967 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140061332949488 140062416214658 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27551] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27551/stat : 27551 (java) S 27492 27495 13007 0 -1 1077944384 56 12495 0 0 0 0 5 3 20 0 15 0 88614968 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140061331895776 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27552] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27552/stat : 27552 (java) S 27492 27495 13007 0 -1 1077944384 44 12495 0 0 0 0 5 3 20 0 15 0 88614968 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140061330843136 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27553] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27553/stat : 27553 (java) S 27492 27495 13007 0 -1 1077944384 3 12495 0 0 0 0 5 3 20 0 15 0 88614970 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140061329791696 140062416222107 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27554] ppid=27492 vsize=14069564 CPUtime=3.91 cores=1,3,5,7
/proc/27495/task/27554/stat : 27554 (java) S 27492 27495 13007 0 -1 1077944384 7719 12495 0 0 381 2 5 3 20 0 15 0 88614970 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140061328738288 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27555] ppid=27492 vsize=14069564 CPUtime=3.6 cores=1,3,5,7
/proc/27495/task/27555/stat : 27555 (java) R 27492 27495 13007 0 -1 4202560 6251 12495 0 0 349 3 5 3 20 0 15 0 88614971 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140061327672176 140062395636576 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27556] ppid=27492 vsize=14069564 CPUtime=1.66 cores=1,3,5,7
/proc/27495/task/27556/stat : 27556 (java) S 27492 27495 13007 0 -1 1077944384 7931 12495 0 0 155 3 5 3 20 0 15 0 88614971 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140061326633200 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27557] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27557/stat : 27557 (java) S 27492 27495 13007 0 -1 1077944384 3 12495 0 0 0 0 5 3 20 0 15 0 88614971 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140061325580896 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27558] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27558/stat : 27558 (java) S 27492 27495 13007 0 -1 1077944384 10 12495 0 0 0 0 5 3 20 0 15 0 88614974 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140061324528432 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
Current children cumulated CPU time (s) 15.29
Current children cumulated vsize (KiB) 14069564

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

[startup+6.4009 s]
/proc/loadavg: 1.49 1.46 1.48 5/214 27558
/proc/meminfo: memFree=30254572/32770624 swapFree=0/467608
[pid=27495] ppid=27492 vsize=14069564 CPUtime=15.39 cores=1,3,5,7
/proc/27495/stat : 27495 (java) S 27492 27495 13007 0 -1 1077944320 70384 12495 0 0 1503 28 5 3 20 0 15 0 88614947 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140732383785152 140062416203511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
/proc/27495/statm: 3517391 126062 3475 1 0 3506005 0
[pid=27495/tid=27545] ppid=27492 vsize=14069564 CPUtime=6.11 cores=1,3,5,7
/proc/27495/task/27545/stat : 27545 (java) R 27492 27495 13007 0 -1 4202560 43049 12495 0 0 589 14 5 3 20 0 15 0 88614965 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140062420437512 140062069708551 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27546] ppid=27492 vsize=14069564 CPUtime=0.14 cores=1,3,5,7
/proc/27495/task/27546/stat : 27546 (java) S 27492 27495 13007 0 -1 1077944384 233 12495 0 0 5 1 5 3 20 0 15 0 88614966 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140062377101584 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27547] ppid=27492 vsize=14069564 CPUtime=0.15 cores=1,3,5,7
/proc/27495/task/27547/stat : 27547 (java) S 27492 27495 13007 0 -1 1077944384 106 12495 0 0 6 1 5 3 20 0 15 0 88614966 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140062376049040 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27548] ppid=27492 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/27495/task/27548/stat : 27548 (java) S 27492 27495 13007 0 -1 1077944384 159 12495 0 0 4 1 5 3 20 0 15 0 88614966 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140062374996496 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27549] ppid=27492 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/27495/task/27549/stat : 27549 (java) S 27492 27495 13007 0 -1 1077944384 238 12495 0 0 4 1 5 3 20 0 15 0 88614966 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140062012926608 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27550] ppid=27492 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/27495/task/27550/stat : 27550 (java) S 27492 27495 13007 0 -1 1077944384 2425 12495 0 0 4 0 5 3 20 0 15 0 88614967 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140061332949488 140062416214658 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27551] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27551/stat : 27551 (java) S 27492 27495 13007 0 -1 1077944384 56 12495 0 0 0 0 5 3 20 0 15 0 88614968 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140061331895776 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27552] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27552/stat : 27552 (java) S 27492 27495 13007 0 -1 1077944384 44 12495 0 0 0 0 5 3 20 0 15 0 88614968 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140061330843136 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27553] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27553/stat : 27553 (java) S 27492 27495 13007 0 -1 1077944384 3 12495 0 0 0 0 5 3 20 0 15 0 88614970 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140061329791696 140062416222107 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27554] ppid=27492 vsize=14069564 CPUtime=3.91 cores=1,3,5,7
/proc/27495/task/27554/stat : 27554 (java) S 27492 27495 13007 0 -1 1077944384 7720 12495 0 0 381 2 5 3 20 0 15 0 88614970 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140061328738288 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27555] ppid=27492 vsize=14069564 CPUtime=3.6 cores=1,3,5,7
/proc/27495/task/27555/stat : 27555 (java) S 27492 27495 13007 0 -1 1077944384 6252 12495 0 0 349 3 5 3 20 0 15 0 88614971 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140061327685744 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27556] ppid=27492 vsize=14069564 CPUtime=1.66 cores=1,3,5,7
/proc/27495/task/27556/stat : 27556 (java) S 27492 27495 13007 0 -1 1077944384 7931 12495 0 0 155 3 5 3 20 0 15 0 88614971 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140061326633200 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27557] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27557/stat : 27557 (java) S 27492 27495 13007 0 -1 1077944384 3 12495 0 0 0 0 5 3 20 0 15 0 88614971 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140061325580896 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27558] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27558/stat : 27558 (java) S 27492 27495 13007 0 -1 1077944384 10 12495 0 0 0 0 5 3 20 0 15 0 88614974 14407233536 126062 18446744073709551615 4194304 4196468 140732383802608 140061324528432 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
Current children cumulated CPU time (s) 15.39
Current children cumulated vsize (KiB) 14069564

[startup+6.80069 s]
/proc/loadavg: 1.49 1.46 1.48 3/214 27558
/proc/meminfo: memFree=30149828/32770624 swapFree=0/467608
[pid=27495] ppid=27492 vsize=14069564 CPUtime=15.91 cores=1,3,5,7
/proc/27495/stat : 27495 (java) S 27492 27495 13007 0 -1 1077944320 70670 12495 0 0 1553 30 5 3 20 0 15 0 88614947 14407233536 129736 18446744073709551615 4194304 4196468 140732383802608 140732383785152 140062416203511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
/proc/27495/statm: 3517391 129736 3475 1 0 3506005 0
[pid=27495/tid=27545] ppid=27492 vsize=14069564 CPUtime=6.49 cores=1,3,5,7
/proc/27495/task/27545/stat : 27545 (java) R 27492 27495 13007 0 -1 4202560 43278 12495 0 0 627 14 5 3 20 0 15 0 88614965 14407233536 129736 18446744073709551615 4194304 4196468 140732383802608 140062420437472 140062069723118 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27546] ppid=27492 vsize=14069564 CPUtime=0.16 cores=1,3,5,7
/proc/27495/task/27546/stat : 27546 (java) S 27492 27495 13007 0 -1 1077944384 240 12495 0 0 6 2 5 3 20 0 15 0 88614966 14407233536 129736 18446744073709551615 4194304 4196468 140732383802608 140062377101584 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27547] ppid=27492 vsize=14069564 CPUtime=0.15 cores=1,3,5,7
/proc/27495/task/27547/stat : 27547 (java) S 27492 27495 13007 0 -1 1077944384 113 12495 0 0 6 1 5 3 20 0 15 0 88614966 14407233536 129736 18446744073709551615 4194304 4196468 140732383802608 140062376049040 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27548] ppid=27492 vsize=14069564 CPUtime=0.14 cores=1,3,5,7
/proc/27495/task/27548/stat : 27548 (java) S 27492 27495 13007 0 -1 1077944384 166 12495 0 0 5 1 5 3 20 0 15 0 88614966 14407233536 129736 18446744073709551615 4194304 4196468 140732383802608 140062374996496 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27549] ppid=27492 vsize=14069564 CPUtime=0.14 cores=1,3,5,7
/proc/27495/task/27549/stat : 27549 (java) S 27492 27495 13007 0 -1 1077944384 245 12495 0 0 5 1 5 3 20 0 15 0 88614966 14407233536 129736 18446744073709551615 4194304 4196468 140732383802608 140062012926608 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27550] ppid=27492 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/27495/task/27550/stat : 27550 (java) S 27492 27495 13007 0 -1 1077944384 2431 12495 0 0 4 0 5 3 20 0 15 0 88614967 14407233536 129736 18446744073709551615 4194304 4196468 140732383802608 140061332949488 140062416214658 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27551] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27551/stat : 27551 (java) S 27492 27495 13007 0 -1 1077944384 56 12495 0 0 0 0 5 3 20 0 15 0 88614968 14407233536 129736 18446744073709551615 4194304 4196468 140732383802608 140061331895776 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27552] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27552/stat : 27552 (java) S 27492 27495 13007 0 -1 1077944384 44 12495 0 0 0 0 5 3 20 0 15 0 88614968 14407233536 129736 18446744073709551615 4194304 4196468 140732383802608 140061330843136 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27553] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27553/stat : 27553 (java) S 27492 27495 13007 0 -1 1077944384 3 12495 0 0 0 0 5 3 20 0 15 0 88614970 14407233536 129736 18446744073709551615 4194304 4196468 140732383802608 140061329791696 140062416222107 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27554] ppid=27492 vsize=14069564 CPUtime=3.97 cores=1,3,5,7
/proc/27495/task/27554/stat : 27554 (java) S 27492 27495 13007 0 -1 1077944384 7732 12495 0 0 387 2 5 3 20 0 15 0 88614970 14407233536 129736 18446744073709551615 4194304 4196468 140732383802608 140061328738288 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27555] ppid=27492 vsize=14069564 CPUtime=3.62 cores=1,3,5,7
/proc/27495/task/27555/stat : 27555 (java) S 27492 27495 13007 0 -1 1077944384 6258 12495 0 0 351 3 5 3 20 0 15 0 88614971 14407233536 129736 18446744073709551615 4194304 4196468 140732383802608 140061327685744 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27556] ppid=27492 vsize=14069564 CPUtime=1.67 cores=1,3,5,7
/proc/27495/task/27556/stat : 27556 (java) S 27492 27495 13007 0 -1 1077944384 7936 12495 0 0 156 3 5 3 20 0 15 0 88614971 14407233536 129736 18446744073709551615 4194304 4196468 140732383802608 140061326633200 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27557] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27557/stat : 27557 (java) S 27492 27495 13007 0 -1 1077944384 3 12495 0 0 0 0 5 3 20 0 15 0 88614971 14407233536 129736 18446744073709551615 4194304 4196468 140732383802608 140061325580896 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27558] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27558/stat : 27558 (java) S 27492 27495 13007 0 -1 1077944384 10 12495 0 0 0 0 5 3 20 0 15 0 88614974 14407233536 129736 18446744073709551615 4194304 4196468 140732383802608 140061324528432 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
Current children cumulated CPU time (s) 15.91
Current children cumulated vsize (KiB) 14069564

[startup+7.20065 s]
/proc/loadavg: 1.49 1.46 1.48 3/214 27558
/proc/meminfo: memFree=30149828/32770624 swapFree=0/467608
[pid=27495] ppid=27492 vsize=14069564 CPUtime=16.75 cores=1,3,5,7
/proc/27495/stat : 27495 (java) S 27492 27495 13007 0 -1 1077944320 74994 12495 0 0 1633 34 5 3 20 0 15 0 88614947 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140732383785152 140062416203511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
/proc/27495/statm: 3517391 135450 3477 1 0 3506005 0
[pid=27495/tid=27545] ppid=27492 vsize=14069564 CPUtime=6.75 cores=1,3,5,7
/proc/27495/task/27545/stat : 27545 (java) S 27492 27495 13007 0 -1 1077944384 43525 12495 0 0 653 14 5 3 20 0 15 0 88614965 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140062420441232 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27546] ppid=27492 vsize=14069564 CPUtime=0.26 cores=1,3,5,7
/proc/27495/task/27546/stat : 27546 (java) R 27492 27495 13007 0 -1 4202560 290 12495 0 0 15 3 5 3 20 0 15 0 88614966 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140062377101584 140062408831719 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27547] ppid=27492 vsize=14069564 CPUtime=0.26 cores=1,3,5,7
/proc/27495/task/27547/stat : 27547 (java) R 27492 27495 13007 0 -1 4202560 158 12495 0 0 16 2 5 3 20 0 15 0 88614966 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140062376049040 140062401199915 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27548] ppid=27492 vsize=14069564 CPUtime=0.24 cores=1,3,5,7
/proc/27495/task/27548/stat : 27548 (java) R 27492 27495 13007 0 -1 4202560 188 12495 0 0 15 1 5 3 20 0 15 0 88614966 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140062374996496 140062408831719 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27549] ppid=27492 vsize=14069564 CPUtime=0.25 cores=1,3,5,7
/proc/27495/task/27549/stat : 27549 (java) R 27492 27495 13007 0 -1 4202560 1035 12495 0 0 15 2 5 3 20 0 15 0 88614966 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140062012926728 140062408831719 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27550] ppid=27492 vsize=14069564 CPUtime=0.16 cores=1,3,5,7
/proc/27495/task/27550/stat : 27550 (java) S 27492 27495 13007 0 -1 1077944384 3569 12495 0 0 8 0 5 3 20 0 15 0 88614967 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140061332948112 140062416213717 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27551] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27551/stat : 27551 (java) S 27492 27495 13007 0 -1 1077944384 57 12495 0 0 0 0 5 3 20 0 15 0 88614968 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140061331895376 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27552] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27552/stat : 27552 (java) S 27492 27495 13007 0 -1 1077944384 44 12495 0 0 0 0 5 3 20 0 15 0 88614968 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140061330843136 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27553] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27553/stat : 27553 (java) S 27492 27495 13007 0 -1 1077944384 3 12495 0 0 0 0 5 3 20 0 15 0 88614970 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140061329791696 140062416222107 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27554] ppid=27492 vsize=14069564 CPUtime=4 cores=1,3,5,7
/proc/27495/task/27554/stat : 27554 (java) S 27492 27495 13007 0 -1 1077944384 8330 12495 0 0 390 2 5 3 20 0 15 0 88614970 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140061328722224 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27555] ppid=27492 vsize=14069564 CPUtime=3.69 cores=1,3,5,7
/proc/27495/task/27555/stat : 27555 (java) S 27492 27495 13007 0 -1 1077944384 7516 12495 0 0 358 3 5 3 20 0 15 0 88614971 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140061327685744 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27556] ppid=27492 vsize=14069564 CPUtime=1.67 cores=1,3,5,7
/proc/27495/task/27556/stat : 27556 (java) S 27492 27495 13007 0 -1 1077944384 8111 12495 0 0 156 3 5 3 20 0 15 0 88614971 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140061326633200 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27557] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27557/stat : 27557 (java) S 27492 27495 13007 0 -1 1077944384 3 12495 0 0 0 0 5 3 20 0 15 0 88614971 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140061325580896 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27558] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27558/stat : 27558 (java) S 27492 27495 13007 0 -1 1077944384 10 12495 0 0 0 0 5 3 20 0 15 0 88614974 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140061324528432 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
Current children cumulated CPU time (s) 16.75
Current children cumulated vsize (KiB) 14069564

[startup+7.30076 s]
/proc/loadavg: 1.49 1.46 1.48 3/214 27558
/proc/meminfo: memFree=30149828/32770624 swapFree=0/467608
[pid=27495] ppid=27492 vsize=14069564 CPUtime=17.02 cores=1,3,5,7
/proc/27495/stat : 27495 (java) S 27492 27495 13007 0 -1 1077944320 75011 12495 0 0 1660 34 5 3 20 0 15 0 88614947 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140732383785152 140062416203511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
/proc/27495/statm: 3517391 135450 3477 1 0 3506005 0
[pid=27495/tid=27545] ppid=27492 vsize=14069564 CPUtime=6.75 cores=1,3,5,7
/proc/27495/task/27545/stat : 27545 (java) S 27492 27495 13007 0 -1 1077944384 43525 12495 0 0 653 14 5 3 20 0 15 0 88614965 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140062420441232 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27546] ppid=27492 vsize=14069564 CPUtime=0.32 cores=1,3,5,7
/proc/27495/task/27546/stat : 27546 (java) S 27492 27495 13007 0 -1 1077944384 291 12495 0 0 21 3 5 3 20 0 15 0 88614966 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140062377101584 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27547] ppid=27492 vsize=14069564 CPUtime=0.32 cores=1,3,5,7
/proc/27495/task/27547/stat : 27547 (java) S 27492 27495 13007 0 -1 1077944384 162 12495 0 0 22 2 5 3 20 0 15 0 88614966 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140062376049040 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27548] ppid=27492 vsize=14069564 CPUtime=0.3 cores=1,3,5,7
/proc/27495/task/27548/stat : 27548 (java) S 27492 27495 13007 0 -1 1077944384 196 12495 0 0 21 1 5 3 20 0 15 0 88614966 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140062374996496 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27549] ppid=27492 vsize=14069564 CPUtime=0.31 cores=1,3,5,7
/proc/27495/task/27549/stat : 27549 (java) S 27492 27495 13007 0 -1 1077944384 1035 12495 0 0 21 2 5 3 20 0 15 0 88614966 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140062012926608 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27550] ppid=27492 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/27495/task/27550/stat : 27550 (java) R 27492 27495 13007 0 -1 4202560 3571 12495 0 0 12 0 5 3 20 0 15 0 88614967 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140061332947888 140062401895211 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27551] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27551/stat : 27551 (java) S 27492 27495 13007 0 -1 1077944384 57 12495 0 0 0 0 5 3 20 0 15 0 88614968 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140061331895408 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27552] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27552/stat : 27552 (java) S 27492 27495 13007 0 -1 1077944384 44 12495 0 0 0 0 5 3 20 0 15 0 88614968 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140061330843136 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27553] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27553/stat : 27553 (java) S 27492 27495 13007 0 -1 1077944384 3 12495 0 0 0 0 5 3 20 0 15 0 88614970 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140061329791696 140062416222107 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27554] ppid=27492 vsize=14069564 CPUtime=4 cores=1,3,5,7
/proc/27495/task/27554/stat : 27554 (java) S 27492 27495 13007 0 -1 1077944384 8332 12495 0 0 390 2 5 3 20 0 15 0 88614970 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140061328722224 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27555] ppid=27492 vsize=14069564 CPUtime=3.69 cores=1,3,5,7
/proc/27495/task/27555/stat : 27555 (java) S 27492 27495 13007 0 -1 1077944384 7516 12495 0 0 358 3 5 3 20 0 15 0 88614971 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140061327685744 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27556] ppid=27492 vsize=14069564 CPUtime=1.67 cores=1,3,5,7
/proc/27495/task/27556/stat : 27556 (java) S 27492 27495 13007 0 -1 1077944384 8111 12495 0 0 156 3 5 3 20 0 15 0 88614971 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140061326633200 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27557] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27557/stat : 27557 (java) S 27492 27495 13007 0 -1 1077944384 3 12495 0 0 0 0 5 3 20 0 15 0 88614971 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140061325580896 140062416213717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
[pid=27495/tid=27558] ppid=27492 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/27495/task/27558/stat : 27558 (java) S 27492 27495 13007 0 -1 1077944384 10 12495 0 0 0 0 5 3 20 0 15 0 88614974 14407233536 135450 18446744073709551615 4194304 4196468 140732383802608 140061324528432 140062416214658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140732383807440 140732383810225 140732383810225 140732383813583 0
Current children cumulated CPU time (s) 17.02
Current children cumulated vsize (KiB) 14069564

Child status: 0
Real time (s): 7.38858
CPU time (s): 17.1992
CPU user time (s): 16.8111
CPU system time (s): 0.388151
CPU usage (%): 232.781
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.8111
system time used= 0.388151
maximum resident set size= 542700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87873
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= 7041
involuntary context switches= 100

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037854 second user time and 0.045016 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-11 17:43:23
IDJOB=4262717
IDBENCH=135705
IDSOLVER=2650
FILE ID=node135/4262717-1502467037
RUNJOBID= node135-1502411443-13072
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s25/TravellingSalesman-25-066_X2.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262717-1502467037/watcher-4262717-1502467037 -o /tmp/evaluation-result-4262717-1502467037/solver-4262717-1502467037 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13072 --watchdog 2580  bin/concrete HOME/instance-4262717-1502467037.xml

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

MD5SUM BENCH= 09321018be6bfcc628ddab34eddf7071
RANDOM SEED=254793681

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:        30637544 kB
MemAvailable:   31476640 kB
Buffers:          294604 kB
Cached:           836056 kB
SwapCached:            0 kB
Active:          1188552 kB
Inactive:         500704 kB
Active(anon):     558920 kB
Inactive(anon):    33140 kB
Active(file):     629632 kB
Inactive(file):   467564 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24540 kB
Writeback:             8 kB
AnonPages:        558604 kB
Mapped:            63384 kB
Shmem:             33464 kB
Slab:             142892 kB
SReclaimable:     115468 kB
SUnreclaim:        27424 kB
KernelStack:        3504 kB
PageTables:         8580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1384308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    382976 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= 61984 MiB
End job on node135 at 2017-08-11 17:43:30