Trace number 4404456

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-09-20 parallelSAT 255.074 32.7475

General information on the benchmark

NameLangford/Langford-m1-k3/
Langford-3-35.xml
MD5SUMd39bc1ef1e07e502cfee7f2819d89a2a
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 benchmark46.1491
Satisfiable
(Un)Satisfiability was proved
Number of variables105
Number of constraints71
Number of domains1
Minimum domain size105
Maximum domain size105
Distribution of domain sizes[{"size":105,"count":105}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":70},{"degree":3,"count":35}]
Minimum constraint arity2
Maximum constraint arity105
Distribution of constraint arities[{"arity":2,"count":70},{"arity":105,"count":1}]
Number of extensional constraints0
Number of intensional constraints70
Distribution of constraint types[{"type":"intension","count":70},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404456-1568997145.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404456-1568997145.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.60/0.72	c solve instance...
254.87/32.72	s SATISFIABLE
254.87/32.72	v <instantiation>
254.87/32.72	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] </list>
254.87/32.72	v 	<values>17 3 28 84 53 0 54 4 76 1 68 77 15 18 10 24 2 50 51 60 8 55 37 47 31 46 39 35 44 25 34 16 11 5 27 19 6 32 89 59 7 62 13 86 12 80 90 29 33 26 41 20 69 71 81 30 78 61 72 57 73 67 64 74 56 66 49 45 40 63 21 9 36 94 65 14 70 22 96 23 92 103 43 48 42 58 38 88 91 102 52 101 85 97 83 100 95 93 104 87 98 82 79 75 99 </values>
254.87/32.72	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 (10388 MiB free)
  memory of node 1: 16384 MiB (8045 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404456-1568997145/watcher-4404456-1568997145 -o /var/tmp/evaluation-result-4404456-1568997145/solver-4404456-1568997145 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1568994352-14801 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1768462809 HOME/instance-4404456-1568997145.xml 

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

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

solver pid=15538, runsolver pid=15535

[startup+0.100138 s]*
/proc/loadavg: 7.55 7.82 7.84 2/212 15559
/proc/meminfo: memFree=18860852/32770624 swapFree=66935844/67108860
[pid=15538] ppid=15535 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15538/stat : 15538 (xcsp3-exec) S 15535 15538 14774 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475628293 115843072 362 33554432000 4194304 5098028 140737083264672 140737083262776 140038066070140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15400960 140737083269969 140737083270229 140737083270229 140737083273158 0
/proc/15538/statm: 28282 362 304 221 0 87 0
[pid=15540] ppid=15538 vsize=28227396 memory=28928 CPUtime=0.12 cores=0-7
/proc/15540/stat : 15540 (java) S 15538 15538 14774 0 -1 1077944320 5708 0 0 0 11 1 0 0 20 0 20 0 475628294 28904853504 7232 33554432000 4194304 4196468 140722041831920 140722041814464 140100147379959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
/proc/15540/statm: 7056849 7232 3120 1 0 7019032 0
[pid=15540/tid=15541] ppid=15538 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/15540/task/15541/stat : 15541 (java) R 15538 15538 14774 0 -1 4202560 3624 0 0 0 8 0 0 0 20 0 20 0 475628294 28904853504 7232 33554432000 4194304 4196468 140722041831920 140100151611648 140100147391894 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15542] ppid=15538 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/15540/task/15542/stat : 15542 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628295 28904853504 7232 33554432000 4194304 4196468 140722041831920 140100100000400 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15543] ppid=15538 vsize=28227396 memory=140538001368704 CPUtime=0 cores=0-7
/proc/15540/task/15543/stat : 15543 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628295 28904853504 7232 33554432000 4194304 4196468 140722041831920 140100098947600 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15544] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15544/stat : 15544 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628295 28904853504 7232 33554432000 4194304 4196468 140722041831920 140100097894800 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15545] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15545/stat : 15545 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628295 28904853504 7232 33554432000 4194304 4196468 140722041831920 140100096842000 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15546] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15546/stat : 15546 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628295 28904853504 7232 33554432000 4194304 4196468 140722041831920 140100095790224 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15547] ppid=15538 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15540/task/15547/stat : 15547 (java) S 15538 15538 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475628295 28904853504 7232 33554432000 4194304 4196468 140722041831920 140100094737424 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15548] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15548/stat : 15548 (java) S 15538 15538 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475628295 28904853504 7232 33554432000 4194304 4196468 140722041831920 140100093684624 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15549] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15549/stat : 15549 (java) S 15538 15538 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475628295 28904853504 7232 33554432000 4194304 4196468 140722041831920 140100092631824 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15550] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15550/stat : 15550 (java) S 15538 15538 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475628296 28904853504 7232 33554432000 4194304 4196468 140722041831920 140099465025904 140100147391106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15551] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15551/stat : 15551 (java) S 15538 15538 14774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475628297 28904853504 7232 33554432000 4194304 4196468 140722041831920 140099463971872 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15552] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15552/stat : 15552 (java) S 15538 15538 14774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475628297 28904853504 7232 33554432000 4194304 4196468 140722041831920 140099462919024 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15553] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15553/stat : 15553 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628299 28904853504 7232 33554432000 4194304 4196468 140722041831920 140099461867344 140100147398555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15554] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15554/stat : 15554 (java) S 15538 15538 14774 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 475628299 28904853504 7232 33554432000 4194304 4196468 140722041831920 140099460815728 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15555] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15555/stat : 15555 (java) S 15538 15538 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475628299 28904853504 7232 33554432000 4194304 4196468 140722041831920 140099459762928 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15556] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15556/stat : 15556 (java) R 15538 15538 14774 0 -1 4202560 128 0 0 0 0 0 0 0 20 0 20 0 475628299 28904853504 7232 33554432000 4194304 4196468 140722041831920 140099458710128 140100130779132 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15557] ppid=15538 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/15540/task/15557/stat : 15557 (java) R 15538 15538 14774 0 -1 4202560 351 0 0 0 1 0 0 0 20 0 20 0 475628299 28904853504 7232 33554432000 4194304 4196468 140722041831920 140099457657328 140100147391894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15558] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15558/stat : 15558 (java) S 15538 15538 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475628299 28904853504 7232 33554432000 4194304 4196468 140722041831920 140099456604768 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15559] ppid=15538 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15540/task/15559/stat : 15559 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628300 28904853504 7232 33554432000 4194304 4196468 140722041831920 140099455552048 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30376 KiB

[startup+0.210281 s]*
/proc/loadavg: 7.55 7.82 7.84 3/212 15559
/proc/meminfo: memFree=18846520/32770624 swapFree=66935844/67108860
[pid=15538] ppid=15535 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15538/stat : 15538 (xcsp3-exec) S 15535 15538 14774 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475628293 115843072 362 33554432000 4194304 5098028 140737083264672 140737083262776 140038066070140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15400960 140737083269969 140737083270229 140737083270229 140737083273158 0
/proc/15538/statm: 28282 362 304 221 0 87 0
[pid=15540] ppid=15538 vsize=28227396 memory=41048 CPUtime=0.33 cores=0-7
/proc/15540/stat : 15540 (java) S 15538 15538 14774 0 -1 1077944320 9498 0 0 0 30 3 0 0 20 0 20 0 475628294 28904853504 10262 33554432000 4194304 4196468 140722041831920 140722041814464 140100147379959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
/proc/15540/statm: 7056849 10262 3309 1 0 7019032 0
[pid=15540/tid=15541] ppid=15538 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/15540/task/15541/stat : 15541 (java) R 15538 15538 14774 0 -1 4202560 6654 0 0 0 18 2 0 0 20 0 20 0 475628294 28904853504 10262 33554432000 4194304 4196468 140722041831920 140100151609680 140100131460446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15542] ppid=15538 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/15540/task/15542/stat : 15542 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628295 28904853504 10262 33554432000 4194304 4196468 140722041831920 140100100000400 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15543] ppid=15538 vsize=28227396 memory=288370914153080448 CPUtime=0 cores=0-7
/proc/15540/task/15543/stat : 15543 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628295 28904853504 10262 33554432000 4194304 4196468 140722041831920 140100098947600 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15544] ppid=15538 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15540/task/15544/stat : 15544 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628295 28904853504 10262 33554432000 4194304 4196468 140722041831920 140100097894800 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15545] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15545/stat : 15545 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628295 28904853504 10262 33554432000 4194304 4196468 140722041831920 140100096842000 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15546] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15546/stat : 15546 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628295 28904853504 10262 33554432000 4194304 4196468 140722041831920 140100095790224 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15547] ppid=15538 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15540/task/15547/stat : 15547 (java) S 15538 15538 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475628295 28904853504 10262 33554432000 4194304 4196468 140722041831920 140100094737424 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15548] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15548/stat : 15548 (java) S 15538 15538 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475628295 28904853504 10262 33554432000 4194304 4196468 140722041831920 140100093684624 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15549] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15549/stat : 15549 (java) S 15538 15538 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475628295 28904853504 10262 33554432000 4194304 4196468 140722041831920 140100092631824 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15550] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15550/stat : 15550 (java) S 15538 15538 14774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475628296 28904853504 10262 33554432000 4194304 4196468 140722041831920 140099465025904 140100147391106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15551] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15551/stat : 15551 (java) S 15538 15538 14774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475628297 28904853504 10262 33554432000 4194304 4196468 140722041831920 140099463971872 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15552] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15552/stat : 15552 (java) S 15538 15538 14774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475628297 28904853504 10262 33554432000 4194304 4196468 140722041831920 140099462919024 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15553] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15553/stat : 15553 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628299 28904853504 10262 33554432000 4194304 4196468 140722041831920 140099461867344 140100147398555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15554] ppid=15538 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/15540/task/15554/stat : 15554 (java) S 15538 15538 14774 0 -1 1077944384 471 0 0 0 1 0 0 0 20 0 20 0 475628299 28904853504 10262 33554432000 4194304 4196468 140722041831920 140099460815728 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15555] ppid=15538 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/15540/task/15555/stat : 15555 (java) S 15538 15538 14774 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 475628299 28904853504 10262 33554432000 4194304 4196468 140722041831920 140099459762928 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15556] ppid=15538 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/15540/task/15556/stat : 15556 (java) S 15538 15538 14774 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 20 0 475628299 28904853504 10262 33554432000 4194304 4196468 140722041831920 140099458710128 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15557] ppid=15538 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/15540/task/15557/stat : 15557 (java) R 15538 15538 14774 0 -1 4202560 773 0 0 0 7 0 0 0 20 0 20 0 475628299 28904853504 10262 33554432000 4194304 4196468 140722041831920 140099457657136 140100133518459 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15558] ppid=15538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15558/stat : 15558 (java) S 15538 15538 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475628299 28904853504 10262 33554432000 4194304 4196468 140722041831920 140099456604768 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15559] ppid=15538 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15540/task/15559/stat : 15559 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628300 28904853504 10262 33554432000 4194304 4196468 140722041831920 140099455552048 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42496 KiB

[startup+0.309594 s]*
/proc/loadavg: 7.55 7.82 7.84 4/212 15559
/proc/meminfo: memFree=18839288/32770624 swapFree=66935844/67108860
[pid=15538] ppid=15535 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15538/stat : 15538 (xcsp3-exec) S 15535 15538 14774 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475628293 115843072 362 33554432000 4194304 5098028 140737083264672 140737083262776 140038066070140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15400960 140737083269969 140737083270229 140737083270229 140737083273158 0
/proc/15538/statm: 28282 362 304 221 0 87 0
[pid=15540] ppid=15538 vsize=28231652 memory=49752 CPUtime=0.52 cores=0-7
/proc/15540/stat : 15540 (java) S 15538 15538 14774 0 -1 1077944320 10809 0 0 0 48 4 0 0 20 0 20 0 475628294 28909211648 12438 33554432000 4194304 4196468 140722041831920 140722041814464 140100147379959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
/proc/15540/statm: 7057913 12438 3345 1 0 7019032 0
[pid=15540/tid=15541] ppid=15538 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/15540/task/15541/stat : 15541 (java) R 15538 15538 14774 0 -1 4202560 7788 0 0 0 27 3 0 0 20 0 20 0 475628294 28909211648 12438 33554432000 4194304 4196468 140722041831920 140100151613744 140100147401885 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15542] ppid=15538 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15542/stat : 15542 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628295 28909211648 12438 33554432000 4194304 4196468 140722041831920 140100100000400 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15543] ppid=15538 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15543/stat : 15543 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628295 28909211648 12438 33554432000 4194304 4196468 140722041831920 140100098947600 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15544] ppid=15538 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15544/stat : 15544 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628295 28909211648 12438 33554432000 4194304 4196468 140722041831920 140100097894800 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15545] ppid=15538 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15545/stat : 15545 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628295 28909211648 12438 33554432000 4194304 4196468 140722041831920 140100096842000 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15546] ppid=15538 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/15540/task/15546/stat : 15546 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628295 28909211648 12438 33554432000 4194304 4196468 140722041831920 140100095790224 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15547] ppid=15538 vsize=28231652 memory=140537839580079 CPUtime=0 cores=0-7
/proc/15540/task/15547/stat : 15547 (java) S 15538 15538 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475628295 28909211648 12438 33554432000 4194304 4196468 140722041831920 140100094737424 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15548] ppid=15538 vsize=28231652 memory=140537839582384 CPUtime=0 cores=0-7
/proc/15540/task/15548/stat : 15548 (java) S 15538 15538 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475628295 28909211648 12438 33554432000 4194304 4196468 140722041831920 140100093684624 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15549] ppid=15538 vsize=28231652 memory=140537839584688 CPUtime=0 cores=0-7
/proc/15540/task/15549/stat : 15549 (java) S 15538 15538 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475628295 28909211648 12438 33554432000 4194304 4196468 140722041831920 140100092631824 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15550] ppid=15538 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15550/stat : 15550 (java) S 15538 15538 14774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475628296 28909211648 12438 33554432000 4194304 4196468 140722041831920 140099465025904 140100147391106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15551] ppid=15538 vsize=28231652 memory=281075679176336 CPUtime=0 cores=0-7
/proc/15540/task/15551/stat : 15551 (java) S 15538 15538 14774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475628297 28909211648 12438 33554432000 4194304 4196468 140722041831920 140099463971872 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15552] ppid=15538 vsize=28231652 memory=281075679183248 CPUtime=0 cores=0-7
/proc/15540/task/15552/stat : 15552 (java) S 15538 15538 14774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475628297 28909211648 12438 33554432000 4194304 4196468 140722041831920 140099462919024 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15553] ppid=15538 vsize=28231652 memory=281075679124528 CPUtime=0 cores=0-7
/proc/15540/task/15553/stat : 15553 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628299 28909211648 12438 33554432000 4194304 4196468 140722041831920 140099461867344 140100147398555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15554] ppid=15538 vsize=28231652 memory=281075679197072 CPUtime=0.02 cores=0-7
/proc/15540/task/15554/stat : 15554 (java) S 15538 15538 14774 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 475628299 28909211648 12438 33554432000 4194304 4196468 140722041831920 140099460815728 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15555] ppid=15538 vsize=28231652 memory=281075679203984 CPUtime=0.02 cores=0-7
/proc/15540/task/15555/stat : 15555 (java) S 15538 15538 14774 0 -1 1077944384 44 0 0 0 2 0 0 0 20 0 20 0 475628299 28909211648 12438 33554432000 4194304 4196468 140722041831920 140099459762928 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15556] ppid=15538 vsize=28231652 memory=281075679201680 CPUtime=0.03 cores=0-7
/proc/15540/task/15556/stat : 15556 (java) R 15538 15538 14774 0 -1 4202560 350 0 0 0 3 0 0 0 20 0 20 0 475628299 28909211648 12438 33554432000 4194304 4196468 140722041831920 140099458700512 140100128924193 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15557] ppid=15538 vsize=28231652 memory=281075679217840 CPUtime=0.12 cores=0-7
/proc/15540/task/15557/stat : 15557 (java) S 15538 15538 14774 0 -1 1077944384 846 0 0 0 12 0 0 0 20 0 20 0 475628299 28909211648 12438 33554432000 4194304 4196468 140722041831920 140099457657328 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15558] ppid=15538 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15558/stat : 15558 (java) S 15538 15538 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475628299 28909211648 12438 33554432000 4194304 4196468 140722041831920 140099456604768 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15559] ppid=15538 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/15540/task/15559/stat : 15559 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628300 28909211648 12438 33554432000 4194304 4196468 140722041831920 140099455552048 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51200 KiB

[startup+0.700863 s]
/proc/loadavg: 7.55 7.82 7.84 3/212 15559
/proc/meminfo: memFree=18823208/32770624 swapFree=66935844/67108860
[pid=15538] ppid=15535 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15538/stat : 15538 (xcsp3-exec) S 15535 15538 14774 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475628293 115843072 362 33554432000 4194304 5098028 140737083264672 140737083262776 140038066070140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15400960 140737083269969 140737083270229 140737083270229 140737083273158 0
/proc/15538/statm: 28282 362 304 221 0 87 0
[pid=15540] ppid=15538 vsize=28233776 memory=88088 CPUtime=1.6 cores=0-7
/proc/15540/stat : 15540 (java) S 15538 15538 14774 0 -1 1077944320 15252 0 0 0 154 6 0 0 20 0 20 0 475628294 28911386624 22022 33554432000 4194304 4196468 140722041831920 140722041814464 140100147379959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
/proc/15540/statm: 7058444 22022 3452 1 0 7019544 0
[pid=15540/tid=15541] ppid=15538 vsize=28233776 memory=281075679575728 CPUtime=0.68 cores=0-7
/proc/15540/task/15541/stat : 15541 (java) R 15538 15538 14774 0 -1 4202560 9304 0 0 0 64 4 0 0 20 0 20 0 475628294 28911386624 22022 33554432000 4194304 4196468 140722041831920 140100151614656 140099774352832 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15542] ppid=15538 vsize=28233776 memory=140537839788912 CPUtime=0 cores=0-7
/proc/15540/task/15542/stat : 15542 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628295 28911386624 22022 33554432000 4194304 4196468 140722041831920 140100100000400 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15543] ppid=15538 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/15540/task/15543/stat : 15543 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628295 28911386624 22022 33554432000 4194304 4196468 140722041831920 140100098947600 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15544] ppid=15538 vsize=28233776 memory=1124 CPUtime=0 cores=0-7
/proc/15540/task/15544/stat : 15544 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475628295 28911386624 22022 33554432000 4194304 4196468 140722041831920 140100097894800 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0

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

[pid=15540/tid=15557] ppid=15538 vsize=28768336 memory=11416 CPUtime=0.73 cores=0-7
/proc/15540/task/15557/stat : 15557 (java) S 15538 15538 14774 0 -1 1077944384 7417 0 0 0 72 1 0 0 20 0 28 0 475628299 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099457657328 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15558] ppid=15538 vsize=28768336 memory=780 CPUtime=0 cores=0-7
/proc/15540/task/15558/stat : 15558 (java) S 15538 15538 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475628299 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099456604768 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15559] ppid=15538 vsize=28768336 memory=776 CPUtime=0 cores=0-7
/proc/15540/task/15559/stat : 15559 (java) S 15538 15538 14774 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 28 0 475628300 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099455552048 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15560] ppid=15538 vsize=28768336 memory=6791534058613427641 CPUtime=30.59 cores=0-7
/proc/15540/task/15560/stat : 15560 (java) R 15538 15538 14774 0 -1 4202560 492 0 0 0 3059 0 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099446332464 140099776679817 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15561] ppid=15538 vsize=28768336 memory=186808 CPUtime=30.44 cores=0-7
/proc/15540/task/15561/stat : 15561 (java) R 15538 15538 14774 0 -1 4202560 419 0 0 0 3042 2 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099445280344 140099776794891 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15562] ppid=15538 vsize=28768336 memory=1448 CPUtime=30.41 cores=0-7
/proc/15540/task/15562/stat : 15562 (java) R 15538 15538 14774 0 -1 4202560 902 0 0 0 3040 1 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099444231536 140099774983274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15563] ppid=15538 vsize=28768336 memory=1448 CPUtime=30.43 cores=0-7
/proc/15540/task/15563/stat : 15563 (java) R 15538 15538 14774 0 -1 4202560 826 0 0 0 3042 1 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099443176192 140099776679625 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15564] ppid=15538 vsize=28768336 memory=156552 CPUtime=30.63 cores=0-7
/proc/15540/task/15564/stat : 15564 (java) R 15538 15538 14774 0 -1 4202560 702 0 0 0 3062 1 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099442122960 140099775454388 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15565] ppid=15538 vsize=28768336 memory=140537839584465 CPUtime=30.72 cores=0-7
/proc/15540/task/15565/stat : 15565 (java) R 15538 15538 14774 0 -1 4202560 574 0 0 0 3072 0 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099441069792 140099776680864 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15566] ppid=15538 vsize=28768336 memory=6791534058613427641 CPUtime=30.75 cores=0-7
/proc/15540/task/15566/stat : 15566 (java) R 15538 15538 14774 0 -1 4202560 514 0 0 0 3074 1 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099440017496 140099776679904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15567] ppid=15538 vsize=28768336 memory=159104 CPUtime=30.49 cores=0-7
/proc/15540/task/15567/stat : 15567 (java) R 15538 15538 14774 0 -1 4202560 876 0 0 0 3049 0 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099438967728 140099776346137 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
Current children cumulated CPU time: 252.55 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 160052 KiB

[startup+32.6011 s]
/proc/loadavg: 8.28 7.98 7.89 9/220 15569
/proc/meminfo: memFree=18732392/32770624 swapFree=66935844/67108860
[pid=15538] ppid=15535 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15538/stat : 15538 (xcsp3-exec) S 15535 15538 14774 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475628293 115843072 362 33554432000 4194304 5098028 140737083264672 140737083262776 140038066070140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15400960 140737083269969 140737083270229 140737083270229 140737083273158 0
/proc/15538/statm: 28282 362 304 221 0 87 0
[pid=15540] ppid=15538 vsize=28768336 memory=158604 CPUtime=254.06 cores=0-7
/proc/15540/stat : 15540 (java) S 15538 15538 14774 0 -1 1077944320 59845 0 0 0 25371 35 0 0 20 0 28 0 475628294 29458776064 39651 33554432000 4194304 4196468 140722041831920 140722041814464 140100147379959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
/proc/15540/statm: 7192084 39651 3513 1 0 7153184 0
[pid=15540/tid=15541] ppid=15538 vsize=28768336 memory=6791534058613427641 CPUtime=0.71 cores=0-7
/proc/15540/task/15541/stat : 15541 (java) S 15538 15538 14774 0 -1 1077944384 9394 0 0 0 67 4 0 0 20 0 28 0 475628294 29458776064 39651 33554432000 4194304 4196468 140722041831920 140100151620736 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15542] ppid=15538 vsize=28768336 memory=2124 CPUtime=0.06 cores=0-7
/proc/15540/task/15542/stat : 15542 (java) S 15538 15538 14774 0 -1 1077944384 310 0 0 0 5 1 0 0 20 0 28 0 475628295 29458776064 39651 33554432000 4194304 4196468 140722041831920 140100100000400 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15543] ppid=15538 vsize=28768336 memory=30072 CPUtime=0.06 cores=0-7
/proc/15540/task/15543/stat : 15543 (java) S 15538 15538 14774 0 -1 1077944384 1896 0 0 0 5 1 0 0 20 0 28 0 475628295 29458776064 39651 33554432000 4194304 4196468 140722041831920 140100098947600 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15544] ppid=15538 vsize=28768336 memory=492 CPUtime=0.07 cores=0-7
/proc/15540/task/15544/stat : 15544 (java) S 15538 15538 14774 0 -1 1077944384 152 0 0 0 6 1 0 0 20 0 28 0 475628295 29458776064 39651 33554432000 4194304 4196468 140722041831920 140100097894800 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15545] ppid=15538 vsize=28768336 memory=1560 CPUtime=0.07 cores=0-7
/proc/15540/task/15545/stat : 15545 (java) S 15538 15538 14774 0 -1 1077944384 689 0 0 0 6 1 0 0 20 0 28 0 475628295 29458776064 39651 33554432000 4194304 4196468 140722041831920 140100096842000 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15546] ppid=15538 vsize=28768336 memory=6791534058613427641 CPUtime=0.06 cores=0-7
/proc/15540/task/15546/stat : 15546 (java) S 15538 15538 14774 0 -1 1077944384 1291 0 0 0 5 1 0 0 20 0 28 0 475628295 29458776064 39651 33554432000 4194304 4196468 140722041831920 140100095790224 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15547] ppid=15538 vsize=28768336 memory=1636 CPUtime=0.05 cores=0-7
/proc/15540/task/15547/stat : 15547 (java) S 15538 15538 14774 0 -1 1077944384 450 0 0 0 5 0 0 0 20 0 28 0 475628295 29458776064 39651 33554432000 4194304 4196468 140722041831920 140100094737424 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15548] ppid=15538 vsize=28768336 memory=1436 CPUtime=0.06 cores=0-7
/proc/15540/task/15548/stat : 15548 (java) S 15538 15538 14774 0 -1 1077944384 265 0 0 0 5 1 0 0 20 0 28 0 475628295 29458776064 39651 33554432000 4194304 4196468 140722041831920 140100093684624 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15549] ppid=15538 vsize=28768336 memory=880 CPUtime=0.05 cores=0-7
/proc/15540/task/15549/stat : 15549 (java) S 15538 15538 14774 0 -1 1077944384 331 0 0 0 5 0 0 0 20 0 28 0 475628295 29458776064 39651 33554432000 4194304 4196468 140722041831920 140100092631824 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15550] ppid=15538 vsize=28768336 memory=1448 CPUtime=0.07 cores=0-7
/proc/15540/task/15550/stat : 15550 (java) S 15538 15538 14774 0 -1 1077944384 1646 0 0 0 6 1 0 0 20 0 28 0 475628296 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099465025904 140100147391106 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15551] ppid=15538 vsize=28768336 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/15540/task/15551/stat : 15551 (java) S 15538 15538 14774 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 475628297 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099463971936 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15552] ppid=15538 vsize=28768336 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/15540/task/15552/stat : 15552 (java) S 15538 15538 14774 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 475628297 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099462919040 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15553] ppid=15538 vsize=28768336 memory=13848568834296438 CPUtime=0 cores=0-7
/proc/15540/task/15553/stat : 15553 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475628299 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099461867344 140100147398555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15554] ppid=15538 vsize=28768336 memory=3136 CPUtime=1.89 cores=0-7
/proc/15540/task/15554/stat : 15554 (java) S 15538 15538 14774 0 -1 1077944384 8564 0 0 0 187 2 0 0 20 0 28 0 475628299 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099460815728 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15555] ppid=15538 vsize=28768336 memory=1448 CPUtime=1.93 cores=0-7
/proc/15540/task/15555/stat : 15555 (java) S 15538 15538 14774 0 -1 1077944384 9800 0 0 0 191 2 0 0 20 0 28 0 475628299 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099459762928 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15556] ppid=15538 vsize=28768336 memory=156552 CPUtime=2.03 cores=0-7
/proc/15540/task/15556/stat : 15556 (java) S 15538 15538 14774 0 -1 1077944384 10555 0 0 0 201 2 0 0 20 0 28 0 475628299 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099458710128 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15557] ppid=15538 vsize=28768336 memory=6791534058613427641 CPUtime=0.73 cores=0-7
/proc/15540/task/15557/stat : 15557 (java) S 15538 15538 14774 0 -1 1077944384 7417 0 0 0 72 1 0 0 20 0 28 0 475628299 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099457657328 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15558] ppid=15538 vsize=28768336 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/15540/task/15558/stat : 15558 (java) S 15538 15538 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475628299 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099456604768 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15559] ppid=15538 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/15540/task/15559/stat : 15559 (java) S 15538 15538 14774 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 28 0 475628300 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099455552048 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15560] ppid=15538 vsize=28768336 memory=4872558044660077418 CPUtime=30.79 cores=0-7
/proc/15540/task/15560/stat : 15560 (java) R 15538 15538 14774 0 -1 4202560 492 0 0 0 3079 0 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099446331712 140099776679741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15561] ppid=15538 vsize=28768336 memory=7016718588566397028 CPUtime=30.63 cores=0-7
/proc/15540/task/15561/stat : 15561 (java) R 15538 15538 14774 0 -1 4202560 419 0 0 0 3061 2 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099445280016 140099776345926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15562] ppid=15538 vsize=28768336 memory=7236556008844191336 CPUtime=30.59 cores=0-7
/proc/15540/task/15562/stat : 15562 (java) S 15538 15538 14774 0 -1 1077944384 902 0 0 0 3058 1 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099444228480 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15563] ppid=15538 vsize=28768336 memory=7307491065817227368 CPUtime=30.61 cores=0-7
/proc/15540/task/15563/stat : 15563 (java) S 15538 15538 14774 0 -1 1077944384 826 0 0 0 3060 1 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099443175488 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15564] ppid=15538 vsize=28768336 memory=7236272334844223587 CPUtime=30.83 cores=0-7
/proc/15540/task/15564/stat : 15564 (java) R 15538 15538 14774 0 -1 4202560 702 0 0 0 3082 1 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099442122640 140099775453631 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15565] ppid=15538 vsize=28768336 memory=0 CPUtime=30.91 cores=0-7
/proc/15540/task/15565/stat : 15565 (java) R 15538 15538 14774 0 -1 1077944384 574 0 0 0 3091 0 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099441070144 140100147390165 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15566] ppid=15538 vsize=28768336 memory=0 CPUtime=30.94 cores=0-7
/proc/15540/task/15566/stat : 15566 (java) R 15538 15538 14774 0 -1 4202560 514 0 0 0 3093 1 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099440017408 140099776253141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15567] ppid=15538 vsize=28768336 memory=0 CPUtime=30.68 cores=0-7
/proc/15540/task/15567/stat : 15567 (java) R 15538 15538 14774 0 -1 4202560 877 0 0 0 3068 0 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099438967536 140099776296214 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
Current children cumulated CPU time: 254.06 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 160052 KiB

[startup+32.7021 s]
/proc/loadavg: 8.28 7.98 7.89 9/220 15569
/proc/meminfo: memFree=18732392/32770624 swapFree=66935844/67108860
[pid=15538] ppid=15535 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15538/stat : 15538 (xcsp3-exec) S 15535 15538 14774 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475628293 115843072 362 33554432000 4194304 5098028 140737083264672 140737083262776 140038066070140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15400960 140737083269969 140737083270229 140737083270229 140737083273158 0
/proc/15538/statm: 28282 362 304 221 0 87 0
[pid=15540] ppid=15538 vsize=28768336 memory=158604 CPUtime=254.87 cores=0-7
/proc/15540/stat : 15540 (java) S 15538 15538 14774 0 -1 1077944320 59845 0 0 0 25452 35 0 0 20 0 28 0 475628294 29458776064 39651 33554432000 4194304 4196468 140722041831920 140722041814464 140100147379959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
/proc/15540/statm: 7192084 39651 3513 1 0 7153184 0
[pid=15540/tid=15541] ppid=15538 vsize=28768336 memory=158604 CPUtime=0.71 cores=0-7
/proc/15540/task/15541/stat : 15541 (java) S 15538 15538 14774 0 -1 1077944384 9394 0 0 0 67 4 0 0 20 0 28 0 475628294 29458776064 39651 33554432000 4194304 4196468 140722041831920 140100151620736 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15542] ppid=15538 vsize=28768336 memory=303430223234596890 CPUtime=0.06 cores=0-7
/proc/15540/task/15542/stat : 15542 (java) S 15538 15538 14774 0 -1 1077944384 310 0 0 0 5 1 0 0 20 0 28 0 475628295 29458776064 39651 33554432000 4194304 4196468 140722041831920 140100100000400 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15543] ppid=15538 vsize=28768336 memory=880 CPUtime=0.06 cores=0-7
/proc/15540/task/15543/stat : 15543 (java) S 15538 15538 14774 0 -1 1077944384 1896 0 0 0 5 1 0 0 20 0 28 0 475628295 29458776064 39651 33554432000 4194304 4196468 140722041831920 140100098947600 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15544] ppid=15538 vsize=28768336 memory=158596 CPUtime=0.07 cores=0-7
/proc/15540/task/15544/stat : 15544 (java) S 15538 15538 14774 0 -1 1077944384 152 0 0 0 6 1 0 0 20 0 28 0 475628295 29458776064 39651 33554432000 4194304 4196468 140722041831920 140100097894800 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15545] ppid=15538 vsize=28768336 memory=159108 CPUtime=0.07 cores=0-7
/proc/15540/task/15545/stat : 15545 (java) S 15538 15538 14774 0 -1 1077944384 689 0 0 0 6 1 0 0 20 0 28 0 475628295 29458776064 39651 33554432000 4194304 4196468 140722041831920 140100096842000 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15546] ppid=15538 vsize=28768336 memory=8316868033356759116 CPUtime=0.06 cores=0-7
/proc/15540/task/15546/stat : 15546 (java) S 15538 15538 14774 0 -1 1077944384 1291 0 0 0 5 1 0 0 20 0 28 0 475628295 29458776064 39651 33554432000 4194304 4196468 140722041831920 140100095790224 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15547] ppid=15538 vsize=28768336 memory=17975 CPUtime=0.05 cores=0-7
/proc/15540/task/15547/stat : 15547 (java) S 15538 15538 14774 0 -1 1077944384 450 0 0 0 5 0 0 0 20 0 28 0 475628295 29458776064 39651 33554432000 4194304 4196468 140722041831920 140100094737424 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15548] ppid=15538 vsize=28768336 memory=288230376155315233 CPUtime=0.06 cores=0-7
/proc/15540/task/15548/stat : 15548 (java) S 15538 15538 14774 0 -1 1077944384 265 0 0 0 5 1 0 0 20 0 28 0 475628295 29458776064 39651 33554432000 4194304 4196468 140722041831920 140100093684624 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15549] ppid=15538 vsize=28768336 memory=6791534058613427641 CPUtime=0.05 cores=0-7
/proc/15540/task/15549/stat : 15549 (java) S 15538 15538 14774 0 -1 1077944384 331 0 0 0 5 0 0 0 20 0 28 0 475628295 29458776064 39651 33554432000 4194304 4196468 140722041831920 140100092631824 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15550] ppid=15538 vsize=28768336 memory=7235430169134785108 CPUtime=0.07 cores=0-7
/proc/15540/task/15550/stat : 15550 (java) S 15538 15538 14774 0 -1 1077944384 1646 0 0 0 6 1 0 0 20 0 28 0 475628296 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099465025904 140100147391106 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15551] ppid=15538 vsize=28768336 memory=4639948313719891052 CPUtime=0 cores=0-7
/proc/15540/task/15551/stat : 15551 (java) S 15538 15538 14774 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 475628297 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099463971936 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15552] ppid=15538 vsize=28768336 memory=1124 CPUtime=0 cores=0-7
/proc/15540/task/15552/stat : 15552 (java) S 15538 15538 14774 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 475628297 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099462919040 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15553] ppid=15538 vsize=28768336 memory=2828 CPUtime=0 cores=0-7
/proc/15540/task/15553/stat : 15553 (java) S 15538 15538 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475628299 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099461867344 140100147398555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15554] ppid=15538 vsize=28768336 memory=1228 CPUtime=1.89 cores=0-7
/proc/15540/task/15554/stat : 15554 (java) S 15538 15538 14774 0 -1 1077944384 8564 0 0 0 187 2 0 0 20 0 28 0 475628299 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099460815728 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15555] ppid=15538 vsize=28768336 memory=2772 CPUtime=1.93 cores=0-7
/proc/15540/task/15555/stat : 15555 (java) S 15538 15538 14774 0 -1 1077944384 9800 0 0 0 191 2 0 0 20 0 28 0 475628299 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099459762928 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15556] ppid=15538 vsize=28768336 memory=0 CPUtime=2.03 cores=0-7
/proc/15540/task/15556/stat : 15556 (java) S 15538 15538 14774 0 -1 1077944384 10555 0 0 0 201 2 0 0 20 0 28 0 475628299 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099458710128 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15557] ppid=15538 vsize=28768336 memory=2989 CPUtime=0.73 cores=0-7
/proc/15540/task/15557/stat : 15557 (java) S 15538 15538 14774 0 -1 1077944384 7417 0 0 0 72 1 0 0 20 0 28 0 475628299 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099457657328 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15558] ppid=15538 vsize=28768336 memory=2976 CPUtime=0 cores=0-7
/proc/15540/task/15558/stat : 15558 (java) S 15538 15538 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475628299 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099456604768 140100147390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15559] ppid=15538 vsize=28768336 memory=2971 CPUtime=0 cores=0-7
/proc/15540/task/15559/stat : 15559 (java) S 15538 15538 14774 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 28 0 475628300 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099455552048 140100147391106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15560] ppid=15538 vsize=28768336 memory=157580 CPUtime=30.89 cores=0-7
/proc/15540/task/15560/stat : 15560 (java) R 15538 15538 14774 0 -1 4202560 492 0 0 0 3089 0 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099446331712 140099776823116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15561] ppid=15538 vsize=28768336 memory=159620 CPUtime=30.73 cores=0-7
/proc/15540/task/15561/stat : 15561 (java) R 15538 15538 14774 0 -1 4202560 419 0 0 0 3071 2 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099445280152 140099776679792 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15562] ppid=15538 vsize=28768336 memory=1448 CPUtime=30.69 cores=0-7
/proc/15540/task/15562/stat : 15562 (java) R 15538 15538 14774 0 -1 4202560 902 0 0 0 3068 1 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099444228368 140099774983335 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15563] ppid=15538 vsize=28768336 memory=158604 CPUtime=30.71 cores=0-7
/proc/15540/task/15563/stat : 15563 (java) R 15538 15538 14774 0 -1 4202560 826 0 0 0 3070 1 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099443175624 140099777116133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15564] ppid=15538 vsize=28768336 memory=6944656592455097440 CPUtime=30.93 cores=0-7
/proc/15540/task/15564/stat : 15564 (java) R 15538 15538 14774 0 -1 4202560 702 0 0 0 3092 1 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099442122640 140099777070249 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15565] ppid=15538 vsize=28768336 memory=8833132904350655533 CPUtime=31.01 cores=0-7
/proc/15540/task/15565/stat : 15565 (java) R 15538 15538 14774 0 -1 4202560 574 0 0 0 3101 0 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099441070280 140099774982640 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15566] ppid=15538 vsize=28768336 memory=281075680619664 CPUtime=31.04 cores=0-7
/proc/15540/task/15566/stat : 15566 (java) R 15538 15538 14774 0 -1 4202560 514 0 0 0 3103 1 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099440017408 140099777069614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
[pid=15540/tid=15567] ppid=15538 vsize=28768336 memory=156552 CPUtime=30.78 cores=0-7
/proc/15540/task/15567/stat : 15567 (java) R 15538 15538 14774 0 -1 4202560 877 0 0 0 3078 0 0 0 20 0 28 0 475628367 29458776064 39651 33554432000 4194304 4196468 140722041831920 140099438967536 140099777068257 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 35311616 140722041840598 140722041840774 140722041840774 140722041843663 0
Current children cumulated CPU time: 254.87 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 160052 KiB

Child status: 0
Real time (s): 32.7475
CPU time (s): 255.074
CPU user time (s): 254.704
CPU system time (s): 0.369494
CPU usage (%): 778.912
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 240120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.704
system time used= 0.369494
maximum resident set size= 238672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61826
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9217
involuntary context switches= 3839


# summary of solver processes directly reported to runsolver:
#   pid: 15538
#   total CPU time (s): 255.074
#   total CPU user time (s): 254.704
#   total CPU system time (s): 0.369494

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.322991 second user time and 0.405763 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-20 18:31:41
IDJOB=4404456
IDBENCH=124271
IDSOLVER=2865
FILE ID=node147/4404456-1568997145
RUNJOBID= node147-1568994352-14801
PBS_JOBID= 21704722
Free space on /var/tmp= 13508 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/Langford/Langford-m1-k3/Langford-3-35.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404456-1568997145/watcher-4404456-1568997145 -o /var/tmp/evaluation-result-4404456-1568997145/solver-4404456-1568997145 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1568994352-14801 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1768462809 HOME/instance-4404456-1568997145.xml

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

MD5SUM BENCH= d39bc1ef1e07e502cfee7f2819d89a2a
RANDOM SEED=1768462809

node147.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.52
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.52
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.52
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.52
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:        18876932 kB
MemAvailable:   31784464 kB
Buffers:          139716 kB
Cached:         12738664 kB
SwapCached:        68676 kB
Active:          5286596 kB
Inactive:        7663320 kB
Active(anon):       4416 kB
Inactive(anon):   116532 kB
Active(file):    5282180 kB
Inactive(file):  7546788 kB
Unevictable:      109112 kB
Mlocked:          109112 kB
SwapTotal:      67108860 kB
SwapFree:       66935844 kB
Dirty:             26476 kB
Writeback:             0 kB
AnonPages:        113580 kB
Mapped:            52408 kB
Shmem:             40796 kB
Slab:             535440 kB
SReclaimable:     507024 kB
SUnreclaim:        28416 kB
KernelStack:        3408 kB
PageTables:         5708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13484 MiB
End job on node147 at 2019-09-20 18:32:14