Trace number 4269203

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 seq (2017-08-09)SAT (TO)112208 2520.0701 2505.6101

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-tai12a.xml
MD5SUM1740172f6b6c755c4ba85e14840c110b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark112208
Best CPU time to get the best result obtained on this benchmark14116.1
Satisfiable
(Un)Satisfiability was proved
Number of variables156
Number of constraints67
Number of domains2
Minimum domain size12
Maximum domain size43
Distribution of domain sizes[{"size":12,"count":12},{"size":43,"count":66}]
Minimum variable degree0
Maximum variable degree12
Distribution of variable degrees[{"degree":0,"count":78},{"degree":2,"count":66},{"degree":12,"count":12}]
Minimum constraint arity3
Maximum constraint arity12
Distribution of constraint arities[{"arity":3,"count":66},{"arity":12,"count":1}]
Number of extensional constraints66
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":66},{"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.11	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269203-1502737804.xml"  -tl '2520s' -p 1 -x 0
0.05/0.30	c [HOME/instance-4269203-1502737804.xml, -tl, 2520s, -p, 1, -x, 0]
0.23/0.37	c simple solver
0.39/0.43	c parse instance...
0.84/0.63	c solve instance...
1.14/0.73	o 145330 
1.14/0.75	o 145046 
1.14/0.75	o 144231 
1.14/0.76	o 140974 
1.14/0.76	o 140671 
1.14/0.77	o 140591 
1.14/0.79	o 140578 
1.48/0.80	o 138984 
1.80/0.90	o 136182 
2.72/1.23	o 133717 
2.72/1.24	o 133095 
2.72/1.24	o 129223 
2.72/1.24	o 124208 
2.72/1.25	o 123718 
14.76/11.20	o 123183 
15.87/12.20	o 122815 
39.47/35.63	o 121741 
69.93/66.10	o 119932 
147.28/143.33	o 118395 
305.23/301.06	o 118384 
544.17/539.55	o 117888 
947.71/942.22	o 115726 
1482.59/1475.61	o 114991 
1486.49/1479.58	o 112208 
2520.04/2505.60	s SATISFIABLE
2520.04/2505.60	v <instantiation>
2520.04/2505.60	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] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[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[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[7][8] d[7][9] d[7][10] d[7][11] d[8][9] d[8][10] d[8][11] d[9][10] d[9][11] d[10][11] </list>
2520.04/2505.60	v 	<values>7 0 5 1 10 9 2 4 8 6 11 3 25 11 89 76 76 91 57 89 71 40 45 41 21 63 4 95 56 10 6 6 82 79 82 82 0 39 29 71 6 56 1 9 44 75 35 0 85 40 50 82 36 56 74 36 18 35 61 93 77 4 59 12 11 26 26 84 36 18 21 69 8 1 91 30 86 76 </values>
2520.04/2505.60	v </instantiation>
2520.04/2505.60	c Unexpected resolution interruption!

Verifier Data 

OK	112208

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269203-1502737804/watcher-4269203-1502737804 -o /tmp/evaluation-result-4269203-1502737804/solver-4269203-1502737804 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 590211855 HOME/instance-4269203-1502737804.xml 

running on 4 cores: 1,3,5,7

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
Current StackSize limit: 8192 KiB

solver pid=6703, runsolver pid=6700

[startup+0.10011 s]*
/proc/loadavg: 1.82 1.66 1.69 2/199 6704
/proc/meminfo: memFree=31546344/32770624 swapFree=67108764/67108860
[pid=6703] ppid=6700 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/6703/stat : 6703 (runsolver) D 6700 6703 4674 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 121286912 34791424 114 18446744073709551615 4194304 4346622 140729835392240 140729835388872 140165306622679 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 34291712 140729835397175 140729835397668 140729835397668 140729835401162 0
/proc/6703/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.209127 s]*
/proc/loadavg: 1.82 1.66 1.69 2/213 6718
/proc/meminfo: memFree=31534824/32770624 swapFree=67108764/67108860
[pid=6703] ppid=6700 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6703/stat : 6703 (xcsp3-exec) S 6700 6703 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121286912 9740288 345 18446744073709551615 4194304 5098028 140733841789104 140733841787208 139824844063356 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 37257216 140733841793401 140733841793605 140733841793605 140733841797099 0
/proc/6703/statm: 2378 345 289 221 0 87 0
[pid=6705] ppid=6703 vsize=13907304 memory=21668 CPUtime=0.05 cores=1,3,5,7
/proc/6705/stat : 6705 (java) S 6703 6703 4674 0 -1 1077944320 4859 0 0 0 4 1 0 0 20 0 14 0 121286924 14241079296 5417 18446744073709551615 4194304 4196468 140730847669648 140730847652192 140679852609271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
/proc/6705/statm: 3476826 5417 2560 1 0 3466323 0
[pid=6705/tid=6706] ppid=6703 vsize=13907304 memory=8508281356422187169 CPUtime=0.04 cores=1,3,5,7
/proc/6705/task/6706/stat : 6706 (java) D 6703 6703 4674 0 -1 4202560 3033 0 0 0 4 0 0 0 20 0 14 0 121286924 14241079296 5417 18446744073709551615 4194304 4196468 140730847669648 140679856846752 140679852631293 0 4 1 16800974 18446744071580418449 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6707] ppid=6703 vsize=13907304 memory=4122819170707441977 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6707/stat : 6707 (java) S 6703 6703 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121286925 14241079296 5417 18446744073709551615 4194304 4196468 140730847669648 140679787043856 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6708] ppid=6703 vsize=13907304 memory=140165309572736 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6708/stat : 6708 (java) S 6703 6703 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121286925 14241079296 5417 18446744073709551615 4194304 4196468 140730847669648 140679785991312 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6709] ppid=6703 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6709/stat : 6709 (java) S 6703 6703 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121286925 14241079296 5417 18446744073709551615 4194304 4196468 140730847669648 140679784938256 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6710] ppid=6703 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6710/stat : 6710 (java) S 6703 6703 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121286925 14241079296 5417 18446744073709551615 4194304 4196468 140730847669648 140679783885712 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6711] ppid=6703 vsize=13907304 memory=140165309572736 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6711/stat : 6711 (java) S 6703 6703 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121286926 14241079296 5417 18446744073709551615 4194304 4196468 140730847669648 140678768093424 140679852620418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6712] ppid=6703 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6712/stat : 6712 (java) S 6703 6703 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 121286926 14241079296 5417 18446744073709551615 4194304 4196468 140730847669648 140678767039648 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6713] ppid=6703 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6713/stat : 6713 (java) S 6703 6703 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 121286927 14241079296 5417 18446744073709551615 4194304 4196468 140730847669648 140678765986544 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6714] ppid=6703 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6714/stat : 6714 (java) S 6703 6703 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121286929 14241079296 5417 18446744073709551615 4194304 4196468 140730847669648 140678764935120 140679852627867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6715] ppid=6703 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6715/stat : 6715 (java) S 6703 6703 4674 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 14 0 121286929 14241079296 5417 18446744073709551615 4194304 4196468 140730847669648 140678763883248 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6716] ppid=6703 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6716/stat : 6716 (java) S 6703 6703 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121286929 14241079296 5417 18446744073709551615 4194304 4196468 140730847669648 140678762830704 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6717] ppid=6703 vsize=13907304 memory=140165309572736 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6717/stat : 6717 (java) S 6703 6703 4674 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 14 0 121286929 14241079296 5417 18446744073709551615 4194304 4196468 140730847669648 140678761777648 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6718] ppid=6703 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6718/stat : 6718 (java) S 6703 6703 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121286929 14241079296 5417 18446744073709551615 4194304 4196468 140730847669648 140678760725344 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23048 KiB

[startup+0.310043 s]*
/proc/loadavg: 1.82 1.66 1.69 4/214 6719
/proc/meminfo: memFree=31526132/32770624 swapFree=67108764/67108860
[pid=6703] ppid=6700 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6703/stat : 6703 (xcsp3-exec) S 6700 6703 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121286912 9740288 345 18446744073709551615 4194304 5098028 140733841789104 140733841787208 139824844063356 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 37257216 140733841793401 140733841793605 140733841793605 140733841797099 0
/proc/6703/statm: 2378 345 289 221 0 87 0
[pid=6705] ppid=6703 vsize=13975376 memory=34884 CPUtime=0.23 cores=1,3,5,7
/proc/6705/stat : 6705 (java) S 6703 6703 4674 0 -1 1077944320 8098 0 0 0 21 2 0 0 20 0 15 0 121286924 14310785024 8721 18446744073709551615 4194304 4196468 140730847669648 140730847652192 140679852609271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
/proc/6705/statm: 3493844 8721 2928 1 0 3483220 0
[pid=6705/tid=6706] ppid=6703 vsize=13975376 memory=4278483708103473607 CPUtime=0.13 cores=1,3,5,7
/proc/6705/task/6706/stat : 6706 (java) R 6703 6703 4674 0 -1 4202560 5663 0 0 0 12 1 0 0 20 0 15 0 121286924 14310785024 8699 18446744073709551615 4194304 4196468 140730847669648 140679856831648 140679845288989 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6707] ppid=6703 vsize=13975376 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6707/stat : 6707 (java) S 6703 6703 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121286925 14310785024 8699 18446744073709551615 4194304 4196468 140730847669648 140679787043856 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6708] ppid=6703 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6708/stat : 6708 (java) S 6703 6703 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121286925 14310785024 8699 18446744073709551615 4194304 4196468 140730847669648 140679785991312 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6709] ppid=6703 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6709/stat : 6709 (java) S 6703 6703 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121286925 14310785024 8699 18446744073709551615 4194304 4196468 140730847669648 140679784938256 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6710] ppid=6703 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6710/stat : 6710 (java) S 6703 6703 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121286925 14310785024 8699 18446744073709551615 4194304 4196468 140730847669648 140679783885712 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6711] ppid=6703 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6711/stat : 6711 (java) S 6703 6703 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121286926 14310785024 8699 18446744073709551615 4194304 4196468 140730847669648 140678768093424 140679852620418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6712] ppid=6703 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6712/stat : 6712 (java) S 6703 6703 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121286926 14310785024 8699 18446744073709551615 4194304 4196468 140730847669648 140678767039648 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6713] ppid=6703 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6713/stat : 6713 (java) S 6703 6703 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121286927 14310785024 8699 18446744073709551615 4194304 4196468 140730847669648 140678765986544 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6714] ppid=6703 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6714/stat : 6714 (java) S 6703 6703 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121286929 14310785024 8699 18446744073709551615 4194304 4196468 140730847669648 140678764935120 140679852627867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6715] ppid=6703 vsize=13975376 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6705/task/6715/stat : 6715 (java) S 6703 6703 4674 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 15 0 121286929 14310785024 8699 18446744073709551615 4194304 4196468 140730847669648 140678763883248 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6716] ppid=6703 vsize=13975376 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6705/task/6716/stat : 6716 (java) S 6703 6703 4674 0 -1 1077944384 315 0 0 0 1 0 0 0 20 0 15 0 121286929 14310785024 8699 18446744073709551615 4194304 4196468 140730847669648 140678762830704 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6717] ppid=6703 vsize=13975376 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/6705/task/6717/stat : 6717 (java) S 6703 6703 4674 0 -1 1077944384 689 0 0 0 5 0 0 0 20 0 15 0 121286929 14310785024 8699 18446744073709551615 4194304 4196468 140730847669648 140678761777648 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6718] ppid=6703 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6718/stat : 6718 (java) S 6703 6703 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121286929 14310785024 8699 18446744073709551615 4194304 4196468 140730847669648 140678760725344 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6719] ppid=6703 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6719/stat : 6719 (java) S 6703 6703 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121286934 14310785024 8699 18446744073709551615 4194304 4196468 140730847669648 140678759672368 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 36264 KiB

[startup+0.700728 s]
/proc/loadavg: 1.82 1.66 1.69 4/214 6719
/proc/meminfo: memFree=31510128/32770624 swapFree=67108764/67108860
[pid=6703] ppid=6700 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6703/stat : 6703 (xcsp3-exec) S 6700 6703 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121286912 9740288 345 18446744073709551615 4194304 5098028 140733841789104 140733841787208 139824844063356 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 37257216 140733841793401 140733841793605 140733841793605 140733841797099 0
/proc/6703/statm: 2378 345 289 221 0 87 0
[pid=6705] ppid=6703 vsize=13980732 memory=60088 CPUtime=1.14 cores=1,3,5,7
/proc/6705/stat : 6705 (java) S 6703 6703 4674 0 -1 1077944320 12615 0 0 0 110 4 0 0 20 0 15 0 121286924 14316269568 15022 18446744073709551615 4194304 4196468 140730847669648 140730847652192 140679852609271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
/proc/6705/statm: 3495183 15022 3178 1 0 3483476 0
[pid=6705/tid=6706] ppid=6703 vsize=13980732 memory=1905891738881 CPUtime=0.51 cores=1,3,5,7
/proc/6705/task/6706/stat : 6706 (java) R 6703 6703 4674 0 -1 4202560 8472 0 0 0 49 2 0 0 20 0 15 0 121286924 14316269568 15022 18446744073709551615 4194304 4196468 140730847669648 140679856845184 140679852621206 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6707] ppid=6703 vsize=13980732 memory=11036 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6707/stat : 6707 (java) S 6703 6703 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121286925 14316269568 15022 18446744073709551615 4194304 4196468 140730847669648 140679787043856 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6708] ppid=6703 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6708/stat : 6708 (java) S 6703 6703 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121286925 14316269568 15022 18446744073709551615 4194304 4196468 140730847669648 140679785991312 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6709] ppid=6703 vsize=13980732 memory=5712 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6709/stat : 6709 (java) S 6703 6703 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121286925 14316269568 15022 18446744073709551615 4194304 4196468 140730847669648 140679784938256 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6710] ppid=6703 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6710/stat : 6710 (java) S 6703 6703 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121286925 14316269568 15022 18446744073709551615 4194304 4196468 140730847669648 140679783885712 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6711] ppid=6703 vsize=13980732 memory=984 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6711/stat : 6711 (java) S 6703 6703 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121286926 14316269568 15022 18446744073709551615 4194304 4196468 140730847669648 140678768093424 140679852620418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6712] ppid=6703 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6712/stat : 6712 (java) S 6703 6703 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121286926 14316269568 15022 18446744073709551615 4194304 4196468 140730847669648 140678767039648 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6713] ppid=6703 vsize=13980732 memory=4572 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6713/stat : 6713 (java) S 6703 6703 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121286927 14316269568 15022 18446744073709551615 4194304 4196468 140730847669648 140678765986544 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6714] ppid=6703 vsize=13980732 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6714/stat : 6714 (java) S 6703 6703 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121286929 14316269568 15022 18446744073709551615 4194304 4196468 140730847669648 140678764935120 140679852627867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6715] ppid=6703 vsize=13980732 memory=12304 CPUtime=0.17 cores=1,3,5,7
/proc/6705/task/6715/stat : 6715 (java) R 6703 6703 4674 0 -1 4202560 910 0 0 0 17 0 0 0 20 0 15 0 121286929 14316269568 15022 18446744073709551615 4194304 4196468 140730847669648 140678763874704 140679837534216 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6716] ppid=6703 vsize=13980732 memory=1204 CPUtime=0.16 cores=1,3,5,7
/proc/6705/task/6716/stat : 6716 (java) R 6703 6703 4674 0 -1 4202560 690 0 0 0 16 0 0 0 20 0 15 0 121286929 14316269568 15022 18446744073709551615 4194304 4196468 140730847669648 140678762819504 140679852621206 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6717] ppid=6703 vsize=13980732 memory=15880 CPUtime=0.26 cores=1,3,5,7
/proc/6705/task/6717/stat : 6717 (java) R 6703 6703 4674 0 -1 1077944384 1236 0 0 0 26 0 0 0 20 0 15 0 121286929 14316269568 15022 18446744073709551615 4194304 4196468 140730847669648 140678761777648 140679852620418 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6718] ppid=6703 vsize=13980732 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6718/stat : 6718 (java) S 6703 6703 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121286929 14316269568 15022 18446744073709551615 4194304 4196468 140730847669648 140678760725344 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6719] ppid=6703 vsize=13980732 memory=35120 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6719/stat : 6719 (java) S 6703 6703 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121286934 14316269568 15022 18446744073709551615 4194304 4196468 140730847669648 140678759672368 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 61468 KiB

[startup+1.50083 s]
/proc/loadavg: 1.82 1.66 1.69 5/214 6719
/proc/meminfo: memFree=31485956/32770624 swapFree=67108764/67108860
[pid=6703] ppid=6700 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6703/stat : 6703 (xcsp3-exec) S 6700 6703 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121286912 9740288 345 18446744073709551615 4194304 5098028 140733841789104 140733841787208 139824844063356 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 37257216 140733841793401 140733841793605 140733841793605 140733841797099 0
/proc/6703/statm: 2378 345 289 221 0 87 0
[pid=6705] ppid=6703 vsize=13980732 memory=84808 CPUtime=3.63 cores=1,3,5,7
/proc/6705/stat : 6705 (java) S 6703 6703 4674 0 -1 1077944320 23687 0 0 0 358 5 0 0 20 0 15 0 121286924 14316269568 21202 18446744073709551615 4194304 4196468 140730847669648 140730847652192 140679852609271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
/proc/6705/statm: 3495183 21202 3194 1 0 3483476 0
[pid=6705/tid=6706] ppid=6703 vsize=13980732 memory=0 CPUtime=1.31 cores=1,3,5,7
/proc/6705/task/6706/stat : 6706 (java) R 6703 6703 4674 0 -1 4202560 8873 0 0 0 129 2 0 0 20 0 15 0 121286924 14316269568 21202 18446744073709551615 4194304 4196468 140730847669648 140679856845168 140679459514938 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6707] ppid=6703 vsize=13980732 memory=7800344859672537426 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6707/stat : 6707 (java) S 6703 6703 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121286925 14316269568 21202 18446744073709551615 4194304 4196468 140730847669648 140679787043856 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6708] ppid=6703 vsize=13980732 memory=7668335363406124400 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6708/stat : 6708 (java) S 6703 6703 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121286925 14316269568 21202 18446744073709551615 4194304 4196468 140730847669648 140679785991312 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6709] ppid=6703 vsize=13980732 memory=7236547281622689387 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6709/stat : 6709 (java) S 6703 6703 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121286925 14316269568 21202 18446744073709551615 4194304 4196468 140730847669648 140679784938256 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6710] ppid=6703 vsize=13980732 memory=6224064090481382251 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6710/stat : 6710 (java) S 6703 6703 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121286925 14316269568 21202 18446744073709551615 4194304 4196468 140730847669648 140679783885712 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6711] ppid=6703 vsize=13980732 memory=280330368252512 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6711/stat : 6711 (java) S 6703 6703 4674 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 121286926 14316269568 21202 18446744073709551615 4194304 4196468 140730847669648 140678768093424 140679852620418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6712] ppid=6703 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6712/stat : 6712 (java) S 6703 6703 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121286926 14316269568 21202 18446744073709551615 4194304 4196468 140730847669648 140678767039648 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6713] ppid=6703 vsize=13980732 memory=4638778406923096400 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6713/stat : 6713 (java) S 6703 6703 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121286927 14316269568 21202 18446744073709551615 4194304 4196468 140730847669648 140678765986544 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6714] ppid=6703 vsize=13980732 memory=7381513504230629971 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6714/stat : 6714 (java) S 6703 6703 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121286929 14316269568 21202 18446744073709551615 4194304 4196468 140730847669648 140678764935120 140679852627867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6715] ppid=6703 vsize=13980732 memory=6935649255861805888 CPUtime=0.97 cores=1,3,5,7
/proc/6705/task/6715/stat : 6715 (java) R 6703 6703 4674 0 -1 4202560 6240 0 0 0 96 1 0 0 20 0 15 0 121286929 14316269568 21202 18446744073709551615 4194304 4196468 140730847669648 140678763868712 140679832264480 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6716] ppid=6703 vsize=13980732 memory=231584000 CPUtime=0.96 cores=1,3,5,7
/proc/6705/task/6716/stat : 6716 (java) R 6703 6703 4674 0 -1 4202560 5202 0 0 0 96 0 0 0 20 0 15 0 121286929 14316269568 21202 18446744073709551615 4194304 4196468 140730847669648 140678762816728 140679835996176 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6717] ppid=6703 vsize=13980732 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/6705/task/6717/stat : 6717 (java) S 6703 6703 4674 0 -1 1077944384 2052 0 0 0 36 0 0 0 20 0 15 0 121286929 14316269568 21202 18446744073709551615 4194304 4196468 140730847669648 140678761777648 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6718] ppid=6703 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6718/stat : 6718 (java) S 6703 6703 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121286929 14316269568 21202 18446744073709551615 4194304 4196468 140730847669648 140678760725344 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6719] ppid=6703 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6719/stat : 6719 (java) S 6703 6703 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121286934 14316269568 21202 18446744073709551615 4194304 4196468 140730847669648 140678759672368 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
Current children cumulated CPU time: 3.63 s
Current children cumulated vsize: 13990244 KiB

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

/proc/6705/task/6713/stat : 6713 (java) S 6703 6703 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 121286927 14316269568 280254 18446744073709551615 4194304 4196468 140730847669648 140678765986544 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6714] ppid=6703 vsize=13980732 memory=4148 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6714/stat : 6714 (java) S 6703 6703 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121286929 14316269568 280254 18446744073709551615 4194304 4196468 140730847669648 140678764935120 140679852627867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6715] ppid=6703 vsize=13980732 memory=796 CPUtime=1.87 cores=1,3,5,7
/proc/6705/task/6715/stat : 6715 (java) S 6703 6703 4674 0 -1 1077944384 12183 0 0 0 184 3 0 0 20 0 15 0 121286929 14316269568 280254 18446744073709551615 4194304 4196468 140730847669648 140678763883248 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6716] ppid=6703 vsize=13980732 memory=984 CPUtime=1.92 cores=1,3,5,7
/proc/6705/task/6716/stat : 6716 (java) S 6703 6703 4674 0 -1 1077944384 11786 0 0 0 191 1 0 0 20 0 15 0 121286929 14316269568 280254 18446744073709551615 4194304 4196468 140730847669648 140678762830704 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6717] ppid=6703 vsize=13980732 memory=1380 CPUtime=0.49 cores=1,3,5,7
/proc/6705/task/6717/stat : 6717 (java) S 6703 6703 4674 0 -1 1077944384 7377 0 0 0 48 1 0 0 20 0 15 0 121286929 14316269568 280254 18446744073709551615 4194304 4196468 140730847669648 140678761777648 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6718] ppid=6703 vsize=13980732 memory=1118948 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6718/stat : 6718 (java) S 6703 6703 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121286929 14316269568 280254 18446744073709551615 4194304 4196468 140730847669648 140678760725344 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6719] ppid=6703 vsize=13980732 memory=1380 CPUtime=0.54 cores=1,3,5,7
/proc/6705/task/6719/stat : 6719 (java) S 6703 6703 4674 0 -1 1077944384 1018 0 0 0 22 32 0 0 20 0 15 0 121286934 14316269568 280254 18446744073709551615 4194304 4196468 140730847669648 140678759672368 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
Current children cumulated CPU time: 2395.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1122396 KiB

[startup+2442.3 s]
/proc/loadavg: 1.55 1.60 1.54 3/215 6975
/proc/meminfo: memFree=29502528/32770624 swapFree=67108764/67108860
[pid=6703] ppid=6700 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6703/stat : 6703 (xcsp3-exec) S 6700 6703 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121286912 9740288 345 18446744073709551615 4194304 5098028 140733841789104 140733841787208 139824844063356 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 37257216 140733841793401 140733841793605 140733841793605 140733841797099 0
/proc/6703/statm: 2378 345 289 221 0 87 0
[pid=6705] ppid=6703 vsize=13980732 memory=1125112 CPUtime=2455.81 cores=1,3,5,7
/proc/6705/stat : 6705 (java) S 6703 6703 4674 0 -1 1077944320 84981 0 0 0 245433 148 0 0 20 0 15 0 121286924 14316269568 281278 18446744073709551615 4194304 4196468 140730847669648 140730847652192 140679852609271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
/proc/6705/statm: 3495183 281278 3248 1 0 3483476 0
[pid=6705/tid=6706] ppid=6703 vsize=13980732 memory=1380 CPUtime=2435.66 cores=1,3,5,7
/proc/6705/task/6706/stat : 6706 (java) R 6703 6703 4674 0 -1 4202560 30887 0 0 0 243519 47 0 0 20 0 15 0 121286924 14316269568 281278 18446744073709551615 4194304 4196468 140730847669648 140679856848688 140679461305301 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6707] ppid=6703 vsize=13980732 memory=1123064 CPUtime=3.39 cores=1,3,5,7
/proc/6705/task/6707/stat : 6707 (java) S 6703 6703 4674 0 -1 1077944384 3687 0 0 0 323 16 0 0 20 0 15 0 121286925 14316269568 281278 18446744073709551615 4194304 4196468 140730847669648 140679787043856 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6708] ppid=6703 vsize=13980732 memory=1123064 CPUtime=3.39 cores=1,3,5,7
/proc/6705/task/6708/stat : 6708 (java) S 6703 6703 4674 0 -1 1077944384 2737 0 0 0 321 18 0 0 20 0 15 0 121286925 14316269568 281278 18446744073709551615 4194304 4196468 140730847669648 140679785991312 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6709] ppid=6703 vsize=13980732 memory=1125112 CPUtime=3.35 cores=1,3,5,7
/proc/6705/task/6709/stat : 6709 (java) S 6703 6703 4674 0 -1 1077944384 3633 0 0 0 318 17 0 0 20 0 15 0 121286925 14316269568 281278 18446744073709551615 4194304 4196468 140730847669648 140679784938256 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6710] ppid=6703 vsize=13980732 memory=1125112 CPUtime=3.36 cores=1,3,5,7
/proc/6705/task/6710/stat : 6710 (java) S 6703 6703 4674 0 -1 1077944384 4639 0 0 0 320 16 0 0 20 0 15 0 121286925 14316269568 281278 18446744073709551615 4194304 4196468 140730847669648 140679783885712 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6711] ppid=6703 vsize=13980732 memory=1380 CPUtime=1.73 cores=1,3,5,7
/proc/6705/task/6711/stat : 6711 (java) S 6703 6703 4674 0 -1 1077944384 5659 0 0 0 160 13 0 0 20 0 15 0 121286926 14316269568 281278 18446744073709551615 4194304 4196468 140730847669648 140678768093424 140679852620418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6712] ppid=6703 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6712/stat : 6712 (java) S 6703 6703 4674 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 121286926 14316269568 281278 18446744073709551615 4194304 4196468 140730847669648 140678767039648 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6713] ppid=6703 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6713/stat : 6713 (java) S 6703 6703 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 121286927 14316269568 281278 18446744073709551615 4194304 4196468 140730847669648 140678765986544 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6714] ppid=6703 vsize=13980732 memory=1123064 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6714/stat : 6714 (java) S 6703 6703 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121286929 14316269568 281278 18446744073709551615 4194304 4196468 140730847669648 140678764935120 140679852627867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6715] ppid=6703 vsize=13980732 memory=1380 CPUtime=1.87 cores=1,3,5,7
/proc/6705/task/6715/stat : 6715 (java) S 6703 6703 4674 0 -1 1077944384 12185 0 0 0 184 3 0 0 20 0 15 0 121286929 14316269568 281278 18446744073709551615 4194304 4196468 140730847669648 140678763883248 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6716] ppid=6703 vsize=13980732 memory=1125112 CPUtime=1.92 cores=1,3,5,7
/proc/6705/task/6716/stat : 6716 (java) S 6703 6703 4674 0 -1 1077944384 11788 0 0 0 191 1 0 0 20 0 15 0 121286929 14316269568 281278 18446744073709551615 4194304 4196468 140730847669648 140678762830704 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6717] ppid=6703 vsize=13980732 memory=1380 CPUtime=0.49 cores=1,3,5,7
/proc/6705/task/6717/stat : 6717 (java) S 6703 6703 4674 0 -1 1077944384 7379 0 0 0 48 1 0 0 20 0 15 0 121286929 14316269568 281278 18446744073709551615 4194304 4196468 140730847669648 140678761777648 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6718] ppid=6703 vsize=13980732 memory=1123064 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6718/stat : 6718 (java) S 6703 6703 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121286929 14316269568 281278 18446744073709551615 4194304 4196468 140730847669648 140678760725344 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6719] ppid=6703 vsize=13980732 memory=1380 CPUtime=0.55 cores=1,3,5,7
/proc/6705/task/6719/stat : 6719 (java) S 6703 6703 4674 0 -1 1077944384 1024 0 0 0 23 32 0 0 20 0 15 0 121286934 14316269568 281278 18446744073709551615 4194304 4196468 140730847669648 140678759672368 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
Current children cumulated CPU time: 2455.81 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1126492 KiB

[startup+2502.3 s]
/proc/loadavg: 1.62 1.61 1.55 3/215 6977
/proc/meminfo: memFree=29446748/32770624 swapFree=67108764/67108860
[pid=6703] ppid=6700 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6703/stat : 6703 (xcsp3-exec) S 6700 6703 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121286912 9740288 345 18446744073709551615 4194304 5098028 140733841789104 140733841787208 139824844063356 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 37257216 140733841793401 140733841793605 140733841793605 140733841797099 0
/proc/6703/statm: 2378 345 289 221 0 87 0
[pid=6705] ppid=6703 vsize=13980732 memory=1180616 CPUtime=2516.7 cores=1,3,5,7
/proc/6705/stat : 6705 (java) S 6703 6703 4674 0 -1 1077944320 86894 0 0 0 251519 151 0 0 20 0 15 0 121286924 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140730847652192 140679852609271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
/proc/6705/statm: 3495183 295154 3248 1 0 3483476 0
[pid=6705/tid=6706] ppid=6703 vsize=13980732 memory=1180616 CPUtime=2495.28 cores=1,3,5,7
/proc/6705/task/6706/stat : 6706 (java) R 6703 6703 4674 0 -1 4202560 31335 0 0 0 249480 48 0 0 20 0 15 0 121286924 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140679856848832 140679459513911 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6707] ppid=6703 vsize=13980732 memory=1380 CPUtime=3.69 cores=1,3,5,7
/proc/6705/task/6707/stat : 6707 (java) S 6703 6703 4674 0 -1 1077944384 3882 0 0 0 353 16 0 0 20 0 15 0 121286925 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140679787043856 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6708] ppid=6703 vsize=13980732 memory=1180616 CPUtime=3.69 cores=1,3,5,7
/proc/6705/task/6708/stat : 6708 (java) S 6703 6703 4674 0 -1 1077944384 3186 0 0 0 351 18 0 0 20 0 15 0 121286925 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140679785991312 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6709] ppid=6703 vsize=13980732 memory=1296 CPUtime=3.65 cores=1,3,5,7
/proc/6705/task/6709/stat : 6709 (java) S 6703 6703 4674 0 -1 1077944384 3938 0 0 0 348 17 0 0 20 0 15 0 121286925 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140679784938256 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6710] ppid=6703 vsize=13980732 memory=2320 CPUtime=3.66 cores=1,3,5,7
/proc/6705/task/6710/stat : 6710 (java) S 6703 6703 4674 0 -1 1077944384 4776 0 0 0 350 16 0 0 20 0 15 0 121286925 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140679783885712 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6711] ppid=6703 vsize=13980732 memory=1180616 CPUtime=1.76 cores=1,3,5,7
/proc/6705/task/6711/stat : 6711 (java) S 6703 6703 4674 0 -1 1077944384 5815 0 0 0 163 13 0 0 20 0 15 0 121286926 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140678768093424 140679852620418 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6712] ppid=6703 vsize=13980732 memory=4148 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6712/stat : 6712 (java) S 6703 6703 4674 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 121286926 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140678767039648 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6713] ppid=6703 vsize=13980732 memory=1125112 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6713/stat : 6713 (java) S 6703 6703 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 121286927 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140678765986544 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6714] ppid=6703 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6714/stat : 6714 (java) S 6703 6703 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121286929 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140678764935120 140679852627867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6715] ppid=6703 vsize=13980732 memory=1380 CPUtime=1.87 cores=1,3,5,7
/proc/6705/task/6715/stat : 6715 (java) S 6703 6703 4674 0 -1 1077944384 12185 0 0 0 184 3 0 0 20 0 15 0 121286929 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140678763883248 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6716] ppid=6703 vsize=13980732 memory=1180616 CPUtime=1.93 cores=1,3,5,7
/proc/6705/task/6716/stat : 6716 (java) S 6703 6703 4674 0 -1 1077944384 11997 0 0 0 192 1 0 0 20 0 15 0 121286929 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140678762830704 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6717] ppid=6703 vsize=13980732 memory=16436 CPUtime=0.49 cores=1,3,5,7
/proc/6705/task/6717/stat : 6717 (java) S 6703 6703 4674 0 -1 1077944384 7379 0 0 0 48 1 0 0 20 0 15 0 121286929 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140678761777648 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6718] ppid=6703 vsize=13980732 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6718/stat : 6718 (java) S 6703 6703 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121286929 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140678760725344 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6719] ppid=6703 vsize=13980732 memory=4148 CPUtime=0.57 cores=1,3,5,7
/proc/6705/task/6719/stat : 6719 (java) S 6703 6703 4674 0 -1 1077944384 1038 0 0 0 24 33 0 0 20 0 15 0 121286934 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140678759672368 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
Current children cumulated CPU time: 2516.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1181996 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2505.6 s]
/proc/loadavg: 1.57 1.60 1.54 3/215 6977
/proc/meminfo: memFree=29446748/32770624 swapFree=67108764/67108860
[pid=6703] ppid=6700 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6703/stat : 6703 (xcsp3-exec) S 6700 6703 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121286912 9740288 345 18446744073709551615 4194304 5098028 140733841789104 140733841787208 139824844063356 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 37257216 140733841793401 140733841793605 140733841793605 140733841797099 0
/proc/6703/statm: 2378 345 289 221 0 87 0
[pid=6705] ppid=6703 vsize=13980732 memory=1180616 CPUtime=2520.04 cores=1,3,5,7
/proc/6705/stat : 6705 (java) S 6703 6703 4674 0 -1 1077944320 86897 0 0 0 251853 151 0 0 20 0 15 0 121286924 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140730847652192 140679852609271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
/proc/6705/statm: 3495183 295154 3248 1 0 3483476 0
[pid=6705/tid=6706] ppid=6703 vsize=13980732 memory=1180616 CPUtime=2498.56 cores=1,3,5,7
/proc/6705/task/6706/stat : 6706 (java) R 6703 6703 4674 0 -1 4202560 31338 0 0 0 249808 48 0 0 20 0 15 0 121286924 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140679856848944 140679459514615 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6707] ppid=6703 vsize=13980732 memory=11036 CPUtime=3.7 cores=1,3,5,7
/proc/6705/task/6707/stat : 6707 (java) S 6703 6703 4674 0 -1 1077944384 3882 0 0 0 354 16 0 0 20 0 15 0 121286925 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140679787043856 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6708] ppid=6703 vsize=13980732 memory=1228 CPUtime=3.71 cores=1,3,5,7
/proc/6705/task/6708/stat : 6708 (java) S 6703 6703 4674 0 -1 1077944384 3186 0 0 0 353 18 0 0 20 0 15 0 121286925 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140679785991312 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6709] ppid=6703 vsize=13980732 memory=1380 CPUtime=3.66 cores=1,3,5,7
/proc/6705/task/6709/stat : 6709 (java) S 6703 6703 4674 0 -1 1077944384 3938 0 0 0 349 17 0 0 20 0 15 0 121286925 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140679784938256 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6710] ppid=6703 vsize=13980732 memory=1380 CPUtime=3.67 cores=1,3,5,7
/proc/6705/task/6710/stat : 6710 (java) S 6703 6703 4674 0 -1 1077944384 4776 0 0 0 351 16 0 0 20 0 15 0 121286925 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140679783885712 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6711] ppid=6703 vsize=13980732 memory=1180616 CPUtime=1.76 cores=1,3,5,7
/proc/6705/task/6711/stat : 6711 (java) S 6703 6703 4674 0 -1 1077944384 5815 0 0 0 163 13 0 0 20 0 15 0 121286926 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140678768093424 140679852620418 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6712] ppid=6703 vsize=13980732 memory=5712 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6712/stat : 6712 (java) S 6703 6703 4674 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 121286926 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140678767039648 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6713] ppid=6703 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6713/stat : 6713 (java) S 6703 6703 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 121286927 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140678765986544 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6714] ppid=6703 vsize=13980732 memory=5712 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6714/stat : 6714 (java) S 6703 6703 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121286929 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140678764935120 140679852627867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6715] ppid=6703 vsize=13980732 memory=796 CPUtime=1.87 cores=1,3,5,7
/proc/6705/task/6715/stat : 6715 (java) S 6703 6703 4674 0 -1 1077944384 12185 0 0 0 184 3 0 0 20 0 15 0 121286929 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140678763883248 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6716] ppid=6703 vsize=13980732 memory=1180616 CPUtime=1.93 cores=1,3,5,7
/proc/6705/task/6716/stat : 6716 (java) S 6703 6703 4674 0 -1 1077944384 11997 0 0 0 192 1 0 0 20 0 15 0 121286929 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140678762830704 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6717] ppid=6703 vsize=13980732 memory=4198373884061773715 CPUtime=0.49 cores=1,3,5,7
/proc/6705/task/6717/stat : 6717 (java) S 6703 6703 4674 0 -1 1077944384 7379 0 0 0 48 1 0 0 20 0 15 0 121286929 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140678761777648 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6718] ppid=6703 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/6705/task/6718/stat : 6718 (java) S 6703 6703 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121286929 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140678760725344 140679852619477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
[pid=6705/tid=6719] ppid=6703 vsize=13980732 memory=2320 CPUtime=0.57 cores=1,3,5,7
/proc/6705/task/6719/stat : 6719 (java) S 6703 6703 4674 0 -1 1077944384 1038 0 0 0 24 33 0 0 20 0 15 0 121286934 14316269568 295154 18446744073709551615 4194304 4196468 140730847669648 140678759672368 140679852620418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 38027264 140730847674801 140730847674977 140730847674977 140730847678415 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1181996 KiB

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

[startup+2505.61 s]
# the end of solver process 6703 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000892 s, system=0.001311 s

[startup+2505.61 s]
# the end of solver process 6705 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.55 s, system=1.52046 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): 2505.61
CPU time (s): 2520.07
CPU user time (s): 2518.55
CPU system time (s): 1.52046
CPU usage (%): 100.577
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1229208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.55
system time used= 1.52046
maximum resident set size= 1270900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87578
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 101587
involuntary context switches= 4722


# summary of solver processes directly reported to runsolver:
#   pid: 6703,6705
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2518.55
#   total CPU system time (s): 1.52046

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0175 second user time and 21.0981 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-14 20:56:10
IDJOB=4269203
IDBENCH=123120
IDSOLVER=2660
FILE ID=node134/4269203-1502737804
RUNJOBID= node134-1502649032-24471
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai12a.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-4269203-1502737804/watcher-4269203-1502737804 -o /tmp/evaluation-result-4269203-1502737804/solver-4269203-1502737804 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 590211855 HOME/instance-4269203-1502737804.xml

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

MD5SUM BENCH= 1740172f6b6c755c4ba85e14840c110b
RANDOM SEED=590211855

node134.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.43
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.43
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.43
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.43
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:        31546084 kB
MemAvailable:   31790380 kB
Buffers:          262796 kB
Cached:           272576 kB
SwapCached:            4 kB
Active:           566244 kB
Inactive:         201060 kB
Active(anon):     178972 kB
Inactive(anon):    94524 kB
Active(file):     387272 kB
Inactive(file):   106536 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108764 kB
Dirty:              7912 kB
Writeback:             4 kB
AnonPages:        232032 kB
Mapped:            71156 kB
Shmem:             41564 kB
Slab:             159744 kB
SReclaimable:     132648 kB
SUnreclaim:        27096 kB
KernelStack:        3504 kB
PageTables:         5716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1192380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62016 MiB
End job on node134 at 2017-08-14 21:37:56