Trace number 4393094

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-06-14SAT 41.3506 10.7214

General information on the benchmark

NameNumberPartitioning/NumberPartitioning-m1-s1/
NumberPartitioning-144.xml
MD5SUMb8938fafa0a7bd5ba97e6b9454c94e7b
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 benchmark31.3337
Satisfiable
(Un)Satisfiability was proved
Number of variables288
Number of constraints152
Number of domains2
Minimum domain size144
Maximum domain size20736
Distribution of domain sizes[{"size":144,"count":144},{"size":20736,"count":144}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":144},{"degree":4,"count":143},{"degree":5,"count":1}]
Minimum constraint arity1
Maximum constraint arity144
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":144},{"arity":72,"count":6},{"arity":144,"count":1}]
Number of extensional constraints0
Number of intensional constraints145
Distribution of constraint types[{"type":"intension","count":145},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}]
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-4393094-1568314958.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393094-1568314958.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
1.62/0.76	c solve instance...
41.32/10.70	s SATISFIABLE
41.32/10.70	v <instantiation>
41.32/10.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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51] y[52] y[53] y[54] y[55] y[56] y[57] y[58] y[59] y[60] y[61] y[62] y[63] y[64] y[65] y[66] y[67] y[68] y[69] y[70] y[71] cx[0] cx[1] cx[2] cx[3] cx[4] cx[5] cx[6] cx[7] cx[8] cx[9] cx[10] cx[11] cx[12] cx[13] cx[14] cx[15] cx[16] cx[17] cx[18] cx[19] cx[20] cx[21] cx[22] cx[23] cx[24] cx[25] cx[26] cx[27] cx[28] cx[29] cx[30] cx[31] cx[32] cx[33] cx[34] cx[35] cx[36] cx[37] cx[38] cx[39] cx[40] cx[41] cx[42] cx[43] cx[44] cx[45] cx[46] cx[47] cx[48] cx[49] cx[50] cx[51] cx[52] cx[53] cx[54] cx[55] cx[56] cx[57] cx[58] cx[59] cx[60] cx[61] cx[62] cx[63] cx[64] cx[65] cx[66] cx[67] cx[68] cx[69] cx[70] cx[71] cy[0] cy[1] cy[2] cy[3] cy[4] cy[5] cy[6] cy[7] cy[8] cy[9] cy[10] cy[11] cy[12] cy[13] cy[14] cy[15] cy[16] cy[17] cy[18] cy[19] cy[20] cy[21] cy[22] cy[23] cy[24] cy[25] cy[26] cy[27] cy[28] cy[29] cy[30] cy[31] cy[32] cy[33] cy[34] cy[35] cy[36] cy[37] cy[38] cy[39] cy[40] cy[41] cy[42] cy[43] cy[44] cy[45] cy[46] cy[47] cy[48] cy[49] cy[50] cy[51] cy[52] cy[53] cy[54] cy[55] cy[56] cy[57] cy[58] cy[59] cy[60] cy[61] cy[62] cy[63] cy[64] cy[65] cy[66] cy[67] cy[68] cy[69] cy[70] cy[71] </list>
41.32/10.70	v 	<values>1 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 140 141 142 143 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 53 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 139 144 1 529 576 625 676 729 784 841 900 961 1024 1089 1156 1225 1296 1369 1444 1521 1600 1681 1764 1849 1936 2025 2116 2209 2304 2401 2500 2601 2704 2916 3025 3136 3249 3364 3481 3600 3721 3844 3969 4096 4225 4356 4489 4624 4761 4900 5041 5184 14641 14884 15129 15376 15625 15876 16129 16384 16641 16900 17161 17424 17689 17956 18225 18496 18769 19044 19600 19881 20164 20449 4 9 16 25 36 49 64 81 100 121 144 169 196 225 256 289 324 361 400 441 484 2809 5329 5476 5625 5776 5929 6084 6241 6400 6561 6724 6889 7056 7225 7396 7569 7744 7921 8100 8281 8464 8649 8836 9025 9216 9409 9604 9801 10000 10201 10404 10609 10816 11025 11236 11449 11664 11881 12100 12321 12544 12769 12996 13225 13456 13689 13924 14161 14400 19321 20736 </values>
41.32/10.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: 16374 MiB (7376 MiB free)
  memory of node 1: 16384 MiB (13846 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393094-1568314958/watcher-4393094-1568314958 -o /tmp/evaluation-result-4393094-1568314958/solver-4393094-1568314958 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15624 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1155153409 HOME/instance-4393094-1568314958.xml 

running on 4 cores: 1,3,5,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
Current StackSize limit: 8192 KiB

solver pid=17570, runsolver pid=17567

[startup+0.100108 s]*
/proc/loadavg: 8.05 7.92 6.75 7/233 17586
/proc/meminfo: memFree=21715104/32770624 swapFree=66977612/67108860
[pid=17570] ppid=17567 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17570/stat : 17570 (xcsp3-exec) S 17567 17570 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407753135 115843072 363 33554432000 4194304 5098028 140733730228208 140733730226312 139660632572540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21028864 140733730231162 140733730231405 140733730231405 140733730234314 0
/proc/17570/statm: 28282 363 304 221 0 87 0
[pid=17572] ppid=17570 vsize=15144768 memory=29928 CPUtime=0.13 cores=1,3,5,7
/proc/17572/stat : 17572 (java) S 17570 17570 15592 0 -1 1077944320 5954 0 0 0 12 1 0 0 20 0 15 0 407753135 15508242432 7482 33554432000 4194304 4196468 140733819672640 140733819655184 140087949172471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
/proc/17572/statm: 3786192 7482 3120 1 0 3748377 0
[pid=17572/tid=17573] ppid=17570 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/17572/task/17573/stat : 17573 (java) R 17570 17570 15592 0 -1 4202560 3869 0 0 0 8 1 0 0 20 0 15 0 407753135 15508242432 7548 33554432000 4194304 4196468 140733819672640 140087953405360 140087555861968 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17574] ppid=17570 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17574/stat : 17574 (java) S 17570 17570 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407753136 15508242432 7548 33554432000 4194304 4196468 140733819672640 140087877212816 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17575] ppid=17570 vsize=15144768 memory=288371074642945664 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17575/stat : 17575 (java) S 17570 17570 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407753136 15508242432 7548 33554432000 4194304 4196468 140733819672640 140087876160016 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17576] ppid=17570 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17576/stat : 17576 (java) S 17570 17570 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407753136 15508242432 7548 33554432000 4194304 4196468 140733819672640 140087539394960 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17577] ppid=17570 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17577/stat : 17577 (java) S 17570 17570 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407753136 15508242432 7548 33554432000 4194304 4196468 140733819672640 140087538342160 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17578] ppid=17570 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17578/stat : 17578 (java) S 17570 17570 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407753137 15508242432 7548 33554432000 4194304 4196468 140733819672640 140087484959600 140087949183618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17579] ppid=17570 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17579/stat : 17579 (java) S 17570 17570 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407753138 15508242432 7548 33554432000 4194304 4196468 140733819672640 140087483905568 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17580] ppid=17570 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17580/stat : 17580 (java) S 17570 17570 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407753138 15508242432 7548 33554432000 4194304 4196468 140733819672640 140087482852720 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17581] ppid=17570 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17581/stat : 17581 (java) S 17570 17570 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407753140 15508242432 7548 33554432000 4194304 4196468 140733819672640 140087481801040 140087949191067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17582] ppid=17570 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17582/stat : 17582 (java) R 17570 17570 15592 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 407753140 15508242432 7548 33554432000 4194304 4196468 140733819672640 140087480748400 140087949183618 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17583] ppid=17570 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17583/stat : 17583 (java) R 17570 17570 15592 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 15 0 407753140 15508242432 7548 33554432000 4194304 4196468 140733819672640 140087479695600 140087934838624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17584] ppid=17570 vsize=15144768 memory=140698491233920 CPUtime=0.02 cores=1,3,5,7
/proc/17572/task/17584/stat : 17584 (java) R 17570 17570 15592 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 407753140 15508242432 7548 33554432000 4194304 4196468 140733819672640 140087478642800 140087929514598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17585] ppid=17570 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17585/stat : 17585 (java) S 17570 17570 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407753141 15508242432 7548 33554432000 4194304 4196468 140733819672640 140087477590240 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17586] ppid=17570 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17586/stat : 17586 (java) S 17570 17570 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407753141 15508242432 7548 33554432000 4194304 4196468 140733819672640 140087476538544 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31380 KiB

[startup+0.210923 s]*
/proc/loadavg: 8.05 7.92 6.75 7/233 17586
/proc/meminfo: memFree=21702608/32770624 swapFree=66977612/67108860
[pid=17570] ppid=17567 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17570/stat : 17570 (xcsp3-exec) S 17567 17570 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407753135 115843072 363 33554432000 4194304 5098028 140733730228208 140733730226312 139660632572540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21028864 140733730231162 140733730231405 140733730231405 140733730234314 0
/proc/17570/statm: 28282 363 304 221 0 87 0
[pid=17572] ppid=17570 vsize=15144768 memory=41216 CPUtime=0.34 cores=1,3,5,7
/proc/17572/stat : 17572 (java) S 17570 17570 15592 0 -1 1077944320 9517 0 0 0 31 3 0 0 20 0 15 0 407753135 15508242432 10304 33554432000 4194304 4196468 140733819672640 140733819655184 140087949172471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
/proc/17572/statm: 3786192 10304 3277 1 0 3748377 0
[pid=17572/tid=17573] ppid=17570 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17572/task/17573/stat : 17573 (java) R 17570 17570 15592 0 -1 4202560 6678 0 0 0 17 3 0 0 20 0 15 0 407753135 15508242432 10304 33554432000 4194304 4196468 140733819672640 140087953410784 140087949184406 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17574] ppid=17570 vsize=15144768 memory=1898157 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17574/stat : 17574 (java) S 17570 17570 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407753136 15508242432 10304 33554432000 4194304 4196468 140733819672640 140087877212816 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17575] ppid=17570 vsize=15144768 memory=140698491249966 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17575/stat : 17575 (java) S 17570 17570 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407753136 15508242432 10304 33554432000 4194304 4196468 140733819672640 140087876160016 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17576] ppid=17570 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17576/stat : 17576 (java) S 17570 17570 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407753136 15508242432 10304 33554432000 4194304 4196468 140733819672640 140087539394960 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17577] ppid=17570 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17577/stat : 17577 (java) S 17570 17570 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407753136 15508242432 10304 33554432000 4194304 4196468 140733819672640 140087538342160 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17578] ppid=17570 vsize=15144768 memory=140698491233920 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17578/stat : 17578 (java) S 17570 17570 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407753137 15508242432 10304 33554432000 4194304 4196468 140733819672640 140087484959600 140087949183618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17579] ppid=17570 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17579/stat : 17579 (java) S 17570 17570 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407753138 15508242432 10304 33554432000 4194304 4196468 140733819672640 140087483905568 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17580] ppid=17570 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17580/stat : 17580 (java) S 17570 17570 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407753138 15508242432 10304 33554432000 4194304 4196468 140733819672640 140087482852720 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17581] ppid=17570 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17581/stat : 17581 (java) S 17570 17570 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407753140 15508242432 10304 33554432000 4194304 4196468 140733819672640 140087481801040 140087949191067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17582] ppid=17570 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17572/task/17582/stat : 17582 (java) S 17570 17570 15592 0 -1 1077944384 596 0 0 0 3 0 0 0 20 0 15 0 407753140 15508242432 10304 33554432000 4194304 4196468 140733819672640 140087480748400 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17583] ppid=17570 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17572/task/17583/stat : 17583 (java) S 17570 17570 15592 0 -1 1077944384 190 0 0 0 2 0 0 0 20 0 15 0 407753140 15508242432 10304 33554432000 4194304 4196468 140733819672640 140087479695600 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17584] ppid=17570 vsize=15144768 memory=140698491233920 CPUtime=0.08 cores=1,3,5,7
/proc/17572/task/17584/stat : 17584 (java) R 17570 17570 15592 0 -1 4202560 747 0 0 0 8 0 0 0 20 0 15 0 407753140 15508242432 10304 33554432000 4194304 4196468 140733819672640 140087478642800 140087927988049 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17585] ppid=17570 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17585/stat : 17585 (java) S 17570 17570 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407753141 15508242432 10304 33554432000 4194304 4196468 140733819672640 140087477590240 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17586] ppid=17570 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17586/stat : 17586 (java) S 17570 17570 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407753141 15508242432 10304 33554432000 4194304 4196468 140733819672640 140087476538544 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42668 KiB

[startup+0.310721 s]*
/proc/loadavg: 8.05 7.92 6.75 8/233 17586
/proc/meminfo: memFree=21696184/32770624 swapFree=66977612/67108860
[pid=17570] ppid=17567 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17570/stat : 17570 (xcsp3-exec) S 17567 17570 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407753135 115843072 363 33554432000 4194304 5098028 140733730228208 140733730226312 139660632572540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21028864 140733730231162 140733730231405 140733730231405 140733730234314 0
/proc/17570/statm: 28282 363 304 221 0 87 0
[pid=17572] ppid=17570 vsize=15149024 memory=50336 CPUtime=0.53 cores=1,3,5,7
/proc/17572/stat : 17572 (java) S 17570 17570 15592 0 -1 1077944320 10871 0 0 0 49 4 0 0 20 0 15 0 407753135 15512600576 12584 33554432000 4194304 4196468 140733819672640 140733819655184 140087949172471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
/proc/17572/statm: 3787256 12584 3370 1 0 3748377 0
[pid=17572/tid=17573] ppid=17570 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/17572/task/17573/stat : 17573 (java) R 17570 17570 15592 0 -1 4202560 7838 0 0 0 27 3 0 0 20 0 15 0 407753135 15512600576 12584 33554432000 4194304 4196468 140733819672640 140087953404240 140087933252958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17574] ppid=17570 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17574/stat : 17574 (java) S 17570 17570 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407753136 15512600576 12584 33554432000 4194304 4196468 140733819672640 140087877212816 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17575] ppid=17570 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17575/stat : 17575 (java) S 17570 17570 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407753136 15512600576 12584 33554432000 4194304 4196468 140733819672640 140087876160016 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17576] ppid=17570 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17576/stat : 17576 (java) S 17570 17570 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407753136 15512600576 12584 33554432000 4194304 4196468 140733819672640 140087539394960 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17577] ppid=17570 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17577/stat : 17577 (java) S 17570 17570 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407753136 15512600576 12584 33554432000 4194304 4196468 140733819672640 140087538342160 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17578] ppid=17570 vsize=15149024 memory=-7161737554080415903 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17578/stat : 17578 (java) S 17570 17570 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407753137 15512600576 12584 33554432000 4194304 4196468 140733819672640 140087484959600 140087949183618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17579] ppid=17570 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17579/stat : 17579 (java) S 17570 17570 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407753138 15512600576 12584 33554432000 4194304 4196468 140733819672640 140087483905568 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17580] ppid=17570 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17580/stat : 17580 (java) S 17570 17570 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407753138 15512600576 12584 33554432000 4194304 4196468 140733819672640 140087482852720 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17581] ppid=17570 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17581/stat : 17581 (java) S 17570 17570 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407753140 15512600576 12584 33554432000 4194304 4196468 140733819672640 140087481801040 140087949191067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17582] ppid=17570 vsize=15149024 memory=7827413994055111515 CPUtime=0.06 cores=1,3,5,7
/proc/17572/task/17582/stat : 17582 (java) S 17570 17570 15592 0 -1 1077944384 684 0 0 0 6 0 0 0 20 0 15 0 407753140 15512600576 12584 33554432000 4194304 4196468 140733819672640 140087480748400 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17583] ppid=17570 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17572/task/17583/stat : 17583 (java) S 17570 17570 15592 0 -1 1077944384 209 0 0 0 3 0 0 0 20 0 15 0 407753140 15512600576 12584 33554432000 4194304 4196468 140733819672640 140087479695600 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17584] ppid=17570 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17572/task/17584/stat : 17584 (java) S 17570 17570 15592 0 -1 1077944384 843 0 0 0 12 0 0 0 20 0 15 0 407753140 15512600576 12584 33554432000 4194304 4196468 140733819672640 140087478642800 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17585] ppid=17570 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17585/stat : 17585 (java) S 17570 17570 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407753141 15512600576 12584 33554432000 4194304 4196468 140733819672640 140087477590240 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17586] ppid=17570 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17586/stat : 17586 (java) S 17570 17570 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407753141 15512600576 12584 33554432000 4194304 4196468 140733819672640 140087476538544 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51788 KiB

[startup+0.700757 s]
/proc/loadavg: 8.05 7.92 6.75 8/233 17586
/proc/meminfo: memFree=21676892/32770624 swapFree=66977612/67108860
[pid=17570] ppid=17567 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17570/stat : 17570 (xcsp3-exec) S 17567 17570 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407753135 115843072 363 33554432000 4194304 5098028 140733730228208 140733730226312 139660632572540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21028864 140733730231162 140733730231405 140733730231405 140733730234314 0
/proc/17570/statm: 28282 363 304 221 0 87 0
[pid=17572] ppid=17570 vsize=15151148 memory=93116 CPUtime=1.62 cores=1,3,5,7
/proc/17572/stat : 17572 (java) S 17570 17570 15592 0 -1 1077944320 14412 0 0 0 156 6 0 0 20 0 15 0 407753135 15514775552 23279 33554432000 4194304 4196468 140733819672640 140733819655184 140087949172471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
/proc/17572/statm: 3787787 23279 3451 1 0 3748889 0
[pid=17572/tid=17573] ppid=17570 vsize=15151148 memory=-3704326594973231466 CPUtime=0.67 cores=1,3,5,7
/proc/17572/task/17573/stat : 17573 (java) R 17570 17570 15592 0 -1 4202560 9312 0 0 0 63 4 0 0 20 0 15 0 407753135 15514775552 23279 33554432000 4194304 4196468 140733819672640 140087953407200 140087932530972 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17574] ppid=17570 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17574/stat : 17574 (java) S 17570 17570 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407753136 15514775552 23279 33554432000 4194304 4196468 140733819672640 140087877212816 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17575] ppid=17570 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17575/stat : 17575 (java) S 17570 17570 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407753136 15514775552 23279 33554432000 4194304 4196468 140733819672640 140087876160016 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17576] ppid=17570 vsize=15151148 memory=704 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17576/stat : 17576 (java) S 17570 17570 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407753136 15514775552 23279 33554432000 4194304 4196468 140733819672640 140087539394960 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17577] ppid=17570 vsize=15151148 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17577/stat : 17577 (java) S 17570 17570 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407753136 15514775552 23279 33554432000 4194304 4196468 140733819672640 140087538342160 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17578] ppid=17570 vsize=15151148 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17578/stat : 17578 (java) S 17570 17570 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407753137 15514775552 23279 33554432000 4194304 4196468 140733819672640 140087484959600 140087949183618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17579] ppid=17570 vsize=15151148 memory=780 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17579/stat : 17579 (java) S 17570 17570 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407753138 15514775552 23279 33554432000 4194304 4196468 140733819672640 140087483905568 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17580] ppid=17570 vsize=15151148 memory=3252 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17580/stat : 17580 (java) S 17570 17570 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407753138 15514775552 23279 33554432000 4194304 4196468 140733819672640 140087482852720 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17581] ppid=17570 vsize=15151148 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17581/stat : 17581 (java) S 17570 17570 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407753140 15514775552 23279 33554432000 4194304 4196468 140733819672640 140087481801040 140087949191067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17582] ppid=17570 vsize=15151148 memory=5964 CPUtime=0.26 cores=1,3,5,7
/proc/17572/task/17582/stat : 17582 (java) S 17570 17570 15592 0 -1 1077944384 1164 0 0 0 26 0 0 0 20 0 15 0 407753140 15514775552 23279 33554432000 4194304 4196468 140733819672640 140087480748400 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17583] ppid=17570 vsize=15151148 memory=7552 CPUtime=0.25 cores=1,3,5,7
/proc/17572/task/17583/stat : 17583 (java) S 17570 17570 15592 0 -1 1077944384 792 0 0 0 25 0 0 0 20 0 15 0 407753140 15514775552 23279 33554432000 4194304 4196468 140733819672640 140087479695600 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17584] ppid=17570 vsize=15151148 memory=2832 CPUtime=0.4 cores=1,3,5,7
/proc/17572/task/17584/stat : 17584 (java) R 17570 17570 15592 0 -1 4202560 1837 0 0 0 40 0 0 0 20 0 15 0 407753140 15514775552 23279 33554432000 4194304 4196468 140733819672640 140087478642928 140087928128097 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17585] ppid=17570 vsize=15151148 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17585/stat : 17585 (java) S 17570 17570 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407753141 15514775552 23279 33554432000 4194304 4196468 140733819672640 140087477590240 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17586] ppid=17570 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17586/stat : 17586 (java) S 17570 17570 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407753141 15514775552 23279 33554432000 4194304 4196468 140733819672640 140087476538544 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 94568 KiB

[startup+1.50124 s]
/proc/loadavg: 8.05 7.92 6.75 12/237 17590
/proc/meminfo: memFree=21561940/32770624 swapFree=66977612/67108860
[pid=17570] ppid=17567 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17570/stat : 17570 (xcsp3-exec) S 17567 17570 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407753135 115843072 363 33554432000 4194304 5098028 140733730228208 140733730226312 139660632572540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21028864 140733730231162 140733730231405 140733730231405 140733730234314 0
/proc/17570/statm: 28282 363 304 221 0 87 0

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

/proc/17572/task/17586/stat : 17586 (java) S 17570 17570 15592 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 19 0 407753141 15789518848 129496 33554432000 4194304 4196468 140733819672640 140087476538544 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17587] ppid=17570 vsize=15419452 memory=1164 CPUtime=7.85 cores=1,3,5,7
/proc/17572/task/17587/stat : 17587 (java) R 17570 17570 15592 0 -1 4202560 532 0 0 0 783 2 0 0 20 0 19 0 407753212 15789518848 129496 33554432000 4194304 4196468 140733819672640 140087473782384 140087562328785 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17588] ppid=17570 vsize=15419452 memory=288230574492221466 CPUtime=7.59 cores=1,3,5,7
/proc/17572/task/17588/stat : 17588 (java) R 17570 17570 15592 0 -1 4202560 1142 0 0 0 758 1 0 0 20 0 19 0 407753212 15789518848 129496 33554432000 4194304 4196468 140733819672640 140087264104104 140087563499240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17589] ppid=17570 vsize=15419452 memory=7230638415855315543 CPUtime=7.86 cores=1,3,5,7
/proc/17572/task/17589/stat : 17589 (java) R 17570 17570 15592 0 -1 4202560 279 0 0 0 785 1 0 0 20 0 19 0 407753212 15789518848 129496 33554432000 4194304 4196468 140733819672640 140087263052296 140087563310467 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17590] ppid=17570 vsize=15419452 memory=0 CPUtime=7.47 cores=1,3,5,7
/proc/17572/task/17590/stat : 17590 (java) R 17570 17570 15592 0 -1 4202560 552 0 0 0 747 0 0 0 20 0 19 0 407753212 15789518848 129496 33554432000 4194304 4196468 140733819672640 140087261998920 140087564158628 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
Current children cumulated CPU time: 36.96 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 519436 KiB

[startup+10.4012 s]
/proc/loadavg: 8.20 7.95 6.77 9/238 17592
/proc/meminfo: memFree=21226332/32770624 swapFree=66977612/67108860
[pid=17570] ppid=17567 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17570/stat : 17570 (xcsp3-exec) S 17567 17570 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407753135 115843072 363 33554432000 4194304 5098028 140733730228208 140733730226312 139660632572540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21028864 140733730231162 140733730231405 140733730231405 140733730234314 0
/proc/17570/statm: 28282 363 304 221 0 87 0
[pid=17572] ppid=17570 vsize=15419452 memory=518276 CPUtime=40.14 cores=1,3,5,7
/proc/17572/stat : 17572 (java) S 17570 17570 15592 0 -1 1077944320 30188 0 0 0 3974 40 0 0 20 0 19 0 407753135 15789518848 129569 33554432000 4194304 4196468 140733819672640 140733819655184 140087949172471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
/proc/17572/statm: 3854863 129569 3525 1 0 3815965 0
[pid=17572/tid=17573] ppid=17570 vsize=15419452 memory=6944656592455359580 CPUtime=0.75 cores=1,3,5,7
/proc/17572/task/17573/stat : 17573 (java) S 17570 17570 15592 0 -1 1077944384 9407 0 0 0 70 5 0 0 20 0 19 0 407753135 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087953413248 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17574] ppid=17570 vsize=15419452 memory=6944656592387989600 CPUtime=0.14 cores=1,3,5,7
/proc/17572/task/17574/stat : 17574 (java) S 17570 17570 15592 0 -1 1077944384 247 0 0 0 8 6 0 0 20 0 19 0 407753136 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087877212816 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17575] ppid=17570 vsize=15419452 memory=6944656592387989600 CPUtime=0.12 cores=1,3,5,7
/proc/17572/task/17575/stat : 17575 (java) S 17570 17570 15592 0 -1 1077944384 240 0 0 0 6 6 0 0 20 0 19 0 407753136 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087876160016 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17576] ppid=17570 vsize=15419452 memory=-4866526899798303339 CPUtime=0.13 cores=1,3,5,7
/proc/17572/task/17576/stat : 17576 (java) S 17570 17570 15592 0 -1 1077944384 1111 0 0 0 7 6 0 0 20 0 19 0 407753136 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087539394960 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17577] ppid=17570 vsize=15419452 memory=6872598998417432672 CPUtime=0.13 cores=1,3,5,7
/proc/17572/task/17577/stat : 17577 (java) S 17570 17570 15592 0 -1 1077944384 254 0 0 0 7 6 0 0 20 0 19 0 407753136 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087538342160 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17578] ppid=17570 vsize=15419452 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17578/stat : 17578 (java) S 17570 17570 15592 0 -1 1077944384 767 0 0 0 0 0 0 0 20 0 19 0 407753137 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087484959600 140087949183618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17579] ppid=17570 vsize=15419452 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17579/stat : 17579 (java) S 17570 17570 15592 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 407753138 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087483905632 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17580] ppid=17570 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17580/stat : 17580 (java) S 17570 17570 15592 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 407753138 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087482852720 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17581] ppid=17570 vsize=15419452 memory=140698364094280 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17581/stat : 17581 (java) S 17570 17570 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407753140 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087481801040 140087949191067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17582] ppid=17570 vsize=15419452 memory=0 CPUtime=2.26 cores=1,3,5,7
/proc/17572/task/17582/stat : 17582 (java) S 17570 17570 15592 0 -1 1077944384 6132 0 0 0 225 1 0 0 20 0 19 0 407753140 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087480748400 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17583] ppid=17570 vsize=15419452 memory=140698366073873 CPUtime=1.91 cores=1,3,5,7
/proc/17572/task/17583/stat : 17583 (java) S 17570 17570 15592 0 -1 1077944384 3481 0 0 0 190 1 0 0 20 0 19 0 407753140 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087479695600 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17584] ppid=17570 vsize=15419452 memory=288371074515812736 CPUtime=0.78 cores=1,3,5,7
/proc/17572/task/17584/stat : 17584 (java) S 17570 17570 15592 0 -1 1077944384 4451 0 0 0 77 1 0 0 20 0 19 0 407753140 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087478642800 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17585] ppid=17570 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17585/stat : 17585 (java) S 17570 17570 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407753141 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087477590240 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17586] ppid=17570 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17586/stat : 17586 (java) S 17570 17570 15592 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 19 0 407753141 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087476538544 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17587] ppid=17570 vsize=15419452 memory=0 CPUtime=8.58 cores=1,3,5,7
/proc/17572/task/17587/stat : 17587 (java) R 17570 17570 15592 0 -1 4202560 549 0 0 0 856 2 0 0 20 0 19 0 407753212 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087473782904 140087564158575 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17588] ppid=17570 vsize=15419452 memory=281396728309608 CPUtime=8.34 cores=1,3,5,7
/proc/17572/task/17588/stat : 17588 (java) R 17570 17570 15592 0 -1 4202560 1199 0 0 0 833 1 0 0 20 0 19 0 407753212 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087264104312 140087564158829 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17589] ppid=17570 vsize=15419452 memory=0 CPUtime=8.62 cores=1,3,5,7
/proc/17572/task/17589/stat : 17589 (java) R 17570 17570 15592 0 -1 4202560 286 0 0 0 861 1 0 0 20 0 19 0 407753212 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087263051768 140087562328794 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17590] ppid=17570 vsize=15419452 memory=0 CPUtime=8.27 cores=1,3,5,7
/proc/17572/task/17590/stat : 17590 (java) R 17570 17570 15592 0 -1 4202560 586 0 0 0 827 0 0 0 20 0 19 0 407753212 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087261998904 140087564158568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
Current children cumulated CPU time: 40.14 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 519728 KiB

[startup+10.6012 s]
/proc/loadavg: 8.20 7.95 6.77 9/238 17592
/proc/meminfo: memFree=21226332/32770624 swapFree=66977612/67108860
[pid=17570] ppid=17567 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17570/stat : 17570 (xcsp3-exec) S 17567 17570 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407753135 115843072 363 33554432000 4194304 5098028 140733730228208 140733730226312 139660632572540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21028864 140733730231162 140733730231405 140733730231405 140733730234314 0
/proc/17570/statm: 28282 363 304 221 0 87 0
[pid=17572] ppid=17570 vsize=15419452 memory=518276 CPUtime=40.94 cores=1,3,5,7
/proc/17572/stat : 17572 (java) S 17570 17570 15592 0 -1 1077944320 30191 0 0 0 4054 40 0 0 20 0 19 0 407753135 15789518848 129569 33554432000 4194304 4196468 140733819672640 140733819655184 140087949172471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
/proc/17572/statm: 3854863 129569 3525 1 0 3815965 0
[pid=17572/tid=17573] ppid=17570 vsize=15419452 memory=0 CPUtime=0.75 cores=1,3,5,7
/proc/17572/task/17573/stat : 17573 (java) S 17570 17570 15592 0 -1 1077944384 9407 0 0 0 70 5 0 0 20 0 19 0 407753135 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087953413248 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17574] ppid=17570 vsize=15419452 memory=6791534058613427641 CPUtime=0.14 cores=1,3,5,7
/proc/17572/task/17574/stat : 17574 (java) S 17570 17570 15592 0 -1 1077944384 247 0 0 0 8 6 0 0 20 0 19 0 407753136 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087877212816 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17575] ppid=17570 vsize=15419452 memory=-7750001083477550754 CPUtime=0.12 cores=1,3,5,7
/proc/17572/task/17575/stat : 17575 (java) S 17570 17570 15592 0 -1 1077944384 240 0 0 0 6 6 0 0 20 0 19 0 407753136 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087876160016 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17576] ppid=17570 vsize=15419452 memory=140698491262497 CPUtime=0.13 cores=1,3,5,7
/proc/17572/task/17576/stat : 17576 (java) S 17570 17570 15592 0 -1 1077944384 1111 0 0 0 7 6 0 0 20 0 19 0 407753136 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087539394960 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17577] ppid=17570 vsize=15419452 memory=7680491646476186387 CPUtime=0.13 cores=1,3,5,7
/proc/17572/task/17577/stat : 17577 (java) S 17570 17570 15592 0 -1 1077944384 254 0 0 0 7 6 0 0 20 0 19 0 407753136 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087538342160 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17578] ppid=17570 vsize=15419452 memory=4638778402627731557 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17578/stat : 17578 (java) S 17570 17570 15592 0 -1 1077944384 767 0 0 0 0 0 0 0 20 0 19 0 407753137 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087484959600 140087949183618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17579] ppid=17570 vsize=15419452 memory=5787214926557827170 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17579/stat : 17579 (java) S 17570 17570 15592 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 407753138 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087483905632 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17580] ppid=17570 vsize=15419452 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17580/stat : 17580 (java) S 17570 17570 15592 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 407753138 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087482852720 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17581] ppid=17570 vsize=15419452 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17581/stat : 17581 (java) S 17570 17570 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407753140 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087481801040 140087949191067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17582] ppid=17570 vsize=15419452 memory=2244 CPUtime=2.26 cores=1,3,5,7
/proc/17572/task/17582/stat : 17582 (java) S 17570 17570 15592 0 -1 1077944384 6132 0 0 0 225 1 0 0 20 0 19 0 407753140 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087480748400 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17583] ppid=17570 vsize=15419452 memory=0 CPUtime=1.91 cores=1,3,5,7
/proc/17572/task/17583/stat : 17583 (java) S 17570 17570 15592 0 -1 1077944384 3481 0 0 0 190 1 0 0 20 0 19 0 407753140 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087479695600 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17584] ppid=17570 vsize=15419452 memory=115585 CPUtime=0.78 cores=1,3,5,7
/proc/17572/task/17584/stat : 17584 (java) S 17570 17570 15592 0 -1 1077944384 4451 0 0 0 77 1 0 0 20 0 19 0 407753140 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087478642800 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17585] ppid=17570 vsize=15419452 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17585/stat : 17585 (java) S 17570 17570 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407753141 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087477590240 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17586] ppid=17570 vsize=15419452 memory=-3252517613199061085 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17586/stat : 17586 (java) S 17570 17570 15592 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 19 0 407753141 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087476538544 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17587] ppid=17570 vsize=15419452 memory=6944652177228980320 CPUtime=8.78 cores=1,3,5,7
/proc/17572/task/17587/stat : 17587 (java) R 17570 17570 15592 0 -1 4202560 549 0 0 0 876 2 0 0 20 0 19 0 407753212 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087473782904 140087562328703 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17588] ppid=17570 vsize=15419452 memory=7451885431448955760 CPUtime=8.53 cores=1,3,5,7
/proc/17572/task/17588/stat : 17588 (java) R 17570 17570 15592 0 -1 4202560 1201 0 0 0 852 1 0 0 20 0 19 0 407753212 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087264104312 140087563310736 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17589] ppid=17570 vsize=15419452 memory=1452 CPUtime=8.82 cores=1,3,5,7
/proc/17572/task/17589/stat : 17589 (java) R 17570 17570 15592 0 -1 4202560 286 0 0 0 881 1 0 0 20 0 19 0 407753212 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087263051768 140087564158950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17590] ppid=17570 vsize=15419452 memory=517996 CPUtime=8.47 cores=1,3,5,7
/proc/17572/task/17590/stat : 17590 (java) R 17570 17570 15592 0 -1 4202560 587 0 0 0 847 0 0 0 20 0 19 0 407753212 15789518848 129569 33554432000 4194304 4196468 140733819672640 140087261998904 140087564158624 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
Current children cumulated CPU time: 40.94 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 519728 KiB

[startup+10.7009 s]
/proc/loadavg: 8.20 7.95 6.77 9/238 17592
/proc/meminfo: memFree=21226332/32770624 swapFree=66977612/67108860
[pid=17570] ppid=17567 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17570/stat : 17570 (xcsp3-exec) S 17567 17570 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407753135 115843072 363 33554432000 4194304 5098028 140733730228208 140733730226312 139660632572540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21028864 140733730231162 140733730231405 140733730231405 140733730234314 0
/proc/17570/statm: 28282 363 304 221 0 87 0
[pid=17572] ppid=17570 vsize=15419452 memory=518296 CPUtime=41.32 cores=1,3,5,7
/proc/17572/stat : 17572 (java) S 17570 17570 15592 0 -1 1077944320 30763 0 0 0 4092 40 0 0 20 0 19 0 407753135 15789518848 129574 33554432000 4194304 4196468 140733819672640 140733819655184 140087949172471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
/proc/17572/statm: 3854863 129574 3525 1 0 3815965 0
[pid=17572/tid=17573] ppid=17570 vsize=15419452 memory=518276 CPUtime=0.75 cores=1,3,5,7
/proc/17572/task/17573/stat : 17573 (java) S 17570 17570 15592 0 -1 1077944384 9407 0 0 0 70 5 0 0 20 0 19 0 407753135 15789518848 129574 33554432000 4194304 4196468 140733819672640 140087953413248 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17574] ppid=17570 vsize=15419452 memory=1452 CPUtime=0.14 cores=1,3,5,7
/proc/17572/task/17574/stat : 17574 (java) S 17570 17570 15592 0 -1 1077944384 247 0 0 0 8 6 0 0 20 0 19 0 407753136 15789518848 129574 33554432000 4194304 4196468 140733819672640 140087877212816 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17575] ppid=17570 vsize=15419452 memory=12 CPUtime=0.12 cores=1,3,5,7
/proc/17572/task/17575/stat : 17575 (java) S 17570 17570 15592 0 -1 1077944384 240 0 0 0 6 6 0 0 20 0 19 0 407753136 15789518848 129574 33554432000 4194304 4196468 140733819672640 140087876160016 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17576] ppid=17570 vsize=15419452 memory=13 CPUtime=0.13 cores=1,3,5,7
/proc/17572/task/17576/stat : 17576 (java) S 17570 17570 15592 0 -1 1077944384 1111 0 0 0 7 6 0 0 20 0 19 0 407753136 15789518848 129574 33554432000 4194304 4196468 140733819672640 140087539394960 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17577] ppid=17570 vsize=15419452 memory=1728 CPUtime=0.13 cores=1,3,5,7
/proc/17572/task/17577/stat : 17577 (java) S 17570 17570 15592 0 -1 1077944384 254 0 0 0 7 6 0 0 20 0 19 0 407753136 15789518848 129574 33554432000 4194304 4196468 140733819672640 140087538342160 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17578] ppid=17570 vsize=15419452 memory=704 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17578/stat : 17578 (java) S 17570 17570 15592 0 -1 1077944384 767 0 0 0 0 0 0 0 20 0 19 0 407753137 15789518848 129574 33554432000 4194304 4196468 140733819672640 140087484959600 140087949183618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17579] ppid=17570 vsize=15419452 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17579/stat : 17579 (java) S 17570 17570 15592 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 407753138 15789518848 129574 33554432000 4194304 4196468 140733819672640 140087483905632 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17580] ppid=17570 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17580/stat : 17580 (java) S 17570 17570 15592 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 407753138 15789518848 129574 33554432000 4194304 4196468 140733819672640 140087482852720 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17581] ppid=17570 vsize=15419452 memory=7086507954908909651 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17581/stat : 17581 (java) S 17570 17570 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407753140 15789518848 129574 33554432000 4194304 4196468 140733819672640 140087481801040 140087949191067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17582] ppid=17570 vsize=15419452 memory=7085964663054688832 CPUtime=2.26 cores=1,3,5,7
/proc/17572/task/17582/stat : 17582 (java) S 17570 17570 15592 0 -1 1077944384 6132 0 0 0 225 1 0 0 20 0 19 0 407753140 15789518848 129574 33554432000 4194304 4196468 140733819672640 140087480748400 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17583] ppid=17570 vsize=15419452 memory=7518022159162827609 CPUtime=1.91 cores=1,3,5,7
/proc/17572/task/17583/stat : 17583 (java) S 17570 17570 15592 0 -1 1077944384 3483 0 0 0 190 1 0 0 20 0 19 0 407753140 15789518848 129574 33554432000 4194304 4196468 140733819672640 140087479695600 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17584] ppid=17570 vsize=15419452 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/17572/task/17584/stat : 17584 (java) S 17570 17570 15592 0 -1 1077944384 4488 0 0 0 78 1 0 0 20 0 19 0 407753140 15789518848 129574 33554432000 4194304 4196468 140733819672640 140087478642800 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17585] ppid=17570 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17585/stat : 17585 (java) S 17570 17570 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407753141 15789518848 129574 33554432000 4194304 4196468 140733819672640 140087477590240 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17586] ppid=17570 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17572/task/17586/stat : 17586 (java) S 17570 17570 15592 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 19 0 407753141 15789518848 129574 33554432000 4194304 4196468 140733819672640 140087476538544 140087949183618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17587] ppid=17570 vsize=15419452 memory=0 CPUtime=8.87 cores=1,3,5,7
/proc/17572/task/17587/stat : 17587 (java) S 17570 17570 15592 0 -1 1077944384 594 0 0 0 885 2 0 0 20 0 19 0 407753212 15789518848 129574 33554432000 4194304 4196468 140733819672640 140087473786944 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17588] ppid=17570 vsize=15419452 memory=0 CPUtime=8.63 cores=1,3,5,7
/proc/17572/task/17588/stat : 17588 (java) S 17570 17570 15592 0 -1 1077944384 1623 0 0 0 862 1 0 0 20 0 19 0 407753212 15789518848 129574 33554432000 4194304 4196468 140733819672640 140087264109904 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17589] ppid=17570 vsize=15419452 memory=216157114108244 CPUtime=8.92 cores=1,3,5,7
/proc/17572/task/17589/stat : 17589 (java) R 17570 17570 15592 0 -1 4202560 299 0 0 0 891 1 0 0 20 0 19 0 407753212 15789518848 129574 33554432000 4194304 4196468 140733819672640 140087263051768 140087562328908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
[pid=17572/tid=17590] ppid=17570 vsize=15419452 memory=216157114108245 CPUtime=8.56 cores=1,3,5,7
/proc/17572/task/17590/stat : 17590 (java) S 17570 17570 15592 0 -1 1077944384 640 0 0 0 856 0 0 0 20 0 19 0 407753212 15789518848 129574 33554432000 4194304 4196468 140733819672640 140087262004304 140087949182677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140733819679727 140733819679898 140733819679898 140733819682767 0
Current children cumulated CPU time: 41.32 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 519748 KiB

Child status: 0
Real time (s): 10.7214
CPU time (s): 41.3506
CPU user time (s): 40.941
CPU system time (s): 0.409619
CPU usage (%): 385.683
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 519748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.941
system time used= 0.409619
maximum resident set size= 518480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31983
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= 3010
involuntary context switches= 1309


# summary of solver processes directly reported to runsolver:
#   pid: 17570
#   total CPU time (s): 41.3506
#   total CPU user time (s): 40.941
#   total CPU system time (s): 0.409619

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.079531 second user time and 0.180631 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-12 19:52:22
IDJOB=4393094
IDBENCH=122886
IDSOLVER=2840
FILE ID=node104/4393094-1568314958
RUNJOBID= node104-1568309054-15624
PBS_JOBID= 21701133
Free space on /tmp= 56548 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-144.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-4393094-1568314958/watcher-4393094-1568314958 -o /tmp/evaluation-result-4393094-1568314958/solver-4393094-1568314958 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15624 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1155153409 HOME/instance-4393094-1568314958.xml

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

MD5SUM BENCH= b8938fafa0a7bd5ba97e6b9454c94e7b
RANDOM SEED=1155153409

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21733124 kB
MemAvailable:   30504428 kB
Buffers:          139080 kB
Cached:          8822564 kB
SwapCached:        31864 kB
Active:          3506636 kB
Inactive:        6816264 kB
Active(anon):    1329340 kB
Inactive(anon):    73188 kB
Active(file):    2177296 kB
Inactive(file):  6743076 kB
Unevictable:      107804 kB
Mlocked:          107804 kB
SwapTotal:      67108860 kB
SwapFree:       66977612 kB
Dirty:             26040 kB
Writeback:             0 kB
AnonPages:       1390844 kB
Mapped:            55648 kB
Shmem:             32780 kB
Slab:             310216 kB
SReclaimable:     279392 kB
SUnreclaim:        30824 kB
KernelStack:        4160 kB
PageTables:         7900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3596036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1296384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56520 MiB
End job on node104 at 2019-09-12 19:52:33