Trace number 4272876

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 NameAnswerobjective functionCPU timeWall clock time
choco-solver 5a (2017-07-26)SAT (TO)687 2520.1001 2483.6101

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-10-10-9.xml
MD5SUM61a67ae858673343e351cd0fcc1d1459
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark615
Best CPU time to get the best result obtained on this benchmark19946.6
Satisfiable
(Un)Satisfiability was proved
Number of variables410
Number of constraints330
Number of domains12
Minimum domain size8
Maximum domain size704
Distribution of domain sizes[{"size":8,"count":10},{"size":9,"count":30},{"size":10,"count":160},{"size":704,"count":210}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":110},{"degree":3,"count":200},{"degree":11,"count":100}]
Minimum constraint arity1
Maximum constraint arity12
Distribution of constraint arities[{"arity":1,"count":10},{"arity":2,"count":100},{"arity":3,"count":100},{"arity":10,"count":20},{"arity":12,"count":100}]
Number of extensional constraints100
Number of intensional constraints110
Distribution of constraint types[{"type":"extension","count":100},{"type":"intension","count":110},{"type":"allDifferent","count":10},{"type":"noOverlap","count":10},{"type":"element","count":100}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.05	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272876-1502678363.xml"  -tl '2520s' -p 1 -x 3
0.16/0.24	c [HOME/instance-4272876-1502678363.xml, -tl, 2520s, -p, 1, -x, 3]
0.16/0.30	c simple solver
0.34/0.37	c parse instance...
1.26/0.71	c solve instance...
412.18/390.30	o 700 
2260.98/2226.86	o 687 
2520.08/2483.60	s SATISFIABLE
2520.08/2483.60	v <instantiation>
2520.08/2483.60	v 	<list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[0][5] sd[0][6] sd[0][7] sd[0][8] sd[0][9] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[1][5] sd[1][6] sd[1][7] sd[1][8] sd[1][9] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[2][5] sd[2][6] sd[2][7] sd[2][8] sd[2][9] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[3][5] sd[3][6] sd[3][7] sd[3][8] sd[3][9] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] sd[4][5] sd[4][6] sd[4][7] sd[4][8] sd[4][9] sd[5][0] sd[5][1] sd[5][2] sd[5][3] sd[5][4] sd[5][5] sd[5][6] sd[5][7] sd[5][8] sd[5][9] sd[6][0] sd[6][1] sd[6][2] sd[6][3] sd[6][4] sd[6][5] sd[6][6] sd[6][7] sd[6][8] sd[6][9] sd[7][0] sd[7][1] sd[7][2] sd[7][3] sd[7][4] sd[7][5] sd[7][6] sd[7][7] sd[7][8] sd[7][9] sd[8][0] sd[8][1] sd[8][2] sd[8][3] sd[8][4] sd[8][5] sd[8][6] sd[8][7] sd[8][8] sd[8][9] sd[9][0] sd[9][1] sd[9][2] sd[9][3] sd[9][4] sd[9][5] sd[9][6] sd[9][7] sd[9][8] sd[9][9] </list>
2520.08/2483.60	v 	<values>103 167 243 253 304 338 387 392 480 518 0 9 107 132 171 342 432 478 527 620 0 175 321 347 407 495 522 554 609 639 74 77 155 164 198 228 345 456 519 583 0 107 132 243 347 387 456 579 604 681 0 85 119 164 272 345 432 456 478 566 9 74 167 206 256 335 389 480 518 609 0 9 103 132 169 252 335 407 494 583 0 107 175 228 256 272 342 411 495 579 0 7 71 113 229 304 314 380 488 538 566 687 671 619 682 630 653 674 646 572 64 76 10 51 34 1 4 35 8 48 9 98 12 39 71 90 46 44 93 67 95 97 26 33 73 13 32 50 30 32 3 78 2 34 19 22 47 63 64 36 64 25 65 95 40 69 67 20 77 1 85 22 45 19 73 66 24 14 88 64 65 93 39 46 79 2 91 38 91 44 9 94 29 37 60 69 72 87 33 91 68 68 53 28 16 70 47 84 84 67 7 64 42 42 67 10 41 89 50 34 6 5 3 7 9 8 2 4 1 0 7 1 3 0 4 6 2 8 5 9 3 9 2 0 1 7 8 6 4 5 9 2 5 3 1 0 4 6 7 8 4 1 7 5 2 8 9 3 6 0 5 9 3 1 4 7 6 8 2 0 9 8 6 2 1 7 5 0 4 3 9 6 0 4 8 2 1 3 5 7 8 9 0 1 4 6 5 7 3 2 6 2 4 5 8 7 3 0 1 9 518 480 387 243 392 167 103 253 338 304 132 9 432 107 171 527 342 0 478 620 347 407 321 0 609 639 554 495 522 175 228 198 77 164 345 155 456 519 583 74 681 107 347 579 0 243 604 132 387 456 566 164 478 119 272 0 432 345 456 85 480 256 206 609 518 389 167 335 74 9 103 335 252 407 132 494 9 583 169 0 175 228 579 495 256 342 272 411 0 107 380 488 7 314 71 113 0 304 229 538 </values>
2520.08/2483.60	v </instantiation>
2520.08/2483.60	c Unexpected resolution interruption!

Verifier Data 

OK	687

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272876-1502678363/watcher-4272876-1502678363 -o /tmp/evaluation-result-4272876-1502678363/solver-4272876-1502678363 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1289681508 HOME/instance-4272876-1502678363.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100106 s]*
/proc/loadavg: 1.53 1.58 1.59 3/205 13571
/proc/meminfo: memFree=30707416/32770624 swapFree=67108860/67108860
[pid=13561] ppid=13558 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13561/stat : 13561 (xcsp3-exec) S 13558 13561 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 70056982 9740288 345 18446744073709551615 4194304 5098028 140728564505072 140728564503176 140111944725116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 38977536 140728564511096 140728564511301 140728564511301 140728564514795 0
/proc/13561/statm: 2378 345 289 221 0 87 0
[pid=13563] ppid=13561 vsize=13574484 memory=19756 CPUtime=0.03 cores=0,2,4,6
/proc/13563/stat : 13563 (java) S 13561 13561 897 0 -1 1077944320 4296 0 0 0 3 0 0 0 20 0 9 0 70056988 13900271616 4939 18446744073709551615 4194304 4196468 140722882564608 140722882547152 139907491483383 0 0 1 16800970 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
/proc/13563/statm: 3393621 4939 2135 1 0 3383118 0
[pid=13563/tid=13564] ppid=13561 vsize=13574484 memory=7311146985107750967 CPUtime=0.03 cores=0,2,4,6
/proc/13563/task/13564/stat : 13564 (java) R 13561 13561 897 0 -1 4202560 3006 0 0 0 3 0 0 0 20 0 9 0 70056988 13900271616 4939 18446744073709551615 4194304 4196468 140722882564608 139907495718776 139907491505309 0 4 1 16800970 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13565] ppid=13561 vsize=13574484 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13565/stat : 13565 (java) S 13561 13561 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 70056989 13900271616 4939 18446744073709551615 4194304 4196468 140722882564608 139907425917712 139907491493589 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13566] ppid=13561 vsize=13574484 memory=4121272136958551712 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13566/stat : 13566 (java) S 13561 13561 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 70056989 13900271616 4939 18446744073709551615 4194304 4196468 140722882564608 139907424865168 139907491493589 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13567] ppid=13561 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13567/stat : 13567 (java) S 13561 13561 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 70056989 13900271616 4939 18446744073709551615 4194304 4196468 140722882564608 139907423812624 139907491493589 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13568] ppid=13561 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13568/stat : 13568 (java) S 13561 13561 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 70056989 13900271616 4939 18446744073709551615 4194304 4196468 140722882564608 139907422760080 139907491493589 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13569] ppid=13561 vsize=13574484 memory=140707979142784 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13569/stat : 13569 (java) S 13561 13561 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 70056990 13900271616 4939 18446744073709551615 4194304 4196468 140722882564608 139906969618416 139907491494530 0 0 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13570] ppid=13561 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13570/stat : 13570 (java) S 13561 13561 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 70056991 13900271616 4939 18446744073709551615 4194304 4196468 140722882564608 139906968564640 139907491493589 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13571] ppid=13561 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13571/stat : 13571 (java) S 13561 13561 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 70056991 13900271616 4939 18446744073709551615 4194304 4196468 140722882564608 139906967512048 139907491493589 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 21136 KiB

[startup+0.213515 s]*
/proc/loadavg: 1.53 1.58 1.59 5/211 13577
/proc/meminfo: memFree=30699688/32770624 swapFree=67108860/67108860
[pid=13561] ppid=13558 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13561/stat : 13561 (xcsp3-exec) S 13558 13561 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 70056982 9740288 345 18446744073709551615 4194304 5098028 140728564505072 140728564503176 140111944725116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 38977536 140728564511096 140728564511301 140728564511301 140728564514795 0
/proc/13561/statm: 2378 345 289 221 0 87 0
[pid=13563] ppid=13561 vsize=13974352 memory=29488 CPUtime=0.16 cores=0,2,4,6
/proc/13563/stat : 13563 (java) S 13561 13561 897 0 -1 1077944320 5786 0 0 0 15 1 0 0 20 0 15 0 70056988 14309736448 7372 18446744073709551615 4194304 4196468 140722882564608 140722882547152 139907491483383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
/proc/13563/statm: 3493588 7372 2928 1 0 3482964 0
[pid=13563/tid=13564] ppid=13561 vsize=13974352 memory=7311146985107750967 CPUtime=0.1 cores=0,2,4,6
/proc/13563/task/13564/stat : 13564 (java) R 13561 13561 897 0 -1 4202560 3533 0 0 0 10 0 0 0 20 0 15 0 70056988 14309736448 7372 18446744073709551615 4194304 4196468 140722882564608 139907495704656 139907491505309 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13565] ppid=13561 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13565/stat : 13565 (java) S 13561 13561 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70056989 14309736448 7372 18446744073709551615 4194304 4196468 140722882564608 139907425917712 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13566] ppid=13561 vsize=13974352 memory=4121272136958551712 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13566/stat : 13566 (java) S 13561 13561 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70056989 14309736448 7372 18446744073709551615 4194304 4196468 140722882564608 139907424865168 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13567] ppid=13561 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13567/stat : 13567 (java) S 13561 13561 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70056989 14309736448 7372 18446744073709551615 4194304 4196468 140722882564608 139907423812624 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13568] ppid=13561 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13568/stat : 13568 (java) S 13561 13561 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70056989 14309736448 7372 18446744073709551615 4194304 4196468 140722882564608 139907422760080 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13569] ppid=13561 vsize=13974352 memory=140707979142784 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13569/stat : 13569 (java) S 13561 13561 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70056990 14309736448 7372 18446744073709551615 4194304 4196468 140722882564608 139906969618416 139907491494530 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13570] ppid=13561 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13570/stat : 13570 (java) S 13561 13561 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70056991 14309736448 7372 18446744073709551615 4194304 4196468 140722882564608 139906968564640 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13571] ppid=13561 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13571/stat : 13571 (java) S 13561 13561 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70056991 14309736448 7372 18446744073709551615 4194304 4196468 140722882564608 139906967512048 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13572] ppid=13561 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13572/stat : 13572 (java) S 13561 13561 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70056993 14309736448 7372 18446744073709551615 4194304 4196468 140722882564608 139906966460624 139907491501979 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13573] ppid=13561 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13573/stat : 13573 (java) R 13561 13561 897 0 -1 1077944384 499 0 0 0 0 0 0 0 20 0 15 0 70056993 14309736448 7372 18446744073709551615 4194304 4196468 140722882564608 139906965408240 139907491494530 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13574] ppid=13561 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13574/stat : 13574 (java) S 13561 13561 897 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 70056993 14309736448 7372 18446744073709551615 4194304 4196468 140722882564608 139906964355696 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13575] ppid=13561 vsize=13974352 memory=140707979142784 CPUtime=0.03 cores=0,2,4,6
/proc/13563/task/13575/stat : 13575 (java) R 13561 13561 897 0 -1 4202560 403 0 0 0 3 0 0 0 20 0 15 0 70056993 14309736448 7372 18446744073709551615 4194304 4196468 140722882564608 139906963300072 139907470848085 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13576] ppid=13561 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13576/stat : 13576 (java) S 13561 13561 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70056994 14309736448 7372 18446744073709551615 4194304 4196468 140722882564608 139906962250848 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13577] ppid=13561 vsize=13974352 memory=140707979142784 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13577/stat : 13577 (java) S 13561 13561 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70056998 14309736448 7372 18446744073709551615 4194304 4196468 140722882564608 139906961197360 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30868 KiB

[startup+0.310287 s]*
/proc/loadavg: 1.48 1.57 1.58 3/211 13577
/proc/meminfo: memFree=30686972/32770624 swapFree=67108860/67108860
[pid=13561] ppid=13558 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13561/stat : 13561 (xcsp3-exec) S 13558 13561 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 70056982 9740288 345 18446744073709551615 4194304 5098028 140728564505072 140728564503176 140111944725116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 38977536 140728564511096 140728564511301 140728564511301 140728564514795 0
/proc/13561/statm: 2378 345 289 221 0 87 0
[pid=13563] ppid=13561 vsize=13978608 memory=40204 CPUtime=0.34 cores=0,2,4,6
/proc/13563/stat : 13563 (java) S 13561 13561 897 0 -1 1077944320 9269 0 0 0 32 2 0 0 20 0 15 0 70056988 14314094592 10051 18446744073709551615 4194304 4196468 140722882564608 140722882547152 139907491483383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
/proc/13563/statm: 3494652 10051 3046 1 0 3482964 0
[pid=13563/tid=13564] ppid=13561 vsize=13978608 memory=-8774313645642428999 CPUtime=0.2 cores=0,2,4,6
/proc/13563/task/13564/stat : 13564 (java) R 13561 13561 897 0 -1 4202560 6405 0 0 0 18 2 0 0 20 0 15 0 70056988 14314094592 10051 18446744073709551615 4194304 4196468 140722882564608 139907495697600 139907475563870 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13565] ppid=13561 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13565/stat : 13565 (java) S 13561 13561 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70056989 14314094592 10051 18446744073709551615 4194304 4196468 140722882564608 139907425917712 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13566] ppid=13561 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13566/stat : 13566 (java) S 13561 13561 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70056989 14314094592 10051 18446744073709551615 4194304 4196468 140722882564608 139907424865168 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13567] ppid=13561 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13567/stat : 13567 (java) S 13561 13561 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70056989 14314094592 10051 18446744073709551615 4194304 4196468 140722882564608 139907423812624 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13568] ppid=13561 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13568/stat : 13568 (java) S 13561 13561 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70056989 14314094592 10051 18446744073709551615 4194304 4196468 140722882564608 139907422760080 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13569] ppid=13561 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13569/stat : 13569 (java) S 13561 13561 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70056990 14314094592 10051 18446744073709551615 4194304 4196468 140722882564608 139906969618416 139907491494530 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13570] ppid=13561 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13570/stat : 13570 (java) S 13561 13561 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70056991 14314094592 10051 18446744073709551615 4194304 4196468 140722882564608 139906968564640 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13571] ppid=13561 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13571/stat : 13571 (java) S 13561 13561 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70056991 14314094592 10051 18446744073709551615 4194304 4196468 140722882564608 139906967512048 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13572] ppid=13561 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13572/stat : 13572 (java) S 13561 13561 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70056993 14314094592 10051 18446744073709551615 4194304 4196468 140722882564608 139906966460624 139907491501979 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13573] ppid=13561 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13563/task/13573/stat : 13573 (java) S 13561 13561 897 0 -1 1077944384 687 0 0 0 2 0 0 0 20 0 15 0 70056993 14314094592 10051 18446744073709551615 4194304 4196468 140722882564608 139906965408240 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13574] ppid=13561 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13563/task/13574/stat : 13574 (java) S 13561 13561 897 0 -1 1077944384 153 0 0 0 2 0 0 0 20 0 15 0 70056993 14314094592 10051 18446744073709551615 4194304 4196468 140722882564608 139906964355696 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13575] ppid=13561 vsize=13978608 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13563/task/13575/stat : 13575 (java) S 13561 13561 897 0 -1 1077944384 725 0 0 0 8 0 0 0 20 0 15 0 70056993 14314094592 10051 18446744073709551615 4194304 4196468 140722882564608 139906963303152 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13576] ppid=13561 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13576/stat : 13576 (java) S 13561 13561 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70056994 14314094592 10051 18446744073709551615 4194304 4196468 140722882564608 139906962250848 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13577] ppid=13561 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13577/stat : 13577 (java) S 13561 13561 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70056998 14314094592 10051 18446744073709551615 4194304 4196468 140722882564608 139906961197360 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41584 KiB

[startup+0.700813 s]
/proc/loadavg: 1.48 1.57 1.58 4/211 13577
/proc/meminfo: memFree=30678400/32770624 swapFree=67108860/67108860
[pid=13561] ppid=13558 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13561/stat : 13561 (xcsp3-exec) S 13558 13561 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 70056982 9740288 345 18446744073709551615 4194304 5098028 140728564505072 140728564503176 140111944725116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 38977536 140728564511096 140728564511301 140728564511301 140728564514795 0
/proc/13561/statm: 2378 345 289 221 0 87 0
[pid=13563] ppid=13561 vsize=13980732 memory=69236 CPUtime=1.26 cores=0,2,4,6
/proc/13563/stat : 13563 (java) S 13561 13561 897 0 -1 1077944320 13711 0 0 0 121 5 0 0 20 0 15 0 70056988 14316269568 17309 18446744073709551615 4194304 4196468 140722882564608 140722882547152 139907491483383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
/proc/13563/statm: 3495183 17309 3172 1 0 3483476 0
[pid=13563/tid=13564] ppid=13561 vsize=13980732 memory=7595995151879202156 CPUtime=0.58 cores=0,2,4,6
/proc/13563/task/13564/stat : 13564 (java) R 13561 13561 897 0 -1 4202560 8896 0 0 0 55 3 0 0 20 0 15 0 70056988 14316269568 17309 18446744073709551615 4194304 4196468 140722882564608 139907495707280 139907475563870 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13565] ppid=13561 vsize=13980732 memory=33 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13565/stat : 13565 (java) S 13561 13561 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70056989 14316269568 17309 18446744073709551615 4194304 4196468 140722882564608 139907425917712 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13566] ppid=13561 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13566/stat : 13566 (java) S 13561 13561 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70056989 14316269568 17309 18446744073709551615 4194304 4196468 140722882564608 139907424865168 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13567] ppid=13561 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13567/stat : 13567 (java) S 13561 13561 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70056989 14316269568 17309 18446744073709551615 4194304 4196468 140722882564608 139907423812624 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13568] ppid=13561 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13568/stat : 13568 (java) S 13561 13561 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70056989 14316269568 17309 18446744073709551615 4194304 4196468 140722882564608 139907422760080 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13569] ppid=13561 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13569/stat : 13569 (java) S 13561 13561 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 70056990 14316269568 17309 18446744073709551615 4194304 4196468 140722882564608 139906969618416 139907491494530 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13570] ppid=13561 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13570/stat : 13570 (java) S 13561 13561 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70056991 14316269568 17309 18446744073709551615 4194304 4196468 140722882564608 139906968564640 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13571] ppid=13561 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13571/stat : 13571 (java) S 13561 13561 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70056991 14316269568 17309 18446744073709551615 4194304 4196468 140722882564608 139906967512048 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13572] ppid=13561 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13572/stat : 13572 (java) S 13561 13561 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70056993 14316269568 17309 18446744073709551615 4194304 4196468 140722882564608 139906966460624 139907491501979 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13573] ppid=13561 vsize=13980732 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/13563/task/13573/stat : 13573 (java) S 13561 13561 897 0 -1 1077944384 1258 0 0 0 15 0 0 0 20 0 15 0 70056993 14316269568 17309 18446744073709551615 4194304 4196468 140722882564608 139906965408240 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13574] ppid=13561 vsize=13980732 memory=2529 CPUtime=0.17 cores=0,2,4,6
/proc/13563/task/13574/stat : 13574 (java) S 13561 13561 897 0 -1 1077944384 768 0 0 0 17 0 0 0 20 0 15 0 70056993 14316269568 17309 18446744073709551615 4194304 4196468 140722882564608 139906964355696 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13575] ppid=13561 vsize=13980732 memory=2000 CPUtime=0.32 cores=0,2,4,6
/proc/13563/task/13575/stat : 13575 (java) S 13561 13561 897 0 -1 1077944384 1481 0 0 0 32 0 0 0 20 0 15 0 70056993 14316269568 17309 18446744073709551615 4194304 4196468 140722882564608 139906963303152 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13576] ppid=13561 vsize=13980732 memory=10984 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13576/stat : 13576 (java) S 13561 13561 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70056994 14316269568 17309 18446744073709551615 4194304 4196468 140722882564608 139906962250848 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13577] ppid=13561 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13577/stat : 13577 (java) S 13561 13561 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70056998 14316269568 17309 18446744073709551615 4194304 4196468 140722882564608 139906961197360 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 70616 KiB

[startup+1.5008 s]
/proc/loadavg: 1.48 1.57 1.58 5/211 13577
/proc/meminfo: memFree=30644168/32770624 swapFree=67108860/67108860
[pid=13561] ppid=13558 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13561/stat : 13561 (xcsp3-exec) S 13558 13561 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 70056982 9740288 345 18446744073709551615 4194304 5098028 140728564505072 140728564503176 140111944725116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 38977536 140728564511096 140728564511301 140728564511301 140728564514795 0
/proc/13561/statm: 2378 345 289 221 0 87 0
[pid=13563] ppid=13561 vsize=13980732 memory=124516 CPUtime=3.81 cores=0,2,4,6
/proc/13563/stat : 13563 (java) S 13561 13561 897 0 -1 1077944320 43070 0 0 0 372 9 0 0 20 0 15 0 70056988 14316269568 31129 18446744073709551615 4194304 4196468 140722882564608 140722882547152 139907491483383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
/proc/13563/statm: 3495183 31129 3192 1 0 3483476 0
[pid=13563/tid=13564] ppid=13561 vsize=13980732 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/13563/task/13564/stat : 13564 (java) R 13561 13561 897 0 -1 4202560 9875 0 0 0 134 3 0 0 20 0 15 0 70056988 14316269568 31129 18446744073709551615 4194304 4196468 140722882564608 139907495717384 139907104683815 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13565] ppid=13561 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13565/stat : 13565 (java) S 13561 13561 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70056989 14316269568 31129 18446744073709551615 4194304 4196468 140722882564608 139907425917712 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13566] ppid=13561 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13566/stat : 13566 (java) S 13561 13561 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70056989 14316269568 31129 18446744073709551615 4194304 4196468 140722882564608 139907424865168 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13567] ppid=13561 vsize=13980732 memory=79444 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13567/stat : 13567 (java) S 13561 13561 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70056989 14316269568 31129 18446744073709551615 4194304 4196468 140722882564608 139907423812624 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13568] ppid=13561 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6

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

[pid=13563/tid=13569] ppid=13561 vsize=13982780 memory=341732 CPUtime=0.68 cores=0,2,4,6
/proc/13563/task/13569/stat : 13569 (java) S 13561 13561 897 0 -1 1077944384 18160 0 0 0 60 8 0 0 20 0 15 0 70056990 14318366720 85432 18446744073709551615 4194304 4196468 140722882564608 139906969618416 139907491494530 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13570] ppid=13561 vsize=13982780 memory=341728 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13570/stat : 13570 (java) S 13561 13561 897 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 70056991 14318366720 85432 18446744073709551615 4194304 4196468 140722882564608 139906968564704 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13571] ppid=13561 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13571/stat : 13571 (java) S 13561 13561 897 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 70056991 14318366720 85432 18446744073709551615 4194304 4196468 140722882564608 139906967512064 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13572] ppid=13561 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13572/stat : 13572 (java) S 13561 13561 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70056993 14318366720 85432 18446744073709551615 4194304 4196468 140722882564608 139906966460624 139907491501979 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13573] ppid=13561 vsize=13982780 memory=4116 CPUtime=9.67 cores=0,2,4,6
/proc/13563/task/13573/stat : 13573 (java) S 13561 13561 897 0 -1 1077944384 51271 0 0 0 961 6 0 0 20 0 15 0 70056993 14318366720 85432 18446744073709551615 4194304 4196468 140722882564608 139906965408240 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13574] ppid=13561 vsize=13982780 memory=341728 CPUtime=9.94 cores=0,2,4,6
/proc/13563/task/13574/stat : 13574 (java) S 13561 13561 897 0 -1 1077944384 61509 0 0 0 987 7 0 0 20 0 15 0 70056993 14318366720 85432 18446744073709551615 4194304 4196468 140722882564608 139906964355696 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13575] ppid=13561 vsize=13982780 memory=4116 CPUtime=1.07 cores=0,2,4,6
/proc/13563/task/13575/stat : 13575 (java) S 13561 13561 897 0 -1 1077944384 13150 0 0 0 105 2 0 0 20 0 15 0 70056993 14318366720 85432 18446744073709551615 4194304 4196468 140722882564608 139906963303152 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13576] ppid=13561 vsize=13982780 memory=39316 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13576/stat : 13576 (java) S 13561 13561 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70056994 14318366720 85432 18446744073709551615 4194304 4196468 140722882564608 139906962250848 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13577] ppid=13561 vsize=13982780 memory=2316 CPUtime=0.7 cores=0,2,4,6
/proc/13563/task/13577/stat : 13577 (java) S 13561 13561 897 0 -1 1077944384 1326 0 0 0 30 40 0 0 20 0 15 0 70056998 14318366720 85432 18446744073709551615 4194304 4196468 140722882564608 139906961197360 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
Current children cumulated CPU time: 2357.61 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 343108 KiB

[startup+2382.3 s]
/proc/loadavg: 1.53 1.47 1.50 3/212 13898
/proc/meminfo: memFree=30323872/32770624 swapFree=67108860/67108860
[pid=13561] ppid=13558 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13561/stat : 13561 (xcsp3-exec) S 13558 13561 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 70056982 9740288 345 18446744073709551615 4194304 5098028 140728564505072 140728564503176 140111944725116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 38977536 140728564511096 140728564511301 140728564511301 140728564514795 0
/proc/13561/statm: 2378 345 289 221 0 87 0
[pid=13563] ppid=13561 vsize=13982780 memory=339808 CPUtime=2417.85 cores=0,2,4,6
/proc/13563/stat : 13563 (java) S 13561 13561 897 0 -1 1077944320 217152 0 0 0 241665 120 0 0 20 0 15 0 70056988 14318366720 84952 18446744073709551615 4194304 4196468 140722882564608 140722882547152 139907491483383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
/proc/13563/statm: 3495695 84952 3268 1 0 3483988 0
[pid=13563/tid=13564] ppid=13561 vsize=13982780 memory=1380 CPUtime=2376.25 cores=0,2,4,6
/proc/13563/task/13564/stat : 13564 (java) R 13561 13561 897 0 -1 4202560 36079 0 0 0 237614 11 0 0 20 0 15 0 70056988 14318366720 84952 18446744073709551615 4194304 4196468 140722882564608 139907495722768 139907109228928 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13565] ppid=13561 vsize=13982780 memory=339808 CPUtime=4.86 cores=0,2,4,6
/proc/13563/task/13565/stat : 13565 (java) S 13561 13561 897 0 -1 1077944384 6955 0 0 0 471 15 0 0 20 0 15 0 70056989 14318366720 84952 18446744073709551615 4194304 4196468 140722882564608 139907425917712 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13566] ppid=13561 vsize=13982780 memory=1380 CPUtime=4.84 cores=0,2,4,6
/proc/13563/task/13566/stat : 13566 (java) S 13561 13561 897 0 -1 1077944384 8661 0 0 0 469 15 0 0 20 0 15 0 70056989 14318366720 84952 18446744073709551615 4194304 4196468 140722882564608 139907424865168 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13567] ppid=13561 vsize=13982780 memory=339808 CPUtime=4.87 cores=0,2,4,6
/proc/13563/task/13567/stat : 13567 (java) S 13561 13561 897 0 -1 1077944384 8454 0 0 0 472 15 0 0 20 0 15 0 70056989 14318366720 84952 18446744073709551615 4194304 4196468 140722882564608 139907423812624 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13568] ppid=13561 vsize=13982780 memory=1380 CPUtime=4.84 cores=0,2,4,6
/proc/13563/task/13568/stat : 13568 (java) S 13561 13561 897 0 -1 1077944384 10026 0 0 0 470 14 0 0 20 0 15 0 70056989 14318366720 84952 18446744073709551615 4194304 4196468 140722882564608 139907422760080 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13569] ppid=13561 vsize=13982780 memory=339808 CPUtime=0.7 cores=0,2,4,6
/proc/13563/task/13569/stat : 13569 (java) S 13561 13561 897 0 -1 1077944384 18335 0 0 0 62 8 0 0 20 0 15 0 70056990 14318366720 84952 18446744073709551615 4194304 4196468 140722882564608 139906969618416 139907491494530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13570] ppid=13561 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13570/stat : 13570 (java) S 13561 13561 897 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 70056991 14318366720 84952 18446744073709551615 4194304 4196468 140722882564608 139906968564704 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13571] ppid=13561 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13571/stat : 13571 (java) S 13561 13561 897 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 70056991 14318366720 84952 18446744073709551615 4194304 4196468 140722882564608 139906967512064 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13572] ppid=13561 vsize=13982780 memory=339712 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13572/stat : 13572 (java) S 13561 13561 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70056993 14318366720 84952 18446744073709551615 4194304 4196468 140722882564608 139906966460624 139907491501979 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13573] ppid=13561 vsize=13982780 memory=339808 CPUtime=9.67 cores=0,2,4,6
/proc/13563/task/13573/stat : 13573 (java) S 13561 13561 897 0 -1 1077944384 51273 0 0 0 961 6 0 0 20 0 15 0 70056993 14318366720 84952 18446744073709551615 4194304 4196468 140722882564608 139906965408240 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13574] ppid=13561 vsize=13982780 memory=1380 CPUtime=9.94 cores=0,2,4,6
/proc/13563/task/13574/stat : 13574 (java) S 13561 13561 897 0 -1 1077944384 61511 0 0 0 987 7 0 0 20 0 15 0 70056993 14318366720 84952 18446744073709551615 4194304 4196468 140722882564608 139906964355696 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13575] ppid=13561 vsize=13982780 memory=4116 CPUtime=1.07 cores=0,2,4,6
/proc/13563/task/13575/stat : 13575 (java) S 13561 13561 897 0 -1 1077944384 13152 0 0 0 105 2 0 0 20 0 15 0 70056993 14318366720 84952 18446744073709551615 4194304 4196468 140722882564608 139906963303152 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13576] ppid=13561 vsize=13982780 memory=39316 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13576/stat : 13576 (java) S 13561 13561 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70056994 14318366720 84952 18446744073709551615 4194304 4196468 140722882564608 139906962250848 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13577] ppid=13561 vsize=13982780 memory=1380 CPUtime=0.71 cores=0,2,4,6
/proc/13563/task/13577/stat : 13577 (java) S 13561 13561 897 0 -1 1077944384 1341 0 0 0 30 41 0 0 20 0 15 0 70056998 14318366720 84952 18446744073709551615 4194304 4196468 140722882564608 139906961197360 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
Current children cumulated CPU time: 2417.85 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 341188 KiB

[startup+2442.3 s]
/proc/loadavg: 1.73 1.53 1.51 3/212 13900
/proc/meminfo: memFree=30296580/32770624 swapFree=67108860/67108860
[pid=13561] ppid=13558 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13561/stat : 13561 (xcsp3-exec) S 13558 13561 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 70056982 9740288 345 18446744073709551615 4194304 5098028 140728564505072 140728564503176 140111944725116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 38977536 140728564511096 140728564511301 140728564511301 140728564514795 0
/proc/13561/statm: 2378 345 289 221 0 87 0
[pid=13563] ppid=13561 vsize=13982780 memory=337244 CPUtime=2478.31 cores=0,2,4,6
/proc/13563/stat : 13563 (java) S 13561 13561 897 0 -1 1077944320 218663 0 0 0 247710 121 0 0 20 0 15 0 70056988 14318366720 84311 18446744073709551615 4194304 4196468 140722882564608 140722882547152 139907491483383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
/proc/13563/statm: 3495695 84311 3268 1 0 3483988 0
[pid=13563/tid=13564] ppid=13561 vsize=13982780 memory=337244 CPUtime=2436.05 cores=0,2,4,6
/proc/13563/task/13564/stat : 13564 (java) R 13561 13561 897 0 -1 4202560 36766 0 0 0 243594 11 0 0 20 0 15 0 70056988 14318366720 84311 18446744073709551615 4194304 4196468 140722882564608 139907495722480 139907110480419 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13565] ppid=13561 vsize=13982780 memory=337244 CPUtime=5.01 cores=0,2,4,6
/proc/13563/task/13565/stat : 13565 (java) S 13561 13561 897 0 -1 1077944384 7091 0 0 0 486 15 0 0 20 0 15 0 70056989 14318366720 84311 18446744073709551615 4194304 4196468 140722882564608 139907425917712 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13566] ppid=13561 vsize=13982780 memory=337244 CPUtime=4.99 cores=0,2,4,6
/proc/13563/task/13566/stat : 13566 (java) S 13561 13561 897 0 -1 1077944384 9019 0 0 0 484 15 0 0 20 0 15 0 70056989 14318366720 84311 18446744073709551615 4194304 4196468 140722882564608 139907424865168 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13567] ppid=13561 vsize=13982780 memory=1380 CPUtime=5.02 cores=0,2,4,6
/proc/13563/task/13567/stat : 13567 (java) S 13561 13561 897 0 -1 1077944384 8502 0 0 0 487 15 0 0 20 0 15 0 70056989 14318366720 84311 18446744073709551615 4194304 4196468 140722882564608 139907423812624 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13568] ppid=13561 vsize=13982780 memory=337244 CPUtime=4.99 cores=0,2,4,6
/proc/13563/task/13568/stat : 13568 (java) S 13561 13561 897 0 -1 1077944384 10093 0 0 0 485 14 0 0 20 0 15 0 70056989 14318366720 84311 18446744073709551615 4194304 4196468 140722882564608 139907422760080 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13569] ppid=13561 vsize=13982780 memory=337244 CPUtime=0.72 cores=0,2,4,6
/proc/13563/task/13569/stat : 13569 (java) S 13561 13561 897 0 -1 1077944384 18528 0 0 0 64 8 0 0 20 0 15 0 70056990 14318366720 84311 18446744073709551615 4194304 4196468 140722882564608 139906969618416 139907491494530 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13570] ppid=13561 vsize=13982780 memory=337244 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13570/stat : 13570 (java) S 13561 13561 897 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 70056991 14318366720 84311 18446744073709551615 4194304 4196468 140722882564608 139906968564704 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13571] ppid=13561 vsize=13982780 memory=337244 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13571/stat : 13571 (java) S 13561 13561 897 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 70056991 14318366720 84311 18446744073709551615 4194304 4196468 140722882564608 139906967512064 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13572] ppid=13561 vsize=13982780 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13572/stat : 13572 (java) S 13561 13561 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70056993 14318366720 84311 18446744073709551615 4194304 4196468 140722882564608 139906966460624 139907491501979 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13573] ppid=13561 vsize=13982780 memory=337244 CPUtime=9.67 cores=0,2,4,6
/proc/13563/task/13573/stat : 13573 (java) S 13561 13561 897 0 -1 1077944384 51275 0 0 0 961 6 0 0 20 0 15 0 70056993 14318366720 84311 18446744073709551615 4194304 4196468 140722882564608 139906965408240 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13574] ppid=13561 vsize=13982780 memory=1380 CPUtime=9.94 cores=0,2,4,6
/proc/13563/task/13574/stat : 13574 (java) S 13561 13561 897 0 -1 1077944384 61513 0 0 0 987 7 0 0 20 0 15 0 70056993 14318366720 84311 18446744073709551615 4194304 4196468 140722882564608 139906964355696 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13575] ppid=13561 vsize=13982780 memory=1380 CPUtime=1.07 cores=0,2,4,6
/proc/13563/task/13575/stat : 13575 (java) S 13561 13561 897 0 -1 1077944384 13155 0 0 0 105 2 0 0 20 0 15 0 70056993 14318366720 84311 18446744073709551615 4194304 4196468 140722882564608 139906963303152 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13576] ppid=13561 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13576/stat : 13576 (java) S 13561 13561 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70056994 14318366720 84311 18446744073709551615 4194304 4196468 140722882564608 139906962250848 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13577] ppid=13561 vsize=13982780 memory=2000 CPUtime=0.73 cores=0,2,4,6
/proc/13563/task/13577/stat : 13577 (java) S 13561 13561 897 0 -1 1077944384 1356 0 0 0 31 42 0 0 20 0 15 0 70056998 14318366720 84311 18446744073709551615 4194304 4196468 140722882564608 139906961197360 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
Current children cumulated CPU time: 2478.31 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 338624 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2483.6 s]
/proc/loadavg: 1.70 1.55 1.52 3/211 13901
/proc/meminfo: memFree=30308948/32770624 swapFree=67108860/67108860
[pid=13561] ppid=13558 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13561/stat : 13561 (xcsp3-exec) S 13558 13561 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 70056982 9740288 345 18446744073709551615 4194304 5098028 140728564505072 140728564503176 140111944725116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 38977536 140728564511096 140728564511301 140728564511301 140728564514795 0
/proc/13561/statm: 2378 345 289 221 0 87 0
[pid=13563] ppid=13561 vsize=13982780 memory=335180 CPUtime=2520.08 cores=0,2,4,6
/proc/13563/stat : 13563 (java) S 13561 13561 897 0 -1 1077944320 221021 0 0 0 251886 122 0 0 20 0 15 0 70056988 14318366720 83795 18446744073709551615 4194304 4196468 140722882564608 140722882547152 139907491483383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
/proc/13563/statm: 3495695 83795 3268 1 0 3483988 0
[pid=13563/tid=13564] ppid=13561 vsize=13982780 memory=1380 CPUtime=2477.15 cores=0,2,4,6
/proc/13563/task/13564/stat : 13564 (java) R 13561 13561 897 0 -1 4202560 36865 0 0 0 247704 11 0 0 20 0 15 0 70056988 14318366720 83795 18446744073709551615 4194304 4196468 140722882564608 139907495722464 139907107060665 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13565] ppid=13561 vsize=13982780 memory=0 CPUtime=5.17 cores=0,2,4,6
/proc/13563/task/13565/stat : 13565 (java) S 13561 13561 897 0 -1 1077944384 7317 0 0 0 502 15 0 0 20 0 15 0 70056989 14318366720 83795 18446744073709551615 4194304 4196468 140722882564608 139907425917712 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13566] ppid=13561 vsize=13982780 memory=-8774313645642428999 CPUtime=5.15 cores=0,2,4,6
/proc/13563/task/13566/stat : 13566 (java) S 13561 13561 897 0 -1 1077944384 9293 0 0 0 500 15 0 0 20 0 15 0 70056989 14318366720 83795 18446744073709551615 4194304 4196468 140722882564608 139907424865168 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13567] ppid=13561 vsize=13982780 memory=4044 CPUtime=5.17 cores=0,2,4,6
/proc/13563/task/13567/stat : 13567 (java) S 13561 13561 897 0 -1 1077944384 8815 0 0 0 502 15 0 0 20 0 15 0 70056989 14318366720 83795 18446744073709551615 4194304 4196468 140722882564608 139907423812624 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13568] ppid=13561 vsize=13982780 memory=640 CPUtime=5.14 cores=0,2,4,6
/proc/13563/task/13568/stat : 13568 (java) S 13561 13561 897 0 -1 1077944384 10358 0 0 0 500 14 0 0 20 0 15 0 70056989 14318366720 83795 18446744073709551615 4194304 4196468 140722882564608 139907422760080 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13569] ppid=13561 vsize=13982780 memory=1792 CPUtime=0.75 cores=0,2,4,6
/proc/13563/task/13569/stat : 13569 (java) S 13561 13561 897 0 -1 1077944384 19664 0 0 0 67 8 0 0 20 0 15 0 70056990 14318366720 83795 18446744073709551615 4194304 4196468 140722882564608 139906969618416 139907491494530 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13570] ppid=13561 vsize=13982780 memory=335180 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13570/stat : 13570 (java) S 13561 13561 897 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 70056991 14318366720 83795 18446744073709551615 4194304 4196468 140722882564608 139906968564704 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13571] ppid=13561 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13571/stat : 13571 (java) S 13561 13561 897 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 70056991 14318366720 83795 18446744073709551615 4194304 4196468 140722882564608 139906967512064 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13572] ppid=13561 vsize=13982780 memory=337244 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13572/stat : 13572 (java) S 13561 13561 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70056993 14318366720 83795 18446744073709551615 4194304 4196468 140722882564608 139906966460624 139907491501979 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13573] ppid=13561 vsize=13982780 memory=337244 CPUtime=9.67 cores=0,2,4,6
/proc/13563/task/13573/stat : 13573 (java) S 13561 13561 897 0 -1 1077944384 51275 0 0 0 961 6 0 0 20 0 15 0 70056993 14318366720 83795 18446744073709551615 4194304 4196468 140722882564608 139906965408240 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13574] ppid=13561 vsize=13982780 memory=1380 CPUtime=9.94 cores=0,2,4,6
/proc/13563/task/13574/stat : 13574 (java) S 13561 13561 897 0 -1 1077944384 61513 0 0 0 987 7 0 0 20 0 15 0 70056993 14318366720 83795 18446744073709551615 4194304 4196468 140722882564608 139906964355696 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13575] ppid=13561 vsize=13982780 memory=335180 CPUtime=1.08 cores=0,2,4,6
/proc/13563/task/13575/stat : 13575 (java) S 13561 13561 897 0 -1 1077944384 13197 0 0 0 106 2 0 0 20 0 15 0 70056993 14318366720 83795 18446744073709551615 4194304 4196468 140722882564608 139906963303152 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13576] ppid=13561 vsize=13982780 memory=4304 CPUtime=0 cores=0,2,4,6
/proc/13563/task/13576/stat : 13576 (java) S 13561 13561 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70056994 14318366720 83795 18446744073709551615 4194304 4196468 140722882564608 139906962250848 139907491493589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
[pid=13563/tid=13577] ppid=13561 vsize=13982780 memory=1624 CPUtime=0.75 cores=0,2,4,6
/proc/13563/task/13577/stat : 13577 (java) S 13561 13561 897 0 -1 1077944384 1359 0 0 0 32 43 0 0 20 0 15 0 70056998 14318366720 83795 18446744073709551615 4194304 4196468 140722882564608 139906961197360 139907491494530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140722882568625 140722882568801 140722882568801 140722882572239 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 336560 KiB

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

[startup+2483.61 s]
# the end of solver process 13561 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.88 s, system=1.22455 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2483.61
CPU time (s): 2520.1
CPU user time (s): 2518.88
CPU system time (s): 1.22455
CPU usage (%): 101.469
Max. virtual memory (cumulated for all children) (KiB): 13994800
Max. memory (cumulated for all children) (KiB): 532332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.88
system time used= 1.22455
maximum resident set size= 548048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221676
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73040
involuntary context switches= 3177


# summary of solver processes directly reported to runsolver:
#   pid: 13561
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2518.88
#   total CPU system time (s): 1.22455

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6531 second user time and 23.2838 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-14 04:25:17
IDJOB=4272876
IDBENCH=115805
IDSOLVER=2664
FILE ID=node125/4272876-1502678363
RUNJOBID= node125-1502662595-11628
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-9.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4272876-1502678363/watcher-4272876-1502678363 -o /tmp/evaluation-result-4272876-1502678363/solver-4272876-1502678363 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1289681508 HOME/instance-4272876-1502678363.xml

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

MD5SUM BENCH= 61a67ae858673343e351cd0fcc1d1459
RANDOM SEED=1289681508

node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
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:        30716512 kB
MemAvailable:   31653052 kB
Buffers:          290684 kB
Cached:           940116 kB
SwapCached:            0 kB
Active:          1032320 kB
Inactive:         591148 kB
Active(anon):     392836 kB
Inactive(anon):    33100 kB
Active(file):     639484 kB
Inactive(file):   558048 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7656 kB
Writeback:             0 kB
AnonPages:        392148 kB
Mapped:            60468 kB
Shmem:             33444 kB
Slab:             135392 kB
SReclaimable:     109684 kB
SUnreclaim:        25708 kB
KernelStack:        3440 kB
PageTables:         5892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     941268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    327680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62016 MiB
End job on node125 at 2017-08-14 05:06:41