Trace number 4405261

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+ManyGlucose (2019-09-22)? (TO) 8845 2522.15

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si4-m4D/
Subisomorphism-si4-m4Dr4-m1296-05.xml
MD5SUM880994e2431ab8d90ac30179b2246ea4
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 benchmark1.67882
Satisfiable
(Un)Satisfiability was proved
Number of variables518
Number of constraints1425
Number of domains1
Minimum domain size1296
Maximum domain size1296
Distribution of domain sizes[{"size":1296,"count":518}]
Minimum variable degree2
Maximum variable degree12
Distribution of variable degrees[{"degree":2,"count":50},{"degree":3,"count":80},{"degree":4,"count":77},{"degree":6,"count":83},{"degree":7,"count":72},{"degree":8,"count":63},{"degree":9,"count":47},{"degree":10,"count":31},{"degree":11,"count":12},{"degree":12,"count":3}]
Minimum constraint arity1
Maximum constraint arity518
Distribution of constraint arities[{"arity":1,"count":311},{"arity":2,"count":1113},{"arity":518,"count":1}]
Number of extensional constraints1424
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1424},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-32317-serial-file.bin HOME/instance-4405261-1569338542.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 17:21:42 CEST 2019
0.66/0.56	c PID: 32320
0.66/0.56	c IP: 172.20.3.119
0.66/0.56	c HOST: node119.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.89/1.32	c (0,0) Parsing End
2.89/1.33	c (0,0) CSP: 518 int (0 aux), 0 bool (0 aux), 1425 ctr, max domain size 1296
2.89/1.33	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.89/1.33	c (0,0) Constraint Name Generate Begin
2.89/1.34	c (0,0) Ctr:HOME/instance-4405261-1569338542.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
2.89/1.34	c (0,0) Constraint Name Generate End
2.89/1.34	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.89/1.34	c (0,0) CSP to CSPinCNF Begin
212.03/165.26	c (164,159) translated 143 (10%) constraints
401.12/326.51	c (325,316) translated 285 (20%) constraints
584.63/486.29	c (485,472) translated 428 (30%) constraints
767.43/644.66	c (644,627) translated 570 (40%) constraints
953.90/804.37	c (803,783) translated 713 (50%) constraints
1135.79/962.28	c (961,937) translated 855 (60%) constraints
1320.09/1121.70	c (1121,1093) translated 998 (70%) constraints
1472.87/1252.65	c (1252,1221) translated 1140 (80%) constraints
1475.02/1253.70	c (1253,1222) translated 1283 (90%) constraints
1475.74/1254.42	c (1253,1223) translated 1425 (100%) constraints
1475.74/1254.42	c (1253,1223) ===========================================
1475.84/1254.52	c (1253,1223) Order
1475.84/1254.52	c (1253,1223) ===========================================
1833.34/1337.04	c (1336,1265) translated 2129810 (10%) constraints
2106.84/1409.67	c (1409,1308) translated 4259620 (20%) constraints
2324.02/1474.30	c (1473,1350) translated 6389429 (30%) constraints
2644.42/1552.15	c (1551,1393) translated 8519239 (40%) constraints
2879.06/1619.07	c (1618,1436) translated 10649048 (50%) constraints
3332.13/1713.75	c (1713,1478) translated 12778858 (60%) constraints
3897.15/1822.05	c (1821,1520) translated 14908668 (70%) constraints
4919.70/1988.14	c (1987,1562) translated 17038477 (80%) constraints
8828.82/2520.03	c (scop.sh) Receiving Signal. Removing all intermediate files.
8828.82/2520.03	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 (13384 MiB free)
  memory of node 1: 16384 MiB (11701 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405261-1569338542/watcher-4405261-1569338542 -o /var/tmp/evaluation-result-4405261-1569338542/solver-4405261-1569338542 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569335938-31616 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405261-1569338542.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100286 s]*
/proc/loadavg: 6.10 7.03 5.85 2/212 32340
/proc/meminfo: memFree=25591712/32770624 swapFree=66953492/67108860
[pid=32317] ppid=32314 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32317/stat : 32317 (scop.sh) S 32314 32317 31589 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509768999 115843072 349 33554432000 4194304 5098028 140732479835584 140732479832840 139907637944956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35962880 140732479841021 140732479841368 140732479841368 140732479844297 0
/proc/32317/statm: 28282 349 296 221 0 87 0
[pid=32320] ppid=32317 vsize=27314120 memory=107644 CPUtime=0.11 cores=0-7
/proc/32320/stat : 32320 (java) S 32317 32317 31589 0 -1 1077944320 6467 0 0 0 8 3 0 0 20 0 20 0 509768999 27969658880 26911 33554432000 4194304 4196468 140729788843024 140729788825568 140197393719031 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
/proc/32320/statm: 6828530 26911 2796 1 0 6790935 0
[pid=32320/tid=32321] ppid=32317 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32320/task/32321/stat : 32321 (java) R 32317 32317 31589 0 -1 4202560 4583 0 0 0 7 2 0 0 20 0 20 0 509769000 27969658880 26911 33554432000 4194304 4196468 140729788843024 140197365543888 140197377762661 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32322] ppid=32317 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/32320/task/32322/stat : 32322 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 26911 33554432000 4194304 4196468 140729788843024 140197397961872 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32323] ppid=32317 vsize=27314120 memory=140092264248960 CPUtime=0 cores=0-7
/proc/32320/task/32323/stat : 32323 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 26911 33554432000 4194304 4196468 140729788843024 140197212118032 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32324] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32324/stat : 32324 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 26911 33554432000 4194304 4196468 140729788843024 140197211065232 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32325] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32325/stat : 32325 (java) S 32317 32317 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 26911 33554432000 4194304 4196468 140729788843024 140197210012432 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32326] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32326/stat : 32326 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 26911 33554432000 4194304 4196468 140729788843024 140197208959632 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32327] ppid=32317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32320/task/32327/stat : 32327 (java) S 32317 32317 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 26911 33554432000 4194304 4196468 140729788843024 140197207906832 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32328] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32328/stat : 32328 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 26911 33554432000 4194304 4196468 140729788843024 140197206854032 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32329] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32329/stat : 32329 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 26911 33554432000 4194304 4196468 140729788843024 140197205801232 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32330] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32330/stat : 32330 (java) S 32317 32317 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509769004 27969658880 26911 33554432000 4194304 4196468 140729788843024 140195444792176 140197393730178 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32331] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32331/stat : 32331 (java) S 32317 32317 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509769004 27969658880 26911 33554432000 4194304 4196468 140729788843024 140195315836448 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32332] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32332/stat : 32332 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769004 27969658880 26911 33554432000 4194304 4196468 140729788843024 140195047400816 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32333] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32333/stat : 32333 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769007 27969658880 26911 33554432000 4194304 4196468 140729788843024 140194672892240 140197393737627 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32334] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32334/stat : 32334 (java) S 32317 32317 31589 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 509769007 27969658880 26911 33554432000 4194304 4196468 140729788843024 140195443738992 140197393730178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32335] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32335/stat : 32335 (java) S 32317 32317 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509769007 27969658880 26911 33554432000 4194304 4196468 140729788843024 140195442686192 140197393730178 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32336] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32336/stat : 32336 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769007 27969658880 26911 33554432000 4194304 4196468 140729788843024 140195441633392 140197393730178 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32337] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32337/stat : 32337 (java) S 32317 32317 31589 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 20 0 509769007 27969658880 26911 33554432000 4194304 4196468 140729788843024 140195440580592 140197393730178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32338] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32338/stat : 32338 (java) S 32317 32317 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509769007 27969658880 26911 33554432000 4194304 4196468 140729788843024 140194174987360 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32339] ppid=32317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32320/task/32339/stat : 32339 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769007 27969658880 26911 33554432000 4194304 4196468 140729788843024 140195439529008 140197393730178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109040 KiB

[startup+0.211345 s]*
/proc/loadavg: 6.10 7.03 5.85 2/212 32340
/proc/meminfo: memFree=25573388/32770624 swapFree=66953492/67108860
[pid=32317] ppid=32314 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32317/stat : 32317 (scop.sh) S 32314 32317 31589 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509768999 115843072 349 33554432000 4194304 5098028 140732479835584 140732479832840 139907637944956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35962880 140732479841021 140732479841368 140732479841368 140732479844297 0
/proc/32317/statm: 28282 349 296 221 0 87 0
[pid=32320] ppid=32317 vsize=27314120 memory=124516 CPUtime=0.24 cores=0-7
/proc/32320/stat : 32320 (java) S 32317 32317 31589 0 -1 1077944320 11469 0 0 0 20 4 0 0 20 0 20 0 509768999 27969658880 31129 33554432000 4194304 4196468 140729788843024 140729788825568 140197393719031 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
/proc/32320/statm: 6828530 31129 2955 1 0 6790935 0
[pid=32320/tid=32321] ppid=32317 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32320/task/32321/stat : 32321 (java) R 32317 32317 31589 0 -1 4202560 9195 0 0 0 16 3 0 0 20 0 20 0 509769000 27969658880 31129 33554432000 4194304 4196468 140729788843024 140197365502592 140197375272336 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32322] ppid=32317 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/32320/task/32322/stat : 32322 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 31129 33554432000 4194304 4196468 140729788843024 140197397961872 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32323] ppid=32317 vsize=27314120 memory=140092268035092 CPUtime=0 cores=0-7
/proc/32320/task/32323/stat : 32323 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 31129 33554432000 4194304 4196468 140729788843024 140197212118032 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32324] ppid=32317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32320/task/32324/stat : 32324 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 31129 33554432000 4194304 4196468 140729788843024 140197211065232 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32325] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32325/stat : 32325 (java) S 32317 32317 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 31129 33554432000 4194304 4196468 140729788843024 140197210012432 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32326] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32326/stat : 32326 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 31129 33554432000 4194304 4196468 140729788843024 140197208959632 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32327] ppid=32317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32320/task/32327/stat : 32327 (java) S 32317 32317 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 31129 33554432000 4194304 4196468 140729788843024 140197207906832 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32328] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32328/stat : 32328 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 31129 33554432000 4194304 4196468 140729788843024 140197206854032 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32329] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32329/stat : 32329 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 31129 33554432000 4194304 4196468 140729788843024 140197205801232 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32330] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32330/stat : 32330 (java) S 32317 32317 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509769004 27969658880 31129 33554432000 4194304 4196468 140729788843024 140195444792176 140197393730178 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32331] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32331/stat : 32331 (java) S 32317 32317 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509769004 27969658880 31129 33554432000 4194304 4196468 140729788843024 140195315836448 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32332] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32332/stat : 32332 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769004 27969658880 31129 33554432000 4194304 4196468 140729788843024 140195047400816 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32333] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32333/stat : 32333 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769007 27969658880 31129 33554432000 4194304 4196468 140729788843024 140194672892240 140197393737627 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32334] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32334/stat : 32334 (java) S 32317 32317 31589 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 509769007 27969658880 31129 33554432000 4194304 4196468 140729788843024 140195443738992 140197393730178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32335] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32335/stat : 32335 (java) S 32317 32317 31589 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 509769007 27969658880 31129 33554432000 4194304 4196468 140729788843024 140195442686192 140197393730178 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32336] ppid=32317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32320/task/32336/stat : 32336 (java) S 32317 32317 31589 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 509769007 27969658880 31129 33554432000 4194304 4196468 140729788843024 140195441633392 140197393730178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32337] ppid=32317 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/32320/task/32337/stat : 32337 (java) S 32317 32317 31589 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 509769007 27969658880 31129 33554432000 4194304 4196468 140729788843024 140195440580592 140197393730178 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32338] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32338/stat : 32338 (java) S 32317 32317 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509769007 27969658880 31129 33554432000 4194304 4196468 140729788843024 140194174987360 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32339] ppid=32317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32320/task/32339/stat : 32339 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769007 27969658880 31129 33554432000 4194304 4196468 140729788843024 140195439529008 140197393730178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125912 KiB

[startup+0.310325 s]*
/proc/loadavg: 6.10 7.03 5.85 2/212 32340
/proc/meminfo: memFree=25570472/32770624 swapFree=66953492/67108860
[pid=32317] ppid=32314 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32317/stat : 32317 (scop.sh) S 32314 32317 31589 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509768999 115843072 349 33554432000 4194304 5098028 140732479835584 140732479832840 139907637944956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35962880 140732479841021 140732479841368 140732479841368 140732479844297 0
/proc/32317/statm: 28282 349 296 221 0 87 0
[pid=32320] ppid=32317 vsize=27314120 memory=128192 CPUtime=0.42 cores=0-7
/proc/32320/stat : 32320 (java) S 32317 32317 31589 0 -1 1077944320 11924 0 0 0 38 4 0 0 20 0 20 0 509768999 27969658880 32048 33554432000 4194304 4196468 140729788843024 140729788825568 140197393719031 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
/proc/32320/statm: 6828530 32048 3032 1 0 6790935 0
[pid=32320/tid=32321] ppid=32317 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32320/task/32321/stat : 32321 (java) R 32317 32317 31589 0 -1 4202560 9467 0 0 0 26 3 0 0 20 0 20 0 509769000 27969658880 32048 33554432000 4194304 4196468 140729788843024 140197365549104 140197373994418 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32322] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32322/stat : 32322 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 32048 33554432000 4194304 4196468 140729788843024 140197397961872 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32323] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32323/stat : 32323 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 32048 33554432000 4194304 4196468 140729788843024 140197212118032 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32324] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32324/stat : 32324 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 32048 33554432000 4194304 4196468 140729788843024 140197211065232 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32325] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32325/stat : 32325 (java) S 32317 32317 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 32048 33554432000 4194304 4196468 140729788843024 140197210012432 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32326] ppid=32317 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/32320/task/32326/stat : 32326 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 32048 33554432000 4194304 4196468 140729788843024 140197208959632 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32327] ppid=32317 vsize=27314120 memory=140092102505391 CPUtime=0 cores=0-7
/proc/32320/task/32327/stat : 32327 (java) S 32317 32317 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 32048 33554432000 4194304 4196468 140729788843024 140197207906832 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32328] ppid=32317 vsize=27314120 memory=140092102507696 CPUtime=0 cores=0-7
/proc/32320/task/32328/stat : 32328 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 32048 33554432000 4194304 4196468 140729788843024 140197206854032 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32329] ppid=32317 vsize=27314120 memory=140092102510000 CPUtime=0 cores=0-7
/proc/32320/task/32329/stat : 32329 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27969658880 32048 33554432000 4194304 4196468 140729788843024 140197205801232 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32330] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32330/stat : 32330 (java) S 32317 32317 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509769004 27969658880 32048 33554432000 4194304 4196468 140729788843024 140195444792176 140197393730178 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32331] ppid=32317 vsize=27314120 memory=280184205026960 CPUtime=0 cores=0-7
/proc/32320/task/32331/stat : 32331 (java) S 32317 32317 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509769004 27969658880 32048 33554432000 4194304 4196468 140729788843024 140195315836448 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32332] ppid=32317 vsize=27314120 memory=280184205033872 CPUtime=0 cores=0-7
/proc/32320/task/32332/stat : 32332 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769004 27969658880 32048 33554432000 4194304 4196468 140729788843024 140195047400816 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32333] ppid=32317 vsize=27314120 memory=280184204975152 CPUtime=0 cores=0-7
/proc/32320/task/32333/stat : 32333 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769007 27969658880 32048 33554432000 4194304 4196468 140729788843024 140194672892240 140197393737627 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32334] ppid=32317 vsize=27314120 memory=280184205047696 CPUtime=0.01 cores=0-7
/proc/32320/task/32334/stat : 32334 (java) S 32317 32317 31589 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 20 0 509769007 27969658880 32048 33554432000 4194304 4196468 140729788843024 140195443738992 140197393730178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32335] ppid=32317 vsize=27314120 memory=280184205054608 CPUtime=0.01 cores=0-7
/proc/32320/task/32335/stat : 32335 (java) S 32317 32317 31589 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 20 0 509769007 27969658880 32048 33554432000 4194304 4196468 140729788843024 140195442686192 140197393730178 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32336] ppid=32317 vsize=27314120 memory=280184205052304 CPUtime=0.01 cores=0-7
/proc/32320/task/32336/stat : 32336 (java) R 32317 32317 31589 0 -1 4202560 128 0 0 0 1 0 0 0 20 0 20 0 509769007 27969658880 32048 33554432000 4194304 4196468 140729788843024 140195441633392 140197371314049 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32337] ppid=32317 vsize=27314120 memory=280184205068464 CPUtime=0.07 cores=0-7
/proc/32320/task/32337/stat : 32337 (java) S 32317 32317 31589 0 -1 1077944384 496 0 0 0 7 0 0 0 20 0 20 0 509769007 27969658880 32048 33554432000 4194304 4196468 140729788843024 140195440580592 140197393730178 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32338] ppid=32317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32338/stat : 32338 (java) S 32317 32317 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509769007 27969658880 32048 33554432000 4194304 4196468 140729788843024 140194174987360 140197393729237 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32339] ppid=32317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32320/task/32339/stat : 32339 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769007 27969658880 32048 33554432000 4194304 4196468 140729788843024 140195439529008 140197393730178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129588 KiB

[startup+0.704313 s]
/proc/loadavg: 6.10 7.03 5.85 2/212 32340
/proc/meminfo: memFree=25547268/32770624 swapFree=66953492/67108860
[pid=32317] ppid=32314 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32317/stat : 32317 (scop.sh) S 32314 32317 31589 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509768999 115843072 349 33554432000 4194304 5098028 140732479835584 140732479832840 139907637944956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35962880 140732479841021 140732479841368 140732479841368 140732479844297 0
/proc/32317/statm: 28282 349 296 221 0 87 0
[pid=32320] ppid=32317 vsize=27320392 memory=165492 CPUtime=1 cores=0-7
/proc/32320/stat : 32320 (java) S 32317 32317 31589 0 -1 1077944320 19918 0 0 0 93 7 0 0 20 0 20 0 509768999 27976081408 41373 33554432000 4194304 4196468 140729788843024 140729788825568 140197393719031 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
/proc/32320/statm: 6830098 41373 3182 1 0 6791447 0
[pid=32320/tid=32321] ppid=32317 vsize=27320392 memory=280184205426352 CPUtime=0.67 cores=0-7
/proc/32320/task/32321/stat : 32321 (java) R 32317 32317 31589 0 -1 4202560 16907 0 0 0 61 6 0 0 20 0 20 0 509769000 27976081408 41373 33554432000 4194304 4196468 140729788843024 140197365554024 140196876232829 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32322] ppid=32317 vsize=27320392 memory=140092102714224 CPUtime=0 cores=0-7
/proc/32320/task/32322/stat : 32322 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27976081408 41373 33554432000 4194304 4196468 140729788843024 140197397961872 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32323] ppid=32317 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/32320/task/32323/stat : 32323 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27976081408 41373 33554432000 4194304 4196468 140729788843024 140197212118032 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32324] ppid=32317 vsize=27320392 memory=668 CPUtime=0 cores=0-7
/proc/32320/task/32324/stat : 32324 (java) S 32317 32317 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509769002 27976081408 41373 33554432000 4194304 4196468 140729788843024 140197211065232 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.003939 s

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

[startup+2522.14 s]
# the end of solver process 32320 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=8791.71 s, system=53.2868 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+2520.8 s]
/proc/loadavg: 7.43 6.92 5.21 9/212 32555
/proc/meminfo: memFree=1631464/32770624 swapFree=66953492/67108860
[pid=32320] ppid=32314 vsize=27326612 memory=24023468 CPUtime=8835.12 cores=0-7
/proc/32320/stat : 32320 (java) S 32314 32317 31589 0 -1 1077944320 5504892 0 0 0 878203 5309 0 0 20 0 20 0 509768999 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140729788825568 140197393719031 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
/proc/32320/statm: 6831653 6005867 3306 1 0 6792983 0
[pid=32320/tid=32321] ppid=32314 vsize=27326612 memory=2832 CPUtime=1602.87 cores=0-7
/proc/32320/task/32321/stat : 32321 (java) S 32314 32317 31589 0 -1 1077944384 146541 0 0 0 160109 178 0 0 20 0 20 0 509769000 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197365551840 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32322] ppid=32314 vsize=27326612 memory=4872558044660077418 CPUtime=900.63 cores=0-7
/proc/32320/task/32322/stat : 32322 (java) R 32314 32317 31589 0 -1 4202560 549982 0 0 0 89433 630 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197397961760 140197375328640 0 4 2 25189581 0 0 0 -1 5 0 0 93 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32323] ppid=32314 vsize=27326612 memory=3688 CPUtime=902.16 cores=0-7
/proc/32320/task/32323/stat : 32323 (java) R 32314 32317 31589 0 -1 4202560 623928 0 0 0 89585 631 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197212118232 140197375328807 0 4 2 25189581 0 0 0 -1 2 0 0 95 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32324] ppid=32314 vsize=27326612 memory=1984 CPUtime=901.43 cores=0-7
/proc/32320/task/32324/stat : 32324 (java) R 32314 32317 31589 0 -1 4202560 542947 0 0 0 89538 605 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197211065432 140197375328781 0 4 2 25189581 0 0 0 -1 1 0 0 87 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32325] ppid=32314 vsize=27326612 memory=1396 CPUtime=899.92 cores=0-7
/proc/32320/task/32325/stat : 32325 (java) R 32314 32317 31589 0 -1 4202560 524258 0 0 0 89354 638 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197210012632 140197378715412 0 4 2 25189581 0 0 0 -1 3 0 0 80 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32326] ppid=32314 vsize=27326612 memory=24023468 CPUtime=900.11 cores=0-7
/proc/32320/task/32326/stat : 32326 (java) R 32314 32317 31589 0 -1 4202560 455353 0 0 0 89382 629 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197208959832 140197375328786 0 4 2 25189581 0 0 0 -1 0 0 0 82 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32327] ppid=32314 vsize=27326612 memory=988 CPUtime=903.02 cores=0-7
/proc/32320/task/32327/stat : 32327 (java) R 32314 32317 31589 0 -1 4202560 480157 0 0 0 89688 614 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197207907032 140197378417811 0 4 2 25189581 0 0 0 -1 6 0 0 93 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32328] ppid=32314 vsize=27326612 memory=2008 CPUtime=900.08 cores=0-7
/proc/32320/task/32328/stat : 32328 (java) R 32314 32317 31589 0 -1 4202560 450029 0 0 0 89364 644 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197206854232 140197378417869 0 4 2 25189581 0 0 0 -1 4 0 0 86 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32329] ppid=32314 vsize=27326612 memory=4872558044660077418 CPUtime=900.74 cores=0-7
/proc/32320/task/32329/stat : 32329 (java) R 32314 32317 31589 0 -1 4202560 494945 0 0 0 89464 610 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197205801432 140197378715642 0 4 2 25189581 0 0 0 -1 7 0 0 97 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32330] ppid=32314 vsize=27326612 memory=111636 CPUtime=8.61 cores=0-7
/proc/32320/task/32330/stat : 32330 (java) S 32314 32317 31589 0 -1 1077944384 1165424 0 0 0 789 72 0 0 20 0 20 0 509769004 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195444790720 140197393729237 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32331] ppid=32314 vsize=27326612 memory=808 CPUtime=0 cores=0-7
/proc/32320/task/32331/stat : 32331 (java) S 32314 32317 31589 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 509769004 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195315836512 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32332] ppid=32314 vsize=27326612 memory=1652 CPUtime=0 cores=0-7
/proc/32320/task/32332/stat : 32332 (java) S 32314 32317 31589 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 509769004 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195047400832 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32333] ppid=32314 vsize=27326612 memory=1804 CPUtime=0 cores=0-7
/proc/32320/task/32333/stat : 32333 (java) S 32314 32317 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140194672891888 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32334] ppid=32314 vsize=27326612 memory=1398720917958146503 CPUtime=4.36 cores=0-7
/proc/32320/task/32334/stat : 32334 (java) S 32314 32317 31589 0 -1 1077944384 18958 0 0 0 433 3 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195443739040 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32335] ppid=32314 vsize=27326612 memory=4872558044660077418 CPUtime=4.3 cores=0-7
/proc/32320/task/32335/stat : 32335 (java) S 32314 32317 31589 0 -1 1077944384 14293 0 0 0 428 2 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195442686240 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32336] ppid=32314 vsize=27326612 memory=14056 CPUtime=4.22 cores=0-7
/proc/32320/task/32336/stat : 32336 (java) S 32314 32317 31589 0 -1 1077944384 12505 0 0 0 419 3 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195441633440 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32337] ppid=32314 vsize=27326612 memory=2116 CPUtime=1.35 cores=0-7
/proc/32320/task/32337/stat : 32337 (java) S 32314 32317 31589 0 -1 1077944384 21382 0 0 0 131 4 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195440580352 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32338] ppid=32314 vsize=27326612 memory=520 CPUtime=0 cores=0-7
/proc/32320/task/32338/stat : 32338 (java) S 32314 32317 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140194174987360 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32339] ppid=32314 vsize=27326612 memory=1560 CPUtime=1.2 cores=0-7
/proc/32320/task/32339/stat : 32339 (java) S 32314 32317 31589 0 -1 1077944384 2814 0 0 0 53 67 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195439529008 140197393730178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
Current cumulated CPU time of completed processes: 0.003939 s
Current children cumulated CPU time: 8835.12 s
Current children cumulated vsize: 27326612 KiB
Current children cumulated memory: 24023468 KiB

[startup+2521.6 s]
/proc/loadavg: 7.43 6.92 5.21 9/212 32555
/proc/meminfo: memFree=1631604/32770624 swapFree=66953492/67108860
[pid=32320] ppid=32314 vsize=27326612 memory=24023468 CPUtime=8841.5 cores=0-7
/proc/32320/stat : 32320 (java) S 32314 32317 31589 0 -1 1077944320 5506230 0 0 0 878839 5311 0 0 20 0 20 0 509768999 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140729788825568 140197393719031 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
/proc/32320/statm: 6831653 6005867 3306 1 0 6792983 0
[pid=32320/tid=32321] ppid=32314 vsize=27326612 memory=988 CPUtime=1602.87 cores=0-7
/proc/32320/task/32321/stat : 32321 (java) S 32314 32317 31589 0 -1 1077944384 146541 0 0 0 160109 178 0 0 20 0 20 0 509769000 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197365551840 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32322] ppid=32314 vsize=27326612 memory=3504 CPUtime=901.43 cores=0-7
/proc/32320/task/32322/stat : 32322 (java) R 32314 32317 31589 0 -1 4202560 550438 0 0 0 89513 630 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197397961760 140197378715693 0 4 2 25189581 0 0 0 -1 5 0 0 93 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32323] ppid=32314 vsize=27326612 memory=64224 CPUtime=902.96 cores=0-7
/proc/32320/task/32323/stat : 32323 (java) R 32314 32317 31589 0 -1 4202560 624116 0 0 0 89665 631 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197212118232 140197375328777 0 4 2 25189581 0 0 0 -1 2 0 0 95 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32324] ppid=32314 vsize=27326612 memory=4872558044660077418 CPUtime=902.23 cores=0-7
/proc/32320/task/32324/stat : 32324 (java) R 32314 32317 31589 0 -1 4202560 543008 0 0 0 89617 606 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197211065432 140197378715674 0 4 2 25189581 0 0 0 -1 1 0 0 87 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32325] ppid=32314 vsize=27326612 memory=776 CPUtime=900.72 cores=0-7
/proc/32320/task/32325/stat : 32325 (java) R 32314 32317 31589 0 -1 4202560 524316 0 0 0 89434 638 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197210012632 140197378715441 0 4 2 25189581 0 0 0 -1 3 0 0 80 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32326] ppid=32314 vsize=27326612 memory=2832 CPUtime=900.91 cores=0-7
/proc/32320/task/32326/stat : 32326 (java) R 32314 32317 31589 0 -1 4202560 455469 0 0 0 89462 629 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197208959832 140197378417787 0 4 2 25189581 0 0 0 -1 0 0 0 82 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32327] ppid=32314 vsize=27326612 memory=668 CPUtime=903.82 cores=0-7
/proc/32320/task/32327/stat : 32327 (java) R 32314 32317 31589 0 -1 4202560 480251 0 0 0 89767 615 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197207907032 140197375328739 0 4 2 25189581 0 0 0 -1 6 0 0 93 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32328] ppid=32314 vsize=27326612 memory=0 CPUtime=900.88 cores=0-7
/proc/32320/task/32328/stat : 32328 (java) R 32314 32317 31589 0 -1 4202560 450204 0 0 0 89444 644 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197206854232 140197378417999 0 4 2 25189581 0 0 0 -1 4 0 0 86 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32329] ppid=32314 vsize=27326612 memory=4202393721478297314 CPUtime=901.52 cores=0-7
/proc/32320/task/32329/stat : 32329 (java) R 32314 32317 31589 0 -1 4202560 495135 0 0 0 89542 610 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197205801432 140197375328786 0 4 2 25189581 0 0 0 -1 7 0 0 97 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32330] ppid=32314 vsize=27326612 memory=3473034654066064903 CPUtime=8.61 cores=0-7
/proc/32320/task/32330/stat : 32330 (java) S 32314 32317 31589 0 -1 1077944384 1165424 0 0 0 789 72 0 0 20 0 20 0 509769004 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195444790720 140197393729237 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32331] ppid=32314 vsize=27326612 memory=3907351633984731920 CPUtime=0 cores=0-7
/proc/32320/task/32331/stat : 32331 (java) S 32314 32317 31589 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 509769004 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195315836512 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32332] ppid=32314 vsize=27326612 memory=9580 CPUtime=0 cores=0-7
/proc/32320/task/32332/stat : 32332 (java) S 32314 32317 31589 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 509769004 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195047400832 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32333] ppid=32314 vsize=27326612 memory=1052 CPUtime=0 cores=0-7
/proc/32320/task/32333/stat : 32333 (java) S 32314 32317 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140194672891888 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32334] ppid=32314 vsize=27326612 memory=776 CPUtime=4.36 cores=0-7
/proc/32320/task/32334/stat : 32334 (java) S 32314 32317 31589 0 -1 1077944384 18958 0 0 0 433 3 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195443739040 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32335] ppid=32314 vsize=27326612 memory=8204 CPUtime=4.3 cores=0-7
/proc/32320/task/32335/stat : 32335 (java) S 32314 32317 31589 0 -1 1077944384 14293 0 0 0 428 2 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195442686240 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32336] ppid=32314 vsize=27326612 memory=14056 CPUtime=4.22 cores=0-7
/proc/32320/task/32336/stat : 32336 (java) S 32314 32317 31589 0 -1 1077944384 12505 0 0 0 419 3 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195441633440 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32337] ppid=32314 vsize=27326612 memory=2116 CPUtime=1.35 cores=0-7
/proc/32320/task/32337/stat : 32337 (java) S 32314 32317 31589 0 -1 1077944384 21382 0 0 0 131 4 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195440580352 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32338] ppid=32314 vsize=27326612 memory=520 CPUtime=0 cores=0-7
/proc/32320/task/32338/stat : 32338 (java) S 32314 32317 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140194174987360 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32339] ppid=32314 vsize=27326612 memory=1560 CPUtime=1.2 cores=0-7
/proc/32320/task/32339/stat : 32339 (java) S 32314 32317 31589 0 -1 1077944384 2814 0 0 0 53 67 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195439529008 140197393730178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
Current cumulated CPU time of completed processes: 0.003939 s
Current children cumulated CPU time: 8841.5 s
Current children cumulated vsize: 27326612 KiB
Current children cumulated memory: 24023468 KiB

[startup+2522 s]*
/proc/loadavg: 7.43 6.92 5.21 9/212 32555
/proc/meminfo: memFree=1631728/32770624 swapFree=66953492/67108860
[pid=32320] ppid=32314 vsize=27326612 memory=24023468 CPUtime=8844.77 cores=0-7
/proc/32320/stat : 32320 (java) S 32314 32317 31589 0 -1 1077944320 5508216 0 0 0 879161 5316 0 0 20 0 20 0 509768999 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140729788825568 140197393719031 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
/proc/32320/statm: 6831653 6005867 3306 1 0 6792983 0
[pid=32320/tid=32321] ppid=32314 vsize=27326612 memory=35436 CPUtime=1602.87 cores=0-7
/proc/32320/task/32321/stat : 32321 (java) S 32314 32317 31589 0 -1 1077944384 146541 0 0 0 160109 178 0 0 20 0 20 0 509769000 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197365551840 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32322] ppid=32314 vsize=27326612 memory=4872558044660077418 CPUtime=901.83 cores=0-7
/proc/32320/task/32322/stat : 32322 (java) R 32314 32317 31589 0 -1 4202560 550550 0 0 0 89553 630 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197397961760 140197378715674 0 4 2 25189581 0 0 0 -1 5 0 0 93 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32323] ppid=32314 vsize=27326612 memory=2008 CPUtime=903.37 cores=0-7
/proc/32320/task/32323/stat : 32323 (java) R 32314 32317 31589 0 -1 4202560 624255 0 0 0 89706 631 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197212118232 140197375328851 0 4 2 25189581 0 0 0 -1 2 0 0 95 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32324] ppid=32314 vsize=27326612 memory=1424 CPUtime=902.64 cores=0-7
/proc/32320/task/32324/stat : 32324 (java) R 32314 32317 31589 0 -1 4202560 543113 0 0 0 89655 609 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197211065432 140197378715376 0 4 2 25189581 0 0 0 -1 1 0 0 87 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32325] ppid=32314 vsize=27326612 memory=3640 CPUtime=901.13 cores=0-7
/proc/32320/task/32325/stat : 32325 (java) R 32314 32317 31589 0 -1 4202560 524431 0 0 0 89475 638 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197210012632 140197378715441 0 4 2 25189581 0 0 0 -1 3 0 0 80 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32326] ppid=32314 vsize=27326612 memory=6791534058613427641 CPUtime=901.32 cores=0-7
/proc/32320/task/32326/stat : 32326 (java) R 32314 32317 31589 0 -1 4202560 455625 0 0 0 89501 631 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197208959832 140197378715680 0 4 2 25189581 0 0 0 -1 0 0 0 82 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32327] ppid=32314 vsize=27326612 memory=776 CPUtime=904.23 cores=0-7
/proc/32320/task/32327/stat : 32327 (java) R 32314 32317 31589 0 -1 4202560 480367 0 0 0 89808 615 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197207907032 140197378715435 0 4 2 25189581 0 0 0 -1 6 0 0 93 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32328] ppid=32314 vsize=27326612 memory=2832 CPUtime=901.29 cores=0-7
/proc/32320/task/32328/stat : 32328 (java) R 32314 32317 31589 0 -1 4202560 450322 0 0 0 89485 644 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197206854232 140197375328877 0 4 2 25189581 0 0 0 -1 4 0 0 86 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32329] ppid=32314 vsize=27326612 memory=668 CPUtime=901.92 cores=0-7
/proc/32320/task/32329/stat : 32329 (java) R 32314 32317 31589 0 -1 4202560 496262 0 0 0 89582 610 0 0 20 0 20 0 509769002 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140197205801432 140197378417999 0 4 2 25189581 0 0 0 -1 7 0 0 97 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32330] ppid=32314 vsize=27326612 memory=1276 CPUtime=8.61 cores=0-7
/proc/32320/task/32330/stat : 32330 (java) S 32314 32317 31589 0 -1 1077944384 1165424 0 0 0 789 72 0 0 20 0 20 0 509769004 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195444790720 140197393729237 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32331] ppid=32314 vsize=27326612 memory=3504 CPUtime=0 cores=0-7
/proc/32320/task/32331/stat : 32331 (java) S 32314 32317 31589 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 509769004 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195315836512 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32332] ppid=32314 vsize=27326612 memory=64224 CPUtime=0 cores=0-7
/proc/32320/task/32332/stat : 32332 (java) S 32314 32317 31589 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 509769004 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195047400832 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32333] ppid=32314 vsize=27326612 memory=988 CPUtime=0 cores=0-7
/proc/32320/task/32333/stat : 32333 (java) S 32314 32317 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140194672891888 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32334] ppid=32314 vsize=27326612 memory=2008 CPUtime=4.36 cores=0-7
/proc/32320/task/32334/stat : 32334 (java) S 32314 32317 31589 0 -1 1077944384 18958 0 0 0 433 3 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195443739040 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32335] ppid=32314 vsize=27326612 memory=1424 CPUtime=4.3 cores=0-7
/proc/32320/task/32335/stat : 32335 (java) S 32314 32317 31589 0 -1 1077944384 14293 0 0 0 428 2 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195442686240 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32336] ppid=32314 vsize=27326612 memory=3640 CPUtime=4.22 cores=0-7
/proc/32320/task/32336/stat : 32336 (java) S 32314 32317 31589 0 -1 1077944384 12505 0 0 0 419 3 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195441633440 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32337] ppid=32314 vsize=27326612 memory=1548 CPUtime=1.35 cores=0-7
/proc/32320/task/32337/stat : 32337 (java) S 32314 32317 31589 0 -1 1077944384 21382 0 0 0 131 4 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195440580352 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32338] ppid=32314 vsize=27326612 memory=1728 CPUtime=0 cores=0-7
/proc/32320/task/32338/stat : 32338 (java) S 32314 32317 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140194174987360 140197393729237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
[pid=32320/tid=32339] ppid=32314 vsize=27326612 memory=8204 CPUtime=1.21 cores=0-7
/proc/32320/task/32339/stat : 32339 (java) S 32314 32317 31589 0 -1 1077944384 2814 0 0 0 53 68 0 0 20 0 20 0 509769007 27982450688 6005867 33554432000 4194304 4196468 140729788843024 140195439529008 140197393730178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33681408 140729788846791 140729788847238 140729788847238 140729788850127 0
Current cumulated CPU time of completed processes: 0.003939 s
Current children cumulated CPU time: 8844.77 s
Current children cumulated vsize: 27326612 KiB
Current children cumulated memory: 24023468 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 2522.15
CPU time (s): 8845
CPU user time (s): 8791.71
CPU system time (s): 53.2868
CPU usage (%): 350.694
Max. virtual memory (cumulated for all children) (KiB): 27439740
Max. memory (cumulated for all children) (KiB): 24024864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8791.71
system time used= 53.2868
maximum resident set size= 24023636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5509358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121689
involuntary context switches= 180414


# summary of solver processes directly reported to runsolver:
#   pid: 32317,32320
#   total CPU time (s): 8845
#   total CPU user time (s): 8791.71
#   total CPU system time (s): 53.2868

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3613 second user time and 26.7365 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-24 17:21:41
IDJOB=4405261
IDBENCH=130926
IDSOLVER=2867
FILE ID=node119/4405261-1569338542
RUNJOBID= node119-1569335938-31616
PBS_JOBID= 21705065
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si4-m4D/Subisomorphism-si4-m4Dr4-m1296-05.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405261-1569338542/watcher-4405261-1569338542 -o /var/tmp/evaluation-result-4405261-1569338542/solver-4405261-1569338542 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569335938-31616 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405261-1569338542.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 880994e2431ab8d90ac30179b2246ea4
RANDOM SEED=1435980845

node119.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.47
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.47
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.47
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.47
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:        25688792 kB
MemAvailable:   31798376 kB
Buffers:          123444 kB
Cached:          6086148 kB
SwapCached:        46744 kB
Active:          3085872 kB
Inactive:        3174096 kB
Active(anon):       4232 kB
Inactive(anon):   104076 kB
Active(file):    3081640 kB
Inactive(file):  3070020 kB
Unevictable:      107592 kB
Mlocked:          107592 kB
SwapTotal:      67108860 kB
SwapFree:       66953492 kB
Dirty:             20888 kB
Writeback:             4 kB
AnonPages:        113808 kB
Mapped:            57312 kB
Shmem:             48536 kB
Slab:             415192 kB
SReclaimable:     386384 kB
SUnreclaim:        28808 kB
KernelStack:        3408 kB
PageTables:         5644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node119 at 2019-09-24 18:03:43