Trace number 4243348

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.04 379.853

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-28.xml
MD5SUMf7605bb50abdbd05cc6d9fedf17196d1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark398
Best CPU time to get the best result obtained on this benchmark2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables1831
Number of constraints1072
Number of domains4
Minimum domain size2
Maximum domain size1801
Distribution of domain sizes[{"size":2,"count":900},{"size":3,"count":900},{"size":785,"count":1},{"size":1801,"count":30}]
Minimum variable degree1
Maximum variable degree31
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":897},{"degree":3,"count":33},{"degree":4,"count":112},{"degree":8,"count":108},{"degree":9,"count":676},{"degree":31,"count":1}]
Minimum constraint arity2
Maximum constraint arity32
Distribution of constraint arities[{"arity":2,"count":142},{"arity":3,"count":112},{"arity":10,"count":784},{"arity":30,"count":4},{"arity":31,"count":1},{"arity":32,"count":29}]
Number of extensional constraints896
Number of intensional constraints141
Distribution of constraint types[{"type":"extension","count":896},{"type":"intension","count":141},{"type":"sum","count":31},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

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-4243348-1500670451/watcher-4243348-1500670451 -o /tmp/evaluation-result-4243348-1500670451/solver-4243348-1500670451 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500669780-12184 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243348-1500670451.xml 

pid=12589
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: 15.52 12.67 7.54 10/262 12592
/proc/meminfo: memFree=31109344/32770624 swapFree=5680/204492
[pid=12592] ppid=12589 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/stat : 12592 (java) S 12589 12592 9818 0 -1 1077944320 2023 0 0 0 0 0 0 0 20 0 2 0 2311435 8550137856 1733 33554432000 4194304 4196468 140729126133552 140729126116096 139738071502583 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
/proc/12592/statm: 2087436 1799 1197 1 0 2076347 0
[pid=12592/tid=12593] ppid=12589 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12593/stat : 12593 (java) R 12589 12592 9818 0 -1 4202560 817 0 0 0 0 0 0 0 20 0 2 0 2311435 8550137856 1865 33554432000 4194304 4196468 140729126133552 139738075744672 139738063792032 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0

[startup+0.100168 s]
/proc/loadavg: 15.52 12.67 7.54 10/262 12592
/proc/meminfo: memFree=31109344/32770624 swapFree=5680/204492
[pid=12592] ppid=12589 vsize=10900556 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12592/stat : 12592 (java) S 12589 12592 9818 0 -1 1077944320 4879 0 0 0 8 1 0 0 20 0 20 0 2311435 11162169344 5935 33554432000 4194304 4196468 140729126133552 140729126116096 139738071502583 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
/proc/12592/statm: 2725139 5935 2631 1 0 2713552 0
[pid=12592/tid=12593] ppid=12589 vsize=10900556 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12593/stat : 12593 (java) R 12589 12592 9818 0 -1 4202560 2969 0 0 0 7 1 0 0 20 0 20 0 2311435 11162169344 5935 33554432000 4194304 4196468 140729126133552 139738075728272 139737708629114 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556

[startup+0.200441 s]
/proc/loadavg: 15.52 12.67 7.54 10/262 12592
/proc/meminfo: memFree=31109344/32770624 swapFree=5680/204492
[pid=12592] ppid=12589 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/12592/stat : 12592 (java) S 12589 12592 9818 0 -1 1077944320 7386 0 0 0 23 3 0 0 20 0 20 0 2311435 11162169344 9242 33554432000 4194304 4196468 140729126133552 140729126116096 139738071502583 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
/proc/12592/statm: 2725139 9242 2886 1 0 2713552 0
[pid=12592/tid=12593] ppid=12589 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12593/stat : 12593 (java) R 12589 12592 9818 0 -1 4202560 4939 0 0 0 16 2 0 0 20 0 20 0 2311435 11162169344 9242 33554432000 4194304 4196468 140729126133552 139738075734704 139738055583070 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556

[startup+0.30029 s]
/proc/loadavg: 15.52 12.67 7.54 10/262 12592
/proc/meminfo: memFree=31109344/32770624 swapFree=5680/204492
[pid=12592] ppid=12589 vsize=10900556 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/12592/stat : 12592 (java) S 12589 12592 9818 0 -1 1077944320 9839 0 0 0 54 3 0 0 20 0 20 0 2311435 11162169344 12231 33554432000 4194304 4196468 140729126133552 140729126116096 139738071502583 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
/proc/12592/statm: 2725139 12231 3022 1 0 2713552 0
[pid=12592/tid=12593] ppid=12589 vsize=10900556 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12593/stat : 12593 (java) R 12589 12592 9818 0 -1 4202560 5353 0 0 0 26 2 0 0 20 0 20 0 2311435 11162169344 12231 33554432000 4194304 4196468 140729126133552 139738075735696 139738071524509 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10900556

[startup+0.700275 s]
/proc/loadavg: 15.52 12.67 7.54 10/262 12592
/proc/meminfo: memFree=31109344/32770624 swapFree=5680/204492
[pid=12592] ppid=12589 vsize=10900632 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/12592/stat : 12592 (java) S 12589 12592 9818 0 -1 1077944320 13824 0 0 0 201 8 0 0 20 0 20 0 2311435 11162247168 44070 33554432000 4194304 4196468 140729126133552 140729126116096 139738071502583 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
/proc/12592/statm: 2725158 44070 3092 1 0 2713552 0
[pid=12592/tid=12593] ppid=12589 vsize=10900632 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12593/stat : 12593 (java) R 12589 12592 9818 0 -1 4202560 6053 0 0 0 62 5 0 0 20 0 20 0 2311435 11162247168 44070 33554432000 4194304 4196468 140729126133552 139738075739024 139738053450647 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 10900632

[startup+1.50118 s]
/proc/loadavg: 14.51 12.51 7.51 6/282 12612
/proc/meminfo: memFree=30674872/32770624 swapFree=5680/204532
[pid=12592] ppid=12589 vsize=10900632 CPUtime=5.66 cores=1,3,5,7,9,11,13,15
/proc/12592/stat : 12592 (java) S 12589 12592 9818 0 -1 1077944320 24900 0 0 0 536 30 0 0 20 0 20 0 2311435 11162247168 71213 33554432000 4194304 4196468 140729126133552 140729126116096 139738071502583 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
/proc/12592/statm: 2725158 71213 3135 1 0 2713552 0
[pid=12592/tid=12593] ppid=12589 vsize=10900632 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12593/stat : 12593 (java) R 12589 12592 9818 0 -1 4202560 6115 0 0 0 134 6 0 0 20 0 20 0 2311435 11162247168 71213 33554432000 4194304 4196468 140729126133552 139738075725608 139738052326689 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12595] ppid=12589 vsize=10900632 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12595/stat : 12595 (java) S 12589 12592 9818 0 -1 1077944384 25 0 0 0 2 2 0 0 20 0 20 0 2311436 11162247168 71213 33554432000 4194304 4196468 140729126133552 139737678064784 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12596] ppid=12589 vsize=10900632 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12596/stat : 12596 (java) S 12589 12592 9818 0 -1 1077944384 26 0 0 0 2 1 0 0 20 0 20 0 2311436 11162247168 71213 33554432000 4194304 4196468 140729126133552 139737677011984 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12597] ppid=12589 vsize=10900632 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12597/stat : 12597 (java) S 12589 12592 9818 0 -1 1077944384 84 0 0 0 3 2 0 0 20 0 20 0 2311436 11162247168 71213 33554432000 4194304 4196468 140729126133552 139737675959184 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12598] ppid=12589 vsize=10900632 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12598/stat : 12598 (java) S 12589 12592 9818 0 -1 1077944384 72 0 0 0 3 1 0 0 20 0 20 0 2311436 11162247168 71213 33554432000 4194304 4196468 140729126133552 139737674906384 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12599] ppid=12589 vsize=10900632 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12599/stat : 12599 (java) S 12589 12592 9818 0 -1 1077944384 67 0 0 0 2 2 0 0 20 0 20 0 2311436 11162247168 71213 33554432000 4194304 4196468 140729126133552 139737673853584 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12600] ppid=12589 vsize=10900632 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12600/stat : 12600 (java) S 12589 12592 9818 0 -1 1077944384 79 0 0 0 3 3 0 0 20 0 20 0 2311436 11162247168 71213 33554432000 4194304 4196468 140729126133552 139737672800784 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12601] ppid=12589 vsize=10900632 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12601/stat : 12601 (java) S 12589 12592 9818 0 -1 1077944384 75 0 0 0 3 3 0 0 20 0 20 0 2311436 11162247168 71213 33554432000 4194304 4196468 140729126133552 139737671747984 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12602] ppid=12589 vsize=10900632 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12602/stat : 12602 (java) S 12589 12592 9818 0 -1 1077944384 82 0 0 0 4 3 0 0 20 0 20 0 2311436 11162247168 71213 33554432000 4194304 4196468 140729126133552 139737670695184 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12603] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12603/stat : 12603 (java) S 12589 12592 9818 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 2311438 11162247168 71213 33554432000 4194304 4196468 140729126133552 139737278892912 139738071513730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12604] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12604/stat : 12604 (java) S 12589 12592 9818 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2311439 11162247168 71213 33554432000 4194304 4196468 140729126133552 139737277838944 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12605] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12605/stat : 12605 (java) S 12589 12592 9818 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2311439 11162247168 71213 33554432000 4194304 4196468 140729126133552 139737276786048 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12606] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12606/stat : 12606 (java) S 12589 12592 9818 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2311442 11162247168 71213 33554432000 4194304 4196468 140729126133552 139737275734352 139738071521179 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12607] ppid=12589 vsize=10900632 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12607/stat : 12607 (java) R 12589 12592 9818 0 -1 4202560 4242 0 0 0 108 0 0 0 20 0 20 0 2311442 11162247168 71213 33554432000 4194304 4196468 140729126133552 139737274667728 139738056628564 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12608] ppid=12589 vsize=10900632 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12608/stat : 12608 (java) R 12589 12592 9818 0 -1 4202560 5804 0 0 0 114 1 0 0 20 0 20 0 2311442 11162247168 71213 33554432000 4194304 4196468 140729126133552 139737273621400 139738056382150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12609] ppid=12589 vsize=10900632 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12609/stat : 12609 (java) R 12589 12592 9818 0 -1 4202560 3851 0 0 0 102 0 0 0 20 0 20 0 2311442 11162247168 71213 33554432000 4194304 4196468 140729126133552 139737272562136 139738063792032 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12610] ppid=12589 vsize=10900632 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12610/stat : 12610 (java) R 12589 12592 9818 0 -1 4202560 2938 0 0 0 50 1 0 0 20 0 20 0 2311442 11162247168 71213 33554432000 4194304 4196468 140729126133552 139737271523232 139738050481516 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12611] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12611/stat : 12611 (java) S 12589 12592 9818 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2311442 11162247168 71213 33554432000 4194304 4196468 140729126133552 139737270471776 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12612] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12612/stat : 12612 (java) S 12589 12592 9818 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2311443 11162247168 71213 33554432000 4194304 4196468 140729126133552 139737269419056 139738071513730 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 10900632

[startup+3.10185 s]
/proc/loadavg: 14.51 12.51 7.51 17/282 12612
/proc/meminfo: memFree=29871832/32770624 swapFree=5680/204532
[pid=12592] ppid=12589 vsize=10900632 CPUtime=10.03 cores=1,3,5,7,9,11,13,15
/proc/12592/stat : 12592 (java) S 12589 12592 9818 0 -1 1077944320 28576 0 0 0 891 112 0 0 20 0 20 0 2311435 11162247168 204227 33554432000 4194304 4196468 140729126133552 140729126116096 139738071502583 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
/proc/12592/statm: 2725158 204227 3137 1 0 2713552 0
[pid=12592/tid=12593] ppid=12589 vsize=10900632 CPUtime=2.74 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12593/stat : 12593 (java) S 12589 12592 9818 0 -1 1077944384 6578 0 0 0 263 11 0 0 20 0 20 0 2311435 11162247168 204227 33554432000 4194304 4196468 140729126133552 139738075736112 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12595] ppid=12589 vsize=10900632 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12595/stat : 12595 (java) R 12589 12592 9818 0 -1 4202560 512 0 0 0 13 10 0 0 20 0 20 0 2311436 11162247168 204227 33554432000 4194304 4196468 140729126133552 139737678064168 139738056530466 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12596] ppid=12589 vsize=10900632 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12596/stat : 12596 (java) R 12589 12592 9818 0 -1 4202560 130 0 0 0 12 10 0 0 20 0 20 0 2311436 11162247168 204227 33554432000 4194304 4196468 140729126133552 139737677012184 139738056530457 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12597] ppid=12589 vsize=10900632 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12597/stat : 12597 (java) R 12589 12592 9818 0 -1 4202560 171 0 0 0 16 11 0 0 20 0 20 0 2311436 11162247168 204227 33554432000 4194304 4196468 140729126133552 139737675959384 139738056530466 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12598] ppid=12589 vsize=10900632 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12598/stat : 12598 (java) R 12589 12592 9818 0 -1 4202560 198 0 0 0 15 11 0 0 20 0 20 0 2311436 11162247168 204227 33554432000 4194304 4196468 140729126133552 139737674906584 139738056530448 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12599] ppid=12589 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12599/stat : 12599 (java) R 12589 12592 9818 0 -1 4202560 200 0 0 0 15 13 0 0 20 0 20 0 2311436 11162247168 204739 33554432000 4194304 4196468 140729126133552 139737673853784 139738056530457 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12600] ppid=12589 vsize=10900632 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12600/stat : 12600 (java) R 12589 12592 9818 0 -1 4202560 279 0 0 0 13 12 0 0 20 0 20 0 2311436 11162247168 204739 33554432000 4194304 4196468 140729126133552 139737672800984 139738056530466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12601] ppid=12589 vsize=10900632 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12601/stat : 12601 (java) R 12589 12592 9818 0 -1 4202560 278 0 0 0 17 14 0 0 20 0 20 0 2311436 11162247168 204739 33554432000 4194304 4196468 140729126133552 139737671747872 139738056530448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12602] ppid=12589 vsize=10900632 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12602/stat : 12602 (java) R 12589 12592 9818 0 -1 4202560 251 0 0 0 14 11 0 0 20 0 20 0 2311436 11162247168 204739 33554432000 4194304 4196468 140729126133552 139737670695384 139738056530457 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12603] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12603/stat : 12603 (java) S 12589 12592 9818 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 20 0 2311438 11162247168 204739 33554432000 4194304 4196468 140729126133552 139737278891424 139738071512789 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12604] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12604/stat : 12604 (java) S 12589 12592 9818 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2311439 11162247168 204739 33554432000 4194304 4196468 140729126133552 139737277838944 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12605] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12605/stat : 12605 (java) S 12589 12592 9818 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2311439 11162247168 204739 33554432000 4194304 4196468 140729126133552 139737276786048 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12606] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12606/stat : 12606 (java) S 12589 12592 9818 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2311442 11162247168 204739 33554432000 4194304 4196468 140729126133552 139737275734352 139738071521179 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12607] ppid=12589 vsize=10900632 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12607/stat : 12607 (java) S 12589 12592 9818 0 -1 1077944384 5204 0 0 0 152 1 0 0 20 0 20 0 2311442 11162247168 204739 33554432000 4194304 4196468 140729126133552 139737274681712 139738071513730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12608] ppid=12589 vsize=10900632 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12608/stat : 12608 (java) S 12589 12592 9818 0 -1 1077944384 5897 0 0 0 147 1 0 0 20 0 20 0 2311442 11162247168 204739 33554432000 4194304 4196468 140729126133552 139737273628912 139738071513730 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12609] ppid=12589 vsize=10900632 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12609/stat : 12609 (java) R 12589 12592 9818 0 -1 4202560 4335 0 0 0 155 0 0 0 20 0 20 0 2311442 11162247168 204739 33554432000 4194304 4196468 140729126133552 139737272576408 139738056610387 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12610] ppid=12589 vsize=10900632 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12610/stat : 12610 (java) S 12589 12592 9818 0 -1 1077944384 2968 0 0 0 53 1 0 0 20 0 20 0 2311442 11162247168 204739 33554432000 4194304 4196468 140729126133552 139737271523312 139738071513730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12611] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12611/stat : 12611 (java) S 12589 12592 9818 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2311442 11162247168 204739 33554432000 4194304 4196468 140729126133552 139737270471776 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12612] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12612/stat : 12612 (java) S 12589 12592 9818 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2311443 11162247168 204739 33554432000 4194304 4196468 140729126133552 139737269419056 139738071513730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
Current children cumulated CPU time (s) 10.03
Current children cumulated vsize (KiB) 10900632

[startup+6.30102 s]
/proc/loadavg: 13.51 12.34 7.48 10/282 12612
/proc/meminfo: memFree=28637756/32770624 swapFree=5680/204520
[pid=12592] ppid=12589 vsize=10900632 CPUtime=20.08 cores=1,3,5,7,9,11,13,15
/proc/12592/stat : 12592 (java) S 12589 12592 9818 0 -1 1077944320 34928 0 0 0 1738 270 0 0 20 0 20 0 2311435 11162247168 427757 33554432000 4194304 4196468 140729126133552 140729126116096 139738071502583 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
/proc/12592/statm: 2725158 427757 3138 1 0 2713552 0
[pid=12592/tid=12593] ppid=12589 vsize=10900632 CPUtime=4.93 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12593/stat : 12593 (java) S 12589 12592 9818 0 -1 1077944384 7972 0 0 0 476 17 0 0 20 0 20 0 2311435 11162247168 427757 33554432000 4194304 4196468 140729126133552 139738075736272 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12595] ppid=12589 vsize=10900632 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12595/stat : 12595 (java) R 12589 12592 9818 0 -1 4202560 682 0 0 0 90 31 0 0 20 0 20 0 2311436 11162247168 427757 33554432000 4194304 4196468 140729126133552 139737678064680 139738064130791 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12596] ppid=12589 vsize=10900632 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12596/stat : 12596 (java) R 12589 12592 9818 0 -1 4202560 712 0 0 0 90 28 0 0 20 0 20 0 2311436 11162247168 427757 33554432000 4194304 4196468 140729126133552 139737677012184 139738056200335 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12597] ppid=12589 vsize=10900632 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12597/stat : 12597 (java) R 12589 12592 9818 0 -1 4202560 1661 0 0 0 94 29 0 0 20 0 20 0 2311436 11162247168 427757 33554432000 4194304 4196468 140729126133552 139737675959080 139738064130791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12598] ppid=12589 vsize=10900632 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12598/stat : 12598 (java) R 12589 12592 9818 0 -1 4202560 385 0 0 0 92 28 0 0 20 0 20 0 2311436 11162247168 427757 33554432000 4194304 4196468 140729126133552 139737674906280 139738064130791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12599] ppid=12589 vsize=10900632 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12599/stat : 12599 (java) R 12589 12592 9818 0 -1 4202560 810 0 0 0 95 32 0 0 20 0 20 0 2311436 11162247168 427757 33554432000 4194304 4196468 140729126133552 139737673853480 139738064130791 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12600] ppid=12589 vsize=10900632 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12600/stat : 12600 (java) R 12589 12592 9818 0 -1 4202560 704 0 0 0 92 32 0 0 20 0 20 0 2311436 11162247168 427757 33554432000 4194304 4196468 140729126133552 139737672800680 139738064130791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12601] ppid=12589 vsize=10900632 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12601/stat : 12601 (java) R 12589 12592 9818 0 -1 4202560 614 0 0 0 97 33 0 0 20 0 20 0 2311436 11162247168 427757 33554432000 4194304 4196468 140729126133552 139737671747880 139738064130791 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12602] ppid=12589 vsize=10900632 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12602/stat : 12602 (java) R 12589 12592 9818 0 -1 4202560 405 0 0 0 93 30 0 0 20 0 20 0 2311436 11162247168 427757 33554432000 4194304 4196468 140729126133552 139737670695080 139738064130791 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12603] ppid=12589 vsize=10900632 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12603/stat : 12603 (java) S 12589 12592 9818 0 -1 1077944384 1161 0 0 0 1 0 0 0 20 0 20 0 2311438 11162247168 427757 33554432000 4194304 4196468 140729126133552 139737278891232 139738071512789 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12604] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12604/stat : 12604 (java) S 12589 12592 9818 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2311439 11162247168 427757 33554432000 4194304 4196468 140729126133552 139737277838944 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12605] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12605/stat : 12605 (java) S 12589 12592 9818 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2311439 11162247168 427757 33554432000 4194304 4196468 140729126133552 139737276786048 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12606] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15

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

[pid=12592/tid=12608] ppid=12589 vsize=10900632 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12608/stat : 12608 (java) S 12589 12592 9818 0 -1 1077944384 7047 0 0 0 151 1 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737273628672 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12609] ppid=12589 vsize=10900632 CPUtime=1.62 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12609/stat : 12609 (java) S 12589 12592 9818 0 -1 1077944384 4753 0 0 0 162 0 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737272576160 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12610] ppid=12589 vsize=10900632 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12610/stat : 12610 (java) S 12589 12592 9818 0 -1 1077944384 4127 0 0 0 55 1 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737271523360 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12611] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12611/stat : 12611 (java) S 12589 12592 9818 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737270471776 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12612] ppid=12589 vsize=10900632 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12612/stat : 12612 (java) S 12589 12592 9818 0 -1 1077944384 336 0 0 0 8 5 0 0 20 0 20 0 2311443 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737269419056 139738071513730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
Current children cumulated CPU time (s) 2400.41
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 -12592
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12592 sig 9
??? end of watcher thread

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

[startup+379.201 s]
/proc/loadavg: 14.57 12.78 9.06 10/258 12683
/proc/meminfo: memFree=23559400/32770624 swapFree=5680/209776
[pid=12592] ppid=12589 vsize=10900632 CPUtime=2411.31 cores=1,3,5,7,9,11,13,15
/proc/12592/stat : 12592 (java) S 12589 12592 9818 0 -1 1077944320 529494 0 0 0 238132 2999 0 0 20 0 20 0 2311435 11162247168 2109758 33554432000 4194304 4196468 140729126133552 140729126116096 139738071502583 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
/proc/12592/statm: 2725158 2109758 3155 1 0 2713552 0
[pid=12592/tid=12593] ppid=12589 vsize=10900632 CPUtime=59.47 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12593/stat : 12593 (java) S 12589 12592 9818 0 -1 1077944384 19325 0 0 0 5920 27 0 0 20 0 20 0 2311435 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139738075737056 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12595] ppid=12589 vsize=10900632 CPUtime=290.46 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12595/stat : 12595 (java) R 12589 12592 9818 0 -1 4202560 58607 0 0 0 28677 369 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737678064984 139738055956512 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12596] ppid=12589 vsize=10900632 CPUtime=290.62 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12596/stat : 12596 (java) R 12589 12592 9818 0 -1 4202560 39039 0 0 0 28701 361 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737677011880 139738054885618 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12597] ppid=12589 vsize=10900632 CPUtime=291.34 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12597/stat : 12597 (java) R 12589 12592 9818 0 -1 4202560 71571 0 0 0 28774 360 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737675959080 139738064130791 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12598] ppid=12589 vsize=10900632 CPUtime=290.14 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12598/stat : 12598 (java) R 12589 12592 9818 0 -1 4202560 55578 0 0 0 28650 364 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737674906280 139738064130791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12599] ppid=12589 vsize=10900632 CPUtime=290.5 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12599/stat : 12599 (java) R 12589 12592 9818 0 -1 4202560 60730 0 0 0 28675 375 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737673853480 139738064130791 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12600] ppid=12589 vsize=10900632 CPUtime=289.96 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12600/stat : 12600 (java) R 12589 12592 9818 0 -1 4202560 44418 0 0 0 28605 391 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737672800680 139738054885616 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12601] ppid=12589 vsize=10900632 CPUtime=291.25 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12601/stat : 12601 (java) S 12589 12592 9818 0 -1 1077944384 37134 0 0 0 28759 366 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737671747568 139738071513730 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12602] ppid=12589 vsize=10900632 CPUtime=289.63 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12602/stat : 12602 (java) R 12589 12592 9818 0 -1 4202560 34863 0 0 0 28595 368 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737670695080 139738064130791 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12603] ppid=12589 vsize=10900632 CPUtime=22.43 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12603/stat : 12603 (java) S 12589 12592 9818 0 -1 1077944384 84749 0 0 0 2238 5 0 0 20 0 20 0 2311438 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737278891232 139738071512789 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12604] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12604/stat : 12604 (java) S 12589 12592 9818 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2311439 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737277838944 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12605] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12605/stat : 12605 (java) S 12589 12592 9818 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2311439 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737276786048 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12606] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12606/stat : 12606 (java) S 12589 12592 9818 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737275734000 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12607] ppid=12589 vsize=10900632 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12607/stat : 12607 (java) S 12589 12592 9818 0 -1 1077944384 5848 0 0 0 154 1 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737274681760 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12608] ppid=12589 vsize=10900632 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12608/stat : 12608 (java) S 12589 12592 9818 0 -1 1077944384 7047 0 0 0 151 1 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737273628672 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12609] ppid=12589 vsize=10900632 CPUtime=1.62 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12609/stat : 12609 (java) S 12589 12592 9818 0 -1 1077944384 4753 0 0 0 162 0 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737272576160 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12610] ppid=12589 vsize=10900632 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12610/stat : 12610 (java) S 12589 12592 9818 0 -1 1077944384 4127 0 0 0 55 1 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737271523360 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12611] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12611/stat : 12611 (java) S 12589 12592 9818 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737270471776 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12612] ppid=12589 vsize=10900632 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12612/stat : 12612 (java) S 12589 12592 9818 0 -1 1077944384 336 0 0 0 8 5 0 0 20 0 20 0 2311443 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737269419056 139738071513730 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
Current children cumulated CPU time (s) 2411.31
Current children cumulated vsize (KiB) 10900632

[startup+379.612 s]
/proc/loadavg: 14.57 12.78 9.06 10/283 12713
/proc/meminfo: memFree=23150264/32770624 swapFree=5680/205112
[pid=12592] ppid=12589 vsize=10900632 CPUtime=2414.48 cores=1,3,5,7,9,11,13,15
/proc/12592/stat : 12592 (java) S 12589 12592 9818 0 -1 1077944320 529494 0 0 0 238447 3001 0 0 20 0 20 0 2311435 11162247168 2109758 33554432000 4194304 4196468 140729126133552 140729126116096 139738071502583 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
/proc/12592/statm: 2725158 2109758 3155 1 0 2713552 0
[pid=12592/tid=12593] ppid=12589 vsize=10900632 CPUtime=59.47 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12593/stat : 12593 (java) S 12589 12592 9818 0 -1 1077944384 19325 0 0 0 5920 27 0 0 20 0 20 0 2311435 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139738075737056 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12595] ppid=12589 vsize=10900632 CPUtime=290.87 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12595/stat : 12595 (java) R 12589 12592 9818 0 -1 4202560 58607 0 0 0 28718 369 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737678064984 139738053098540 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12596] ppid=12589 vsize=10900632 CPUtime=291 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12596/stat : 12596 (java) R 12589 12592 9818 0 -1 4202560 39039 0 0 0 28739 361 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737677011880 139738054885616 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12597] ppid=12589 vsize=10900632 CPUtime=291.74 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12597/stat : 12597 (java) R 12589 12592 9818 0 -1 4202560 71571 0 0 0 28814 360 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737675959080 139738064130791 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12598] ppid=12589 vsize=10900632 CPUtime=290.54 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12598/stat : 12598 (java) R 12589 12592 9818 0 -1 4202560 55578 0 0 0 28690 364 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737674906280 139738064130791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12599] ppid=12589 vsize=10900632 CPUtime=290.89 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12599/stat : 12599 (java) R 12589 12592 9818 0 -1 4202560 60730 0 0 0 28714 375 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737673853480 139738064130791 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12600] ppid=12589 vsize=10900632 CPUtime=290.35 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12600/stat : 12600 (java) R 12589 12592 9818 0 -1 4202560 44418 0 0 0 28644 391 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737672800680 139738064130791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12601] ppid=12589 vsize=10900632 CPUtime=291.63 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12601/stat : 12601 (java) R 12589 12592 9818 0 -1 4202560 37134 0 0 0 28797 366 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737671747880 139738064130791 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12602] ppid=12589 vsize=10900632 CPUtime=290.03 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12602/stat : 12602 (java) R 12589 12592 9818 0 -1 4202560 34863 0 0 0 28635 368 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737670695080 139738064130791 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12603] ppid=12589 vsize=10900632 CPUtime=22.43 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12603/stat : 12603 (java) S 12589 12592 9818 0 -1 1077944384 84749 0 0 0 2238 5 0 0 20 0 20 0 2311438 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737278891232 139738071512789 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12604] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12604/stat : 12604 (java) S 12589 12592 9818 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2311439 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737277838944 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12605] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12605/stat : 12605 (java) S 12589 12592 9818 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2311439 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737276786048 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12606] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12606/stat : 12606 (java) S 12589 12592 9818 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737275734000 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12607] ppid=12589 vsize=10900632 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12607/stat : 12607 (java) S 12589 12592 9818 0 -1 1077944384 5848 0 0 0 154 1 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737274681760 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12608] ppid=12589 vsize=10900632 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12608/stat : 12608 (java) S 12589 12592 9818 0 -1 1077944384 7047 0 0 0 151 1 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737273628672 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12609] ppid=12589 vsize=10900632 CPUtime=1.62 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12609/stat : 12609 (java) S 12589 12592 9818 0 -1 1077944384 4753 0 0 0 162 0 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737272576160 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12610] ppid=12589 vsize=10900632 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12610/stat : 12610 (java) S 12589 12592 9818 0 -1 1077944384 4127 0 0 0 55 1 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737271523360 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12611] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12611/stat : 12611 (java) S 12589 12592 9818 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737270471776 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12612] ppid=12589 vsize=10900632 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12612/stat : 12612 (java) S 12589 12592 9818 0 -1 1077944384 336 0 0 0 8 5 0 0 20 0 20 0 2311443 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737269419056 139738071513730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
Current children cumulated CPU time (s) 2414.48
Current children cumulated vsize (KiB) 10900632

[startup+379.801 s]
/proc/loadavg: 14.57 12.78 9.06 10/283 12713
/proc/meminfo: memFree=23150264/32770624 swapFree=5680/205112
[pid=12592] ppid=12589 vsize=10900632 CPUtime=2415.95 cores=1,3,5,7,9,11,13,15
/proc/12592/stat : 12592 (java) S 12589 12592 9818 0 -1 1077944320 529494 0 0 0 238594 3001 0 0 20 0 20 0 2311435 11162247168 2109758 33554432000 4194304 4196468 140729126133552 140729126116096 139738071502583 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
/proc/12592/statm: 2725158 2109758 3155 1 0 2713552 0
[pid=12592/tid=12593] ppid=12589 vsize=10900632 CPUtime=59.47 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12593/stat : 12593 (java) S 12589 12592 9818 0 -1 1077944384 19325 0 0 0 5920 27 0 0 20 0 20 0 2311435 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139738075737056 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12595] ppid=12589 vsize=10900632 CPUtime=291.06 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12595/stat : 12595 (java) R 12589 12592 9818 0 -1 4202560 58607 0 0 0 28737 369 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737678064984 139738056453710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12596] ppid=12589 vsize=10900632 CPUtime=291.18 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12596/stat : 12596 (java) R 12589 12592 9818 0 -1 4202560 39039 0 0 0 28757 361 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737677011880 139738054885618 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12597] ppid=12589 vsize=10900632 CPUtime=291.92 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12597/stat : 12597 (java) R 12589 12592 9818 0 -1 4202560 71571 0 0 0 28832 360 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737675959080 139738064130791 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12598] ppid=12589 vsize=10900632 CPUtime=290.72 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12598/stat : 12598 (java) R 12589 12592 9818 0 -1 4202560 55578 0 0 0 28708 364 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737674905968 139738064130791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12599] ppid=12589 vsize=10900632 CPUtime=291.07 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12599/stat : 12599 (java) R 12589 12592 9818 0 -1 4202560 60730 0 0 0 28732 375 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737673853480 139738064130791 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12600] ppid=12589 vsize=10900632 CPUtime=290.55 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12600/stat : 12600 (java) R 12589 12592 9818 0 -1 4202560 44418 0 0 0 28663 392 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737672800680 139738054885616 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12601] ppid=12589 vsize=10900632 CPUtime=291.82 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12601/stat : 12601 (java) R 12589 12592 9818 0 -1 4202560 37134 0 0 0 28815 367 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737671747880 139738064130791 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12602] ppid=12589 vsize=10900632 CPUtime=290.21 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12602/stat : 12602 (java) R 12589 12592 9818 0 -1 4202560 34863 0 0 0 28653 368 0 0 20 0 20 0 2311436 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737670695080 139738064130791 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12603] ppid=12589 vsize=10900632 CPUtime=22.43 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12603/stat : 12603 (java) S 12589 12592 9818 0 -1 1077944384 84749 0 0 0 2238 5 0 0 20 0 20 0 2311438 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737278891232 139738071512789 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12604] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12604/stat : 12604 (java) S 12589 12592 9818 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2311439 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737277838944 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12605] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12605/stat : 12605 (java) S 12589 12592 9818 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2311439 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737276786048 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12606] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12606/stat : 12606 (java) S 12589 12592 9818 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737275734000 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12607] ppid=12589 vsize=10900632 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12607/stat : 12607 (java) S 12589 12592 9818 0 -1 1077944384 5848 0 0 0 154 1 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737274681760 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12608] ppid=12589 vsize=10900632 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12608/stat : 12608 (java) S 12589 12592 9818 0 -1 1077944384 7047 0 0 0 151 1 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737273628672 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12609] ppid=12589 vsize=10900632 CPUtime=1.62 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12609/stat : 12609 (java) S 12589 12592 9818 0 -1 1077944384 4753 0 0 0 162 0 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737272576160 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12610] ppid=12589 vsize=10900632 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12610/stat : 12610 (java) S 12589 12592 9818 0 -1 1077944384 4127 0 0 0 55 1 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737271523360 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12611] ppid=12589 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12611/stat : 12611 (java) S 12589 12592 9818 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2311442 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737270471776 139738071512789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
[pid=12592/tid=12612] ppid=12589 vsize=10900632 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12592/task/12612/stat : 12612 (java) S 12589 12592 9818 0 -1 1077944384 336 0 0 0 8 5 0 0 20 0 20 0 2311443 11162247168 2109758 33554432000 4194304 4196468 140729126133552 139737269419056 139738071513730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9781248 140729126134955 140729126135108 140729126135108 140729126137807 0
Current children cumulated CPU time (s) 2415.95
Current children cumulated vsize (KiB) 10900632

Child ended because it received signal 9 (SIGKILL)
Real time (s): 379.853
CPU time (s): 2416.04
CPU user time (s): 2385.98
CPU system time (s): 30.0649
CPU usage (%): 636.048
Max. virtual memory (cumulated for all children) (KiB): 10903204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2385.98
system time used= 30.0649
maximum resident set size= 8439300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 529498
page faults= 0
swaps= 0
block input operations= 0
block output operations= 520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 669837
involuntary context switches= 206676

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.1346 second user time and 3.95557 second system time

The end

Launcher Data 

Begin job on node140 at 2017-07-21 22:54:11
IDJOB=4243348
IDBENCH=115904
IDSOLVER=2623
FILE ID=node140/4243348-1500670451
RUNJOBID= node140-1500669780-12184
PBS_JOBID= 20623280
Free space on /tmp= 61856 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-28.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243348-1500670451/watcher-4243348-1500670451 -o /tmp/evaluation-result-4243348-1500670451/solver-4243348-1500670451 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500669780-12184 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243348-1500670451.xml

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

MD5SUM BENCH= f7605bb50abdbd05cc6d9fedf17196d1
RANDOM SEED=1129353364

node140.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		: 2000.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.36
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		: 1600.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		: 2133.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.36
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		: 2000.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.36
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		: 2668.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.36
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		: 2668.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.36
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		: 2267.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.36
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		: 2000.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.36
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		: 2000.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.36
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:        31145416 kB
MemAvailable:   31152792 kB
Buffers:           45088 kB
Cached:           271852 kB
SwapCached:            0 kB
Active:          1033420 kB
Inactive:         213308 kB
Active(anon):     932032 kB
Inactive(anon):     8816 kB
Active(file):     101388 kB
Inactive(file):   204492 kB
Unevictable:        5680 kB
Mlocked:            5680 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1620 kB
Writeback:             0 kB
AnonPages:        897264 kB
Mapped:            42204 kB
Shmem:              8852 kB
Slab:              67684 kB
SReclaimable:      34664 kB
SUnreclaim:        33020 kB
KernelStack:        4880 kB
PageTables:         6528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2259504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    757760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61836 MiB
End job on node140 at 2017-07-21 23:00:31