Trace number 4243410

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: sat4j-CSP 2017-07-05? (TO) 2416.21 354.485

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-wap01a.xml
MD5SUM1f75bed7d5113015eb943bda0c7ab47c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark41
Best CPU time to get the best result obtained on this benchmark2401.06
Satisfiable
(Un)Satisfiability was proved
Number of variables2368
Number of constraints110871
Number of domains1
Minimum domain size2368
Maximum domain size2368
Distribution of domain sizes[{"size":2368,"count":2368}]
Minimum variable degree15
Maximum variable degree289
Distribution of variable degrees[{"degree":15,"count":1},{"degree":19,"count":4},{"degree":20,"count":8},{"degree":21,"count":2},{"degree":25,"count":4},{"degree":26,"count":15},{"degree":27,"count":2},{"degree":28,"count":7},{"degree":30,"count":9},{"degree":32,"count":9},{"degree":33,"count":4},{"degree":34,"count":7},{"degree":35,"count":4},{"degree":36,"count":4},{"degree":37,"count":5},{"degree":38,"count":113},{"degree":39,"count":59},{"degree":40,"count":326},{"degree":42,"count":4},{"degree":43,"count":5},{"degree":45,"count":5},{"degree":46,"count":1},{"degree":47,"count":2},{"degree":49,"count":2},{"degree":50,"count":2},"...",{"degree":202,"count":5}, {"degree":203,"count":10}, {"degree":204,"count":3}, {"degree":205,"count":5}, {"degree":206,"count":2}, {"degree":207,"count":1}, {"degree":208,"count":3}, {"degree":209,"count":3}, {"degree":210,"count":4}, {"degree":211,"count":2}, {"degree":216,"count":1}, {"degree":217,"count":2}, {"degree":220,"count":2}, {"degree":223,"count":1}, {"degree":226,"count":1}, {"degree":227,"count":1}, {"degree":228,"count":1}, {"degree":231,"count":1}, {"degree":232,"count":1}, {"degree":244,"count":1}, {"degree":249,"count":1}, {"degree":254,"count":1}, {"degree":258,"count":1}, {"degree":268,"count":1}, {"degree":289,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":110871}]
Number of extensional constraints0
Number of intensional constraints110871
Distribution of constraint types[{"type":"intension","count":110871}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data


Verifier Data 

One s line expected

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-4243410-1500671556/watcher-4243410-1500671556 -o /tmp/evaluation-result-4243410-1500671556/solver-4243410-1500671556 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500669538-5817 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243410-1500671556.xml 

pid=6715
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: 4.89 6.89 7.25 3/263 6718
/proc/meminfo: memFree=28958868/32770624 swapFree=5792/37284
[pid=6718] ppid=6715 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/stat : 6718 (java) S 6715 6718 2471 0 -1 1077944320 1716 0 0 0 0 0 0 0 20 0 2 0 2422937 369864704 1935 33554432000 4194304 4196468 140729995225120 140729995207664 140140204044023 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
/proc/6718/statm: 90299 1935 1081 1 0 79210 0
[pid=6718/tid=6719] ppid=6715 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6719/stat : 6719 (java) S 6715 6718 2471 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 2 0 2422938 369864704 1935 33554432000 4194304 4196468 140729995225120 140140208286112 140140204055170 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0

[startup+0.100074 s]
/proc/loadavg: 4.89 6.89 7.25 3/263 6718
/proc/meminfo: memFree=28958868/32770624 swapFree=5792/37284
[pid=6718] ppid=6715 vsize=10900556 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/6718/stat : 6718 (java) S 6715 6718 2471 0 -1 1077944320 4756 0 0 0 8 1 0 0 20 0 20 0 2422937 11162169344 5844 33554432000 4194304 4196468 140729995225120 140729995207664 140140204044023 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
/proc/6718/statm: 2725139 5844 2621 1 0 2713552 0
[pid=6718/tid=6719] ppid=6715 vsize=10900556 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6719/stat : 6719 (java) R 6715 6718 2471 0 -1 4202560 2843 0 0 0 7 1 0 0 20 0 20 0 2422938 11162169344 5844 33554432000 4194304 4196468 140729995225120 140140208286304 140140204065949 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556

[startup+0.200431 s]
/proc/loadavg: 4.89 6.89 7.25 3/263 6718
/proc/meminfo: memFree=28958868/32770624 swapFree=5792/37284
[pid=6718] ppid=6715 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/6718/stat : 6718 (java) S 6715 6718 2471 0 -1 1077944320 6998 0 0 0 24 2 0 0 20 0 20 0 2422937 11162169344 8294 33554432000 4194304 4196468 140729995225120 140729995207664 140140204044023 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
/proc/6718/statm: 2725139 8294 2825 1 0 2713552 0
[pid=6718/tid=6719] ppid=6715 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6719/stat : 6719 (java) R 6715 6718 2471 0 -1 4202560 4672 0 0 0 16 2 0 0 20 0 20 0 2422938 11162169344 8294 33554432000 4194304 4196468 140729995225120 140140208280240 140140188124510 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556

[startup+0.300369 s]
/proc/loadavg: 4.89 6.89 7.25 3/263 6718
/proc/meminfo: memFree=28958868/32770624 swapFree=5792/37284
[pid=6718] ppid=6715 vsize=10900556 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/6718/stat : 6718 (java) S 6715 6718 2471 0 -1 1077944320 9577 0 0 0 52 3 0 0 20 0 20 0 2422937 11162169344 11938 33554432000 4194304 4196468 140729995225120 140729995207664 140140204044023 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
/proc/6718/statm: 2725139 11938 3012 1 0 2713552 0
[pid=6718/tid=6719] ppid=6715 vsize=10900556 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6719/stat : 6719 (java) R 6715 6718 2471 0 -1 4202560 5050 0 0 0 26 2 0 0 20 0 20 0 2422938 11162169344 11938 33554432000 4194304 4196468 140729995225120 140140208274640 140140204065949 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10900556

[startup+0.700268 s]
/proc/loadavg: 4.89 6.89 7.25 3/263 6718
/proc/meminfo: memFree=28958868/32770624 swapFree=5792/37284
[pid=6718] ppid=6715 vsize=10900632 CPUtime=1.78 cores=1,3,5,7,9,11,13,15
/proc/6718/stat : 6718 (java) S 6715 6718 2471 0 -1 1077944320 11856 0 0 0 172 6 0 0 20 0 20 0 2422937 11162247168 29423 33554432000 4194304 4196468 140729995225120 140729995207664 140140204044023 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
/proc/6718/statm: 2725158 29423 3071 1 0 2713552 0
[pid=6718/tid=6719] ppid=6715 vsize=10900632 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6719/stat : 6719 (java) R 6715 6718 2471 0 -1 4202560 5770 0 0 0 64 4 0 0 20 0 20 0 2422938 11162247168 29423 33554432000 4194304 4196468 140729995225120 140140208278728 140139836560086 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 10900632

[startup+1.50109 s]
/proc/loadavg: 4.66 6.81 7.22 6/283 6738
/proc/meminfo: memFree=28700888/32770624 swapFree=5792/37740
[pid=6718] ppid=6715 vsize=10900632 CPUtime=4.95 cores=1,3,5,7,9,11,13,15
/proc/6718/stat : 6718 (java) S 6715 6718 2471 0 -1 1077944320 17713 0 0 0 443 52 0 0 20 0 20 0 2422937 11162247168 101224 33554432000 4194304 4196468 140729995225120 140729995207664 140140204044023 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
/proc/6718/statm: 2725158 101224 3126 1 0 2713552 0
[pid=6718/tid=6719] ppid=6715 vsize=10900632 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6719/stat : 6719 (java) R 6715 6718 2471 0 -1 4202560 5948 0 0 0 128 6 0 0 20 0 20 0 2422938 11162247168 101224 33554432000 4194304 4196468 140729995225120 140140208279112 140139837971605 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6721] ppid=6715 vsize=10900632 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6721/stat : 6721 (java) S 6715 6718 2471 0 -1 1077944384 120 0 0 0 5 4 0 0 20 0 20 0 2422939 11162247168 101224 33554432000 4194304 4196468 140729995225120 140140156664208 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6722] ppid=6715 vsize=10900632 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6722/stat : 6722 (java) S 6715 6718 2471 0 -1 1077944384 92 0 0 0 4 5 0 0 20 0 20 0 2422939 11162247168 101224 33554432000 4194304 4196468 140729995225120 140140155611408 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6723] ppid=6715 vsize=10900632 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6723/stat : 6723 (java) S 6715 6718 2471 0 -1 1077944384 87 0 0 0 6 4 0 0 20 0 20 0 2422939 11162247168 101224 33554432000 4194304 4196468 140729995225120 140140154559120 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6724] ppid=6715 vsize=10900632 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6724/stat : 6724 (java) S 6715 6718 2471 0 -1 1077944384 53 0 0 0 4 5 0 0 20 0 20 0 2422939 11162247168 101224 33554432000 4194304 4196468 140729995225120 140140153506320 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6725] ppid=6715 vsize=10900632 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6725/stat : 6725 (java) S 6715 6718 2471 0 -1 1077944384 115 0 0 0 4 4 0 0 20 0 20 0 2422939 11162247168 101224 33554432000 4194304 4196468 140729995225120 140139807038352 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6726] ppid=6715 vsize=10900632 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6726/stat : 6726 (java) S 6715 6718 2471 0 -1 1077944384 90 0 0 0 5 6 0 0 20 0 20 0 2422939 11162247168 101224 33554432000 4194304 4196468 140729995225120 140139805985552 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6727] ppid=6715 vsize=10900632 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6727/stat : 6727 (java) S 6715 6718 2471 0 -1 1077944384 84 0 0 0 3 4 0 0 20 0 20 0 2422939 11162247168 101224 33554432000 4194304 4196468 140729995225120 140139804933264 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6728] ppid=6715 vsize=10900632 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6728/stat : 6728 (java) S 6715 6718 2471 0 -1 1077944384 96 0 0 0 5 6 0 0 20 0 20 0 2422939 11162247168 101224 33554432000 4194304 4196468 140729995225120 140139803880464 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6729] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6729/stat : 6729 (java) S 6715 6718 2471 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 2422941 11162247168 101224 33554432000 4194304 4196468 140729995225120 140139410995312 140140204055170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6730] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6730/stat : 6730 (java) S 6715 6718 2471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2422942 11162247168 101224 33554432000 4194304 4196468 140729995225120 140139409941344 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6731] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6731/stat : 6731 (java) S 6715 6718 2471 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2422942 11162247168 101224 33554432000 4194304 4196468 140729995225120 140139408888960 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6732] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6732/stat : 6732 (java) S 6715 6718 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2422946 11162247168 101224 33554432000 4194304 4196468 140729995225120 140139407837264 140140204062619 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6733] ppid=6715 vsize=10900632 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6733/stat : 6733 (java) S 6715 6718 2471 0 -1 1077944384 2712 0 0 0 76 0 0 0 20 0 20 0 2422946 11162247168 101224 33554432000 4194304 4196468 140729995225120 140139406785136 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6734] ppid=6715 vsize=10900632 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6734/stat : 6734 (java) S 6715 6718 2471 0 -1 1077944384 2334 0 0 0 75 0 0 0 20 0 20 0 2422946 11162247168 101224 33554432000 4194304 4196468 140729995225120 140139405732336 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6735] ppid=6715 vsize=10900632 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6735/stat : 6735 (java) S 6715 6718 2471 0 -1 1077944384 2906 0 0 0 85 0 0 0 20 0 20 0 2422946 11162247168 101224 33554432000 4194304 4196468 140729995225120 140139404680048 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6736] ppid=6715 vsize=10900632 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6736/stat : 6736 (java) S 6715 6718 2471 0 -1 1077944384 1501 0 0 0 35 0 0 0 20 0 20 0 2422946 11162247168 101224 33554432000 4194304 4196468 140729995225120 140139403627248 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6737] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6737/stat : 6737 (java) S 6715 6718 2471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2422946 11162247168 101224 33554432000 4194304 4196468 140729995225120 140139402574176 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6738] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6738/stat : 6738 (java) S 6715 6718 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2422947 11162247168 101224 33554432000 4194304 4196468 140729995225120 140139401521456 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
Current children cumulated CPU time (s) 4.95
Current children cumulated vsize (KiB) 10900632

[startup+3.10081 s]
/proc/loadavg: 4.66 6.81 7.22 3/283 6738
/proc/meminfo: memFree=27988816/32770624 swapFree=5792/37740
[pid=6718] ppid=6715 vsize=10900632 CPUtime=10.33 cores=1,3,5,7,9,11,13,15
/proc/6718/stat : 6718 (java) S 6715 6718 2471 0 -1 1077944320 23402 0 0 0 762 271 0 0 20 0 20 0 2422937 11162247168 543632 33554432000 4194304 4196468 140729995225120 140729995207664 140140204044023 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
/proc/6718/statm: 2725158 543632 3128 1 0 2713552 0
[pid=6718/tid=6719] ppid=6715 vsize=10900632 CPUtime=2.42 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6719/stat : 6719 (java) R 6715 6718 2471 0 -1 4202560 7804 0 0 0 218 24 0 0 20 0 20 0 2422938 11162247168 543632 33554432000 4194304 4196468 140729995225120 140140208280896 140140190112142 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6721] ppid=6715 vsize=10900632 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6721/stat : 6721 (java) S 6715 6718 2471 0 -1 1077944384 407 0 0 0 31 30 0 0 20 0 20 0 2422939 11162247168 543632 33554432000 4194304 4196468 140729995225120 140140156664208 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6722] ppid=6715 vsize=10900632 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6722/stat : 6722 (java) S 6715 6718 2471 0 -1 1077944384 371 0 0 0 30 31 0 0 20 0 20 0 2422939 11162247168 543632 33554432000 4194304 4196468 140729995225120 140140155611408 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6723] ppid=6715 vsize=10900632 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6723/stat : 6723 (java) S 6715 6718 2471 0 -1 1077944384 541 0 0 0 32 30 0 0 20 0 20 0 2422939 11162247168 543632 33554432000 4194304 4196468 140729995225120 140140154559120 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6724] ppid=6715 vsize=10900632 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6724/stat : 6724 (java) S 6715 6718 2471 0 -1 1077944384 324 0 0 0 29 31 0 0 20 0 20 0 2422939 11162247168 543632 33554432000 4194304 4196468 140729995225120 140140153506320 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6725] ppid=6715 vsize=10900632 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6725/stat : 6725 (java) S 6715 6718 2471 0 -1 1077944384 505 0 0 0 31 29 0 0 20 0 20 0 2422939 11162247168 543632 33554432000 4194304 4196468 140729995225120 140139807038352 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6726] ppid=6715 vsize=10900632 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6726/stat : 6726 (java) S 6715 6718 2471 0 -1 1077944384 334 0 0 0 30 30 0 0 20 0 20 0 2422939 11162247168 543632 33554432000 4194304 4196468 140729995225120 140139805985552 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6727] ppid=6715 vsize=10900632 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6727/stat : 6727 (java) S 6715 6718 2471 0 -1 1077944384 546 0 0 0 28 28 0 0 20 0 20 0 2422939 11162247168 544144 33554432000 4194304 4196468 140729995225120 140139804933264 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6728] ppid=6715 vsize=10900632 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6728/stat : 6728 (java) S 6715 6718 2471 0 -1 1077944384 595 0 0 0 32 30 0 0 20 0 20 0 2422939 11162247168 544144 33554432000 4194304 4196468 140729995225120 140139803880464 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6729] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6729/stat : 6729 (java) S 6715 6718 2471 0 -1 1077944384 1080 0 0 0 0 0 0 0 20 0 20 0 2422941 11162247168 544144 33554432000 4194304 4196468 140729995225120 140139410995312 140140204055170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6730] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6730/stat : 6730 (java) S 6715 6718 2471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2422942 11162247168 544144 33554432000 4194304 4196468 140729995225120 140139409941344 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6731] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6731/stat : 6731 (java) S 6715 6718 2471 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2422942 11162247168 544144 33554432000 4194304 4196468 140729995225120 140139408888960 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6732] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6732/stat : 6732 (java) S 6715 6718 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2422946 11162247168 544144 33554432000 4194304 4196468 140729995225120 140139407837264 140140204062619 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6733] ppid=6715 vsize=10900632 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6733/stat : 6733 (java) S 6715 6718 2471 0 -1 1077944384 2719 0 0 0 82 0 0 0 20 0 20 0 2422946 11162247168 544144 33554432000 4194304 4196468 140729995225120 140139406785136 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6734] ppid=6715 vsize=10900632 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6734/stat : 6734 (java) S 6715 6718 2471 0 -1 1077944384 2342 0 0 0 80 0 0 0 20 0 20 0 2422946 11162247168 544144 33554432000 4194304 4196468 140729995225120 140139405732336 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6735] ppid=6715 vsize=10900632 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6735/stat : 6735 (java) S 6715 6718 2471 0 -1 1077944384 2925 0 0 0 94 0 0 0 20 0 20 0 2422946 11162247168 544144 33554432000 4194304 4196468 140729995225120 140139404680048 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6736] ppid=6715 vsize=10900632 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6736/stat : 6736 (java) S 6715 6718 2471 0 -1 1077944384 1543 0 0 0 38 0 0 0 20 0 20 0 2422946 11162247168 544144 33554432000 4194304 4196468 140729995225120 140139403627248 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6737] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6737/stat : 6737 (java) S 6715 6718 2471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2422946 11162247168 544144 33554432000 4194304 4196468 140729995225120 140139402574176 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6738] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6738/stat : 6738 (java) S 6715 6718 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2422947 11162247168 544144 33554432000 4194304 4196468 140729995225120 140139401521456 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
Current children cumulated CPU time (s) 10.33
Current children cumulated vsize (KiB) 10900632

[startup+6.30091 s]
/proc/loadavg: 4.44 6.73 7.19 3/283 6738
/proc/meminfo: memFree=26004008/32770624 swapFree=5792/37748
[pid=6718] ppid=6715 vsize=10900632 CPUtime=23.92 cores=1,3,5,7,9,11,13,15
/proc/6718/stat : 6718 (java) S 6715 6718 2471 0 -1 1077944320 45273 0 0 0 1937 455 0 0 20 0 20 0 2422937 11162247168 740519 33554432000 4194304 4196468 140729995225120 140729995207664 140140204044023 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
/proc/6718/statm: 2725158 740519 3143 1 0 2713552 0
[pid=6718/tid=6719] ppid=6715 vsize=10900632 CPUtime=3.56 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6719/stat : 6719 (java) R 6715 6718 2471 0 -1 4202560 9190 0 0 0 328 28 0 0 20 0 20 0 2422938 11162247168 740519 33554432000 4194304 4196468 140729995225120 140140208281088 140140190112142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6721] ppid=6715 vsize=10900632 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6721/stat : 6721 (java) S 6715 6718 2471 0 -1 1077944384 3123 0 0 0 159 52 0 0 20 0 20 0 2422939 11162247168 740519 33554432000 4194304 4196468 140729995225120 140140156664208 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6722] ppid=6715 vsize=10900632 CPUtime=2.12 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6722/stat : 6722 (java) S 6715 6718 2471 0 -1 1077944384 2990 0 0 0 158 54 0 0 20 0 20 0 2422939 11162247168 740519 33554432000 4194304 4196468 140729995225120 140140155611408 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6723] ppid=6715 vsize=10900632 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6723/stat : 6723 (java) S 6715 6718 2471 0 -1 1077944384 2921 0 0 0 158 51 0 0 20 0 20 0 2422939 11162247168 740519 33554432000 4194304 4196468 140729995225120 140140154559120 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6724] ppid=6715 vsize=10900632 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6724/stat : 6724 (java) S 6715 6718 2471 0 -1 1077944384 2842 0 0 0 155 53 0 0 20 0 20 0 2422939 11162247168 740519 33554432000 4194304 4196468 140729995225120 140140153506320 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6725] ppid=6715 vsize=10900632 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6725/stat : 6725 (java) S 6715 6718 2471 0 -1 1077944384 2862 0 0 0 156 53 0 0 20 0 20 0 2422939 11162247168 740519 33554432000 4194304 4196468 140729995225120 140139807038352 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6726] ppid=6715 vsize=10900632 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6726/stat : 6726 (java) S 6715 6718 2471 0 -1 1077944384 2996 0 0 0 156 53 0 0 20 0 20 0 2422939 11162247168 740519 33554432000 4194304 4196468 140729995225120 140139805985552 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6727] ppid=6715 vsize=10900632 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6727/stat : 6727 (java) S 6715 6718 2471 0 -1 1077944384 2499 0 0 0 154 50 0 0 20 0 20 0 2422939 11162247168 740519 33554432000 4194304 4196468 140729995225120 140139804933264 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6728] ppid=6715 vsize=10900632 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6728/stat : 6728 (java) S 6715 6718 2471 0 -1 1077944384 2946 0 0 0 158 53 0 0 20 0 20 0 2422939 11162247168 740519 33554432000 4194304 4196468 140729995225120 140139803880464 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6729] ppid=6715 vsize=10900632 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6729/stat : 6729 (java) S 6715 6718 2471 0 -1 1077944384 1976 0 0 0 54 0 0 0 20 0 20 0 2422941 11162247168 740519 33554432000 4194304 4196468 140729995225120 140139410995312 140140204055170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6730] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6730/stat : 6730 (java) S 6715 6718 2471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2422942 11162247168 740519 33554432000 4194304 4196468 140729995225120 140139409941344 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6731] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6731/stat : 6731 (java) S 6715 6718 2471 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2422942 11162247168 740519 33554432000 4194304 4196468 140729995225120 140139408888960 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6732] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15

################
# More data... #
################

[pid=6718/tid=6734] ppid=6715 vsize=10900632 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6734/stat : 6734 (java) S 6715 6718 2471 0 -1 1077944384 4304 0 0 0 97 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139405732336 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6735] ppid=6715 vsize=10900632 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6735/stat : 6735 (java) S 6715 6718 2471 0 -1 1077944384 3908 0 0 0 111 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139404680048 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6736] ppid=6715 vsize=10900632 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6736/stat : 6736 (java) S 6715 6718 2471 0 -1 1077944384 2341 0 0 0 41 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139403627248 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6737] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6737/stat : 6737 (java) S 6715 6718 2471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139402574176 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6738] ppid=6715 vsize=10900632 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6738/stat : 6738 (java) S 6715 6718 2471 0 -1 1077944384 331 0 0 0 8 8 0 0 20 0 20 0 2422947 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139401521456 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
Current children cumulated CPU time (s) 2400.15
Current children cumulated vsize (KiB) 10900632

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -6718
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6718 sig 9
??? end of watcher thread

Solver just ended.
Dumping a history of the last processes samples

[startup+353.601 s]
/proc/loadavg: 8.63 7.44 7.28 10/282 6743
/proc/meminfo: memFree=20562916/32770624 swapFree=5792/38132
[pid=6718] ppid=6715 vsize=10900632 CPUtime=2409.72 cores=1,3,5,7,9,11,13,15
/proc/6718/stat : 6718 (java) S 6715 6718 2471 0 -1 1077944320 1738114 0 0 0 238542 2430 0 0 20 0 20 0 2422937 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140729995207664 140140204044023 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
/proc/6718/statm: 2725158 2085193 3145 1 0 2713552 0
[pid=6718/tid=6719] ppid=6715 vsize=10900632 CPUtime=30.77 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6719/stat : 6719 (java) S 6715 6718 2471 0 -1 1077944384 56619 0 0 0 3045 32 0 0 20 0 20 0 2422938 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140140208277776 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6721] ppid=6715 vsize=10900632 CPUtime=295.06 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6721/stat : 6721 (java) R 6715 6718 2471 0 -1 4202560 212220 0 0 0 29210 296 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140140156664408 140140188995150 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6722] ppid=6715 vsize=10900632 CPUtime=293.49 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6722/stat : 6722 (java) R 6715 6718 2471 0 -1 4202560 267946 0 0 0 29059 290 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140140155611608 140140188995122 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6723] ppid=6715 vsize=10900632 CPUtime=293.64 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6723/stat : 6723 (java) R 6715 6718 2471 0 -1 4202560 205262 0 0 0 29060 304 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140140154559320 140140188741775 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6724] ppid=6715 vsize=10900632 CPUtime=293.42 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6724/stat : 6724 (java) R 6715 6718 2471 0 -1 4202560 135936 0 0 0 29050 292 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140140153506520 140140184070240 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6725] ppid=6715 vsize=10900632 CPUtime=294.45 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6725/stat : 6725 (java) R 6715 6718 2471 0 -1 4202560 248897 0 0 0 29147 298 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139807038240 140140188741662 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6726] ppid=6715 vsize=10900632 CPUtime=293.79 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6726/stat : 6726 (java) R 6715 6718 2471 0 -1 4202560 178865 0 0 0 29080 299 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139805985752 140140188995150 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6727] ppid=6715 vsize=10900632 CPUtime=293.55 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6727/stat : 6727 (java) R 6715 6718 2471 0 -1 4202560 129515 0 0 0 29064 291 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139804933464 140140185641034 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6728] ppid=6715 vsize=10900632 CPUtime=293.4 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6728/stat : 6728 (java) R 6715 6718 2471 0 -1 4202560 185368 0 0 0 29030 310 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139803880664 140140188887800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6729] ppid=6715 vsize=10900632 CPUtime=24.34 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6729/stat : 6729 (java) S 6715 6718 2471 0 -1 1077944384 100952 0 0 0 2431 3 0 0 20 0 20 0 2422941 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139410993632 140140204054229 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6730] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6730/stat : 6730 (java) S 6715 6718 2471 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 2422942 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139409941344 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6731] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6731/stat : 6731 (java) S 6715 6718 2471 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 2422942 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139408888960 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6732] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6732/stat : 6732 (java) S 6715 6718 2471 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139407836912 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6733] ppid=6715 vsize=10900632 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6733/stat : 6733 (java) S 6715 6718 2471 0 -1 1077944384 4257 0 0 0 98 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139406785136 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6734] ppid=6715 vsize=10900632 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6734/stat : 6734 (java) S 6715 6718 2471 0 -1 1077944384 4304 0 0 0 97 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139405732336 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6735] ppid=6715 vsize=10900632 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6735/stat : 6735 (java) S 6715 6718 2471 0 -1 1077944384 3908 0 0 0 111 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139404680048 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6736] ppid=6715 vsize=10900632 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6736/stat : 6736 (java) S 6715 6718 2471 0 -1 1077944384 2341 0 0 0 41 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139403627248 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6737] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6737/stat : 6737 (java) S 6715 6718 2471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139402574176 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6738] ppid=6715 vsize=10900632 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6738/stat : 6738 (java) S 6715 6718 2471 0 -1 1077944384 331 0 0 0 8 8 0 0 20 0 20 0 2422947 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139401521456 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
Current children cumulated CPU time (s) 2409.72
Current children cumulated vsize (KiB) 10900632

[startup+354.001 s]
/proc/loadavg: 8.63 7.44 7.28 10/282 6743
/proc/meminfo: memFree=20562916/32770624 swapFree=5792/38132
[pid=6718] ppid=6715 vsize=10900632 CPUtime=2412.91 cores=1,3,5,7,9,11,13,15
/proc/6718/stat : 6718 (java) S 6715 6718 2471 0 -1 1077944320 1738114 0 0 0 238861 2430 0 0 20 0 20 0 2422937 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140729995207664 140140204044023 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
/proc/6718/statm: 2725158 2085193 3145 1 0 2713552 0
[pid=6718/tid=6719] ppid=6715 vsize=10900632 CPUtime=30.77 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6719/stat : 6719 (java) S 6715 6718 2471 0 -1 1077944384 56619 0 0 0 3045 32 0 0 20 0 20 0 2422938 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140140208277776 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6721] ppid=6715 vsize=10900632 CPUtime=295.46 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6721/stat : 6721 (java) R 6715 6718 2471 0 -1 4202560 212220 0 0 0 29250 296 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140140156664408 140140188995064 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6722] ppid=6715 vsize=10900632 CPUtime=293.89 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6722/stat : 6722 (java) R 6715 6718 2471 0 -1 4202560 267946 0 0 0 29099 290 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140140155611608 140140188994628 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6723] ppid=6715 vsize=10900632 CPUtime=294.04 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6723/stat : 6723 (java) R 6715 6718 2471 0 -1 4202560 205262 0 0 0 29100 304 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140140154559320 140140188994679 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6724] ppid=6715 vsize=10900632 CPUtime=293.82 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6724/stat : 6724 (java) R 6715 6718 2471 0 -1 4202560 135936 0 0 0 29090 292 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140140153506520 140140188741775 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6725] ppid=6715 vsize=10900632 CPUtime=294.85 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6725/stat : 6725 (java) R 6715 6718 2471 0 -1 4202560 248897 0 0 0 29187 298 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139807038240 140140188741848 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6726] ppid=6715 vsize=10900632 CPUtime=294.19 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6726/stat : 6726 (java) R 6715 6718 2471 0 -1 4202560 178865 0 0 0 29120 299 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139805985752 140140188741848 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6727] ppid=6715 vsize=10900632 CPUtime=293.95 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6727/stat : 6727 (java) R 6715 6718 2471 0 -1 4202560 129515 0 0 0 29104 291 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139804933464 140140188741798 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6728] ppid=6715 vsize=10900632 CPUtime=293.8 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6728/stat : 6728 (java) R 6715 6718 2471 0 -1 4202560 185368 0 0 0 29070 310 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139803880664 140140188887846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6729] ppid=6715 vsize=10900632 CPUtime=24.34 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6729/stat : 6729 (java) S 6715 6718 2471 0 -1 1077944384 100952 0 0 0 2431 3 0 0 20 0 20 0 2422941 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139410993632 140140204054229 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6730] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6730/stat : 6730 (java) S 6715 6718 2471 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 2422942 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139409941344 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6731] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6731/stat : 6731 (java) S 6715 6718 2471 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 2422942 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139408888960 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6732] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6732/stat : 6732 (java) S 6715 6718 2471 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139407836912 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6733] ppid=6715 vsize=10900632 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6733/stat : 6733 (java) S 6715 6718 2471 0 -1 1077944384 4257 0 0 0 98 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139406785136 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6734] ppid=6715 vsize=10900632 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6734/stat : 6734 (java) S 6715 6718 2471 0 -1 1077944384 4304 0 0 0 97 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139405732336 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6735] ppid=6715 vsize=10900632 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6735/stat : 6735 (java) S 6715 6718 2471 0 -1 1077944384 3908 0 0 0 111 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139404680048 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6736] ppid=6715 vsize=10900632 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6736/stat : 6736 (java) S 6715 6718 2471 0 -1 1077944384 2341 0 0 0 41 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139403627248 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6737] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6737/stat : 6737 (java) S 6715 6718 2471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139402574176 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6738] ppid=6715 vsize=10900632 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6738/stat : 6738 (java) S 6715 6718 2471 0 -1 1077944384 331 0 0 0 8 8 0 0 20 0 20 0 2422947 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139401521456 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
Current children cumulated CPU time (s) 2412.91
Current children cumulated vsize (KiB) 10900632

[startup+354.401 s]
/proc/loadavg: 8.63 7.44 7.28 10/282 6743
/proc/meminfo: memFree=20562480/32770624 swapFree=5792/38136
[pid=6718] ppid=6715 vsize=10900632 CPUtime=2416.09 cores=1,3,5,7,9,11,13,15
/proc/6718/stat : 6718 (java) S 6715 6718 2471 0 -1 1077944320 1738114 0 0 0 239179 2430 0 0 20 0 20 0 2422937 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140729995207664 140140204044023 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
/proc/6718/statm: 2725158 2085193 3145 1 0 2713552 0
[pid=6718/tid=6719] ppid=6715 vsize=10900632 CPUtime=30.77 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6719/stat : 6719 (java) S 6715 6718 2471 0 -1 1077944384 56619 0 0 0 3045 32 0 0 20 0 20 0 2422938 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140140208277776 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6721] ppid=6715 vsize=10900632 CPUtime=295.86 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6721/stat : 6721 (java) R 6715 6718 2471 0 -1 4202560 212220 0 0 0 29290 296 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140140156664408 140140185640565 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6722] ppid=6715 vsize=10900632 CPUtime=294.29 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6722/stat : 6722 (java) R 6715 6718 2471 0 -1 4202560 267946 0 0 0 29139 290 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140140155611608 140140189029319 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6723] ppid=6715 vsize=10900632 CPUtime=294.43 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6723/stat : 6723 (java) R 6715 6718 2471 0 -1 4202560 205262 0 0 0 29139 304 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140140154559320 140140188741798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6724] ppid=6715 vsize=10900632 CPUtime=294.22 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6724/stat : 6724 (java) R 6715 6718 2471 0 -1 4202560 135936 0 0 0 29130 292 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140140153506520 140140189802347 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6725] ppid=6715 vsize=10900632 CPUtime=295.23 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6725/stat : 6725 (java) R 6715 6718 2471 0 -1 4202560 248897 0 0 0 29225 298 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139807038240 140140185640675 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6726] ppid=6715 vsize=10900632 CPUtime=294.59 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6726/stat : 6726 (java) R 6715 6718 2471 0 -1 4202560 178865 0 0 0 29160 299 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139805985752 140140188995150 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6727] ppid=6715 vsize=10900632 CPUtime=294.35 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6727/stat : 6727 (java) R 6715 6718 2471 0 -1 4202560 129515 0 0 0 29144 291 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139804933464 140140188995122 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6728] ppid=6715 vsize=10900632 CPUtime=294.2 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6728/stat : 6728 (java) R 6715 6718 2471 0 -1 4202560 185368 0 0 0 29110 310 0 0 20 0 20 0 2422939 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139803880664 140140184070240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6729] ppid=6715 vsize=10900632 CPUtime=24.34 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6729/stat : 6729 (java) S 6715 6718 2471 0 -1 1077944384 100952 0 0 0 2431 3 0 0 20 0 20 0 2422941 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139410993632 140140204054229 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6730] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6730/stat : 6730 (java) S 6715 6718 2471 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 2422942 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139409941344 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6731] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6731/stat : 6731 (java) S 6715 6718 2471 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 2422942 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139408888960 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6732] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6732/stat : 6732 (java) S 6715 6718 2471 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139407836912 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6733] ppid=6715 vsize=10900632 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6733/stat : 6733 (java) S 6715 6718 2471 0 -1 1077944384 4257 0 0 0 98 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139406785136 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6734] ppid=6715 vsize=10900632 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6734/stat : 6734 (java) S 6715 6718 2471 0 -1 1077944384 4304 0 0 0 97 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139405732336 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6735] ppid=6715 vsize=10900632 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6735/stat : 6735 (java) S 6715 6718 2471 0 -1 1077944384 3908 0 0 0 111 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139404680048 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6736] ppid=6715 vsize=10900632 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6736/stat : 6736 (java) S 6715 6718 2471 0 -1 1077944384 2341 0 0 0 41 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139403627248 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6737] ppid=6715 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6737/stat : 6737 (java) S 6715 6718 2471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2422946 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139402574176 140140204054229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
[pid=6718/tid=6738] ppid=6715 vsize=10900632 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/6718/task/6738/stat : 6738 (java) S 6715 6718 2471 0 -1 1077944384 331 0 0 0 8 8 0 0 20 0 20 0 2422947 11162247168 2085193 33554432000 4194304 4196468 140729995225120 140139401521456 140140204055170 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22089728 140729995228331 140729995228484 140729995228484 140729995231183 0
Current children cumulated CPU time (s) 2416.09
Current children cumulated vsize (KiB) 10900632

Child ended because it received signal 9 (SIGKILL)
Real time (s): 354.485
CPU time (s): 2416.21
CPU user time (s): 2391.82
CPU system time (s): 24.3837
CPU usage (%): 681.61
Max. virtual memory (cumulated for all children) (KiB): 10900632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.82
system time used= 24.3837
maximum resident set size= 8341056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1738118
page faults= 0
swaps= 0
block input operations= 0
block output operations= 488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42031
involuntary context switches= 163522

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.20005 second user time and 3.68402 second system time

The end

Launcher Data 

Begin job on node129 at 2017-07-21 23:12:36
IDJOB=4243410
IDBENCH=120625
IDSOLVER=2623
FILE ID=node129/4243410-1500671556
RUNJOBID= node129-1500669538-5817
PBS_JOBID= 20623291
Free space on /tmp= 61980 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-wap01a.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243410-1500671556/watcher-4243410-1500671556 -o /tmp/evaluation-result-4243410-1500671556/solver-4243410-1500671556 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500669538-5817 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243410-1500671556.xml

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

MD5SUM BENCH= 1f75bed7d5113015eb943bda0c7ab47c
RANDOM SEED=44515113

node129.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		: 1600.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.96
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		: 2000.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		: 2668.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.96
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.96
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.96
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		: 1733.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		: 1600.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.96
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		: 2133.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		: 2668.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.96
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		: 2668.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.96
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		: 2000.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		: 2667.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.96
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		: 1733.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:        28958808 kB
MemAvailable:   28867940 kB
Buffers:           55772 kB
Cached:           119592 kB
SwapCached:            0 kB
Active:          3303932 kB
Inactive:         103496 kB
Active(anon):    3177212 kB
Inactive(anon):    66212 kB
Active(file):     126720 kB
Inactive(file):    37284 kB
Unevictable:        5792 kB
Mlocked:            5792 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4036 kB
Writeback:          1452 kB
AnonPages:       3245644 kB
Mapped:            41364 kB
Shmem:              8844 kB
Slab:              93872 kB
SReclaimable:      60680 kB
SUnreclaim:        33192 kB
KernelStack:        4880 kB
PageTables:        11368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4658380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3108864 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= 61980 MiB
End job on node129 at 2017-07-21 23:18:30