Trace number 4297774

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
Choco-solver 4.0.7b par (e747e1e)SAT 1087.96 137.226

General information on the benchmark

NameSubisomorphism/
Subisomorphism-g17-g37_c18.xml
MD5SUM15f6930ab26cfa444fe93224da66a51d
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 benchmark1087.96
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints113
Number of domains1
Minimum domain size120
Maximum domain size120
Distribution of domain sizes[{"size":120,"count":64}]
Minimum variable degree3
Maximum variable degree5
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":24},{"degree":5,"count":36}]
Minimum constraint arity2
Maximum constraint arity64
Distribution of constraint arities[{"arity":2,"count":112},{"arity":64,"count":1}]
Number of extensional constraints112
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":112},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297774-1532724170.xml"  -tl '20160s' -p 8
0.11/0.17	c Choco e747e1e
0.11/0.17	c [HOME/instance-4297774-1532724170.xml, -tl, 20160s, -p, 8]
0.11/0.21	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.90/0.77	c solve instance...
1087.85/137.21	s SATISFIABLE
1087.85/137.21	v <instantiation>
1087.85/137.21	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] </list>
1087.85/137.21	v 	<values>0 112 26 46 61 79 18 113 93 15 64 19 88 34 116 101 50 25 33 55 87 11 22 42 37 4 75 108 71 96 43 104 3 84 78 27 67 110 90 89 48 60 77 31 68 114 2 102 62 49 98 100 8 57 30 16 92 95 106 109 69 115 105 41 </values>
1087.85/137.21	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297774-1532724170/watcher-4297774-1532724170 -o /tmp/evaluation-result-4297774-1532724170/solver-4297774-1532724170 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532714138-12632 --watchdog 2580 HOME/xcsp3-exec -seed 532519667 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297774-1532724170.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
Current StackSize limit: 8192 KiB

solver pid=15503, runsolver pid=15500

[startup+0.100171 s]*
/proc/loadavg: 8.17 8.18 8.25 3/200 15524
/proc/meminfo: memFree=28114704/32770624 swapFree=67108436/67108860
[pid=15503] ppid=15500 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15503/stat : 15503 (xcsp3-exec) S 15500 15503 12605 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89980131 115843072 364 33554432000 4194304 5098028 140727440193184 140727440191288 140020089062012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38916096 140727440200758 140727440200960 140727440200960 140727440203722 0
/proc/15503/statm: 28282 364 306 221 0 87 0
[pid=15505] ppid=15503 vsize=26104152 memory=27872 CPUtime=0.11 cores=0-7
/proc/15505/stat : 15505 (java) S 15503 15503 12605 0 -1 1077944320 5421 0 0 0 10 1 0 0 20 0 20 0 89980131 26730651648 6968 33554432000 4194304 4196468 140725426910192 140725426892736 140540538453751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
/proc/15505/statm: 6526038 6968 2997 1 0 6488315 0
[pid=15505/tid=15506] ppid=15503 vsize=26104152 memory=8041628417762696855 CPUtime=0.09 cores=0-7
/proc/15505/task/15506/stat : 15506 (java) R 15503 15503 12605 0 -1 4202560 3406 0 0 0 8 1 0 0 20 0 20 0 89980131 26730651648 6968 33554432000 4194304 4196468 140725426910192 140540542687024 140540538475677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15507] ppid=15503 vsize=26104152 memory=732370003016821733 CPUtime=0 cores=0-7
/proc/15505/task/15507/stat : 15507 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26730651648 6968 33554432000 4194304 4196468 140725426910192 140540461034512 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15508] ppid=15503 vsize=26104152 memory=139864679368320 CPUtime=0 cores=0-7
/proc/15505/task/15508/stat : 15508 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26730651648 6968 33554432000 4194304 4196468 140725426910192 140540459981968 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15509] ppid=15503 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15509/stat : 15509 (java) S 15503 15503 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89980132 26730651648 6968 33554432000 4194304 4196468 140725426910192 140540458928912 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15510] ppid=15503 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15510/stat : 15510 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26730651648 6968 33554432000 4194304 4196468 140725426910192 140540457876368 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15511] ppid=15503 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15511/stat : 15511 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26730651648 6968 33554432000 4194304 4196468 140725426910192 140540092897808 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15512] ppid=15503 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15505/task/15512/stat : 15512 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26730651648 6968 33554432000 4194304 4196468 140725426910192 140540091845264 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15513] ppid=15503 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15513/stat : 15513 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26730651648 6968 33554432000 4194304 4196468 140725426910192 140540090792208 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15514] ppid=15503 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15514/stat : 15514 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26730651648 6968 33554432000 4194304 4196468 140725426910192 140540089739664 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15515] ppid=15503 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15515/stat : 15515 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980133 26730651648 6968 33554432000 4194304 4196468 140725426910192 140539215084272 140540538464898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15516] ppid=15503 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15516/stat : 15516 (java) S 15503 15503 12605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89980134 26730651648 6968 33554432000 4194304 4196468 140725426910192 140539214030496 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15517] ppid=15503 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15517/stat : 15517 (java) S 15503 15503 12605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89980134 26730651648 6968 33554432000 4194304 4196468 140725426910192 140539212977392 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15518] ppid=15503 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15518/stat : 15518 (java) S 15503 15503 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89980136 26730651648 6968 33554432000 4194304 4196468 140725426910192 140539211925968 140540538472347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15519] ppid=15503 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15519/stat : 15519 (java) S 15503 15503 12605 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 20 0 89980136 26730651648 6968 33554432000 4194304 4196468 140725426910192 140539210873072 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15520] ppid=15503 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15520/stat : 15520 (java) S 15503 15503 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89980136 26730651648 6968 33554432000 4194304 4196468 140725426910192 140539209820528 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15521] ppid=15503 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15521/stat : 15521 (java) S 15503 15503 12605 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 89980137 26730651648 6968 33554432000 4194304 4196468 140725426910192 140539208767472 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15522] ppid=15503 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/15505/task/15522/stat : 15522 (java) R 15503 15503 12605 0 -1 4202560 250 0 0 0 1 0 0 0 20 0 20 0 89980137 26730651648 6968 33554432000 4194304 4196468 140725426910192 140539207714928 140540538475098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15523] ppid=15503 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15523/stat : 15523 (java) S 15503 15503 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89980137 26730651648 6968 33554432000 4194304 4196468 140725426910192 140539206663136 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15524] ppid=15503 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15505/task/15524/stat : 15524 (java) S 15503 15503 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89980137 26730651648 6968 33554432000 4194304 4196468 140725426910192 140539205610672 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29328 KiB

[startup+0.210523 s]*
/proc/loadavg: 8.17 8.18 8.25 3/200 15524
/proc/meminfo: memFree=28104640/32770624 swapFree=67108436/67108860
[pid=15503] ppid=15500 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15503/stat : 15503 (xcsp3-exec) S 15500 15503 12605 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89980131 115843072 364 33554432000 4194304 5098028 140727440193184 140727440191288 140020089062012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38916096 140727440200758 140727440200960 140727440200960 140727440203722 0
/proc/15503/statm: 28282 364 306 221 0 87 0
[pid=15505] ppid=15503 vsize=26104152 memory=39652 CPUtime=0.33 cores=0-7
/proc/15505/stat : 15505 (java) S 15503 15503 12605 0 -1 1077944320 8001 0 0 0 30 3 0 0 20 0 20 0 89980131 26730651648 9913 33554432000 4194304 4196468 140725426910192 140725426892736 140540538453751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
/proc/15505/statm: 6526038 9913 3188 1 0 6488315 0
[pid=15505/tid=15506] ppid=15503 vsize=26106268 memory=0 CPUtime=0.2 cores=0-7
/proc/15505/task/15506/stat : 15506 (java) D 15503 15503 12605 0 -1 1077944384 5121 0 0 0 18 2 0 0 20 0 20 0 89980131 26732818432 9954 33554432000 4194304 4196468 140725426910192 140540542674744 140540540729031 0 4 0 16800975 18446744072101514788 0 0 -1 4 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15507] ppid=15503 vsize=26106268 memory=732370003016821733 CPUtime=0 cores=0-7
/proc/15505/task/15507/stat : 15507 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26732818432 9954 33554432000 4194304 4196468 140725426910192 140540461034512 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15508] ppid=15503 vsize=26106268 memory=139864679368320 CPUtime=0 cores=0-7
/proc/15505/task/15508/stat : 15508 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26732818432 9954 33554432000 4194304 4196468 140725426910192 140540459981968 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15509] ppid=15503 vsize=26106268 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15509/stat : 15509 (java) S 15503 15503 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89980132 26732818432 9954 33554432000 4194304 4196468 140725426910192 140540458928912 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15510] ppid=15503 vsize=26106268 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15510/stat : 15510 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26732818432 9954 33554432000 4194304 4196468 140725426910192 140540457876368 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15511] ppid=15503 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15511/stat : 15511 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26735009792 9954 33554432000 4194304 4196468 140725426910192 140540092897808 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15512] ppid=15503 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/15505/task/15512/stat : 15512 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26735009792 9957 33554432000 4194304 4196468 140725426910192 140540091845264 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15513] ppid=15503 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15513/stat : 15513 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26735009792 9957 33554432000 4194304 4196468 140725426910192 140540090792208 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15514] ppid=15503 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15514/stat : 15514 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26735009792 9957 33554432000 4194304 4196468 140725426910192 140540089739664 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15515] ppid=15503 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15515/stat : 15515 (java) S 15503 15503 12605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89980133 26735009792 9957 33554432000 4194304 4196468 140725426910192 140539215084272 140540538464898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15516] ppid=15503 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15516/stat : 15516 (java) S 15503 15503 12605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89980134 26735009792 9957 33554432000 4194304 4196468 140725426910192 140539214030496 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15517] ppid=15503 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15517/stat : 15517 (java) S 15503 15503 12605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89980134 26735009792 9957 33554432000 4194304 4196468 140725426910192 140539212977392 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15518] ppid=15503 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15518/stat : 15518 (java) S 15503 15503 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89980136 26735009792 9957 33554432000 4194304 4196468 140725426910192 140539211925968 140540538472347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15519] ppid=15503 vsize=26108408 memory=0 CPUtime=0.02 cores=0-7
/proc/15505/task/15519/stat : 15519 (java) S 15503 15503 12605 0 -1 1077944384 636 0 0 0 2 0 0 0 20 0 20 0 89980136 26735009792 9957 33554432000 4194304 4196468 140725426910192 140539210873072 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15520] ppid=15503 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15520/stat : 15520 (java) S 15503 15503 12605 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 89980136 26735009792 9957 33554432000 4194304 4196468 140725426910192 140539209820528 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15521] ppid=15503 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15521/stat : 15521 (java) S 15503 15503 12605 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 20 0 89980137 26735009792 9957 33554432000 4194304 4196468 140725426910192 140539208767472 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15522] ppid=15503 vsize=26108408 memory=0 CPUtime=0.07 cores=0-7
/proc/15505/task/15522/stat : 15522 (java) S 15503 15503 12605 0 -1 1077944384 719 0 0 0 7 0 0 0 20 0 20 0 89980137 26735009792 9957 33554432000 4194304 4196468 140725426910192 140539207714928 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15523] ppid=15503 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15523/stat : 15523 (java) S 15503 15503 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89980137 26735009792 9957 33554432000 4194304 4196468 140725426910192 140539206663136 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15524] ppid=15503 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/15505/task/15524/stat : 15524 (java) S 15503 15503 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89980137 26735009792 9957 33554432000 4194304 4196468 140725426910192 140539205610672 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41108 KiB

[startup+0.310264 s]*
/proc/loadavg: 8.17 8.18 8.25 3/200 15524
/proc/meminfo: memFree=28098188/32770624 swapFree=67108436/67108860
[pid=15503] ppid=15500 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15503/stat : 15503 (xcsp3-exec) S 15500 15503 12605 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89980131 115843072 364 33554432000 4194304 5098028 140727440193184 140727440191288 140020089062012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38916096 140727440200758 140727440200960 140727440200960 140727440203722 0
/proc/15503/statm: 28282 364 306 221 0 87 0
[pid=15505] ppid=15503 vsize=26108408 memory=46908 CPUtime=0.52 cores=0-7
/proc/15505/stat : 15505 (java) S 15503 15503 12605 0 -1 1077944320 8915 0 0 0 48 4 0 0 20 0 20 0 89980131 26735009792 11727 33554432000 4194304 4196468 140725426910192 140725426892736 140540538453751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
/proc/15505/statm: 6527102 11727 3259 1 0 6488315 0
[pid=15505/tid=15506] ppid=15503 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15505/task/15506/stat : 15506 (java) R 15503 15503 12605 0 -1 4202560 5841 0 0 0 27 2 0 0 20 0 20 0 89980131 26735009792 11727 33554432000 4194304 4196468 140725426910192 140540542691040 140540522534238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15507] ppid=15503 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15507/stat : 15507 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26735009792 11727 33554432000 4194304 4196468 140725426910192 140540461034512 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15508] ppid=15503 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15508/stat : 15508 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26735009792 11727 33554432000 4194304 4196468 140725426910192 140540459981968 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15509] ppid=15503 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15509/stat : 15509 (java) S 15503 15503 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89980132 26735009792 11727 33554432000 4194304 4196468 140725426910192 140540458928912 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15510] ppid=15503 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15510/stat : 15510 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26735009792 11727 33554432000 4194304 4196468 140725426910192 140540457876368 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15511] ppid=15503 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/15505/task/15511/stat : 15511 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26735009792 11727 33554432000 4194304 4196468 140725426910192 140540092897808 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15512] ppid=15503 vsize=26108408 memory=139864536347567 CPUtime=0 cores=0-7
/proc/15505/task/15512/stat : 15512 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26735009792 11727 33554432000 4194304 4196468 140725426910192 140540091845264 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15513] ppid=15503 vsize=26108408 memory=139864536349872 CPUtime=0 cores=0-7
/proc/15505/task/15513/stat : 15513 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26735009792 11727 33554432000 4194304 4196468 140725426910192 140540090792208 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15514] ppid=15503 vsize=26108408 memory=139864536352176 CPUtime=0 cores=0-7
/proc/15505/task/15514/stat : 15514 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26735009792 11727 33554432000 4194304 4196468 140725426910192 140540089739664 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15515] ppid=15503 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15515/stat : 15515 (java) S 15503 15503 12605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89980133 26735009792 11727 33554432000 4194304 4196468 140725426910192 140539215084272 140540538464898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15516] ppid=15503 vsize=26108408 memory=279729072711312 CPUtime=0 cores=0-7
/proc/15505/task/15516/stat : 15516 (java) S 15503 15503 12605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89980134 26735009792 11727 33554432000 4194304 4196468 140725426910192 140539214030496 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15517] ppid=15503 vsize=26108408 memory=279729072718224 CPUtime=0 cores=0-7
/proc/15505/task/15517/stat : 15517 (java) S 15503 15503 12605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89980134 26735009792 11727 33554432000 4194304 4196468 140725426910192 140539212977392 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15518] ppid=15503 vsize=26108408 memory=279729072659504 CPUtime=0 cores=0-7
/proc/15505/task/15518/stat : 15518 (java) S 15503 15503 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89980136 26735009792 11727 33554432000 4194304 4196468 140725426910192 140539211925968 140540538472347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15519] ppid=15503 vsize=26108408 memory=279729072732048 CPUtime=0.05 cores=0-7
/proc/15505/task/15519/stat : 15519 (java) S 15503 15503 12605 0 -1 1077944384 723 0 0 0 5 0 0 0 20 0 20 0 89980136 26735009792 11727 33554432000 4194304 4196468 140725426910192 140539210873072 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15520] ppid=15503 vsize=26108408 memory=279729072738960 CPUtime=0 cores=0-7
/proc/15505/task/15520/stat : 15520 (java) S 15503 15503 12605 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 20 0 89980136 26735009792 11727 33554432000 4194304 4196468 140725426910192 140539209820528 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15521] ppid=15503 vsize=26108408 memory=279729072736656 CPUtime=0.01 cores=0-7
/proc/15505/task/15521/stat : 15521 (java) S 15503 15503 12605 0 -1 1077944384 152 0 0 0 1 0 0 0 20 0 20 0 89980137 26735009792 11727 33554432000 4194304 4196468 140725426910192 140539208767472 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15522] ppid=15503 vsize=26108408 memory=279729072752816 CPUtime=0.12 cores=0-7
/proc/15505/task/15522/stat : 15522 (java) S 15503 15503 12605 0 -1 1077944384 804 0 0 0 12 0 0 0 20 0 20 0 89980137 26735009792 11727 33554432000 4194304 4196468 140725426910192 140539207714928 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15523] ppid=15503 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15505/task/15523/stat : 15523 (java) S 15503 15503 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89980137 26735009792 11727 33554432000 4194304 4196468 140725426910192 140539206663136 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15524] ppid=15503 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/15505/task/15524/stat : 15524 (java) S 15503 15503 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89980137 26735009792 11727 33554432000 4194304 4196468 140725426910192 140539205610672 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48364 KiB

[startup+0.706238 s]
/proc/loadavg: 8.17 8.18 8.25 3/200 15524
/proc/meminfo: memFree=28079468/32770624 swapFree=67108436/67108860
[pid=15503] ppid=15500 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15503/stat : 15503 (xcsp3-exec) S 15500 15503 12605 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89980131 115843072 364 33554432000 4194304 5098028 140727440193184 140727440191288 140020089062012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38916096 140727440200758 140727440200960 140727440200960 140727440203722 0
/proc/15503/statm: 28282 364 306 221 0 87 0
[pid=15505] ppid=15503 vsize=26110532 memory=120664 CPUtime=1.9 cores=0-7
/proc/15505/stat : 15505 (java) S 15503 15503 12605 0 -1 1077944320 13153 0 0 0 182 8 0 0 20 0 20 0 89980131 26737184768 30166 33554432000 4194304 4196468 140725426910192 140725426892736 140540538453751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
/proc/15505/statm: 6527633 30166 3366 1 0 6488827 0
[pid=15505/tid=15506] ppid=15503 vsize=26110532 memory=279729073047744 CPUtime=0.68 cores=0-7
/proc/15505/task/15506/stat : 15506 (java) R 15503 15503 12605 0 -1 4202560 6613 0 0 0 64 4 0 0 20 0 20 0 89980131 26737184768 30166 33554432000 4194304 4196468 140725426910192 140540542690672 140540538475098 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15507] ppid=15503 vsize=26110532 memory=5752 CPUtime=0 cores=0-7
/proc/15505/task/15507/stat : 15507 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26737184768 30166 33554432000 4194304 4196468 140725426910192 140540461034512 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15508] ppid=15503 vsize=26110532 memory=4588 CPUtime=0 cores=0-7
/proc/15505/task/15508/stat : 15508 (java) S 15503 15503 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89980132 26737184768 30166 33554432000 4194304 4196468 140725426910192 140540459981968 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15509] ppid=15503 vsize=26110532 memory=1612 CPUtime=0 cores=0-7
/proc/15505/task/15509/stat : 15509 (java) S 15503 15503 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89980132 26737184768 30166 33554432000 4194304 4196468 140725426910192 140540458928912 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0

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

[pid=15505/tid=15522] ppid=15503 vsize=26643044 memory=25916 CPUtime=0.7 cores=0-7
/proc/15505/task/15522/stat : 15522 (java) S 15503 15503 12605 0 -1 1077944384 7441 0 0 0 68 2 0 0 20 0 28 0 89980137 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539207714928 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15523] ppid=15503 vsize=26643044 memory=1296 CPUtime=0 cores=0-7
/proc/15505/task/15523/stat : 15523 (java) S 15503 15503 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89980137 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539206663136 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15524] ppid=15503 vsize=26643044 memory=2412 CPUtime=0.02 cores=0-7
/proc/15505/task/15524/stat : 15524 (java) S 15503 15503 12605 0 -1 1077944384 861 0 0 0 1 1 0 0 20 0 28 0 89980137 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539205610672 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15525] ppid=15503 vsize=26643044 memory=6791534058613427641 CPUtime=133.81 cores=0-7
/proc/15505/task/15525/stat : 15525 (java) R 15503 15503 12605 0 -1 4202560 1165 0 0 0 13381 0 0 0 20 0 28 0 89980209 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539196824656 140540144997620 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15526] ppid=15503 vsize=26643044 memory=4588 CPUtime=133.69 cores=0-7
/proc/15505/task/15526/stat : 15526 (java) R 15503 15503 12605 0 -1 4202560 908 0 0 0 13368 1 0 0 20 0 28 0 89980209 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539195773232 140540144997757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15527] ppid=15503 vsize=26643044 memory=1612 CPUtime=133.68 cores=0-7
/proc/15505/task/15527/stat : 15527 (java) R 15503 15503 12605 0 -1 1077944384 4228 0 0 0 13368 0 0 0 20 0 28 0 89980209 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539194720096 140540538463957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15528] ppid=15503 vsize=26643044 memory=1228 CPUtime=133.54 cores=0-7
/proc/15505/task/15528/stat : 15528 (java) R 15503 15503 12605 0 -1 4202560 2564 0 0 0 13353 1 0 0 20 0 28 0 89980209 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539193670320 140540144997620 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15529] ppid=15503 vsize=26643044 memory=1852 CPUtime=134.1 cores=0-7
/proc/15505/task/15529/stat : 15529 (java) R 15503 15503 12605 0 -1 4202560 2501 0 0 0 13409 1 0 0 20 0 28 0 89980209 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539192614576 140540143912156 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15530] ppid=15503 vsize=26643044 memory=872 CPUtime=133.93 cores=0-7
/proc/15505/task/15530/stat : 15530 (java) R 15503 15503 12605 0 -1 4202560 965 0 0 0 13393 0 0 0 20 0 28 0 89980209 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539191562032 140540144997620 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15531] ppid=15503 vsize=26643044 memory=8068 CPUtime=133.88 cores=0-7
/proc/15505/task/15531/stat : 15531 (java) S 15503 15503 12605 0 -1 1077944384 807 0 0 0 13388 0 0 0 20 0 28 0 89980209 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539190510000 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15532] ppid=15503 vsize=26643044 memory=11648 CPUtime=134.5 cores=0-7
/proc/15505/task/15532/stat : 15532 (java) R 15503 15503 12605 0 -1 4202560 2204 0 0 0 13449 1 0 0 20 0 28 0 89980209 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539189457456 140540145018368 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
Current children cumulated CPU time: 1078.37 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 149600 KiB

[startup+136.802 s]
/proc/loadavg: 8.23 8.25 8.27 10/207 15532
/proc/meminfo: memFree=27995504/32770624 swapFree=67108436/67108860
[pid=15503] ppid=15500 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15503/stat : 15503 (xcsp3-exec) S 15500 15503 12605 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89980131 115843072 364 33554432000 4194304 5098028 140727440193184 140727440191288 140020089062012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38916096 140727440200758 140727440200960 140727440200960 140727440203722 0
/proc/15503/statm: 28282 364 306 221 0 87 0
[pid=15505] ppid=15503 vsize=26643044 memory=148144 CPUtime=1084.68 cores=0-7
/proc/15505/stat : 15505 (java) S 15503 15503 12605 0 -1 1077944320 75174 0 0 0 108423 45 0 0 20 0 28 0 89980131 27282477056 37036 33554432000 4194304 4196468 140725426910192 140725426892736 140540538453751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
/proc/15505/statm: 6660761 37036 3431 1 0 6621955 0
[pid=15505/tid=15506] ppid=15503 vsize=26643044 memory=1456 CPUtime=0.74 cores=0-7
/proc/15505/task/15506/stat : 15506 (java) S 15503 15503 12605 0 -1 1077944384 6693 0 0 0 70 4 0 0 20 0 28 0 89980131 27282477056 37036 33554432000 4194304 4196468 140725426910192 140540542694528 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15507] ppid=15503 vsize=26643044 memory=148144 CPUtime=0.1 cores=0-7
/proc/15505/task/15507/stat : 15507 (java) S 15503 15503 12605 0 -1 1077944384 3430 0 0 0 8 2 0 0 20 0 28 0 89980132 27282477056 37036 33554432000 4194304 4196468 140725426910192 140540461034512 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15508] ppid=15503 vsize=26643044 memory=6791534058613427641 CPUtime=0.09 cores=0-7
/proc/15505/task/15508/stat : 15508 (java) S 15503 15503 12605 0 -1 1077944384 986 0 0 0 7 2 0 0 20 0 28 0 89980132 27282477056 37036 33554432000 4194304 4196468 140725426910192 140540459981968 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15509] ppid=15503 vsize=26643044 memory=147616 CPUtime=0.08 cores=0-7
/proc/15505/task/15509/stat : 15509 (java) S 15503 15503 12605 0 -1 1077944384 1313 0 0 0 7 1 0 0 20 0 28 0 89980132 27282477056 37036 33554432000 4194304 4196468 140725426910192 140540458928912 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15510] ppid=15503 vsize=26643044 memory=1796 CPUtime=0.1 cores=0-7
/proc/15505/task/15510/stat : 15510 (java) S 15503 15503 12605 0 -1 1077944384 1380 0 0 0 8 2 0 0 20 0 28 0 89980132 27282477056 37036 33554432000 4194304 4196468 140725426910192 140540457876368 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15511] ppid=15503 vsize=26643044 memory=916 CPUtime=0.09 cores=0-7
/proc/15505/task/15511/stat : 15511 (java) S 15503 15503 12605 0 -1 1077944384 1565 0 0 0 7 2 0 0 20 0 28 0 89980132 27282477056 37036 33554432000 4194304 4196468 140725426910192 140540092897808 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15512] ppid=15503 vsize=26643044 memory=4740 CPUtime=0.09 cores=0-7
/proc/15505/task/15512/stat : 15512 (java) S 15503 15503 12605 0 -1 1077944384 1365 0 0 0 7 2 0 0 20 0 28 0 89980132 27282477056 37036 33554432000 4194304 4196468 140725426910192 140540091845264 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15513] ppid=15503 vsize=26643044 memory=4104 CPUtime=0.09 cores=0-7
/proc/15505/task/15513/stat : 15513 (java) S 15503 15503 12605 0 -1 1077944384 1219 0 0 0 7 2 0 0 20 0 28 0 89980132 27282477056 37036 33554432000 4194304 4196468 140725426910192 140540090792208 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15514] ppid=15503 vsize=26643044 memory=1404 CPUtime=0.09 cores=0-7
/proc/15505/task/15514/stat : 15514 (java) S 15503 15503 12605 0 -1 1077944384 1059 0 0 0 7 2 0 0 20 0 28 0 89980132 27282477056 37036 33554432000 4194304 4196468 140725426910192 140540089739664 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15515] ppid=15503 vsize=26643044 memory=4132 CPUtime=0.1 cores=0-7
/proc/15505/task/15515/stat : 15515 (java) S 15503 15503 12605 0 -1 1077944384 3842 0 0 0 8 2 0 0 20 0 28 0 89980133 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539215084272 140540538464898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15516] ppid=15503 vsize=26643044 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/15505/task/15516/stat : 15516 (java) S 15503 15503 12605 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 89980134 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539214030496 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15517] ppid=15503 vsize=26643044 memory=1456 CPUtime=0 cores=0-7
/proc/15505/task/15517/stat : 15517 (java) S 15503 15503 12605 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 89980134 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539212977392 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15518] ppid=15503 vsize=26643044 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/15505/task/15518/stat : 15518 (java) S 15503 15503 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89980136 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539211925968 140540538472347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15519] ppid=15503 vsize=26643044 memory=5752 CPUtime=1.51 cores=0-7
/proc/15505/task/15519/stat : 15519 (java) S 15503 15503 12605 0 -1 1077944384 8283 0 0 0 149 2 0 0 20 0 28 0 89980136 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539210873072 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15520] ppid=15503 vsize=26643044 memory=4588 CPUtime=1.54 cores=0-7
/proc/15505/task/15520/stat : 15520 (java) S 15503 15503 12605 0 -1 1077944384 7685 0 0 0 152 2 0 0 20 0 28 0 89980136 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539209820528 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15521] ppid=15503 vsize=26643044 memory=1612 CPUtime=1.65 cores=0-7
/proc/15505/task/15521/stat : 15521 (java) S 15503 15503 12605 0 -1 1077944384 11083 0 0 0 162 3 0 0 20 0 28 0 89980137 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539208767472 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15522] ppid=15503 vsize=26643044 memory=1228 CPUtime=0.7 cores=0-7
/proc/15505/task/15522/stat : 15522 (java) S 15503 15503 12605 0 -1 1077944384 7441 0 0 0 68 2 0 0 20 0 28 0 89980137 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539207714928 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15523] ppid=15503 vsize=26643044 memory=1852 CPUtime=0 cores=0-7
/proc/15505/task/15523/stat : 15523 (java) S 15503 15503 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89980137 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539206663136 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15524] ppid=15503 vsize=26643044 memory=872 CPUtime=0.02 cores=0-7
/proc/15505/task/15524/stat : 15524 (java) S 15503 15503 12605 0 -1 1077944384 877 0 0 0 1 1 0 0 20 0 28 0 89980137 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539205610672 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15525] ppid=15503 vsize=26643044 memory=8068 CPUtime=134.6 cores=0-7
/proc/15505/task/15525/stat : 15525 (java) R 15503 15503 12605 0 -1 4202560 1235 0 0 0 13460 0 0 0 20 0 28 0 89980209 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539196824792 140540144997689 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15526] ppid=15503 vsize=26643044 memory=11648 CPUtime=134.48 cores=0-7
/proc/15505/task/15526/stat : 15526 (java) R 15503 15503 12605 0 -1 4202560 914 0 0 0 13447 1 0 0 20 0 28 0 89980209 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539195773368 140540145018378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15527] ppid=15503 vsize=26643044 memory=796 CPUtime=134.46 cores=0-7
/proc/15505/task/15527/stat : 15527 (java) R 15503 15503 12605 0 -1 4202560 4273 0 0 0 13446 0 0 0 20 0 28 0 89980209 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539194720232 140540145018843 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15528] ppid=15503 vsize=26643044 memory=1388 CPUtime=134.33 cores=0-7
/proc/15505/task/15528/stat : 15528 (java) R 15503 15503 12605 0 -1 4202560 2627 0 0 0 13432 1 0 0 20 0 28 0 89980209 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539193670208 140540145018368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15529] ppid=15503 vsize=26643044 memory=1136 CPUtime=134.89 cores=0-7
/proc/15505/task/15529/stat : 15529 (java) R 15503 15503 12605 0 -1 4202560 2561 0 0 0 13488 1 0 0 20 0 28 0 89980209 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539192614712 140540145018280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15530] ppid=15503 vsize=26643044 memory=6791534058613427641 CPUtime=134.72 cores=0-7
/proc/15505/task/15530/stat : 15530 (java) R 15503 15503 12605 0 -1 4202560 970 0 0 0 13472 0 0 0 20 0 28 0 89980209 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539191562168 140540144997860 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15531] ppid=15503 vsize=26643044 memory=5752 CPUtime=134.67 cores=0-7
/proc/15505/task/15531/stat : 15531 (java) R 15503 15503 12605 0 -1 4202560 811 0 0 0 13467 0 0 0 20 0 28 0 89980209 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539190509888 140540145018717 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15532] ppid=15503 vsize=26643044 memory=4588 CPUtime=135.29 cores=0-7
/proc/15505/task/15532/stat : 15532 (java) R 15503 15503 12605 0 -1 4202560 2222 0 0 0 13528 1 0 0 20 0 28 0 89980209 27282477056 37036 33554432000 4194304 4196468 140725426910192 140539189457592 140540144997672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
Current children cumulated CPU time: 1084.68 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 149600 KiB

[startup+137.202 s]
/proc/loadavg: 8.23 8.25 8.27 9/207 15532
/proc/meminfo: memFree=27996020/32770624 swapFree=67108436/67108860
[pid=15503] ppid=15500 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15503/stat : 15503 (xcsp3-exec) S 15500 15503 12605 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89980131 115843072 364 33554432000 4194304 5098028 140727440193184 140727440191288 140020089062012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38916096 140727440200758 140727440200960 140727440200960 140727440203722 0
/proc/15503/statm: 28282 364 306 221 0 87 0
[pid=15505] ppid=15503 vsize=26643044 memory=147652 CPUtime=1087.85 cores=0-7
/proc/15505/stat : 15505 (java) S 15503 15503 12605 0 -1 1077944320 75516 0 0 0 108740 45 0 0 20 0 28 0 89980131 27282477056 36913 33554432000 4194304 4196468 140725426910192 140725426892736 140540538453751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
/proc/15505/statm: 6660761 36913 3431 1 0 6621955 0
[pid=15505/tid=15506] ppid=15503 vsize=26643044 memory=288230596050944315 CPUtime=0.74 cores=0-7
/proc/15505/task/15506/stat : 15506 (java) S 15503 15503 12605 0 -1 1077944384 6693 0 0 0 70 4 0 0 20 0 28 0 89980131 27282477056 36913 33554432000 4194304 4196468 140725426910192 140540542694528 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15507] ppid=15503 vsize=26643044 memory=15823295995971307 CPUtime=0.1 cores=0-7
/proc/15505/task/15507/stat : 15507 (java) S 15503 15503 12605 0 -1 1077944384 3438 0 0 0 8 2 0 0 20 0 28 0 89980132 27282477056 36913 33554432000 4194304 4196468 140725426910192 140540461034512 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15508] ppid=15503 vsize=26643044 memory=149152 CPUtime=0.09 cores=0-7
/proc/15505/task/15508/stat : 15508 (java) S 15503 15503 12605 0 -1 1077944384 996 0 0 0 7 2 0 0 20 0 28 0 89980132 27282477056 36913 33554432000 4194304 4196468 140725426910192 140540459981968 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15509] ppid=15503 vsize=26643044 memory=288230574492221466 CPUtime=0.08 cores=0-7
/proc/15505/task/15509/stat : 15509 (java) S 15503 15503 12605 0 -1 1077944384 1318 0 0 0 7 1 0 0 20 0 28 0 89980132 27282477056 36913 33554432000 4194304 4196468 140725426910192 140540458928912 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15510] ppid=15503 vsize=26643044 memory=288230596050944315 CPUtime=0.1 cores=0-7
/proc/15505/task/15510/stat : 15510 (java) S 15503 15503 12605 0 -1 1077944384 1412 0 0 0 8 2 0 0 20 0 28 0 89980132 27282477056 36913 33554432000 4194304 4196468 140725426910192 140540457876368 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15511] ppid=15503 vsize=26643044 memory=15823295995971307 CPUtime=0.09 cores=0-7
/proc/15505/task/15511/stat : 15511 (java) S 15503 15503 12605 0 -1 1077944384 1583 0 0 0 7 2 0 0 20 0 28 0 89980132 27282477056 36913 33554432000 4194304 4196468 140725426910192 140540092897808 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15512] ppid=15503 vsize=26643044 memory=149152 CPUtime=0.1 cores=0-7
/proc/15505/task/15512/stat : 15512 (java) S 15503 15503 12605 0 -1 1077944384 1382 0 0 0 8 2 0 0 20 0 28 0 89980132 27282477056 36913 33554432000 4194304 4196468 140725426910192 140540091845264 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15513] ppid=15503 vsize=26643044 memory=6791534058613427641 CPUtime=0.09 cores=0-7
/proc/15505/task/15513/stat : 15513 (java) S 15503 15503 12605 0 -1 1077944384 1225 0 0 0 7 2 0 0 20 0 28 0 89980132 27282477056 36913 33554432000 4194304 4196468 140725426910192 140540090792208 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15514] ppid=15503 vsize=26643044 memory=-7003737579269690708 CPUtime=0.09 cores=0-7
/proc/15505/task/15514/stat : 15514 (java) S 15503 15503 12605 0 -1 1077944384 1173 0 0 0 7 2 0 0 20 0 28 0 89980132 27282477056 36913 33554432000 4194304 4196468 140725426910192 140540089739664 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15515] ppid=15503 vsize=26643044 memory=1456 CPUtime=0.1 cores=0-7
/proc/15505/task/15515/stat : 15515 (java) S 15503 15503 12605 0 -1 1077944384 3942 0 0 0 8 2 0 0 20 0 28 0 89980133 27282477056 36913 33554432000 4194304 4196468 140725426910192 140539215084272 140540538464898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15516] ppid=15503 vsize=26643044 memory=154768 CPUtime=0 cores=0-7
/proc/15505/task/15516/stat : 15516 (java) S 15503 15503 12605 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 89980134 27282477056 36913 33554432000 4194304 4196468 140725426910192 140539214030496 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15517] ppid=15503 vsize=26643044 memory=1404 CPUtime=0 cores=0-7
/proc/15505/task/15517/stat : 15517 (java) S 15503 15503 12605 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 89980134 27282477056 36913 33554432000 4194304 4196468 140725426910192 140539212977392 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15518] ppid=15503 vsize=26643044 memory=3468 CPUtime=0 cores=0-7
/proc/15505/task/15518/stat : 15518 (java) S 15503 15503 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89980136 27282477056 36913 33554432000 4194304 4196468 140725426910192 140539211925968 140540538472347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15519] ppid=15503 vsize=26643044 memory=148144 CPUtime=1.51 cores=0-7
/proc/15505/task/15519/stat : 15519 (java) S 15503 15503 12605 0 -1 1077944384 8285 0 0 0 149 2 0 0 20 0 28 0 89980136 27282477056 36913 33554432000 4194304 4196468 140725426910192 140539210873072 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15520] ppid=15503 vsize=26643044 memory=840 CPUtime=1.54 cores=0-7
/proc/15505/task/15520/stat : 15520 (java) S 15503 15503 12605 0 -1 1077944384 7687 0 0 0 152 2 0 0 20 0 28 0 89980136 27282477056 36913 33554432000 4194304 4196468 140725426910192 140539209820528 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15521] ppid=15503 vsize=26643044 memory=1796 CPUtime=1.65 cores=0-7
/proc/15505/task/15521/stat : 15521 (java) S 15503 15503 12605 0 -1 1077944384 11085 0 0 0 162 3 0 0 20 0 28 0 89980137 27282477056 36913 33554432000 4194304 4196468 140725426910192 140539208767472 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15522] ppid=15503 vsize=26643044 memory=916 CPUtime=0.7 cores=0-7
/proc/15505/task/15522/stat : 15522 (java) S 15503 15503 12605 0 -1 1077944384 7444 0 0 0 68 2 0 0 20 0 28 0 89980137 27282477056 36913 33554432000 4194304 4196468 140725426910192 140539207714928 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15523] ppid=15503 vsize=26643044 memory=4740 CPUtime=0 cores=0-7
/proc/15505/task/15523/stat : 15523 (java) S 15503 15503 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89980137 27282477056 36913 33554432000 4194304 4196468 140725426910192 140539206663136 140540538463957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15524] ppid=15503 vsize=26643044 memory=4104 CPUtime=0.02 cores=0-7
/proc/15505/task/15524/stat : 15524 (java) S 15503 15503 12605 0 -1 1077944384 877 0 0 0 1 1 0 0 20 0 28 0 89980137 27282477056 36913 33554432000 4194304 4196468 140725426910192 140539205610672 140540538464898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15525] ppid=15503 vsize=26643044 memory=1404 CPUtime=135 cores=0-7
/proc/15505/task/15525/stat : 15525 (java) R 15503 15503 12605 0 -1 4202560 1235 0 0 0 13500 0 0 0 20 0 28 0 89980209 27282477056 36913 33554432000 4194304 4196468 140725426910192 140539196824544 140540145018588 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15526] ppid=15503 vsize=26643044 memory=3472 CPUtime=134.87 cores=0-7
/proc/15505/task/15526/stat : 15526 (java) R 15503 15503 12605 0 -1 4202560 917 0 0 0 13486 1 0 0 20 0 28 0 89980209 27282477056 36913 33554432000 4194304 4196468 140725426910192 140539195773368 140540145018280 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15527] ppid=15503 vsize=26643044 memory=1456 CPUtime=134.85 cores=0-7
/proc/15505/task/15527/stat : 15527 (java) R 15503 15503 12605 0 -1 4202560 4278 0 0 0 13485 0 0 0 20 0 28 0 89980209 27282477056 36913 33554432000 4194304 4196468 140725426910192 140539194720312 140540145411770 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15528] ppid=15503 vsize=26643044 memory=147616 CPUtime=134.73 cores=0-7
/proc/15505/task/15528/stat : 15528 (java) R 15503 15503 12605 0 -1 4202560 2630 0 0 0 13472 1 0 0 20 0 28 0 89980209 27282477056 36913 33554432000 4194304 4196468 140725426910192 140539193667768 140540138302192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15529] ppid=15503 vsize=26643044 memory=6791534058613427641 CPUtime=135.29 cores=0-7
/proc/15505/task/15529/stat : 15529 (java) R 15503 15503 12605 0 -1 4202560 2564 0 0 0 13528 1 0 0 20 0 28 0 89980209 27282477056 36913 33554432000 4194304 4196468 140725426910192 140539192614712 140540143910321 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15530] ppid=15503 vsize=26643044 memory=-7003737579269690708 CPUtime=135.11 cores=0-7
/proc/15505/task/15530/stat : 15530 (java) R 15503 15503 12605 0 -1 4202560 975 0 0 0 13511 0 0 0 20 0 28 0 89980209 27282477056 36913 33554432000 4194304 4196468 140725426910192 140539191564888 140540144997837 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15531] ppid=15503 vsize=26643044 memory=2412 CPUtime=135.07 cores=0-7
/proc/15505/task/15531/stat : 15531 (java) R 15503 15503 12605 0 -1 4202560 811 0 0 0 13507 0 0 0 20 0 28 0 89980209 27282477056 36913 33554432000 4194304 4196468 140725426910192 140539190513296 140540145018360 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
[pid=15505/tid=15532] ppid=15503 vsize=26643044 memory=1784 CPUtime=135.69 cores=0-7
/proc/15505/task/15532/stat : 15532 (java) R 15503 15503 12605 0 -1 4202560 2226 0 0 0 13568 1 0 0 20 0 28 0 89980209 27282477056 36913 33554432000 4194304 4196468 140725426910192 140539189457424 140540145550052 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21065728 140725426918529 140725426918701 140725426918701 140725426921423 0
Current children cumulated CPU time: 1087.85 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 149108 KiB

Child status: 0
Real time (s): 137.226
CPU time (s): 1087.96
CPU user time (s): 1087.5
CPU system time (s): 0.460622
CPU usage (%): 792.824
Max. virtual memory (cumulated for all children) (KiB): 26756172
Max. memory (cumulated for all children) (KiB): 259164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1087.5
system time used= 0.460622
maximum resident set size= 257712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77732
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11886
involuntary context switches= 12297


# summary of solver processes directly reported to runsolver:
#   pid: 15503
#   total CPU time (s): 1087.96
#   total CPU user time (s): 1087.5
#   total CPU system time (s): 0.460622

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.56212 second user time and 1.26036 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-27 22:42:50
IDJOB=4297774
IDBENCH=141505
IDSOLVER=2760
FILE ID=node137/4297774-1532724170
RUNJOBID= node137-1532714138-12632
PBS_JOBID= 21022323
Free space on /tmp= 48160 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Subisomorphism/Subisomorphism-g17-g37_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297774-1532724170/watcher-4297774-1532724170 -o /tmp/evaluation-result-4297774-1532724170/solver-4297774-1532724170 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532714138-12632 --watchdog 2580  HOME/xcsp3-exec -seed 532519667 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297774-1532724170.xml

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

MD5SUM BENCH= 15f6930ab26cfa444fe93224da66a51d
RANDOM SEED=532519667

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28132752 kB
MemAvailable:   31928204 kB
Buffers:          157360 kB
Cached:          3872508 kB
SwapCached:           32 kB
Active:          1797140 kB
Inactive:        2290764 kB
Active(anon):       5268 kB
Inactive(anon):    80064 kB
Active(file):    1791872 kB
Inactive(file):  2210700 kB
Unevictable:        7424 kB
Mlocked:            7424 kB
SwapTotal:      67108860 kB
SwapFree:       67108436 kB
Dirty:             21680 kB
Writeback:             0 kB
AnonPages:        174824 kB
Mapped:            39956 kB
Shmem:             25052 kB
Slab:             245208 kB
SReclaimable:     217428 kB
SUnreclaim:        27780 kB
KernelStack:        3696 kB
PageTables:         4864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48136 MiB
End job on node137 at 2018-07-27 22:45:07