Trace number 4269913

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 seq (2017-08-09)SAT (TO)209 2520.05 2512.4099

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-21.xml
MD5SUM25b27bae3543dabdafa06e8069fa9092
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark2400.01
Satisfiable
(Un)Satisfiability was proved
Number of variables441
Number of constraints1330
Number of domains1
Minimum domain size210
Maximum domain size210
Distribution of domain sizes[{"size":210,"count":210}]
Minimum variable degree0
Maximum variable degree20
Distribution of variable degrees[{"degree":0,"count":231},{"degree":20,"count":210}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":1330}]
Number of extensional constraints0
Number of intensional constraints1330
Distribution of constraint types[{"type":"intension","count":1330}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269913-1502869548.xml"  -tl '2520s' -p 1 -x 0
0.09/0.27	c [HOME/instance-4269913-1502869548.xml, -tl, 2520s, -p, 1, -x, 0]
0.29/0.33	c simple solver
0.29/0.40	c parse instance...
1.58/0.87	c solve instance...
2447.76/2440.57	o 209 
2520.03/2512.40	s SATISFIABLE
2520.03/2512.40	v <instantiation>
2520.03/2512.40	v 	<list>x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[16][17] x[16][18] x[16][19] x[16][20] x[17][18] x[17][19] x[17][20] x[18][19] x[18][20] x[19][20] </list>
2520.03/2512.40	v 	<values>1 0 0 1 3 1 1 1 3 2 2 2 209 209 209 3 209 2 208 2 1 208 0 3 208 208 2 0 208 2 0 0 1 0 1 1 2 209 2 1 209 1 1 0 2 1 1 2 0 209 4 3 3 0 2 209 2 208 0 0 209 1 0 2 1 209 1 1 0 2 209 2 209 2 3 208 209 209 2 209 1 2 1 1 3 1 209 2 208 3 209 0 0 2 0 1 0 0 209 208 2 1 1 208 2 0 3 208 2 1 0 209 3 4 208 0 2 209 2 3 2 2 0 2 209 0 208 2 1 2 0 2 3 2 0 2 2 0 208 2 1 0 209 3 208 0 1 209 2 3 1 0 4 209 1 1 208 209 1 3 3 0 208 2 0 0 209 209 1 2 209 4 2 3 208 0 2 0 2 1 0 0 208 3 209 1 208 208 209 4 2 0 2 209 2 208 1 3 209 2 2 209 208 3 209 208 209 209 3 209 </values>
2520.03/2512.40	v </instantiation>
2520.03/2512.40	c Unexpected resolution interruption!

Verifier Data 

OK	209

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15095 MiB free)
  memory of node 1: 16384 MiB (5050 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269913-1502869548/watcher-4269913-1502869548 -o /tmp/evaluation-result-4269913-1502869548/solver-4269913-1502869548 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502868496-10027 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1105892192 HOME/instance-4269913-1502869548.xml 

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

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


[startup+0.100253 s]*
/proc/loadavg: 4.38 2.06 1.40 6/207 10328
/proc/meminfo: memFree=20624376/32770624 swapFree=67108860/67108860
[pid=10324] ppid=10321 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10324/stat : 10324 (xcsp3-exec) S 10321 10324 8289 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 134769941 9740288 345 18446744073709551615 4194304 5098028 140730731397840 140730731395944 139868296610428 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 32473088 140730731401592 140730731401797 140730731401797 140730731405291 0
/proc/10324/statm: 2378 345 289 221 0 87 0
[pid=10326] ppid=10324 vsize=13358712 memory=14632 CPUtime=0.01 cores=0,2,4,6
/proc/10326/stat : 10326 (java) S 10324 10324 8289 0 -1 1077944320 3413 0 0 0 1 0 0 0 20 0 6 0 134769950 13679321088 3658 18446744073709551615 4194304 4196468 140722934777392 140722934759936 139911644339959 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
/proc/10326/statm: 3339678 3658 1905 1 0 3329175 0
[pid=10326/tid=10327] ppid=10324 vsize=13358712 memory=-6871798056524144002 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10327/stat : 10327 (java) R 10324 10324 8289 0 -1 4202560 2199 0 0 0 0 0 0 0 20 0 6 0 134769950 13679321088 3658 18446744073709551615 4194304 4196468 140722934777392 139911648576080 139911625991396 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10328] ppid=10324 vsize=13358712 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10328/stat : 10328 (java) S 10324 10324 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 134769951 13679321088 3658 18446744073709551615 4194304 4196468 140722934777392 139911586285968 139911644350165 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10329] ppid=10324 vsize=13358712 memory=139680929760896 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10329/stat : 10329 (java) S 10324 10324 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 134769951 13679321088 3658 18446744073709551615 4194304 4196468 140722934777392 139911585233168 139911644350165 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10330] ppid=10324 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10330/stat : 10330 (java) S 10324 10324 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 134769951 13679321088 3658 18446744073709551615 4194304 4196468 140722934777392 139911584180880 139911644350165 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10331] ppid=10324 vsize=13358712 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10331/stat : 10331 (java) S 10324 10324 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 134769951 13679321088 3658 18446744073709551615 4194304 4196468 140722934777392 139911583128080 139911644350165 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 16012 KiB

[startup+0.210517 s]*
/proc/loadavg: 4.38 2.06 1.40 8/219 10340
/proc/meminfo: memFree=20614084/32770624 swapFree=67108860/67108860
[pid=10324] ppid=10321 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10324/stat : 10324 (xcsp3-exec) S 10321 10324 8289 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 134769941 9740288 345 18446744073709551615 4194304 5098028 140730731397840 140730731395944 139868296610428 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 32473088 140730731401592 140730731401797 140730731401797 140730731405291 0
/proc/10324/statm: 2378 345 289 221 0 87 0
[pid=10326] ppid=10324 vsize=13974352 memory=27096 CPUtime=0.09 cores=0,2,4,6
/proc/10326/stat : 10326 (java) S 10324 10324 8289 0 -1 1077944320 5182 0 0 0 9 0 0 0 20 0 15 0 134769950 14309736448 6774 18446744073709551615 4194304 4196468 140722934777392 140722934759936 139911644339959 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
/proc/10326/statm: 3493588 6774 2745 1 0 3482964 0
[pid=10326/tid=10327] ppid=10324 vsize=13974352 memory=8390339637985935414 CPUtime=0.07 cores=0,2,4,6
/proc/10326/task/10327/stat : 10327 (java) R 10324 10324 8289 0 -1 4202560 3324 0 0 0 7 0 0 0 20 0 15 0 134769950 14309736448 6774 18446744073709551615 4194304 4196468 140722934777392 139911648563600 139911644361885 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10328] ppid=10324 vsize=13974352 memory=288230604707995445 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10328/stat : 10328 (java) S 10324 10324 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134769951 14309736448 6774 18446744073709551615 4194304 4196468 140722934777392 139911586285968 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10329] ppid=10324 vsize=13974352 memory=4049491679428167328 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10329/stat : 10329 (java) S 10324 10324 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134769951 14309736448 6774 18446744073709551615 4194304 4196468 140722934777392 139911585233168 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10330] ppid=10324 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10330/stat : 10330 (java) S 10324 10324 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134769951 14309736448 6774 18446744073709551615 4194304 4196468 140722934777392 139911584180880 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10331] ppid=10324 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10331/stat : 10331 (java) S 10324 10324 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134769951 14309736448 6774 18446744073709551615 4194304 4196468 140722934777392 139911583128080 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10332] ppid=10324 vsize=13974352 memory=139680929760896 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10332/stat : 10332 (java) S 10324 10324 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134769953 14309736448 6774 18446744073709551615 4194304 4196468 140722934777392 139911189994096 139911644351106 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10333] ppid=10324 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10333/stat : 10333 (java) S 10324 10324 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 134769953 14309736448 6774 18446744073709551615 4194304 4196468 140722934777392 139911188940064 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10334] ppid=10324 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (java) S 10324 10324 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 134769953 14309736448 6774 18446744073709551615 4194304 4196468 140722934777392 139911187887728 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10335] ppid=10324 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (java) S 10324 10324 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134769956 14309736448 6774 18446744073709551615 4194304 4196468 140722934777392 139911186836048 139911644358555 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10336] ppid=10324 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (java) S 10324 10324 8289 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 134769956 14309736448 6774 18446744073709551615 4194304 4196468 140722934777392 139911185782896 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10337] ppid=10324 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10337/stat : 10337 (java) S 10324 10324 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134769956 14309736448 6774 18446744073709551615 4194304 4196468 140722934777392 139911184730096 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10338] ppid=10324 vsize=13974352 memory=139680929760896 CPUtime=0.01 cores=0,2,4,6
/proc/10326/task/10338/stat : 10338 (java) S 10324 10324 8289 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 15 0 134769956 14309736448 6774 18446744073709551615 4194304 4196468 140722934777392 139911183677808 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10339] ppid=10324 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10339/stat : 10339 (java) S 10324 10324 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134769956 14309736448 6774 18446744073709551615 4194304 4196468 140722934777392 139911182625248 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10340] ppid=10324 vsize=13974352 memory=139680929760896 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10340/stat : 10340 (java) S 10324 10324 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134769960 14309736448 6774 18446744073709551615 4194304 4196468 140722934777392 139911181573040 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28476 KiB

[startup+0.312394 s]*
/proc/loadavg: 4.38 2.06 1.40 7/219 10340
/proc/meminfo: memFree=20602616/32770624 swapFree=67108860/67108860
[pid=10324] ppid=10321 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10324/stat : 10324 (xcsp3-exec) S 10321 10324 8289 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 134769941 9740288 345 18446744073709551615 4194304 5098028 140730731397840 140730731395944 139868296610428 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 32473088 140730731401592 140730731401797 140730731401797 140730731405291 0
/proc/10324/statm: 2378 345 289 221 0 87 0
[pid=10326] ppid=10324 vsize=13974352 memory=37344 CPUtime=0.29 cores=0,2,4,6
/proc/10326/stat : 10326 (java) S 10324 10324 8289 0 -1 1077944320 8947 0 0 0 27 2 0 0 20 0 15 0 134769950 14309736448 9336 18446744073709551615 4194304 4196468 140722934777392 140722934759936 139911644339959 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
/proc/10326/statm: 3493588 9336 2987 1 0 3482964 0
[pid=10326/tid=10327] ppid=10324 vsize=13974352 memory=8390339637985935414 CPUtime=0.17 cores=0,2,4,6
/proc/10326/task/10327/stat : 10327 (java) R 10324 10324 8289 0 -1 4202560 6087 0 0 0 16 1 0 0 20 0 15 0 134769950 14309736448 9336 18446744073709551615 4194304 4196468 140722934777392 139911648578016 139911637017973 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10328] ppid=10324 vsize=13974352 memory=290763879498391349 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10328/stat : 10328 (java) S 10324 10324 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134769951 14309736448 9336 18446744073709551615 4194304 4196468 140722934777392 139911586285968 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10329] ppid=10324 vsize=13974352 memory=4049491679428167328 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10329/stat : 10329 (java) S 10324 10324 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134769951 14309736448 9336 18446744073709551615 4194304 4196468 140722934777392 139911585233168 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10330] ppid=10324 vsize=13974352 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10330/stat : 10330 (java) S 10324 10324 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134769951 14309736448 9336 18446744073709551615 4194304 4196468 140722934777392 139911584180880 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10331] ppid=10324 vsize=13974352 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10331/stat : 10331 (java) S 10324 10324 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134769951 14309736448 9336 18446744073709551615 4194304 4196468 140722934777392 139911583128080 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10332] ppid=10324 vsize=13974352 memory=8315306744303369715 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10332/stat : 10332 (java) S 10324 10324 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134769953 14309736448 9336 18446744073709551615 4194304 4196468 140722934777392 139911189994096 139911644351106 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10333] ppid=10324 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10333/stat : 10333 (java) S 10324 10324 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 134769953 14309736448 9336 18446744073709551615 4194304 4196468 140722934777392 139911188940064 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10334] ppid=10324 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (java) S 10324 10324 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 134769953 14309736448 9336 18446744073709551615 4194304 4196468 140722934777392 139911187887728 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10335] ppid=10324 vsize=13974352 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (java) S 10324 10324 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134769956 14309736448 9336 18446744073709551615 4194304 4196468 140722934777392 139911186836048 139911644358555 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10336] ppid=10324 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (java) D 10324 10324 8289 0 -1 4202560 681 0 0 0 2 0 0 0 20 0 15 0 134769956 14309736448 9336 18446744073709551615 4194304 4196468 140722934777392 139911185763912 139911637057111 0 4 1 16800974 18446744071582151463 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10337] ppid=10324 vsize=13974352 memory=3472328296227680299 CPUtime=0.01 cores=0,2,4,6
/proc/10326/task/10337/stat : 10337 (java) S 10324 10324 8289 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 15 0 134769956 14309736448 9336 18446744073709551615 4194304 4196468 140722934777392 139911184730096 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10338] ppid=10324 vsize=13974352 memory=139680929760896 CPUtime=0.06 cores=0,2,4,6
/proc/10326/task/10338/stat : 10338 (java) S 10324 10324 8289 0 -1 1077944384 711 0 0 0 6 0 0 0 20 0 15 0 134769956 14309736448 9336 18446744073709551615 4194304 4196468 140722934777392 139911183677808 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10339] ppid=10324 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10339/stat : 10339 (java) S 10324 10324 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134769956 14309736448 9336 18446744073709551615 4194304 4196468 140722934777392 139911182625248 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10340] ppid=10324 vsize=13974352 memory=139680929760896 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10340/stat : 10340 (java) S 10324 10324 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134769960 14309736448 9336 18446744073709551615 4194304 4196468 140722934777392 139911181573040 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38724 KiB

[startup+0.700808 s]
/proc/loadavg: 4.38 2.06 1.40 9/219 10340
/proc/meminfo: memFree=20591696/32770624 swapFree=67108860/67108860
[pid=10324] ppid=10321 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10324/stat : 10324 (xcsp3-exec) S 10321 10324 8289 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 134769941 9740288 345 18446744073709551615 4194304 5098028 140730731397840 140730731395944 139868296610428 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 32473088 140730731401592 140730731401797 140730731401797 140730731405291 0
/proc/10324/statm: 2378 345 289 221 0 87 0
[pid=10326] ppid=10324 vsize=13980732 memory=71672 CPUtime=1.25 cores=0,2,4,6
/proc/10326/stat : 10326 (java) S 10324 10324 8289 0 -1 1077944320 12971 0 0 0 121 4 0 0 20 0 15 0 134769950 14316269568 17918 18446744073709551615 4194304 4196468 140722934777392 140722934759936 139911644339959 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
/proc/10326/statm: 3495183 17918 3169 1 0 3483476 0
[pid=10326/tid=10327] ppid=10324 vsize=13980732 memory=2499536750081 CPUtime=0.55 cores=0,2,4,6
/proc/10326/task/10327/stat : 10327 (java) R 10324 10324 8289 0 -1 4202560 8388 0 0 0 52 3 0 0 20 0 15 0 134769950 14316269568 17918 18446744073709551615 4194304 4196468 140722934777392 139911648576208 139911625164125 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10328] ppid=10324 vsize=13980732 memory=2508126684673 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10328/stat : 10328 (java) S 10324 10324 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134769951 14316269568 17918 18446744073709551615 4194304 4196468 140722934777392 139911586285968 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10329] ppid=10324 vsize=13980732 memory=2525306553857 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10329/stat : 10329 (java) S 10324 10324 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134769951 14316269568 17918 18446744073709551615 4194304 4196468 140722934777392 139911585233168 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10330] ppid=10324 vsize=13980732 memory=50624 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10330/stat : 10330 (java) S 10324 10324 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134769951 14316269568 17918 18446744073709551615 4194304 4196468 140722934777392 139911584180880 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10331] ppid=10324 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10331/stat : 10331 (java) S 10324 10324 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134769951 14316269568 17918 18446744073709551615 4194304 4196468 140722934777392 139911583128080 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10332] ppid=10324 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10332/stat : 10332 (java) S 10324 10324 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 134769953 14316269568 17918 18446744073709551615 4194304 4196468 140722934777392 139911189994096 139911644351106 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10333] ppid=10324 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10333/stat : 10333 (java) S 10324 10324 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 134769953 14316269568 17918 18446744073709551615 4194304 4196468 140722934777392 139911188940064 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10334] ppid=10324 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (java) S 10324 10324 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 134769953 14316269568 17918 18446744073709551615 4194304 4196468 140722934777392 139911187887728 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10335] ppid=10324 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (java) S 10324 10324 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134769956 14316269568 17918 18446744073709551615 4194304 4196468 140722934777392 139911186836048 139911644358555 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10336] ppid=10324 vsize=13980732 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (java) S 10324 10324 8289 0 -1 1077944384 1290 0 0 0 20 0 0 0 20 0 15 0 134769956 14316269568 17918 18446744073709551615 4194304 4196468 140722934777392 139911185782896 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10337] ppid=10324 vsize=13980732 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/10326/task/10337/stat : 10337 (java) S 10324 10324 8289 0 -1 1077944384 609 0 0 0 17 0 0 0 20 0 15 0 134769956 14316269568 17918 18446744073709551615 4194304 4196468 140722934777392 139911184730096 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10338] ppid=10324 vsize=13980732 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/10326/task/10338/stat : 10338 (java) R 10324 10324 8289 0 -1 4202560 1377 0 0 0 31 0 0 0 20 0 15 0 134769956 14316269568 17918 18446744073709551615 4194304 4196468 140722934777392 139911183677808 139911644361306 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10339] ppid=10324 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10339/stat : 10339 (java) S 10324 10324 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134769956 14316269568 17918 18446744073709551615 4194304 4196468 140722934777392 139911182625248 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10340] ppid=10324 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10340/stat : 10340 (java) S 10324 10324 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134769960 14316269568 17918 18446744073709551615 4194304 4196468 140722934777392 139911181573040 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 73052 KiB

[startup+1.50088 s]
/proc/loadavg: 4.38 2.06 1.40 6/219 10340
/proc/meminfo: memFree=20534696/32770624 swapFree=67108860/67108860
[pid=10324] ppid=10321 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10324/stat : 10324 (xcsp3-exec) S 10321 10324 8289 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 134769941 9740288 345 18446744073709551615 4194304 5098028 140730731397840 140730731395944 139868296610428 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 32473088 140730731401592 140730731401797 140730731401797 140730731405291 0
/proc/10324/statm: 2378 345 289 221 0 87 0
[pid=10326] ppid=10324 vsize=13980732 memory=170424 CPUtime=2.67 cores=0,2,4,6
/proc/10326/stat : 10326 (java) S 10324 10324 8289 0 -1 1077944320 16058 0 0 0 261 6 0 0 20 0 15 0 134769950 14316269568 42606 18446744073709551615 4194304 4196468 140722934777392 140722934759936 139911644339959 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
/proc/10326/statm: 3495183 42606 3190 1 0 3483476 0
[pid=10326/tid=10327] ppid=10324 vsize=13980732 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/10326/task/10327/stat : 10327 (java) R 10324 10324 8289 0 -1 4202560 8972 0 0 0 130 5 0 0 20 0 15 0 134769950 14316269568 42606 18446744073709551615 4194304 4196468 140722934777392 139911648576904 139911266245066 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10328] ppid=10324 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10328/stat : 10328 (java) S 10324 10324 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134769951 14316269568 42606 18446744073709551615 4194304 4196468 140722934777392 139911586285968 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10329] ppid=10324 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10329/stat : 10329 (java) S 10324 10324 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134769951 14316269568 42606 18446744073709551615 4194304 4196468 140722934777392 139911585233168 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10330] ppid=10324 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10330/stat : 10330 (java) S 10324 10324 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134769951 14316269568 42606 18446744073709551615 4194304 4196468 140722934777392 139911584180880 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10331] ppid=10324 vsize=13980732 memory=4640767346415259731 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10331/stat : 10331 (java) S 10324 10324 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134769951 14316269568 42606 18446744073709551615 4194304 4196468 140722934777392 139911583128080 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10332] ppid=10324 vsize=13980732 memory=5860705283049084265 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10332/stat : 10332 (java) S 10324 10324 8289 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 15 0 134769953 14316269568 42606 18446744073709551615 4194304 4196468 140722934777392 139911189994096 139911644351106 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10333] ppid=10324 vsize=13980732 memory=6935652554413002832 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10333/stat : 10333 (java) S 10324 10324 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 134769953 14316269568 42606 18446744073709551615 4194304 4196468 140722934777392 139911188940064 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10334] ppid=10324 vsize=13980732 memory=4641072023243217256 CPUtime=0 cores=0,2,4,6

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

/proc/10326/task/10334/stat : 10334 (java) S 10324 10324 8289 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 134769953 14316269568 98837 18446744073709551615 4194304 4196468 140722934777392 139911187887744 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10335] ppid=10324 vsize=13980732 memory=395348 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (java) S 10324 10324 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134769956 14316269568 98837 18446744073709551615 4194304 4196468 140722934777392 139911186836048 139911644358555 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10336] ppid=10324 vsize=13980732 memory=1792 CPUtime=2.24 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (java) S 10324 10324 8289 0 -1 1077944384 15518 0 0 0 222 2 0 0 20 0 15 0 134769956 14316269568 98837 18446744073709551615 4194304 4196468 140722934777392 139911185782896 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10337] ppid=10324 vsize=13980732 memory=1296 CPUtime=2.28 cores=0,2,4,6
/proc/10326/task/10337/stat : 10337 (java) S 10324 10324 8289 0 -1 1077944384 13713 0 0 0 226 2 0 0 20 0 15 0 134769956 14316269568 98837 18446744073709551615 4194304 4196468 140722934777392 139911184730096 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10338] ppid=10324 vsize=13980732 memory=3912 CPUtime=0.7 cores=0,2,4,6
/proc/10326/task/10338/stat : 10338 (java) S 10324 10324 8289 0 -1 1077944384 7661 0 0 0 69 1 0 0 20 0 15 0 134769956 14316269568 98837 18446744073709551615 4194304 4196468 140722934777392 139911183677808 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10339] ppid=10324 vsize=13980732 memory=4068 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10339/stat : 10339 (java) S 10324 10324 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134769956 14316269568 98837 18446744073709551615 4194304 4196468 140722934777392 139911182625248 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10340] ppid=10324 vsize=13980732 memory=1380 CPUtime=1.22 cores=0,2,4,6
/proc/10326/task/10340/stat : 10340 (java) S 10324 10324 8289 0 -1 1077944384 1104 0 0 0 64 58 0 0 20 0 15 0 134769960 14316269568 98837 18446744073709551615 4194304 4196468 140722934777392 139911181573040 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
Current children cumulated CPU time: 2389.51 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 396728 KiB

[startup+2442.3 s]
/proc/loadavg: 1.93 2.00 2.13 3/216 10591
/proc/meminfo: memFree=28991076/32770624 swapFree=67108860/67108860
[pid=10324] ppid=10321 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10324/stat : 10324 (xcsp3-exec) S 10321 10324 8289 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 134769941 9740288 345 18446744073709551615 4194304 5098028 140730731397840 140730731395944 139868296610428 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 32473088 140730731401592 140730731401797 140730731401797 140730731405291 0
/proc/10324/statm: 2378 345 289 221 0 87 0
[pid=10326] ppid=10324 vsize=13980732 memory=394852 CPUtime=2449.8 cores=0,2,4,6
/proc/10326/stat : 10326 (java) S 10324 10324 8289 0 -1 1077944320 88286 0 0 0 244874 106 0 0 20 0 15 0 134769950 14316269568 98713 18446744073709551615 4194304 4196468 140722934777392 140722934759936 139911644339959 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
/proc/10326/statm: 3495183 98713 3235 1 0 3483476 0
[pid=10326/tid=10327] ppid=10324 vsize=13980732 memory=394840 CPUtime=2441.69 cores=0,2,4,6
/proc/10326/task/10327/stat : 10327 (java) R 10324 10324 8289 0 -1 4202560 25950 0 0 0 244160 9 0 0 20 0 15 0 134769950 14316269568 98713 18446744073709551615 4194304 4196468 140722934777392 139911648577528 139911267772377 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10328] ppid=10324 vsize=13980732 memory=395352 CPUtime=0.26 cores=0,2,4,6
/proc/10326/task/10328/stat : 10328 (java) S 10324 10324 8289 0 -1 1077944384 5210 0 0 0 18 8 0 0 20 0 15 0 134769951 14316269568 98713 18446744073709551615 4194304 4196468 140722934777392 139911586285968 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10329] ppid=10324 vsize=13980732 memory=395352 CPUtime=0.26 cores=0,2,4,6
/proc/10326/task/10329/stat : 10329 (java) S 10324 10324 8289 0 -1 1077944384 3372 0 0 0 19 7 0 0 20 0 15 0 134769951 14316269568 98713 18446744073709551615 4194304 4196468 140722934777392 139911585233168 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10330] ppid=10324 vsize=13980732 memory=1380 CPUtime=0.27 cores=0,2,4,6
/proc/10326/task/10330/stat : 10330 (java) S 10324 10324 8289 0 -1 1077944384 4140 0 0 0 19 8 0 0 20 0 15 0 134769951 14316269568 98713 18446744073709551615 4194304 4196468 140722934777392 139911584180880 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10331] ppid=10324 vsize=13980732 memory=1380 CPUtime=0.27 cores=0,2,4,6
/proc/10326/task/10331/stat : 10331 (java) S 10324 10324 8289 0 -1 1077944384 3675 0 0 0 19 8 0 0 20 0 15 0 134769951 14316269568 98713 18446744073709551615 4194304 4196468 140722934777392 139911583128080 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10332] ppid=10324 vsize=13980732 memory=394840 CPUtime=0.26 cores=0,2,4,6
/proc/10326/task/10332/stat : 10332 (java) S 10324 10324 8289 0 -1 1077944384 5926 0 0 0 11 15 0 0 20 0 15 0 134769953 14316269568 98713 18446744073709551615 4194304 4196468 140722934777392 139911189994096 139911644351106 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10333] ppid=10324 vsize=13980732 memory=394852 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10333/stat : 10333 (java) S 10324 10324 8289 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 134769953 14316269568 98713 18446744073709551615 4194304 4196468 140722934777392 139911188940128 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10334] ppid=10324 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (java) S 10324 10324 8289 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 134769953 14316269568 98713 18446744073709551615 4194304 4196468 140722934777392 139911187887744 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10335] ppid=10324 vsize=13980732 memory=394852 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (java) S 10324 10324 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134769956 14316269568 98713 18446744073709551615 4194304 4196468 140722934777392 139911186836048 139911644358555 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10336] ppid=10324 vsize=13980732 memory=1380 CPUtime=2.37 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (java) S 10324 10324 8289 0 -1 1077944384 15695 0 0 0 235 2 0 0 20 0 15 0 134769956 14316269568 98713 18446744073709551615 4194304 4196468 140722934777392 139911185782896 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10337] ppid=10324 vsize=13980732 memory=394840 CPUtime=2.37 cores=0,2,4,6
/proc/10326/task/10337/stat : 10337 (java) S 10324 10324 8289 0 -1 1077944384 13793 0 0 0 235 2 0 0 20 0 15 0 134769956 14316269568 98713 18446744073709551615 4194304 4196468 140722934777392 139911184730096 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10338] ppid=10324 vsize=13980732 memory=4168 CPUtime=0.71 cores=0,2,4,6
/proc/10326/task/10338/stat : 10338 (java) S 10324 10324 8289 0 -1 1077944384 8069 0 0 0 70 1 0 0 20 0 15 0 134769956 14316269568 98713 18446744073709551615 4194304 4196468 140722934777392 139911183677808 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10339] ppid=10324 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10339/stat : 10339 (java) S 10324 10324 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134769956 14316269568 98713 18446744073709551615 4194304 4196468 140722934777392 139911182625248 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10340] ppid=10324 vsize=13980732 memory=1380 CPUtime=1.24 cores=0,2,4,6
/proc/10326/task/10340/stat : 10340 (java) S 10324 10324 8289 0 -1 1077944384 1108 0 0 0 65 59 0 0 20 0 15 0 134769960 14316269568 98713 18446744073709551615 4194304 4196468 140722934777392 139911181573040 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
Current children cumulated CPU time: 2449.8 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 396232 KiB

[startup+2502.3 s]
/proc/loadavg: 1.97 2.00 2.12 3/216 10593
/proc/meminfo: memFree=28985216/32770624 swapFree=67108860/67108860
[pid=10324] ppid=10321 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10324/stat : 10324 (xcsp3-exec) S 10321 10324 8289 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 134769941 9740288 345 18446744073709551615 4194304 5098028 140730731397840 140730731395944 139868296610428 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 32473088 140730731401592 140730731401797 140730731401797 140730731405291 0
/proc/10324/statm: 2378 345 289 221 0 87 0
[pid=10326] ppid=10324 vsize=13980732 memory=401216 CPUtime=2509.92 cores=0,2,4,6
/proc/10326/stat : 10326 (java) S 10324 10324 8289 0 -1 1077944320 89104 0 0 0 250884 108 0 0 20 0 15 0 134769950 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 140722934759936 139911644339959 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
/proc/10326/statm: 3495183 100304 3240 1 0 3483476 0
[pid=10326/tid=10327] ppid=10324 vsize=13980732 memory=401216 CPUtime=2501.67 cores=0,2,4,6
/proc/10326/task/10327/stat : 10327 (java) R 10324 10324 8289 0 -1 4202560 26217 0 0 0 250158 9 0 0 20 0 15 0 134769950 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911648579872 139911268078876 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10328] ppid=10324 vsize=13980732 memory=402244 CPUtime=0.27 cores=0,2,4,6
/proc/10326/task/10328/stat : 10328 (java) S 10324 10324 8289 0 -1 1077944384 5299 0 0 0 19 8 0 0 20 0 15 0 134769951 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911586285968 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10329] ppid=10324 vsize=13980732 memory=402244 CPUtime=0.27 cores=0,2,4,6
/proc/10326/task/10329/stat : 10329 (java) S 10324 10324 8289 0 -1 1077944384 3395 0 0 0 20 7 0 0 20 0 15 0 134769951 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911585233168 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10330] ppid=10324 vsize=13980732 memory=402244 CPUtime=0.28 cores=0,2,4,6
/proc/10326/task/10330/stat : 10330 (java) S 10324 10324 8289 0 -1 1077944384 4168 0 0 0 20 8 0 0 20 0 15 0 134769951 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911584180880 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10331] ppid=10324 vsize=13980732 memory=401216 CPUtime=0.28 cores=0,2,4,6
/proc/10326/task/10331/stat : 10331 (java) S 10324 10324 8289 0 -1 1077944384 3694 0 0 0 20 8 0 0 20 0 15 0 134769951 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911583128080 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10332] ppid=10324 vsize=13980732 memory=1380 CPUtime=0.26 cores=0,2,4,6
/proc/10326/task/10332/stat : 10332 (java) S 10324 10324 8289 0 -1 1077944384 6088 0 0 0 11 15 0 0 20 0 15 0 134769953 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911189994096 139911644351106 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10333] ppid=10324 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10333/stat : 10333 (java) S 10324 10324 8289 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 134769953 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911188940128 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10334] ppid=10324 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (java) S 10324 10324 8289 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 134769953 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911187887744 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10335] ppid=10324 vsize=13980732 memory=402244 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (java) S 10324 10324 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134769956 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911186836048 139911644358555 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10336] ppid=10324 vsize=13980732 memory=402244 CPUtime=2.4 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (java) S 10324 10324 8289 0 -1 1077944384 15701 0 0 0 238 2 0 0 20 0 15 0 134769956 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911185782896 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10337] ppid=10324 vsize=13980732 memory=1380 CPUtime=2.42 cores=0,2,4,6
/proc/10326/task/10337/stat : 10337 (java) S 10324 10324 8289 0 -1 1077944384 13987 0 0 0 240 2 0 0 20 0 15 0 134769956 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911184730096 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10338] ppid=10324 vsize=13980732 memory=402244 CPUtime=0.71 cores=0,2,4,6
/proc/10326/task/10338/stat : 10338 (java) S 10324 10324 8289 0 -1 1077944384 8071 0 0 0 70 1 0 0 20 0 15 0 134769956 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911183677808 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10339] ppid=10324 vsize=13980732 memory=4168 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10339/stat : 10339 (java) S 10324 10324 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134769956 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911182625248 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10340] ppid=10324 vsize=13980732 memory=65864 CPUtime=1.26 cores=0,2,4,6
/proc/10326/task/10340/stat : 10340 (java) S 10324 10324 8289 0 -1 1077944384 1127 0 0 0 66 60 0 0 20 0 15 0 134769960 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911181573040 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
Current children cumulated CPU time: 2509.92 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 402596 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2512.4 s]
/proc/loadavg: 1.98 2.00 2.12 3/216 10593
/proc/meminfo: memFree=28985228/32770624 swapFree=67108860/67108860
[pid=10324] ppid=10321 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10324/stat : 10324 (xcsp3-exec) S 10321 10324 8289 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 134769941 9740288 345 18446744073709551615 4194304 5098028 140730731397840 140730731395944 139868296610428 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 32473088 140730731401592 140730731401797 140730731401797 140730731405291 0
/proc/10324/statm: 2378 345 289 221 0 87 0
[pid=10326] ppid=10324 vsize=13980732 memory=401216 CPUtime=2520.03 cores=0,2,4,6
/proc/10326/stat : 10326 (java) S 10324 10324 8289 0 -1 1077944320 89105 0 0 0 251895 108 0 0 20 0 15 0 134769950 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 140722934759936 139911644339959 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
/proc/10326/statm: 3495183 100304 3240 1 0 3483476 0
[pid=10326/tid=10327] ppid=10324 vsize=13980732 memory=-8774313645642428999 CPUtime=2511.77 cores=0,2,4,6
/proc/10326/task/10327/stat : 10327 (java) R 10324 10324 8289 0 -1 4202560 26218 0 0 0 251168 9 0 0 20 0 15 0 134769950 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911648579728 139911267689393 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10328] ppid=10324 vsize=13980732 memory=3912 CPUtime=0.27 cores=0,2,4,6
/proc/10326/task/10328/stat : 10328 (java) S 10324 10324 8289 0 -1 1077944384 5299 0 0 0 19 8 0 0 20 0 15 0 134769951 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911586285968 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10329] ppid=10324 vsize=13980732 memory=4168 CPUtime=0.27 cores=0,2,4,6
/proc/10326/task/10329/stat : 10329 (java) S 10324 10324 8289 0 -1 1077944384 3395 0 0 0 20 7 0 0 20 0 15 0 134769951 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911585233168 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10330] ppid=10324 vsize=13980732 memory=65864 CPUtime=0.28 cores=0,2,4,6
/proc/10326/task/10330/stat : 10330 (java) S 10324 10324 8289 0 -1 1077944384 4168 0 0 0 20 8 0 0 20 0 15 0 134769951 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911584180880 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10331] ppid=10324 vsize=13980732 memory=1380 CPUtime=0.28 cores=0,2,4,6
/proc/10326/task/10331/stat : 10331 (java) S 10324 10324 8289 0 -1 1077944384 3694 0 0 0 20 8 0 0 20 0 15 0 134769951 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911583128080 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10332] ppid=10324 vsize=13980732 memory=401216 CPUtime=0.26 cores=0,2,4,6
/proc/10326/task/10332/stat : 10332 (java) S 10324 10324 8289 0 -1 1077944384 6088 0 0 0 11 15 0 0 20 0 15 0 134769953 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911189994096 139911644351106 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10333] ppid=10324 vsize=13980732 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10333/stat : 10333 (java) S 10324 10324 8289 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 134769953 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911188940128 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10334] ppid=10324 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (java) S 10324 10324 8289 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 134769953 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911187887744 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10335] ppid=10324 vsize=13980732 memory=3912 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (java) S 10324 10324 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134769956 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911186836048 139911644358555 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10336] ppid=10324 vsize=13980732 memory=4068 CPUtime=2.4 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (java) S 10324 10324 8289 0 -1 1077944384 15701 0 0 0 238 2 0 0 20 0 15 0 134769956 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911185782896 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10337] ppid=10324 vsize=13980732 memory=2752 CPUtime=2.42 cores=0,2,4,6
/proc/10326/task/10337/stat : 10337 (java) S 10324 10324 8289 0 -1 1077944384 13987 0 0 0 240 2 0 0 20 0 15 0 134769956 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911184730096 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10338] ppid=10324 vsize=13980732 memory=2752 CPUtime=0.71 cores=0,2,4,6
/proc/10326/task/10338/stat : 10338 (java) S 10324 10324 8289 0 -1 1077944384 8071 0 0 0 70 1 0 0 20 0 15 0 134769956 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911183677808 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10339] ppid=10324 vsize=13980732 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/10326/task/10339/stat : 10339 (java) S 10324 10324 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134769956 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911182625248 139911644350165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
[pid=10326/tid=10340] ppid=10324 vsize=13980732 memory=3288 CPUtime=1.26 cores=0,2,4,6
/proc/10326/task/10340/stat : 10340 (java) S 10324 10324 8289 0 -1 1077944384 1127 0 0 0 66 60 0 0 20 0 15 0 134769960 14316269568 100304 18446744073709551615 4194304 4196468 140722934777392 139911181573040 139911644351106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 14487552 140722934784433 140722934784609 140722934784609 140722934788047 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 402596 KiB

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

[startup+2512.41 s]
# the end of solver process 10324 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.00189 s

[startup+2512.41 s]
# the end of solver process 10326 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.96 s, system=1.08908 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2512.41
CPU time (s): 2520.05
CPU user time (s): 2518.96
CPU system time (s): 1.08908
CPU usage (%): 100.304
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 430732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.96
system time used= 1.08908
maximum resident set size= 430400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89883
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59353
involuntary context switches= 2318


# summary of solver processes directly reported to runsolver:
#   pid: 10324,10326
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2518.96
#   total CPU system time (s): 1.08908

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1805 second user time and 24.5629 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-16 09:31:40
IDJOB=4269913
IDBENCH=140566
IDSOLVER=2660
FILE ID=node133/4269913-1502869548
RUNJOBID= node133-1502868496-10027
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-21.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4269913-1502869548/watcher-4269913-1502869548 -o /tmp/evaluation-result-4269913-1502869548/solver-4269913-1502869548 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502868496-10027 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1105892192 HOME/instance-4269913-1502869548.xml

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

MD5SUM BENCH= 25b27bae3543dabdafa06e8069fa9092
RANDOM SEED=1105892192

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:        20629164 kB
MemAvailable:   21379380 kB
Buffers:          283744 kB
Cached:           768164 kB
SwapCached:            0 kB
Active:         11375496 kB
Inactive:         291748 kB
Active(anon):   10556868 kB
Inactive(anon):   108944 kB
Active(file):     818628 kB
Inactive(file):   182804 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7872 kB
Writeback:             0 kB
AnonPages:      10616128 kB
Mapped:            76152 kB
Shmem:             49852 kB
Slab:             156472 kB
SReclaimable:     129236 kB
SUnreclaim:        27236 kB
KernelStack:        3600 kB
PageTables:        26364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   11332268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10389504 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-16 10:13:32