Trace number 4387995

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
Fun-sCOP order+GlueMiniSat (2019-06-15)? (TO) 2522.28 1231.07

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si2-m4D/
Subisomorphism-si2-m4Dr6-m1296-04.xml
MD5SUM2d28027fc76d6f94be685cc66f299382
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.734935
Satisfiable
(Un)Satisfiability was proved
Number of variables259
Number of constraints561
Number of domains1
Minimum domain size1296
Maximum domain size1296
Distribution of domain sizes[{"size":1296,"count":259}]
Minimum variable degree2
Maximum variable degree13
Distribution of variable degrees[{"degree":2,"count":59},{"degree":3,"count":52},{"degree":4,"count":47},{"degree":6,"count":32},{"degree":7,"count":12},{"degree":8,"count":16},{"degree":9,"count":16},{"degree":10,"count":12},{"degree":11,"count":9},{"degree":12,"count":3},{"degree":13,"count":1}]
Minimum constraint arity1
Maximum constraint arity259
Distribution of constraint arities[{"arity":1,"count":101},{"arity":2,"count":459},{"arity":259,"count":1}]
Number of extensional constraints560
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":560},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/glueminisat-simp-2.2.10-193oa-n-release -solverOption -model:-verb=3:-elim-cl=5000000:-native-oa -tmp HOME -serialFile HOME/scop-11171-serial-file.bin HOME/instance-4387995-1568293411.xml
0.66/0.53	
0.66/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 15:02:52 CEST 2019
0.66/0.55	c PID: 11174
0.66/0.55	c IP: 172.20.3.150
0.66/0.55	c HOST: node150.alineos.net
0.66/0.56	c (0,0) Parsing Begin
2.20/1.16	c (0,0) Parsing End
2.20/1.16	c (0,0) CSP: 259 int (0 aux), 0 bool (0 aux), 561 ctr, max domain size 1296
2.20/1.16	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.20/1.16	c (0,0) Constraint Name Generate Begin
2.20/1.17	c (0,0) Ctr:HOME/instance-4387995-1568293411.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
2.20/1.17	c (0,0) Constraint Name Generate End
2.20/1.17	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.20/1.17	c (0,0) CSP to CSPinCNF Begin
87.96/69.03	c (68,65) translated 57 (10%) constraints
160.12/134.00	c (133,128) translated 113 (20%) constraints
228.65/198.00	c (197,190) translated 169 (30%) constraints
298.12/262.39	c (261,253) translated 225 (40%) constraints
368.77/327.31	c (326,316) translated 281 (50%) constraints
438.60/392.08	c (391,379) translated 337 (60%) constraints
508.75/456.87	c (456,442) translated 393 (70%) constraints
579.01/521.79	c (521,505) translated 449 (80%) constraints
596.95/536.64	c (536,519) translated 505 (90%) constraints
597.68/536.93	c (536,520) translated 561 (100%) constraints
597.79/537.04	c (536,520) ===========================================
597.79/537.10	c (536,520) Order
597.79/537.10	c (536,520) ===========================================
617.98/554.74	c (554,537) translated 923274 (10%) constraints
636.95/572.31	c (571,554) translated 1846548 (20%) constraints
658.46/590.57	c (590,571) translated 2769822 (30%) constraints
821.01/644.49	c (643,588) translated 3693095 (40%) constraints
882.46/672.97	c (672,606) translated 4616369 (50%) constraints
989.37/712.93	c (712,623) translated 5539643 (60%) constraints
1100.68/754.02	c (753,640) translated 6462916 (70%) constraints
1214.85/795.86	c (795,658) translated 7386190 (80%) constraints
1384.76/851.78	c (851,675) translated 8309464 (90%) constraints
1567.89/911.03	c (910,692) translated 9232737 (100%) constraints
1567.89/911.03	c (910,692) CSP to CSPinCNF End
1568.20/911.31	c (910,693) CSP: 259 int (0 aux), 594864 bool (594864 aux), 9232737 ctr, max domain size 1296
1568.20/911.31	c (910,693) Heap : 10230 MiB used (max 10942 MiB), NonHeap : 28 MiB used (max 0 MiB)
1568.20/911.31	c (910,693) CSPinCNF Propagation Begin
2520.04/1230.42	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.04/1230.42	c (scop.sh) Killing background jobs.
2522.03/1231.00	c (1230,0) receiving signal SIGTERM
2522.03/1231.00	c (1230,0) receiving signal SIGTERM
2522.03/1231.00	c (1230,0) 0,0,910,TO,TO,TO,TO,TO,TO,STOP-AFTER(CSPInCNF)
2522.03/1231.00	c (1230,0) 0,0,910,TO,TO,TO,TO,TO,TO,STOP-AFTER(CSPInCNF),STOP-AFTER(CSPInCNF)
2522.03/1231.00	s UNKNOWN
2522.03/1231.00	s UNKNOWN
2522.03/1231.00	c END-Prog: Thu Sep 12 15:23:23 CEST 2019
2522.03/1231.00	c END-Prog: Thu Sep 12 15:23:23 CEST 2019

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 (7808 MiB free)
  memory of node 1: 16384 MiB (15573 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387995-1568293411/watcher-4387995-1568293411 -o /tmp/evaluation-result-4387995-1568293411/solver-4387995-1568293411 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8653 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4387995-1568293411.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=11171, runsolver pid=11168
Current StackSize limit: 8192 KiB


[startup+0.100073 s]*
/proc/loadavg: 2.20 2.06 2.25 4/235 11188
/proc/meminfo: memFree=23883720/32770624 swapFree=67015648/67108860
[pid=11171] ppid=11168 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11171/stat : 11171 (scop.sh) S 11168 11171 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405613721 115843072 349 33554432000 4194304 5098028 140724127918336 140724127915592 140044820275836 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17522688 140724127920936 140724127921264 140724127921264 140724127924173 0
/proc/11171/statm: 28282 349 296 221 0 87 0
[pid=11174] ppid=11171 vsize=15012696 memory=73444 CPUtime=0.11 cores=0,2,4,6
/proc/11174/stat : 11174 (java) S 11171 11171 7440 0 -1 1077944320 7224 0 0 0 9 2 0 0 20 0 15 0 405613721 15373000704 18361 33554432000 4194304 4196468 140735357200560 140735357183104 140274926468855 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
/proc/11174/statm: 3753174 18361 2890 1 0 3715579 0
[pid=11174/tid=11175] ppid=11171 vsize=15013720 memory=7533807676074704953 CPUtime=0.08 cores=0,2,4,6
/proc/11174/task/11175/stat : 11175 (java) R 11171 11171 7440 0 -1 4202560 5266 0 0 0 7 1 0 0 20 0 15 0 405613722 15374049280 18624 33554432000 4194304 4196468 140735357200560 140274898253104 140274919148573 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11176] ppid=11171 vsize=15013720 memory=3472468323598775984 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11176/stat : 11176 (java) S 11171 11171 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405613723 15374049280 18624 33554432000 4194304 4196468 140735357200560 140274930710928 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11177] ppid=11171 vsize=15013720 memory=140027371095680 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11177/stat : 11177 (java) S 11171 11171 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405613723 15374049280 18624 33554432000 4194304 4196468 140735357200560 140274386856208 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11178] ppid=11171 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11178/stat : 11178 (java) S 11171 11171 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405613723 15374049280 18624 33554432000 4194304 4196468 140735357200560 140274385803920 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11179] ppid=11171 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11179/stat : 11179 (java) S 11171 11171 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405613723 15374049280 18624 33554432000 4194304 4196468 140735357200560 140274384751120 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11180] ppid=11171 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11180/stat : 11180 (java) S 11171 11171 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405613725 15374049280 18624 33554432000 4194304 4196468 140735357200560 140273896106608 140274926480002 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11181] ppid=11171 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11181/stat : 11181 (java) S 11171 11171 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405613725 15374049280 18624 33554432000 4194304 4196468 140735357200560 140273497662752 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11182] ppid=11171 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11182/stat : 11182 (java) S 11171 11171 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405613725 15374049280 18624 33554432000 4194304 4196468 140735357200560 140273229227632 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11183] ppid=11171 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11183/stat : 11183 (java) S 11171 11171 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405613728 15374049280 18624 33554432000 4194304 4196468 140735357200560 140272854719056 140274926487451 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11184] ppid=11171 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11184/stat : 11184 (java) S 11171 11171 7440 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 405613728 15374049280 18624 33554432000 4194304 4196468 140735357200560 140273895053424 140274926480002 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11185] ppid=11171 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11185/stat : 11185 (java) S 11171 11171 7440 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 405613728 15374049280 18624 33554432000 4194304 4196468 140735357200560 140273894000624 140274926480002 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11186] ppid=11171 vsize=15013720 memory=140027371095680 CPUtime=0.01 cores=0,2,4,6
/proc/11174/task/11186/stat : 11186 (java) S 11171 11171 7440 0 -1 1077944384 461 0 0 0 1 0 0 0 20 0 15 0 405613728 15374049280 18624 33554432000 4194304 4196468 140735357200560 140273892948336 140274926480002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11187] ppid=11171 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11187/stat : 11187 (java) S 11171 11171 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405613728 15374049280 18624 33554432000 4194304 4196468 140735357200560 140272356813280 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11188] ppid=11171 vsize=15013720 memory=140027371095680 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11188/stat : 11188 (java) S 11171 11171 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405613728 15374049280 18624 33554432000 4194304 4196468 140735357200560 140273891896240 140274926480002 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74840 KiB

[startup+0.211394 s]*
/proc/loadavg: 2.20 2.06 2.25 3/235 11188
/proc/meminfo: memFree=23866816/32770624 swapFree=67015648/67108860
[pid=11171] ppid=11168 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11171/stat : 11171 (scop.sh) S 11168 11171 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405613721 115843072 349 33554432000 4194304 5098028 140724127918336 140724127915592 140044820275836 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17522688 140724127920936 140724127921264 140724127921264 140724127924173 0
/proc/11171/statm: 28282 349 296 221 0 87 0
[pid=11174] ppid=11171 vsize=15012696 memory=86684 CPUtime=0.25 cores=0,2,4,6
/proc/11174/stat : 11174 (java) S 11171 11171 7440 0 -1 1077944320 11735 0 0 0 21 4 0 0 20 0 15 0 405613721 15373000704 21671 33554432000 4194304 4196468 140735357200560 140735357183104 140274926468855 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
/proc/11174/statm: 3753174 21671 2954 1 0 3715579 0
[pid=11174/tid=11175] ppid=11171 vsize=15012696 memory=8514701219881125283 CPUtime=0.2 cores=0,2,4,6
/proc/11174/task/11175/stat : 11175 (java) R 11171 11171 7440 0 -1 4202560 9466 0 0 0 17 3 0 0 20 0 15 0 405613722 15373000704 21671 33554432000 4194304 4196468 140735357200560 140274898284496 140274907862589 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11176] ppid=11171 vsize=15012696 memory=3472468323598775984 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11176/stat : 11176 (java) S 11171 11171 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405613723 15373000704 21671 33554432000 4194304 4196468 140735357200560 140274930710928 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11177] ppid=11171 vsize=15012696 memory=140027371095680 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11177/stat : 11177 (java) S 11171 11171 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405613723 15373000704 21671 33554432000 4194304 4196468 140735357200560 140274386856208 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11178] ppid=11171 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11178/stat : 11178 (java) S 11171 11171 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405613723 15373000704 21671 33554432000 4194304 4196468 140735357200560 140274385803920 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11179] ppid=11171 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11179/stat : 11179 (java) S 11171 11171 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405613723 15373000704 21671 33554432000 4194304 4196468 140735357200560 140274384751120 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11180] ppid=11171 vsize=15012696 memory=140027371095680 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11180/stat : 11180 (java) S 11171 11171 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405613725 15373000704 21671 33554432000 4194304 4196468 140735357200560 140273896106608 140274926480002 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11181] ppid=11171 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11181/stat : 11181 (java) S 11171 11171 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405613725 15373000704 21671 33554432000 4194304 4196468 140735357200560 140273497662752 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11182] ppid=11171 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11182/stat : 11182 (java) S 11171 11171 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405613725 15373000704 21671 33554432000 4194304 4196468 140735357200560 140273229227632 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11183] ppid=11171 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11183/stat : 11183 (java) S 11171 11171 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405613728 15373000704 21671 33554432000 4194304 4196468 140735357200560 140272854719056 140274926487451 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11184] ppid=11171 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11184/stat : 11184 (java) S 11171 11171 7440 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 405613728 15373000704 21671 33554432000 4194304 4196468 140735357200560 140273895053424 140274926480002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11185] ppid=11171 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11185/stat : 11185 (java) S 11171 11171 7440 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 405613728 15373000704 21671 33554432000 4194304 4196468 140735357200560 140273894000624 140274926480002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11186] ppid=11171 vsize=15012696 memory=140027371095680 CPUtime=0.03 cores=0,2,4,6
/proc/11174/task/11186/stat : 11186 (java) R 11171 11171 7440 0 -1 4202560 475 0 0 0 3 0 0 0 20 0 15 0 405613728 15373000704 21671 33554432000 4194304 4196468 140735357200560 140273892948336 140274926480790 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11187] ppid=11171 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11187/stat : 11187 (java) S 11171 11171 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405613728 15373000704 21671 33554432000 4194304 4196468 140735357200560 140272356813280 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11188] ppid=11171 vsize=15012696 memory=140027371095680 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11188/stat : 11188 (java) S 11171 11171 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405613728 15373000704 21671 33554432000 4194304 4196468 140735357200560 140273891896240 140274926480002 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88080 KiB

[startup+0.310559 s]*
/proc/loadavg: 2.20 2.06 2.25 4/235 11188
/proc/meminfo: memFree=23864980/32770624 swapFree=67015648/67108860
[pid=11171] ppid=11168 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11171/stat : 11171 (scop.sh) S 11168 11171 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405613721 115843072 349 33554432000 4194304 5098028 140724127918336 140724127915592 140044820275836 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17522688 140724127920936 140724127921264 140724127921264 140724127924173 0
/proc/11171/statm: 28282 349 296 221 0 87 0
[pid=11174] ppid=11171 vsize=15012696 memory=90368 CPUtime=0.42 cores=0,2,4,6
/proc/11174/stat : 11174 (java) S 11171 11171 7440 0 -1 1077944320 12638 0 0 0 38 4 0 0 20 0 15 0 405613721 15373000704 22592 33554432000 4194304 4196468 140735357200560 140735357183104 140274926468855 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
/proc/11174/statm: 3753174 22592 3033 1 0 3715579 0
[pid=11174/tid=11175] ppid=11171 vsize=15012696 memory=8514701219881125283 CPUtime=0.29 cores=0,2,4,6
/proc/11174/task/11175/stat : 11175 (java) R 11171 11171 7440 0 -1 4202560 10217 0 0 0 26 3 0 0 20 0 15 0 405613722 15373000704 22592 33554432000 4194304 4196468 140735357200560 140274898281200 140274912537939 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11176] ppid=11171 vsize=15012696 memory=3472468323598775984 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11176/stat : 11176 (java) S 11171 11171 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405613723 15373000704 22592 33554432000 4194304 4196468 140735357200560 140274930710928 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11177] ppid=11171 vsize=15012696 memory=140027371103146 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11177/stat : 11177 (java) S 11171 11171 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405613723 15373000704 22592 33554432000 4194304 4196468 140735357200560 140274386856208 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11178] ppid=11171 vsize=15012696 memory=140027208259899 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11178/stat : 11178 (java) S 11171 11171 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405613723 15373000704 22592 33554432000 4194304 4196468 140735357200560 140274385803920 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11179] ppid=11171 vsize=15012696 memory=140027208266159 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11179/stat : 11179 (java) S 11171 11171 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405613723 15373000704 22592 33554432000 4194304 4196468 140735357200560 140274384751120 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11180] ppid=11171 vsize=15012696 memory=140027371104334 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11180/stat : 11180 (java) S 11171 11171 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405613725 15373000704 22592 33554432000 4194304 4196468 140735357200560 140273896106608 140274926480002 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11181] ppid=11171 vsize=15012696 memory=140027208256975 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11181/stat : 11181 (java) S 11171 11171 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405613725 15373000704 22592 33554432000 4194304 4196468 140735357200560 140273497662752 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11182] ppid=11171 vsize=15012696 memory=280054416527728 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11182/stat : 11182 (java) S 11171 11171 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405613725 15373000704 22592 33554432000 4194304 4196468 140735357200560 140273229227632 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11183] ppid=11171 vsize=15012696 memory=140027208274903 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11183/stat : 11183 (java) S 11171 11171 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405613728 15373000704 22592 33554432000 4194304 4196468 140735357200560 140272854719056 140274926487451 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11184] ppid=11171 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11174/task/11184/stat : 11184 (java) S 11171 11171 7440 0 -1 1077944384 417 0 0 0 3 0 0 0 20 0 15 0 405613728 15373000704 22592 33554432000 4194304 4196468 140735357200560 140273895053424 140274926480002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11185] ppid=11171 vsize=15012696 memory=2240 CPUtime=0.01 cores=0,2,4,6
/proc/11174/task/11185/stat : 11185 (java) S 11171 11171 7440 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 15 0 405613728 15373000704 22592 33554432000 4194304 4196468 140735357200560 140273894000624 140274926480002 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11186] ppid=11171 vsize=15012696 memory=140027371095680 CPUtime=0.07 cores=0,2,4,6
/proc/11174/task/11186/stat : 11186 (java) S 11171 11171 7440 0 -1 1077944384 494 0 0 0 7 0 0 0 20 0 15 0 405613728 15373000704 22592 33554432000 4194304 4196468 140735357200560 140273892948336 140274926480002 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11187] ppid=11171 vsize=15012696 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11187/stat : 11187 (java) S 11171 11171 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405613728 15373000704 22592 33554432000 4194304 4196468 140735357200560 140272356813280 140274926479061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11188] ppid=11171 vsize=15012696 memory=140027371095680 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11188/stat : 11188 (java) S 11171 11171 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405613728 15373000704 22592 33554432000 4194304 4196468 140735357200560 140273891896240 140274926480002 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91764 KiB

[startup+0.701397 s]
/proc/loadavg: 2.20 2.06 2.25 3/235 11188
/proc/meminfo: memFree=23841096/32770624 swapFree=67015648/67108860
[pid=11171] ppid=11168 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11171/stat : 11171 (scop.sh) S 11168 11171 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405613721 115843072 349 33554432000 4194304 5098028 140724127918336 140724127915592 140044820275836 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17522688 140724127920936 140724127921264 140724127921264 140724127924173 0
/proc/11171/statm: 28282 349 296 221 0 87 0
[pid=11174] ppid=11171 vsize=15018968 memory=131228 CPUtime=1 cores=0,2,4,6
/proc/11174/stat : 11174 (java) S 11171 11171 7440 0 -1 1077944320 20054 0 0 0 93 7 0 0 20 0 15 0 405613721 15379423232 32807 33554432000 4194304 4196468 140735357200560 140735357183104 140274926468855 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
/proc/11174/statm: 3754742 32807 3183 1 0 3716091 0
[pid=11174/tid=11175] ppid=11171 vsize=15018968 memory=7597685182856913236 CPUtime=0.68 cores=0,2,4,6
/proc/11174/task/11175/stat : 11175 (java) R 11171 11171 7440 0 -1 4202560 17199 0 0 0 62 6 0 0 20 0 15 0 405613722 15379423232 32807 33554432000 4194304 4196468 140735357200560 140274898304368 140274926490781 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11176] ppid=11171 vsize=15018968 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11176/stat : 11176 (java) S 11171 11171 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405613723 15379423232 32807 33554432000 4194304 4196468 140735357200560 140274930710928 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11177] ppid=11171 vsize=15018968 memory=6935649255759568960 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11177/stat : 11177 (java) S 11171 11171 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405613723 15379423232 32807 33554432000 4194304 4196468 140735357200560 140274386856208 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11178] ppid=11171 vsize=15018968 memory=-5874771483550381248 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11178/stat : 11178 (java) S 11171 11171 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405613723 15379423232 32807 33554432000 4194304 4196468 140735357200560 140274385803920 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11179] ppid=11171 vsize=15018968 memory=8370611207639232161 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11179/stat : 11179 (java) S 11171 11171 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405613723 15379423232 32807 33554432000 4194304 4196468 140735357200560 140274384751120 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11180] ppid=11171 vsize=15018968 memory=6944613755328037012 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11180/stat : 11180 (java) S 11171 11171 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405613725 15379423232 32807 33554432000 4194304 4196468 140735357200560 140273896106608 140274926480002 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11181] ppid=11171 vsize=15018968 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11181/stat : 11181 (java) S 11171 11171 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405613725 15379423232 32807 33554432000 4194304 4196468 140735357200560 140273497662752 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11182] ppid=11171 vsize=15018968 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11182/stat : 11182 (java) S 11171 11171 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405613725 15379423232 32807 33554432000 4194304 4196468 140735357200560 140273229227632 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11183] ppid=11171 vsize=15018968 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11183/stat : 11183 (java) S 11171 11171 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405613728 15379423232 32807 33554432000 4194304 4196468 140735357200560 140272854719056 140274926487451 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11184] ppid=11171 vsize=15018968 memory=311 CPUtime=0.07 cores=0,2,4,6
/proc/11174/task/11184/stat : 11184 (java) S 11171 11171 7440 0 -1 1077944384 473 0 0 0 7 0 0 0 20 0 15 0 405613728 15379423232 32807 33554432000 4194304 4196468 140735357200560 140273895053424 140274926480002 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11185] ppid=11171 vsize=15018968 memory=10 CPUtime=0.08 cores=0,2,4,6
/proc/11174/task/11185/stat : 11185 (java) R 11171 11171 7440 0 -1 4202560 445 0 0 0 8 0 0 0 20 0 15 0 405613728 15379423232 32807 33554432000 4194304 4196468 140735357200560 140273894000624 140274905716208 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11186] ppid=11171 vsize=15018968 memory=1286 CPUtime=0.16 cores=0,2,4,6
/proc/11174/task/11186/stat : 11186 (java) R 11171 11171 7440 0 -1 4202560 600 0 0 0 16 0 0 0 20 0 15 0 405613728 15379423232 32807 33554432000 4194304 4196468 140735357200560 140273892945272 140274904063584 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11187] ppid=11171 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11187/stat : 11187 (java) S 11171 11171 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405613728 15379423232 32807 33554432000 4194304 4196468 140735357200560 140272356813280 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11188] ppid=11171 vsize=15018968 memory=7591186987463698790 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11188/stat : 11188 (java) S 11171 11171 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405613728 15379423232 32807 33554432000 4194304 4196468 140735357200560 140273891896240 140274926480002 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 132624 KiB

[startup+1.50139 s]
/proc/loadavg: 2.20 2.06 2.25 5/235 11188
/proc/meminfo: memFree=23800552/32770624 swapFree=67015648/67108860
[pid=11171] ppid=11168 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11171/stat : 11171 (scop.sh) S 11168 11171 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405613721 115843072 349 33554432000 4194304 5098028 140724127918336 140724127915592 140044820275836 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17522688 140724127920936 140724127921264 140724127921264 140724127924173 0
/proc/11171/statm: 28282 349 296 221 0 87 0

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

/proc/11174/task/11185/stat : 11185 (java) S 11171 11171 7440 0 -1 1077944384 20073 0 0 0 658 3 0 0 20 0 15 0 405613728 15385792512 3016474 33554432000 4194304 4196468 140735357200560 140273894000672 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11186] ppid=11171 vsize=15025188 memory=12065872 CPUtime=1.29 cores=0,2,4,6
/proc/11174/task/11186/stat : 11186 (java) S 11171 11171 7440 0 -1 1077944384 20790 0 0 0 126 3 0 0 20 0 15 0 405613728 15385792512 3016474 33554432000 4194304 4196468 140735357200560 140273892948384 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11187] ppid=11171 vsize=15025188 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11187/stat : 11187 (java) S 11171 11171 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405613728 15385792512 3016474 33554432000 4194304 4196468 140735357200560 140272356813280 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11188] ppid=11171 vsize=15025188 memory=17496 CPUtime=0.74 cores=0,2,4,6
/proc/11174/task/11188/stat : 11188 (java) S 11171 11171 7440 0 -1 1077944384 2895 0 0 0 40 34 0 0 20 0 15 0 405613728 15385792512 3016474 33554432000 4194304 4196468 140735357200560 140273891896240 140274926480002 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
Current children cumulated CPU time: 2120.33 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12067292 KiB

[startup+1182.3 s]
/proc/loadavg: 3.89 3.46 2.89 6/235 11296
/proc/meminfo: memFree=11846692/32770624 swapFree=67015688/67108860
[pid=11171] ppid=11168 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11171/stat : 11171 (scop.sh) S 11168 11171 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405613721 115843072 349 33554432000 4194304 5098028 140724127918336 140724127915592 140044820275836 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17522688 140724127920936 140724127921264 140724127921264 140724127924173 0
/proc/11171/statm: 28282 349 296 221 0 87 0
[pid=11174] ppid=11171 vsize=15025188 memory=12065928 CPUtime=2340.95 cores=0,2,4,6
/proc/11174/stat : 11174 (java) S 11171 11171 7440 0 -1 1077944320 671031 0 0 0 233123 972 0 0 20 0 15 0 405613721 15385792512 3016482 33554432000 4194304 4196468 140735357200560 140735357183104 140274926468855 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
/proc/11174/statm: 3756297 3016482 3305 1 0 3717627 0
[pid=11174/tid=11175] ppid=11171 vsize=15025188 memory=1396 CPUtime=794 cores=0,2,4,6
/proc/11174/task/11175/stat : 11175 (java) S 11171 11171 7440 0 -1 1077944384 91239 0 0 0 79341 59 0 0 20 0 15 0 405613722 15385792512 3016482 33554432000 4194304 4196468 140735357200560 140274898307296 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11176] ppid=11171 vsize=15025188 memory=12065928 CPUtime=383.78 cores=0,2,4,6
/proc/11174/task/11176/stat : 11176 (java) R 11171 11171 7440 0 -1 4202560 81675 0 0 0 38185 193 0 0 20 0 15 0 405613723 15385792512 3016482 33554432000 4194304 4196468 140735357200560 140274930711128 140274911458557 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11177] ppid=11171 vsize=15025188 memory=12065928 CPUtime=382.62 cores=0,2,4,6
/proc/11174/task/11177/stat : 11177 (java) R 11171 11171 7440 0 -1 4202560 79622 0 0 0 38026 236 0 0 20 0 15 0 405613723 15385792512 3016482 33554432000 4194304 4196468 140735357200560 140274386856328 140274919097063 0 4 2 25189581 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11178] ppid=11171 vsize=15025188 memory=12065852 CPUtime=381.08 cores=0,2,4,6
/proc/11174/task/11178/stat : 11178 (java) R 11171 11171 7440 0 -1 4202560 73138 0 0 0 37876 232 0 0 20 0 15 0 405613723 15385792512 3016482 33554432000 4194304 4196468 140735357200560 140274385803728 140274919097063 0 4 2 25189581 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11179] ppid=11171 vsize=15025188 memory=4120 CPUtime=382.05 cores=0,2,4,6
/proc/11174/task/11179/stat : 11179 (java) R 11171 11171 7440 0 -1 4202560 77123 0 0 0 37993 212 0 0 20 0 15 0 405613723 15385792512 3016482 33554432000 4194304 4196468 140735357200560 140274384750928 140274919097063 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11180] ppid=11171 vsize=15025188 memory=17496 CPUtime=2.22 cores=0,2,4,6
/proc/11174/task/11180/stat : 11180 (java) S 11171 11171 7440 0 -1 1077944384 203829 0 0 0 211 11 0 0 20 0 15 0 405613725 15385792512 3016482 33554432000 4194304 4196468 140735357200560 140273896105152 140274926479061 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11181] ppid=11171 vsize=15025188 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11181/stat : 11181 (java) S 11171 11171 7440 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 405613725 15385792512 3016482 33554432000 4194304 4196468 140735357200560 140273497662816 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11182] ppid=11171 vsize=15025188 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11182/stat : 11182 (java) S 11171 11171 7440 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 405613725 15385792512 3016482 33554432000 4194304 4196468 140735357200560 140273229227648 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11183] ppid=11171 vsize=15025188 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11183/stat : 11183 (java) S 11171 11171 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405613728 15385792512 3016482 33554432000 4194304 4196468 140735357200560 140272854719056 140274926487451 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11184] ppid=11171 vsize=15025188 memory=12065928 CPUtime=6.42 cores=0,2,4,6
/proc/11174/task/11184/stat : 11184 (java) S 11171 11171 7440 0 -1 1077944384 19135 0 0 0 640 2 0 0 20 0 15 0 405613728 15385792512 3016482 33554432000 4194304 4196468 140735357200560 140273895053472 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11185] ppid=11171 vsize=15025188 memory=1396 CPUtime=6.61 cores=0,2,4,6
/proc/11174/task/11185/stat : 11185 (java) S 11171 11171 7440 0 -1 1077944384 20089 0 0 0 658 3 0 0 20 0 15 0 405613728 15385792512 3016482 33554432000 4194304 4196468 140735357200560 140273894000384 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11186] ppid=11171 vsize=15025188 memory=12065928 CPUtime=1.29 cores=0,2,4,6
/proc/11174/task/11186/stat : 11186 (java) S 11171 11171 7440 0 -1 1077944384 20812 0 0 0 126 3 0 0 20 0 15 0 405613728 15385792512 3016482 33554432000 4194304 4196468 140735357200560 140273892948384 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11187] ppid=11171 vsize=15025188 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11187/stat : 11187 (java) S 11171 11171 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405613728 15385792512 3016482 33554432000 4194304 4196468 140735357200560 140272356813280 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11188] ppid=11171 vsize=15025188 memory=1224 CPUtime=0.77 cores=0,2,4,6
/proc/11174/task/11188/stat : 11188 (java) S 11171 11171 7440 0 -1 1077944384 2979 0 0 0 42 35 0 0 20 0 15 0 405613728 15385792512 3016482 33554432000 4194304 4196468 140735357200560 140273891896240 140274926480002 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
Current children cumulated CPU time: 2340.95 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12067324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.4 s]
/proc/loadavg: 4.50 3.69 3.00 6/235 11300
/proc/meminfo: memFree=11878668/32770624 swapFree=67015688/67108860
[pid=11171] ppid=11168 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11171/stat : 11171 (scop.sh) S 11168 11171 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405613721 115843072 349 33554432000 4194304 5098028 140724127918336 140724127915592 140044820275836 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17522688 140724127920936 140724127921264 140724127921264 140724127924173 0
/proc/11171/statm: 28282 349 296 221 0 87 0
[pid=11174] ppid=11171 vsize=15025188 memory=12065964 CPUtime=2520.04 cores=0,2,4,6
/proc/11174/stat : 11174 (java) S 11171 11171 7440 0 -1 1077944320 701235 0 0 0 251006 998 0 0 20 0 15 0 405613721 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140735357183104 140274926468855 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
/proc/11174/statm: 3756297 3016491 3305 1 0 3717627 0
[pid=11174/tid=11175] ppid=11171 vsize=15025188 memory=804 CPUtime=797.16 cores=0,2,4,6
/proc/11174/task/11175/stat : 11175 (java) S 11171 11171 7440 0 -1 1077944384 91763 0 0 0 79657 59 0 0 20 0 15 0 405613722 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140274898307296 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11176] ppid=11171 vsize=15025188 memory=1804 CPUtime=427.69 cores=0,2,4,6
/proc/11174/task/11176/stat : 11176 (java) R 11171 11171 7440 0 -1 4202560 86251 0 0 0 42569 200 0 0 20 0 15 0 405613723 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140274930710736 140274911169539 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11177] ppid=11171 vsize=15025188 memory=920 CPUtime=426.33 cores=0,2,4,6
/proc/11174/task/11177/stat : 11177 (java) R 11171 11171 7440 0 -1 4202560 83327 0 0 0 42389 244 0 0 20 0 15 0 405613723 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140274386856328 140274919097063 0 4 2 25189581 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11178] ppid=11171 vsize=15025188 memory=1396 CPUtime=425.64 cores=0,2,4,6
/proc/11174/task/11178/stat : 11178 (java) R 11171 11171 7440 0 -1 4202560 76487 0 0 0 42330 234 0 0 20 0 15 0 405613723 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140274385803728 140274911465207 0 4 2 25189581 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11179] ppid=11171 vsize=15025188 memory=12065960 CPUtime=425.59 cores=0,2,4,6
/proc/11174/task/11179/stat : 11179 (java) R 11171 11171 7440 0 -1 4202560 79882 0 0 0 42339 220 0 0 20 0 15 0 405613723 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140274384751240 140274911465222 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11180] ppid=11171 vsize=15025188 memory=1612 CPUtime=2.41 cores=0,2,4,6
/proc/11174/task/11180/stat : 11180 (java) S 11171 11171 7440 0 -1 1077944384 219033 0 0 0 229 12 0 0 20 0 15 0 405613725 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140273896105152 140274926479061 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11181] ppid=11171 vsize=15025188 memory=1784 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11181/stat : 11181 (java) S 11171 11171 7440 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 405613725 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140273497662816 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11182] ppid=11171 vsize=15025188 memory=924 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11182/stat : 11182 (java) S 11171 11171 7440 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 405613725 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140273229227648 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11183] ppid=11171 vsize=15025188 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11183/stat : 11183 (java) S 11171 11171 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405613728 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140272854719056 140274926487451 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11184] ppid=11171 vsize=15025188 memory=96044058695512 CPUtime=6.42 cores=0,2,4,6
/proc/11174/task/11184/stat : 11184 (java) S 11171 11171 7440 0 -1 1077944384 19146 0 0 0 640 2 0 0 20 0 15 0 405613728 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140273895053184 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11185] ppid=11171 vsize=15025188 memory=-6972322930090140006 CPUtime=6.61 cores=0,2,4,6
/proc/11174/task/11185/stat : 11185 (java) S 11171 11171 7440 0 -1 1077944384 20095 0 0 0 658 3 0 0 20 0 15 0 405613728 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140273894000672 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11186] ppid=11171 vsize=15025188 memory=-5791471198099195285 CPUtime=1.29 cores=0,2,4,6
/proc/11174/task/11186/stat : 11186 (java) S 11171 11171 7440 0 -1 1077944384 20816 0 0 0 126 3 0 0 20 0 15 0 405613728 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140273892948384 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11187] ppid=11171 vsize=15025188 memory=164 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11187/stat : 11187 (java) S 11171 11171 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405613728 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140272356813280 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11188] ppid=11171 vsize=15025188 memory=-4866526899798303339 CPUtime=0.8 cores=0,2,4,6
/proc/11174/task/11188/stat : 11188 (java) S 11171 11171 7440 0 -1 1077944384 3045 0 0 0 44 36 0 0 20 0 15 0 405613728 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140273891896240 140274926480002 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12067360 KiB

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

[startup+1230.44 s]
# the end of solver process 11171 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.003122 s, system=0.000298 s

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

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1230.8 s]
/proc/loadavg: 4.50 3.69 3.00 6/234 11301
/proc/meminfo: memFree=11878932/32770624 swapFree=67015688/67108860
[pid=11174] ppid=11168 vsize=15025188 memory=12065964 CPUtime=2521.62 cores=0,2,4,6
/proc/11174/stat : 11174 (java) S 11168 11171 7440 0 -1 1077944320 701250 0 0 0 251164 998 0 0 20 0 15 0 405613721 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140735357183104 140274926468855 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
/proc/11174/statm: 3756297 3016491 3305 1 0 3717627 0
[pid=11174/tid=11175] ppid=11168 vsize=15025188 memory=3824 CPUtime=797.16 cores=0,2,4,6
/proc/11174/task/11175/stat : 11175 (java) S 11168 11171 7440 0 -1 1077944384 91763 0 0 0 79657 59 0 0 20 0 15 0 405613722 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140274898307296 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11176] ppid=11168 vsize=15025188 memory=1384 CPUtime=428.09 cores=0,2,4,6
/proc/11174/task/11176/stat : 11176 (java) R 11168 11171 7440 0 -1 4202560 86251 0 0 0 42609 200 0 0 20 0 15 0 405613723 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140274930711048 140274911465259 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11177] ppid=11168 vsize=15025188 memory=4872558044660077418 CPUtime=426.72 cores=0,2,4,6
/proc/11174/task/11177/stat : 11177 (java) R 11168 11171 7440 0 -1 4202560 83327 0 0 0 42428 244 0 0 20 0 15 0 405613723 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140274386856328 140274911169551 0 4 2 25189581 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11178] ppid=11168 vsize=15025188 memory=1736 CPUtime=426.04 cores=0,2,4,6
/proc/11174/task/11178/stat : 11178 (java) R 11168 11171 7440 0 -1 4202560 76488 0 0 0 42370 234 0 0 20 0 15 0 405613723 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140274385804040 140274911168755 0 4 2 25189581 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11179] ppid=11168 vsize=15025188 memory=1784 CPUtime=425.99 cores=0,2,4,6
/proc/11174/task/11179/stat : 11179 (java) R 11168 11171 7440 0 -1 4202560 79887 0 0 0 42379 220 0 0 20 0 15 0 405613723 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140274384751240 140274911168703 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11180] ppid=11168 vsize=15025188 memory=924 CPUtime=2.41 cores=0,2,4,6
/proc/11174/task/11180/stat : 11180 (java) S 11168 11171 7440 0 -1 1077944384 219033 0 0 0 229 12 0 0 20 0 15 0 405613725 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140273896105152 140274926479061 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11181] ppid=11168 vsize=15025188 memory=15080 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11181/stat : 11181 (java) S 11168 11171 7440 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 405613725 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140273497662816 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11182] ppid=11168 vsize=15025188 memory=7844 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11182/stat : 11182 (java) S 11168 11171 7440 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 405613725 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140273229227648 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11183] ppid=11168 vsize=15025188 memory=2676 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11183/stat : 11183 (java) S 11168 11171 7440 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 405613728 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140272854718704 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11184] ppid=11168 vsize=15025188 memory=13240 CPUtime=6.42 cores=0,2,4,6
/proc/11174/task/11184/stat : 11184 (java) S 11168 11171 7440 0 -1 1077944384 19146 0 0 0 640 2 0 0 20 0 15 0 405613728 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140273895053184 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11185] ppid=11168 vsize=15025188 memory=2340 CPUtime=6.61 cores=0,2,4,6
/proc/11174/task/11185/stat : 11185 (java) S 11168 11171 7440 0 -1 1077944384 20095 0 0 0 658 3 0 0 20 0 15 0 405613728 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140273894000672 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11186] ppid=11168 vsize=15025188 memory=2064 CPUtime=1.29 cores=0,2,4,6
/proc/11174/task/11186/stat : 11186 (java) S 11168 11171 7440 0 -1 1077944384 20816 0 0 0 126 3 0 0 20 0 15 0 405613728 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140273892948384 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11187] ppid=11168 vsize=15025188 memory=2876 CPUtime=0 cores=0,2,4,6
/proc/11174/task/11187/stat : 11187 (java) S 11168 11171 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405613728 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140272356813280 140274926479061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
[pid=11174/tid=11188] ppid=11168 vsize=15025188 memory=1572 CPUtime=0.8 cores=0,2,4,6
/proc/11174/task/11188/stat : 11188 (java) S 11168 11171 7440 0 -1 1077944384 3045 0 0 0 44 36 0 0 20 0 15 0 405613728 15385792512 3016491 33554432000 4194304 4196468 140735357200560 140273891896240 140274926480002 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 8904704 140735357207278 140735357207706 140735357207706 140735357210575 0
Current cumulated CPU time of completed processes: 0.00342 s
Current children cumulated CPU time: 2521.62 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12065964 KiB

[startup+1231 s]*
/proc/loadavg: 4.50 3.69 3.00 3/234 11301
/proc/meminfo: memFree=11878924/32770624 swapFree=67015688/67108860
Current cumulated CPU time of completed processes: 0.00342 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1
Real time (s): 1231.07
CPU time (s): 2522.28
CPU user time (s): 2512.23
CPU system time (s): 10.0562
CPU usage (%): 204.885
Max. virtual memory (cumulated for all children) (KiB): 15138316
Max. memory (cumulated for all children) (KiB): 12070760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.23
system time used= 10.0562
maximum resident set size= 12070372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 704102
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53364
involuntary context switches= 19249


# summary of solver processes directly reported to runsolver:
#   pid: 11171,11174
#   total CPU time (s): 2522.28
#   total CPU user time (s): 2512.23
#   total CPU system time (s): 10.0562

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.62815 second user time and 11.347 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-12 15:02:51
IDJOB=4387995
IDBENCH=131451
IDSOLVER=2825
FILE ID=node150/4387995-1568293411
RUNJOBID= node150-1568287240-8653
PBS_JOBID= 21701061
Free space on /tmp= 52644 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-m4D/Subisomorphism-si2-m4Dr6-m1296-04.xml
COMMAND LINE= DIR/scop.sh 11g DIR/scop.jar -order DIR/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387995-1568293411/watcher-4387995-1568293411 -o /tmp/evaluation-result-4387995-1568293411/solver-4387995-1568293411 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8653 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4387995-1568293411.xml

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

MD5SUM BENCH= 2d28027fc76d6f94be685cc66f299382
RANDOM SEED=1447627617

node150.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.79
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.79
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.79
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.79
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:        23944308 kB
MemAvailable:   31607672 kB
Buffers:          134440 kB
Cached:          7683564 kB
SwapCached:         4304 kB
Active:          1585268 kB
Inactive:        6510300 kB
Active(anon):     251928 kB
Inactive(anon):    46100 kB
Active(file):    1333340 kB
Inactive(file):  6464200 kB
Unevictable:      111376 kB
Mlocked:          111376 kB
SwapTotal:      67108860 kB
SwapFree:       67015648 kB
Dirty:             20592 kB
Writeback:            72 kB
AnonPages:        409672 kB
Mapped:            46056 kB
Shmem:             11936 kB
Slab:             322848 kB
SReclaimable:     294284 kB
SUnreclaim:        28564 kB
KernelStack:        4096 kB
PageTables:         6244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6102196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 52620 MiB
End job on node150 at 2019-09-12 15:23:23