Trace number 4245750

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 5a (2017-07-05)SAT (TO)1440 2400.37 303.812

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-nug20.xml
MD5SUM1ce5b24a466c3cb241db2c2b366e9012
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1287
Best CPU time to get the best result obtained on this benchmark2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables420
Number of constraints191
Number of domains2
Minimum domain size8
Maximum domain size20
Distribution of domain sizes[{"size":8,"count":190},{"size":20,"count":20}]
Minimum variable degree0
Maximum variable degree20
Distribution of variable degrees[{"degree":0,"count":210},{"degree":2,"count":190},{"degree":20,"count":20}]
Minimum constraint arity3
Maximum constraint arity20
Distribution of constraint arities[{"arity":3,"count":190},{"arity":20,"count":1}]
Number of extensional constraints190
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":190},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4245750-1500686499.xml"  -tl '2400s' -p 8 -x 3
0.00/0.19	c [HOME/instance-4245750-1500686499.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.25	c 8 solvers in parallel
0.00/0.31	c parse instance...
0.00/0.85	c solve instance...
0.00/1.08	o 1722 
0.00/1.10	o 1664 
4.33/1.20	o 1655 
5.10/1.24	o 1654 
5.10/1.24	o 1618 
5.10/1.28	o 1608 
5.10/1.29	o 1592 
6.08/1.41	o 1587 
6.08/1.42	o 1586 
6.82/1.55	o 1584 
6.82/1.57	o 1574 
7.55/1.62	o 1565 
7.55/1.63	o 1564 
7.55/1.64	o 1559 
7.55/1.68	o 1557 
8.29/1.72	o 1552 
10.64/2.01	o 1535 
10.64/2.01	o 1526 
10.64/2.01	o 1520 
15.35/2.65	o 1519 
16.06/2.76	o 1517 
17.31/2.96	o 1511 
20.56/3.36	o 1510 
22.01/3.58	o 1506 
24.37/3.81	o 1501 
25.14/3.99	o 1499 
25.92/4.05	o 1479 
27.41/4.25	o 1470 
29.11/4.47	o 1466 
53.58/7.51	o 1461 
206.22/26.79	o 1459 
223.53/28.94	o 1458 
252.83/32.65	o 1456 
252.83/32.67	o 1455 
252.83/32.68	o 1450 
261.89/33.83	o 1449 
380.38/48.75	o 1448 
607.09/77.26	o 1440 
2400.37/303.84	s SATISFIABLE
2400.37/303.84	v <instantiation>
2400.37/303.84	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] 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[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[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[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[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[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[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[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[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[15][16] d[15][17] d[15][18] d[15][19] d[16][17] d[16][18] d[16][19] d[17][18] d[17][19] d[18][19] </list>
2400.37/303.84	v 	<values>0 9 6 2 4 18 1 14 3 5 13 11 17 19 12 15 10 7 8 16 5 10 5 5 0 0 5 0 2 0 5 0 1 0 4 5 3 1 4 0 5 5 5 4 1 0 6 5 5 5 2 0 0 5 1 2 0 2 6 0 5 5 5 5 2 10 1 10 2 1 5 0 0 2 0 0 3 1 2 5 5 0 5 0 0 0 0 4 4 0 5 5 1 1 5 1 0 2 1 5 1 2 5 2 5 10 10 5 1 5 2 1 6 0 2 2 2 0 2 10 10 1 10 5 5 5 0 3 2 1 2 0 2 2 5 5 5 10 2 3 1 10 0 0 0 0 2 2 5 2 1 10 2 1 5 0 0 0 5 10 0 0 2 1 1 10 5 0 2 5 5 0 5 1 1 5 2 0 5 10 3 1 1 0 0 2 2 0 5 5 0 5 10 2 0 1 2 2 5 0 10 2 5 0 10 0 0 1 5 0 </values>
2400.37/303.84	v </instantiation>
2400.37/303.84	c Unexpected resolution interruption!

Verifier Data 

OK	1440

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-4245750-1500686499/watcher-4245750-1500686499 -o /tmp/evaluation-result-4245750-1500686499/solver-4245750-1500686499 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 322914754 HOME/instance-4245750-1500686499.xml 

pid=29958
running on 8 cores: 1,3,5,7,9,11,13,15

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: 11.19 12.87 14.02 11/272 29961
/proc/meminfo: memFree=21777928/32770624 swapFree=5972/226284
[pid=29961] ppid=29958 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29961/stat : 29961 (xcsp3-exec) S 29958 29961 14626 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3919384 9740288 345 33554432000 4194304 5098028 140727308762336 140727308760440 139932264518268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9453568 140727308764303 140727308764512 140727308764512 140727308767211 0
/proc/29961/statm: 2378 345 289 221 0 87 0

[startup+0.100104 s]
/proc/loadavg: 11.19 12.87 14.02 11/272 29961
/proc/meminfo: memFree=21777928/32770624 swapFree=5972/226284
[pid=29961] ppid=29958 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29961/stat : 29961 (xcsp3-exec) S 29958 29961 14626 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3919384 9740288 345 33554432000 4194304 5098028 140727308762336 140727308760440 139932264518268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9453568 140727308764303 140727308764512 140727308764512 140727308767211 0
/proc/29961/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200385 s]
/proc/loadavg: 11.19 12.87 14.02 11/272 29961
/proc/meminfo: memFree=21777928/32770624 swapFree=5972/226284
[pid=29961] ppid=29958 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29961/stat : 29961 (xcsp3-exec) S 29958 29961 14626 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3919384 9740288 345 33554432000 4194304 5098028 140727308762336 140727308760440 139932264518268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9453568 140727308764303 140727308764512 140727308764512 140727308767211 0
/proc/29961/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: 11.19 12.87 14.02 11/272 29961
/proc/meminfo: memFree=21777928/32770624 swapFree=5972/226284
[pid=29961] ppid=29958 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29961/stat : 29961 (xcsp3-exec) S 29958 29961 14626 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3919384 9740288 345 33554432000 4194304 5098028 140727308762336 140727308760440 139932264518268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9453568 140727308764303 140727308764512 140727308764512 140727308767211 0
/proc/29961/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700161 s]
/proc/loadavg: 11.19 12.87 14.02 11/272 29961
/proc/meminfo: memFree=21777928/32770624 swapFree=5972/226284
[pid=29961] ppid=29958 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29961/stat : 29961 (xcsp3-exec) S 29958 29961 14626 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3919384 9740288 345 33554432000 4194304 5098028 140727308762336 140727308760440 139932264518268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9453568 140727308764303 140727308764512 140727308764512 140727308767211 0
/proc/29961/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50112 s]
/proc/loadavg: 11.19 12.87 14.02 9/297 29998
/proc/meminfo: memFree=21629988/32770624 swapFree=5972/226320
[pid=29961] ppid=29958 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29961/stat : 29961 (xcsp3-exec) S 29958 29961 14626 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3919384 9740288 345 33554432000 4194304 5098028 140727308762336 140727308760440 139932264518268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9453568 140727308764303 140727308764512 140727308764512 140727308767211 0
/proc/29961/statm: 2378 345 289 221 0 87 0
[pid=29962] ppid=29961 vsize=13802796 CPUtime=6.82 cores=1,3,5,7,9,11,13,15
/proc/29962/stat : 29962 (java) S 29961 29961 14626 0 -1 1077944320 18273 0 0 0 668 14 0 0 20 0 28 0 3919384 14134063104 50109 33554432000 4194304 4196468 140725414426624 140725414409168 139993377287927 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
/proc/29962/statm: 3450699 50109 3241 1 0 3437932 0
[pid=29962/tid=29963] ppid=29961 vsize=13802796 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29963/stat : 29963 (java) S 29961 29961 14626 0 -1 1077944384 6831 0 0 0 80 4 0 0 20 0 28 0 3919385 14134063104 50109 33554432000 4194304 4196468 140725414426624 139993381528704 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29965] ppid=29961 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29965/stat : 29965 (java) S 29961 29961 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3919386 14134063104 50109 33554432000 4194304 4196468 140725414426624 139993329908624 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29966] ppid=29961 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29966/stat : 29966 (java) S 29961 29961 14626 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 3919386 14134063104 50109 33554432000 4194304 4196468 140725414426624 139993328855824 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29967] ppid=29961 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29967/stat : 29967 (java) S 29961 29961 14626 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3919386 14134063104 50109 33554432000 4194304 4196468 140725414426624 139993327803536 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29968] ppid=29961 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29968/stat : 29968 (java) S 29961 29961 14626 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3919386 14134063104 50109 33554432000 4194304 4196468 140725414426624 139993326750736 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29969] ppid=29961 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29969/stat : 29969 (java) S 29961 29961 14626 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3919386 14134063104 50109 33554432000 4194304 4196468 140725414426624 139993325697424 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29970] ppid=29961 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29970/stat : 29970 (java) S 29961 29961 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3919386 14134063104 50109 33554432000 4194304 4196468 140725414426624 139993324644624 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29971] ppid=29961 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29971/stat : 29971 (java) S 29961 29961 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3919386 14134063104 50109 33554432000 4194304 4196468 140725414426624 139993323592336 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29972] ppid=29961 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29972/stat : 29972 (java) S 29961 29961 14626 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3919386 14134063104 50109 33554432000 4194304 4196468 140725414426624 139993322539536 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29973] ppid=29961 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29973/stat : 29973 (java) S 29961 29961 14626 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3919388 14134063104 50109 33554432000 4194304 4196468 140725414426624 139992704703088 139993377299074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29974] ppid=29961 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29974/stat : 29974 (java) S 29961 29961 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3919389 14134063104 50109 33554432000 4194304 4196468 140725414426624 139992703649056 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29975] ppid=29961 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29975/stat : 29975 (java) S 29961 29961 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3919389 14134063104 50109 33554432000 4194304 4196468 140725414426624 139992702596720 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29976] ppid=29961 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29976/stat : 29976 (java) S 29961 29961 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3919393 14134063104 50109 33554432000 4194304 4196468 140725414426624 139992701545040 139993377306523 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29977] ppid=29961 vsize=13802796 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29977/stat : 29977 (java) R 29961 29961 14626 0 -1 4202560 2188 0 0 0 83 1 0 0 20 0 28 0 3919393 14134063104 50109 33554432000 4194304 4196468 140725414426624 139992700477912 139993360675452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29978] ppid=29961 vsize=13802796 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29978/stat : 29978 (java) R 29961 29961 14626 0 -1 4202560 1694 0 0 0 87 0 0 0 20 0 28 0 3919393 14134063104 50109 33554432000 4194304 4196468 140725414426624 139992699429088 139993360784656 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29979] ppid=29961 vsize=13802796 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29979/stat : 29979 (java) R 29961 29961 14626 0 -1 4202560 1947 0 0 0 87 0 0 0 20 0 28 0 3919393 14134063104 50109 33554432000 4194304 4196468 140725414426624 139992698372824 139993362414335 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29980] ppid=29961 vsize=13802796 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29980/stat : 29980 (java) S 29961 29961 14626 0 -1 1077944384 2466 0 0 0 67 1 0 0 20 0 28 0 3919393 14134063104 50109 33554432000 4194304 4196468 140725414426624 139992697334000 139993377299074 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29981] ppid=29961 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29981/stat : 29981 (java) S 29961 29961 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3919393 14134063104 50109 33554432000 4194304 4196468 140725414426624 139992696281952 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29982] ppid=29961 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29982/stat : 29982 (java) S 29961 29961 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3919393 14134063104 50109 33554432000 4194304 4196468 140725414426624 139992695229232 139993377299074 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
Current children cumulated CPU time (s) 6.82
Current children cumulated vsize (KiB) 13812308

[startup+3.10127 s]
/proc/loadavg: 11.19 12.87 14.02 13/301 30150
/proc/meminfo: memFree=21571208/32770624 swapFree=5972/226324
[pid=29961] ppid=29958 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29961/stat : 29961 (xcsp3-exec) S 29958 29961 14626 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3919384 9740288 345 33554432000 4194304 5098028 140727308762336 140727308760440 139932264518268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9453568 140727308764303 140727308764512 140727308764512 140727308767211 0
/proc/29961/statm: 2378 345 289 221 0 87 0
[pid=29962] ppid=29961 vsize=13868332 CPUtime=18.85 cores=1,3,5,7,9,11,13,15
/proc/29962/stat : 29962 (java) S 29961 29961 14626 0 -1 1077944320 22941 0 0 0 1864 21 0 0 20 0 28 0 3919384 14201171968 58708 33554432000 4194304 4196468 140725414426624 140725414409168 139993377287927 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
/proc/29962/statm: 3467083 58708 3268 1 0 3454316 0
[pid=29962/tid=29963] ppid=29961 vsize=13868332 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29963/stat : 29963 (java) S 29961 29961 14626 0 -1 1077944384 6831 0 0 0 81 4 0 0 20 0 28 0 3919385 14201171968 58708 33554432000 4194304 4196468 140725414426624 139993381528704 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29965] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29965/stat : 29965 (java) S 29961 29961 14626 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 3919386 14201171968 58708 33554432000 4194304 4196468 140725414426624 139993329908624 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29966] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29966/stat : 29966 (java) S 29961 29961 14626 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3919386 14201171968 58708 33554432000 4194304 4196468 140725414426624 139993328855824 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29967] ppid=29961 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29967/stat : 29967 (java) S 29961 29961 14626 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3919386 14201171968 58708 33554432000 4194304 4196468 140725414426624 139993327803536 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29968] ppid=29961 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29968/stat : 29968 (java) S 29961 29961 14626 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 3919386 14201171968 58708 33554432000 4194304 4196468 140725414426624 139993326750736 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29969] ppid=29961 vsize=13868332 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29969/stat : 29969 (java) S 29961 29961 14626 0 -1 1077944384 26 0 0 0 2 1 0 0 20 0 28 0 3919386 14201171968 58708 33554432000 4194304 4196468 140725414426624 139993325697424 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29970] ppid=29961 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29970/stat : 29970 (java) S 29961 29961 14626 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 28 0 3919386 14201171968 58708 33554432000 4194304 4196468 140725414426624 139993324644624 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29971] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29971/stat : 29971 (java) S 29961 29961 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3919386 14201171968 58708 33554432000 4194304 4196468 140725414426624 139993323592336 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29972] ppid=29961 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29972/stat : 29972 (java) S 29961 29961 14626 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3919386 14201171968 58708 33554432000 4194304 4196468 140725414426624 139993322539536 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29973] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29973/stat : 29973 (java) S 29961 29961 14626 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 3919388 14201171968 58708 33554432000 4194304 4196468 140725414426624 139992704703088 139993377299074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29974] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29974/stat : 29974 (java) S 29961 29961 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3919389 14201171968 58708 33554432000 4194304 4196468 140725414426624 139992703649120 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29975] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29975/stat : 29975 (java) S 29961 29961 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3919389 14201171968 58708 33554432000 4194304 4196468 140725414426624 139992702596736 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29976] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29976/stat : 29976 (java) S 29961 29961 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3919393 14201171968 58708 33554432000 4194304 4196468 140725414426624 139992701545040 139993377306523 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29977] ppid=29961 vsize=13868332 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29977/stat : 29977 (java) R 29961 29961 14626 0 -1 4202560 2477 0 0 0 181 1 0 0 20 0 28 0 3919393 14201171968 58708 33554432000 4194304 4196468 140725414426624 139992700492184 139993362395905 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29978] ppid=29961 vsize=13868332 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29978/stat : 29978 (java) R 29961 29961 14626 0 -1 4202560 2682 0 0 0 208 0 0 0 20 0 28 0 3919393 14201171968 58708 33554432000 4194304 4196468 140725414426624 139992699439384 139993360845302 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29979] ppid=29961 vsize=13868332 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29979/stat : 29979 (java) R 29961 29961 14626 0 -1 4202560 3102 0 0 0 202 0 0 0 20 0 28 0 3919393 14201171968 58708 33554432000 4194304 4196468 140725414426624 139992698375704 139993360819410 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29980] ppid=29961 vsize=13868332 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29980/stat : 29980 (java) S 29961 29961 14626 0 -1 1077944384 2840 0 0 0 85 2 0 0 20 0 28 0 3919393 14201171968 58708 33554432000 4194304 4196468 140725414426624 139992697334000 139993377299074 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29981] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29981/stat : 29981 (java) S 29961 29961 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3919393 14201171968 58708 33554432000 4194304 4196468 140725414426624 139992696281952 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29982] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29982/stat : 29982 (java) S 29961 29961 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3919393 14201171968 58708 33554432000 4194304 4196468 140725414426624 139992695229232 139993377299074 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
Current children cumulated CPU time (s) 18.85
Current children cumulated vsize (KiB) 13877844

[startup+6.30154 s]
/proc/loadavg: 11.02 12.80 13.99 10/301 30238
/proc/meminfo: memFree=21552840/32770624 swapFree=5972/226332
[pid=29961] ppid=29958 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29961/stat : 29961 (xcsp3-exec) S 29958 29961 14626 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3919384 9740288 345 33554432000 4194304 5098028 140727308762336 140727308760440 139932264518268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9453568 140727308764303 140727308764512 140727308764512 140727308767211 0
/proc/29961/statm: 2378 345 289 221 0 87 0
[pid=29962] ppid=29961 vsize=13868332 CPUtime=44.04 cores=1,3,5,7,9,11,13,15
/proc/29962/stat : 29962 (java) S 29961 29961 14626 0 -1 1077944320 28415 0 0 0 4380 24 0 0 20 0 28 0 3919384 14201171968 63878 33554432000 4194304 4196468 140725414426624 140725414409168 139993377287927 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
/proc/29962/statm: 3467083 63878 3270 1 0 3454316 0
[pid=29962/tid=29963] ppid=29961 vsize=13868332 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29963/stat : 29963 (java) S 29961 29961 14626 0 -1 1077944384 6834 0 0 0 81 4 0 0 20 0 28 0 3919385 14201171968 63878 33554432000 4194304 4196468 140725414426624 139993381528704 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29965] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29965/stat : 29965 (java) S 29961 29961 14626 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 3919386 14201171968 63878 33554432000 4194304 4196468 140725414426624 139993329908624 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29966] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29966/stat : 29966 (java) S 29961 29961 14626 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3919386 14201171968 63878 33554432000 4194304 4196468 140725414426624 139993328855824 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29967] ppid=29961 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29967/stat : 29967 (java) S 29961 29961 14626 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3919386 14201171968 63878 33554432000 4194304 4196468 140725414426624 139993327803536 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29968] ppid=29961 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29968/stat : 29968 (java) S 29961 29961 14626 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 3919386 14201171968 63878 33554432000 4194304 4196468 140725414426624 139993326750736 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29969] ppid=29961 vsize=13868332 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29969/stat : 29969 (java) S 29961 29961 14626 0 -1 1077944384 26 0 0 0 2 1 0 0 20 0 28 0 3919386 14201171968 63878 33554432000 4194304 4196468 140725414426624 139993325697424 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29970] ppid=29961 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29970/stat : 29970 (java) S 29961 29961 14626 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 28 0 3919386 14201171968 63878 33554432000 4194304 4196468 140725414426624 139993324644624 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29971] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29971/stat : 29971 (java) S 29961 29961 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3919386 14201171968 63878 33554432000 4194304 4196468 140725414426624 139993323592336 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29972] ppid=29961 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29972/stat : 29972 (java) S 29961 29961 14626 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3919386 14201171968 63878 33554432000 4194304 4196468 140725414426624 139993322539536 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29973] ppid=29961 vsize=13868332 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29973/stat : 29973 (java) S 29961 29961 14626 0 -1 1077944384 85 0 0 0 0 1 0 0 20 0 28 0 3919388 14201171968 63878 33554432000 4194304 4196468 140725414426624 139992704703088 139993377299074 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29974] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29974/stat : 29974 (java) S 29961 29961 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3919389 14201171968 63878 33554432000 4194304 4196468 140725414426624 139992703649120 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29975] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29975/stat : 29975 (java) S 29961 29961 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3919389 14201171968 63878 33554432000 4194304 4196468 140725414426624 139992702596736 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29976] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29976/stat : 29976 (java) S 29961 29961 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3919393 14201171968 63878 33554432000 4194304 4196468 140725414426624 139992701545040 139993377306523 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0

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

[pid=29962/tid=30342] ppid=29961 vsize=13868332 CPUtime=143.54 cores=1,3,5,7,9,11,13,15
/proc/29962/task/30342/stat : 30342 (java) R 29961 29961 14626 0 -1 4202560 593 0 0 0 14354 0 0 0 20 0 28 0 3927110 14201171968 116223 33554432000 4194304 4196468 140725414426624 139992687715096 139993007160259 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=30343] ppid=29961 vsize=13868332 CPUtime=143.31 cores=1,3,5,7,9,11,13,15
/proc/29962/task/30343/stat : 30343 (java) R 29961 29961 14626 0 -1 4202560 748 0 0 0 14331 0 0 0 20 0 28 0 3927110 14201171968 116223 33554432000 4194304 4196468 140725414426624 139992685608968 139993006152966 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
Current children cumulated CPU time (s) 1756.4
Current children cumulated vsize (KiB) 13877844

[startup+282.302 s]
/proc/loadavg: 14.96 13.80 14.08 17/301 30372
/proc/meminfo: memFree=21211240/32770624 swapFree=5972/226640
[pid=29961] ppid=29958 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29961/stat : 29961 (xcsp3-exec) S 29958 29961 14626 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3919384 9740288 345 33554432000 4194304 5098028 140727308762336 140727308760440 139932264518268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9453568 140727308764303 140727308764512 140727308764512 140727308767211 0
/proc/29961/statm: 2378 345 289 221 0 87 0
[pid=29962] ppid=29961 vsize=13868332 CPUtime=2230.53 cores=1,3,5,7,9,11,13,15
/proc/29962/stat : 29962 (java) S 29961 29961 14626 0 -1 1077944320 113021 0 0 0 222846 207 0 0 20 0 28 0 3919384 14201171968 136138 33554432000 4194304 4196468 140725414426624 140725414409168 139993377287927 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
/proc/29962/statm: 3467083 136138 3283 1 0 3454316 0
[pid=29962/tid=29963] ppid=29961 vsize=13868332 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29963/stat : 29963 (java) S 29961 29961 14626 0 -1 1077944384 7909 0 0 0 82 4 0 0 20 0 28 0 3919385 14201171968 136138 33554432000 4194304 4196468 140725414426624 139993381528704 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29965] ppid=29961 vsize=13868332 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29965/stat : 29965 (java) S 29961 29961 14626 0 -1 1077944384 1457 0 0 0 37 13 0 0 20 0 28 0 3919386 14201171968 136138 33554432000 4194304 4196468 140725414426624 139993329908624 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29966] ppid=29961 vsize=13868332 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29966/stat : 29966 (java) S 29961 29961 14626 0 -1 1077944384 1747 0 0 0 38 12 0 0 20 0 28 0 3919386 14201171968 136138 33554432000 4194304 4196468 140725414426624 139993328855824 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29967] ppid=29961 vsize=13868332 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29967/stat : 29967 (java) S 29961 29961 14626 0 -1 1077944384 1113 0 0 0 36 13 0 0 20 0 28 0 3919386 14201171968 136138 33554432000 4194304 4196468 140725414426624 139993327803536 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29968] ppid=29961 vsize=13868332 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29968/stat : 29968 (java) S 29961 29961 14626 0 -1 1077944384 1456 0 0 0 39 15 0 0 20 0 28 0 3919386 14201171968 136138 33554432000 4194304 4196468 140725414426624 139993326750736 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29969] ppid=29961 vsize=13868332 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29969/stat : 29969 (java) S 29961 29961 14626 0 -1 1077944384 4180 0 0 0 40 12 0 0 20 0 28 0 3919386 14201171968 136138 33554432000 4194304 4196468 140725414426624 139993325697424 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29970] ppid=29961 vsize=13868332 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29970/stat : 29970 (java) S 29961 29961 14626 0 -1 1077944384 886 0 0 0 37 14 0 0 20 0 28 0 3919386 14201171968 136138 33554432000 4194304 4196468 140725414426624 139993324644624 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29971] ppid=29961 vsize=13868332 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29971/stat : 29971 (java) S 29961 29961 14626 0 -1 1077944384 1418 0 0 0 36 12 0 0 20 0 28 0 3919386 14201171968 136138 33554432000 4194304 4196468 140725414426624 139993323592336 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29972] ppid=29961 vsize=13868332 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29972/stat : 29972 (java) S 29961 29961 14626 0 -1 1077944384 1675 0 0 0 37 15 0 0 20 0 28 0 3919386 14201171968 136138 33554432000 4194304 4196468 140725414426624 139993322539536 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29973] ppid=29961 vsize=13868332 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29973/stat : 29973 (java) S 29961 29961 14626 0 -1 1077944384 5778 0 0 0 48 59 0 0 20 0 28 0 3919388 14201171968 136138 33554432000 4194304 4196468 140725414426624 139992704703088 139993377299074 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29974] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29974/stat : 29974 (java) S 29961 29961 14626 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 3919389 14201171968 136138 33554432000 4194304 4196468 140725414426624 139992703649120 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29975] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29975/stat : 29975 (java) S 29961 29961 14626 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3919389 14201171968 136138 33554432000 4194304 4196468 140725414426624 139992702596736 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29976] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29976/stat : 29976 (java) S 29961 29961 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3919393 14201171968 136138 33554432000 4194304 4196468 140725414426624 139992701545040 139993377306523 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29977] ppid=29961 vsize=13868332 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29977/stat : 29977 (java) S 29961 29961 14626 0 -1 1077944384 14349 0 0 0 306 2 0 0 20 0 28 0 3919393 14201171968 136138 33554432000 4194304 4196468 140725414426624 139992700491888 139993377299074 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29978] ppid=29961 vsize=13868332 CPUtime=3.05 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29978/stat : 29978 (java) S 29961 29961 14626 0 -1 1077944384 9867 0 0 0 304 1 0 0 20 0 28 0 3919393 14201171968 136138 33554432000 4194304 4196468 140725414426624 139992699439088 139993377299074 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29979] ppid=29961 vsize=13868332 CPUtime=3.31 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29979/stat : 29979 (java) S 29961 29961 14626 0 -1 1077944384 14893 0 0 0 330 1 0 0 20 0 28 0 3919393 14201171968 136138 33554432000 4194304 4196468 140725414426624 139992698386800 139993377299074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29980] ppid=29961 vsize=13868332 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29980/stat : 29980 (java) S 29961 29961 14626 0 -1 1077944384 11594 0 0 0 103 3 0 0 20 0 28 0 3919393 14201171968 136138 33554432000 4194304 4196468 140725414426624 139992697334000 139993377299074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29981] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29981/stat : 29981 (java) S 29961 29961 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3919393 14201171968 136138 33554432000 4194304 4196468 140725414426624 139992696281952 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29982] ppid=29961 vsize=13868332 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29982/stat : 29982 (java) S 29961 29961 14626 0 -1 1077944384 681 0 0 0 7 8 0 0 20 0 28 0 3919393 14201171968 136138 33554432000 4194304 4196468 140725414426624 139992695229232 139993377299074 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=30336] ppid=29961 vsize=13868332 CPUtime=201.88 cores=1,3,5,7,9,11,13,15
/proc/29962/task/30336/stat : 30336 (java) R 29961 29961 14626 0 -1 4202560 1517 0 0 0 20187 1 0 0 20 0 28 0 3927110 14201171968 136138 33554432000 4194304 4196468 140725414426624 139992683503016 139993006276769 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=30337] ppid=29961 vsize=13868332 CPUtime=202.52 cores=1,3,5,7,9,11,13,15
/proc/29962/task/30337/stat : 30337 (java) R 29961 29961 14626 0 -1 4202560 1106 0 0 0 20251 1 0 0 20 0 28 0 3927110 14201171968 136138 33554432000 4194304 4196468 140725414426624 139992686664768 139993004932534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=30338] ppid=29961 vsize=13868332 CPUtime=202.19 cores=1,3,5,7,9,11,13,15
/proc/29962/task/30338/stat : 30338 (java) R 29961 29961 14626 0 -1 4202560 998 0 0 0 20218 1 0 0 20 0 28 0 3927110 14201171968 136138 33554432000 4194304 4196468 140725414426624 139992680345384 139993004932534 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=30339] ppid=29961 vsize=13868332 CPUtime=202.41 cores=1,3,5,7,9,11,13,15
/proc/29962/task/30339/stat : 30339 (java) R 29961 29961 14626 0 -1 4202560 2141 0 0 0 20240 1 0 0 20 0 28 0 3927110 14201171968 136138 33554432000 4194304 4196468 140725414426624 139992679292584 139993008267296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=30340] ppid=29961 vsize=13868332 CPUtime=202.27 cores=1,3,5,7,9,11,13,15
/proc/29962/task/30340/stat : 30340 (java) R 29961 29961 14626 0 -1 4202560 1861 0 0 0 20227 0 0 0 20 0 28 0 3927110 14201171968 136138 33554432000 4194304 4196468 140725414426624 139992682450984 139993004932375 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=30341] ppid=29961 vsize=13868332 CPUtime=202.48 cores=1,3,5,7,9,11,13,15
/proc/29962/task/30341/stat : 30341 (java) R 29961 29961 14626 0 -1 4202560 454 0 0 0 20247 1 0 0 20 0 28 0 3927110 14201171968 136138 33554432000 4194304 4196468 140725414426624 139992681397976 139993007805157 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=30342] ppid=29961 vsize=13868332 CPUtime=202.62 cores=1,3,5,7,9,11,13,15
/proc/29962/task/30342/stat : 30342 (java) R 29961 29961 14626 0 -1 4202560 628 0 0 0 20262 0 0 0 20 0 28 0 3927110 14201171968 136138 33554432000 4194304 4196468 140725414426624 139992687715272 139993004932375 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=30343] ppid=29961 vsize=13868332 CPUtime=202.25 cores=1,3,5,7,9,11,13,15
/proc/29962/task/30343/stat : 30343 (java) R 29961 29961 14626 0 -1 4202560 799 0 0 0 20224 1 0 0 20 0 28 0 3927110 14201171968 136138 33554432000 4194304 4196468 140725414426624 139992685608912 139993000531371 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
Current children cumulated CPU time (s) 2230.53
Current children cumulated vsize (KiB) 13877844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+303.801 s]
/proc/loadavg: 14.61 13.81 14.08 17/301 30531
/proc/meminfo: memFree=31185112/32770624 swapFree=5972/226716
[pid=29961] ppid=29958 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29961/stat : 29961 (xcsp3-exec) S 29958 29961 14626 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3919384 9740288 345 33554432000 4194304 5098028 140727308762336 140727308760440 139932264518268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9453568 140727308764303 140727308764512 140727308764512 140727308767211 0
/proc/29961/statm: 2378 345 289 221 0 87 0
[pid=29962] ppid=29961 vsize=13868332 CPUtime=2400.37 cores=1,3,5,7,9,11,13,15
/proc/29962/stat : 29962 (java) S 29961 29961 14626 0 -1 1077944320 114683 0 0 0 239814 223 0 0 20 0 28 0 3919384 14201171968 143913 33554432000 4194304 4196468 140725414426624 140725414409168 139993377287927 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
/proc/29962/statm: 3467083 143913 3283 1 0 3454316 0
[pid=29962/tid=29963] ppid=29961 vsize=13868332 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29963/stat : 29963 (java) S 29961 29961 14626 0 -1 1077944384 7909 0 0 0 82 4 0 0 20 0 28 0 3919385 14201171968 143913 33554432000 4194304 4196468 140725414426624 139993381528704 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29965] ppid=29961 vsize=13868332 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29965/stat : 29965 (java) S 29961 29961 14626 0 -1 1077944384 1573 0 0 0 44 14 0 0 20 0 28 0 3919386 14201171968 143913 33554432000 4194304 4196468 140725414426624 139993329908624 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29966] ppid=29961 vsize=13868332 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29966/stat : 29966 (java) S 29961 29961 14626 0 -1 1077944384 1825 0 0 0 44 13 0 0 20 0 28 0 3919386 14201171968 143913 33554432000 4194304 4196468 140725414426624 139993328855824 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29967] ppid=29961 vsize=13868332 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29967/stat : 29967 (java) S 29961 29961 14626 0 -1 1077944384 1198 0 0 0 42 13 0 0 20 0 28 0 3919386 14201171968 143913 33554432000 4194304 4196468 140725414426624 139993327803536 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29968] ppid=29961 vsize=13868332 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29968/stat : 29968 (java) S 29961 29961 14626 0 -1 1077944384 1500 0 0 0 45 15 0 0 20 0 28 0 3919386 14201171968 143913 33554432000 4194304 4196468 140725414426624 139993326750736 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29969] ppid=29961 vsize=13868332 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29969/stat : 29969 (java) S 29961 29961 14626 0 -1 1077944384 4254 0 0 0 47 13 0 0 20 0 28 0 3919386 14201171968 143913 33554432000 4194304 4196468 140725414426624 139993325697424 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29970] ppid=29961 vsize=13868332 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29970/stat : 29970 (java) S 29961 29961 14626 0 -1 1077944384 986 0 0 0 43 14 0 0 20 0 28 0 3919386 14201171968 143913 33554432000 4194304 4196468 140725414426624 139993324644624 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29971] ppid=29961 vsize=13868332 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29971/stat : 29971 (java) S 29961 29961 14626 0 -1 1077944384 1480 0 0 0 42 13 0 0 20 0 28 0 3919386 14201171968 143913 33554432000 4194304 4196468 140725414426624 139993323592336 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29972] ppid=29961 vsize=13868332 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29972/stat : 29972 (java) S 29961 29961 14626 0 -1 1077944384 1707 0 0 0 44 16 0 0 20 0 28 0 3919386 14201171968 143913 33554432000 4194304 4196468 140725414426624 139993322539536 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29973] ppid=29961 vsize=13868332 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29973/stat : 29973 (java) S 29961 29961 14626 0 -1 1077944384 6117 0 0 0 53 67 0 0 20 0 28 0 3919388 14201171968 143913 33554432000 4194304 4196468 140725414426624 139992704703088 139993377299074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29974] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29974/stat : 29974 (java) S 29961 29961 14626 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 3919389 14201171968 143913 33554432000 4194304 4196468 140725414426624 139992703649120 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29975] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29975/stat : 29975 (java) S 29961 29961 14626 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3919389 14201171968 143913 33554432000 4194304 4196468 140725414426624 139992702596736 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29976] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29976/stat : 29976 (java) S 29961 29961 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3919393 14201171968 143913 33554432000 4194304 4196468 140725414426624 139992701545040 139993377306523 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29977] ppid=29961 vsize=13868332 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29977/stat : 29977 (java) S 29961 29961 14626 0 -1 1077944384 14351 0 0 0 306 2 0 0 20 0 28 0 3919393 14201171968 143913 33554432000 4194304 4196468 140725414426624 139992700491888 139993377299074 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29978] ppid=29961 vsize=13868332 CPUtime=3.05 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29978/stat : 29978 (java) S 29961 29961 14626 0 -1 1077944384 9869 0 0 0 304 1 0 0 20 0 28 0 3919393 14201171968 143913 33554432000 4194304 4196468 140725414426624 139992699439088 139993377299074 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29979] ppid=29961 vsize=13868332 CPUtime=3.31 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29979/stat : 29979 (java) S 29961 29961 14626 0 -1 1077944384 14896 0 0 0 330 1 0 0 20 0 28 0 3919393 14201171968 143913 33554432000 4194304 4196468 140725414426624 139992698386800 139993377299074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29980] ppid=29961 vsize=13868332 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29980/stat : 29980 (java) S 29961 29961 14626 0 -1 1077944384 11596 0 0 0 103 3 0 0 20 0 28 0 3919393 14201171968 143913 33554432000 4194304 4196468 140725414426624 139992697334000 139993377299074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29981] ppid=29961 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29981/stat : 29981 (java) S 29961 29961 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3919393 14201171968 143913 33554432000 4194304 4196468 140725414426624 139992696281952 139993377298133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=29982] ppid=29961 vsize=13868332 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/29962/task/29982/stat : 29982 (java) S 29961 29961 14626 0 -1 1077944384 701 0 0 0 7 9 0 0 20 0 28 0 3919393 14201171968 143913 33554432000 4194304 4196468 140725414426624 139992695229232 139993377299074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=30336] ppid=29961 vsize=13868332 CPUtime=223.01 cores=1,3,5,7,9,11,13,15
/proc/29962/task/30336/stat : 30336 (java) R 29961 29961 14626 0 -1 4202560 1623 0 0 0 22300 1 0 0 20 0 28 0 3927110 14201171968 143913 33554432000 4194304 4196468 140725414426624 139992683505728 139993005479975 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=30337] ppid=29961 vsize=13868332 CPUtime=223.7 cores=1,3,5,7,9,11,13,15
/proc/29962/task/30337/stat : 30337 (java) R 29961 29961 14626 0 -1 4202560 1208 0 0 0 22369 1 0 0 20 0 28 0 3927110 14201171968 143913 33554432000 4194304 4196468 140725414426624 139992686662728 139993004932242 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=30338] ppid=29961 vsize=13868332 CPUtime=223.33 cores=1,3,5,7,9,11,13,15
/proc/29962/task/30338/stat : 30338 (java) R 29961 29961 14626 0 -1 4202560 1066 0 0 0 22332 1 0 0 20 0 28 0 3927110 14201171968 143913 33554432000 4194304 4196468 140725414426624 139992680346056 139993007805819 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=30339] ppid=29961 vsize=13868332 CPUtime=223.58 cores=1,3,5,7,9,11,13,15
/proc/29962/task/30339/stat : 30339 (java) R 29961 29961 14626 0 -1 4202560 2277 0 0 0 22357 1 0 0 20 0 28 0 3927110 14201171968 143913 33554432000 4194304 4196468 140725414426624 139992679292472 139993007803892 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=30340] ppid=29961 vsize=13868332 CPUtime=223.32 cores=1,3,5,7,9,11,13,15
/proc/29962/task/30340/stat : 30340 (java) R 29961 29961 14626 0 -1 4202560 1995 0 0 0 22331 1 0 0 20 0 28 0 3927110 14201171968 143913 33554432000 4194304 4196468 140725414426624 139992682450984 139993004932485 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=30341] ppid=29961 vsize=13868332 CPUtime=223.52 cores=1,3,5,7,9,11,13,15
/proc/29962/task/30341/stat : 30341 (java) R 29961 29961 14626 0 -1 4202560 474 0 0 0 22351 1 0 0 20 0 28 0 3927110 14201171968 143913 33554432000 4194304 4196468 140725414426624 139992681398184 139993004931734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=30342] ppid=29961 vsize=13868332 CPUtime=223.85 cores=1,3,5,7,9,11,13,15
/proc/29962/task/30342/stat : 30342 (java) R 29961 29961 14626 0 -1 4202560 671 0 0 0 22384 1 0 0 20 0 28 0 3927110 14201171968 143913 33554432000 4194304 4196468 140725414426624 139992687714600 139993004931901 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
[pid=29962/tid=30343] ppid=29961 vsize=13868332 CPUtime=223.41 cores=1,3,5,7,9,11,13,15
/proc/29962/task/30343/stat : 30343 (java) R 29961 29961 14626 0 -1 4202560 893 0 0 0 22340 1 0 0 20 0 28 0 3927110 14201171968 143913 33554432000 4194304 4196468 140725414426624 139992685612632 139993007661610 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140725414429884 140725414430060 140725414430060 140725414432719 0
Current children cumulated CPU time (s) 2400.37
Current children cumulated vsize (KiB) 13877844

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29962 sig 9
??? kill 29961 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29961 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=3004
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.003004
# while last known CPU time is 2400.37
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 303.812
CPU time (s): 2400.37
CPU user time (s): 2398.14
CPU system time (s): 2.23
CPU usage (%): 790.084
Max. virtual memory (cumulated for all children) (KiB): 13877844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.003004
system time used= 0
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.92663 second user time and 4.532 second system time

The end

Launcher Data 

Begin job on node105 at 2017-07-22 03:21:39
IDJOB=4245750
IDBENCH=123129
IDSOLVER=2626
FILE ID=node105/4245750-1500686499
RUNJOBID= node105-1500682495-14658
PBS_JOBID= 20623326
Free space on /tmp= 62000 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-nug20.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-4245750-1500686499/watcher-4245750-1500686499 -o /tmp/evaluation-result-4245750-1500686499/solver-4245750-1500686499 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 322914754 HOME/instance-4245750-1500686499.xml

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

MD5SUM BENCH= 1ce5b24a466c3cb241db2c2b366e9012
RANDOM SEED=322914754

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

/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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.33
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.33
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.33
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.33
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		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        21778016 kB
MemAvailable:   21836844 kB
Buffers:           53396 kB
Cached:           314136 kB
SwapCached:            0 kB
Active:         10362200 kB
Inactive:         234924 kB
Active(anon):   10232424 kB
Inactive(anon):     8640 kB
Active(file):     129776 kB
Inactive(file):   226284 kB
Unevictable:        5972 kB
Mlocked:            6004 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7916 kB
Writeback:             0 kB
AnonPages:      10235580 kB
Mapped:            43100 kB
Shmem:              8884 kB
Slab:              70560 kB
SReclaimable:      37204 kB
SUnreclaim:        33356 kB
KernelStack:        4656 kB
PageTables:        25240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   11021792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9861120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61996 MiB
End job on node105 at 2017-07-22 03:26:43