Trace number 4284133

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-08-18)SAT (TO)3 2520.0701 2477.21

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284133-1503226172.xml"  -tl '2520s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4284133-1503226172.xml, -tl, 2520s, -p, 1, -x, 3]
0.12/0.19	c simple solver
0.33/0.26	c parse instance...
1.81/0.76	c solve instance...
34.30/23.95	o 209 
46.72/34.71	o 208 
51.55/39.31	o 207 
52.76/40.57	o 206 
52.87/40.63	o 205 
53.48/41.21	o 204 
59.97/47.46	o 203 
60.20/47.60	o 202 
60.30/47.71	o 201 
60.30/47.76	o 200 
60.40/47.81	o 199 
60.40/47.86	o 198 
60.50/47.91	o 197 
60.50/47.96	o 196 
60.50/48.01	o 195 
60.61/48.06	o 194 
60.72/48.13	o 193 
60.72/48.18	o 192 
60.81/48.23	o 191 
60.81/48.28	o 190 
60.91/48.32	o 189 
60.91/48.37	o 188 
61.01/48.42	o 187 
61.01/48.46	o 186 
61.11/48.51	o 185 
61.11/48.56	o 184 
61.22/48.60	o 183 
61.22/48.65	o 182 
61.22/48.70	o 181 
61.32/48.74	o 180 
61.32/48.79	o 179 
61.52/48.91	o 178 
61.52/48.95	o 177 
61.52/49.00	o 176 
61.64/49.05	o 175 
61.64/49.10	o 174 
61.76/49.14	o 173 
61.76/49.18	o 172 
62.06/49.49	o 171 
62.16/49.53	o 170 
62.16/49.58	o 169 
62.26/49.62	o 168 
62.26/49.67	o 167 
62.36/49.71	o 166 
62.36/49.76	o 165 
62.46/49.80	o 164 
62.46/49.84	o 163 
62.46/49.89	o 162 
62.57/49.93	o 161 
62.57/49.97	o 160 
62.67/50.02	o 159 
62.67/50.06	o 158 
62.67/50.10	o 157 
62.78/50.15	o 156 
62.78/50.19	o 155 
62.87/50.23	o 154 
62.87/50.27	o 153 
62.97/50.32	o 152 
62.97/50.36	o 151 
63.07/50.40	o 150 
63.07/50.45	o 149 
63.07/50.49	o 148 
63.17/50.53	o 147 
63.17/50.57	o 146 
63.27/50.62	o 145 
63.27/50.66	o 144 
63.47/50.87	o 143 
63.57/50.92	o 142 
63.57/50.96	o 141 
63.68/51.10	o 140 
63.78/51.15	o 139 
63.78/51.19	o 138 
63.87/51.23	o 137 
63.87/51.27	o 136 
63.97/51.31	o 135 
63.97/51.36	o 134 
64.07/51.40	o 133 
64.17/51.58	o 132 
64.27/51.62	o 131 
64.27/51.66	o 130 
64.37/51.70	o 129 
64.37/51.74	o 128 
64.37/51.79	o 127 
64.48/51.83	o 126 
64.48/51.87	o 125 
64.58/51.91	o 124 
64.58/51.95	o 123 
64.58/51.99	o 122 
64.69/52.03	o 121 
64.69/52.07	o 120 
64.79/52.11	o 119 
64.79/52.15	o 118 
64.79/52.19	o 117 
64.88/52.24	o 116 
64.88/52.28	o 115 
64.98/52.32	o 114 
64.98/52.36	o 113 
65.08/52.40	o 112 
65.08/52.44	o 111 
65.08/52.48	o 110 
65.18/52.52	o 109 
65.18/52.56	o 108 
65.29/52.61	o 107 
65.29/52.65	o 106 
65.29/52.69	o 105 
65.39/52.73	o 104 
65.39/52.77	o 103 
65.49/52.83	o 102 
65.59/52.92	o 101 
65.69/53.09	o 100 
65.99/53.30	o 99 
66.31/53.62	o 5 
66.47/53.73	o 4 
70.19/56.81	o 3 
2520.04/2477.20	s SATISFIABLE
2520.04/2477.20	v <instantiation>
2520.04/2477.20	v 	<list>x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[16][17] x[16][18] x[16][19] x[16][20] x[17][18] x[17][19] x[17][20] x[18][19] x[18][20] x[19][20] </list>
2520.04/2477.20	v 	<values>1 2 3 3 0 1 2 1 1 0 2 3 0 0 3 2 0 3 2 0 3 3 1 0 0 3 2 3 2 1 2 1 3 0 1 1 0 2 0 0 2 0 1 0 1 0 3 3 2 2 2 1 3 0 2 3 2 1 2 2 2 3 1 3 3 2 1 0 0 3 1 0 1 0 0 1 1 3 2 0 3 1 0 3 2 3 2 0 3 0 3 3 1 1 2 1 0 1 3 2 2 3 3 2 2 0 3 0 1 2 3 0 0 2 1 0 1 2 1 3 1 0 3 0 2 2 0 3 1 2 1 2 3 0 0 1 0 0 0 2 1 2 1 1 1 3 2 3 2 0 2 3 2 2 3 1 1 2 3 1 0 1 2 1 3 2 2 1 3 0 0 2 0 2 1 1 2 3 0 0 0 3 3 1 3 2 1 2 1 1 0 2 1 1 1 0 0 2 0 3 2 0 1 0 2 3 2 3 3 0 </values>
2520.04/2477.20	v </instantiation>
2520.04/2477.20	c Unexpected resolution interruption!

Verifier Data 

OK	3

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284133-1503226172/watcher-4284133-1503226172 -o /tmp/evaluation-result-4284133-1503226172/solver-4284133-1503226172 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1503215446-32149 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1943775182 HOME/instance-4284133-1503226172.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=847, runsolver pid=844
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 2.07 2.01 1.97 6/217 863
/proc/meminfo: memFree=26828640/32770624 swapFree=67108860/67108860
[pid=847] ppid=844 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/847/stat : 847 (xcsp3-exec) S 844 847 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155704794 9740288 345 33554432000 4194304 5098028 140733518187648 140733518185752 140059814490748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8630272 140733518189678 140733518189883 140733518189883 140733518192619 0
/proc/847/statm: 2378 345 289 221 0 87 0
[pid=849] ppid=847 vsize=13978596 memory=28016 CPUtime=0.12 cores=0,2,4,6
/proc/849/stat : 849 (java) S 847 847 25930 0 -1 1077944320 5322 0 0 0 11 1 0 0 20 0 15 0 155704795 14314082304 7004 33554432000 4194304 4196468 140726209944208 140726209926752 140598238777079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
/proc/849/statm: 3494649 7004 2895 1 0 3482966 0
[pid=849/tid=850] ppid=847 vsize=13978596 memory=7022364632946311227 CPUtime=0.09 cores=0,2,4,6
/proc/849/task/850/stat : 850 (java) R 847 847 25930 0 -1 4202560 3329 0 0 0 9 0 0 0 20 0 15 0 155704795 14314082304 7136 33554432000 4194304 4196468 140726209944208 140598243013504 140598238789014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=851] ppid=847 vsize=13978596 memory=4294980898 CPUtime=0 cores=0,2,4,6
/proc/849/task/851/stat : 851 (java) S 847 847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155704796 14314082304 7136 33554432000 4194304 4196468 140726209944208 140598176377872 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=852] ppid=847 vsize=13978596 memory=139872838820746 CPUtime=0 cores=0,2,4,6
/proc/849/task/852/stat : 852 (java) S 847 847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155704796 14314082304 7136 33554432000 4194304 4196468 140726209944208 140598175325328 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=853] ppid=847 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/849/task/853/stat : 853 (java) S 847 847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155704796 14314082304 7136 33554432000 4194304 4196468 140726209944208 140598174272272 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=854] ppid=847 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/849/task/854/stat : 854 (java) S 847 847 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155704796 14314082304 7136 33554432000 4194304 4196468 140726209944208 140598173219728 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=855] ppid=847 vsize=13978596 memory=139872838792832 CPUtime=0 cores=0,2,4,6
/proc/849/task/855/stat : 855 (java) S 847 847 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155704797 14314082304 7136 33554432000 4194304 4196468 140726209944208 140597780134128 140598238788226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=856] ppid=847 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/849/task/856/stat : 856 (java) S 847 847 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155704797 14314082304 7136 33554432000 4194304 4196468 140726209944208 140597779080352 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=857] ppid=847 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/849/task/857/stat : 857 (java) S 847 847 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155704798 14314082304 7136 33554432000 4194304 4196468 140726209944208 140597778027248 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=858] ppid=847 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/849/task/858/stat : 858 (java) S 847 847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155704800 14314082304 7136 33554432000 4194304 4196468 140726209944208 140597776975824 140598238795675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=859] ppid=847 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/849/task/859/stat : 859 (java) R 847 847 25930 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 155704800 14314082304 7136 33554432000 4194304 4196468 140726209944208 140597775923952 140598238788226 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=860] ppid=847 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/849/task/860/stat : 860 (java) S 847 847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155704800 14314082304 7136 33554432000 4194304 4196468 140726209944208 140597774871408 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=861] ppid=847 vsize=13978596 memory=139872838792832 CPUtime=0.01 cores=0,2,4,6
/proc/849/task/861/stat : 861 (java) R 847 847 25930 0 -1 4202560 336 0 0 0 1 0 0 0 20 0 15 0 155704800 14314082304 7136 33554432000 4194304 4196468 140726209944208 140597773818352 140598238789014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=862] ppid=847 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/849/task/862/stat : 862 (java) S 847 847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155704800 14314082304 7136 33554432000 4194304 4196468 140726209944208 140597772766048 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=863] ppid=847 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/849/task/863/stat : 863 (java) S 847 847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155704800 14314082304 7136 33554432000 4194304 4196468 140726209944208 140597771713072 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29396 KiB

[startup+0.210838 s]*
/proc/loadavg: 2.07 2.01 1.97 4/217 863
/proc/meminfo: memFree=26814172/32770624 swapFree=67108860/67108860
[pid=847] ppid=844 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/847/stat : 847 (xcsp3-exec) S 844 847 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155704794 9740288 345 33554432000 4194304 5098028 140733518187648 140733518185752 140059814490748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8630272 140733518189678 140733518189883 140733518189883 140733518192619 0
/proc/847/statm: 2378 345 289 221 0 87 0
[pid=849] ppid=847 vsize=13982884 memory=40576 CPUtime=0.33 cores=0,2,4,6
/proc/849/stat : 849 (java) S 847 847 25930 0 -1 1077944320 8286 0 0 0 31 2 0 0 20 0 15 0 155704795 14318473216 10144 33554432000 4194304 4196468 140726209944208 140726209926752 140598238777079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
/proc/849/statm: 3495713 10144 3060 1 0 3482966 0
[pid=849/tid=850] ppid=847 vsize=13982852 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/849/task/850/stat : 850 (java) R 847 847 25930 0 -1 4202560 5386 0 0 0 19 1 0 0 20 0 15 0 155704795 14318440448 10144 33554432000 4194304 4196468 140726209944208 140598242987984 140598222857566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=851] ppid=847 vsize=13982852 memory=4294980898 CPUtime=0 cores=0,2,4,6
/proc/849/task/851/stat : 851 (java) S 847 847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155704796 14318440448 10144 33554432000 4194304 4196468 140726209944208 140598176377872 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=852] ppid=847 vsize=13982852 memory=139872838820746 CPUtime=0 cores=0,2,4,6
/proc/849/task/852/stat : 852 (java) S 847 847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155704796 14318440448 10144 33554432000 4194304 4196468 140726209944208 140598175325328 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=853] ppid=847 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/849/task/853/stat : 853 (java) S 847 847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155704796 14318440448 10144 33554432000 4194304 4196468 140726209944208 140598174272272 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=854] ppid=847 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/849/task/854/stat : 854 (java) S 847 847 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155704796 14318440448 10144 33554432000 4194304 4196468 140726209944208 140598173219728 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=855] ppid=847 vsize=13982852 memory=139872838792832 CPUtime=0 cores=0,2,4,6
/proc/849/task/855/stat : 855 (java) S 847 847 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155704797 14318440448 10144 33554432000 4194304 4196468 140726209944208 140597780134128 140598238788226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=856] ppid=847 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/849/task/856/stat : 856 (java) S 847 847 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155704797 14318440448 10144 33554432000 4194304 4196468 140726209944208 140597779080352 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=857] ppid=847 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/849/task/857/stat : 857 (java) S 847 847 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155704798 14318440448 10144 33554432000 4194304 4196468 140726209944208 140597778027248 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=858] ppid=847 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/849/task/858/stat : 858 (java) S 847 847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155704800 14318440448 10144 33554432000 4194304 4196468 140726209944208 140597776975824 140598238795675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=859] ppid=847 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/849/task/859/stat : 859 (java) S 847 847 25930 0 -1 1077944384 759 0 0 0 3 0 0 0 20 0 15 0 155704800 14318440448 10144 33554432000 4194304 4196468 140726209944208 140597775923952 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=860] ppid=847 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/849/task/860/stat : 860 (java) S 847 847 25930 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 155704800 14318440448 10144 33554432000 4194304 4196468 140726209944208 140597774871408 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=861] ppid=847 vsize=13982852 memory=139872838792832 CPUtime=0.07 cores=0,2,4,6
/proc/849/task/861/stat : 861 (java) S 847 847 25930 0 -1 1077944384 758 0 0 0 7 0 0 0 20 0 15 0 155704800 14318440448 10144 33554432000 4194304 4196468 140726209944208 140597773818352 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=862] ppid=847 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/849/task/862/stat : 862 (java) S 847 847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155704800 14318440448 10144 33554432000 4194304 4196468 140726209944208 140597772766048 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=863] ppid=847 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/849/task/863/stat : 863 (java) S 847 847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155704800 14318440448 10144 33554432000 4194304 4196468 140726209944208 140597771713072 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 41956 KiB

[startup+0.310525 s]*
/proc/loadavg: 2.07 2.01 1.97 7/217 863
/proc/meminfo: memFree=26807224/32770624 swapFree=67108860/67108860
[pid=847] ppid=844 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/847/stat : 847 (xcsp3-exec) S 844 847 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155704794 9740288 345 33554432000 4194304 5098028 140733518187648 140733518185752 140059814490748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8630272 140733518189678 140733518189883 140733518189883 140733518192619 0
/proc/847/statm: 2378 345 289 221 0 87 0
[pid=849] ppid=847 vsize=13982852 memory=47440 CPUtime=0.51 cores=0,2,4,6
/proc/849/stat : 849 (java) S 847 847 25930 0 -1 1077944320 9043 0 0 0 48 3 0 0 20 0 15 0 155704795 14318440448 11860 33554432000 4194304 4196468 140726209944208 140726209926752 140598238777079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
/proc/849/statm: 3495713 11860 3086 1 0 3482966 0
[pid=849/tid=850] ppid=847 vsize=13982852 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/849/task/850/stat : 850 (java) R 847 847 25930 0 -1 1077944384 5909 0 0 0 28 2 0 0 20 0 15 0 155704795 14318440448 11860 33554432000 4194304 4196468 140726209944208 140598243014800 140598238787285 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=851] ppid=847 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/849/task/851/stat : 851 (java) S 847 847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155704796 14318440448 11860 33554432000 4194304 4196468 140726209944208 140598176377872 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=852] ppid=847 vsize=13982852 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/849/task/852/stat : 852 (java) S 847 847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155704796 14318440448 11860 33554432000 4194304 4196468 140726209944208 140598175325328 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=853] ppid=847 vsize=13982852 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/849/task/853/stat : 853 (java) S 847 847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155704796 14318440448 11860 33554432000 4194304 4196468 140726209944208 140598174272272 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=854] ppid=847 vsize=13982852 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/849/task/854/stat : 854 (java) S 847 847 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155704796 14318440448 11860 33554432000 4194304 4196468 140726209944208 140598173219728 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=855] ppid=847 vsize=13982852 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/849/task/855/stat : 855 (java) S 847 847 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155704797 14318440448 11860 33554432000 4194304 4196468 140726209944208 140597780134128 140598238788226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=856] ppid=847 vsize=13982852 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/849/task/856/stat : 856 (java) S 847 847 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155704797 14318440448 11860 33554432000 4194304 4196468 140726209944208 140597779080352 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=857] ppid=847 vsize=13982852 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/849/task/857/stat : 857 (java) S 847 847 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155704798 14318440448 11860 33554432000 4194304 4196468 140726209944208 140597778027248 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=858] ppid=847 vsize=13982852 memory=2688 CPUtime=0 cores=0,2,4,6
/proc/849/task/858/stat : 858 (java) S 847 847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155704800 14318440448 11860 33554432000 4194304 4196468 140726209944208 140597776975824 140598238795675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=859] ppid=847 vsize=13982852 memory=1384 CPUtime=0.05 cores=0,2,4,6
/proc/849/task/859/stat : 859 (java) S 847 847 25930 0 -1 1077944384 781 0 0 0 5 0 0 0 20 0 15 0 155704800 14318440448 11860 33554432000 4194304 4196468 140726209944208 140597775923952 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=860] ppid=847 vsize=13982852 memory=223804 CPUtime=0.02 cores=0,2,4,6
/proc/849/task/860/stat : 860 (java) R 847 847 25930 0 -1 4202560 169 0 0 0 2 0 0 0 20 0 15 0 155704800 14318440448 11860 33554432000 4194304 4196468 140726209944208 140597774871504 140598219964848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=861] ppid=847 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/849/task/861/stat : 861 (java) R 847 847 25930 0 -1 4202560 893 0 0 0 13 0 0 0 20 0 15 0 155704800 14318440448 11860 33554432000 4194304 4196468 140726209944208 140597773813392 140598217410912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=862] ppid=847 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/849/task/862/stat : 862 (java) S 847 847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155704800 14318440448 11860 33554432000 4194304 4196468 140726209944208 140597772766048 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=863] ppid=847 vsize=13982852 memory=139872723577824 CPUtime=0 cores=0,2,4,6
/proc/849/task/863/stat : 863 (java) S 847 847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155704800 14318440448 11860 33554432000 4194304 4196468 140726209944208 140597771713072 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48820 KiB

[startup+0.700766 s]
/proc/loadavg: 2.07 2.01 1.97 8/217 863
/proc/meminfo: memFree=26780424/32770624 swapFree=67108860/67108860
[pid=847] ppid=844 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/847/stat : 847 (xcsp3-exec) S 844 847 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155704794 9740288 345 33554432000 4194304 5098028 140733518187648 140733518185752 140059814490748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8630272 140733518189678 140733518189883 140733518189883 140733518192619 0
/proc/847/statm: 2378 345 289 221 0 87 0
[pid=849] ppid=847 vsize=13984976 memory=101664 CPUtime=1.81 cores=0,2,4,6
/proc/849/stat : 849 (java) S 847 847 25930 0 -1 1077944320 12949 0 0 0 177 4 0 0 20 0 15 0 155704795 14320615424 25416 33554432000 4194304 4196468 140726209944208 140726209926752 140598238777079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
/proc/849/statm: 3496244 25416 3199 1 0 3483478 0
[pid=849/tid=850] ppid=847 vsize=13984976 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/849/task/850/stat : 850 (java) R 847 847 25930 0 -1 4202560 6547 0 0 0 64 3 0 0 20 0 15 0 155704795 14320615424 25416 33554432000 4194304 4196468 140726209944208 140598243010928 140598238789014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=851] ppid=847 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/849/task/851/stat : 851 (java) S 847 847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155704796 14320615424 25416 33554432000 4194304 4196468 140726209944208 140598176377872 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=852] ppid=847 vsize=13984976 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/849/task/852/stat : 852 (java) S 847 847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155704796 14320615424 25416 33554432000 4194304 4196468 140726209944208 140598175325328 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=853] ppid=847 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/849/task/853/stat : 853 (java) S 847 847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155704796 14320615424 25416 33554432000 4194304 4196468 140726209944208 140598174272272 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=854] ppid=847 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/849/task/854/stat : 854 (java) S 847 847 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155704796 14320615424 25416 33554432000 4194304 4196468 140726209944208 140598173219728 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=855] ppid=847 vsize=13984976 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/849/task/855/stat : 855 (java) S 847 847 25930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155704797 14320615424 25416 33554432000 4194304 4196468 140726209944208 140597780134128 140598238788226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=856] ppid=847 vsize=13984976 memory=1956 CPUtime=0 cores=0,2,4,6
/proc/849/task/856/stat : 856 (java) S 847 847 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155704797 14320615424 25416 33554432000 4194304 4196468 140726209944208 140597779080352 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=857] ppid=847 vsize=13984976 memory=8608 CPUtime=0 cores=0,2,4,6
/proc/849/task/857/stat : 857 (java) S 847 847 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155704798 14320615424 25416 33554432000 4194304 4196468 140726209944208 140597778027248 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=858] ppid=847 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/849/task/858/stat : 858 (java) S 847 847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155704800 14320615424 25416 33554432000 4194304 4196468 140726209944208 140597776975824 140598238795675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=859] ppid=847 vsize=13984976 memory=12136 CPUtime=0.4 cores=0,2,4,6
/proc/849/task/859/stat : 859 (java) R 847 847 25930 0 -1 4202560 1763 0 0 0 40 0 0 0 20 0 15 0 155704800 14320615424 25416 33554432000 4194304 4196468 140726209944208 140597775910736 140598219412934 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=860] ppid=847 vsize=13984976 memory=5792 CPUtime=0.29 cores=0,2,4,6
/proc/849/task/860/stat : 860 (java) R 847 847 25930 0 -1 4202560 830 0 0 0 29 0 0 0 20 0 15 0 155704800 14320615424 25416 33554432000 4194304 4196468 140726209944208 140597774864640 140598222263133 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=861] ppid=847 vsize=13984976 memory=1008 CPUtime=0.42 cores=0,2,4,6
/proc/849/task/861/stat : 861 (java) R 847 847 25930 0 -1 1077944384 2502 0 0 0 42 0 0 0 20 0 15 0 155704800 14320615424 25416 33554432000 4194304 4196468 140726209944208 140597773818352 140598238788226 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=862] ppid=847 vsize=13984976 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/849/task/862/stat : 862 (java) S 847 847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155704800 14320615424 25416 33554432000 4194304 4196468 140726209944208 140597772766048 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=863] ppid=847 vsize=13984976 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/849/task/863/stat : 863 (java) S 847 847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155704800 14320615424 25416 33554432000 4194304 4196468 140726209944208 140597771713072 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 103044 KiB

[startup+1.50163 s]
/proc/loadavg: 2.07 2.01 1.97 4/217 863
/proc/meminfo: memFree=26719928/32770624 swapFree=67108860/67108860
[pid=847] ppid=844 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/847/stat : 847 (xcsp3-exec) S 844 847 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155704794 9740288 345 33554432000 4194304 5098028 140733518187648 140733518185752 140059814490748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8630272 140733518189678 140733518189883 140733518189883 140733518192619 0
/proc/847/statm: 2378 345 289 221 0 87 0

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

/proc/849/task/857/stat : 857 (java) S 847 847 25930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 155704798 14320615424 98530 33554432000 4194304 4196468 140726209944208 140597778027264 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=858] ppid=847 vsize=13984976 memory=694 CPUtime=0 cores=0,2,4,6
/proc/849/task/858/stat : 858 (java) S 847 847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155704800 14320615424 98530 33554432000 4194304 4196468 140726209944208 140597776975824 140598238795675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=859] ppid=847 vsize=13984976 memory=1380 CPUtime=6.94 cores=0,2,4,6
/proc/849/task/859/stat : 859 (java) S 847 847 25930 0 -1 1077944384 29051 0 0 0 691 3 0 0 20 0 15 0 155704800 14320615424 98530 33554432000 4194304 4196468 140726209944208 140597775923952 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=860] ppid=847 vsize=13984976 memory=4140 CPUtime=6.19 cores=0,2,4,6
/proc/849/task/860/stat : 860 (java) S 847 847 25930 0 -1 1077944384 29016 0 0 0 616 3 0 0 20 0 15 0 155704800 14320615424 98530 33554432000 4194304 4196468 140726209944208 140597774871408 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=861] ppid=847 vsize=13984976 memory=1380 CPUtime=1.03 cores=0,2,4,6
/proc/849/task/861/stat : 861 (java) S 847 847 25930 0 -1 1077944384 14426 0 0 0 100 3 0 0 20 0 15 0 155704800 14320615424 98530 33554432000 4194304 4196468 140726209944208 140597773818352 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=862] ppid=847 vsize=13984976 memory=393724 CPUtime=0 cores=0,2,4,6
/proc/849/task/862/stat : 862 (java) S 847 847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155704800 14320615424 98530 33554432000 4194304 4196468 140726209944208 140597772766048 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=863] ppid=847 vsize=13984976 memory=1380 CPUtime=0.94 cores=0,2,4,6
/proc/849/task/863/stat : 863 (java) S 847 847 25930 0 -1 1077944384 1587 0 0 0 44 50 0 0 20 0 15 0 155704800 14320615424 98530 33554432000 4194304 4196468 140726209944208 140597771713072 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
Current children cumulated CPU time: 2362.52 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 395500 KiB

[startup+2382.3 s]
/proc/loadavg: 1.60 1.55 1.52 4/218 965
/proc/meminfo: memFree=25599824/32770624 swapFree=67108860/67108860
[pid=847] ppid=844 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/847/stat : 847 (xcsp3-exec) S 844 847 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155704794 9740288 345 33554432000 4194304 5098028 140733518187648 140733518185752 140059814490748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8630272 140733518189678 140733518189883 140733518189883 140733518192619 0
/proc/847/statm: 2378 345 289 221 0 87 0
[pid=849] ppid=847 vsize=13984976 memory=470008 CPUtime=2424.16 cores=0,2,4,6
/proc/849/stat : 849 (java) S 847 847 25930 0 -1 1077944320 199768 0 0 0 242259 157 0 0 20 0 15 0 155704795 14320615424 117502 33554432000 4194304 4196468 140726209944208 140726209926752 140598238777079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
/proc/849/statm: 3496244 117502 3296 1 0 3483478 0
[pid=849/tid=850] ppid=847 vsize=13984976 memory=472576 CPUtime=2371.22 cores=0,2,4,6
/proc/849/task/850/stat : 850 (java) R 847 847 25930 0 -1 4202560 47001 0 0 0 237104 18 0 0 20 0 15 0 155704795 14320615424 117502 33554432000 4194304 4196468 140726209944208 140598243016736 140597862545961 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=851] ppid=847 vsize=13984976 memory=472576 CPUtime=9.13 cores=0,2,4,6
/proc/849/task/851/stat : 851 (java) S 847 847 25930 0 -1 1077944384 13599 0 0 0 892 21 0 0 20 0 15 0 155704796 14320615424 117502 33554432000 4194304 4196468 140726209944208 140598176377872 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=852] ppid=847 vsize=13984976 memory=472576 CPUtime=9.15 cores=0,2,4,6
/proc/849/task/852/stat : 852 (java) S 847 847 25930 0 -1 1077944384 13427 0 0 0 897 18 0 0 20 0 15 0 155704796 14320615424 117502 33554432000 4194304 4196468 140726209944208 140598175325328 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=853] ppid=847 vsize=13984976 memory=467964 CPUtime=9.13 cores=0,2,4,6
/proc/849/task/853/stat : 853 (java) S 847 847 25930 0 -1 1077944384 12770 0 0 0 894 19 0 0 20 0 15 0 155704796 14320615424 117502 33554432000 4194304 4196468 140726209944208 140598174272272 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=854] ppid=847 vsize=13984976 memory=472576 CPUtime=9.15 cores=0,2,4,6
/proc/849/task/854/stat : 854 (java) S 847 847 25930 0 -1 1077944384 12315 0 0 0 894 21 0 0 20 0 15 0 155704796 14320615424 117502 33554432000 4194304 4196468 140726209944208 140598173219728 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=855] ppid=847 vsize=13984976 memory=472576 CPUtime=1.13 cores=0,2,4,6
/proc/849/task/855/stat : 855 (java) S 847 847 25930 0 -1 1077944384 24933 0 0 0 102 11 0 0 20 0 15 0 155704797 14320615424 117502 33554432000 4194304 4196468 140726209944208 140597780134128 140598238788226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=856] ppid=847 vsize=13984976 memory=472576 CPUtime=0 cores=0,2,4,6
/proc/849/task/856/stat : 856 (java) S 847 847 25930 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 155704797 14320615424 117502 33554432000 4194304 4196468 140726209944208 140597779080416 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=857] ppid=847 vsize=13984976 memory=470008 CPUtime=0 cores=0,2,4,6
/proc/849/task/857/stat : 857 (java) S 847 847 25930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 155704798 14320615424 117502 33554432000 4194304 4196468 140726209944208 140597778027264 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=858] ppid=847 vsize=13984976 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/849/task/858/stat : 858 (java) S 847 847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155704800 14320615424 117502 33554432000 4194304 4196468 140726209944208 140597776975824 140598238795675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=859] ppid=847 vsize=13984976 memory=1380 CPUtime=6.94 cores=0,2,4,6
/proc/849/task/859/stat : 859 (java) S 847 847 25930 0 -1 1077944384 29053 0 0 0 691 3 0 0 20 0 15 0 155704800 14320615424 117502 33554432000 4194304 4196468 140726209944208 140597775923952 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=860] ppid=847 vsize=13984976 memory=1380 CPUtime=6.21 cores=0,2,4,6
/proc/849/task/860/stat : 860 (java) S 847 847 25930 0 -1 1077944384 29277 0 0 0 618 3 0 0 20 0 15 0 155704800 14320615424 117502 33554432000 4194304 4196468 140726209944208 140597774871408 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=861] ppid=847 vsize=13984976 memory=4140 CPUtime=1.03 cores=0,2,4,6
/proc/849/task/861/stat : 861 (java) S 847 847 25930 0 -1 1077944384 14428 0 0 0 100 3 0 0 20 0 15 0 155704800 14320615424 117502 33554432000 4194304 4196468 140726209944208 140597773818352 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=862] ppid=847 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/849/task/862/stat : 862 (java) S 847 847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155704800 14320615424 117502 33554432000 4194304 4196468 140726209944208 140597772766048 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=863] ppid=847 vsize=13984976 memory=4140 CPUtime=0.96 cores=0,2,4,6
/proc/849/task/863/stat : 863 (java) S 847 847 25930 0 -1 1077944384 1607 0 0 0 45 51 0 0 20 0 15 0 155704800 14320615424 117502 33554432000 4194304 4196468 140726209944208 140597771713072 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
Current children cumulated CPU time: 2424.16 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 471388 KiB

[startup+2442.3 s]
/proc/loadavg: 1.78 1.61 1.54 4/217 966
/proc/meminfo: memFree=25724664/32770624 swapFree=67108860/67108860
[pid=847] ppid=844 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/847/stat : 847 (xcsp3-exec) S 844 847 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155704794 9740288 345 33554432000 4194304 5098028 140733518187648 140733518185752 140059814490748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8630272 140733518189678 140733518189883 140733518189883 140733518192619 0
/proc/847/statm: 2378 345 289 221 0 87 0
[pid=849] ppid=847 vsize=13984976 memory=459732 CPUtime=2484.8 cores=0,2,4,6
/proc/849/stat : 849 (java) S 847 847 25930 0 -1 1077944320 202330 0 0 0 248321 159 0 0 20 0 15 0 155704795 14320615424 114933 33554432000 4194304 4196468 140726209944208 140726209926752 140598238777079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
/proc/849/statm: 3496244 114933 3296 1 0 3483478 0
[pid=849/tid=850] ppid=847 vsize=13984976 memory=1380 CPUtime=2430.98 cores=0,2,4,6
/proc/849/task/850/stat : 850 (java) R 847 847 25930 0 -1 4202560 48659 0 0 0 243080 18 0 0 20 0 15 0 155704795 14320615424 114933 33554432000 4194304 4196468 140726209944208 140598243016624 140597860756656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=851] ppid=847 vsize=13984976 memory=1380 CPUtime=9.34 cores=0,2,4,6
/proc/849/task/851/stat : 851 (java) S 847 847 25930 0 -1 1077944384 13963 0 0 0 913 21 0 0 20 0 15 0 155704796 14320615424 114933 33554432000 4194304 4196468 140726209944208 140598176377872 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=852] ppid=847 vsize=13984976 memory=459732 CPUtime=9.36 cores=0,2,4,6
/proc/849/task/852/stat : 852 (java) S 847 847 25930 0 -1 1077944384 13578 0 0 0 917 19 0 0 20 0 15 0 155704796 14320615424 114933 33554432000 4194304 4196468 140726209944208 140598175325328 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=853] ppid=847 vsize=13984976 memory=451540 CPUtime=9.34 cores=0,2,4,6
/proc/849/task/853/stat : 853 (java) S 847 847 25930 0 -1 1077944384 12953 0 0 0 915 19 0 0 20 0 15 0 155704796 14320615424 114933 33554432000 4194304 4196468 140726209944208 140598174272272 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=854] ppid=847 vsize=13984976 memory=451520 CPUtime=9.37 cores=0,2,4,6
/proc/849/task/854/stat : 854 (java) S 847 847 25930 0 -1 1077944384 12467 0 0 0 915 22 0 0 20 0 15 0 155704796 14320615424 114933 33554432000 4194304 4196468 140726209944208 140598173219728 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=855] ppid=847 vsize=13984976 memory=451540 CPUtime=1.14 cores=0,2,4,6
/proc/849/task/855/stat : 855 (java) S 847 847 25930 0 -1 1077944384 24975 0 0 0 103 11 0 0 20 0 15 0 155704797 14320615424 114933 33554432000 4194304 4196468 140726209944208 140597780134128 140598238788226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=856] ppid=847 vsize=13984976 memory=451540 CPUtime=0 cores=0,2,4,6
/proc/849/task/856/stat : 856 (java) S 847 847 25930 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 155704797 14320615424 114933 33554432000 4194304 4196468 140726209944208 140597779080416 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=857] ppid=847 vsize=13984976 memory=459732 CPUtime=0 cores=0,2,4,6
/proc/849/task/857/stat : 857 (java) S 847 847 25930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 155704798 14320615424 114933 33554432000 4194304 4196468 140726209944208 140597778027264 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=858] ppid=847 vsize=13984976 memory=459732 CPUtime=0 cores=0,2,4,6
/proc/849/task/858/stat : 858 (java) S 847 847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155704800 14320615424 114933 33554432000 4194304 4196468 140726209944208 140597776975824 140598238795675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=859] ppid=847 vsize=13984976 memory=0 CPUtime=6.94 cores=0,2,4,6
/proc/849/task/859/stat : 859 (java) S 847 847 25930 0 -1 1077944384 29055 0 0 0 691 3 0 0 20 0 15 0 155704800 14320615424 114933 33554432000 4194304 4196468 140726209944208 140597775923952 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=860] ppid=847 vsize=13984976 memory=451540 CPUtime=6.21 cores=0,2,4,6
/proc/849/task/860/stat : 860 (java) S 847 847 25930 0 -1 1077944384 29279 0 0 0 618 3 0 0 20 0 15 0 155704800 14320615424 114933 33554432000 4194304 4196468 140726209944208 140597774871408 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=861] ppid=847 vsize=13984976 memory=1380 CPUtime=1.03 cores=0,2,4,6
/proc/849/task/861/stat : 861 (java) S 847 847 25930 0 -1 1077944384 14430 0 0 0 100 3 0 0 20 0 15 0 155704800 14320615424 114933 33554432000 4194304 4196468 140726209944208 140597773818352 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=862] ppid=847 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/849/task/862/stat : 862 (java) S 847 847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155704800 14320615424 114933 33554432000 4194304 4196468 140726209944208 140597772766048 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=863] ppid=847 vsize=13984976 memory=1380 CPUtime=0.98 cores=0,2,4,6
/proc/849/task/863/stat : 863 (java) S 847 847 25930 0 -1 1077944384 1613 0 0 0 46 52 0 0 20 0 15 0 155704800 14320615424 114933 33554432000 4194304 4196468 140726209944208 140597771713072 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
Current children cumulated CPU time: 2484.8 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 461112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2477.2 s]
/proc/loadavg: 1.47 1.55 1.52 2/195 1016
/proc/meminfo: memFree=26615892/32770624 swapFree=67108860/67108860
[pid=847] ppid=844 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/847/stat : 847 (xcsp3-exec) S 844 847 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155704794 9740288 345 33554432000 4194304 5098028 140733518187648 140733518185752 140059814490748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8630272 140733518189678 140733518189883 140733518189883 140733518192619 0
/proc/847/statm: 2378 345 289 221 0 87 0
[pid=849] ppid=847 vsize=13984976 memory=457676 CPUtime=2520.04 cores=0,2,4,6
/proc/849/stat : 849 (java) S 847 847 25930 0 -1 1077944320 202831 0 0 0 251844 160 0 0 20 0 15 0 155704795 14320615424 114419 33554432000 4194304 4196468 140726209944208 140726209926752 140598238777079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
/proc/849/statm: 3496244 114419 3296 1 0 3483478 0
[pid=849/tid=850] ppid=847 vsize=13984976 memory=8514726395714825349 CPUtime=2465.76 cores=0,2,4,6
/proc/849/task/850/stat : 850 (java) R 847 847 25930 0 -1 4202560 48866 0 0 0 246557 19 0 0 20 0 15 0 155704795 14320615424 114419 33554432000 4194304 4196468 140726209944208 140598243016720 140597863522240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=851] ppid=847 vsize=13984976 memory=7822038051842261661 CPUtime=9.45 cores=0,2,4,6
/proc/849/task/851/stat : 851 (java) S 847 847 25930 0 -1 1077944384 13988 0 0 0 924 21 0 0 20 0 15 0 155704796 14320615424 114419 33554432000 4194304 4196468 140726209944208 140598176377872 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=852] ppid=847 vsize=13984976 memory=-6520471753822164382 CPUtime=9.47 cores=0,2,4,6
/proc/849/task/852/stat : 852 (java) S 847 847 25930 0 -1 1077944384 13635 0 0 0 928 19 0 0 20 0 15 0 155704796 14320615424 114419 33554432000 4194304 4196468 140726209944208 140598175325328 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=853] ppid=847 vsize=13984976 memory=9047017150487036575 CPUtime=9.45 cores=0,2,4,6
/proc/849/task/853/stat : 853 (java) S 847 847 25930 0 -1 1077944384 12979 0 0 0 926 19 0 0 20 0 15 0 155704796 14320615424 114419 33554432000 4194304 4196468 140726209944208 140598174272272 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=854] ppid=847 vsize=13984976 memory=4715433313220523562 CPUtime=9.48 cores=0,2,4,6
/proc/849/task/854/stat : 854 (java) S 847 847 25930 0 -1 1077944384 12478 0 0 0 926 22 0 0 20 0 15 0 155704796 14320615424 114419 33554432000 4194304 4196468 140726209944208 140598173219728 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=855] ppid=847 vsize=13984976 memory=4713745541279610410 CPUtime=1.15 cores=0,2,4,6
/proc/849/task/855/stat : 855 (java) S 847 847 25930 0 -1 1077944384 25131 0 0 0 104 11 0 0 20 0 15 0 155704797 14320615424 114419 33554432000 4194304 4196468 140726209944208 140597780134128 140598238788226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=856] ppid=847 vsize=13984976 memory=-8341965534556230502 CPUtime=0 cores=0,2,4,6
/proc/849/task/856/stat : 856 (java) S 847 847 25930 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 155704797 14320615424 114419 33554432000 4194304 4196468 140726209944208 140597779080416 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=857] ppid=847 vsize=13984976 memory=-8707038579349950309 CPUtime=0 cores=0,2,4,6
/proc/849/task/857/stat : 857 (java) S 847 847 25930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 155704798 14320615424 114419 33554432000 4194304 4196468 140726209944208 140597778027264 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=858] ppid=847 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/849/task/858/stat : 858 (java) S 847 847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155704800 14320615424 114419 33554432000 4194304 4196468 140726209944208 140597776975824 140598238795675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=859] ppid=847 vsize=13984976 memory=2424 CPUtime=6.94 cores=0,2,4,6
/proc/849/task/859/stat : 859 (java) S 847 847 25930 0 -1 1077944384 29056 0 0 0 691 3 0 0 20 0 15 0 155704800 14320615424 114419 33554432000 4194304 4196468 140726209944208 140597775923952 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=860] ppid=847 vsize=13984976 memory=2240 CPUtime=6.21 cores=0,2,4,6
/proc/849/task/860/stat : 860 (java) S 847 847 25930 0 -1 1077944384 29280 0 0 0 618 3 0 0 20 0 15 0 155704800 14320615424 114419 33554432000 4194304 4196468 140726209944208 140597774871408 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=861] ppid=847 vsize=13984976 memory=288230574492221466 CPUtime=1.03 cores=0,2,4,6
/proc/849/task/861/stat : 861 (java) S 847 847 25930 0 -1 1077944384 14430 0 0 0 100 3 0 0 20 0 15 0 155704800 14320615424 114419 33554432000 4194304 4196468 140726209944208 140597773818352 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=862] ppid=847 vsize=13984976 memory=303148769816609083 CPUtime=0 cores=0,2,4,6
/proc/849/task/862/stat : 862 (java) S 847 847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155704800 14320615424 114419 33554432000 4194304 4196468 140726209944208 140597772766048 140598238787285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
[pid=849/tid=863] ppid=847 vsize=13984976 memory=16101463847863803 CPUtime=1 cores=0,2,4,6
/proc/849/task/863/stat : 863 (java) S 847 847 25930 0 -1 1077944384 1630 0 0 0 47 53 0 0 20 0 15 0 155704800 14320615424 114419 33554432000 4194304 4196468 140726209944208 140597771713072 140598238788226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140726209950871 140726209951047 140726209951047 140726209953743 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 459056 KiB

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

[startup+2477.21 s]
# the end of solver process 847 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.00096 s, system=0.00096 s

[startup+2477.21 s]
# the end of solver process 849 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.45 s, system=1.61349 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): 2477.21
CPU time (s): 2520.07
CPU user time (s): 2518.45
CPU system time (s): 1.61349
CPU usage (%): 101.73
Max. virtual memory (cumulated for all children) (KiB): 13996624
Max. memory (cumulated for all children) (KiB): 503820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.45
system time used= 1.61349
maximum resident set size= 502452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203662
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77855
involuntary context switches= 4028


# summary of solver processes directly reported to runsolver:
#   pid: 847,849
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2518.45
#   total CPU system time (s): 1.61349

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5382 second user time and 24.0961 second system time

The end

Launcher Data 

Begin job on node106 at 2017-08-20 12:35:12
IDJOB=4284133
IDBENCH=140566
IDSOLVER=2679
FILE ID=node106/4284133-1503226172
RUNJOBID= node106-1503215446-32149
PBS_JOBID= 20630868
Free space on /tmp= 61784 MiB

SOLVER NAME= choco-solver 5a (2017-08-18)
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-21.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4284133-1503226172/watcher-4284133-1503226172 -o /tmp/evaluation-result-4284133-1503226172/solver-4284133-1503226172 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1503215446-32149 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1943775182 HOME/instance-4284133-1503226172.xml

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

MD5SUM BENCH= 25b27bae3543dabdafa06e8069fa9092
RANDOM SEED=1943775182

node106.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.86
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.86
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.86
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.86
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:        26845352 kB
MemAvailable:   31761344 kB
Buffers:          245088 kB
Cached:          4962528 kB
SwapCached:            0 kB
Active:          1322652 kB
Inactive:        4152796 kB
Active(anon):     224052 kB
Inactive(anon):    79980 kB
Active(file):    1098600 kB
Inactive(file):  4072816 kB
Unevictable:        7764 kB
Mlocked:            7764 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8028 kB
Writeback:             0 kB
AnonPages:        275468 kB
Mapped:            64384 kB
Shmem:             33420 kB
Slab:             148540 kB
SReclaimable:     120824 kB
SUnreclaim:        27716 kB
KernelStack:        3536 kB
PageTables:         5820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1308368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61784 MiB
End job on node106 at 2017-08-20 13:16:29