Trace number 4272135

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)16208 2520.0601 2443.51

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-lipa20b.xml
MD5SUM2a1cb6febb6ec7dbf2abb0b9e0866987
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark13638
Best CPU time to get the best result obtained on this benchmark19961.5
Satisfiable
(Un)Satisfiability was proved
Number of variables420
Number of constraints180
Number of domains2
Minimum domain size19
Maximum domain size20
Distribution of domain sizes[{"size":19,"count":179},{"size":20,"count":20}]
Minimum variable degree0
Maximum variable degree20
Distribution of variable degrees[{"degree":0,"count":221},{"degree":2,"count":179},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":5},{"degree":20,"count":8}]
Minimum constraint arity3
Maximum constraint arity20
Distribution of constraint arities[{"arity":3,"count":179},{"arity":20,"count":1}]
Number of extensional constraints179
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":179},{"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-4272135-1502732026.xml"  -tl '2520s' -p 1 -x 3
0.05/0.30	c [HOME/instance-4272135-1502732026.xml, -tl, 2520s, -p, 1, -x, 3]
0.22/0.36	c simple solver
0.39/0.43	c parse instance...
1.11/0.72	c solve instance...
1.70/0.94	o 17297 
1.70/0.97	o 17246 
1.70/0.99	o 17234 
3.05/1.33	o 17196 
3.05/1.37	o 17172 
3.05/1.39	o 17160 
3.38/1.46	o 16930 
6.45/2.43	o 16851 
9.27/3.40	o 16787 
9.56/3.53	o 16784 
11.23/4.15	o 16724 
18.16/8.75	o 16707 
18.28/8.87	o 16655 
72.74/60.71	o 16634 
72.74/60.77	o 16521 
72.74/60.78	o 16434 
81.08/68.80	o 16430 
188.45/173.16	o 16366 
188.64/173.31	o 16236 
191.52/176.12	o 16210 
2486.75/2410.90	o 16208 
2520.03/2443.50	s SATISFIABLE
2520.03/2443.50	v <instantiation>
2520.03/2443.50	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] d[0][1] d[0][2] d[0][3] d[0][5] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[2][3] d[2][4] d[2][6] d[2][7] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][18] d[2][19] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[4][6] d[4][7] d[4][8] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[6][7] d[6][8] d[6][9] d[6][10] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][17] d[8][18] d[8][19] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[15][16] d[15][17] d[15][18] d[15][19] d[16][17] d[16][18] d[16][19] d[17][18] d[17][19] d[18][19] </list>
2520.03/2443.50	v 	<values>4 1 5 0 18 14 9 16 10 17 19 12 11 13 15 3 8 2 7 6 6 19 19 8 10 5 8 16 10 10 6 9 12 4 14 10 9 7 6 11 11 3 11 6 8 13 11 7 5 10 5 5 9 9 8 9 12 15 12 8 5 8 9 8 8 15 1 11 8 15 12 4 4 12 9 13 4 7 10 9 6 12 12 18 7 14 7 8 10 4 10 13 14 13 14 7 15 11 8 9 17 9 7 15 8 15 13 12 15 11 6 8 11 9 5 9 11 7 7 14 14 15 9 12 13 10 12 15 14 11 19 3 12 14 13 10 11 8 16 11 13 10 13 5 7 13 13 15 12 11 1 18 4 11 12 16 13 15 12 12 3 13 7 4 15 11 1 9 15 12 8 11 11 18 11 9 3 18 6 3 13 12 12 12 15 13 12 7 8 12 14 3 10 18 18 10 8 11 3 </values>
2520.03/2443.50	v </instantiation>
2520.03/2443.50	c Unexpected resolution interruption!

Verifier Data 

OK	16208

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272135-1502732026/watcher-4272135-1502732026 -o /tmp/evaluation-result-4272135-1502732026/solver-4272135-1502732026 -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 957071726 HOME/instance-4272135-1502732026.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=23293, runsolver pid=23290
Current StackSize limit: 8192 KiB


[startup+0.100728 s]*
/proc/loadavg: 1.75 1.74 1.71 3/197 23295
/proc/meminfo: memFree=25875344/32770624 swapFree=67108860/67108860
[pid=23293] ppid=23290 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23293/stat : 23293 (xcsp3-exec) S 23290 23293 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75423254 9740288 345 18446744073709551615 4194304 5098028 140729020829840 140729020827944 140599108846204 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 25759744 140729020838265 140729020838469 140729020838469 140729020841963 0
/proc/23293/statm: 2378 345 289 221 0 87 0
[pid=23295] ppid=23293 vsize=11657624 memory=9552 CPUtime=0 cores=0,2,4,6
/proc/23295/stat : 23295 (java) S 23293 23293 897 0 -1 1077944320 2149 0 0 0 0 0 0 0 20 0 2 0 75423264 11937406976 2388 18446744073709551615 4194304 4196468 140722546170480 140722546153024 140381016055543 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
/proc/23295/statm: 2914406 2388 1151 1 0 2904376 0
[pid=23295/tid=23296] ppid=23293 vsize=11923880 memory=7311146985107750967 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23296/stat : 23296 (java) D 23293 23293 897 0 -1 4202560 963 0 0 0 0 0 0 0 20 0 6 0 75423264 12210053120 2454 18446744073709551615 4194304 4196468 140722546170480 140381020297320 140380987969153 0 4 1 16784584 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23297] ppid=23293 vsize=11989416 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23297/stat : 23297 (java) D 23293 23293 897 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 6 0 75423265 12277161984 2454 18446744073709551615 4194304 4196468 140722546170480 140380950488984 140380996079408 0 4 1 16784584 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23298] ppid=23293 vsize=11923880 memory=139713230302734 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23298/stat : 23298 (java) S 23293 23293 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 75423265 12210053120 2454 18446744073709551615 4194304 4196468 140722546170480 140380949436816 140381016065749 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23299] ppid=23293 vsize=12298740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23299/stat : 23299 (java) S 23293 23293 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 75423265 12593909760 2468 18446744073709551615 4194304 4196468 140722546170480 140380948384272 140381016065749 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23300] ppid=23293 vsize=13355668 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23300/stat : 23300 (java) S 23293 23293 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 75423265 13676204032 2468 18446744073709551615 4194304 4196468 140722546170480 140380947331728 140381016065749 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11667136 KiB
Current children cumulated memory: 10932 KiB

[startup+0.209856 s]*
/proc/loadavg: 1.75 1.74 1.71 2/210 23308
/proc/meminfo: memFree=25863928/32770624 swapFree=67108860/67108860
[pid=23293] ppid=23290 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23293/stat : 23293 (xcsp3-exec) S 23290 23293 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75423254 9740288 345 18446744073709551615 4194304 5098028 140729020829840 140729020827944 140599108846204 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 25759744 140729020838265 140729020838469 140729020838469 140729020841963 0
/proc/23293/statm: 2378 345 289 221 0 87 0
[pid=23295] ppid=23293 vsize=13907304 memory=22140 CPUtime=0.05 cores=0,2,4,6
/proc/23295/stat : 23295 (java) S 23293 23293 897 0 -1 1077944320 4926 0 0 0 5 0 0 0 20 0 14 0 75423264 14241079296 5535 18446744073709551615 4194304 4196468 140722546170480 140722546153024 140381016055543 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
/proc/23295/statm: 3476826 5535 2577 1 0 3466323 0
[pid=23295/tid=23296] ppid=23293 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/23295/task/23296/stat : 23296 (java) D 23293 23293 897 0 -1 4202560 3108 0 0 0 4 0 0 0 20 0 14 0 75423264 14241079296 5535 18446744073709551615 4194304 4196468 140722546170480 140381020293024 140381016077565 0 4 1 16800974 18446744071580418449 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23297] ppid=23293 vsize=13907304 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23297/stat : 23297 (java) S 23293 23293 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 75423265 14241079296 5535 18446744073709551615 4194304 4196468 140722546170480 140380950489360 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23298] ppid=23293 vsize=13907304 memory=139713230302734 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23298/stat : 23298 (java) S 23293 23293 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 75423265 14241079296 5535 18446744073709551615 4194304 4196468 140722546170480 140380949436816 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23299] ppid=23293 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23299/stat : 23299 (java) S 23293 23293 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 75423265 14241079296 5535 18446744073709551615 4194304 4196468 140722546170480 140380948384272 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23300] ppid=23293 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23300/stat : 23300 (java) S 23293 23293 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 75423265 14241079296 5535 18446744073709551615 4194304 4196468 140722546170480 140380947331728 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23301] ppid=23293 vsize=13907304 memory=139713230280320 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23301/stat : 23301 (java) S 23293 23293 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 75423266 14241079296 5535 18446744073709551615 4194304 4196468 140722546170480 140380359588336 140381016066690 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23302] ppid=23293 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23302/stat : 23302 (java) S 23293 23293 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 75423267 14241079296 5535 18446744073709551615 4194304 4196468 140722546170480 140380358534560 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23303] ppid=23293 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23303/stat : 23303 (java) S 23293 23293 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 75423267 14241079296 5535 18446744073709551615 4194304 4196468 140722546170480 140380357481968 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23304] ppid=23293 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23304/stat : 23304 (java) S 23293 23293 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 75423269 14241079296 5535 18446744073709551615 4194304 4196468 140722546170480 140380356430544 140381016074139 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23305] ppid=23293 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23305/stat : 23305 (java) S 23293 23293 897 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 14 0 75423269 14241079296 5535 18446744073709551615 4194304 4196468 140722546170480 140380355377136 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23306] ppid=23293 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23306/stat : 23306 (java) S 23293 23293 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 75423269 14241079296 5535 18446744073709551615 4194304 4196468 140722546170480 140380354324592 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23307] ppid=23293 vsize=13907304 memory=139713230280320 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23307/stat : 23307 (java) S 23293 23293 897 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 14 0 75423269 14241079296 5535 18446744073709551615 4194304 4196468 140722546170480 140380353272048 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23308] ppid=23293 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23308/stat : 23308 (java) S 23293 23293 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 75423270 14241079296 5535 18446744073709551615 4194304 4196468 140722546170480 140380352219744 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23520 KiB

[startup+0.309837 s]*
/proc/loadavg: 1.75 1.74 1.71 4/211 23309
/proc/meminfo: memFree=25856036/32770624 swapFree=67108860/67108860
[pid=23293] ppid=23290 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23293/stat : 23293 (xcsp3-exec) S 23290 23293 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75423254 9740288 345 18446744073709551615 4194304 5098028 140729020829840 140729020827944 140599108846204 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 25759744 140729020838265 140729020838469 140729020838469 140729020841963 0
/proc/23293/statm: 2378 345 289 221 0 87 0
[pid=23295] ppid=23293 vsize=13975376 memory=34408 CPUtime=0.22 cores=0,2,4,6
/proc/23295/stat : 23295 (java) S 23293 23293 897 0 -1 1077944320 8175 0 0 0 21 1 0 0 20 0 15 0 75423264 14310785024 8714 18446744073709551615 4194304 4196468 140722546170480 140722546153024 140381016055543 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
/proc/23295/statm: 3493844 8602 2973 1 0 3483220 0
[pid=23295/tid=23296] ppid=23293 vsize=13975376 memory=-8774313645642428999 CPUtime=0.14 cores=0,2,4,6
/proc/23295/task/23296/stat : 23296 (java) R 23293 23293 897 0 -1 4202560 5574 0 0 0 13 1 0 0 20 0 15 0 75423264 14310785024 8733 18446744073709551615 4194304 4196468 140722546170480 140381020277920 140381008735261 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23297] ppid=23293 vsize=13975376 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23297/stat : 23297 (java) S 23293 23293 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75423265 14310785024 8733 18446744073709551615 4194304 4196468 140722546170480 140380950489360 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23298] ppid=23293 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23298/stat : 23298 (java) S 23293 23293 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75423265 14310785024 8733 18446744073709551615 4194304 4196468 140722546170480 140380949436816 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23299] ppid=23293 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23299/stat : 23299 (java) S 23293 23293 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75423265 14310785024 8733 18446744073709551615 4194304 4196468 140722546170480 140380948384272 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23300] ppid=23293 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23300/stat : 23300 (java) S 23293 23293 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75423265 14310785024 8799 18446744073709551615 4194304 4196468 140722546170480 140380947331728 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23301] ppid=23293 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23301/stat : 23301 (java) S 23293 23293 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75423266 14310785024 8799 18446744073709551615 4194304 4196468 140722546170480 140380359588336 140381016066690 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23302] ppid=23293 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23302/stat : 23302 (java) S 23293 23293 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75423267 14310785024 8799 18446744073709551615 4194304 4196468 140722546170480 140380358534560 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23303] ppid=23293 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23303/stat : 23303 (java) S 23293 23293 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75423267 14310785024 8799 18446744073709551615 4194304 4196468 140722546170480 140380357481968 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23304] ppid=23293 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23304/stat : 23304 (java) S 23293 23293 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75423269 14310785024 8799 18446744073709551615 4194304 4196468 140722546170480 140380356430544 140381016074139 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23305] ppid=23293 vsize=13975376 memory=139713071827648 CPUtime=0.01 cores=0,2,4,6
/proc/23295/task/23305/stat : 23305 (java) S 23293 23293 897 0 -1 1077944384 553 0 0 0 1 0 0 0 20 0 15 0 75423269 14310785024 8799 18446744073709551615 4194304 4196468 140722546170480 140380355377136 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23306] ppid=23293 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23306/stat : 23306 (java) S 23293 23293 897 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 15 0 75423269 14310785024 8799 18446744073709551615 4194304 4196468 140722546170480 140380354324592 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23307] ppid=23293 vsize=13975376 memory=139713230280320 CPUtime=0.05 cores=0,2,4,6
/proc/23295/task/23307/stat : 23307 (java) S 23293 23293 897 0 -1 1077944384 688 0 0 0 5 0 0 0 20 0 15 0 75423269 14310785024 8799 18446744073709551615 4194304 4196468 140722546170480 140380353272048 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23308] ppid=23293 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23308/stat : 23308 (java) S 23293 23293 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75423270 14310785024 8799 18446744073709551615 4194304 4196468 140722546170480 140380352219744 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23309] ppid=23293 vsize=13975376 memory=139713230280320 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23309/stat : 23309 (java) S 23293 23293 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75423276 14310785024 8799 18446744073709551615 4194304 4196468 140722546170480 140380351167280 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 35788 KiB

[startup+0.705916 s]
/proc/loadavg: 1.75 1.74 1.71 4/211 23309
/proc/meminfo: memFree=25839476/32770624 swapFree=67108860/67108860
[pid=23293] ppid=23290 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23293/stat : 23293 (xcsp3-exec) S 23290 23293 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75423254 9740288 345 18446744073709551615 4194304 5098028 140729020829840 140729020827944 140599108846204 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 25759744 140729020838265 140729020838469 140729020838469 140729020841963 0
/proc/23293/statm: 2378 345 289 221 0 87 0
[pid=23295] ppid=23293 vsize=13980732 memory=65876 CPUtime=1.11 cores=0,2,4,6
/proc/23295/stat : 23295 (java) S 23293 23293 897 0 -1 1077944320 13081 0 0 0 107 4 0 0 20 0 15 0 75423264 14316269568 16469 18446744073709551615 4194304 4196468 140722546170480 140722546153024 140381016055543 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
/proc/23295/statm: 3495183 16469 3158 1 0 3483476 0
[pid=23295/tid=23296] ppid=23293 vsize=13980732 memory=5936703436935878507 CPUtime=0.52 cores=0,2,4,6
/proc/23295/task/23296/stat : 23296 (java) R 23293 23293 897 0 -1 4202560 8517 0 0 0 49 3 0 0 20 0 15 0 75423264 14316269568 16469 18446744073709551615 4194304 4196468 140722546170480 140381020284384 140381000136030 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23297] ppid=23293 vsize=13980732 memory=4638778403029274732 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23297/stat : 23297 (java) S 23293 23293 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75423265 14316269568 16469 18446744073709551615 4194304 4196468 140722546170480 140380950489360 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23298] ppid=23293 vsize=13980732 memory=6872598998417432672 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23298/stat : 23298 (java) S 23293 23293 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75423265 14316269568 16469 18446744073709551615 4194304 4196468 140722546170480 140380949436816 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23299] ppid=23293 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23299/stat : 23299 (java) S 23293 23293 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75423265 14316269568 16469 18446744073709551615 4194304 4196468 140722546170480 140380948384272 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23300] ppid=23293 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23300/stat : 23300 (java) S 23293 23293 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75423265 14316269568 16469 18446744073709551615 4194304 4196468 140722546170480 140380947331728 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23301] ppid=23293 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23301/stat : 23301 (java) S 23293 23293 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75423266 14316269568 16469 18446744073709551615 4194304 4196468 140722546170480 140380359588336 140381016066690 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23302] ppid=23293 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23302/stat : 23302 (java) S 23293 23293 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75423267 14316269568 16469 18446744073709551615 4194304 4196468 140722546170480 140380358534560 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23303] ppid=23293 vsize=13980732 memory=970 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23303/stat : 23303 (java) S 23293 23293 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75423267 14316269568 16469 18446744073709551615 4194304 4196468 140722546170480 140380357481968 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23304] ppid=23293 vsize=13980732 memory=257 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23304/stat : 23304 (java) S 23293 23293 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75423269 14316269568 16469 18446744073709551615 4194304 4196468 140722546170480 140380356430544 140381016074139 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23305] ppid=23293 vsize=13980732 memory=67 CPUtime=0.14 cores=0,2,4,6
/proc/23295/task/23305/stat : 23305 (java) R 23293 23293 897 0 -1 4202560 1010 0 0 0 14 0 0 0 20 0 15 0 75423269 14316269568 16469 18446744073709551615 4194304 4196468 140722546170480 140380355363664 140380997234559 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23306] ppid=23293 vsize=13980732 memory=5 CPUtime=0.16 cores=0,2,4,6
/proc/23295/task/23306/stat : 23306 (java) R 23293 23293 897 0 -1 4202560 926 0 0 0 16 0 0 0 20 0 15 0 75423269 14316269568 16469 18446744073709551615 4194304 4196468 140722546170480 140380354304032 140380999958624 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23307] ppid=23293 vsize=13980732 memory=383 CPUtime=0.27 cores=0,2,4,6
/proc/23295/task/23307/stat : 23307 (java) R 23293 23293 897 0 -1 4202560 1324 0 0 0 27 0 0 0 20 0 15 0 75423269 14316269568 16469 18446744073709551615 4194304 4196468 140722546170480 140380353272048 140381000136030 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23308] ppid=23293 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23308/stat : 23308 (java) S 23293 23293 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75423270 14316269568 16469 18446744073709551615 4194304 4196468 140722546170480 140380352219744 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23309] ppid=23293 vsize=13980732 memory=6657 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23309/stat : 23309 (java) S 23293 23293 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75423276 14316269568 16469 18446744073709551615 4194304 4196468 140722546170480 140380351167280 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67256 KiB

[startup+1.50078 s]
/proc/loadavg: 1.75 1.74 1.71 6/211 23309
/proc/meminfo: memFree=25814104/32770624 swapFree=67108860/67108860
[pid=23293] ppid=23290 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23293/stat : 23293 (xcsp3-exec) S 23290 23293 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75423254 9740288 345 18446744073709551615 4194304 5098028 140729020829840 140729020827944 140599108846204 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 25759744 140729020838265 140729020838469 140729020838469 140729020841963 0
/proc/23293/statm: 2378 345 289 221 0 87 0
[pid=23295] ppid=23293 vsize=13980732 memory=113680 CPUtime=3.69 cores=0,2,4,6
/proc/23295/stat : 23295 (java) S 23293 23293 897 0 -1 1077944320 29985 0 0 0 362 7 0 0 20 0 15 0 75423264 14316269568 28420 18446744073709551615 4194304 4196468 140722546170480 140722546153024 140381016055543 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
/proc/23295/statm: 3495183 28420 3190 1 0 3483476 0
[pid=23295/tid=23296] ppid=23293 vsize=13980732 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/23295/task/23296/stat : 23296 (java) R 23293 23293 897 0 -1 4202560 9901 0 0 0 128 3 0 0 20 0 15 0 75423264 14316269568 28420 18446744073709551615 4194304 4196468 140722546170480 140381020292496 140380624010079 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23297] ppid=23293 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23297/stat : 23297 (java) S 23293 23293 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75423265 14316269568 28420 18446744073709551615 4194304 4196468 140722546170480 140380950489360 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23298] ppid=23293 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23298/stat : 23298 (java) S 23293 23293 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75423265 14316269568 28420 18446744073709551615 4194304 4196468 140722546170480 140380949436816 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23299] ppid=23293 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23299/stat : 23299 (java) S 23293 23293 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75423265 14316269568 28420 18446744073709551615 4194304 4196468 140722546170480 140380948384272 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23300] ppid=23293 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23300/stat : 23300 (java) S 23293 23293 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75423265 14316269568 28420 18446744073709551615 4194304 4196468 140722546170480 140380947331728 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23301] ppid=23293 vsize=13980732 memory=69 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23301/stat : 23301 (java) S 23293 23293 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75423266 14316269568 28420 18446744073709551615 4194304 4196468 140722546170480 140380359588336 140381016066690 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23302] ppid=23293 vsize=13980732 memory=71 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23302/stat : 23302 (java) S 23293 23293 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75423267 14316269568 28420 18446744073709551615 4194304 4196468 140722546170480 140380358534560 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23303] ppid=23293 vsize=13980732 memory=51 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23303/stat : 23303 (java) S 23293 23293 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75423267 14316269568 28420 18446744073709551615 4194304 4196468 140722546170480 140380357481968 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23304] ppid=23293 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

/proc/23295/task/23303/stat : 23303 (java) S 23293 23293 897 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 75423267 14316269568 150531 18446744073709551615 4194304 4196468 140722546170480 140380357481968 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23304] ppid=23293 vsize=13980732 memory=16436 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23304/stat : 23304 (java) S 23293 23293 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75423269 14316269568 150531 18446744073709551615 4194304 4196468 140722546170480 140380356430544 140381016074139 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23305] ppid=23293 vsize=13980732 memory=1380 CPUtime=5.84 cores=0,2,4,6
/proc/23295/task/23305/stat : 23305 (java) S 23293 23293 897 0 -1 1077944384 30896 0 0 0 581 3 0 0 20 0 15 0 75423269 14316269568 150531 18446744073709551615 4194304 4196468 140722546170480 140380355377136 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23306] ppid=23293 vsize=13980732 memory=570324 CPUtime=5.44 cores=0,2,4,6
/proc/23295/task/23306/stat : 23306 (java) S 23293 23293 897 0 -1 1077944384 30301 0 0 0 541 3 0 0 20 0 15 0 75423269 14316269568 150531 18446744073709551615 4194304 4196468 140722546170480 140380354324592 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23307] ppid=23293 vsize=13980732 memory=544 CPUtime=0.9 cores=0,2,4,6
/proc/23295/task/23307/stat : 23307 (java) S 23293 23293 897 0 -1 1077944384 11241 0 0 0 88 2 0 0 20 0 15 0 75423269 14316269568 150531 18446744073709551615 4194304 4196468 140722546170480 140380353272048 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23308] ppid=23293 vsize=13980732 memory=90 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23308/stat : 23308 (java) S 23293 23293 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75423270 14316269568 150531 18446744073709551615 4194304 4196468 140722546170480 140380352219744 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23309] ppid=23293 vsize=13980732 memory=1380 CPUtime=1.16 cores=0,2,4,6
/proc/23295/task/23309/stat : 23309 (java) S 23293 23293 897 0 -1 1077944384 955 0 0 0 57 59 0 0 20 0 15 0 75423276 14316269568 150531 18446744073709551615 4194304 4196468 140722546170480 140380351167280 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
Current children cumulated CPU time: 2457.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 603504 KiB

[startup+2442.3 s]
/proc/loadavg: 1.52 1.66 1.77 3/215 23627
/proc/meminfo: memFree=29968108/32770624 swapFree=67108860/67108860
[pid=23293] ppid=23290 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23293/stat : 23293 (xcsp3-exec) S 23290 23293 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75423254 9740288 345 18446744073709551615 4194304 5098028 140729020829840 140729020827944 140599108846204 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 25759744 140729020838265 140729020838469 140729020838469 140729020841963 0
/proc/23293/statm: 2378 345 289 221 0 87 0
[pid=23295] ppid=23293 vsize=13980732 memory=634172 CPUtime=2518.79 cores=0,2,4,6
/proc/23295/stat : 23295 (java) S 23293 23293 897 0 -1 1077944320 371822 0 0 0 251376 503 0 0 20 0 15 0 75423264 14316269568 158543 18446744073709551615 4194304 4196468 140722546170480 140722546153024 140381016055543 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
/proc/23295/statm: 3495183 158543 3259 1 0 3483476 0
[pid=23295/tid=23296] ppid=23293 vsize=13980732 memory=634172 CPUtime=2419.77 cores=0,2,4,6
/proc/23295/task/23296/stat : 23296 (java) R 23293 23293 897 0 -1 4202560 98912 0 0 0 241956 21 0 0 20 0 15 0 75423264 14316269568 158543 18446744073709551615 4194304 4196468 140722546170480 140381020294896 140380627679346 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23297] ppid=23293 vsize=13980732 memory=636224 CPUtime=21.1 cores=0,2,4,6
/proc/23295/task/23297/stat : 23297 (java) S 23293 23293 897 0 -1 1077944384 24697 0 0 0 2009 101 0 0 20 0 15 0 75423265 14316269568 158543 18446744073709551615 4194304 4196468 140722546170480 140380950489360 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23298] ppid=23293 vsize=13980732 memory=636224 CPUtime=21.15 cores=0,2,4,6
/proc/23295/task/23298/stat : 23298 (java) S 23293 23293 897 0 -1 1077944384 25643 0 0 0 2012 103 0 0 20 0 15 0 75423265 14316269568 158543 18446744073709551615 4194304 4196468 140722546170480 140380949436816 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23299] ppid=23293 vsize=13980732 memory=645972 CPUtime=21.1 cores=0,2,4,6
/proc/23295/task/23299/stat : 23299 (java) S 23293 23293 897 0 -1 1077944384 24617 0 0 0 2009 101 0 0 20 0 15 0 75423265 14316269568 158543 18446744073709551615 4194304 4196468 140722546170480 140380948384272 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23300] ppid=23293 vsize=13980732 memory=667512 CPUtime=21.16 cores=0,2,4,6
/proc/23295/task/23300/stat : 23300 (java) S 23293 23293 897 0 -1 1077944384 24055 0 0 0 2016 100 0 0 20 0 15 0 75423265 14316269568 158543 18446744073709551615 4194304 4196468 140722546170480 140380947331728 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23301] ppid=23293 vsize=13980732 memory=655716 CPUtime=1.02 cores=0,2,4,6
/proc/23295/task/23301/stat : 23301 (java) S 23293 23293 897 0 -1 1077944384 98994 0 0 0 81 21 0 0 20 0 15 0 75423266 14316269568 158543 18446744073709551615 4194304 4196468 140722546170480 140380359588336 140381016066690 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23302] ppid=23293 vsize=13980732 memory=645968 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23302/stat : 23302 (java) S 23293 23293 897 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 75423267 14316269568 158543 18446744073709551615 4194304 4196468 140722546170480 140380358534560 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23303] ppid=23293 vsize=13980732 memory=634172 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23303/stat : 23303 (java) S 23293 23293 897 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 75423267 14316269568 158543 18446744073709551615 4194304 4196468 140722546170480 140380357481968 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23304] ppid=23293 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23304/stat : 23304 (java) S 23293 23293 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75423269 14316269568 158543 18446744073709551615 4194304 4196468 140722546170480 140380356430544 140381016074139 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23305] ppid=23293 vsize=13980732 memory=6628 CPUtime=5.85 cores=0,2,4,6
/proc/23295/task/23305/stat : 23305 (java) S 23293 23293 897 0 -1 1077944384 30956 0 0 0 582 3 0 0 20 0 15 0 75423269 14316269568 158543 18446744073709551615 4194304 4196468 140722546170480 140380355377136 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23306] ppid=23293 vsize=13980732 memory=1380 CPUtime=5.44 cores=0,2,4,6
/proc/23295/task/23306/stat : 23306 (java) S 23293 23293 897 0 -1 1077944384 30304 0 0 0 541 3 0 0 20 0 15 0 75423269 14316269568 158543 18446744073709551615 4194304 4196468 140722546170480 140380354324592 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23307] ppid=23293 vsize=13980732 memory=1380 CPUtime=0.9 cores=0,2,4,6
/proc/23295/task/23307/stat : 23307 (java) S 23293 23293 897 0 -1 1077944384 11310 0 0 0 88 2 0 0 20 0 15 0 75423269 14316269568 158543 18446744073709551615 4194304 4196468 140722546170480 140380353272048 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23308] ppid=23293 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23308/stat : 23308 (java) S 23293 23293 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75423270 14316269568 158543 18446744073709551615 4194304 4196468 140722546170480 140380352219744 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23309] ppid=23293 vsize=13980732 memory=1380 CPUtime=1.19 cores=0,2,4,6
/proc/23295/task/23309/stat : 23309 (java) S 23293 23293 897 0 -1 1077944384 976 0 0 0 59 60 0 0 20 0 15 0 75423276 14316269568 158543 18446744073709551615 4194304 4196468 140722546170480 140380351167280 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
Current children cumulated CPU time: 2518.79 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 635552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2443.5 s]
/proc/loadavg: 1.52 1.66 1.77 3/215 23627
/proc/meminfo: memFree=29978676/32770624 swapFree=67108860/67108860
[pid=23293] ppid=23290 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23293/stat : 23293 (xcsp3-exec) S 23290 23293 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75423254 9740288 345 18446744073709551615 4194304 5098028 140729020829840 140729020827944 140599108846204 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 25759744 140729020838265 140729020838469 140729020838469 140729020841963 0
/proc/23293/statm: 2378 345 289 221 0 87 0
[pid=23295] ppid=23293 vsize=13980732 memory=626992 CPUtime=2520.03 cores=0,2,4,6
/proc/23295/stat : 23295 (java) S 23293 23293 897 0 -1 1077944320 371856 0 0 0 251500 503 0 0 20 0 15 0 75423264 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140722546153024 140381016055543 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
/proc/23295/statm: 3495183 156748 3259 1 0 3483476 0
[pid=23295/tid=23296] ppid=23293 vsize=13980732 memory=634172 CPUtime=2420.95 cores=0,2,4,6
/proc/23295/task/23296/stat : 23296 (java) R 23293 23293 897 0 -1 4202560 98913 0 0 0 242074 21 0 0 20 0 15 0 75423264 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140381020294912 140380625623148 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23297] ppid=23293 vsize=13980732 memory=636224 CPUtime=21.12 cores=0,2,4,6
/proc/23295/task/23297/stat : 23297 (java) S 23293 23293 897 0 -1 1077944384 24703 0 0 0 2011 101 0 0 20 0 15 0 75423265 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380950489360 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23298] ppid=23293 vsize=13980732 memory=636224 CPUtime=21.16 cores=0,2,4,6
/proc/23295/task/23298/stat : 23298 (java) S 23293 23293 897 0 -1 1077944384 25648 0 0 0 2013 103 0 0 20 0 15 0 75423265 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380949436816 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23299] ppid=23293 vsize=13980732 memory=645972 CPUtime=21.12 cores=0,2,4,6
/proc/23295/task/23299/stat : 23299 (java) S 23293 23293 897 0 -1 1077944384 24621 0 0 0 2011 101 0 0 20 0 15 0 75423265 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380948384272 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23300] ppid=23293 vsize=13980732 memory=667512 CPUtime=21.17 cores=0,2,4,6
/proc/23295/task/23300/stat : 23300 (java) S 23293 23293 897 0 -1 1077944384 24071 0 0 0 2017 100 0 0 20 0 15 0 75423265 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380947331728 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23301] ppid=23293 vsize=13980732 memory=655716 CPUtime=1.02 cores=0,2,4,6
/proc/23295/task/23301/stat : 23301 (java) S 23293 23293 897 0 -1 1077944384 98996 0 0 0 81 21 0 0 20 0 15 0 75423266 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380359588336 140381016066690 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23302] ppid=23293 vsize=13980732 memory=645968 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23302/stat : 23302 (java) S 23293 23293 897 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 75423267 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380358534560 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23303] ppid=23293 vsize=13980732 memory=626992 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23303/stat : 23303 (java) S 23293 23293 897 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 75423267 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380357481968 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23304] ppid=23293 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23304/stat : 23304 (java) S 23293 23293 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75423269 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380356430544 140381016074139 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23305] ppid=23293 vsize=13980732 memory=6628 CPUtime=5.85 cores=0,2,4,6
/proc/23295/task/23305/stat : 23305 (java) S 23293 23293 897 0 -1 1077944384 30956 0 0 0 582 3 0 0 20 0 15 0 75423269 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380355377136 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23306] ppid=23293 vsize=13980732 memory=4116 CPUtime=5.44 cores=0,2,4,6
/proc/23295/task/23306/stat : 23306 (java) S 23293 23293 897 0 -1 1077944384 30304 0 0 0 541 3 0 0 20 0 15 0 75423269 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380354324592 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23307] ppid=23293 vsize=13980732 memory=41512 CPUtime=0.9 cores=0,2,4,6
/proc/23295/task/23307/stat : 23307 (java) S 23293 23293 897 0 -1 1077944384 11310 0 0 0 88 2 0 0 20 0 15 0 75423269 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380353272048 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23308] ppid=23293 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23308/stat : 23308 (java) S 23293 23293 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75423270 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380352219744 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23309] ppid=23293 vsize=13980732 memory=1380 CPUtime=1.19 cores=0,2,4,6
/proc/23295/task/23309/stat : 23309 (java) S 23293 23293 897 0 -1 1077944384 976 0 0 0 59 60 0 0 20 0 15 0 75423276 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380351167280 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 628372 KiB

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

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

[startup+2443.51 s]
# the end of solver process 23295 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.01 s, system=5.04685 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

[startup+2443.5 s]
/proc/loadavg: 1.52 1.66 1.77 3/215 23627
/proc/meminfo: memFree=29978676/32770624 swapFree=67108860/67108860
[pid=23293] ppid=23290 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23293/stat : 23293 (xcsp3-exec) S 23290 23293 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75423254 9740288 345 18446744073709551615 4194304 5098028 140729020829840 140729020827944 140599108846204 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 25759744 140729020838265 140729020838469 140729020838469 140729020841963 0
/proc/23293/statm: 2378 345 289 221 0 87 0
[pid=23295] ppid=23293 vsize=13980732 memory=626992 CPUtime=2520.03 cores=0,2,4,6
/proc/23295/stat : 23295 (java) S 23293 23293 897 0 -1 1077944320 371856 0 0 0 251500 503 0 0 20 0 15 0 75423264 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140722546153024 140381016055543 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
/proc/23295/statm: 3495183 156748 3259 1 0 3483476 0
[pid=23295/tid=23296] ppid=23293 vsize=13980732 memory=634172 CPUtime=2420.95 cores=0,2,4,6
/proc/23295/task/23296/stat : 23296 (java) R 23293 23293 897 0 -1 4202560 98913 0 0 0 242074 21 0 0 20 0 15 0 75423264 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140381020294912 140380625623148 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23297] ppid=23293 vsize=13980732 memory=636224 CPUtime=21.12 cores=0,2,4,6
/proc/23295/task/23297/stat : 23297 (java) S 23293 23293 897 0 -1 1077944384 24703 0 0 0 2011 101 0 0 20 0 15 0 75423265 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380950489360 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23298] ppid=23293 vsize=13980732 memory=636224 CPUtime=21.16 cores=0,2,4,6
/proc/23295/task/23298/stat : 23298 (java) S 23293 23293 897 0 -1 1077944384 25648 0 0 0 2013 103 0 0 20 0 15 0 75423265 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380949436816 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23299] ppid=23293 vsize=13980732 memory=645972 CPUtime=21.12 cores=0,2,4,6
/proc/23295/task/23299/stat : 23299 (java) S 23293 23293 897 0 -1 1077944384 24621 0 0 0 2011 101 0 0 20 0 15 0 75423265 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380948384272 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23300] ppid=23293 vsize=13980732 memory=667512 CPUtime=21.17 cores=0,2,4,6
/proc/23295/task/23300/stat : 23300 (java) S 23293 23293 897 0 -1 1077944384 24071 0 0 0 2017 100 0 0 20 0 15 0 75423265 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380947331728 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23301] ppid=23293 vsize=13980732 memory=655716 CPUtime=1.02 cores=0,2,4,6
/proc/23295/task/23301/stat : 23301 (java) S 23293 23293 897 0 -1 1077944384 98996 0 0 0 81 21 0 0 20 0 15 0 75423266 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380359588336 140381016066690 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23302] ppid=23293 vsize=13980732 memory=645968 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23302/stat : 23302 (java) S 23293 23293 897 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 75423267 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380358534560 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23303] ppid=23293 vsize=13980732 memory=626992 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23303/stat : 23303 (java) S 23293 23293 897 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 75423267 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380357481968 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23304] ppid=23293 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23304/stat : 23304 (java) S 23293 23293 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75423269 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380356430544 140381016074139 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23305] ppid=23293 vsize=13980732 memory=6628 CPUtime=5.85 cores=0,2,4,6
/proc/23295/task/23305/stat : 23305 (java) S 23293 23293 897 0 -1 1077944384 30956 0 0 0 582 3 0 0 20 0 15 0 75423269 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380355377136 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23306] ppid=23293 vsize=13980732 memory=4116 CPUtime=5.44 cores=0,2,4,6
/proc/23295/task/23306/stat : 23306 (java) S 23293 23293 897 0 -1 1077944384 30304 0 0 0 541 3 0 0 20 0 15 0 75423269 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380354324592 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23307] ppid=23293 vsize=13980732 memory=41512 CPUtime=0.9 cores=0,2,4,6
/proc/23295/task/23307/stat : 23307 (java) S 23293 23293 897 0 -1 1077944384 11310 0 0 0 88 2 0 0 20 0 15 0 75423269 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380353272048 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23308] ppid=23293 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23295/task/23308/stat : 23308 (java) S 23293 23293 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75423270 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380352219744 140381016065749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
[pid=23295/tid=23309] ppid=23293 vsize=13980732 memory=1380 CPUtime=1.19 cores=0,2,4,6
/proc/23295/task/23309/stat : 23309 (java) S 23293 23293 897 0 -1 1077944384 976 0 0 0 59 60 0 0 20 0 15 0 75423276 14316269568 156748 18446744073709551615 4194304 4196468 140722546170480 140380351167280 140381016066690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140722546172337 140722546172513 140722546172513 140722546175951 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 628372 KiB

Child status: 143
Real time (s): 2443.51
CPU time (s): 2520.06
CPU user time (s): 2515.01
CPU system time (s): 5.04685
CPU usage (%): 103.133
Max. virtual memory (cumulated for all children) (KiB): 13991908
Max. memory (cumulated for all children) (KiB): 779600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.01
system time used= 5.04685
maximum resident set size= 782616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372945
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71335
involuntary context switches= 3263


# summary of solver processes directly reported to runsolver:
#   pid: 23293,23295
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2515.01
#   total CPU system time (s): 5.04685

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.9817 second user time and 16.0932 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-14 19:19:40
IDJOB=4272135
IDBENCH=123084
IDSOLVER=2664
FILE ID=node125/4272135-1502732026
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-lipa20b.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-4272135-1502732026/watcher-4272135-1502732026 -o /tmp/evaluation-result-4272135-1502732026/solver-4272135-1502732026 -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 957071726 HOME/instance-4272135-1502732026.xml

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

MD5SUM BENCH= 2a1cb6febb6ec7dbf2abb0b9e0866987
RANDOM SEED=957071726

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:        25875456 kB
MemAvailable:   26836188 kB
Buffers:          296840 kB
Cached:           958268 kB
SwapCached:            0 kB
Active:          5858444 kB
Inactive:         598344 kB
Active(anon):    5202308 kB
Inactive(anon):    33100 kB
Active(file):     656136 kB
Inactive(file):   565244 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7564 kB
Writeback:             4 kB
AnonPages:       5201756 kB
Mapped:            62048 kB
Shmem:             33444 kB
Slab:             136188 kB
SReclaimable:     110376 kB
SUnreclaim:        25812 kB
KernelStack:        3456 kB
PageTables:        15176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5982588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5044224 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 20:00:24