Trace number 4305485

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.56 980.087

General information on the benchmark

NameCrossword/
Crossword-m18-ogd2008-vg-10-11_c18.xml
MD5SUM6eb53458083bb5bfd537601a03885fcf
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 variables110
Number of constraints21
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":110}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":110}]
Minimum constraint arity10
Maximum constraint arity11
Distribution of constraint arities[{"arity":10,"count":11},{"arity":11,"count":10}]
Number of extensional constraints21
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":21}]
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-9237-serial-file.bin HOME/instance-4305485-1534075149.xml
0.55/0.51	
0.66/0.52	scop order+minisat_release (2018-07-31)
0.66/0.52	(Encoding Process)
0.66/0.52	
0.66/0.54	c BEGIN-Prog: Sun Aug 12 13:59:10 CEST 2018
0.66/0.54	c PID: 9240
0.66/0.54	c IP: 172.20.3.151
0.66/0.54	c HOST: node151.alineos.net
0.66/0.55	c (0,0) Parsing Begin
3.22/1.63	c (1,1) Parsing End
3.22/1.63	c (1,1) CSP: 110 int (0 aux), 0 bool (0 aux), 21 ctr, max domain size 26
3.22/1.63	c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.22/1.63	c (1,1) Constraint Name Generate Begin
3.22/1.64	c (1,1) Ctr:HOME/instance-4305485-1534075149.xml,ExtensionSupport:IntVar
3.22/1.64	c (1,1) Constraint Name Generate End
3.22/1.64	c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.22/1.64	c (1,1) CSP to CSPinCNF Begin
112.98/80.35	c (79,73) translated 3 (10%) constraints
172.11/124.28	c (123,112) translated 5 (20%) constraints
234.63/169.14	c (168,151) translated 7 (30%) constraints
346.58/226.19	c (225,189) translated 9 (40%) constraints
405.49/269.95	c (269,228) translated 11 (50%) constraints
488.80/339.69	c (339,293) translated 13 (60%) constraints
587.00/390.22	c (389,328) translated 15 (70%) constraints
685.05/440.93	c (440,362) translated 17 (80%) constraints
780.94/490.67	c (490,397) translated 19 (90%) constraints
1232.20/630.74	c (630,430) translated 21 (100%) constraints
2520.07/977.63	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.07/977.63	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 (3037 MiB free)
  memory of node 1: 16384 MiB (5517 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305485-1534075149/watcher-4305485-1534075149 -o /tmp/evaluation-result-4305485-1534075149/solver-4305485-1534075149 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3793 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305485-1534075149.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=9237, runsolver pid=9234
Current StackSize limit: 8192 KiB


[startup+0.100146 s]*
/proc/loadavg: 2.48 2.23 2.12 3/222 9254
/proc/meminfo: memFree=8698740/32770624 swapFree=67108860/67108860
[pid=9237] ppid=9234 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9237/stat : 9237 (scop.sh) S 9234 9237 3762 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 225078148 115843072 349 33554432000 4194304 5098028 140727229938032 140727229935288 140414840717948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17670144 140727229944896 140727229945095 140727229945095 140727229947853 0
/proc/9237/statm: 28282 349 296 221 0 87 0
[pid=9240] ppid=9237 vsize=15012476 memory=73564 CPUtime=0.11 cores=0,2,4,6
/proc/9240/stat : 9240 (java) S 9237 9237 3762 0 -1 1077944320 6505 0 0 0 10 1 0 0 20 0 15 0 225078148 15372775424 18391 33554432000 4194304 4196468 140730241398512 140730241381056 140633134370551 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
/proc/9240/statm: 3753119 18391 2770 1 0 3715579 0
[pid=9240/tid=9241] ppid=9237 vsize=15012476 memory=-6526411401870300574 CPUtime=0.09 cores=0,2,4,6
/proc/9240/task/9241/stat : 9241 (java) R 9237 9237 3762 0 -1 4202560 4589 0 0 0 8 1 0 0 20 0 15 0 225078149 15372775424 18391 33554432000 4194304 4196468 140730241398512 140633106182536 140633115934126 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9242] ppid=9237 vsize=15012476 memory=3472468354044323504 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9242/stat : 9242 (java) S 9237 9237 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078150 15372775424 18391 33554432000 4194304 4196468 140730241398512 140633138613392 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9243] ppid=9237 vsize=15012476 memory=140057816643200 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9243/stat : 9243 (java) S 9237 9237 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078150 15372775424 18391 33554432000 4194304 4196468 140730241398512 140632937389072 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9244] ppid=9237 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9244/stat : 9244 (java) S 9237 9237 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078150 15372775424 18391 33554432000 4194304 4196468 140730241398512 140632936336272 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9245] ppid=9237 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9245/stat : 9245 (java) S 9237 9237 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078150 15372775424 18391 33554432000 4194304 4196468 140730241398512 140632935283472 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9246] ppid=9237 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9246/stat : 9246 (java) S 9237 9237 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078152 15372775424 18391 33554432000 4194304 4196468 140730241398512 140632104819056 140633134381698 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9247] ppid=9237 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9247/stat : 9247 (java) S 9237 9237 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225078152 15372775424 18391 33554432000 4194304 4196468 140730241398512 140631724778528 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9248] ppid=9237 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9248/stat : 9248 (java) S 9237 9237 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078152 15372775424 18391 33554432000 4194304 4196468 140730241398512 140631456342896 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9249] ppid=9237 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9249/stat : 9249 (java) S 9237 9237 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078155 15372775424 18391 33554432000 4194304 4196468 140730241398512 140631081834320 140633134389147 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9250] ppid=9237 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9250/stat : 9250 (java) S 9237 9237 3762 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 225078155 15372775424 18391 33554432000 4194304 4196468 140730241398512 140632103766896 140633134381698 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9251] ppid=9237 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9251/stat : 9251 (java) S 9237 9237 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078155 15372775424 18391 33554432000 4194304 4196468 140730241398512 140632102714096 140633134381698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9252] ppid=9237 vsize=15012476 memory=140057816643200 CPUtime=0.01 cores=0,2,4,6
/proc/9240/task/9252/stat : 9252 (java) S 9237 9237 3762 0 -1 1077944384 287 0 0 0 1 0 0 0 20 0 15 0 225078155 15372775424 18391 33554432000 4194304 4196468 140730241398512 140632101661296 140633134381698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9253] ppid=9237 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9253/stat : 9253 (java) S 9237 9237 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078155 15372775424 18391 33554432000 4194304 4196468 140730241398512 140630583929568 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9254] ppid=9237 vsize=15012476 memory=140057816643200 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9254/stat : 9254 (java) S 9237 9237 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078155 15372775424 18391 33554432000 4194304 4196468 140730241398512 140632100608688 140633134381698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74960 KiB

[startup+0.210603 s]*
/proc/loadavg: 2.48 2.23 2.12 4/222 9254
/proc/meminfo: memFree=8684808/32770624 swapFree=67108860/67108860
[pid=9237] ppid=9234 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9237/stat : 9237 (scop.sh) S 9234 9237 3762 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 225078148 115843072 349 33554432000 4194304 5098028 140727229938032 140727229935288 140414840717948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17670144 140727229944896 140727229945095 140727229945095 140727229947853 0
/proc/9237/statm: 28282 349 296 221 0 87 0
[pid=9240] ppid=9237 vsize=15012476 memory=86604 CPUtime=0.25 cores=0,2,4,6
/proc/9240/stat : 9240 (java) S 9237 9237 3762 0 -1 1077944320 10002 0 0 0 23 2 0 0 20 0 15 0 225078148 15372775424 21651 33554432000 4194304 4196468 140730241398512 140730241381056 140633134370551 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
/proc/9240/statm: 3753119 21651 2884 1 0 3715579 0
[pid=9240/tid=9241] ppid=9237 vsize=15012476 memory=-8976644418600983157 CPUtime=0.19 cores=0,2,4,6
/proc/9240/task/9241/stat : 9241 (java) R 9237 9237 3762 0 -1 4202560 7905 0 0 0 18 1 0 0 20 0 15 0 225078149 15372775424 21651 33554432000 4194304 4196468 140730241398512 140633106196944 140633134382486 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9242] ppid=9237 vsize=15012476 memory=3472468354044323504 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9242/stat : 9242 (java) S 9237 9237 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078150 15372775424 21651 33554432000 4194304 4196468 140730241398512 140633138613392 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9243] ppid=9237 vsize=15012476 memory=140057816643200 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9243/stat : 9243 (java) S 9237 9237 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078150 15372775424 21651 33554432000 4194304 4196468 140730241398512 140632937389072 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9244] ppid=9237 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9244/stat : 9244 (java) S 9237 9237 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078150 15372775424 21651 33554432000 4194304 4196468 140730241398512 140632936336272 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9245] ppid=9237 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9245/stat : 9245 (java) S 9237 9237 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078150 15372775424 21651 33554432000 4194304 4196468 140730241398512 140632935283472 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9246] ppid=9237 vsize=15012476 memory=140057816643200 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9246/stat : 9246 (java) S 9237 9237 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078152 15372775424 21651 33554432000 4194304 4196468 140730241398512 140632104819056 140633134381698 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9247] ppid=9237 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9247/stat : 9247 (java) S 9237 9237 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225078152 15372775424 21651 33554432000 4194304 4196468 140730241398512 140631724778528 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9248] ppid=9237 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9248/stat : 9248 (java) S 9237 9237 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078152 15372775424 21651 33554432000 4194304 4196468 140730241398512 140631456342896 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9249] ppid=9237 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9249/stat : 9249 (java) S 9237 9237 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078155 15372775424 21651 33554432000 4194304 4196468 140730241398512 140631081834320 140633134389147 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9250] ppid=9237 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9250/stat : 9250 (java) S 9237 9237 3762 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 225078155 15372775424 21651 33554432000 4194304 4196468 140730241398512 140632103766896 140633134381698 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9251] ppid=9237 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9251/stat : 9251 (java) S 9237 9237 3762 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 225078155 15372775424 21651 33554432000 4194304 4196468 140730241398512 140632102714096 140633134381698 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9252] ppid=9237 vsize=15012476 memory=140057816643200 CPUtime=0.03 cores=0,2,4,6
/proc/9240/task/9252/stat : 9252 (java) R 9237 9237 3762 0 -1 4202560 303 0 0 0 3 0 0 0 20 0 15 0 225078155 15372775424 21651 33554432000 4194304 4196468 140730241398512 140632101661136 140633113331448 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9253] ppid=9237 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9253/stat : 9253 (java) S 9237 9237 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078155 15372775424 21651 33554432000 4194304 4196468 140730241398512 140630583929568 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9254] ppid=9237 vsize=15012476 memory=140057816643200 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9254/stat : 9254 (java) S 9237 9237 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078155 15372775424 21651 33554432000 4194304 4196468 140730241398512 140632100608688 140633134381698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88000 KiB

[startup+0.310725 s]*
/proc/loadavg: 2.48 2.23 2.12 3/222 9254
/proc/meminfo: memFree=8681420/32770624 swapFree=67108860/67108860
[pid=9237] ppid=9234 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9237/stat : 9237 (scop.sh) S 9234 9237 3762 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 225078148 115843072 349 33554432000 4194304 5098028 140727229938032 140727229935288 140414840717948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17670144 140727229944896 140727229945095 140727229945095 140727229947853 0
/proc/9237/statm: 28282 349 296 221 0 87 0
[pid=9240] ppid=9237 vsize=15012476 memory=90128 CPUtime=0.42 cores=0,2,4,6
/proc/9240/stat : 9240 (java) S 9237 9237 3762 0 -1 1077944320 10522 0 0 0 39 3 0 0 20 0 15 0 225078148 15372775424 22532 33554432000 4194304 4196468 140730241398512 140730241381056 140633134370551 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
/proc/9240/statm: 3753119 22532 2978 1 0 3715579 0
[pid=9240/tid=9241] ppid=9237 vsize=15012476 memory=-8976644418600983157 CPUtime=0.29 cores=0,2,4,6
/proc/9240/task/9241/stat : 9241 (java) R 9237 9237 3762 0 -1 4202560 8283 0 0 0 27 2 0 0 20 0 15 0 225078149 15372775424 22532 33554432000 4194304 4196468 140730241398512 140633106165552 140633118414181 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9242] ppid=9237 vsize=15012476 memory=3472468354044323504 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9242/stat : 9242 (java) S 9237 9237 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078150 15372775424 22532 33554432000 4194304 4196468 140730241398512 140633138613392 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9243] ppid=9237 vsize=15012476 memory=280115492322176 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9243/stat : 9243 (java) S 9237 9237 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078150 15372775424 22532 33554432000 4194304 4196468 140730241398512 140632937389072 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9244] ppid=9237 vsize=15012476 memory=280115351390240 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9244/stat : 9244 (java) S 9237 9237 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078150 15372775424 22532 33554432000 4194304 4196468 140730241398512 140632936336272 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9245] ppid=9237 vsize=15012476 memory=140057675678991 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9245/stat : 9245 (java) S 9237 9237 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078150 15372775424 22532 33554432000 4194304 4196468 140730241398512 140632935283472 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9246] ppid=9237 vsize=15012476 memory=280115492329088 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9246/stat : 9246 (java) S 9237 9237 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078152 15372775424 22532 33554432000 4194304 4196468 140730241398512 140632104819056 140633134381698 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9247] ppid=9237 vsize=15012476 memory=140057675683599 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9247/stat : 9247 (java) S 9237 9237 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225078152 15372775424 22532 33554432000 4194304 4196468 140730241398512 140631724778528 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9248] ppid=9237 vsize=15012476 memory=140057675693360 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9248/stat : 9248 (java) S 9237 9237 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078152 15372775424 22532 33554432000 4194304 4196468 140730241398512 140631456342896 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9249] ppid=9237 vsize=15012476 memory=280115351399456 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9249/stat : 9249 (java) S 9237 9237 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078155 15372775424 22532 33554432000 4194304 4196468 140730241398512 140631081834320 140633134389147 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9250] ppid=9237 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9250/stat : 9250 (java) R 9237 9237 3762 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 15 0 225078155 15372775424 22532 33554432000 4194304 4196468 140730241398512 140632103766896 140633134381698 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9251] ppid=9237 vsize=15012476 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/9240/task/9251/stat : 9251 (java) R 9237 9237 3762 0 -1 4202560 152 0 0 0 3 0 0 0 20 0 15 0 225078155 15372775424 22532 33554432000 4194304 4196468 140730241398512 140632102714096 140633114025089 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9252] ppid=9237 vsize=15012476 memory=140057816643200 CPUtime=0.07 cores=0,2,4,6
/proc/9240/task/9252/stat : 9252 (java) R 9237 9237 3762 0 -1 4202560 325 0 0 0 7 0 0 0 20 0 15 0 225078155 15372775424 22532 33554432000 4194304 4196468 140730241398512 140632101661296 140633113637952 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9253] ppid=9237 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9253/stat : 9253 (java) S 9237 9237 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078155 15372775424 22532 33554432000 4194304 4196468 140730241398512 140630583929568 140633134380757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9254] ppid=9237 vsize=15012476 memory=140057816644596 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9254/stat : 9254 (java) S 9237 9237 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078155 15372775424 22532 33554432000 4194304 4196468 140730241398512 140632100608688 140633134381698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91524 KiB

[startup+0.700756 s]
/proc/loadavg: 2.48 2.23 2.12 3/222 9254
/proc/meminfo: memFree=8657236/32770624 swapFree=67108860/67108860
[pid=9237] ppid=9234 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9237/stat : 9237 (scop.sh) S 9234 9237 3762 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 225078148 115843072 349 33554432000 4194304 5098028 140727229938032 140727229935288 140414840717948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17670144 140727229944896 140727229945095 140727229945095 140727229947853 0
/proc/9237/statm: 28282 349 296 221 0 87 0
[pid=9240] ppid=9237 vsize=15018748 memory=132392 CPUtime=1 cores=0,2,4,6
/proc/9240/stat : 9240 (java) S 9237 9237 3762 0 -1 1077944320 17245 0 0 0 93 7 0 0 20 0 15 0 225078148 15379197952 33098 33554432000 4194304 4196468 140730241398512 140730241381056 140633134370551 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
/proc/9240/statm: 3754687 33098 3126 1 0 3716091 0
[pid=9240/tid=9241] ppid=9237 vsize=15018748 memory=54 CPUtime=0.67 cores=0,2,4,6
/proc/9240/task/9241/stat : 9241 (java) R 9237 9237 3762 0 -1 4202560 14590 0 0 0 62 5 0 0 20 0 15 0 225078149 15379197952 33098 33554432000 4194304 4196468 140730241398512 140633106206736 140633134392477 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9242] ppid=9237 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9242/stat : 9242 (java) S 9237 9237 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078150 15379197952 33098 33554432000 4194304 4196468 140730241398512 140633138613392 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9243] ppid=9237 vsize=15018748 memory=8751464017575360309 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9243/stat : 9243 (java) S 9237 9237 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078150 15379197952 33098 33554432000 4194304 4196468 140730241398512 140632937389072 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9244] ppid=9237 vsize=15018748 memory=5788902676991533888 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9244/stat : 9244 (java) S 9237 9237 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078150 15379197952 33098 33554432000 4194304 4196468 140730241398512 140632936336272 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9245] ppid=9237 vsize=15018748 memory=6440526044186890340 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9245/stat : 9245 (java) S 9237 9237 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078150 15379197952 33098 33554432000 4194304 4196468 140730241398512 140632935283472 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9246] ppid=9237 vsize=15018748 memory=170926128 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9246/stat : 9246 (java) S 9237 9237 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225078152 15379197952 33098 33554432000 4194304 4196468 140730241398512 140632104819056 140633134381698 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9247] ppid=9237 vsize=15018748 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9247/stat : 9247 (java) S 9237 9237 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225078152 15379197952 33098 33554432000 4194304 4196468 140730241398512 140631724778528 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9248] ppid=9237 vsize=15018748 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9248/stat : 9248 (java) S 9237 9237 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078152 15379197952 33098 33554432000 4194304 4196468 140730241398512 140631456342896 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9249] ppid=9237 vsize=15018748 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9249/stat : 9249 (java) S 9237 9237 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078155 15379197952 33164 33554432000 4194304 4196468 140730241398512 140631081834320 140633134389147 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9250] ppid=9237 vsize=15018748 memory=4536 CPUtime=0.05 cores=0,2,4,6
/proc/9240/task/9250/stat : 9250 (java) R 9237 9237 3762 0 -1 4202560 537 0 0 0 5 0 0 0 20 0 15 0 225078155 15379197952 33164 33554432000 4194304 4196468 140730241398512 140632103747912 140633115070848 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9251] ppid=9237 vsize=15018748 memory=8448 CPUtime=0.1 cores=0,2,4,6
/proc/9240/task/9251/stat : 9251 (java) S 9237 9237 3762 0 -1 1077944384 377 0 0 0 10 0 0 0 20 0 15 0 225078155 15379197952 33164 33554432000 4194304 4196468 140730241398512 140632102714096 140633134381698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9252] ppid=9237 vsize=15018748 memory=1628 CPUtime=0.15 cores=0,2,4,6
/proc/9240/task/9252/stat : 9252 (java) S 9237 9237 3762 0 -1 1077944384 416 0 0 0 15 0 0 0 20 0 15 0 225078155 15379197952 33164 33554432000 4194304 4196468 140730241398512 140632101661296 140633134381698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9253] ppid=9237 vsize=15018748 memory=1144 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9253/stat : 9253 (java) S 9237 9237 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078155 15379197952 33164 33554432000 4194304 4196468 140730241398512 140630583929568 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9254] ppid=9237 vsize=15018748 memory=15244 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9254/stat : 9254 (java) S 9237 9237 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078155 15379197952 33164 33554432000 4194304 4196468 140730241398512 140632100608688 140633134381698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 133788 KiB

[startup+1.50079 s]
/proc/loadavg: 2.48 2.23 2.12 5/222 9254
/proc/meminfo: memFree=8519224/32770624 swapFree=67108860/67108860
[pid=9237] ppid=9234 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9237/stat : 9237 (scop.sh) S 9234 9237 3762 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 225078148 115843072 349 33554432000 4194304 5098028 140727229938032 140727229935288 140414840717948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17670144 140727229944896 140727229945095 140727229945095 140727229947853 0
/proc/9237/statm: 28282 349 296 221 0 87 0

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

/proc/9240/task/9244/stat : 9244 (java) R 9237 9237 3762 0 -1 4202560 6950437 0 0 0 50270 900 0 0 20 0 15 0 225078150 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632936336472 140633115967099 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9245] ppid=9237 vsize=15024968 memory=2244 CPUtime=509.76 cores=0,2,4,6
/proc/9240/task/9245/stat : 9245 (java) R 9237 9237 3762 0 -1 4202560 4918388 0 0 0 50204 772 0 0 20 0 15 0 225078150 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632935283360 140633115967076 0 4 2 25189581 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9246] ppid=9237 vsize=15024968 memory=12082480 CPUtime=3.04 cores=0,2,4,6
/proc/9240/task/9246/stat : 9246 (java) S 9237 9237 3762 0 -1 1077944384 432466 0 0 0 272 32 0 0 20 0 15 0 225078152 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632104817376 140633134380757 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9247] ppid=9237 vsize=15024968 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9247/stat : 9247 (java) S 9237 9237 3762 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 225078152 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140631724778592 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9248] ppid=9237 vsize=15024968 memory=61144 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9248/stat : 9248 (java) S 9237 9237 3762 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 225078152 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140631456342912 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9249] ppid=9237 vsize=15024968 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9249/stat : 9249 (java) S 9237 9237 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140631081834320 140633134389147 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9250] ppid=9237 vsize=15024968 memory=792 CPUtime=7.17 cores=0,2,4,6
/proc/9240/task/9250/stat : 9250 (java) S 9237 9237 3762 0 -1 1077944384 23005 0 0 0 713 4 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632103766896 140633134381698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9251] ppid=9237 vsize=15024968 memory=1224 CPUtime=7.37 cores=0,2,4,6
/proc/9240/task/9251/stat : 9251 (java) S 9237 9237 3762 0 -1 1077944384 23247 0 0 0 734 3 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632102714096 140633134381698 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9252] ppid=9237 vsize=15024968 memory=1944 CPUtime=1.13 cores=0,2,4,6
/proc/9240/task/9252/stat : 9252 (java) S 9237 9237 3762 0 -1 1077944384 21767 0 0 0 110 3 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632101661296 140633134381698 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9253] ppid=9237 vsize=15024968 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9253/stat : 9253 (java) S 9237 9237 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140630583929568 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9254] ppid=9237 vsize=15024968 memory=4536 CPUtime=0.7 cores=0,2,4,6
/proc/9240/task/9254/stat : 9254 (java) S 9237 9237 3762 0 -1 1077944384 3254 0 0 0 41 29 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632100608688 140633134381698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 12083876 KiB

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

[startup+977.646 s]
# the end of solver process 9237 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001238 s, system=0.002382 s

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+980.087 s]
# the end of solver process 9240 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2492.6 s, system=35.965 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+978.402 s]
/proc/loadavg: 4.58 4.10 3.14 6/221 9309
/proc/meminfo: memFree=216124/32770624 swapFree=67108860/67108860
[pid=9240] ppid=9234 vsize=15024968 memory=12082480 CPUtime=2523.24 cores=0,2,4,6
/proc/9240/stat : 9240 (java) S 9234 9237 3762 0 -1 1077944320 24135780 0 1 0 248776 3548 0 0 20 0 15 0 225078148 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140730241381056 140633134370551 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
/proc/9240/statm: 3756242 3020620 3248 1 0 3717627 0
[pid=9240/tid=9241] ppid=9234 vsize=15024968 memory=8112282956445269571 CPUtime=459.63 cores=0,2,4,6
/proc/9240/task/9241/stat : 9241 (java) S 9234 9237 3762 0 -1 1077944384 405962 0 0 0 45846 117 0 0 20 0 15 0 225078149 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140633106209568 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9242] ppid=9234 vsize=15024968 memory=1572 CPUtime=511.66 cores=0,2,4,6
/proc/9240/task/9242/stat : 9242 (java) R 9234 9237 3762 0 -1 4202560 5188818 0 1 0 50340 826 0 0 20 0 15 0 225078150 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140633138613592 140633115967005 0 4 2 25189581 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9243] ppid=9234 vsize=15024968 memory=2244 CPUtime=509.4 cores=0,2,4,6
/proc/9240/task/9243/stat : 9243 (java) R 9234 9237 3762 0 -1 4202560 6167051 0 0 0 50061 879 0 0 20 0 15 0 225078150 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632937389272 140633119068326 0 4 2 25189581 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9244] ppid=9234 vsize=15024968 memory=4124 CPUtime=512.5 cores=0,2,4,6
/proc/9240/task/9244/stat : 9244 (java) R 9234 9237 3762 0 -1 4202560 6950437 0 0 0 50350 900 0 0 20 0 15 0 225078150 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632936336472 140633115967099 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9245] ppid=9234 vsize=15024968 memory=1396 CPUtime=510.56 cores=0,2,4,6
/proc/9240/task/9245/stat : 9245 (java) R 9234 9237 3762 0 -1 4202560 4918388 0 0 0 50284 772 0 0 20 0 15 0 225078150 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632935283360 140633115923802 0 4 2 25189581 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9246] ppid=9234 vsize=15024968 memory=12082480 CPUtime=3.04 cores=0,2,4,6
/proc/9240/task/9246/stat : 9246 (java) S 9234 9237 3762 0 -1 1077944384 432466 0 0 0 272 32 0 0 20 0 15 0 225078152 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632104817376 140633134380757 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9247] ppid=9234 vsize=15024968 memory=7521667139311594848 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9247/stat : 9247 (java) S 9234 9237 3762 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 225078152 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140631724778592 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9248] ppid=9234 vsize=15024968 memory=7013344213621235816 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9248/stat : 9248 (java) S 9234 9237 3762 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 225078152 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140631456342912 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9249] ppid=9234 vsize=15024968 memory=7013344213621235816 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9249/stat : 9249 (java) S 9234 9237 3762 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140631081833968 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9250] ppid=9234 vsize=15024968 memory=2092 CPUtime=7.17 cores=0,2,4,6
/proc/9240/task/9250/stat : 9250 (java) S 9234 9237 3762 0 -1 1077944384 23005 0 0 0 713 4 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632103766896 140633134381698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9251] ppid=9234 vsize=15024968 memory=8148 CPUtime=7.37 cores=0,2,4,6
/proc/9240/task/9251/stat : 9251 (java) S 9234 9237 3762 0 -1 1077944384 23247 0 0 0 734 3 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632102714096 140633134381698 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9252] ppid=9234 vsize=15024968 memory=844 CPUtime=1.13 cores=0,2,4,6
/proc/9240/task/9252/stat : 9252 (java) S 9234 9237 3762 0 -1 1077944384 21767 0 0 0 110 3 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632101661296 140633134381698 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9253] ppid=9234 vsize=15024968 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9253/stat : 9253 (java) S 9234 9237 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140630583929568 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9254] ppid=9234 vsize=15024968 memory=920 CPUtime=0.71 cores=0,2,4,6
/proc/9240/task/9254/stat : 9254 (java) S 9234 9237 3762 0 -1 1077944384 3254 0 0 0 42 29 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632100608688 140633134381698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
Current cumulated CPU time of completed processes: 0.00362 s
Current children cumulated CPU time: 2523.24 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12082480 KiB

[startup+979.202 s]
/proc/loadavg: 4.62 4.11 3.15 6/221 9309
/proc/meminfo: memFree=216016/32770624 swapFree=67108860/67108860
[pid=9240] ppid=9234 vsize=15024968 memory=12082480 CPUtime=2526.43 cores=0,2,4,6
/proc/9240/stat : 9240 (java) S 9234 9237 3762 0 -1 1077944320 24135780 0 1 0 249095 3548 0 0 20 0 15 0 225078148 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140730241381056 140633134370551 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
/proc/9240/statm: 3756242 3020620 3248 1 0 3717627 0
[pid=9240/tid=9241] ppid=9234 vsize=15024968 memory=12082476 CPUtime=459.63 cores=0,2,4,6
/proc/9240/task/9241/stat : 9241 (java) S 9234 9237 3762 0 -1 1077944384 405962 0 0 0 45846 117 0 0 20 0 15 0 225078149 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140633106209568 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9242] ppid=9234 vsize=15024968 memory=18232 CPUtime=512.45 cores=0,2,4,6
/proc/9240/task/9242/stat : 9242 (java) R 9234 9237 3762 0 -1 4202560 5188818 0 1 0 50419 826 0 0 20 0 15 0 225078150 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140633138613592 140633115923792 0 4 2 25189581 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9243] ppid=9234 vsize=15024968 memory=640 CPUtime=510.2 cores=0,2,4,6
/proc/9240/task/9243/stat : 9243 (java) R 9234 9237 3762 0 -1 4202560 6167051 0 0 0 50141 879 0 0 20 0 15 0 225078150 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632937389272 140633115967155 0 4 2 25189581 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9244] ppid=9234 vsize=15024968 memory=8112282956445269571 CPUtime=513.3 cores=0,2,4,6
/proc/9240/task/9244/stat : 9244 (java) R 9234 9237 3762 0 -1 4202560 6950437 0 0 0 50430 900 0 0 20 0 15 0 225078150 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632936336472 140633119068248 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9245] ppid=9234 vsize=15024968 memory=61144 CPUtime=511.36 cores=0,2,4,6
/proc/9240/task/9245/stat : 9245 (java) R 9234 9237 3762 0 -1 4202560 4918388 0 0 0 50364 772 0 0 20 0 15 0 225078150 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632935283360 140633119068303 0 4 2 25189581 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9246] ppid=9234 vsize=15024968 memory=1240 CPUtime=3.04 cores=0,2,4,6
/proc/9240/task/9246/stat : 9246 (java) S 9234 9237 3762 0 -1 1077944384 432466 0 0 0 272 32 0 0 20 0 15 0 225078152 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632104817376 140633134380757 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9247] ppid=9234 vsize=15024968 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9247/stat : 9247 (java) S 9234 9237 3762 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 225078152 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140631724778592 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9248] ppid=9234 vsize=15024968 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9248/stat : 9248 (java) S 9234 9237 3762 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 225078152 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140631456342912 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9249] ppid=9234 vsize=15024968 memory=1628 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9249/stat : 9249 (java) S 9234 9237 3762 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140631081833968 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9250] ppid=9234 vsize=15024968 memory=1144 CPUtime=7.17 cores=0,2,4,6
/proc/9240/task/9250/stat : 9250 (java) S 9234 9237 3762 0 -1 1077944384 23005 0 0 0 713 4 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632103766896 140633134381698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9251] ppid=9234 vsize=15024968 memory=15244 CPUtime=7.37 cores=0,2,4,6
/proc/9240/task/9251/stat : 9251 (java) S 9234 9237 3762 0 -1 1077944384 23247 0 0 0 734 3 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632102714096 140633134381698 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9252] ppid=9234 vsize=15024968 memory=6791534058613427641 CPUtime=1.13 cores=0,2,4,6
/proc/9240/task/9252/stat : 9252 (java) S 9234 9237 3762 0 -1 1077944384 21767 0 0 0 110 3 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632101661296 140633134381698 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9253] ppid=9234 vsize=15024968 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9253/stat : 9253 (java) S 9234 9237 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140630583929568 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9254] ppid=9234 vsize=15024968 memory=960 CPUtime=0.71 cores=0,2,4,6
/proc/9240/task/9254/stat : 9254 (java) S 9234 9237 3762 0 -1 1077944384 3254 0 0 0 42 29 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632100608688 140633134381698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
Current cumulated CPU time of completed processes: 0.00362 s
Current children cumulated CPU time: 2526.43 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12082480 KiB

[startup+979.602 s]
/proc/loadavg: 4.62 4.11 3.15 6/221 9309
/proc/meminfo: memFree=216016/32770624 swapFree=67108860/67108860
[pid=9240] ppid=9234 vsize=15024968 memory=12082480 CPUtime=2528.03 cores=0,2,4,6
/proc/9240/stat : 9240 (java) S 9234 9237 3762 0 -1 1077944320 24135780 0 1 0 249255 3548 0 0 20 0 15 0 225078148 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140730241381056 140633134370551 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
/proc/9240/statm: 3756242 3020620 3248 1 0 3717627 0
[pid=9240/tid=9241] ppid=9234 vsize=15024968 memory=8112282956445269571 CPUtime=459.63 cores=0,2,4,6
/proc/9240/task/9241/stat : 9241 (java) S 9234 9237 3762 0 -1 1077944384 405962 0 0 0 45846 117 0 0 20 0 15 0 225078149 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140633106209568 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9242] ppid=9234 vsize=15024968 memory=8148 CPUtime=512.85 cores=0,2,4,6
/proc/9240/task/9242/stat : 9242 (java) R 9234 9237 3762 0 -1 4202560 5188818 0 1 0 50459 826 0 0 20 0 15 0 225078150 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140633138613592 140633119321156 0 4 2 25189581 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9243] ppid=9234 vsize=15024968 memory=844 CPUtime=510.6 cores=0,2,4,6
/proc/9240/task/9243/stat : 9243 (java) R 9234 9237 3762 0 -1 4202560 6167051 0 0 0 50181 879 0 0 20 0 15 0 225078150 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632937389272 140633115967040 0 4 2 25189581 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9244] ppid=9234 vsize=15024968 memory=1396 CPUtime=513.7 cores=0,2,4,6
/proc/9240/task/9244/stat : 9244 (java) R 9234 9237 3762 0 -1 4202560 6950437 0 0 0 50470 900 0 0 20 0 15 0 225078150 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632936336472 140633115966368 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9245] ppid=9234 vsize=15024968 memory=12082476 CPUtime=511.76 cores=0,2,4,6
/proc/9240/task/9245/stat : 9245 (java) R 9234 9237 3762 0 -1 4202560 4918388 0 0 0 50404 772 0 0 20 0 15 0 225078150 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632935283360 140633115966564 0 4 2 25189581 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9246] ppid=9234 vsize=15024968 memory=8112282956445269571 CPUtime=3.04 cores=0,2,4,6
/proc/9240/task/9246/stat : 9246 (java) S 9234 9237 3762 0 -1 1077944384 432466 0 0 0 272 32 0 0 20 0 15 0 225078152 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632104817376 140633134380757 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9247] ppid=9234 vsize=15024968 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9247/stat : 9247 (java) S 9234 9237 3762 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 225078152 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140631724778592 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9248] ppid=9234 vsize=15024968 memory=1776 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9248/stat : 9248 (java) S 9234 9237 3762 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 225078152 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140631456342912 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9249] ppid=9234 vsize=15024968 memory=2452 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9249/stat : 9249 (java) S 9234 9237 3762 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140631081833968 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9250] ppid=9234 vsize=15024968 memory=928 CPUtime=7.17 cores=0,2,4,6
/proc/9240/task/9250/stat : 9250 (java) S 9234 9237 3762 0 -1 1077944384 23005 0 0 0 713 4 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632103766944 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9251] ppid=9234 vsize=15024968 memory=1396 CPUtime=7.37 cores=0,2,4,6
/proc/9240/task/9251/stat : 9251 (java) S 9234 9237 3762 0 -1 1077944384 23247 0 0 0 734 3 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632102714144 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9252] ppid=9234 vsize=15024968 memory=12082480 CPUtime=1.13 cores=0,2,4,6
/proc/9240/task/9252/stat : 9252 (java) S 9234 9237 3762 0 -1 1077944384 21767 0 0 0 110 3 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632101661056 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9253] ppid=9234 vsize=15024968 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/9240/task/9253/stat : 9253 (java) S 9234 9237 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140630583929568 140633134380757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
[pid=9240/tid=9254] ppid=9234 vsize=15024968 memory=2092 CPUtime=0.71 cores=0,2,4,6
/proc/9240/task/9254/stat : 9254 (java) R 9234 9237 3762 0 -1 1077944384 3254 0 0 0 42 29 0 0 20 0 15 0 225078155 15385567232 3020620 33554432000 4194304 4196468 140730241398512 140632100608688 140633134381698 0 4 2 25189581 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 17334272 140730241405959 140730241406257 140730241406257 140730241408975 0
Current cumulated CPU time of completed processes: 0.00362 s
Current children cumulated CPU time: 2528.03 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12082480 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 980.087
CPU time (s): 2528.56
CPU user time (s): 2492.6
CPU system time (s): 35.965
CPU usage (%): 257.994
Max. virtual memory (cumulated for all children) (KiB): 15138096
Max. memory (cumulated for all children) (KiB): 12092900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2492.6
system time used= 35.965
maximum resident set size= 12091536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24136894
page faults= 1
swaps= 0
block input operations= 264
block output operations= 1280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45089
involuntary context switches= 25709


# summary of solver processes directly reported to runsolver:
#   pid: 9237,9240
#   total CPU time (s): 2528.56
#   total CPU user time (s): 2492.6
#   total CPU system time (s): 35.965

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79749 second user time and 10.4764 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-12 13:59:10
IDJOB=4305485
IDBENCH=141436
IDSOLVER=2782
FILE ID=node151/4305485-1534075149
RUNJOBID= node151-1534062410-3793
PBS_JOBID= 21036982
Free space on /tmp= 41240 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Crossword/Crossword-m18-ogd2008-vg-10-11_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-4305485-1534075149/watcher-4305485-1534075149 -o /tmp/evaluation-result-4305485-1534075149/solver-4305485-1534075149 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3793 --watchdog 2580  scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305485-1534075149.xml

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

MD5SUM BENCH= 6eb53458083bb5bfd537601a03885fcf
RANDOM SEED=1539899370

node151.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.87
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.87
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.87
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.87
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:         8760152 kB
MemAvailable:   31748452 kB
Buffers:          263156 kB
Cached:         22681164 kB
SwapCached:            0 kB
Active:         10459284 kB
Inactive:       12694936 kB
Active(anon):     159296 kB
Inactive(anon):   103292 kB
Active(file):   10299988 kB
Inactive(file): 12591644 kB
Unevictable:        7836 kB
Mlocked:            7836 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             13628 kB
Writeback:             0 kB
AnonPages:        266684 kB
Mapped:            71876 kB
Shmem:             49800 kB
Slab:             554256 kB
SReclaimable:     525128 kB
SUnreclaim:        29128 kB
KernelStack:        4000 kB
PageTables:         5468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5869152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 41232 MiB
End job on node151 at 2018-08-12 14:15:30