Trace number 4305489

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop order+MapleCOMSPS (2018-07-31)? (TO) 2528.28 936.808

General information on the benchmark

NameCrossword/
Crossword-m18-ogd2008-vg-14-15_c18.xml
MD5SUMac0b4f561f7e67952eb47b21f0f500f8
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables210
Number of constraints29
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":210}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":210}]
Minimum constraint arity14
Maximum constraint arity15
Distribution of constraint arities[{"arity":14,"count":15},{"arity":15,"count":14}]
Number of extensional constraints29
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":29}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-21036-serial-file.bin HOME/instance-4305489-1534075187.xml
0.67/0.52	
0.67/0.52	scop order+minisat_release (2018-07-31)
0.67/0.52	(Encoding Process)
0.67/0.52	
0.67/0.55	c BEGIN-Prog: Sun Aug 12 13:59:48 CEST 2018
0.67/0.55	c PID: 21039
0.67/0.55	c IP: 172.20.3.107
0.67/0.55	c HOST: node107.alineos.net
0.67/0.55	c (0,0) Parsing Begin
2.58/1.37	c (0,0) Parsing End
2.58/1.38	c (0,0) CSP: 210 int (0 aux), 0 bool (0 aux), 29 ctr, max domain size 26
2.58/1.38	c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.58/1.38	c (0,0) Constraint Name Generate Begin
2.58/1.38	c (0,0) Ctr:HOME/instance-4305489-1534075187.xml,ExtensionSupport:IntVar
2.58/1.38	c (0,0) Constraint Name Generate End
2.58/1.38	c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.58/1.38	c (0,0) CSP to CSPinCNF Begin
90.23/59.03	c (58,51) translated 3 (10%) constraints
166.56/113.55	c (113,99) translated 6 (20%) constraints
237.68/167.10	c (166,146) translated 9 (30%) constraints
362.33/234.29	c (233,194) translated 12 (40%) constraints
472.11/297.70	c (297,242) translated 15 (50%) constraints
630.61/394.50	c (393,318) translated 18 (60%) constraints
1314.92/609.04	c (608,373) translated 21 (70%) constraints
2520.17/934.72	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.17/934.72	c (scop.sh) Killing background jobs.

Verifier Data 

One s line expected

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12884 MiB free)
  memory of node 1: 16384 MiB (7228 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305489-1534075187/watcher-4305489-1534075187 -o /tmp/evaluation-result-4305489-1534075187/solver-4305489-1534075187 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16636 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305489-1534075187.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21036, runsolver pid=21033
Current StackSize limit: 8192 KiB


[startup+0.100193 s]*
/proc/loadavg: 2.22 2.30 2.17 3/217 21053
/proc/meminfo: memFree=20540020/32770624 swapFree=67108860/67108860
[pid=21036] ppid=21033 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21036/stat : 21036 (scop.sh) S 21033 21036 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225081917 115843072 349 33554432000 4194304 5098028 140736291329376 140736291326632 139657749521020 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24915968 140736291337280 140736291337479 140736291337479 140736291340237 0
/proc/21036/statm: 28282 349 296 221 0 87 0
[pid=21039] ppid=21036 vsize=15012476 memory=68700 CPUtime=0.11 cores=0,2,4,6
/proc/21039/stat : 21039 (java) S 21036 21036 16605 0 -1 1077944320 6867 0 0 0 9 2 0 0 20 0 15 0 225081917 15372775424 17175 33554432000 4194304 4196468 140723842429648 140723842412192 140294600031991 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
/proc/21039/statm: 3753119 17175 2759 1 0 3715579 0
[pid=21039/tid=21040] ppid=21036 vsize=15012476 memory=-6673890911685660454 CPUtime=0.09 cores=0,2,4,6
/proc/21039/task/21040/stat : 21040 (java) R 21036 21036 16605 0 -1 4202560 4897 0 0 0 8 1 0 0 20 0 15 0 225081917 15372775424 17175 33554432000 4194304 4196468 140723842429648 140294571843976 140294583218800 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21041] ppid=21036 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21041/stat : 21041 (java) S 21036 21036 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081919 15372775424 17175 33554432000 4194304 4196468 140723842429648 140294604273936 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21042] ppid=21036 vsize=15012476 memory=140474722100864 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21042/stat : 21042 (java) S 21036 21036 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081919 15372775424 17175 33554432000 4194304 4196468 140723842429648 140294437652880 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21043] ppid=21036 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21043/stat : 21043 (java) S 21036 21036 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081919 15372775424 17175 33554432000 4194304 4196468 140723842429648 140294059186704 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21044] ppid=21036 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21044/stat : 21044 (java) S 21036 21036 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081919 15372775424 17175 33554432000 4194304 4196468 140723842429648 140294058134160 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21045] ppid=21036 vsize=15012476 memory=140474722100864 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21045/stat : 21045 (java) S 21036 21036 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081920 15372775424 17175 33554432000 4194304 4196468 140723842429648 140293637638640 140294600043138 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21046] ppid=21036 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21046/stat : 21046 (java) S 21036 21036 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225081921 15372775424 17175 33554432000 4194304 4196468 140723842429648 140293227668896 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21047] ppid=21036 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21047/stat : 21047 (java) S 21036 21036 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225081921 15372775424 17175 33554432000 4194304 4196468 140723842429648 140293093447152 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21048] ppid=21036 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21048/stat : 21048 (java) S 21036 21036 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081923 15372775424 17175 33554432000 4194304 4196468 140723842429648 140292718942928 140294600050587 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21049] ppid=21036 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21049/stat : 21049 (java) S 21036 21036 16605 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 225081924 15372775424 17175 33554432000 4194304 4196468 140723842429648 140293636585456 140294600043138 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21050] ppid=21036 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21050/stat : 21050 (java) S 21036 21036 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081924 15372775424 17175 33554432000 4194304 4196468 140723842429648 140293635532912 140294600043138 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21051] ppid=21036 vsize=15012476 memory=140474722100864 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21051/stat : 21051 (java) S 21036 21036 16605 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 225081924 15372775424 17175 33554432000 4194304 4196468 140723842429648 140293634480368 140294600043138 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21052] ppid=21036 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21052/stat : 21052 (java) S 21036 21036 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081924 15372775424 17175 33554432000 4194304 4196468 140723842429648 140292221037152 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21053] ppid=21036 vsize=15012476 memory=140474722100864 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21053/stat : 21053 (java) S 21036 21036 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081924 15372775424 17175 33554432000 4194304 4196468 140723842429648 140293633428272 140294600043138 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 70096 KiB

[startup+0.210671 s]*
/proc/loadavg: 2.22 2.30 2.17 4/217 21053
/proc/meminfo: memFree=20525836/32770624 swapFree=67108860/67108860
[pid=21036] ppid=21033 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21036/stat : 21036 (scop.sh) S 21033 21036 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225081917 115843072 349 33554432000 4194304 5098028 140736291329376 140736291326632 139657749521020 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24915968 140736291337280 140736291337479 140736291337479 140736291340237 0
/proc/21036/statm: 28282 349 296 221 0 87 0
[pid=21039] ppid=21036 vsize=15012476 memory=82036 CPUtime=0.26 cores=0,2,4,6
/proc/21039/stat : 21039 (java) S 21036 21036 16605 0 -1 1077944320 10431 0 0 0 23 3 0 0 20 0 15 0 225081917 15372775424 20509 33554432000 4194304 4196468 140723842429648 140723842412192 140294600031991 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
/proc/21039/statm: 3753119 20509 2864 1 0 3715579 0
[pid=21039/tid=21040] ppid=21036 vsize=15012476 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/21039/task/21040/stat : 21040 (java) R 21036 21036 16605 0 -1 4202560 8236 0 0 0 18 2 0 0 20 0 15 0 225081917 15372775424 20509 33554432000 4194304 4196468 140723842429648 140294571858384 140294600043926 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21041] ppid=21036 vsize=15012476 memory=10657 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21041/stat : 21041 (java) S 21036 21036 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081919 15372775424 20509 33554432000 4194304 4196468 140723842429648 140294604273936 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21042] ppid=21036 vsize=15012476 memory=4050062046013499040 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21042/stat : 21042 (java) S 21036 21036 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081919 15372775424 20509 33554432000 4194304 4196468 140723842429648 140294437652880 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21043] ppid=21036 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21043/stat : 21043 (java) S 21036 21036 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081919 15372775424 20509 33554432000 4194304 4196468 140723842429648 140294059186704 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21044] ppid=21036 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21044/stat : 21044 (java) S 21036 21036 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081919 15372775424 20509 33554432000 4194304 4196468 140723842429648 140294058134160 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21045] ppid=21036 vsize=15012476 memory=140474722100864 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21045/stat : 21045 (java) S 21036 21036 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081920 15372775424 20509 33554432000 4194304 4196468 140723842429648 140293637638640 140294600043138 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21046] ppid=21036 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21046/stat : 21046 (java) S 21036 21036 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225081921 15372775424 20509 33554432000 4194304 4196468 140723842429648 140293227668896 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21047] ppid=21036 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21047/stat : 21047 (java) S 21036 21036 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225081921 15372775424 20509 33554432000 4194304 4196468 140723842429648 140293093447152 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21048] ppid=21036 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21048/stat : 21048 (java) S 21036 21036 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081923 15372775424 20509 33554432000 4194304 4196468 140723842429648 140292718942928 140294600050587 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21049] ppid=21036 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21049/stat : 21049 (java) S 21036 21036 16605 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 15 0 225081924 15372775424 20509 33554432000 4194304 4196468 140723842429648 140293636585456 140294600043138 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21050] ppid=21036 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21050/stat : 21050 (java) S 21036 21036 16605 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 225081924 15372775424 20509 33554432000 4194304 4196468 140723842429648 140293635532912 140294600043138 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21051] ppid=21036 vsize=15012476 memory=140474722100864 CPUtime=0.03 cores=0,2,4,6
/proc/21039/task/21051/stat : 21051 (java) R 21036 21036 16605 0 -1 4202560 354 0 0 0 3 0 0 0 20 0 15 0 225081924 15372775424 20509 33554432000 4194304 4196468 140723842429648 140293634480368 140294593128827 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21052] ppid=21036 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21052/stat : 21052 (java) S 21036 21036 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081924 15372775424 20509 33554432000 4194304 4196468 140723842429648 140292221037152 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21053] ppid=21036 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21053/stat : 21053 (java) S 21036 21036 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081924 15372775424 20509 33554432000 4194304 4196468 140723842429648 140293633428272 140294600043138 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 83432 KiB

[startup+0.310557 s]*
/proc/loadavg: 2.22 2.30 2.17 3/217 21053
/proc/meminfo: memFree=20522300/32770624 swapFree=67108860/67108860
[pid=21036] ppid=21033 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21036/stat : 21036 (scop.sh) S 21033 21036 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225081917 115843072 349 33554432000 4194304 5098028 140736291329376 140736291326632 139657749521020 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24915968 140736291337280 140736291337479 140736291337479 140736291340237 0
/proc/21036/statm: 28282 349 296 221 0 87 0
[pid=21039] ppid=21036 vsize=15012476 memory=86656 CPUtime=0.42 cores=0,2,4,6
/proc/21039/stat : 21039 (java) S 21036 21036 16605 0 -1 1077944320 11145 0 0 0 39 3 0 0 20 0 15 0 225081917 15372775424 21664 33554432000 4194304 4196468 140723842429648 140723842412192 140294600031991 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
/proc/21039/statm: 3753119 21664 3003 1 0 3715579 0
[pid=21039/tid=21040] ppid=21036 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/21039/task/21040/stat : 21040 (java) R 21036 21036 16605 0 -1 4202560 8679 0 0 0 27 2 0 0 20 0 15 0 225081917 15372775424 21664 33554432000 4194304 4196468 140723842429648 140294571826992 140294600043926 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21041] ppid=21036 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21041/stat : 21041 (java) S 21036 21036 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081919 15372775424 21664 33554432000 4194304 4196468 140723842429648 140294604273936 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21042] ppid=21036 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21042/stat : 21042 (java) S 21036 21036 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081919 15372775424 21664 33554432000 4194304 4196468 140723842429648 140294437652880 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21043] ppid=21036 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21043/stat : 21043 (java) S 21036 21036 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081919 15372775424 21664 33554432000 4194304 4196468 140723842429648 140294059186704 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21044] ppid=21036 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21044/stat : 21044 (java) S 21036 21036 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081919 15372775424 21664 33554432000 4194304 4196468 140723842429648 140294058134160 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21045] ppid=21036 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21045/stat : 21045 (java) S 21036 21036 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081920 15372775424 21664 33554432000 4194304 4196468 140723842429648 140293637638640 140294600043138 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21046] ppid=21036 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21046/stat : 21046 (java) S 21036 21036 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225081921 15372775424 21664 33554432000 4194304 4196468 140723842429648 140293227668896 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21047] ppid=21036 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21047/stat : 21047 (java) S 21036 21036 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225081921 15372775424 21664 33554432000 4194304 4196468 140723842429648 140293093447152 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21048] ppid=21036 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21048/stat : 21048 (java) S 21036 21036 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081923 15372775424 21664 33554432000 4194304 4196468 140723842429648 140292718942928 140294600050587 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21049] ppid=21036 vsize=15012476 memory=4426078206164241782 CPUtime=0.02 cores=0,2,4,6
/proc/21039/task/21049/stat : 21049 (java) R 21036 21036 16605 0 -1 4202560 511 0 0 0 2 0 0 0 20 0 15 0 225081924 15372775424 21664 33554432000 4194304 4196468 140723842429648 140293636585456 140294584680467 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21050] ppid=21036 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21039/task/21050/stat : 21050 (java) R 21036 21036 16605 0 -1 1077944384 139 0 0 0 1 0 0 0 20 0 15 0 225081924 15372775424 21664 33554432000 4194304 4196468 140723842429648 140293635532912 140294600043138 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21051] ppid=21036 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21039/task/21051/stat : 21051 (java) R 21036 21036 16605 0 -1 4202560 463 0 0 0 7 0 0 0 20 0 15 0 225081924 15372775424 21664 33554432000 4194304 4196468 140723842429648 140293634480368 140294600043926 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21052] ppid=21036 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21052/stat : 21052 (java) S 21036 21036 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081924 15372775424 21664 33554432000 4194304 4196468 140723842429648 140292221037152 140294600042197 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21053] ppid=21036 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21053/stat : 21053 (java) S 21036 21036 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081924 15372775424 21664 33554432000 4194304 4196468 140723842429648 140293633428272 140294600043138 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88052 KiB

[startup+0.700819 s]
/proc/loadavg: 2.22 2.30 2.17 3/217 21053
/proc/meminfo: memFree=20497248/32770624 swapFree=67108860/67108860
[pid=21036] ppid=21033 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21036/stat : 21036 (scop.sh) S 21033 21036 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225081917 115843072 349 33554432000 4194304 5098028 140736291329376 140736291326632 139657749521020 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24915968 140736291337280 140736291337479 140736291337479 140736291340237 0
/proc/21036/statm: 28282 349 296 221 0 87 0
[pid=21039] ppid=21036 vsize=15018748 memory=127992 CPUtime=1.01 cores=0,2,4,6
/proc/21039/stat : 21039 (java) S 21036 21036 16605 0 -1 1077944320 18195 0 0 0 96 5 0 0 20 0 15 0 225081917 15379197952 31998 33554432000 4194304 4196468 140723842429648 140723842412192 140294600031991 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
/proc/21039/statm: 3754687 31998 3127 1 0 3716091 0
[pid=21039/tid=21040] ppid=21036 vsize=15018748 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/21039/task/21040/stat : 21040 (java) R 21036 21036 16605 0 -1 4202560 15139 0 0 0 63 4 0 0 20 0 15 0 225081917 15379197952 31998 33554432000 4194304 4196468 140723842429648 140294571869712 140294600053917 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21041] ppid=21036 vsize=15018748 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21041/stat : 21041 (java) S 21036 21036 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081919 15379197952 31998 33554432000 4194304 4196468 140723842429648 140294604273936 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21042] ppid=21036 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21042/stat : 21042 (java) S 21036 21036 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081919 15379197952 31998 33554432000 4194304 4196468 140723842429648 140294437652880 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21043] ppid=21036 vsize=15018748 memory=61224 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21043/stat : 21043 (java) S 21036 21036 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081919 15379197952 31998 33554432000 4194304 4196468 140723842429648 140294059186704 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21044] ppid=21036 vsize=15018748 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21044/stat : 21044 (java) S 21036 21036 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081919 15379197952 31998 33554432000 4194304 4196468 140723842429648 140294058134160 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21045] ppid=21036 vsize=15018748 memory=2072 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21045/stat : 21045 (java) S 21036 21036 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225081920 15379197952 31998 33554432000 4194304 4196468 140723842429648 140293637638640 140294600043138 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21046] ppid=21036 vsize=15018748 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21046/stat : 21046 (java) S 21036 21036 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225081921 15379197952 31998 33554432000 4194304 4196468 140723842429648 140293227668896 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21047] ppid=21036 vsize=15018748 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21047/stat : 21047 (java) S 21036 21036 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225081921 15379197952 31998 33554432000 4194304 4196468 140723842429648 140293093447152 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21048] ppid=21036 vsize=15018748 memory=752 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21048/stat : 21048 (java) S 21036 21036 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081923 15379197952 31998 33554432000 4194304 4196468 140723842429648 140292718942928 140294600050587 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21049] ppid=21036 vsize=15018748 memory=1828 CPUtime=0.07 cores=0,2,4,6
/proc/21039/task/21049/stat : 21049 (java) S 21036 21036 16605 0 -1 1077944384 694 0 0 0 7 0 0 0 20 0 15 0 225081924 15379197952 31998 33554432000 4194304 4196468 140723842429648 140293636585456 140294600043138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21050] ppid=21036 vsize=15018748 memory=1120 CPUtime=0.09 cores=0,2,4,6
/proc/21039/task/21050/stat : 21050 (java) R 21036 21036 16605 0 -1 4202560 370 0 0 0 9 0 0 0 20 0 15 0 225081924 15379197952 31998 33554432000 4194304 4196468 140723842429648 140293635532912 140294583942420 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21051] ppid=21036 vsize=15018748 memory=6120 CPUtime=0.15 cores=0,2,4,6
/proc/21039/task/21051/stat : 21051 (java) S 21036 21036 16605 0 -1 1077944384 636 0 0 0 15 0 0 0 20 0 15 0 225081924 15379197952 31998 33554432000 4194304 4196468 140723842429648 140293634480368 140294600043138 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21052] ppid=21036 vsize=15018748 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21052/stat : 21052 (java) S 21036 21036 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081924 15379197952 31998 33554432000 4194304 4196468 140723842429648 140292221037152 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21053] ppid=21036 vsize=15018748 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21053/stat : 21053 (java) S 21036 21036 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081924 15379197952 31998 33554432000 4194304 4196468 140723842429648 140293633428272 140294600043138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 129388 KiB

[startup+1.50859 s]
/proc/loadavg: 2.29 2.31 2.17 5/217 21053
/proc/meminfo: memFree=20379532/32770624 swapFree=67108860/67108860
[pid=21036] ppid=21033 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21036/stat : 21036 (scop.sh) S 21033 21036 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225081917 115843072 349 33554432000 4194304 5098028 140736291329376 140736291326632 139657749521020 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24915968 140736291337280 140736291337479 140736291337479 140736291340237 0
/proc/21036/statm: 28282 349 296 221 0 87 0

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


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

[startup+936.001 s]*
/proc/loadavg: 6.06 6.07 4.31 6/216 21187
/proc/meminfo: memFree=8868864/32770624 swapFree=67108860/67108860
[pid=21039] ppid=21033 vsize=15024968 memory=12061412 CPUtime=2525.37 cores=0,2,4,6
/proc/21039/stat : 21039 (java) S 21033 21036 16605 0 -1 1077944320 1749618 0 0 0 251307 1230 0 0 20 0 15 0 225081917 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140723842412192 140294600031991 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
/proc/21039/statm: 3756242 3015353 3247 1 0 3717627 0
[pid=21039/tid=21040] ppid=21033 vsize=15024968 memory=6791534058613427641 CPUtime=401.82 cores=0,2,4,6
/proc/21039/task/21040/stat : 21040 (java) S 21033 21036 16605 0 -1 1077944384 53372 0 0 0 40131 51 0 0 20 0 15 0 225081917 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294571870000 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21041] ppid=21033 vsize=15024968 memory=4872558044660077418 CPUtime=525.65 cores=0,2,4,6
/proc/21039/task/21041/stat : 21041 (java) R 21033 21036 16605 0 -1 4202560 518069 0 0 0 52251 314 0 0 20 0 15 0 225081919 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294604274136 140294581627985 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21042] ppid=21033 vsize=15024968 memory=3424 CPUtime=527.6 cores=0,2,4,6
/proc/21039/task/21042/stat : 21042 (java) R 21033 21036 16605 0 -1 4202560 505409 0 0 0 52460 300 0 0 20 0 15 0 225081919 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294437652768 140294585017002 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21043] ppid=21033 vsize=15024968 memory=2916 CPUtime=526.58 cores=0,2,4,6
/proc/21039/task/21043/stat : 21043 (java) R 21033 21036 16605 0 -1 4202560 215984 0 0 0 52378 280 0 0 20 0 15 0 225081919 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294059186904 140294584729630 0 4 2 25189581 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21044] ppid=21033 vsize=15024968 memory=4104 CPUtime=526.97 cores=0,2,4,6
/proc/21039/task/21044/stat : 21044 (java) R 21033 21036 16605 0 -1 4202560 234494 0 0 0 52441 256 0 0 20 0 15 0 225081919 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294058134360 140294584729570 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21045] ppid=21033 vsize=15024968 memory=6791534058613427641 CPUtime=3.53 cores=0,2,4,6
/proc/21039/task/21045/stat : 21045 (java) S 21033 21036 16605 0 -1 1077944384 175461 0 0 0 343 10 0 0 20 0 15 0 225081920 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293637636960 140294600042197 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21046] ppid=21033 vsize=15024968 memory=924 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21046/stat : 21046 (java) S 21033 21036 16605 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 225081921 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293227668960 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21047] ppid=21033 vsize=15024968 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21047/stat : 21047 (java) S 21033 21036 16605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 225081921 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293093447168 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21048] ppid=21033 vsize=15024968 memory=3980 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21048/stat : 21048 (java) S 21033 21036 16605 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225081923 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140292718942576 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21049] ppid=21033 vsize=15024968 memory=6791534058613427641 CPUtime=7.24 cores=0,2,4,6
/proc/21039/task/21049/stat : 21049 (java) S 21033 21036 16605 0 -1 1077944384 13177 0 0 0 722 2 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293636585456 140294600043138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21050] ppid=21033 vsize=15024968 memory=3312 CPUtime=4.32 cores=0,2,4,6
/proc/21039/task/21050/stat : 21050 (java) S 21033 21036 16605 0 -1 1077944384 16302 0 0 0 430 2 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293635532912 140294600043138 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21051] ppid=21033 vsize=15024968 memory=15712 CPUtime=1.07 cores=0,2,4,6
/proc/21039/task/21051/stat : 21051 (java) S 21033 21036 16605 0 -1 1077944384 15332 0 0 0 104 3 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293634480368 140294600043138 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21052] ppid=21033 vsize=15024968 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21052/stat : 21052 (java) S 21033 21036 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140292221037152 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21053] ppid=21033 vsize=15024968 memory=504 CPUtime=0.48 cores=0,2,4,6
/proc/21039/task/21053/stat : 21053 (java) S 21033 21036 16605 0 -1 1077944384 651 0 0 0 26 22 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293633428272 140294600043138 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
Current cumulated CPU time of completed processes: 0.003593 s
Current children cumulated CPU time: 2525.37 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12061412 KiB

[startup+936.401 s]
/proc/loadavg: 6.06 6.07 4.31 6/216 21187
/proc/meminfo: memFree=8868864/32770624 swapFree=67108860/67108860
[pid=21039] ppid=21033 vsize=15024968 memory=12061412 CPUtime=2526.93 cores=0,2,4,6
/proc/21039/stat : 21039 (java) S 21033 21036 16605 0 -1 1077944320 1749618 0 0 0 251463 1230 0 0 20 0 15 0 225081917 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140723842412192 140294600031991 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
/proc/21039/statm: 3756242 3015353 3247 1 0 3717627 0
[pid=21039/tid=21040] ppid=21033 vsize=15024968 memory=1828 CPUtime=401.82 cores=0,2,4,6
/proc/21039/task/21040/stat : 21040 (java) S 21033 21036 16605 0 -1 1077944384 53372 0 0 0 40131 51 0 0 20 0 15 0 225081917 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294571870000 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21041] ppid=21033 vsize=15024968 memory=1120 CPUtime=526.05 cores=0,2,4,6
/proc/21039/task/21041/stat : 21041 (java) R 21033 21036 16605 0 -1 4202560 518069 0 0 0 52291 314 0 0 20 0 15 0 225081919 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294604274136 140294585017287 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21042] ppid=21033 vsize=15024968 memory=6120 CPUtime=527.99 cores=0,2,4,6
/proc/21039/task/21042/stat : 21042 (java) R 21033 21036 16605 0 -1 4202560 505409 0 0 0 52499 300 0 0 20 0 15 0 225081919 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294437652768 140294584982596 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21043] ppid=21033 vsize=15024968 memory=1724 CPUtime=526.96 cores=0,2,4,6
/proc/21039/task/21043/stat : 21043 (java) R 21033 21036 16605 0 -1 4202560 215984 0 0 0 52416 280 0 0 20 0 15 0 225081919 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294059186904 140294584729630 0 4 2 25189581 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21044] ppid=21033 vsize=15024968 memory=4004 CPUtime=527.36 cores=0,2,4,6
/proc/21039/task/21044/stat : 21044 (java) R 21033 21036 16605 0 -1 4202560 234494 0 0 0 52480 256 0 0 20 0 15 0 225081919 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294058134360 140294585017287 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21045] ppid=21033 vsize=15024968 memory=3516 CPUtime=3.53 cores=0,2,4,6
/proc/21039/task/21045/stat : 21045 (java) S 21033 21036 16605 0 -1 1077944384 175461 0 0 0 343 10 0 0 20 0 15 0 225081920 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293637636960 140294600042197 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21046] ppid=21033 vsize=15024968 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21046/stat : 21046 (java) S 21033 21036 16605 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 225081921 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293227668960 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21047] ppid=21033 vsize=15024968 memory=3312 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21047/stat : 21047 (java) S 21033 21036 16605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 225081921 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293093447168 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21048] ppid=21033 vsize=15024968 memory=15712 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21048/stat : 21048 (java) S 21033 21036 16605 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225081923 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140292718942576 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21049] ppid=21033 vsize=15024968 memory=1620 CPUtime=7.24 cores=0,2,4,6
/proc/21039/task/21049/stat : 21049 (java) S 21033 21036 16605 0 -1 1077944384 13177 0 0 0 722 2 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293636585456 140294600043138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21050] ppid=21033 vsize=15024968 memory=504 CPUtime=4.32 cores=0,2,4,6
/proc/21039/task/21050/stat : 21050 (java) S 21033 21036 16605 0 -1 1077944384 16302 0 0 0 430 2 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293635532912 140294600043138 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21051] ppid=21033 vsize=15024968 memory=924 CPUtime=1.07 cores=0,2,4,6
/proc/21039/task/21051/stat : 21051 (java) S 21033 21036 16605 0 -1 1077944384 15332 0 0 0 104 3 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293634480368 140294600043138 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21052] ppid=21033 vsize=15024968 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21052/stat : 21052 (java) S 21033 21036 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140292221037152 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21053] ppid=21033 vsize=15024968 memory=2140 CPUtime=0.48 cores=0,2,4,6
/proc/21039/task/21053/stat : 21053 (java) S 21033 21036 16605 0 -1 1077944384 651 0 0 0 26 22 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293633428272 140294600043138 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
Current cumulated CPU time of completed processes: 0.003593 s
Current children cumulated CPU time: 2526.93 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12061412 KiB

[startup+936.601 s]
/proc/loadavg: 6.06 6.07 4.31 6/216 21187
/proc/meminfo: memFree=8868864/32770624 swapFree=67108860/67108860
[pid=21039] ppid=21033 vsize=15024968 memory=12061412 CPUtime=2527.73 cores=0,2,4,6
/proc/21039/stat : 21039 (java) S 21033 21036 16605 0 -1 1077944320 1749618 0 0 0 251543 1230 0 0 20 0 15 0 225081917 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140723842412192 140294600031991 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
/proc/21039/statm: 3756242 3015353 3247 1 0 3717627 0
[pid=21039/tid=21040] ppid=21033 vsize=15024968 memory=1288 CPUtime=401.82 cores=0,2,4,6
/proc/21039/task/21040/stat : 21040 (java) S 21033 21036 16605 0 -1 1077944384 53372 0 0 0 40131 51 0 0 20 0 15 0 225081917 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294571870000 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21041] ppid=21033 vsize=15024968 memory=1088 CPUtime=526.25 cores=0,2,4,6
/proc/21039/task/21041/stat : 21041 (java) R 21033 21036 16605 0 -1 4202560 518069 0 0 0 52311 314 0 0 20 0 15 0 225081919 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294604274136 140294581628465 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21042] ppid=21033 vsize=15024968 memory=15512 CPUtime=528.19 cores=0,2,4,6
/proc/21039/task/21042/stat : 21042 (java) R 21033 21036 16605 0 -1 4202560 505409 0 0 0 52519 300 0 0 20 0 15 0 225081919 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294437652768 140294584485665 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21043] ppid=21033 vsize=15024968 memory=33904 CPUtime=527.16 cores=0,2,4,6
/proc/21039/task/21043/stat : 21043 (java) R 21033 21036 16605 0 -1 4202560 215984 0 0 0 52436 280 0 0 20 0 15 0 225081919 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294059186904 140294584729630 0 4 2 25189581 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21044] ppid=21033 vsize=15024968 memory=3312 CPUtime=527.56 cores=0,2,4,6
/proc/21039/task/21044/stat : 21044 (java) R 21033 21036 16605 0 -1 4202560 234494 0 0 0 52500 256 0 0 20 0 15 0 225081919 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294058134360 140294581629002 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21045] ppid=21033 vsize=15024968 memory=15712 CPUtime=3.53 cores=0,2,4,6
/proc/21039/task/21045/stat : 21045 (java) S 21033 21036 16605 0 -1 1077944384 175461 0 0 0 343 10 0 0 20 0 15 0 225081920 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293637636960 140294600042197 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21046] ppid=21033 vsize=15024968 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21046/stat : 21046 (java) S 21033 21036 16605 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 225081921 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293227668960 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21047] ppid=21033 vsize=15024968 memory=504 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21047/stat : 21047 (java) S 21033 21036 16605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 225081921 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293093447168 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21048] ppid=21033 vsize=15024968 memory=924 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21048/stat : 21048 (java) S 21033 21036 16605 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225081923 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140292718942576 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21049] ppid=21033 vsize=15024968 memory=1168 CPUtime=7.24 cores=0,2,4,6
/proc/21039/task/21049/stat : 21049 (java) S 21033 21036 16605 0 -1 1077944384 13177 0 0 0 722 2 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293636585216 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21050] ppid=21033 vsize=15024968 memory=2140 CPUtime=4.32 cores=0,2,4,6
/proc/21039/task/21050/stat : 21050 (java) S 21033 21036 16605 0 -1 1077944384 16302 0 0 0 430 2 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293635532960 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21051] ppid=21033 vsize=15024968 memory=2180 CPUtime=1.07 cores=0,2,4,6
/proc/21039/task/21051/stat : 21051 (java) S 21033 21036 16605 0 -1 1077944384 15332 0 0 0 104 3 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293634480416 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21052] ppid=21033 vsize=15024968 memory=924 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21052/stat : 21052 (java) S 21033 21036 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140292221037152 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21053] ppid=21033 vsize=15024968 memory=288230574492221466 CPUtime=0.48 cores=0,2,4,6
/proc/21039/task/21053/stat : 21053 (java) S 21033 21036 16605 0 -1 1077944384 651 0 0 0 26 22 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293633428272 140294600043138 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
Current cumulated CPU time of completed processes: 0.003593 s
Current children cumulated CPU time: 2527.73 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12061412 KiB

[startup+936.701 s]
/proc/loadavg: 6.06 6.07 4.31 6/216 21187
/proc/meminfo: memFree=8868864/32770624 swapFree=67108860/67108860
[pid=21039] ppid=21033 vsize=15024968 memory=12061412 CPUtime=2528.13 cores=0,2,4,6
/proc/21039/stat : 21039 (java) S 21033 21036 16605 0 -1 1077944320 1749618 0 0 0 251583 1230 0 0 20 0 15 0 225081917 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140723842412192 140294600031991 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
/proc/21039/statm: 3756242 3015353 3247 1 0 3717627 0
[pid=21039/tid=21040] ppid=21033 vsize=15024968 memory=12061412 CPUtime=401.82 cores=0,2,4,6
/proc/21039/task/21040/stat : 21040 (java) S 21033 21036 16605 0 -1 1077944384 53372 0 0 0 40131 51 0 0 20 0 15 0 225081917 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294571870000 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21041] ppid=21033 vsize=15024968 memory=12061412 CPUtime=526.35 cores=0,2,4,6
/proc/21039/task/21041/stat : 21041 (java) R 21033 21036 16605 0 -1 4202560 518069 0 0 0 52321 314 0 0 20 0 15 0 225081919 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294604274136 140294584982568 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21042] ppid=21033 vsize=15024968 memory=12061412 CPUtime=528.29 cores=0,2,4,6
/proc/21039/task/21042/stat : 21042 (java) R 21033 21036 16605 0 -1 4202560 505409 0 0 0 52529 300 0 0 20 0 15 0 225081919 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294437652768 140294581628539 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21043] ppid=21033 vsize=15024968 memory=1396 CPUtime=527.26 cores=0,2,4,6
/proc/21039/task/21043/stat : 21043 (java) R 21033 21036 16605 0 -1 4202560 215984 0 0 0 52446 280 0 0 20 0 15 0 225081919 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294059186904 140294581585640 0 4 2 25189581 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21044] ppid=21033 vsize=15024968 memory=12061412 CPUtime=527.66 cores=0,2,4,6
/proc/21039/task/21044/stat : 21044 (java) R 21033 21036 16605 0 -1 4202560 234494 0 0 0 52510 256 0 0 20 0 15 0 225081919 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140294058134360 140294581627879 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21045] ppid=21033 vsize=15024968 memory=12061412 CPUtime=3.53 cores=0,2,4,6
/proc/21039/task/21045/stat : 21045 (java) S 21033 21036 16605 0 -1 1077944384 175461 0 0 0 343 10 0 0 20 0 15 0 225081920 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293637636960 140294600042197 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21046] ppid=21033 vsize=15024968 memory=12061412 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21046/stat : 21046 (java) S 21033 21036 16605 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 225081921 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293227668960 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21047] ppid=21033 vsize=15024968 memory=12061412 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21047/stat : 21047 (java) S 21033 21036 16605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 225081921 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293093447168 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21048] ppid=21033 vsize=15024968 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21048/stat : 21048 (java) S 21033 21036 16605 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225081923 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140292718942576 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21049] ppid=21033 vsize=15024968 memory=1396 CPUtime=7.24 cores=0,2,4,6
/proc/21039/task/21049/stat : 21049 (java) S 21033 21036 16605 0 -1 1077944384 13177 0 0 0 722 2 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293636585216 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21050] ppid=21033 vsize=15024968 memory=1396 CPUtime=4.32 cores=0,2,4,6
/proc/21039/task/21050/stat : 21050 (java) S 21033 21036 16605 0 -1 1077944384 16302 0 0 0 430 2 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293635532960 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21051] ppid=21033 vsize=15024968 memory=12061412 CPUtime=1.07 cores=0,2,4,6
/proc/21039/task/21051/stat : 21051 (java) S 21033 21036 16605 0 -1 1077944384 15332 0 0 0 104 3 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293634480416 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21052] ppid=21033 vsize=15024968 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/21039/task/21052/stat : 21052 (java) S 21033 21036 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140292221037152 140294600042197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
[pid=21039/tid=21053] ppid=21033 vsize=15024968 memory=12061412 CPUtime=0.48 cores=0,2,4,6
/proc/21039/task/21053/stat : 21053 (java) S 21033 21036 16605 0 -1 1077944384 651 0 0 0 26 22 0 0 20 0 15 0 225081924 15385567232 3015353 33554432000 4194304 4196468 140723842429648 140293633428272 140294600043138 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 29822976 140723842434054 140723842434353 140723842434353 140723842437071 0
Current cumulated CPU time of completed processes: 0.003593 s
Current children cumulated CPU time: 2528.13 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12061412 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 936.808
CPU time (s): 2528.28
CPU user time (s): 2515.88
CPU system time (s): 12.3994
CPU usage (%): 269.882
Max. virtual memory (cumulated for all children) (KiB): 15138096
Max. memory (cumulated for all children) (KiB): 12062808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.88
system time used= 12.3994
maximum resident set size= 12061668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1750731
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33138
involuntary context switches= 39183


# summary of solver processes directly reported to runsolver:
#   pid: 21036,21039
#   total CPU time (s): 2528.28
#   total CPU user time (s): 2515.88
#   total CPU system time (s): 12.3994

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.39606 second user time and 9.84348 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-12 13:59:47
IDJOB=4305489
IDBENCH=141438
IDSOLVER=2782
FILE ID=node107/4305489-1534075187
RUNJOBID= node107-1534064712-16636
PBS_JOBID= 21036990
Free space on /tmp= 39468 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Crossword/Crossword-m18-ogd2008-vg-14-15_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -order minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305489-1534075187/watcher-4305489-1534075187 -o /tmp/evaluation-result-4305489-1534075187/solver-4305489-1534075187 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16636 --watchdog 2580  scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305489-1534075187.xml

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

MD5SUM BENCH= ac0b4f561f7e67952eb47b21f0f500f8
RANDOM SEED=1847266221

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20596384 kB
MemAvailable:   27641008 kB
Buffers:          203684 kB
Cached:          7035620 kB
SwapCached:            0 kB
Active:          7911200 kB
Inactive:        3640724 kB
Active(anon):    4261688 kB
Inactive(anon):   103384 kB
Active(file):    3649512 kB
Inactive(file):  3537340 kB
Unevictable:        6976 kB
Mlocked:            6976 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             10900 kB
Writeback:             0 kB
AnonPages:       4358472 kB
Mapped:            64124 kB
Shmem:             49804 kB
Slab:             315088 kB
SReclaimable:     286232 kB
SUnreclaim:        28856 kB
KernelStack:        3808 kB
PageTables:        13976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13047112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4182016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 39456 MiB
End job on node107 at 2018-08-12 14:15:24