Trace number 4398865

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 2019-09-16SAT 4.95714 1.71668

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si6-bvg/
Subisomorphism-si6-b09-m200-08.xml
MD5SUM7f9c41aacca1e0b30cdd7db3c30aaf94
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.033514
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of constraints517
Number of domains1
Minimum domain size200
Maximum domain size200
Distribution of domain sizes[{"size":200,"count":120}]
Minimum variable degree5
Maximum variable degree10
Distribution of variable degrees[{"degree":5,"count":2},{"degree":6,"count":4},{"degree":7,"count":4},{"degree":8,"count":4},{"degree":9,"count":2},{"degree":10,"count":104}]
Minimum constraint arity2
Maximum constraint arity120
Distribution of constraint arities[{"arity":2,"count":516},{"arity":120,"count":1}]
Number of extensional constraints516
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":516},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4398865-1568698229.xml"  -tl '2520s' -p 4
0.12/0.20	c Choco e747e1e
0.12/0.20	c [HOME/instance-4398865-1568698229.xml, -tl, 2520s, -p, 4]
0.34/0.24	c 4 solvers in parallel
0.34/0.31	c parse instance...
2.78/1.16	c solve instance...
4.59/1.70	s SATISFIABLE
4.59/1.70	v <instantiation>
4.59/1.70	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] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] </list>
4.59/1.70	v 	<values>0 130 134 137 180 13 29 63 104 185 41 26 142 1 143 65 83 135 97 94 32 89 189 42 133 115 197 57 129 111 92 187 164 24 183 9 171 87 5 58 147 172 105 82 14 114 188 113 91 161 139 98 120 123 101 144 25 152 90 49 95 106 124 72 79 167 12 112 75 103 146 18 162 50 100 23 35 53 11 64 166 99 70 74 148 3 33 19 149 122 126 96 181 156 169 36 131 195 128 78 150 151 88 71 193 157 191 20 6 30 192 160 2 179 153 85 110 56 138 86 </values>
4.59/1.70	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: 16375 MiB (10451 MiB free)
  memory of node 1: 16384 MiB (15436 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398865-1568698229/watcher-4398865-1568698229 -o /tmp/evaluation-result-4398865-1568698229/solver-4398865-1568698229 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568694541-4848 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1085888638 HOME/instance-4398865-1568698229.xml 

running on 4 cores: 4-7

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


[startup+0.100143 s]*
/proc/loadavg: 8.27 8.61 8.35 3/229 14541
/proc/meminfo: memFree=26494072/32770688 swapFree=66961208/67108860
[pid=14525] ppid=14522 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/14525/stat : 14525 (xcsp3-exec) S 14522 14525 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445764607 115843072 362 33554432000 4194304 5098028 140726252712240 140726252710344 139822157783676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17190912 140726252721018 140726252721261 140726252721261 140726252724170 0
/proc/14525/statm: 28282 362 304 221 0 87 0
[pid=14527] ppid=14525 vsize=15144776 memory=27624 CPUtime=0.12 cores=4-7
/proc/14527/stat : 14527 (java) S 14525 14525 4816 0 -1 1077944320 5861 0 0 0 11 1 0 0 20 0 15 0 445764607 15508250624 6906 33554432000 4194304 4196468 140735284992320 140735284974864 140538544840439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
/proc/14527/statm: 3786194 6906 3119 1 0 3748377 0
[pid=14527/tid=14528] ppid=14525 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=4-7
/proc/14527/task/14528/stat : 14528 (java) R 14525 14525 4816 0 -1 4202560 3724 0 0 0 9 0 0 0 20 0 15 0 445764608 15508250624 6906 33554432000 4194304 4196468 140735284992320 140538549061336 140538544862365 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14529] ppid=14525 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=4-7
/proc/14527/task/14529/stat : 14529 (java) S 14525 14525 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445764608 15508250624 6906 33554432000 4194304 4196468 140735284992320 140538512398608 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14530] ppid=14525 vsize=15144776 memory=140505254438528 CPUtime=0 cores=4-7
/proc/14527/task/14530/stat : 14530 (java) S 14525 14525 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445764608 15508250624 6906 33554432000 4194304 4196468 140735284992320 140538135898512 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14531] ppid=14525 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14531/stat : 14531 (java) S 14525 14525 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445764608 15508250624 6906 33554432000 4194304 4196468 140735284992320 140538134845968 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14532] ppid=14525 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/14527/task/14532/stat : 14532 (java) S 14525 14525 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445764608 15508250624 6906 33554432000 4194304 4196468 140735284992320 140538133793424 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14533] ppid=14525 vsize=15144776 memory=140505254438528 CPUtime=0 cores=4-7
/proc/14527/task/14533/stat : 14533 (java) S 14525 14525 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445764610 15508250624 6906 33554432000 4194304 4196468 140735284992320 140538013071856 140538544851586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14534] ppid=14525 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/14527/task/14534/stat : 14534 (java) S 14525 14525 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445764610 15508250624 6906 33554432000 4194304 4196468 140735284992320 140538012018080 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14535] ppid=14525 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14535/stat : 14535 (java) S 14525 14525 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445764611 15508250624 6906 33554432000 4194304 4196468 140735284992320 140538010965488 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14536] ppid=14525 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14536/stat : 14536 (java) S 14525 14525 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445764613 15508250624 6906 33554432000 4194304 4196468 140735284992320 140538009914064 140538544859035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14537] ppid=14525 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14537/stat : 14537 (java) S 14525 14525 4816 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 445764613 15508250624 6906 33554432000 4194304 4196468 140735284992320 140538008860656 140538544851586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14538] ppid=14525 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/14527/task/14538/stat : 14538 (java) S 14525 14525 4816 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 445764613 15508250624 6906 33554432000 4194304 4196468 140735284992320 140538007808112 140538544851586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14539] ppid=14525 vsize=15144776 memory=140505254438528 CPUtime=0.01 cores=4-7
/proc/14527/task/14539/stat : 14539 (java) R 14525 14525 4816 0 -1 4202560 411 0 0 0 1 0 0 0 20 0 15 0 445764613 15508250624 6906 33554432000 4194304 4196468 140735284992320 140538006755568 140538537937275 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14540] ppid=14525 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/14527/task/14540/stat : 14540 (java) S 14525 14525 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445764614 15508250624 6906 33554432000 4194304 4196468 140735284992320 140538005703264 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14541] ppid=14525 vsize=15144776 memory=140505254438528 CPUtime=0 cores=4-7
/proc/14527/task/14541/stat : 14541 (java) S 14525 14525 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445764614 15508250624 6906 33554432000 4194304 4196468 140735284992320 140538004650800 140538544851586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29072 KiB

[startup+0.213465 s]*
/proc/loadavg: 8.27 8.61 8.35 9/233 14545
/proc/meminfo: memFree=26471592/32770688 swapFree=66961208/67108860
[pid=14525] ppid=14522 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/14525/stat : 14525 (xcsp3-exec) S 14522 14525 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445764607 115843072 362 33554432000 4194304 5098028 140726252712240 140726252710344 139822157783676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17190912 140726252721018 140726252721261 140726252721261 140726252724170 0
/proc/14525/statm: 28282 362 304 221 0 87 0
[pid=14527] ppid=14525 vsize=15144776 memory=39396 CPUtime=0.34 cores=4-7
/proc/14527/stat : 14527 (java) S 14525 14525 4816 0 -1 1077944320 9613 0 0 0 32 2 0 0 20 0 15 0 445764607 15508250624 9849 33554432000 4194304 4196468 140735284992320 140735284974864 140538544840439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
/proc/14527/statm: 3786194 9849 3298 1 0 3748377 0
[pid=14527/tid=14528] ppid=14525 vsize=15144776 memory=7883960649037381690 CPUtime=0.21 cores=4-7
/proc/14527/task/14528/stat : 14528 (java) R 14525 14525 4816 0 -1 4202560 6639 0 0 0 19 2 0 0 20 0 15 0 445764608 15508250624 9849 33554432000 4194304 4196468 140735284992320 140538549074560 140538544852374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14529] ppid=14525 vsize=15144776 memory=9642 CPUtime=0 cores=4-7
/proc/14527/task/14529/stat : 14529 (java) S 14525 14525 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445764608 15508250624 9849 33554432000 4194304 4196468 140735284992320 140538512398608 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14530] ppid=14525 vsize=15144776 memory=4123381034064805920 CPUtime=0 cores=4-7
/proc/14527/task/14530/stat : 14530 (java) S 14525 14525 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445764608 15508250624 9849 33554432000 4194304 4196468 140735284992320 140538135898512 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14531] ppid=14525 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14531/stat : 14531 (java) S 14525 14525 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445764608 15508250624 9849 33554432000 4194304 4196468 140735284992320 140538134845968 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14532] ppid=14525 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/14527/task/14532/stat : 14532 (java) S 14525 14525 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445764608 15508250624 9849 33554432000 4194304 4196468 140735284992320 140538133793424 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14533] ppid=14525 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14533/stat : 14533 (java) S 14525 14525 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445764610 15508250624 9849 33554432000 4194304 4196468 140735284992320 140538013071856 140538544851586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14534] ppid=14525 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/14527/task/14534/stat : 14534 (java) S 14525 14525 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445764610 15508250624 9849 33554432000 4194304 4196468 140735284992320 140538012018080 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14535] ppid=14525 vsize=15144776 memory=140505254438528 CPUtime=0 cores=4-7
/proc/14527/task/14535/stat : 14535 (java) S 14525 14525 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445764611 15508250624 9849 33554432000 4194304 4196468 140735284992320 140538010965488 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14536] ppid=14525 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/14527/task/14536/stat : 14536 (java) S 14525 14525 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445764613 15508250624 9849 33554432000 4194304 4196468 140735284992320 140538009914064 140538544859035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14537] ppid=14525 vsize=15144776 memory=0 CPUtime=0.02 cores=4-7
/proc/14527/task/14537/stat : 14537 (java) S 14525 14525 4816 0 -1 1077944384 513 0 0 0 2 0 0 0 20 0 15 0 445764613 15508250624 9849 33554432000 4194304 4196468 140735284992320 140538008860656 140538544851586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14538] ppid=14525 vsize=15144776 memory=-1 CPUtime=0.02 cores=4-7
/proc/14527/task/14538/stat : 14538 (java) S 14525 14525 4816 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 15 0 445764613 15508250624 9849 33554432000 4194304 4196468 140735284992320 140538007808112 140538544851586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14539] ppid=14525 vsize=15144776 memory=0 CPUtime=0.08 cores=4-7
/proc/14527/task/14539/stat : 14539 (java) R 14525 14525 4816 0 -1 4202560 879 0 0 0 8 0 0 0 20 0 15 0 445764613 15508250624 9849 33554432000 4194304 4196468 140735284992320 140538006755568 140538537077566 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14540] ppid=14525 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14540/stat : 14540 (java) S 14525 14525 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445764614 15508250624 9849 33554432000 4194304 4196468 140735284992320 140538005703264 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14541] ppid=14525 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14541/stat : 14541 (java) S 14525 14525 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445764614 15508250624 9849 33554432000 4194304 4196468 140735284992320 140538004650800 140538544851586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40844 KiB

[startup+0.311549 s]*
/proc/loadavg: 7.93 8.54 8.33 10/233 14545
/proc/meminfo: memFree=26465860/32770688 swapFree=66961208/67108860
[pid=14525] ppid=14522 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/14525/stat : 14525 (xcsp3-exec) S 14522 14525 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445764607 115843072 362 33554432000 4194304 5098028 140726252712240 140726252710344 139822157783676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17190912 140726252721018 140726252721261 140726252721261 140726252724170 0
/proc/14525/statm: 28282 362 304 221 0 87 0
[pid=14527] ppid=14525 vsize=15149032 memory=46388 CPUtime=0.52 cores=4-7
/proc/14527/stat : 14527 (java) S 14525 14525 4816 0 -1 1077944320 10872 0 0 0 49 3 0 0 20 0 15 0 445764607 15512608768 11597 33554432000 4194304 4196468 140735284992320 140735284974864 140538544840439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
/proc/14527/statm: 3787258 11597 3366 1 0 3748377 0
[pid=14527/tid=14528] ppid=14525 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=4-7
/proc/14527/task/14528/stat : 14528 (java) R 14525 14525 4816 0 -1 4202560 7638 0 0 0 27 2 0 0 20 0 15 0 445764608 15512608768 11597 33554432000 4194304 4196468 140735284992320 140538549061952 140538530533920 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14529] ppid=14525 vsize=15149032 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14529/stat : 14529 (java) S 14525 14525 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445764608 15512608768 11597 33554432000 4194304 4196468 140735284992320 140538512398608 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14530] ppid=14525 vsize=15149032 memory=4050200834359951392 CPUtime=0 cores=4-7
/proc/14527/task/14530/stat : 14530 (java) S 14525 14525 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445764608 15512608768 11597 33554432000 4194304 4196468 140735284992320 140538135898512 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14531] ppid=14525 vsize=15149032 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14531/stat : 14531 (java) S 14525 14525 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445764608 15512608768 11597 33554432000 4194304 4196468 140735284992320 140538134845968 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14532] ppid=14525 vsize=15149032 memory=-1 CPUtime=0 cores=4-7
/proc/14527/task/14532/stat : 14532 (java) S 14525 14525 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445764608 15512608768 11597 33554432000 4194304 4196468 140735284992320 140538133793424 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14533] ppid=14525 vsize=15149032 memory=140505254438528 CPUtime=0 cores=4-7
/proc/14527/task/14533/stat : 14533 (java) S 14525 14525 4816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445764610 15512608768 11597 33554432000 4194304 4196468 140735284992320 140538013071856 140538544851586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14534] ppid=14525 vsize=15149032 memory=-1 CPUtime=0 cores=4-7
/proc/14527/task/14534/stat : 14534 (java) S 14525 14525 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445764610 15512608768 11597 33554432000 4194304 4196468 140735284992320 140538012018080 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14535] ppid=14525 vsize=15149032 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14535/stat : 14535 (java) S 14525 14525 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445764611 15512608768 11597 33554432000 4194304 4196468 140735284992320 140538010965488 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14536] ppid=14525 vsize=15149032 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14536/stat : 14536 (java) S 14525 14525 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445764613 15512608768 11597 33554432000 4194304 4196468 140735284992320 140538009914064 140538544859035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14537] ppid=14525 vsize=15149032 memory=0 CPUtime=0.04 cores=4-7
/proc/14527/task/14537/stat : 14537 (java) S 14525 14525 4816 0 -1 1077944384 540 0 0 0 4 0 0 0 20 0 15 0 445764613 15512608768 11597 33554432000 4194304 4196468 140735284992320 140538008860656 140538544851586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14538] ppid=14525 vsize=15149032 memory=-1 CPUtime=0.04 cores=4-7
/proc/14527/task/14538/stat : 14538 (java) R 14525 14525 4816 0 -1 4202560 335 0 0 0 4 0 0 0 20 0 15 0 445764613 15512608768 11597 33554432000 4194304 4196468 140735284992320 140538007808112 140538526384946 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14539] ppid=14525 vsize=15149032 memory=140505254438528 CPUtime=0.12 cores=4-7
/proc/14527/task/14539/stat : 14539 (java) S 14525 14525 4816 0 -1 1077944384 1057 0 0 0 12 0 0 0 20 0 15 0 445764613 15512608768 11597 33554432000 4194304 4196468 140735284992320 140538006755568 140538544851586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14540] ppid=14525 vsize=15149032 memory=-1 CPUtime=0 cores=4-7
/proc/14527/task/14540/stat : 14540 (java) S 14525 14525 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445764614 15512608768 11597 33554432000 4194304 4196468 140735284992320 140538005703264 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14541] ppid=14525 vsize=15149032 memory=140505254438528 CPUtime=0 cores=4-7
/proc/14527/task/14541/stat : 14541 (java) S 14525 14525 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445764614 15512608768 11597 33554432000 4194304 4196468 140735284992320 140538004650800 140538544851586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 47836 KiB

[startup+0.70079 s]
/proc/loadavg: 7.93 8.54 8.33 11/233 14545
/proc/meminfo: memFree=26447804/32770688 swapFree=66961208/67108860
[pid=14525] ppid=14522 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/14525/stat : 14525 (xcsp3-exec) S 14522 14525 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445764607 115843072 362 33554432000 4194304 5098028 140726252712240 140726252710344 139822157783676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17190912 140726252721018 140726252721261 140726252721261 140726252724170 0
/proc/14525/statm: 28282 362 304 221 0 87 0
[pid=14527] ppid=14525 vsize=15151156 memory=89936 CPUtime=1.51 cores=4-7
/proc/14527/stat : 14527 (java) S 14525 14525 4816 0 -1 1077944320 14600 0 0 0 145 6 0 0 20 0 15 0 445764607 15514783744 22484 33554432000 4194304 4196468 140735284992320 140735284974864 140538544840439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
/proc/14527/statm: 3787789 22484 3445 1 0 3748889 0
[pid=14527/tid=14528] ppid=14525 vsize=15151156 memory=2120 CPUtime=0.68 cores=4-7
/proc/14527/task/14528/stat : 14528 (java) R 14525 14525 4816 0 -1 4202560 9132 0 0 0 64 4 0 0 20 0 15 0 445764608 15514783744 22484 33554432000 4194304 4196468 140735284992320 140538549078208 140538184663010 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14529] ppid=14525 vsize=15151156 memory=496 CPUtime=0 cores=4-7
/proc/14527/task/14529/stat : 14529 (java) S 14525 14525 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445764608 15514783744 22484 33554432000 4194304 4196468 140735284992320 140538512398608 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14530] ppid=14525 vsize=15151156 memory=1556 CPUtime=0 cores=4-7
/proc/14527/task/14530/stat : 14530 (java) S 14525 14525 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445764608 15514783744 22484 33554432000 4194304 4196468 140735284992320 140538135898512 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14531] ppid=14525 vsize=15151156 memory=928 CPUtime=0 cores=4-7
/proc/14527/task/14531/stat : 14531 (java) S 14525 14525 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445764608 15514783744 22484 33554432000 4194304 4196468 140735284992320 140538134845968 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14532] ppid=14525 vsize=15151156 memory=1628 CPUtime=0 cores=4-7
/proc/14527/task/14532/stat : 14532 (java) S 14525 14525 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445764608 15514783744 22484 33554432000 4194304 4196468 140735284992320 140538133793424 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14533] ppid=14525 vsize=15151156 memory=796 CPUtime=0 cores=4-7
/proc/14527/task/14533/stat : 14533 (java) S 14525 14525 4816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445764610 15514783744 22484 33554432000 4194304 4196468 140735284992320 140538013071856 140538544851586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14534] ppid=14525 vsize=15151156 memory=1444 CPUtime=0 cores=4-7
/proc/14527/task/14534/stat : 14534 (java) S 14525 14525 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445764610 15514783744 22484 33554432000 4194304 4196468 140735284992320 140538012018080 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14535] ppid=14525 vsize=15151156 memory=1984 CPUtime=0 cores=4-7
/proc/14527/task/14535/stat : 14535 (java) S 14525 14525 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445764611 15514783744 22484 33554432000 4194304 4196468 140735284992320 140538010965488 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14536] ppid=14525 vsize=15151156 memory=2424 CPUtime=0 cores=4-7
/proc/14527/task/14536/stat : 14536 (java) S 14525 14525 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445764613 15514783744 22484 33554432000 4194304 4196468 140735284992320 140538009914064 140538544859035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14537] ppid=14525 vsize=15151156 memory=7302135314614015844 CPUtime=0.19 cores=4-7
/proc/14527/task/14537/stat : 14537 (java) S 14525 14525 4816 0 -1 1077944384 1076 0 0 0 19 0 0 0 20 0 15 0 445764613 15514783744 22484 33554432000 4194304 4196468 140735284992320 140538008860656 140538544851586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14538] ppid=14525 vsize=15151156 memory=7373043940760707178 CPUtime=0.26 cores=4-7
/proc/14527/task/14538/stat : 14538 (java) R 14525 14525 4816 0 -1 4202560 1274 0 0 0 26 0 0 0 20 0 15 0 445764613 15514783744 22484 33554432000 4194304 4196468 140735284992320 140538007808112 140538528227424 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14539] ppid=14525 vsize=15151156 memory=7368002589315584080 CPUtime=0.34 cores=4-7
/proc/14527/task/14539/stat : 14539 (java) S 14525 14525 4816 0 -1 1077944384 1811 0 0 0 34 0 0 0 20 0 15 0 445764613 15514783744 22484 33554432000 4194304 4196468 140735284992320 140538006755568 140538544851586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14540] ppid=14525 vsize=15151156 memory=4638778406923096400 CPUtime=0 cores=4-7
/proc/14527/task/14540/stat : 14540 (java) S 14525 14525 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445764614 15514783744 22484 33554432000 4194304 4196468 140735284992320 140538005703264 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14541] ppid=14525 vsize=15151156 memory=7956009407713273195 CPUtime=0 cores=4-7
/proc/14527/task/14541/stat : 14541 (java) S 14525 14525 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445764614 15514783744 22484 33554432000 4194304 4196468 140735284992320 140538004650800 140538544851586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 91384 KiB

[startup+1.5023 s]
/proc/loadavg: 7.93 8.54 8.33 13/238 14551
/proc/meminfo: memFree=26279988/32770688 swapFree=66961208/67108860
[pid=14525] ppid=14522 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/14525/stat : 14525 (xcsp3-exec) S 14522 14525 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445764607 115843072 362 33554432000 4194304 5098028 140726252712240 140726252710344 139822157783676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17190912 140726252721018 140726252721261 140726252721261 140726252724170 0
/proc/14525/statm: 28282 362 304 221 0 87 0
[pid=14527] ppid=14525 vsize=15417412 memory=221084 CPUtime=4.18 cores=4-7
/proc/14527/stat : 14527 (java) S 14525 14525 4816 0 -1 1077944320 16592 0 0 0 405 13 0 0 20 0 19 0 445764607 15787429888 55271 33554432000 4194304 4196468 140735284992320 140735284974864 140538544840439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
/proc/14527/statm: 3854353 55271 3482 1 0 3815453 0
[pid=14527/tid=14528] ppid=14525 vsize=15417412 memory=281010315524240 CPUtime=1.11 cores=4-7
/proc/14527/task/14528/stat : 14528 (java) S 14525 14525 4816 0 -1 1077944384 9317 0 0 0 106 5 0 0 20 0 19 0 445764608 15787429888 55271 33554432000 4194304 4196468 140735284992320 140538549081216 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14529] ppid=14525 vsize=15417412 memory=140505157920328 CPUtime=0.02 cores=4-7
/proc/14527/task/14529/stat : 14529 (java) S 14525 14525 4816 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 19 0 445764608 15787429888 55271 33554432000 4194304 4196468 140735284992320 140538512398608 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14530] ppid=14525 vsize=15417412 memory=1804 CPUtime=0.02 cores=4-7
/proc/14527/task/14530/stat : 14530 (java) S 14525 14525 4816 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 19 0 445764608 15787429888 55271 33554432000 4194304 4196468 140735284992320 140538135898512 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14531] ppid=14525 vsize=15417412 memory=916 CPUtime=0.02 cores=4-7
/proc/14527/task/14531/stat : 14531 (java) S 14525 14525 4816 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 19 0 445764608 15787429888 55271 33554432000 4194304 4196468 140735284992320 140538134845968 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14532] ppid=14525 vsize=15417412 memory=1448 CPUtime=0.02 cores=4-7
/proc/14527/task/14532/stat : 14532 (java) S 14525 14525 4816 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 19 0 445764608 15787429888 55271 33554432000 4194304 4196468 140735284992320 140538133793424 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14533] ppid=14525 vsize=15417412 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14533/stat : 14533 (java) S 14525 14525 4816 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 445764610 15787429888 55271 33554432000 4194304 4196468 140735284992320 140538013071856 140538544851586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14534] ppid=14525 vsize=15417412 memory=202915327263266 CPUtime=0 cores=4-7
/proc/14527/task/14534/stat : 14534 (java) S 14525 14525 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445764610 15787429888 55271 33554432000 4194304 4196468 140735284992320 140538012018080 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14535] ppid=14525 vsize=15417412 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14535/stat : 14535 (java) S 14525 14525 4816 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445764611 15787429888 55271 33554432000 4194304 4196468 140735284992320 140538010965488 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14536] ppid=14525 vsize=15417412 memory=4548 CPUtime=0 cores=4-7
/proc/14527/task/14536/stat : 14536 (java) S 14525 14525 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445764613 15787429888 55271 33554432000 4194304 4196468 140735284992320 140538009914064 140538544859035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14537] ppid=14525 vsize=15417412 memory=6820 CPUtime=0.62 cores=4-7
/proc/14527/task/14537/stat : 14537 (java) R 14525 14525 4816 0 -1 4202560 1781 0 0 0 62 0 0 0 20 0 19 0 445764613 15787429888 55271 33554432000 4194304 4196468 140735284992320 140538008860656 140538529232660 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14538] ppid=14525 vsize=15417412 memory=9092 CPUtime=0.69 cores=4-7
/proc/14527/task/14538/stat : 14538 (java) R 14525 14525 4816 0 -1 4202560 1463 0 0 0 69 0 0 0 20 0 19 0 445764613 15787429888 55271 33554432000 4194304 4196468 140735284992320 140538007794080 140538524078896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14539] ppid=14525 vsize=15417412 memory=11364 CPUtime=0.5 cores=4-7
/proc/14527/task/14539/stat : 14539 (java) R 14525 14525 4816 0 -1 4202560 2388 0 0 0 50 0 0 0 20 0 19 0 445764613 15787429888 55271 33554432000 4194304 4196468 140735284992320 140538006755568 140538523360709 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14540] ppid=14525 vsize=15417412 memory=13636 CPUtime=0 cores=4-7
/proc/14527/task/14540/stat : 14540 (java) S 14525 14525 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445764614 15787429888 55271 33554432000 4194304 4196468 140735284992320 140538005703264 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14541] ppid=14525 vsize=15417412 memory=15908 CPUtime=0 cores=4-7
/proc/14527/task/14541/stat : 14541 (java) S 14525 14525 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445764614 15787429888 55271 33554432000 4194304 4196468 140735284992320 140538004650800 140538544851586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14548] ppid=14525 vsize=15417412 memory=18180 CPUtime=0.29 cores=4-7
/proc/14527/task/14548/stat : 14548 (java) R 14525 14525 4816 0 -1 4202560 54 0 0 0 29 0 0 0 20 0 19 0 445764724 15787429888 55271 33554432000 4194304 4196468 140735284992320 140537995668680 140538180951039 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14549] ppid=14525 vsize=15417412 memory=20452 CPUtime=0.29 cores=4-7
/proc/14527/task/14549/stat : 14549 (java) R 14525 14525 4816 0 -1 4202560 42 0 0 0 29 0 0 0 20 0 19 0 445764724 15787429888 55271 33554432000 4194304 4196468 140735284992320 140537994619512 140538181953519 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14550] ppid=14525 vsize=15417412 memory=22724 CPUtime=0.22 cores=4-7
/proc/14527/task/14550/stat : 14550 (java) R 14525 14525 4816 0 -1 4202560 26 0 0 0 22 0 0 0 20 0 19 0 445764724 15787429888 55271 33554432000 4194304 4196468 140735284992320 140537993564304 140538186096197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14551] ppid=14525 vsize=15417412 memory=24996 CPUtime=0.27 cores=4-7
/proc/14527/task/14551/stat : 14551 (java) R 14525 14525 4816 0 -1 4202560 34 0 0 0 27 0 0 0 20 0 19 0 445764724 15787429888 55271 33554432000 4194304 4196468 140735284992320 140537992510888 140538180877782 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
Current children cumulated CPU time: 4.18 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 222532 KiB

[startup+1.71662 s]
# the end of solver process 14525 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.81659 s, system=0.140541 s

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

[startup+1.7018 s]
/proc/loadavg: 7.93 8.54 8.33 13/238 14551
/proc/meminfo: memFree=26279988/32770688 swapFree=66961208/67108860
[pid=14525] ppid=14522 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/14525/stat : 14525 (xcsp3-exec) S 14522 14525 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445764607 115843072 362 33554432000 4194304 5098028 140726252712240 140726252710344 139822157783676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17190912 140726252721018 140726252721261 140726252721261 140726252724170 0
/proc/14525/statm: 28282 362 304 221 0 87 0
[pid=14527] ppid=14525 vsize=15417412 memory=222304 CPUtime=4.94 cores=4-7
/proc/14527/stat : 14527 (java) S 14525 14525 4816 0 -1 1077944320 16797 0 0 0 481 13 0 0 20 0 14 0 445764607 15787429888 55576 33554432000 4194304 4196468 140735284992320 140735284974864 140538544840439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
/proc/14527/statm: 3854353 55576 3487 1 0 3815453 0
[pid=14527/tid=14528] ppid=14525 vsize=15417412 memory=4298308289275585568 CPUtime=1.11 cores=4-7
/proc/14527/task/14528/stat : 14528 (java) S 14525 14525 4816 0 -1 1077944384 9324 0 0 0 106 5 0 0 20 0 14 0 445764608 15787429888 55576 33554432000 4194304 4196468 140735284992320 140538549083280 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14529] ppid=14525 vsize=15417412 memory=-5628408999910123566 CPUtime=0.02 cores=4-7
/proc/14527/task/14529/stat : 14529 (java) S 14525 14525 4816 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 14 0 445764608 15787429888 55576 33554432000 4194304 4196468 140735284992320 140538512398608 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14530] ppid=14525 vsize=15417412 memory=-2023959437020729679 CPUtime=0.02 cores=4-7
/proc/14527/task/14530/stat : 14530 (java) S 14525 14525 4816 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 14 0 445764608 15787429888 55576 33554432000 4194304 4196468 140735284992320 140538135898512 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14531] ppid=14525 vsize=15417412 memory=-7751062316387021378 CPUtime=0.02 cores=4-7
/proc/14527/task/14531/stat : 14531 (java) S 14525 14525 4816 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 14 0 445764608 15787429888 55576 33554432000 4194304 4196468 140735284992320 140538134845968 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14532] ppid=14525 vsize=15417412 memory=7084821286523977827 CPUtime=0.02 cores=4-7
/proc/14527/task/14532/stat : 14532 (java) S 14525 14525 4816 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 14 0 445764608 15787429888 55576 33554432000 4194304 4196468 140735284992320 140538133793424 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14533] ppid=14525 vsize=15417412 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14533/stat : 14533 (java) S 14525 14525 4816 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 14 0 445764610 15787429888 55576 33554432000 4194304 4196468 140735284992320 140538013072064 140538544851586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14534] ppid=14525 vsize=15417412 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14534/stat : 14534 (java) S 14525 14525 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 445764610 15787429888 55576 33554432000 4194304 4196468 140735284992320 140538012018080 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14535] ppid=14525 vsize=15417412 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14535/stat : 14535 (java) S 14525 14525 4816 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 14 0 445764611 15787429888 55576 33554432000 4194304 4196468 140735284992320 140538010965488 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14536] ppid=14525 vsize=15417412 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14536/stat : 14536 (java) S 14525 14525 4816 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 14 0 445764613 15787429888 55576 33554432000 4194304 4196468 140735284992320 140538009912832 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14537] ppid=14525 vsize=15417412 memory=0 CPUtime=0.75 cores=4-7
/proc/14527/task/14537/stat : 14537 (java) S 14525 14525 4816 0 -1 1077944384 1811 0 0 0 75 0 0 0 20 0 14 0 445764613 15787429888 55576 33554432000 4194304 4196468 140735284992320 140538008845648 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14538] ppid=14525 vsize=15417412 memory=0 CPUtime=0.83 cores=4-7
/proc/14527/task/14538/stat : 14538 (java) S 14525 14525 4816 0 -1 1077944384 1486 0 0 0 83 0 0 0 20 0 14 0 445764613 15787429888 55576 33554432000 4194304 4196468 140735284992320 140538007787152 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14539] ppid=14525 vsize=15417412 memory=0 CPUtime=0.54 cores=4-7
/proc/14527/task/14539/stat : 14539 (java) S 14525 14525 4816 0 -1 1077944384 2469 0 0 0 54 0 0 0 20 0 14 0 445764613 15787429888 55576 33554432000 4194304 4196468 140735284992320 140538006755568 140538544851586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
[pid=14527/tid=14540] ppid=14525 vsize=15417412 memory=0 CPUtime=0 cores=4-7
/proc/14527/task/14540/stat : 14540 (java) S 14525 14525 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 445764614 15787429888 55576 33554432000 4194304 4196468 140735284992320 140538005703264 140538544850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31969280 140735284995055 140735284995226 140735284995226 140735284998095 0
Current children cumulated CPU time: 4.94 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 223752 KiB

Child status: 0
Real time (s): 1.71668
CPU time (s): 4.95714
CPU user time (s): 4.81659
CPU system time (s): 0.140541
CPU usage (%): 288.764
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 223752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.81659
system time used= 0.140541
maximum resident set size= 223236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1980
involuntary context switches= 117


# summary of solver processes directly reported to runsolver:
#   pid: 14525
#   total CPU time (s): 4.95714
#   total CPU user time (s): 4.81659
#   total CPU system time (s): 0.140541

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043181 second user time and 0.056872 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-17 07:29:48
IDJOB=4398865
IDBENCH=131470
IDSOLVER=2853
FILE ID=node116/4398865-1568698229
RUNJOBID= node116-1568694541-4848
PBS_JOBID= 21703807
Free space on /tmp= 61208 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-bvg/Subisomorphism-si6-b09-m200-08.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398865-1568698229/watcher-4398865-1568698229 -o /tmp/evaluation-result-4398865-1568698229/solver-4398865-1568698229 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568694541-4848 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1085888638 HOME/instance-4398865-1568698229.xml

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

MD5SUM BENCH= 7f9c41aacca1e0b30cdd7db3c30aaf94
RANDOM SEED=1085888638

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        26509120 kB
MemAvailable:   27785808 kB
Buffers:          148348 kB
Cached:          1422096 kB
SwapCached:        46588 kB
Active:          5106852 kB
Inactive:         571636 kB
Active(anon):    4061860 kB
Inactive(anon):    94964 kB
Active(file):    1044992 kB
Inactive(file):   476672 kB
Unevictable:      110568 kB
Mlocked:          110568 kB
SwapTotal:      67108860 kB
SwapFree:       66961208 kB
Dirty:             26252 kB
Writeback:             0 kB
AnonPages:       4189384 kB
Mapped:            61224 kB
Shmem:             40292 kB
Slab:             170892 kB
SReclaimable:     141720 kB
SUnreclaim:        29172 kB
KernelStack:        4000 kB
PageTables:        13844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    6652924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4057088 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61180 MiB
End job on node116 at 2019-09-17 07:29:50