Trace number 4248089

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
R1: Concrete 3.4SAT 34.9893 12.9547

General information on the benchmark

NameMarketSplit/MarketSplit-m1-gp/
MarketSplit-08.xml
MD5SUMc33b611f783ff62a93dcb2ff1216bc06
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.042851999
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints4
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":30}]
Minimum variable degree4
Maximum variable degree4
Distribution of variable degrees[{"degree":4,"count":30}]
Minimum constraint arity30
Maximum constraint arity30
Distribution of constraint arities[{"arity":30,"count":4}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":4}]
Optimization problemNO
Type of objective

Solver Data 

3.44/2.31	c Concrete v3.4 running
34.85/12.94	v <instantiation>
34.85/12.94	v       <list>
34.85/12.94	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29]
34.85/12.94	v       </list>
34.85/12.94	v       <values>
34.85/12.94	v         0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1
34.85/12.94	v       </values>
34.85/12.94	v     </instantiation>
34.85/12.94	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-4248089-1500742536/watcher-4248089-1500742536 -o /tmp/evaluation-result-4248089-1500742536/solver-4248089-1500742536 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500742536-25377 --watchdog 2560 bin/concrete HOME/instance-4248089-1500742536.xml 

pid=25401
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 0.91 0.93 1.24 5/243 25407
/proc/meminfo: memFree=31755228/32770624 swapFree=6544/179476
[pid=25405] ppid=25401 vsize=168 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25405/stat : 25405 (concrete) D 25401 25405 19643 0 -1 4194304 121 0 0 0 0 0 0 0 20 0 1 0 9518592 172032 1 33554432000 0 0 140727026685182 140730187637128 140354838424055 0 0 4096 0 18446744071580431491 0 0 17 13 0 0 0 0 0 0 0 6320128 140727026685182 0 0 0 0
/proc/25405/statm: 42 1 0 0 0 34 0

[startup+0.100143 s]
/proc/loadavg: 0.91 0.93 1.24 5/243 25407
/proc/meminfo: memFree=31755228/32770624 swapFree=6544/179476
[pid=25405] ppid=25401 vsize=9640 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/25405/stat : 25405 (bash) S 25401 25405 19643 0 -1 4202496 884 6412 1 1 0 0 0 2 20 0 1 0 9518592 9871360 378 33554432000 4194304 5098028 140730764936736 140730764930744 140483395451904 0 0 4100 65536 18446744071580971376 0 0 17 15 0 0 1 0 0 7196144 7232144 21704704 140730764944654 140730764944739 140730764944739 140730764947438 0
/proc/25405/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9640

[startup+0.200405 s]
/proc/loadavg: 0.91 0.93 1.24 5/243 25407
/proc/meminfo: memFree=31755228/32770624 swapFree=6544/179476
[pid=25405] ppid=25401 vsize=10302732 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/25405/stat : 25405 (java) S 25401 25405 19643 0 -1 1077944320 4686 12583 1 1 3 1 8 4 20 0 11 0 9518592 10549997568 4591 33554432000 4194304 4196468 140727281499648 140727281482192 140584319385335 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 1 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
/proc/25405/statm: 2575683 4591 2057 1 0 2564121 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10302732

[startup+0.30032 s]
/proc/loadavg: 0.91 0.93 1.24 5/243 25407
/proc/meminfo: memFree=31755228/32770624 swapFree=6544/179476
[pid=25405] ppid=25401 vsize=10902292 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/25405/stat : 25405 (java) S 25401 25405 19643 0 -1 1077944320 6840 12583 1 1 18 2 8 4 20 0 20 0 9518592 11163947008 8062 33554432000 4194304 4196468 140727281499648 140727281482192 140584319385335 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 1 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
/proc/25405/statm: 2725573 8062 2952 1 0 2713890 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 10902292

[startup+0.700216 s]
/proc/loadavg: 0.91 0.93 1.24 5/243 25407
/proc/meminfo: memFree=31755228/32770624 swapFree=6544/179476
[pid=25405] ppid=25401 vsize=10902720 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/25405/stat : 25405 (java) S 25401 25405 19643 0 -1 1077944320 12200 12583 1 1 69 4 8 4 20 0 20 0 9518592 11164385280 14979 33554432000 4194304 4196468 140727281499648 140727281482192 140584319385335 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 1 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
/proc/25405/statm: 2725680 14979 3114 1 0 2713890 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 10902720

[startup+1.5011 s]
/proc/loadavg: 0.91 0.93 1.24 3/284 25554
/proc/meminfo: memFree=31579660/32770624 swapFree=6544/180476
[pid=25405] ppid=25401 vsize=10913344 CPUtime=1.95 cores=1,3,5,7,9,11,13,15
/proc/25405/stat : 25405 (java) S 25401 25405 19643 0 -1 1077944320 24464 12583 2 1 176 7 8 4 20 0 20 0 9518592 11175264256 34008 33554432000 4194304 4196468 140727281499648 140727281482192 140584319385335 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 1 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
/proc/25405/statm: 2728336 34008 3370 1 0 2716450 0
[pid=25405/tid=25517] ppid=25401 vsize=10913344 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25517/stat : 25517 (java) R 25401 25405 19643 0 -1 4202560 19019 12583 1 1 117 5 8 4 20 0 20 0 9518608 11175264256 34008 33554432000 4194304 4196468 140727281499648 140584323609656 140584300948065 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25521] ppid=25401 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25521/stat : 25521 (java) S 25401 25405 19643 0 -1 1077944384 2 12583 0 1 0 0 8 4 20 0 20 0 9518609 11175264256 34008 33554432000 4194304 4196468 140727281499648 140584280345104 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25523] ppid=25401 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25523/stat : 25523 (java) S 25401 25405 19643 0 -1 1077944384 1 12583 0 1 0 0 8 4 20 0 20 0 9518609 11175264256 34008 33554432000 4194304 4196468 140727281499648 140583925160592 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25526] ppid=25401 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25526/stat : 25526 (java) S 25401 25405 19643 0 -1 1077944384 3 12583 0 1 0 0 8 4 20 0 20 0 9518609 11175264256 34008 33554432000 4194304 4196468 140727281499648 140583924107536 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25527] ppid=25401 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25527/stat : 25527 (java) S 25401 25405 19643 0 -1 1077944384 1 12583 0 1 0 0 8 4 20 0 20 0 9518609 11175264256 34008 33554432000 4194304 4196468 140727281499648 140583923054992 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25529] ppid=25401 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25529/stat : 25529 (java) S 25401 25405 19643 0 -1 1077944384 1 12583 0 1 0 0 8 4 20 0 20 0 9518609 11175264256 34008 33554432000 4194304 4196468 140727281499648 140583922002960 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25530] ppid=25401 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25530/stat : 25530 (java) S 25401 25405 19643 0 -1 1077944384 1 12583 0 1 0 0 8 4 20 0 20 0 9518609 11175264256 34008 33554432000 4194304 4196468 140727281499648 140583920950416 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25532] ppid=25401 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25532/stat : 25532 (java) S 25401 25405 19643 0 -1 1077944384 1 12583 0 1 0 0 8 4 20 0 20 0 9518609 11175264256 34008 33554432000 4194304 4196468 140727281499648 140583919897360 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25533] ppid=25401 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25533/stat : 25533 (java) S 25401 25405 19643 0 -1 1077944384 1 12583 0 1 0 0 8 4 20 0 20 0 9518609 11175264256 34008 33554432000 4194304 4196468 140727281499648 140583918844816 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25536] ppid=25401 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25536/stat : 25536 (java) S 25401 25405 19643 0 -1 1077944384 5 12583 0 1 0 0 8 4 20 0 20 0 9518611 11175264256 34008 33554432000 4194304 4196468 140727281499648 140583525472496 140584319396482 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25537] ppid=25401 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25537/stat : 25537 (java) S 25401 25405 19643 0 -1 1077944384 33 12583 0 1 0 0 8 4 20 0 20 0 9518612 11175264256 34008 33554432000 4194304 4196468 140727281499648 140583524418720 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25539] ppid=25401 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25539/stat : 25539 (java) S 25401 25405 19643 0 -1 1077944384 21 12583 0 1 0 0 8 4 20 0 20 0 9518612 11175264256 34008 33554432000 4194304 4196468 140727281499648 140583523365616 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25541] ppid=25401 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25541/stat : 25541 (java) S 25401 25405 19643 0 -1 1077944384 1 12583 0 1 0 0 8 4 20 0 20 0 9518616 11175264256 34008 33554432000 4194304 4196468 140727281499648 140583522314192 140584319403931 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25542] ppid=25401 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25542/stat : 25542 (java) S 25401 25405 19643 0 -1 1077944384 1088 12583 0 1 11 0 8 4 20 0 20 0 9518616 11175264256 34008 33554432000 4194304 4196468 140727281499648 140583521262320 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25543] ppid=25401 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25543/stat : 25543 (java) S 25401 25405 19643 0 -1 1077944384 314 12583 0 1 9 0 8 4 20 0 20 0 9518616 11175264256 34008 33554432000 4194304 4196468 140727281499648 140583520209776 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25544] ppid=25401 vsize=10913344 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25544/stat : 25544 (java) S 25401 25405 19643 0 -1 1077944384 728 12583 0 1 14 0 8 4 20 0 20 0 9518616 11175264256 34008 33554432000 4194304 4196468 140727281499648 140583519156720 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25545] ppid=25401 vsize=10913344 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25545/stat : 25545 (java) S 25401 25405 19643 0 -1 1077944384 1106 12583 0 1 23 0 8 4 20 0 20 0 9518616 11175264256 34008 33554432000 4194304 4196468 140727281499648 140583518104176 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25551] ppid=25401 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25551/stat : 25551 (java) S 25401 25405 19643 0 -1 1077944384 3 12583 0 1 0 0 8 4 20 0 20 0 9518617 11175264256 34008 33554432000 4194304 4196468 140727281499648 140583517051360 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25553] ppid=25401 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25553/stat : 25553 (java) S 25401 25405 19643 0 -1 1077944384 3 12583 0 1 0 0 8 4 20 0 20 0 9518617 11175264256 34008 33554432000 4194304 4196468 140727281499648 140583515998896 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 10913344

[startup+3.10114 s]
/proc/loadavg: 0.91 0.93 1.24 8/284 25554
/proc/meminfo: memFree=31410484/32770624 swapFree=6544/182744
[pid=25405] ppid=25401 vsize=10993404 CPUtime=5.29 cores=1,3,5,7,9,11,13,15
/proc/25405/stat : 25405 (java) S 25401 25405 19643 0 -1 1077944320 54261 12583 2 1 498 19 8 4 20 0 20 0 9518592 11257245696 62071 33554432000 4194304 4196468 140727281499648 140727281482192 140584319385335 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 1 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
/proc/25405/statm: 2748351 62071 3470 1 0 2735906 0
[pid=25405/tid=25517] ppid=25401 vsize=10993404 CPUtime=2.87 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25517/stat : 25517 (java) R 25401 25405 19643 0 -1 4202560 39234 12583 1 1 266 9 8 4 20 0 20 0 9518608 11257245696 62071 33554432000 4194304 4196468 140727281499648 140584323593224 140584299661084 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25521] ppid=25401 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25521/stat : 25521 (java) S 25401 25405 19643 0 -1 1077944384 51 12583 0 1 0 0 8 4 20 0 20 0 9518609 11257245696 62071 33554432000 4194304 4196468 140727281499648 140584280345104 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25523] ppid=25401 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25523/stat : 25523 (java) S 25401 25405 19643 0 -1 1077944384 14 12583 0 1 0 0 8 4 20 0 20 0 9518609 11257245696 62071 33554432000 4194304 4196468 140727281499648 140583925160592 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25526] ppid=25401 vsize=10993404 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25526/stat : 25526 (java) S 25401 25405 19643 0 -1 1077944384 21 12583 0 1 1 0 8 4 20 0 20 0 9518609 11257245696 62071 33554432000 4194304 4196468 140727281499648 140583924107536 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25527] ppid=25401 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25527/stat : 25527 (java) S 25401 25405 19643 0 -1 1077944384 120 12583 0 1 0 0 8 4 20 0 20 0 9518609 11257245696 62071 33554432000 4194304 4196468 140727281499648 140583923054992 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25529] ppid=25401 vsize=10993404 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25529/stat : 25529 (java) S 25401 25405 19643 0 -1 1077944384 35 12583 0 1 1 0 8 4 20 0 20 0 9518609 11257245696 62071 33554432000 4194304 4196468 140727281499648 140583922002960 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25530] ppid=25401 vsize=10993404 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25530/stat : 25530 (java) S 25401 25405 19643 0 -1 1077944384 43 12583 0 1 1 0 8 4 20 0 20 0 9518609 11257245696 62071 33554432000 4194304 4196468 140727281499648 140583920950416 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25532] ppid=25401 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25532/stat : 25532 (java) S 25401 25405 19643 0 -1 1077944384 15 12583 0 1 0 0 8 4 20 0 20 0 9518609 11257245696 62071 33554432000 4194304 4196468 140727281499648 140583919897360 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25533] ppid=25401 vsize=10993404 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25533/stat : 25533 (java) S 25401 25405 19643 0 -1 1077944384 17 12583 0 1 1 0 8 4 20 0 20 0 9518609 11257245696 62071 33554432000 4194304 4196468 140727281499648 140583918844816 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25536] ppid=25401 vsize=10993404 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25536/stat : 25536 (java) S 25401 25405 19643 0 -1 1077944384 1593 12583 0 1 2 0 8 4 20 0 20 0 9518611 11257245696 62071 33554432000 4194304 4196468 140727281499648 140583525472496 140584319396482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25537] ppid=25401 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25537/stat : 25537 (java) S 25401 25405 19643 0 -1 1077944384 55 12583 0 1 0 0 8 4 20 0 20 0 9518612 11257245696 62071 33554432000 4194304 4196468 140727281499648 140583524418784 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25539] ppid=25401 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25539/stat : 25539 (java) S 25401 25405 19643 0 -1 1077944384 43 12583 0 1 0 0 8 4 20 0 20 0 9518612 11257245696 62071 33554432000 4194304 4196468 140727281499648 140583523365632 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25541] ppid=25401 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25541/stat : 25541 (java) S 25401 25405 19643 0 -1 1077944384 1 12583 0 1 0 0 8 4 20 0 20 0 9518616 11257245696 62071 33554432000 4194304 4196468 140727281499648 140583522314192 140584319403931 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25542] ppid=25401 vsize=10993404 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25542/stat : 25542 (java) R 25401 25405 19643 0 -1 4202560 4029 12583 0 1 48 1 8 4 20 0 20 0 9518616 11257245696 62071 33554432000 4194304 4196468 140727281499648 140583521243680 140584302882105 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25543] ppid=25401 vsize=10993404 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25543/stat : 25543 (java) S 25401 25405 19643 0 -1 1077944384 1022 12583 0 1 36 1 8 4 20 0 20 0 9518616 11257245696 62071 33554432000 4194304 4196468 140727281499648 140583520209776 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25544] ppid=25401 vsize=10993404 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25544/stat : 25544 (java) R 25401 25405 19643 0 -1 4202560 2810 12583 0 1 50 1 8 4 20 0 20 0 9518616 11257245696 62071 33554432000 4194304 4196468 140727281499648 140583519137736 140584302882064 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25545] ppid=25401 vsize=10993404 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25545/stat : 25545 (java) S 25401 25405 19643 0 -1 1077944384 3016 12583 0 1 86 0 8 4 20 0 20 0 9518616 11257245696 62071 33554432000 4194304 4196468 140727281499648 140583518104176 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25551] ppid=25401 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25551/stat : 25551 (java) S 25401 25405 19643 0 -1 1077944384 3 12583 0 1 0 0 8 4 20 0 20 0 9518617 11257245696 62071 33554432000 4194304 4196468 140727281499648 140583517051360 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25553] ppid=25401 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25553/stat : 25553 (java) S 25401 25405 19643 0 -1 1077944384 7 12583 0 1 0 0 8 4 20 0 20 0 9518617 11257245696 62071 33554432000 4194304 4196468 140727281499648 140583515998896 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 10993404

[startup+6.30077 s]
/proc/loadavg: 1.16 0.98 1.25 7/284 25554
/proc/meminfo: memFree=30956132/32770624 swapFree=6544/183036
[pid=25405] ppid=25401 vsize=10995452 CPUtime=15.64 cores=1,3,5,7,9,11,13,15
/proc/25405/stat : 25405 (java) S 25401 25405 19643 0 -1 1077944320 66683 12583 2 1 1523 29 8 4 20 0 20 0 9518592 11259342848 113008 33554432000 4194304 4196468 140727281499648 140727281482192 140584319385335 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 1 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
/proc/25405/statm: 2748863 113008 3481 1 0 2736418 0
[pid=25405/tid=25517] ppid=25401 vsize=10995452 CPUtime=5.99 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25517/stat : 25517 (java) R 25401 25405 19643 0 -1 4202560 44810 12583 1 1 575 12 8 4 20 0 20 0 9518608 11259342848 113008 33554432000 4194304 4196468 140727281499648 140584323610344 140583964730240 0 4 0 16800975 0 0 0 -1 15 0 0 12 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25521] ppid=25401 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25521/stat : 25521 (java) S 25401 25405 19643 0 -1 1077944384 73 12583 0 1 3 1 8 4 20 0 20 0 9518609 11259342848 113008 33554432000 4194304 4196468 140727281499648 140584280345104 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25523] ppid=25401 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25523/stat : 25523 (java) S 25401 25405 19643 0 -1 1077944384 23 12583 0 1 2 1 8 4 20 0 20 0 9518609 11259342848 113008 33554432000 4194304 4196468 140727281499648 140583925160592 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25526] ppid=25401 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25526/stat : 25526 (java) S 25401 25405 19643 0 -1 1077944384 39 12583 0 1 3 0 8 4 20 0 20 0 9518609 11259342848 113008 33554432000 4194304 4196468 140727281499648 140583924107536 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25527] ppid=25401 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25527/stat : 25527 (java) S 25401 25405 19643 0 -1 1077944384 178 12583 0 1 3 0 8 4 20 0 20 0 9518609 11259342848 113008 33554432000 4194304 4196468 140727281499648 140583923054992 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25529] ppid=25401 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25529/stat : 25529 (java) S 25401 25405 19643 0 -1 1077944384 52 12583 0 1 3 1 8 4 20 0 20 0 9518609 11259342848 113008 33554432000 4194304 4196468 140727281499648 140583922002960 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25530] ppid=25401 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25530/stat : 25530 (java) S 25401 25405 19643 0 -1 1077944384 116 12583 0 1 4 0 8 4 20 0 20 0 9518609 11259342848 113008 33554432000 4194304 4196468 140727281499648 140583920950416 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25532] ppid=25401 vsize=10995452 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25532/stat : 25532 (java) S 25401 25405 19643 0 -1 1077944384 20 12583 0 1 2 0 8 4 20 0 20 0 9518609 11259342848 113008 33554432000 4194304 4196468 140727281499648 140583919897360 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25533] ppid=25401 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25533/stat : 25533 (java) S 25401 25405 19643 0 -1 1077944384 30 12583 0 1 3 1 8 4 20 0 20 0 9518609 11259342848 113008 33554432000 4194304 4196468 140727281499648 140583918844816 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25536] ppid=25401 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25536/stat : 25536 (java) S 25401 25405 19643 0 -1 1077944384 2332 12583 0 1 4 0 8 4 20 0 20 0 9518611 11259342848 113008 33554432000 4194304 4196468 140727281499648 140583525472496 140584319396482 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25537] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25537/stat : 25537 (java) S 25401 25405 19643 0 -1 1077944384 56 12583 0 1 0 0 8 4 20 0 20 0 9518612 11259342848 113008 33554432000 4194304 4196468 140727281499648 140583524418848 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25539] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25539/stat : 25539 (java) S 25401 25405 19643 0 -1 1077944384 43 12583 0 1 0 0 8 4 20 0 20 0 9518612 11259342848 113008 33554432000 4194304 4196468 140727281499648 140583523365632 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25541] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25541/stat : 25541 (java) S 25401 25405 19643 0 -1 1077944384 1 12583 0 1 0 0 8 4 20 0 20 0 9518616 11259342848 113008 33554432000 4194304 4196468 140727281499648 140583522314192 140584319403931 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25542] ppid=25401 vsize=10995452 CPUtime=2.45 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25542/stat : 25542 (java) S 25401 25405 19643 0 -1 1077944384 6091 12583 0 1 232 1 8 4 20 0 20 0 9518616 11259342848 113008 33554432000 4194304 4196468 140727281499648 140583521262320 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25543] ppid=25401 vsize=10995452 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25543/stat : 25543 (java) S 25401 25405 19643 0 -1 1077944384 1729 12583 0 1 216 1 8 4 20 0 20 0 9518616 11259342848 113008 33554432000 4194304 4196468 140727281499648 140583520209776 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25544] ppid=25401 vsize=10995452 CPUtime=2.54 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25544/stat : 25544 (java) S 25401 25405 19643 0 -1 1077944384 4021 12583 0 1 241 1 8 4 20 0 20 0 9518616 11259342848 113008 33554432000 4194304 4196468 140727281499648 140583519156720 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25545] ppid=25401 vsize=10995452 CPUtime=2.36 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25545/stat : 25545 (java) S 25401 25405 19643 0 -1 1077944384 4924 12583 0 1 223 1 8 4 20 0 20 0 9518616 11259342848 113008 33554432000 4194304 4196468 140727281499648 140583518104176 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25551] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25551/stat : 25551 (java) S 25401 25405 19643 0 -1 1077944384 3 12583 0 1 0 0 8 4 20 0 20 0 9518617 11259342848 113008 33554432000 4194304 4196468 140727281499648 140583517051360 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25553] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25553/stat : 25553 (java) S 25401 25405 19643 0 -1 1077944384 10 12583 0 1 0 0 8 4 20 0 20 0 9518617 11259342848 113008 33554432000 4194304 4196468 140727281499648 140583515998896 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
Current children cumulated CPU time (s) 15.64
Current children cumulated vsize (KiB) 10995452

[startup+12.7012 s]
/proc/loadavg: 1.39 1.03 1.27 4/284 25554
/proc/meminfo: memFree=30619524/32770624 swapFree=6544/183052
[pid=25405] ppid=25401 vsize=10995452 CPUtime=33.95 cores=1,3,5,7,9,11,13,15
/proc/25405/stat : 25405 (java) S 25401 25405 19643 0 -1 1077944320 79147 12583 2 1 3343 40 8 4 20 0 20 0 9518592 11259342848 145923 33554432000 4194304 4196468 140727281499648 140727281482192 140584319385335 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 1 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
/proc/25405/statm: 2748863 145923 3482 1 0 2736418 0
[pid=25405/tid=25517] ppid=25401 vsize=10995452 CPUtime=12.35 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25517/stat : 25517 (java) S 25401 25405 19643 0 -1 1077944384 47584 12583 1 1 1208 15 8 4 20 0 20 0 9518608 11259342848 145923 33554432000 4194304 4196468 140727281499648 140584323614816 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25521] ppid=25401 vsize=10995452 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25521/stat : 25521 (java) R 25401 25405 19643 0 -1 4202560 1314 12583 0 1 4 2 8 4 20 0 20 0 9518609 11259342848 145923 33554432000 4194304 4196468 140727281499648 140584280345104 140584304083105 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25523] ppid=25401 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25523/stat : 25523 (java) R 25401 25405 19643 0 -1 1077944384 75 12583 0 1 2 1 8 4 20 0 20 0 9518609 11259342848 145923 33554432000 4194304 4196468 140727281499648 140583925160592 140584319395541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25526] ppid=25401 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25526/stat : 25526 (java) R 25401 25405 19643 0 -1 4202560 55 12583 0 1 4 1 8 4 20 0 20 0 9518609 11259342848 145923 33554432000 4194304 4196468 140727281499648 140583924107536 140584304083105 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25527] ppid=25401 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25527/stat : 25527 (java) R 25401 25405 19643 0 -1 4202560 223 12583 0 1 4 1 8 4 20 0 20 0 9518609 11259342848 146435 33554432000 4194304 4196468 140727281499648 140583923054992 140584304083105 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25529] ppid=25401 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25529/stat : 25529 (java) S 25401 25405 19643 0 -1 1077944384 64 12583 0 1 3 1 8 4 20 0 20 0 9518609 11259342848 146435 33554432000 4194304 4196468 140727281499648 140583922002960 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25530] ppid=25401 vsize=10995452 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25530/stat : 25530 (java) R 25401 25405 19643 0 -1 4202560 158 12583 0 1 5 1 8 4 20 0 20 0 9518609 11259342848 146435 33554432000 4194304 4196468 140727281499648 140583920950416 140584304393723 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25532] ppid=25401 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25532/stat : 25532 (java) S 25401 25405 19643 0 -1 1077944384 64 12583 0 1 3 1 8 4 20 0 20 0 9518609 11259342848 146435 33554432000 4194304 4196468 140727281499648 140583919897360 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25533] ppid=25401 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25533/stat : 25533 (java) R 25401 25405 19643 0 -1 4202560 53 12583 0 1 4 1 8 4 20 0 20 0 9518609 11259342848 146435 33554432000 4194304 4196468 140727281499648 140583918844816 140584301062947 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25536] ppid=25401 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25536/stat : 25536 (java) S 25401 25405 19643 0 -1 1077944384 2630 12583 0 1 5 0 8 4 20 0 20 0 9518611 11259342848 146435 33554432000 4194304 4196468 140727281499648 140583525470896 140584319395541 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25537] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25537/stat : 25537 (java) S 25401 25405 19643 0 -1 1077944384 56 12583 0 1 0 0 8 4 20 0 20 0 9518612 11259342848 146435 33554432000 4194304 4196468 140727281499648 140583524418848 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25539] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25539/stat : 25539 (java) S 25401 25405 19643 0 -1 1077944384 43 12583 0 1 0 0 8 4 20 0 20 0 9518612 11259342848 146435 33554432000 4194304 4196468 140727281499648 140583523365632 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25541] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25541/stat : 25541 (java) S 25401 25405 19643 0 -1 1077944384 1 12583 0 1 0 0 8 4 20 0 20 0 9518616 11259342848 146435 33554432000 4194304 4196468 140727281499648 140583522314192 140584319403931 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25542] ppid=25401 vsize=10995452 CPUtime=5.33 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25542/stat : 25542 (java) S 25401 25405 19643 0 -1 1077944384 7456 12583 0 1 519 2 8 4 20 0 20 0 9518616 11259342848 146435 33554432000 4194304 4196468 140727281499648 140583521262320 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25543] ppid=25401 vsize=10995452 CPUtime=5.26 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25543/stat : 25543 (java) S 25401 25405 19643 0 -1 1077944384 2681 12583 0 1 512 2 8 4 20 0 20 0 9518616 11259342848 146435 33554432000 4194304 4196468 140727281499648 140583520209776 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25544] ppid=25401 vsize=10995452 CPUtime=5.53 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25544/stat : 25544 (java) S 25401 25405 19643 0 -1 1077944384 5677 12583 0 1 539 2 8 4 20 0 20 0 9518616 11259342848 146435 33554432000 4194304 4196468 140727281499648 140583519156720 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25545] ppid=25401 vsize=10995452 CPUtime=5.38 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25545/stat : 25545 (java) S 25401 25405 19643 0 -1 1077944384 8849 12583 0 1 523 3 8 4 20 0 20 0 9518616 11259342848 146435 33554432000 4194304 4196468 140727281499648 140583518104176 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25551] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25551/stat : 25551 (java) S 25401 25405 19643 0 -1 1077944384 3 12583 0 1 0 0 8 4 20 0 20 0 9518617 11259342848 146435 33554432000 4194304 4196468 140727281499648 140583517051360 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25553] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25553/stat : 25553 (java) S 25401 25405 19643 0 -1 1077944384 40 12583 0 1 0 0 8 4 20 0 20 0 9518617 11259342848 146435 33554432000 4194304 4196468 140727281499648 140583515998896 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
Current children cumulated CPU time (s) 33.95
Current children cumulated vsize (KiB) 10995452

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

[startup+12.802 s]
/proc/loadavg: 1.39 1.03 1.27 4/284 25554
/proc/meminfo: memFree=30619524/32770624 swapFree=6544/183052
[pid=25405] ppid=25401 vsize=10995452 CPUtime=34.49 cores=1,3,5,7,9,11,13,15
/proc/25405/stat : 25405 (java) S 25401 25405 19643 0 -1 1077944320 85467 12583 2 1 3396 41 8 4 20 0 20 0 9518592 11259342848 146477 33554432000 4194304 4196468 140727281499648 140727281482192 140584319385335 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 1 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
/proc/25405/statm: 2748863 146477 3494 1 0 2736418 0
[pid=25405/tid=25517] ppid=25401 vsize=10995452 CPUtime=12.35 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25517/stat : 25517 (java) S 25401 25405 19643 0 -1 1077944384 47585 12583 1 1 1208 15 8 4 20 0 20 0 9518608 11259342848 146477 33554432000 4194304 4196468 140727281499648 140584323614816 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25521] ppid=25401 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25521/stat : 25521 (java) S 25401 25405 19643 0 -1 1077944384 1317 12583 0 1 11 2 8 4 20 0 20 0 9518609 11259342848 146477 33554432000 4194304 4196468 140727281499648 140584280345104 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25523] ppid=25401 vsize=10995452 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25523/stat : 25523 (java) S 25401 25405 19643 0 -1 1077944384 79 12583 0 1 7 1 8 4 20 0 20 0 9518609 11259342848 146477 33554432000 4194304 4196468 140727281499648 140583925160592 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25526] ppid=25401 vsize=10995452 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25526/stat : 25526 (java) S 25401 25405 19643 0 -1 1077944384 57 12583 0 1 10 1 8 4 20 0 20 0 9518609 11259342848 146477 33554432000 4194304 4196468 140727281499648 140583924107536 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25527] ppid=25401 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25527/stat : 25527 (java) S 25401 25405 19643 0 -1 1077944384 227 12583 0 1 11 1 8 4 20 0 20 0 9518609 11259342848 146477 33554432000 4194304 4196468 140727281499648 140583923054992 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25529] ppid=25401 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25529/stat : 25529 (java) S 25401 25405 19643 0 -1 1077944384 74 12583 0 1 11 1 8 4 20 0 20 0 9518609 11259342848 146477 33554432000 4194304 4196468 140727281499648 140583922002960 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25530] ppid=25401 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25530/stat : 25530 (java) S 25401 25405 19643 0 -1 1077944384 165 12583 0 1 12 1 8 4 20 0 20 0 9518609 11259342848 146477 33554432000 4194304 4196468 140727281499648 140583920950416 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25532] ppid=25401 vsize=10995452 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25532/stat : 25532 (java) S 25401 25405 19643 0 -1 1077944384 69 12583 0 1 7 1 8 4 20 0 20 0 9518609 11259342848 146477 33554432000 4194304 4196468 140727281499648 140583919897360 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25533] ppid=25401 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25533/stat : 25533 (java) S 25401 25405 19643 0 -1 1077944384 60 12583 0 1 11 1 8 4 20 0 20 0 9518609 11259342848 146477 33554432000 4194304 4196468 140727281499648 140583918844816 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25536] ppid=25401 vsize=10995452 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25536/stat : 25536 (java) R 25401 25405 19643 0 -1 4202560 8895 12583 0 1 7 0 8 4 20 0 20 0 9518611 11259342848 146477 33554432000 4194304 4196468 140727281499648 140583525470896 140584303547143 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25537] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25537/stat : 25537 (java) S 25401 25405 19643 0 -1 1077944384 57 12583 0 1 0 0 8 4 20 0 20 0 9518612 11259342848 146477 33554432000 4194304 4196468 140727281499648 140583524418752 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25539] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25539/stat : 25539 (java) S 25401 25405 19643 0 -1 1077944384 43 12583 0 1 0 0 8 4 20 0 20 0 9518612 11259342848 146477 33554432000 4194304 4196468 140727281499648 140583523365632 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25541] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25541/stat : 25541 (java) S 25401 25405 19643 0 -1 1077944384 1 12583 0 1 0 0 8 4 20 0 20 0 9518616 11259342848 146477 33554432000 4194304 4196468 140727281499648 140583522314192 140584319403931 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25542] ppid=25401 vsize=10995452 CPUtime=5.33 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25542/stat : 25542 (java) S 25401 25405 19643 0 -1 1077944384 7456 12583 0 1 519 2 8 4 20 0 20 0 9518616 11259342848 146477 33554432000 4194304 4196468 140727281499648 140583521262320 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25543] ppid=25401 vsize=10995452 CPUtime=5.26 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25543/stat : 25543 (java) S 25401 25405 19643 0 -1 1077944384 2681 12583 0 1 512 2 8 4 20 0 20 0 9518616 11259342848 146477 33554432000 4194304 4196468 140727281499648 140583520209776 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25544] ppid=25401 vsize=10995452 CPUtime=5.53 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25544/stat : 25544 (java) S 25401 25405 19643 0 -1 1077944384 5677 12583 0 1 539 2 8 4 20 0 20 0 9518616 11259342848 146477 33554432000 4194304 4196468 140727281499648 140583519156720 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25545] ppid=25401 vsize=10995452 CPUtime=5.38 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25545/stat : 25545 (java) S 25401 25405 19643 0 -1 1077944384 8849 12583 0 1 523 3 8 4 20 0 20 0 9518616 11259342848 146477 33554432000 4194304 4196468 140727281499648 140583518104176 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25551] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25551/stat : 25551 (java) S 25401 25405 19643 0 -1 1077944384 3 12583 0 1 0 0 8 4 20 0 20 0 9518617 11259342848 146477 33554432000 4194304 4196468 140727281499648 140583517051360 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25553] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25553/stat : 25553 (java) S 25401 25405 19643 0 -1 1077944384 40 12583 0 1 0 0 8 4 20 0 20 0 9518617 11259342848 146477 33554432000 4194304 4196468 140727281499648 140583515998896 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
Current children cumulated CPU time (s) 34.49
Current children cumulated vsize (KiB) 10995452

[startup+12.9008 s]
/proc/loadavg: 1.39 1.03 1.27 4/284 25554
/proc/meminfo: memFree=30619524/32770624 swapFree=6544/183052
[pid=25405] ppid=25401 vsize=10995452 CPUtime=34.85 cores=1,3,5,7,9,11,13,15
/proc/25405/stat : 25405 (java) S 25401 25405 19643 0 -1 1077944320 85601 12583 2 1 3432 41 8 4 20 0 20 0 9518592 11259342848 146506 33554432000 4194304 4196468 140727281499648 140727281482192 140584319385335 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 1 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
/proc/25405/statm: 2748863 146506 3494 1 0 2736418 0
[pid=25405/tid=25517] ppid=25401 vsize=10995452 CPUtime=12.35 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25517/stat : 25517 (java) R 25401 25405 19643 0 -1 4202560 47687 12583 1 1 1208 15 8 4 20 0 20 0 9518608 11259342848 146506 33554432000 4194304 4196468 140727281499648 140584323574144 140584303465822 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25521] ppid=25401 vsize=10995452 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25521/stat : 25521 (java) S 25401 25405 19643 0 -1 1077944384 1321 12583 0 1 15 2 8 4 20 0 20 0 9518609 11259342848 146506 33554432000 4194304 4196468 140727281499648 140584280345104 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25523] ppid=25401 vsize=10995452 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25523/stat : 25523 (java) S 25401 25405 19643 0 -1 1077944384 81 12583 0 1 9 1 8 4 20 0 20 0 9518609 11259342848 146506 33554432000 4194304 4196468 140727281499648 140583925160592 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25526] ppid=25401 vsize=10995452 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25526/stat : 25526 (java) S 25401 25405 19643 0 -1 1077944384 57 12583 0 1 14 1 8 4 20 0 20 0 9518609 11259342848 146506 33554432000 4194304 4196468 140727281499648 140583924107536 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25527] ppid=25401 vsize=10995452 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25527/stat : 25527 (java) S 25401 25405 19643 0 -1 1077944384 234 12583 0 1 14 1 8 4 20 0 20 0 9518609 11259342848 146506 33554432000 4194304 4196468 140727281499648 140583923054992 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25529] ppid=25401 vsize=10995452 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25529/stat : 25529 (java) S 25401 25405 19643 0 -1 1077944384 75 12583 0 1 15 1 8 4 20 0 20 0 9518609 11259342848 146506 33554432000 4194304 4196468 140727281499648 140583922002960 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25530] ppid=25401 vsize=10995452 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25530/stat : 25530 (java) S 25401 25405 19643 0 -1 1077944384 165 12583 0 1 16 1 8 4 20 0 20 0 9518609 11259342848 146506 33554432000 4194304 4196468 140727281499648 140583920950416 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25532] ppid=25401 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25532/stat : 25532 (java) S 25401 25405 19643 0 -1 1077944384 70 12583 0 1 11 1 8 4 20 0 20 0 9518609 11259342848 146506 33554432000 4194304 4196468 140727281499648 140583919897360 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25533] ppid=25401 vsize=10995452 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25533/stat : 25533 (java) S 25401 25405 19643 0 -1 1077944384 65 12583 0 1 15 1 8 4 20 0 20 0 9518609 11259342848 146506 33554432000 4194304 4196468 140727281499648 140583918844816 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25536] ppid=25401 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25536/stat : 25536 (java) S 25401 25405 19643 0 -1 1077944384 8895 12583 0 1 12 0 8 4 20 0 20 0 9518611 11259342848 146506 33554432000 4194304 4196468 140727281499648 140583525472496 140584319396482 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25537] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25537/stat : 25537 (java) S 25401 25405 19643 0 -1 1077944384 61 12583 0 1 0 0 8 4 20 0 20 0 9518612 11259342848 146506 33554432000 4194304 4196468 140727281499648 140583524418848 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25539] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25539/stat : 25539 (java) S 25401 25405 19643 0 -1 1077944384 47 12583 0 1 0 0 8 4 20 0 20 0 9518612 11259342848 146506 33554432000 4194304 4196468 140727281499648 140583523365632 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25541] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25541/stat : 25541 (java) S 25401 25405 19643 0 -1 1077944384 1 12583 0 1 0 0 8 4 20 0 20 0 9518616 11259342848 146506 33554432000 4194304 4196468 140727281499648 140583522314192 140584319403931 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25542] ppid=25401 vsize=10995452 CPUtime=5.33 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25542/stat : 25542 (java) S 25401 25405 19643 0 -1 1077944384 7456 12583 0 1 519 2 8 4 20 0 20 0 9518616 11259342848 146506 33554432000 4194304 4196468 140727281499648 140583521262320 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25543] ppid=25401 vsize=10995452 CPUtime=5.27 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25543/stat : 25543 (java) R 25401 25405 19643 0 -1 4202560 2685 12583 0 1 513 2 8 4 20 0 20 0 9518616 11259342848 146506 33554432000 4194304 4196468 140727281499648 140583520210072 140584302871349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25544] ppid=25401 vsize=10995452 CPUtime=5.53 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25544/stat : 25544 (java) S 25401 25405 19643 0 -1 1077944384 5677 12583 0 1 539 2 8 4 20 0 20 0 9518616 11259342848 146506 33554432000 4194304 4196468 140727281499648 140583519156720 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25545] ppid=25401 vsize=10995452 CPUtime=5.38 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25545/stat : 25545 (java) S 25401 25405 19643 0 -1 1077944384 8849 12583 0 1 523 3 8 4 20 0 20 0 9518616 11259342848 146506 33554432000 4194304 4196468 140727281499648 140583518104176 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25551] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25551/stat : 25551 (java) S 25401 25405 19643 0 -1 1077944384 3 12583 0 1 0 0 8 4 20 0 20 0 9518617 11259342848 146506 33554432000 4194304 4196468 140727281499648 140583517051360 140584319395541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
[pid=25405/tid=25553] ppid=25401 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25405/task/25553/stat : 25553 (java) S 25401 25405 19643 0 -1 1077944384 40 12583 0 1 0 0 8 4 20 0 20 0 9518617 11259342848 146506 33554432000 4194304 4196468 140727281499648 140583515998896 140584319396482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140727281507009 140727281509783 140727281509783 140727281512399 0
Current children cumulated CPU time (s) 34.85
Current children cumulated vsize (KiB) 10995452

Child status: 0
Real time (s): 12.9547
CPU time (s): 34.9893
CPU user time (s): 34.5114
CPU system time (s): 0.477899
CPU usage (%): 270.09
Max. virtual memory (cumulated for all children) (KiB): 10997968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.5114
system time used= 0.477899
maximum resident set size= 586932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98467
page faults= 3
swaps= 0
block input operations= 6040
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19164
involuntary context switches= 4373

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.130247 second user time and 0.147924 second system time

The end

Launcher Data 

Begin job on node148 at 2017-07-22 18:55:36
IDJOB=4248089
IDBENCH=133093
IDSOLVER=2630
FILE ID=node148/4248089-1500742536
RUNJOBID= node148-1500742536-25377
PBS_JOBID= 20623348
Free space on /tmp= 62032 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/MarketSplit/MarketSplit-m1-gp/MarketSplit-08.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248089-1500742536/watcher-4248089-1500742536 -o /tmp/evaluation-result-4248089-1500742536/solver-4248089-1500742536 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500742536-25377 --watchdog 2560  bin/concrete HOME/instance-4248089-1500742536.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= c33b611f783ff62a93dcb2ff1216bc06
RANDOM SEED=343333743

node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31756276 kB
MemAvailable:   31987044 kB
Buffers:          169704 kB
Cached:           330112 kB
SwapCached:            0 kB
Active:           311684 kB
Inactive:         241504 kB
Active(anon):       3408 kB
Inactive(anon):    61540 kB
Active(file):     308276 kB
Inactive(file):   179964 kB
Unevictable:        6544 kB
Mlocked:            6544 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48712 kB
Writeback:             0 kB
AnonPages:         60064 kB
Mapped:            30856 kB
Shmem:              8848 kB
Slab:             150724 kB
SReclaimable:     116728 kB
SUnreclaim:        33996 kB
KernelStack:        4144 kB
PageTables:         4888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     309436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61984 MiB
End job on node148 at 2017-07-22 18:55:49