Trace number 4247837

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
R1: choco-solver 4.0.5 (2017-07-05)SAT 182.43401 48.868599

General information on the benchmark

NameWwtpp/Wwtpp-ord-s1/
Wwtpp-ord-ex07180.xml
MD5SUMe350026a89cfa709a4f565894b0c8a5a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.92453498
Satisfiable
(Un)Satisfiability was proved
Number of variables476
Number of constraints402
Number of domains22
Minimum domain size1
Maximum domain size10001
Distribution of domain sizes[{"size":1,"count":22},{"size":2,"count":92},{"size":1001,"count":46},{"size":1501,"count":46},{"size":2501,"count":46},{"size":3001,"count":46},{"size":5001,"count":88},{"size":10001,"count":90}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":16},{"degree":2,"count":29},{"degree":3,"count":431}]
Minimum constraint arity2
Maximum constraint arity24
Distribution of constraint arities[{"arity":2,"count":189},{"arity":3,"count":96},{"arity":4,"count":90},{"arity":10,"count":4},{"arity":11,"count":7},{"arity":12,"count":7},{"arity":13,"count":5},{"arity":14,"count":2},{"arity":23,"count":1},{"arity":24,"count":1}]
Number of extensional constraints192
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":192},{"type":"sum","count":210}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.05	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4247837-1502065899.xml"  -tl '2400s' -p 4 -x 0
0.00/0.24	c [HOME/instance-4247837-1502065899.xml, -tl, 2400s, -p, 4, -x, 0]
0.00/0.30	c 4 solvers in parallel
0.00/0.36	c parse instance...
18.98/7.29	c solve instance...
182.36/48.83	s SATISFIABLE
182.36/48.83	v <instantiation>
182.36/48.83	v 	<list>b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[0][7] b[0][8] b[0][9] b[0][10] b[0][11] b[0][12] b[0][13] b[0][14] b[0][15] b[0][16] b[0][17] b[0][18] b[0][19] b[0][20] b[0][21] b[0][22] b[0][23] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[1][7] b[1][8] b[1][9] b[1][10] b[1][11] b[1][12] b[1][13] b[1][14] b[1][15] b[1][16] b[1][17] b[1][18] b[1][19] b[1][20] b[1][21] b[1][22] b[1][23] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[2][7] b[2][8] b[2][9] b[2][10] b[2][11] b[2][12] b[2][13] b[2][14] b[2][15] b[2][16] b[2][17] b[2][18] b[2][19] b[2][20] b[2][21] b[2][22] b[2][23] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[3][7] b[3][8] b[3][9] b[3][10] b[3][11] b[3][12] b[3][13] b[3][14] b[3][15] b[3][16] b[3][17] b[3][18] b[3][19] b[3][20] b[3][21] b[3][22] b[3][23] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[4][7] b[4][8] b[4][9] b[4][10] b[4][11] b[4][12] b[4][13] b[4][14] b[4][15] b[4][16] b[4][17] b[4][18] b[4][19] b[4][20] b[4][21] b[4][22] b[4][23] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[5][7] b[5][8] b[5][9] b[5][10] b[5][11] b[5][12] b[5][13] b[5][14] b[5][15] b[5][16] b[5][17] b[5][18] b[5][19] b[5][20] b[5][21] b[5][22] b[5][23] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] b[6][7] b[6][8] b[6][9] b[6][10] b[6][11] b[6][12] b[6][13] b[6][14] b[6][15] b[6][16] b[6][17] b[6][18] b[6][19] b[6][20] b[6][21] b[6][22] b[6][23] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[7][6] b[7][7] b[7][8] b[7][9] b[7][10] b[7][11] b[7][12] b[7][13] b[7][14] b[7][15] b[7][16] b[7][17] b[7][18] b[7][19] b[7][20] b[7][21] b[7][22] b[7][23] 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[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] 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[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] 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[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] 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[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] 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[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] 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[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] 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[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] 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[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] c[0][2] c[0][4] c[0][6] c[0][8] c[0][10] c[0][12] c[0][14] c[0][16] c[0][18] c[0][20] c[0][22] c[1][12] c[2][3] c[2][4] c[2][9] c[2][13] c[2][14] c[2][15] c[2][20] c[3][0] c[3][1] c[3][2] c[3][3] c[3][4] c[3][5] c[3][6] c[3][7] c[3][8] c[3][9] c[3][10] c[3][11] c[3][12] c[3][13] c[3][14] c[3][15] c[3][16] c[3][17] c[3][18] c[3][19] c[3][20] c[3][21] c[3][22] c[3][23] c[4][5] c[4][15] c[5][1] c[5][2] c[5][7] c[5][8] c[5][9] c[5][12] c[5][15] c[5][20] c[5][21] c[6][0] c[6][1] c[6][2] c[6][3] c[6][4] c[6][5] c[6][6] c[6][7] c[6][8] c[6][9] c[6][10] c[6][11] c[6][12] c[6][13] c[6][14] c[6][15] c[6][16] c[6][17] c[6][18] c[6][19] c[6][20] c[6][21] c[6][22] c[7][2] c[7][4] c[7][6] c[7][8] c[7][10] c[7][14] c[7][15] c[7][16] c[7][17] c[7][18] c[7][19] c[7][20] c[7][21] c[7][22] c[7][23] </list>
182.36/48.83	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2000 2500 1000 0 0 0 0 0 0 0 0 1700 200 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4000 1500 2000 0 3800 1300 0 0 4000 1500 1500 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1500 1500 1000 0 0 0 0 0 0 0 0 1500 200 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2500 1500 2000 0 2500 1300 0 0 2500 0 1500 0 0 0 0 0 0 0 0 0 0 4000 2000 3800 1000 4000 2500 3000 4000 2000 1500 2500 2600 1000 1000 1500 300 300 300 2000 750 750 750 750 750 750 750 750 750 750 750 750 750 750 750 750 750 750 750 750 750 750 750 750 2500 3000 0 0 500 500 500 0 1300 1500 1500 650 650 650 850 650 650 650 650 650 650 650 650 850 650 650 650 650 650 650 850 650 650 650 0 0 0 1000 0 750 750 750 750 750 750 750 750 750 750 </values>
182.36/48.83	v </instantiation>

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247837-1502065899/watcher-4247837-1502065899 -o /tmp/evaluation-result-4247837-1502065899/solver-4247837-1502065899 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1867358049 HOME/instance-4247837-1502065899.xml 

pid=15017
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.25 8.40 7.96 6/203 15020
/proc/meminfo: memFree=27233040/32770624 swapFree=0/333108
[pid=15020] ppid=15017 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15020/stat : 15020 (runsolver) D 15017 15020 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 54405143 24240128 106 18446744073709551615 4194304 4338465 140726967409424 140726967407064 139926688998103 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 28782592 140726967410774 140726967411273 140726967411273 140726967414730 0
/proc/15020/statm: 5918 106 53 36 0 2156 0

[startup+0.10017 s]
/proc/loadavg: 8.25 8.40 7.96 6/203 15020
/proc/meminfo: memFree=27233040/32770624 swapFree=0/333108
[pid=15020] ppid=15017 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15020/stat : 15020 (xcsp3-exec) S 15017 15020 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 54405143 9740288 345 18446744073709551615 4194304 5098028 140724069141056 140724069139160 140433512383100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21659648 140724069147032 140724069147242 140724069147242 140724069150699 0
/proc/15020/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200244 s]
/proc/loadavg: 8.25 8.40 7.96 6/203 15020
/proc/meminfo: memFree=27233040/32770624 swapFree=0/333108
[pid=15020] ppid=15017 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15020/stat : 15020 (xcsp3-exec) S 15017 15020 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 54405143 9740288 345 18446744073709551615 4194304 5098028 140724069141056 140724069139160 140433512383100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21659648 140724069147032 140724069147242 140724069147242 140724069150699 0
/proc/15020/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300319 s]
/proc/loadavg: 8.25 8.40 7.96 6/203 15020
/proc/meminfo: memFree=27233040/32770624 swapFree=0/333108
[pid=15020] ppid=15017 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15020/stat : 15020 (xcsp3-exec) S 15017 15020 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 54405143 9740288 345 18446744073709551615 4194304 5098028 140724069141056 140724069139160 140433512383100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21659648 140724069147032 140724069147242 140724069147242 140724069150699 0
/proc/15020/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700245 s]
/proc/loadavg: 8.25 8.40 7.96 6/203 15020
/proc/meminfo: memFree=27233040/32770624 swapFree=0/333108
[pid=15020] ppid=15017 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15020/stat : 15020 (xcsp3-exec) S 15017 15020 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 54405143 9740288 345 18446744073709551615 4194304 5098028 140724069141056 140724069139160 140433512383100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21659648 140724069147032 140724069147242 140724069147242 140724069150699 0
/proc/15020/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50107 s]
/proc/loadavg: 8.25 8.40 7.96 8/219 15036
/proc/meminfo: memFree=27024300/32770624 swapFree=0/333148
[pid=15020] ppid=15017 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15020/stat : 15020 (xcsp3-exec) S 15017 15020 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 54405143 9740288 345 18446744073709551615 4194304 5098028 140724069141056 140724069139160 140433512383100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21659648 140724069147032 140724069147242 140724069147242 140724069150699 0
/proc/15020/statm: 2378 345 289 221 0 87 0
[pid=15022] ppid=15020 vsize=12919328 CPUtime=3.39 cores=0,2,4,6
/proc/15022/stat : 15022 (java) S 15020 15020 25100 0 -1 1077944320 23494 0 0 0 277 62 0 0 20 0 15 0 54405148 13229391872 179968 18446744073709551615 4194304 4196468 140732134998128 140732134980672 139875537710839 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
/proc/15022/statm: 3229832 180023 3206 1 0 3218124 0
[pid=15022/tid=15023] ppid=15020 vsize=12919328 CPUtime=1.14 cores=0,2,4,6
/proc/15022/task/15023/stat : 15023 (java) S 15020 15020 25100 0 -1 1077944384 8766 0 0 0 108 6 0 0 20 0 15 0 54405148 13229391872 180023 18446744073709551615 4194304 4196468 140732134998128 139875541948736 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15024] ppid=15020 vsize=12919328 CPUtime=0.23 cores=0,2,4,6
/proc/15022/task/15024/stat : 15024 (java) R 15020 15020 25100 0 -1 4202560 2249 0 0 0 10 13 0 0 20 0 15 0 54405149 13229391872 180023 18446744073709551615 4194304 4196468 140732134998128 139875481020440 139875530810539 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15025] ppid=15020 vsize=12919328 CPUtime=0.22 cores=0,2,4,6
/proc/15022/task/15025/stat : 15025 (java) R 15020 15020 25100 0 -1 1077944384 2044 0 0 0 9 13 0 0 20 0 15 0 54405149 13229391872 180023 18446744073709551615 4194304 4196468 140732134998128 139875479967392 139875537721045 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15026] ppid=15020 vsize=12919328 CPUtime=0.22 cores=0,2,4,6
/proc/15022/task/15026/stat : 15026 (java) R 15020 15020 25100 0 -1 4202560 2284 0 0 0 9 13 0 0 20 0 15 0 54405149 13229391872 180023 18446744073709551615 4194304 4196468 140732134998128 139875478915352 139875530807548 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15027] ppid=15020 vsize=12919328 CPUtime=0.22 cores=0,2,4,6
/proc/15022/task/15027/stat : 15027 (java) R 15020 15020 25100 0 -1 4202560 2004 0 0 0 9 13 0 0 20 0 15 0 54405149 13229391872 180023 18446744073709551615 4194304 4196468 140732134998128 139875477862344 139875522738722 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15028] ppid=15020 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15028/stat : 15028 (java) S 15020 15020 25100 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 54405151 13229391872 180023 18446744073709551615 4194304 4196468 140732134998128 139875088872608 139875537721045 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15029] ppid=15020 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15029/stat : 15029 (java) S 15020 15020 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 54405151 13229391872 180080 18446744073709551615 4194304 4196468 140732134998128 139875087820064 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15030] ppid=15020 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15030/stat : 15030 (java) S 15020 15020 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 54405151 13229391872 180137 18446744073709551615 4194304 4196468 140732134998128 139875086767728 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15031] ppid=15020 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15031/stat : 15031 (java) S 15020 15020 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54405154 13229391872 180137 18446744073709551615 4194304 4196468 140732134998128 139875085716048 139875537729435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15032] ppid=15020 vsize=12919328 CPUtime=0.43 cores=0,2,4,6
/proc/15022/task/15032/stat : 15032 (java) S 15020 15020 25100 0 -1 1077944384 1595 0 0 0 43 0 0 0 20 0 15 0 54405154 13229391872 180137 18446744073709551615 4194304 4196468 140732134998128 139875084662896 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15033] ppid=15020 vsize=12919328 CPUtime=0.48 cores=0,2,4,6
/proc/15022/task/15033/stat : 15033 (java) S 15020 15020 25100 0 -1 1077944384 1460 0 0 0 48 0 0 0 20 0 15 0 54405154 13229391872 180137 18446744073709551615 4194304 4196468 140732134998128 139875083610096 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15034] ppid=15020 vsize=12919328 CPUtime=0.37 cores=0,2,4,6
/proc/15022/task/15034/stat : 15034 (java) S 15020 15020 25100 0 -1 1077944384 1798 0 0 0 37 0 0 0 20 0 15 0 54405154 13229391872 180192 18446744073709551615 4194304 4196468 140732134998128 139875082557808 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15035] ppid=15020 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15035/stat : 15035 (java) S 15020 15020 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54405154 13229391872 180192 18446744073709551615 4194304 4196468 140732134998128 139875081505248 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15036] ppid=15020 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15036/stat : 15036 (java) S 15020 15020 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 54405158 13229391872 180192 18446744073709551615 4194304 4196468 140732134998128 139875080453040 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 12928840

[startup+3.10062 s]
/proc/loadavg: 8.25 8.40 7.96 6/219 15036
/proc/meminfo: memFree=26187880/32770624 swapFree=0/333144
[pid=15020] ppid=15017 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15020/stat : 15020 (xcsp3-exec) S 15017 15020 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 54405143 9740288 345 18446744073709551615 4194304 5098028 140724069141056 140724069139160 140433512383100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21659648 140724069147032 140724069147242 140724069147242 140724069150699 0
/proc/15020/statm: 2378 345 289 221 0 87 0
[pid=15022] ppid=15020 vsize=12919328 CPUtime=7.77 cores=0,2,4,6
/proc/15022/stat : 15022 (java) S 15020 15020 25100 0 -1 1077944320 44527 0 0 0 629 148 0 0 20 0 15 0 54405148 13229391872 398097 18446744073709551615 4194304 4196468 140732134998128 140732134980672 139875537710839 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
/proc/15022/statm: 3229832 398097 3232 1 0 3218124 0
[pid=15022/tid=15023] ppid=15020 vsize=12919328 CPUtime=1.89 cores=0,2,4,6
/proc/15022/task/15023/stat : 15023 (java) S 15020 15020 25100 0 -1 1077944384 8921 0 0 0 181 8 0 0 20 0 15 0 54405148 13229391872 398097 18446744073709551615 4194304 4196468 140732134998128 139875541948048 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15024] ppid=15020 vsize=12919328 CPUtime=1.03 cores=0,2,4,6
/proc/15022/task/15024/stat : 15024 (java) R 15020 15020 25100 0 -1 4202560 4902 0 0 0 69 34 0 0 20 0 15 0 54405149 13229391872 398097 18446744073709551615 4194304 4196468 140732134998128 139875481020936 139875530339047 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15025] ppid=15020 vsize=12919328 CPUtime=1.03 cores=0,2,4,6
/proc/15022/task/15025/stat : 15025 (java) R 15020 15020 25100 0 -1 4202560 10979 0 0 0 69 34 0 0 20 0 15 0 54405149 13229391872 398097 18446744073709551615 4194304 4196468 140732134998128 139875479968016 139875522707220 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15026] ppid=15020 vsize=12919328 CPUtime=1.03 cores=0,2,4,6
/proc/15022/task/15026/stat : 15026 (java) R 15020 15020 25100 0 -1 4202560 6118 0 0 0 70 33 0 0 20 0 15 0 54405149 13229391872 398097 18446744073709551615 4194304 4196468 140732134998128 139875478915728 139875530339047 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15027] ppid=15020 vsize=12919328 CPUtime=1.03 cores=0,2,4,6
/proc/15022/task/15027/stat : 15027 (java) R 15020 15020 25100 0 -1 4202560 5622 0 0 0 69 34 0 0 20 0 15 0 54405149 13229391872 398097 18446744073709551615 4194304 4196468 140732134998128 139875477862928 139875530339047 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15028] ppid=15020 vsize=12919328 CPUtime=0.04 cores=0,2,4,6
/proc/15022/task/15028/stat : 15028 (java) S 15020 15020 25100 0 -1 1077944384 1519 0 0 0 4 0 0 0 20 0 15 0 54405151 13229391872 398097 18446744073709551615 4194304 4196468 140732134998128 139875088872640 139875537721045 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15029] ppid=15020 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15029/stat : 15029 (java) S 15020 15020 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 54405151 13229391872 398097 18446744073709551615 4194304 4196468 140732134998128 139875087820064 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15030] ppid=15020 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15030/stat : 15030 (java) S 15020 15020 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 54405151 13229391872 398097 18446744073709551615 4194304 4196468 140732134998128 139875086767728 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15031] ppid=15020 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15031/stat : 15031 (java) S 15020 15020 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54405154 13229391872 398097 18446744073709551615 4194304 4196468 140732134998128 139875085716048 139875537729435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15032] ppid=15020 vsize=12919328 CPUtime=0.57 cores=0,2,4,6
/proc/15022/task/15032/stat : 15032 (java) S 15020 15020 25100 0 -1 1077944384 1633 0 0 0 56 1 0 0 20 0 15 0 54405154 13229391872 398097 18446744073709551615 4194304 4196468 140732134998128 139875084662896 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15033] ppid=15020 vsize=12919328 CPUtime=0.64 cores=0,2,4,6
/proc/15022/task/15033/stat : 15033 (java) S 15020 15020 25100 0 -1 1077944384 1493 0 0 0 64 0 0 0 20 0 15 0 54405154 13229391872 398097 18446744073709551615 4194304 4196468 140732134998128 139875083610096 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15034] ppid=15020 vsize=12919328 CPUtime=0.45 cores=0,2,4,6
/proc/15022/task/15034/stat : 15034 (java) S 15020 15020 25100 0 -1 1077944384 2042 0 0 0 45 0 0 0 20 0 15 0 54405154 13229391872 398097 18446744073709551615 4194304 4196468 140732134998128 139875082557808 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15035] ppid=15020 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15035/stat : 15035 (java) S 15020 15020 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54405154 13229391872 398097 18446744073709551615 4194304 4196468 140732134998128 139875081505248 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15036] ppid=15020 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15036/stat : 15036 (java) S 15020 15020 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 54405158 13229391872 398097 18446744073709551615 4194304 4196468 140732134998128 139875080453040 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (KiB) 12928840

[startup+6.30064 s]
/proc/loadavg: 8.15 8.37 7.96 9/219 15036
/proc/meminfo: memFree=23804032/32770624 swapFree=0/333144
[pid=15020] ppid=15017 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15020/stat : 15020 (xcsp3-exec) S 15017 15020 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 54405143 9740288 345 18446744073709551615 4194304 5098028 140724069141056 140724069139160 140433512383100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21659648 140724069147032 140724069147242 140724069147242 140724069150699 0
/proc/15020/statm: 2378 345 289 221 0 87 0
[pid=15022] ppid=15020 vsize=12919328 CPUtime=16.57 cores=0,2,4,6
/proc/15022/stat : 15022 (java) S 15020 15020 25100 0 -1 1077944320 65822 0 0 0 1314 343 0 0 20 0 15 0 54405148 13229391872 860620 18446744073709551615 4194304 4196468 140732134998128 140732134980672 139875537710839 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
/proc/15022/statm: 3229832 860620 3237 1 0 3218124 0
[pid=15022/tid=15023] ppid=15020 vsize=12919328 CPUtime=3.3 cores=0,2,4,6
/proc/15022/task/15023/stat : 15023 (java) R 15020 15020 25100 0 -1 4202560 11057 0 0 0 320 10 0 0 20 0 15 0 54405148 13229391872 860620 18446744073709551615 4194304 4196468 140732134998128 139875541945432 139875160569276 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15024] ppid=15020 vsize=12919328 CPUtime=2.74 cores=0,2,4,6
/proc/15022/task/15024/stat : 15024 (java) S 15020 15020 25100 0 -1 1077944384 7915 0 0 0 195 79 0 0 20 0 15 0 54405149 13229391872 860620 18446744073709551615 4194304 4196468 140732134998128 139875481020816 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15025] ppid=15020 vsize=12919328 CPUtime=2.76 cores=0,2,4,6
/proc/15022/task/15025/stat : 15025 (java) S 15020 15020 25100 0 -1 1077944384 14376 0 0 0 191 85 0 0 20 0 15 0 54405149 13229391872 860620 18446744073709551615 4194304 4196468 140732134998128 139875479968016 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15026] ppid=15020 vsize=12919328 CPUtime=2.76 cores=0,2,4,6
/proc/15022/task/15026/stat : 15026 (java) S 15020 15020 25100 0 -1 1077944384 9594 0 0 0 199 77 0 0 20 0 15 0 54405149 13229391872 860620 18446744073709551615 4194304 4196468 140732134998128 139875478915728 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15027] ppid=15020 vsize=12919328 CPUtime=2.73 cores=0,2,4,6
/proc/15022/task/15027/stat : 15027 (java) S 15020 15020 25100 0 -1 1077944384 8787 0 0 0 189 84 0 0 20 0 15 0 54405149 13229391872 860620 18446744073709551615 4194304 4196468 140732134998128 139875477862928 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15028] ppid=15020 vsize=12919328 CPUtime=0.08 cores=0,2,4,6
/proc/15022/task/15028/stat : 15028 (java) S 15020 15020 25100 0 -1 1077944384 5503 0 0 0 8 0 0 0 20 0 15 0 54405151 13229391872 860620 18446744073709551615 4194304 4196468 140732134998128 139875088874096 139875537721986 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15029] ppid=15020 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15029/stat : 15029 (java) S 15020 15020 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 54405151 13229391872 860620 18446744073709551615 4194304 4196468 140732134998128 139875087820128 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15030] ppid=15020 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15030/stat : 15030 (java) S 15020 15020 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 54405151 13229391872 860620 18446744073709551615 4194304 4196468 140732134998128 139875086767744 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15031] ppid=15020 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15031/stat : 15031 (java) S 15020 15020 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54405154 13229391872 860620 18446744073709551615 4194304 4196468 140732134998128 139875085716048 139875537729435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15032] ppid=15020 vsize=12919328 CPUtime=0.75 cores=0,2,4,6
/proc/15022/task/15032/stat : 15032 (java) S 15020 15020 25100 0 -1 1077944384 2404 0 0 0 74 1 0 0 20 0 15 0 54405154 13229391872 860620 18446744073709551615 4194304 4196468 140732134998128 139875084662896 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15033] ppid=15020 vsize=12919328 CPUtime=0.83 cores=0,2,4,6
/proc/15022/task/15033/stat : 15033 (java) S 15020 15020 25100 0 -1 1077944384 1999 0 0 0 83 0 0 0 20 0 15 0 54405154 13229391872 860620 18446744073709551615 4194304 4196468 140732134998128 139875083610096 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15034] ppid=15020 vsize=12919328 CPUtime=0.51 cores=0,2,4,6
/proc/15022/task/15034/stat : 15034 (java) S 15020 15020 25100 0 -1 1077944384 2868 0 0 0 51 0 0 0 20 0 15 0 54405154 13229391872 860620 18446744073709551615 4194304 4196468 140732134998128 139875082557808 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15035] ppid=15020 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15035/stat : 15035 (java) S 15020 15020 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54405154 13229391872 860620 18446744073709551615 4194304 4196468 140732134998128 139875081505248 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15036] ppid=15020 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15036/stat : 15036 (java) S 15020 15020 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 54405158 13229391872 860620 18446744073709551615 4194304 4196468 140732134998128 139875080453040 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
Current children cumulated CPU time (s) 16.57
Current children cumulated vsize (KiB) 12928840

[startup+12.7016 s]
/proc/loadavg: 8.38 8.42 7.97 9/223 15040
/proc/meminfo: memFree=23039084/32770624 swapFree=0/333140
[pid=15020] ppid=15017 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15020/stat : 15020 (xcsp3-exec) S 15017 15020 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 54405143 9740288 345 18446744073709551615 4194304 5098028 140724069141056 140724069139160 140433512383100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21659648 140724069147032 140724069147242 140724069147242 140724069150699 0
/proc/15020/statm: 2378 345 289 221 0 87 0
[pid=15022] ppid=15020 vsize=13185584 CPUtime=40.61 cores=0,2,4,6
/proc/15022/stat : 15022 (java) S 15020 15020 25100 0 -1 1077944320 71489 0 0 0 3636 425 0 0 20 0 19 0 54405148 13502038016 1050420 18446744073709551615 4194304 4196468 140732134998128 140732134980672 139875537710839 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
/proc/15022/statm: 3296396 1050420 3241 1 0 3284688 0
[pid=15022/tid=15023] ppid=15020 vsize=13185584 CPUtime=3.79 cores=0,2,4,6
/proc/15022/task/15023/stat : 15023 (java) S 15020 15020 25100 0 -1 1077944384 11651 0 0 0 369 10 0 0 20 0 19 0 54405148 13502038016 1050420 18446744073709551615 4194304 4196468 140732134998128 139875541951616 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15024] ppid=15020 vsize=13185584 CPUtime=3.25 cores=0,2,4,6
/proc/15022/task/15024/stat : 15024 (java) S 15020 15020 25100 0 -1 1077944384 8323 0 0 0 226 99 0 0 20 0 19 0 54405149 13502038016 1050420 18446744073709551615 4194304 4196468 140732134998128 139875481020816 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15025] ppid=15020 vsize=13185584 CPUtime=3.26 cores=0,2,4,6
/proc/15022/task/15025/stat : 15025 (java) S 15020 15020 25100 0 -1 1077944384 14835 0 0 0 221 105 0 0 20 0 19 0 54405149 13502038016 1050420 18446744073709551615 4194304 4196468 140732134998128 139875479968016 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0

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

/proc/15022/task/15030/stat : 15030 (java) S 15020 15020 25100 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 54405151 13502038016 1050680 18446744073709551615 4194304 4196468 140732134998128 139875086767744 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15031] ppid=15020 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15031/stat : 15031 (java) S 15020 15020 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54405154 13502038016 1050680 18446744073709551615 4194304 4196468 140732134998128 139875085716048 139875537729435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15032] ppid=15020 vsize=13185584 CPUtime=1.09 cores=0,2,4,6
/proc/15022/task/15032/stat : 15032 (java) S 15020 15020 25100 0 -1 1077944384 3978 0 0 0 108 1 0 0 20 0 19 0 54405154 13502038016 1050680 18446744073709551615 4194304 4196468 140732134998128 139875084662896 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15033] ppid=15020 vsize=13185584 CPUtime=1.26 cores=0,2,4,6
/proc/15022/task/15033/stat : 15033 (java) S 15020 15020 25100 0 -1 1077944384 3602 0 0 0 126 0 0 0 20 0 19 0 54405154 13502038016 1050680 18446744073709551615 4194304 4196468 140732134998128 139875083610096 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15034] ppid=15020 vsize=13185584 CPUtime=0.59 cores=0,2,4,6
/proc/15022/task/15034/stat : 15034 (java) S 15020 15020 25100 0 -1 1077944384 4342 0 0 0 59 0 0 0 20 0 19 0 54405154 13502038016 1050680 18446744073709551615 4194304 4196468 140732134998128 139875082557808 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15035] ppid=15020 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15035/stat : 15035 (java) S 15020 15020 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54405154 13502038016 1050680 18446744073709551615 4194304 4196468 140732134998128 139875081505248 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15036] ppid=15020 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15036/stat : 15036 (java) S 15020 15020 25100 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 19 0 54405158 13502038016 1050680 18446744073709551615 4194304 4196468 140732134998128 139875080453040 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15037] ppid=15020 vsize=13185584 CPUtime=38.95 cores=0,2,4,6
/proc/15022/task/15037/stat : 15037 (java) R 15020 15020 25100 0 -1 4202560 1566 0 0 0 3895 0 0 0 20 0 19 0 54405872 13502038016 1050680 18446744073709551615 4194304 4196468 140732134998128 139874476217480 139875162699205 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15038] ppid=15020 vsize=13185584 CPUtime=38.78 cores=0,2,4,6
/proc/15022/task/15038/stat : 15038 (java) R 15020 15020 25100 0 -1 4202560 3002 0 0 0 3878 0 0 0 20 0 19 0 54405872 13502038016 1050680 18446744073709551615 4194304 4196468 140732134998128 139874475163872 139875162699385 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15039] ppid=15020 vsize=13185584 CPUtime=38.33 cores=0,2,4,6
/proc/15022/task/15039/stat : 15039 (java) R 15020 15020 25100 0 -1 4202560 1214 0 0 0 3833 0 0 0 20 0 19 0 54405872 13502038016 1050680 18446744073709551615 4194304 4196468 140732134998128 139874474111320 139875162699447 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15040] ppid=15020 vsize=13185584 CPUtime=38.97 cores=0,2,4,6
/proc/15022/task/15040/stat : 15040 (java) R 15020 15020 25100 0 -1 4202560 23410 0 0 0 3897 0 0 0 20 0 19 0 54405872 13502038016 1050680 18446744073709551615 4194304 4196468 140732134998128 139874473058008 139875162699352 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
Current children cumulated CPU time (s) 175
Current children cumulated vsize (KiB) 13195096

[startup+48.0016 s]
/proc/loadavg: 8.43 8.42 7.99 10/224 15042
/proc/meminfo: memFree=23032668/32770624 swapFree=0/333136
[pid=15020] ppid=15017 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15020/stat : 15020 (xcsp3-exec) S 15017 15020 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 54405143 9740288 345 18446744073709551615 4194304 5098028 140724069141056 140724069139160 140433512383100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21659648 140724069147032 140724069147242 140724069147242 140724069150699 0
/proc/15020/statm: 2378 345 289 221 0 87 0
[pid=15022] ppid=15020 vsize=13185584 CPUtime=181.39 cores=0,2,4,6
/proc/15022/stat : 15022 (java) S 15020 15020 25100 0 -1 1077944320 104112 0 0 0 17713 426 0 0 20 0 19 0 54405148 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 140732134980672 139875537710839 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
/proc/15022/statm: 3296396 1052029 3258 1 0 3284688 0
[pid=15022/tid=15023] ppid=15020 vsize=13185584 CPUtime=3.79 cores=0,2,4,6
/proc/15022/task/15023/stat : 15023 (java) S 15020 15020 25100 0 -1 1077944384 11651 0 0 0 369 10 0 0 20 0 19 0 54405148 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 139875541951616 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15024] ppid=15020 vsize=13185584 CPUtime=3.25 cores=0,2,4,6
/proc/15022/task/15024/stat : 15024 (java) S 15020 15020 25100 0 -1 1077944384 8323 0 0 0 226 99 0 0 20 0 19 0 54405149 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 139875481020816 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15025] ppid=15020 vsize=13185584 CPUtime=3.26 cores=0,2,4,6
/proc/15022/task/15025/stat : 15025 (java) S 15020 15020 25100 0 -1 1077944384 14835 0 0 0 221 105 0 0 20 0 19 0 54405149 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 139875479968016 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15026] ppid=15020 vsize=13185584 CPUtime=3.27 cores=0,2,4,6
/proc/15022/task/15026/stat : 15026 (java) S 15020 15020 25100 0 -1 1077944384 9987 0 0 0 229 98 0 0 20 0 19 0 54405149 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 139875478915728 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15027] ppid=15020 vsize=13185584 CPUtime=3.23 cores=0,2,4,6
/proc/15022/task/15027/stat : 15027 (java) S 15020 15020 25100 0 -1 1077944384 9199 0 0 0 217 106 0 0 20 0 19 0 54405149 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 139875477862928 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15028] ppid=15020 vsize=13185584 CPUtime=0.09 cores=0,2,4,6
/proc/15022/task/15028/stat : 15028 (java) S 15020 15020 25100 0 -1 1077944384 5786 0 0 0 9 0 0 0 20 0 19 0 54405151 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 139875088874096 139875537721986 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15029] ppid=15020 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15029/stat : 15029 (java) S 15020 15020 25100 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 54405151 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 139875087820128 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15030] ppid=15020 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15030/stat : 15030 (java) S 15020 15020 25100 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 54405151 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 139875086767744 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15031] ppid=15020 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15031/stat : 15031 (java) S 15020 15020 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54405154 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 139875085716048 139875537729435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15032] ppid=15020 vsize=13185584 CPUtime=1.11 cores=0,2,4,6
/proc/15022/task/15032/stat : 15032 (java) S 15020 15020 25100 0 -1 1077944384 3985 0 0 0 110 1 0 0 20 0 19 0 54405154 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 139875084662896 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15033] ppid=15020 vsize=13185584 CPUtime=1.41 cores=0,2,4,6
/proc/15022/task/15033/stat : 15033 (java) S 15020 15020 25100 0 -1 1077944384 5180 0 0 0 141 0 0 0 20 0 19 0 54405154 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 139875083610096 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15034] ppid=15020 vsize=13185584 CPUtime=0.6 cores=0,2,4,6
/proc/15022/task/15034/stat : 15034 (java) S 15020 15020 25100 0 -1 1077944384 4350 0 0 0 60 0 0 0 20 0 19 0 54405154 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 139875082557808 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15035] ppid=15020 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15035/stat : 15035 (java) S 15020 15020 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54405154 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 139875081505248 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15036] ppid=15020 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15036/stat : 15036 (java) S 15020 15020 25100 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 19 0 54405158 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 139875080453040 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15037] ppid=15020 vsize=13185584 CPUtime=40.53 cores=0,2,4,6
/proc/15022/task/15037/stat : 15037 (java) R 15020 15020 25100 0 -1 4202560 1572 0 0 0 4053 0 0 0 20 0 19 0 54405872 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 139874476215400 139875162699385 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15038] ppid=15020 vsize=13185584 CPUtime=40.29 cores=0,2,4,6
/proc/15022/task/15038/stat : 15038 (java) R 15020 15020 25100 0 -1 4202560 3026 0 0 0 4029 0 0 0 20 0 19 0 54405872 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 139874475165848 139875162699271 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15039] ppid=15020 vsize=13185584 CPUtime=39.91 cores=0,2,4,6
/proc/15022/task/15039/stat : 15039 (java) R 15020 15020 25100 0 -1 4202560 1232 0 0 0 3991 0 0 0 20 0 19 0 54405872 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 139874474113288 139875162699205 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15040] ppid=15020 vsize=13185584 CPUtime=40.53 cores=0,2,4,6
/proc/15022/task/15040/stat : 15040 (java) R 15020 15020 25100 0 -1 4202560 23414 0 0 0 4053 0 0 0 20 0 19 0 54405872 13502038016 1052029 18446744073709551615 4194304 4196468 140732134998128 139874473060616 139875162699385 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
Current children cumulated CPU time (s) 181.39
Current children cumulated vsize (KiB) 13195096

[startup+48.4008 s]
/proc/loadavg: 8.40 8.41 7.99 6/224 15042
/proc/meminfo: memFree=23032432/32770624 swapFree=0/333136
[pid=15020] ppid=15017 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15020/stat : 15020 (xcsp3-exec) S 15017 15020 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 54405143 9740288 345 18446744073709551615 4194304 5098028 140724069141056 140724069139160 140433512383100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21659648 140724069147032 140724069147242 140724069147242 140724069150699 0
/proc/15020/statm: 2378 345 289 221 0 87 0
[pid=15022] ppid=15020 vsize=13185584 CPUtime=181.97 cores=0,2,4,6
/proc/15022/stat : 15022 (java) S 15020 15020 25100 0 -1 1077944320 104172 0 0 0 17771 426 0 0 20 0 19 0 54405148 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 140732134980672 139875537710839 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
/proc/15022/statm: 3296396 1052030 3258 1 0 3284688 0
[pid=15022/tid=15023] ppid=15020 vsize=13185584 CPUtime=3.79 cores=0,2,4,6
/proc/15022/task/15023/stat : 15023 (java) S 15020 15020 25100 0 -1 1077944384 11651 0 0 0 369 10 0 0 20 0 19 0 54405148 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875541951616 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15024] ppid=15020 vsize=13185584 CPUtime=3.25 cores=0,2,4,6
/proc/15022/task/15024/stat : 15024 (java) S 15020 15020 25100 0 -1 1077944384 8323 0 0 0 226 99 0 0 20 0 19 0 54405149 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875481020816 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15025] ppid=15020 vsize=13185584 CPUtime=3.26 cores=0,2,4,6
/proc/15022/task/15025/stat : 15025 (java) S 15020 15020 25100 0 -1 1077944384 14835 0 0 0 221 105 0 0 20 0 19 0 54405149 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875479968016 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15026] ppid=15020 vsize=13185584 CPUtime=3.27 cores=0,2,4,6
/proc/15022/task/15026/stat : 15026 (java) S 15020 15020 25100 0 -1 1077944384 9987 0 0 0 229 98 0 0 20 0 19 0 54405149 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875478915728 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15027] ppid=15020 vsize=13185584 CPUtime=3.23 cores=0,2,4,6
/proc/15022/task/15027/stat : 15027 (java) S 15020 15020 25100 0 -1 1077944384 9199 0 0 0 217 106 0 0 20 0 19 0 54405149 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875477862928 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15028] ppid=15020 vsize=13185584 CPUtime=0.09 cores=0,2,4,6
/proc/15022/task/15028/stat : 15028 (java) S 15020 15020 25100 0 -1 1077944384 5786 0 0 0 9 0 0 0 20 0 19 0 54405151 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875088874096 139875537721986 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15029] ppid=15020 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15029/stat : 15029 (java) S 15020 15020 25100 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 54405151 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875087820128 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15030] ppid=15020 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15030/stat : 15030 (java) S 15020 15020 25100 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 54405151 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875086767744 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15031] ppid=15020 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15031/stat : 15031 (java) S 15020 15020 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54405154 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875085716048 139875537729435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15032] ppid=15020 vsize=13185584 CPUtime=1.11 cores=0,2,4,6
/proc/15022/task/15032/stat : 15032 (java) S 15020 15020 25100 0 -1 1077944384 3985 0 0 0 110 1 0 0 20 0 19 0 54405154 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875084662896 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15033] ppid=15020 vsize=13185584 CPUtime=1.41 cores=0,2,4,6
/proc/15022/task/15033/stat : 15033 (java) S 15020 15020 25100 0 -1 1077944384 5180 0 0 0 141 0 0 0 20 0 19 0 54405154 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875083610096 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15034] ppid=15020 vsize=13185584 CPUtime=0.6 cores=0,2,4,6
/proc/15022/task/15034/stat : 15034 (java) S 15020 15020 25100 0 -1 1077944384 4350 0 0 0 60 0 0 0 20 0 19 0 54405154 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875082557808 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15035] ppid=15020 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15035/stat : 15035 (java) S 15020 15020 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54405154 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875081505248 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15036] ppid=15020 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15036/stat : 15036 (java) S 15020 15020 25100 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 19 0 54405158 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875080453040 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15037] ppid=15020 vsize=13185584 CPUtime=40.53 cores=0,2,4,6
/proc/15022/task/15037/stat : 15037 (java) S 15020 15020 25100 0 -1 1077944384 1618 0 0 0 4053 0 0 0 20 0 19 0 54405872 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139874476220336 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15038] ppid=15020 vsize=13185584 CPUtime=40.69 cores=0,2,4,6
/proc/15022/task/15038/stat : 15038 (java) R 15020 15020 25100 0 -1 4202560 3035 0 0 0 4069 0 0 0 20 0 19 0 54405872 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139874475163984 139875162699405 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15039] ppid=15020 vsize=13185584 CPUtime=40.07 cores=0,2,4,6
/proc/15022/task/15039/stat : 15039 (java) S 15020 15020 25100 0 -1 1077944384 1233 0 0 0 4007 0 0 0 20 0 19 0 54405872 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139874474116560 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15040] ppid=15020 vsize=13185584 CPUtime=40.54 cores=0,2,4,6
/proc/15022/task/15040/stat : 15040 (java) S 15020 15020 25100 0 -1 1077944384 23418 0 0 0 4054 0 0 0 20 0 19 0 54405872 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139874473063248 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
Current children cumulated CPU time (s) 181.97
Current children cumulated vsize (KiB) 13195096

[startup+48.8008 s]
/proc/loadavg: 8.40 8.41 7.99 6/224 15042
/proc/meminfo: memFree=23032432/32770624 swapFree=0/333136
[pid=15020] ppid=15017 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15020/stat : 15020 (xcsp3-exec) S 15017 15020 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 54405143 9740288 345 18446744073709551615 4194304 5098028 140724069141056 140724069139160 140433512383100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21659648 140724069147032 140724069147242 140724069147242 140724069150699 0
/proc/15020/statm: 2378 345 289 221 0 87 0
[pid=15022] ppid=15020 vsize=13185584 CPUtime=182.36 cores=0,2,4,6
/proc/15022/stat : 15022 (java) S 15020 15020 25100 0 -1 1077944320 104173 0 0 0 17810 426 0 0 20 0 19 0 54405148 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 140732134980672 139875537710839 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
/proc/15022/statm: 3296396 1052030 3258 1 0 3284688 0
[pid=15022/tid=15023] ppid=15020 vsize=13185584 CPUtime=3.79 cores=0,2,4,6
/proc/15022/task/15023/stat : 15023 (java) S 15020 15020 25100 0 -1 1077944384 11651 0 0 0 369 10 0 0 20 0 19 0 54405148 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875541951616 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15024] ppid=15020 vsize=13185584 CPUtime=3.25 cores=0,2,4,6
/proc/15022/task/15024/stat : 15024 (java) S 15020 15020 25100 0 -1 1077944384 8323 0 0 0 226 99 0 0 20 0 19 0 54405149 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875481020816 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15025] ppid=15020 vsize=13185584 CPUtime=3.26 cores=0,2,4,6
/proc/15022/task/15025/stat : 15025 (java) S 15020 15020 25100 0 -1 1077944384 14835 0 0 0 221 105 0 0 20 0 19 0 54405149 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875479968016 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15026] ppid=15020 vsize=13185584 CPUtime=3.27 cores=0,2,4,6
/proc/15022/task/15026/stat : 15026 (java) S 15020 15020 25100 0 -1 1077944384 9987 0 0 0 229 98 0 0 20 0 19 0 54405149 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875478915728 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15027] ppid=15020 vsize=13185584 CPUtime=3.23 cores=0,2,4,6
/proc/15022/task/15027/stat : 15027 (java) S 15020 15020 25100 0 -1 1077944384 9199 0 0 0 217 106 0 0 20 0 19 0 54405149 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875477862928 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15028] ppid=15020 vsize=13185584 CPUtime=0.09 cores=0,2,4,6
/proc/15022/task/15028/stat : 15028 (java) S 15020 15020 25100 0 -1 1077944384 5786 0 0 0 9 0 0 0 20 0 19 0 54405151 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875088874096 139875537721986 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15029] ppid=15020 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15029/stat : 15029 (java) S 15020 15020 25100 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 54405151 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875087820128 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15030] ppid=15020 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15030/stat : 15030 (java) S 15020 15020 25100 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 54405151 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875086767744 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15031] ppid=15020 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15031/stat : 15031 (java) S 15020 15020 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54405154 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875085716048 139875537729435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15032] ppid=15020 vsize=13185584 CPUtime=1.11 cores=0,2,4,6
/proc/15022/task/15032/stat : 15032 (java) S 15020 15020 25100 0 -1 1077944384 3985 0 0 0 110 1 0 0 20 0 19 0 54405154 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875084662896 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15033] ppid=15020 vsize=13185584 CPUtime=1.41 cores=0,2,4,6
/proc/15022/task/15033/stat : 15033 (java) S 15020 15020 25100 0 -1 1077944384 5180 0 0 0 141 0 0 0 20 0 19 0 54405154 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875083610096 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15034] ppid=15020 vsize=13185584 CPUtime=0.6 cores=0,2,4,6
/proc/15022/task/15034/stat : 15034 (java) S 15020 15020 25100 0 -1 1077944384 4350 0 0 0 60 0 0 0 20 0 19 0 54405154 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875082557808 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15035] ppid=15020 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15035/stat : 15035 (java) S 15020 15020 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54405154 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875081505248 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15036] ppid=15020 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/15022/task/15036/stat : 15036 (java) S 15020 15020 25100 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 19 0 54405158 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139875080453040 139875537721986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15037] ppid=15020 vsize=13185584 CPUtime=40.53 cores=0,2,4,6
/proc/15022/task/15037/stat : 15037 (java) S 15020 15020 25100 0 -1 1077944384 1618 0 0 0 4053 0 0 0 20 0 19 0 54405872 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139874476220336 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15038] ppid=15020 vsize=13185584 CPUtime=41.08 cores=0,2,4,6
/proc/15022/task/15038/stat : 15038 (java) R 15020 15020 25100 0 -1 4202560 3036 0 0 0 4108 0 0 0 20 0 19 0 54405872 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139874475163872 139875162699483 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15039] ppid=15020 vsize=13185584 CPUtime=40.07 cores=0,2,4,6
/proc/15022/task/15039/stat : 15039 (java) S 15020 15020 25100 0 -1 1077944384 1233 0 0 0 4007 0 0 0 20 0 19 0 54405872 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139874474116560 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
[pid=15022/tid=15040] ppid=15020 vsize=13185584 CPUtime=40.54 cores=0,2,4,6
/proc/15022/task/15040/stat : 15040 (java) S 15020 15020 25100 0 -1 1077944384 23418 0 0 0 4054 0 0 0 20 0 19 0 54405872 13502038016 1052030 18446744073709551615 4194304 4196468 140732134998128 139874473063248 139875537721045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32243712 140732135006678 140732135006854 140732135006854 140732135010255 0
Current children cumulated CPU time (s) 182.36
Current children cumulated vsize (KiB) 13195096

Child status: 0
Real time (s): 48.8686
CPU time (s): 182.434
CPU user time (s): 178.147
CPU system time (s): 4.28677
CPU usage (%): 373.315
Max. virtual memory (cumulated for all children) (KiB): 13195096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 178.147
system time used= 4.28676
maximum resident set size= 4208312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104999
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4416
involuntary context switches= 3127

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.179783 second user time and 0.387533 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-07 02:17:32
IDJOB=4247837
IDBENCH=140859
IDSOLVER=2625
FILE ID=node133/4247837-1502065899
RUNJOBID= node133-1502042263-31898
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Wwtpp/Wwtpp-ord-s1/Wwtpp-ord-ex07180.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247837-1502065899/watcher-4247837-1502065899 -o /tmp/evaluation-result-4247837-1502065899/solver-4247837-1502065899 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1867358049 HOME/instance-4247837-1502065899.xml

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

MD5SUM BENCH= e350026a89cfa709a4f565894b0c8a5a
RANDOM SEED=1867358049

node133.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.17
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.17
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.17
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.17
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:        27232964 kB
MemAvailable:   27735688 kB
Buffers:          209284 kB
Cached:           584264 kB
SwapCached:            0 kB
Active:          4749060 kB
Inactive:         358028 kB
Active(anon):    4313500 kB
Inactive(anon):    24920 kB
Active(file):     435560 kB
Inactive(file):   333108 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8324 kB
Writeback:             0 kB
AnonPages:       4316556 kB
Mapped:            52580 kB
Shmem:             25276 kB
Slab:             126872 kB
SReclaimable:      99784 kB
SUnreclaim:        27088 kB
KernelStack:        3904 kB
PageTables:        13756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6308620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4132864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62016 MiB
End job on node133 at 2017-08-07 02:18:21