Trace number 4272133

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 5a (2017-07-26)SAT (TO)72 2520.0601 2472.21

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-esc32a.xml
MD5SUMca8832984a17c67db3e889c6d91adcf4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark66
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables1056
Number of constraints75
Number of domains2
Minimum domain size5
Maximum domain size32
Distribution of domain sizes[{"size":5,"count":74},{"size":32,"count":32}]
Minimum variable degree0
Maximum variable degree11
Distribution of variable degrees[{"degree":0,"count":950},{"degree":1,"count":7},{"degree":2,"count":75},{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":4},{"degree":7,"count":8},{"degree":8,"count":6},{"degree":9,"count":2},{"degree":11,"count":1}]
Minimum constraint arity3
Maximum constraint arity32
Distribution of constraint arities[{"arity":3,"count":74},{"arity":32,"count":1}]
Number of extensional constraints74
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":74},{"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.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272133-1502729552.xml"  -tl '2520s' -p 1 -x 3
0.07/0.29	c [HOME/instance-4272133-1502729552.xml, -tl, 2520s, -p, 1, -x, 3]
0.25/0.35	c simple solver
0.25/0.41	c parse instance...
1.16/0.72	c solve instance...
5.38/2.28	o 117 
5.38/2.29	o 115 
5.71/2.32	o 111 
6.03/2.46	o 80 
6.03/2.49	o 79 
6.35/2.52	o 78 
7.92/3.02	o 76 
938.59/918.46	o 74 
1654.42/1623.92	o 72 
2520.04/2472.20	s SATISFIABLE
2520.04/2472.20	v <instantiation>
2520.04/2472.20	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] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] d[0][1] d[0][2] d[0][5] d[0][10] d[0][12] d[0][21] d[1][2] d[1][4] d[1][8] d[1][13] d[2][3] d[2][8] d[2][14] d[2][17] d[3][4] d[3][5] d[3][8] d[3][14] d[3][17] d[4][5] d[4][8] d[4][13] d[5][10] d[5][12] d[5][21] d[7][15] d[7][16] d[7][20] d[7][22] d[7][23] d[7][24] d[7][26] d[8][13] d[8][14] d[8][17] d[9][23] d[10][12] d[10][16] d[10][18] d[10][21] d[11][15] d[11][16] d[11][21] d[11][25] d[12][13] d[12][14] d[12][21] d[13][14] d[14][17] d[15][20] d[15][22] d[15][23] d[15][25] d[15][26] d[16][18] d[16][24] d[16][25] d[16][26] d[17][18] d[17][20] d[17][23] d[17][26] d[18][20] d[18][23] d[18][26] d[20][22] d[20][23] d[20][26] d[21][24] d[21][26] d[22][23] d[22][26] d[23][26] d[24][26] </list>
2520.04/2472.20	v 	<values>31 24 29 21 17 23 7 1 25 6 14 11 30 16 20 3 9 28 12 19 0 15 2 4 13 10 5 27 8 26 18 22 2 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 2 1 1 0 0 0 1 1 1 0 1 2 1 0 0 2 0 0 0 0 0 0 2 1 1 0 0 1 0 2 1 1 1 0 1 1 0 2 1 2 1 0 1 0 0 1 0 1 1 2 0 0 </values>
2520.04/2472.20	v </instantiation>
2520.04/2472.20	c Unexpected resolution interruption!

Verifier Data 

OK	72

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272133-1502729552/watcher-4272133-1502729552 -o /tmp/evaluation-result-4272133-1502729552/solver-4272133-1502729552 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 552127563 HOME/instance-4272133-1502729552.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=22964, runsolver pid=22961
Current StackSize limit: 8192 KiB


[startup+0.100148 s]*
/proc/loadavg: 1.93 1.65 1.52 2/196 22965
/proc/meminfo: memFree=30403096/32770624 swapFree=67108860/67108860
[pid=22964] ppid=22961 vsize=9508 memory=1144 CPUtime=0 cores=0,2,4,6
/proc/22964/stat : 22964 (xcsp3-exec) R 22961 22964 897 0 -1 4202496 472 0 0 0 0 0 0 0 20 0 1 0 75175859 9736192 286 18446744073709551615 4194304 5098028 140736917153536 140736917153536 140545015454693 0 0 5 65536 0 0 0 17 2 0 0 10 0 0 7196144 7232144 11931648 140736917156217 140736917156421 140736917156421 140736917159915 0
/proc/22964/statm: 2377 286 236 221 0 86 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9508 KiB
Current children cumulated memory: 1144 KiB

[startup+0.209039 s]*
/proc/loadavg: 1.93 1.65 1.52 3/211 22980
/proc/meminfo: memFree=30391940/32770624 swapFree=67108860/67108860
[pid=22964] ppid=22961 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22964/stat : 22964 (xcsp3-exec) S 22961 22964 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75175859 9740288 345 18446744073709551615 4194304 5098028 140736917153536 140736917151640 140545015718524 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 11931648 140736917156217 140736917156421 140736917156421 140736917159915 0
/proc/22964/statm: 2378 345 289 221 0 87 0
[pid=22966] ppid=22964 vsize=13974352 memory=23456 CPUtime=0.07 cores=0,2,4,6
/proc/22966/stat : 22966 (java) S 22964 22964 897 0 -1 1077944320 5277 0 0 0 6 1 0 0 20 0 15 0 75175870 14309736448 5864 18446744073709551615 4194304 4196468 140727094476496 140727094459040 140500418940663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
/proc/22966/statm: 3493588 5864 2727 1 0 3482964 0
[pid=22966/tid=22967] ppid=22964 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=0,2,4,6
/proc/22966/task/22967/stat : 22967 (java) R 22964 22964 897 0 -1 4202560 3431 0 0 0 5 0 0 0 20 0 15 0 75175870 14309736448 5864 18446744073709551615 4194304 4196468 140727094476496 140500423167776 140500400592222 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22968] ppid=22964 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22968/stat : 22968 (java) S 22964 22964 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75175871 14309736448 5864 18446744073709551615 4194304 4196468 140727094476496 140500338354576 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22969] ppid=22964 vsize=13974352 memory=140535757855460 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22969/stat : 22969 (java) S 22964 22964 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75175871 14309736448 5864 18446744073709551615 4194304 4196468 140727094476496 140500337301776 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22970] ppid=22964 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22970/stat : 22970 (java) S 22964 22964 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75175871 14309736448 5864 18446744073709551615 4194304 4196468 140727094476496 140500336249488 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22971] ppid=22964 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22971/stat : 22971 (java) S 22964 22964 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75175871 14309736448 5864 18446744073709551615 4194304 4196468 140727094476496 140500335196688 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22972] ppid=22964 vsize=13974352 memory=140535757833856 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22972/stat : 22972 (java) S 22964 22964 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75175872 14309736448 5864 18446744073709551615 4194304 4196468 140727094476496 140499604134512 140500418951810 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22973] ppid=22964 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22973/stat : 22973 (java) S 22964 22964 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75175873 14309736448 5864 18446744073709551615 4194304 4196468 140727094476496 140499603080480 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22974] ppid=22964 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22974/stat : 22974 (java) S 22964 22964 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75175873 14309736448 5864 18446744073709551615 4194304 4196468 140727094476496 140499602028144 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22975] ppid=22964 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22975/stat : 22975 (java) S 22964 22964 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75175875 14309736448 5864 18446744073709551615 4194304 4196468 140727094476496 140499600976464 140500418959259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22976] ppid=22964 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22976/stat : 22976 (java) S 22964 22964 897 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 75175875 14309736448 5864 18446744073709551615 4194304 4196468 140727094476496 140499599923312 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22977] ppid=22964 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22977/stat : 22977 (java) S 22964 22964 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75175875 14309736448 5864 18446744073709551615 4194304 4196468 140727094476496 140499598870512 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22978] ppid=22964 vsize=13974352 memory=140535757833856 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22978/stat : 22978 (java) S 22964 22964 897 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 75175875 14309736448 5864 18446744073709551615 4194304 4196468 140727094476496 140499597818224 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22979] ppid=22964 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22979/stat : 22979 (java) S 22964 22964 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75175876 14309736448 5864 18446744073709551615 4194304 4196468 140727094476496 140499596765664 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22980] ppid=22964 vsize=13974352 memory=140535757833856 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22980/stat : 22980 (java) S 22964 22964 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75175880 14309736448 5864 18446744073709551615 4194304 4196468 140727094476496 140499595713456 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24836 KiB

[startup+0.314918 s]*
/proc/loadavg: 1.93 1.65 1.52 3/211 22980
/proc/meminfo: memFree=30376892/32770624 swapFree=67108860/67108860
[pid=22964] ppid=22961 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22964/stat : 22964 (xcsp3-exec) S 22961 22964 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75175859 9740288 345 18446744073709551615 4194304 5098028 140736917153536 140736917151640 140545015718524 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 11931648 140736917156217 140736917156421 140736917156421 140736917159915 0
/proc/22964/statm: 2378 345 289 221 0 87 0
[pid=22966] ppid=22964 vsize=13974352 memory=37152 CPUtime=0.25 cores=0,2,4,6
/proc/22966/stat : 22966 (java) S 22964 22964 897 0 -1 1077944320 8896 0 0 0 23 2 0 0 20 0 15 0 75175870 14309736448 9288 18446744073709551615 4194304 4196468 140727094476496 140727094459040 140500418940663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
/proc/22966/statm: 3493588 9288 2973 1 0 3482964 0
[pid=22966/tid=22967] ppid=22964 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/22966/task/22967/stat : 22967 (java) R 22964 22964 897 0 -1 4202560 6147 0 0 0 14 2 0 0 20 0 15 0 75175870 14309736448 9288 18446744073709551615 4194304 4196468 140727094476496 140500423148064 140500403021150 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22968] ppid=22964 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22968/stat : 22968 (java) S 22964 22964 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75175871 14309736448 9288 18446744073709551615 4194304 4196468 140727094476496 140500338354576 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22969] ppid=22964 vsize=13974352 memory=140535757833856 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22969/stat : 22969 (java) S 22964 22964 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75175871 14309736448 9288 18446744073709551615 4194304 4196468 140727094476496 140500337301776 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22970] ppid=22964 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22970/stat : 22970 (java) S 22964 22964 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75175871 14309736448 9288 18446744073709551615 4194304 4196468 140727094476496 140500336249488 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22971] ppid=22964 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22971/stat : 22971 (java) S 22964 22964 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75175871 14309736448 9288 18446744073709551615 4194304 4196468 140727094476496 140500335196688 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22972] ppid=22964 vsize=13974352 memory=140535757833856 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22972/stat : 22972 (java) S 22964 22964 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75175872 14309736448 9288 18446744073709551615 4194304 4196468 140727094476496 140499604134512 140500418951810 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22973] ppid=22964 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22973/stat : 22973 (java) S 22964 22964 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75175873 14309736448 9288 18446744073709551615 4194304 4196468 140727094476496 140499603080480 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22974] ppid=22964 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22974/stat : 22974 (java) S 22964 22964 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75175873 14309736448 9288 18446744073709551615 4194304 4196468 140727094476496 140499602028144 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22975] ppid=22964 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22975/stat : 22975 (java) S 22964 22964 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75175875 14309736448 9288 18446744073709551615 4194304 4196468 140727094476496 140499600976464 140500418959259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22976] ppid=22964 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22966/task/22976/stat : 22976 (java) S 22964 22964 897 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 15 0 75175875 14309736448 9288 18446744073709551615 4194304 4196468 140727094476496 140499599923312 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22977] ppid=22964 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22966/task/22977/stat : 22977 (java) S 22964 22964 897 0 -1 1077944384 384 0 0 0 1 0 0 0 20 0 15 0 75175875 14309736448 9288 18446744073709551615 4194304 4196468 140727094476496 140499598870512 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22978] ppid=22964 vsize=13974352 memory=140535757833856 CPUtime=0.05 cores=0,2,4,6
/proc/22966/task/22978/stat : 22978 (java) S 22964 22964 897 0 -1 1077944384 702 0 0 0 5 0 0 0 20 0 15 0 75175875 14309736448 9288 18446744073709551615 4194304 4196468 140727094476496 140499597818224 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22979] ppid=22964 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22979/stat : 22979 (java) S 22964 22964 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75175876 14309736448 9288 18446744073709551615 4194304 4196468 140727094476496 140499596765664 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22980] ppid=22964 vsize=13974352 memory=140535757833856 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22980/stat : 22980 (java) S 22964 22964 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75175880 14309736448 9288 18446744073709551615 4194304 4196468 140727094476496 140499595713456 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38532 KiB

[startup+0.709897 s]
/proc/loadavg: 1.93 1.65 1.52 5/211 22980
/proc/meminfo: memFree=30365688/32770624 swapFree=67108860/67108860
[pid=22964] ppid=22961 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22964/stat : 22964 (xcsp3-exec) S 22961 22964 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75175859 9740288 345 18446744073709551615 4194304 5098028 140736917153536 140736917151640 140545015718524 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 11931648 140736917156217 140736917156421 140736917156421 140736917159915 0
/proc/22964/statm: 2378 345 289 221 0 87 0
[pid=22966] ppid=22964 vsize=13980732 memory=64284 CPUtime=1.16 cores=0,2,4,6
/proc/22966/stat : 22966 (java) S 22964 22964 897 0 -1 1077944320 13180 0 0 0 112 4 0 0 20 0 15 0 75175870 14316269568 16071 18446744073709551615 4194304 4196468 140727094476496 140727094459040 140500418940663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
/proc/22966/statm: 3495183 16071 3159 1 0 3483476 0
[pid=22966/tid=22967] ppid=22964 vsize=13980732 memory=1228 CPUtime=0.54 cores=0,2,4,6
/proc/22966/task/22967/stat : 22967 (java) R 22964 22964 897 0 -1 4202560 8496 0 0 0 51 3 0 0 20 0 15 0 75175870 14316269568 16071 18446744073709551615 4194304 4196468 140727094476496 140500423169440 140500418962589 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22968] ppid=22964 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22968/stat : 22968 (java) S 22964 22964 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75175871 14316269568 16071 18446744073709551615 4194304 4196468 140727094476496 140500338354576 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22969] ppid=22964 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22969/stat : 22969 (java) S 22964 22964 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75175871 14316269568 16071 18446744073709551615 4194304 4196468 140727094476496 140500337301776 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22970] ppid=22964 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22970/stat : 22970 (java) S 22964 22964 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75175871 14316269568 16071 18446744073709551615 4194304 4196468 140727094476496 140500336249488 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22971] ppid=22964 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22971/stat : 22971 (java) S 22964 22964 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75175871 14316269568 16071 18446744073709551615 4194304 4196468 140727094476496 140500335196688 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22972] ppid=22964 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22972/stat : 22972 (java) S 22964 22964 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75175872 14316269568 16071 18446744073709551615 4194304 4196468 140727094476496 140499604134512 140500418951810 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22973] ppid=22964 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22973/stat : 22973 (java) S 22964 22964 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75175873 14316269568 16071 18446744073709551615 4194304 4196468 140727094476496 140499603080480 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22974] ppid=22964 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22974/stat : 22974 (java) S 22964 22964 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75175873 14316269568 16071 18446744073709551615 4194304 4196468 140727094476496 140499602028144 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22975] ppid=22964 vsize=13980732 memory=4121411722843087463 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22975/stat : 22975 (java) S 22964 22964 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75175875 14316269568 16071 18446744073709551615 4194304 4196468 140727094476496 140499600976464 140500418959259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22976] ppid=22964 vsize=13980732 memory=281071249869888 CPUtime=0.16 cores=0,2,4,6
/proc/22966/task/22976/stat : 22976 (java) R 22964 22964 897 0 -1 4202560 914 0 0 0 16 0 0 0 20 0 15 0 75175875 14316269568 16071 18446744073709551615 4194304 4196468 140727094476496 140499599904880 140500403333087 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22977] ppid=22964 vsize=13980732 memory=281071249870080 CPUtime=0.17 cores=0,2,4,6
/proc/22966/task/22977/stat : 22977 (java) R 22964 22964 897 0 -1 4202560 1105 0 0 0 17 0 0 0 20 0 15 0 75175875 14316269568 16071 18446744073709551615 4194304 4196468 140727094476496 140499598858192 140500412037472 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22978] ppid=22964 vsize=13980732 memory=281071249870272 CPUtime=0.27 cores=0,2,4,6
/proc/22966/task/22978/stat : 22978 (java) S 22964 22964 897 0 -1 1077944384 1356 0 0 0 27 0 0 0 20 0 15 0 75175875 14316269568 16071 18446744073709551615 4194304 4196468 140727094476496 140499597818224 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22979] ppid=22964 vsize=13980732 memory=281071249870464 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22979/stat : 22979 (java) S 22964 22964 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75175876 14316269568 16071 18446744073709551615 4194304 4196468 140727094476496 140499596765664 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22980] ppid=22964 vsize=13980732 memory=281071249870656 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22980/stat : 22980 (java) S 22964 22964 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75175880 14316269568 16071 18446744073709551615 4194304 4196468 140727094476496 140499595713456 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65664 KiB

[startup+1.50075 s]
/proc/loadavg: 1.93 1.65 1.52 5/211 22980
/proc/meminfo: memFree=30338688/32770624 swapFree=67108860/67108860
[pid=22964] ppid=22961 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22964/stat : 22964 (xcsp3-exec) S 22961 22964 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75175859 9740288 345 18446744073709551615 4194304 5098028 140736917153536 140736917151640 140545015718524 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 11931648 140736917156217 140736917156421 140736917156421 140736917159915 0
/proc/22964/statm: 2378 345 289 221 0 87 0
[pid=22966] ppid=22964 vsize=13980732 memory=94156 CPUtime=3.74 cores=0,2,4,6
/proc/22966/stat : 22966 (java) S 22964 22964 897 0 -1 1077944320 22259 0 0 0 368 6 0 0 20 0 15 0 75175870 14316269568 23539 18446744073709551615 4194304 4196468 140727094476496 140727094459040 140500418940663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
/proc/22966/statm: 3495183 23539 3188 1 0 3483476 0
[pid=22966/tid=22967] ppid=22964 vsize=13980732 memory=15541816741092861 CPUtime=1.32 cores=0,2,4,6
/proc/22966/task/22967/stat : 22967 (java) R 22964 22964 897 0 -1 4202560 8937 0 0 0 129 3 0 0 20 0 15 0 75175870 14316269568 23539 18446744073709551615 4194304 4196468 140727094476496 140500423178864 140500012049354 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22968] ppid=22964 vsize=13980732 memory=281071249804832 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22968/stat : 22968 (java) S 22964 22964 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75175871 14316269568 23539 18446744073709551615 4194304 4196468 140727094476496 140500338354576 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22969] ppid=22964 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22969/stat : 22969 (java) S 22964 22964 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75175871 14316269568 23539 18446744073709551615 4194304 4196468 140727094476496 140500337301776 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22970] ppid=22964 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22970/stat : 22970 (java) S 22964 22964 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75175871 14316269568 23539 18446744073709551615 4194304 4196468 140727094476496 140500336249488 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22971] ppid=22964 vsize=13980732 memory=76132 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22971/stat : 22971 (java) S 22964 22964 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75175871 14316269568 23539 18446744073709551615 4194304 4196468 140727094476496 140500335196688 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22972] ppid=22964 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22972/stat : 22972 (java) S 22964 22964 897 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 75175872 14316269568 23539 18446744073709551615 4194304 4196468 140727094476496 140499604134512 140500418951810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22973] ppid=22964 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22973/stat : 22973 (java) S 22964 22964 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75175873 14316269568 23539 18446744073709551615 4194304 4196468 140727094476496 140499603080480 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22974] ppid=22964 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22974/stat : 22974 (java) S 22964 22964 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75175873 14316269568 23539 18446744073709551615 4194304 4196468 140727094476496 140499602028144 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22975] ppid=22964 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22975/stat : 22975 (java) S 22964 22964 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75175875 14316269568 23539 18446744073709551615 4194304 4196468 140727094476496 140499600976464 140500418959259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22976] ppid=22964 vsize=13980732 memory=41304 CPUtime=0.92 cores=0,2,4,6
/proc/22966/task/22976/stat : 22976 (java) R 22964 22964 897 0 -1 4202560 4283 0 0 0 92 0 0 0 20 0 15 0 75175875 14316269568 23539 18446744073709551615 4194304 4196468 140727094476496 140499599912784 140500402426679 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22977] ppid=22964 vsize=13980732 memory=1292 CPUtime=0.95 cores=0,2,4,6
/proc/22966/task/22977/stat : 22977 (java) R 22964 22964 897 0 -1 4202560 4483 0 0 0 95 0 0 0 20 0 15 0 75175875 14316269568 23539 18446744073709551615 4194304 4196468 140727094476496 140499598861104 140500398118175 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22978] ppid=22964 vsize=13980732 memory=33 CPUtime=0.51 cores=0,2,4,6
/proc/22966/task/22978/stat : 22978 (java) R 22964 22964 897 0 -1 1077944384 3235 0 0 0 50 1 0 0 20 0 15 0 75175875 14316269568 23539 18446744073709551615 4194304 4196468 140727094476496 140499597818224 140500418951810 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22979] ppid=22964 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22979/stat : 22979 (java) S 22964 22964 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75175876 14316269568 23539 18446744073709551615 4194304 4196468 140727094476496 140499596765664 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22980] ppid=22964 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22980/stat : 22980 (java) S 22964 22964 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75175880 14316269568 23539 18446744073709551615 4194304 4196468 140727094476496 140499595713456 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0

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

/proc/22966/task/22974/stat : 22974 (java) S 22964 22964 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 75175873 14316269568 74476 18446744073709551615 4194304 4196468 140727094476496 140499602028144 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22975] ppid=22964 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22975/stat : 22975 (java) S 22964 22964 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75175875 14316269568 74476 18446744073709551615 4194304 4196468 140727094476496 140499600976464 140500418959259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22976] ppid=22964 vsize=13980732 memory=1012 CPUtime=5.16 cores=0,2,4,6
/proc/22966/task/22976/stat : 22976 (java) S 22964 22964 897 0 -1 1077944384 26298 0 0 0 513 3 0 0 20 0 15 0 75175875 14316269568 74476 18446744073709551615 4194304 4196468 140727094476496 140499599923312 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22977] ppid=22964 vsize=13980732 memory=1380 CPUtime=5.28 cores=0,2,4,6
/proc/22966/task/22977/stat : 22977 (java) S 22964 22964 897 0 -1 1077944384 27732 0 0 0 526 2 0 0 20 0 15 0 75175875 14316269568 74476 18446744073709551615 4194304 4196468 140727094476496 140499598870512 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22978] ppid=22964 vsize=13980732 memory=1380 CPUtime=0.9 cores=0,2,4,6
/proc/22966/task/22978/stat : 22978 (java) S 22964 22964 897 0 -1 1077944384 12015 0 0 0 87 3 0 0 20 0 15 0 75175875 14316269568 74476 18446744073709551615 4194304 4196468 140727094476496 140499597818224 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22979] ppid=22964 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22979/stat : 22979 (java) S 22964 22964 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75175876 14316269568 74476 18446744073709551615 4194304 4196468 140727094476496 140499596765664 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22980] ppid=22964 vsize=13980732 memory=1380 CPUtime=0.93 cores=0,2,4,6
/proc/22966/task/22980/stat : 22980 (java) S 22964 22964 897 0 -1 1077944384 1921 0 0 0 44 49 0 0 20 0 15 0 75175880 14316269568 74476 18446744073709551615 4194304 4196468 140727094476496 140499595713456 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
Current children cumulated CPU time: 2366.47 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 299284 KiB

[startup+2382.3 s]
/proc/loadavg: 2.10 1.77 1.71 3/211 23226
/proc/meminfo: memFree=25651084/32770624 swapFree=67108860/67108860
[pid=22964] ppid=22961 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22964/stat : 22964 (xcsp3-exec) S 22961 22964 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75175859 9740288 345 18446744073709551615 4194304 5098028 140736917153536 140736917151640 140545015718524 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 11931648 140736917156217 140736917156421 140736917156421 140736917159915 0
/proc/22964/statm: 2378 345 289 221 0 87 0
[pid=22966] ppid=22964 vsize=13980732 memory=291304 CPUtime=2427.89 cores=0,2,4,6
/proc/22966/stat : 22966 (java) S 22964 22964 897 0 -1 1077944320 201515 0 0 0 242576 213 0 0 20 0 15 0 75175870 14316269568 72826 18446744073709551615 4194304 4196468 140727094476496 140727094459040 140500418940663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
/proc/22966/statm: 3495183 72826 3257 1 0 3483476 0
[pid=22966/tid=22967] ppid=22964 vsize=13980732 memory=277476 CPUtime=2368.13 cores=0,2,4,6
/proc/22966/task/22967/stat : 22967 (java) R 22964 22964 897 0 -1 4202560 42119 0 0 0 236799 14 0 0 20 0 15 0 75175870 14316269568 72826 18446744073709551615 4194304 4196468 140727094476496 140500423180320 140500014306527 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22968] ppid=22964 vsize=13980732 memory=1380 CPUtime=11.43 cores=0,2,4,6
/proc/22966/task/22968/stat : 22968 (java) S 22964 22964 897 0 -1 1077944384 12006 0 0 0 1107 36 0 0 20 0 15 0 75175871 14316269568 72826 18446744073709551615 4194304 4196468 140727094476496 140500338354576 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22969] ppid=22964 vsize=13980732 memory=1380 CPUtime=11.41 cores=0,2,4,6
/proc/22966/task/22969/stat : 22969 (java) S 22964 22964 897 0 -1 1077944384 15145 0 0 0 1108 33 0 0 20 0 15 0 75175871 14316269568 72826 18446744073709551615 4194304 4196468 140727094476496 140500337301776 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22970] ppid=22964 vsize=13980732 memory=291716 CPUtime=11.41 cores=0,2,4,6
/proc/22966/task/22970/stat : 22970 (java) S 22964 22964 897 0 -1 1077944384 12968 0 0 0 1105 36 0 0 20 0 15 0 75175871 14316269568 72826 18446744073709551615 4194304 4196468 140727094476496 140500336249488 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22971] ppid=22964 vsize=13980732 memory=1380 CPUtime=11.39 cores=0,2,4,6
/proc/22966/task/22971/stat : 22971 (java) S 22964 22964 897 0 -1 1077944384 13976 0 0 0 1106 33 0 0 20 0 15 0 75175871 14316269568 72826 18446744073709551615 4194304 4196468 140727094476496 140500335196688 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22972] ppid=22964 vsize=13980732 memory=291304 CPUtime=1.74 cores=0,2,4,6
/proc/22966/task/22972/stat : 22972 (java) S 22964 22964 897 0 -1 1077944384 35959 0 0 0 153 21 0 0 20 0 15 0 75175872 14316269568 72826 18446744073709551615 4194304 4196468 140727094476496 140499604134512 140500418951810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22973] ppid=22964 vsize=13980732 memory=291304 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22973/stat : 22973 (java) S 22964 22964 897 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 75175873 14316269568 72826 18446744073709551615 4194304 4196468 140727094476496 140499603080480 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22974] ppid=22964 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22974/stat : 22974 (java) S 22964 22964 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 75175873 14316269568 72826 18446744073709551615 4194304 4196468 140727094476496 140499602028144 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22975] ppid=22964 vsize=13980732 memory=90 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22975/stat : 22975 (java) S 22964 22964 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75175875 14316269568 72826 18446744073709551615 4194304 4196468 140727094476496 140499600976464 140500418959259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22976] ppid=22964 vsize=13980732 memory=291304 CPUtime=5.16 cores=0,2,4,6
/proc/22966/task/22976/stat : 22976 (java) S 22964 22964 897 0 -1 1077944384 26298 0 0 0 513 3 0 0 20 0 15 0 75175875 14316269568 72826 18446744073709551615 4194304 4196468 140727094476496 140499599923312 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22977] ppid=22964 vsize=13980732 memory=1380 CPUtime=5.28 cores=0,2,4,6
/proc/22966/task/22977/stat : 22977 (java) S 22964 22964 897 0 -1 1077944384 27732 0 0 0 526 2 0 0 20 0 15 0 75175875 14316269568 72826 18446744073709551615 4194304 4196468 140727094476496 140499598870512 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22978] ppid=22964 vsize=13980732 memory=1380 CPUtime=0.9 cores=0,2,4,6
/proc/22966/task/22978/stat : 22978 (java) S 22964 22964 897 0 -1 1077944384 12015 0 0 0 87 3 0 0 20 0 15 0 75175875 14316269568 72826 18446744073709551615 4194304 4196468 140727094476496 140499597818224 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22979] ppid=22964 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22979/stat : 22979 (java) S 22964 22964 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75175876 14316269568 72826 18446744073709551615 4194304 4196468 140727094476496 140499596765664 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22980] ppid=22964 vsize=13980732 memory=4116 CPUtime=0.96 cores=0,2,4,6
/proc/22966/task/22980/stat : 22980 (java) S 22964 22964 897 0 -1 1077944384 1934 0 0 0 46 50 0 0 20 0 15 0 75175880 14316269568 72826 18446744073709551615 4194304 4196468 140727094476496 140499595713456 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
Current children cumulated CPU time: 2427.89 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 292684 KiB

[startup+2442.3 s]
/proc/loadavg: 1.79 1.75 1.71 3/211 23228
/proc/meminfo: memFree=25593040/32770624 swapFree=67108860/67108860
[pid=22964] ppid=22961 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22964/stat : 22964 (xcsp3-exec) S 22961 22964 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75175859 9740288 345 18446744073709551615 4194304 5098028 140736917153536 140736917151640 140545015718524 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 11931648 140736917156217 140736917156421 140736917156421 140736917159915 0
/proc/22964/statm: 2378 345 289 221 0 87 0
[pid=22966] ppid=22964 vsize=13980732 memory=290308 CPUtime=2489.32 cores=0,2,4,6
/proc/22966/stat : 22966 (java) S 22964 22964 897 0 -1 1077944320 208053 0 0 0 248710 222 0 0 20 0 15 0 75175870 14316269568 72577 18446744073709551615 4194304 4196468 140727094476496 140727094459040 140500418940663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
/proc/22966/statm: 3495183 72577 3257 1 0 3483476 0
[pid=22966/tid=22967] ppid=22964 vsize=13980732 memory=287264 CPUtime=2427.58 cores=0,2,4,6
/proc/22966/task/22967/stat : 22967 (java) R 22964 22964 897 0 -1 4202560 45121 0 0 0 242744 14 0 0 20 0 15 0 75175870 14316269568 72577 18446744073709551615 4194304 4196468 140727094476496 140500423180320 140500016228016 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22968] ppid=22964 vsize=13980732 memory=297524 CPUtime=11.89 cores=0,2,4,6
/proc/22966/task/22968/stat : 22968 (java) S 22964 22964 897 0 -1 1077944384 12811 0 0 0 1152 37 0 0 20 0 15 0 75175871 14316269568 72577 18446744073709551615 4194304 4196468 140727094476496 140500338354576 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22969] ppid=22964 vsize=13980732 memory=307944 CPUtime=11.88 cores=0,2,4,6
/proc/22966/task/22969/stat : 22969 (java) S 22964 22964 897 0 -1 1077944384 15766 0 0 0 1154 34 0 0 20 0 15 0 75175871 14316269568 72577 18446744073709551615 4194304 4196468 140727094476496 140500337301776 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22970] ppid=22964 vsize=13980732 memory=318720 CPUtime=11.88 cores=0,2,4,6
/proc/22966/task/22970/stat : 22970 (java) S 22964 22964 897 0 -1 1077944384 13634 0 0 0 1150 38 0 0 20 0 15 0 75175871 14316269568 72577 18446744073709551615 4194304 4196468 140727094476496 140500336249488 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22971] ppid=22964 vsize=13980732 memory=318720 CPUtime=11.85 cores=0,2,4,6
/proc/22966/task/22971/stat : 22971 (java) S 22964 22964 897 0 -1 1077944384 14935 0 0 0 1151 34 0 0 20 0 15 0 75175871 14316269568 72577 18446744073709551615 4194304 4196468 140727094476496 140500335196688 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22972] ppid=22964 vsize=13980732 memory=315128 CPUtime=1.81 cores=0,2,4,6
/proc/22966/task/22972/stat : 22972 (java) S 22964 22964 897 0 -1 1077944384 36432 0 0 0 159 22 0 0 20 0 15 0 75175872 14316269568 72577 18446744073709551615 4194304 4196468 140727094476496 140499604134512 140500418951810 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22973] ppid=22964 vsize=13980732 memory=287264 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22973/stat : 22973 (java) S 22964 22964 897 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 75175873 14316269568 72577 18446744073709551615 4194304 4196468 140727094476496 140499603080480 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22974] ppid=22964 vsize=13980732 memory=285212 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22974/stat : 22974 (java) S 22964 22964 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 75175873 14316269568 72577 18446744073709551615 4194304 4196468 140727094476496 140499602028144 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22975] ppid=22964 vsize=13980732 memory=290308 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22975/stat : 22975 (java) S 22964 22964 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75175875 14316269568 72577 18446744073709551615 4194304 4196468 140727094476496 140499600976464 140500418959259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22976] ppid=22964 vsize=13980732 memory=1380 CPUtime=5.16 cores=0,2,4,6
/proc/22966/task/22976/stat : 22976 (java) S 22964 22964 897 0 -1 1077944384 26300 0 0 0 513 3 0 0 20 0 15 0 75175875 14316269568 72577 18446744073709551615 4194304 4196468 140727094476496 140499599923312 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22977] ppid=22964 vsize=13980732 memory=1380 CPUtime=5.28 cores=0,2,4,6
/proc/22966/task/22977/stat : 22977 (java) S 22964 22964 897 0 -1 1077944384 27734 0 0 0 526 2 0 0 20 0 15 0 75175875 14316269568 72577 18446744073709551615 4194304 4196468 140727094476496 140499598870512 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22978] ppid=22964 vsize=13980732 memory=4116 CPUtime=0.9 cores=0,2,4,6
/proc/22966/task/22978/stat : 22978 (java) S 22964 22964 897 0 -1 1077944384 12017 0 0 0 87 3 0 0 20 0 15 0 75175875 14316269568 72577 18446744073709551615 4194304 4196468 140727094476496 140499597818224 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22979] ppid=22964 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22979/stat : 22979 (java) S 22964 22964 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75175876 14316269568 72577 18446744073709551615 4194304 4196468 140727094476496 140499596765664 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22980] ppid=22964 vsize=13980732 memory=1380 CPUtime=1 cores=0,2,4,6
/proc/22966/task/22980/stat : 22980 (java) S 22964 22964 897 0 -1 1077944384 1940 0 0 0 48 52 0 0 20 0 15 0 75175880 14316269568 72577 18446744073709551615 4194304 4196468 140727094476496 140499595713456 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
Current children cumulated CPU time: 2489.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 291688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2472.2 s]
/proc/loadavg: 1.81 1.76 1.71 3/211 23228
/proc/meminfo: memFree=25601084/32770624 swapFree=67108860/67108860
[pid=22964] ppid=22961 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22964/stat : 22964 (xcsp3-exec) S 22961 22964 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75175859 9740288 345 18446744073709551615 4194304 5098028 140736917153536 140736917151640 140545015718524 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 11931648 140736917156217 140736917156421 140736917156421 140736917159915 0
/proc/22964/statm: 2378 345 289 221 0 87 0
[pid=22966] ppid=22964 vsize=13980732 memory=282400 CPUtime=2520.04 cores=0,2,4,6
/proc/22966/stat : 22966 (java) S 22964 22964 897 0 -1 1077944320 210012 0 0 0 251780 224 0 0 20 0 15 0 75175870 14316269568 70600 18446744073709551615 4194304 4196468 140727094476496 140727094459040 140500418940663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
/proc/22966/statm: 3495183 70600 3257 1 0 3483476 0
[pid=22966/tid=22967] ppid=22964 vsize=13980732 memory=840 CPUtime=2457.15 cores=0,2,4,6
/proc/22966/task/22967/stat : 22967 (java) R 22964 22964 897 0 -1 4202560 45455 0 0 0 245701 14 0 0 20 0 15 0 75175870 14316269568 70600 18446744073709551615 4194304 4196468 140727094476496 140500423180368 140500014695695 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22968] ppid=22964 vsize=13980732 memory=-8774313645642428999 CPUtime=12.17 cores=0,2,4,6
/proc/22966/task/22968/stat : 22968 (java) S 22964 22964 897 0 -1 1077944384 12999 0 0 0 1179 38 0 0 20 0 15 0 75175871 14316269568 70600 18446744073709551615 4194304 4196468 140727094476496 140500338354576 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22969] ppid=22964 vsize=13980732 memory=2772 CPUtime=12.15 cores=0,2,4,6
/proc/22966/task/22969/stat : 22969 (java) S 22964 22964 897 0 -1 1077944384 15974 0 0 0 1180 35 0 0 20 0 15 0 75175871 14316269568 70600 18446744073709551615 4194304 4196468 140727094476496 140500337301776 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22970] ppid=22964 vsize=13980732 memory=2776 CPUtime=12.15 cores=0,2,4,6
/proc/22966/task/22970/stat : 22970 (java) S 22964 22964 897 0 -1 1077944384 13824 0 0 0 1177 38 0 0 20 0 15 0 75175871 14316269568 70600 18446744073709551615 4194304 4196468 140727094476496 140500336249488 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22971] ppid=22964 vsize=13980732 memory=1156 CPUtime=12.13 cores=0,2,4,6
/proc/22966/task/22971/stat : 22971 (java) S 22964 22964 897 0 -1 1077944384 15280 0 0 0 1178 35 0 0 20 0 15 0 75175871 14316269568 70600 18446744073709551615 4194304 4196468 140727094476496 140500335196688 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22972] ppid=22964 vsize=13980732 memory=3224 CPUtime=1.85 cores=0,2,4,6
/proc/22966/task/22972/stat : 22972 (java) S 22964 22964 897 0 -1 1077944384 37115 0 0 0 162 23 0 0 20 0 15 0 75175872 14316269568 70600 18446744073709551615 4194304 4196468 140727094476496 140499604134512 140500418951810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22973] ppid=22964 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22973/stat : 22973 (java) S 22964 22964 897 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 75175873 14316269568 70600 18446744073709551615 4194304 4196468 140727094476496 140499603080480 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22974] ppid=22964 vsize=13980732 memory=280604 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22974/stat : 22974 (java) S 22964 22964 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 75175873 14316269568 70600 18446744073709551615 4194304 4196468 140727094476496 140499602028144 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22975] ppid=22964 vsize=13980732 memory=4064 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22975/stat : 22975 (java) S 22964 22964 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75175875 14316269568 70600 18446744073709551615 4194304 4196468 140727094476496 140499600976464 140500418959259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22976] ppid=22964 vsize=13980732 memory=1292 CPUtime=5.16 cores=0,2,4,6
/proc/22966/task/22976/stat : 22976 (java) S 22964 22964 897 0 -1 1077944384 26300 0 0 0 513 3 0 0 20 0 15 0 75175875 14316269568 70600 18446744073709551615 4194304 4196468 140727094476496 140499599923312 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22977] ppid=22964 vsize=13980732 memory=2316 CPUtime=5.28 cores=0,2,4,6
/proc/22966/task/22977/stat : 22977 (java) S 22964 22964 897 0 -1 1077944384 27734 0 0 0 526 2 0 0 20 0 15 0 75175875 14316269568 70600 18446744073709551615 4194304 4196468 140727094476496 140499598870512 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22978] ppid=22964 vsize=13980732 memory=1728 CPUtime=0.9 cores=0,2,4,6
/proc/22966/task/22978/stat : 22978 (java) S 22964 22964 897 0 -1 1077944384 12017 0 0 0 87 3 0 0 20 0 15 0 75175875 14316269568 70600 18446744073709551615 4194304 4196468 140727094476496 140499597818224 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22979] ppid=22964 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/22966/task/22979/stat : 22979 (java) S 22964 22964 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75175876 14316269568 70600 18446744073709551615 4194304 4196468 140727094476496 140499596765664 140500418950869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
[pid=22966/tid=22980] ppid=22964 vsize=13980732 memory=796 CPUtime=1.01 cores=0,2,4,6
/proc/22966/task/22980/stat : 22980 (java) S 22964 22964 897 0 -1 1077944384 1951 0 0 0 48 53 0 0 20 0 15 0 75175880 14316269568 70600 18446744073709551615 4194304 4196468 140727094476496 140499595713456 140500418951810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140727094481329 140727094481505 140727094481505 140727094484943 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 283780 KiB

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

[startup+2472.21 s]
# the end of solver process 22964 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000865 s, system=0.001165 s

[startup+2472.21 s]
# the end of solver process 22966 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.81 s, system=2.25163 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): 2472.21
CPU time (s): 2520.06
CPU user time (s): 2517.81
CPU system time (s): 2.25163
CPU usage (%): 101.936
Max. virtual memory (cumulated for all children) (KiB): 13992272
Max. memory (cumulated for all children) (KiB): 480716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.81
system time used= 2.25163
maximum resident set size= 502248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210669
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90067
involuntary context switches= 4057


# summary of solver processes directly reported to runsolver:
#   pid: 22964,22966
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2517.81
#   total CPU system time (s): 2.25163

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9504 second user time and 23.1826 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-14 18:38:26
IDJOB=4272133
IDBENCH=123050
IDSOLVER=2664
FILE ID=node125/4272133-1502729552
RUNJOBID= node125-1502662595-11628
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-esc32a.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-4272133-1502729552/watcher-4272133-1502729552 -o /tmp/evaluation-result-4272133-1502729552/solver-4272133-1502729552 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 552127563 HOME/instance-4272133-1502729552.xml

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

MD5SUM BENCH= ca8832984a17c67db3e889c6d91adcf4
RANDOM SEED=552127563

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30402852 kB
MemAvailable:   31362760 kB
Buffers:          296600 kB
Cached:           957404 kB
SwapCached:            0 kB
Active:          1338708 kB
Inactive:         598020 kB
Active(anon):     683064 kB
Inactive(anon):    33100 kB
Active(file):     655644 kB
Inactive(file):   564920 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7608 kB
Writeback:             0 kB
AnonPages:        694592 kB
Mapped:            61996 kB
Shmem:             33444 kB
Slab:             136220 kB
SReclaimable:     110360 kB
SUnreclaim:        25860 kB
KernelStack:        3712 kB
PageTables:         6316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1323312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    540672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62016 MiB
End job on node125 at 2017-08-14 19:19:38