Trace number 4281724

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-18)SAT (TO)0 2520.04 2509.3101

General information on the benchmark

NameBinPacking/
BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml
MD5SUM7c2bd2aca8e68eed10397cff07eceed9
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables145
Number of constraints51
Number of domains2
Minimum domain size49
Maximum domain size87
Distribution of domain sizes[{"size":49,"count":1},{"size":87,"count":144}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":96},{"degree":4,"count":48}]
Minimum constraint arity3
Maximum constraint arity144
Distribution of constraint arities[{"arity":3,"count":48},{"arity":49,"count":1},{"arity":144,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"mdd","count":48},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.05	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281724-1503150268.xml"  -tl '2520s' -p 1 -x 0
0.16/0.24	c [HOME/instance-4281724-1503150268.xml, -tl, 2520s, -p, 1, -x, 0]
0.16/0.30	c simple solver
0.35/0.36	c parse instance...
2.18/1.04	c solve instance...
1471.39/1462.58	o 0 
2520.02/2509.30	s SATISFIABLE
2520.02/2509.30	v <instantiation>
2520.02/2509.30	v 	<list>x b[0][0] b[0][1] b[0][2] b[1][0] b[1][1] b[1][2] b[2][0] b[2][1] b[2][2] b[3][0] b[3][1] b[3][2] b[4][0] b[4][1] b[4][2] b[5][0] b[5][1] b[5][2] b[6][0] b[6][1] b[6][2] b[7][0] b[7][1] b[7][2] b[8][0] b[8][1] b[8][2] b[9][0] b[9][1] b[9][2] b[10][0] b[10][1] b[10][2] b[11][0] b[11][1] b[11][2] b[12][0] b[12][1] b[12][2] b[13][0] b[13][1] b[13][2] b[14][0] b[14][1] b[14][2] b[15][0] b[15][1] b[15][2] b[16][0] b[16][1] b[16][2] b[17][0] b[17][1] b[17][2] b[18][0] b[18][1] b[18][2] b[19][0] b[19][1] b[19][2] b[20][0] b[20][1] b[20][2] b[21][0] b[21][1] b[21][2] b[22][0] b[22][1] b[22][2] b[23][0] b[23][1] b[23][2] b[24][0] b[24][1] b[24][2] b[25][0] b[25][1] b[25][2] b[26][0] b[26][1] b[26][2] b[27][0] b[27][1] b[27][2] b[28][0] b[28][1] b[28][2] b[29][0] b[29][1] b[29][2] b[30][0] b[30][1] b[30][2] b[31][0] b[31][1] b[31][2] b[32][0] b[32][1] b[32][2] b[33][0] b[33][1] b[33][2] b[34][0] b[34][1] b[34][2] b[35][0] b[35][1] b[35][2] b[36][0] b[36][1] b[36][2] b[37][0] b[37][1] b[37][2] b[38][0] b[38][1] b[38][2] b[39][0] b[39][1] b[39][2] b[40][0] b[40][1] b[40][2] b[41][0] b[41][1] b[41][2] b[42][0] b[42][1] b[42][2] b[43][0] b[43][1] b[43][2] b[44][0] b[44][1] b[44][2] b[45][0] b[45][1] b[45][2] b[46][0] b[46][1] b[46][2] b[47][0] b[47][1] b[47][2] </list>
2520.02/2509.30	v 	<values>0 499 251 250 493 491 0 493 491 0 488 485 0 483 465 0 472 266 262 465 400 0 463 273 263 456 400 0 450 277 256 449 291 251 443 288 253 443 275 253 435 281 256 429 269 262 424 266 260 422 275 256 412 268 258 408 287 256 401 271 262 400 276 252 399 265 264 395 383 0 393 288 251 385 264 264 378 275 252 377 372 0 377 266 257 374 372 0 365 354 0 361 288 251 360 267 261 355 280 255 350 347 0 349 268 261 344 338 0 343 268 258 337 0 0 332 329 0 326 320 0 325 310 0 313 308 0 311 291 0 310 297 0 308 300 0 305 301 0 296 296 0 295 292 0 </values>
2520.02/2509.30	v </instantiation>
2520.02/2509.30	c Unexpected resolution interruption!

Verifier Data 

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281724-1503150268/watcher-4281724-1503150268 -o /tmp/evaluation-result-4281724-1503150268/solver-4281724-1503150268 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17351 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1047173007 HOME/instance-4281724-1503150268.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=27855, runsolver pid=27852

[startup+0.100286 s]*
/proc/loadavg: 1.69 1.67 1.61 3/209 27865
/proc/meminfo: memFree=31330740/32770624 swapFree=67108860/67108860
[pid=27855] ppid=27852 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (xcsp3-exec) S 27852 27855 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13435892 9740288 345 18446744073709551615 4194304 5098028 140725976032448 140725976030552 139659959026300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 21204992 140725976039801 140725976040006 140725976040006 140725976043499 0
/proc/27855/statm: 2378 345 289 221 0 87 0
[pid=27857] ppid=27855 vsize=13840740 memory=16988 CPUtime=0.04 cores=1,3,5,7
/proc/27857/stat : 27857 (java) S 27855 27855 17292 0 -1 1077944320 4177 0 0 0 4 0 0 0 20 0 13 0 13435898 14172917760 4247 18446744073709551615 4194304 4196468 140731215953312 140731215935856 140144208330487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
/proc/27857/statm: 3460185 4247 2150 1 0 3449682 0
[pid=27857/tid=27858] ppid=27855 vsize=13840740 memory=-6871798056524144002 CPUtime=0.04 cores=1,3,5,7
/proc/27857/task/27858/stat : 27858 (java) R 27855 27855 17292 0 -1 4202560 2812 0 0 0 4 0 0 0 20 0 13 0 13435898 14172917760 4759 18446744073709551615 4194304 4196468 140731215953312 140144212566408 140144192410945 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27859] ppid=27855 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27859/stat : 27859 (java) S 27855 27855 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 13435899 14172917760 4759 18446744073709551615 4194304 4196468 140731215953312 140144180173840 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27860] ppid=27855 vsize=13840740 memory=140019771258496 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27860/stat : 27860 (java) S 27855 27855 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 13435899 14172917760 4823 18446744073709551615 4194304 4196468 140731215953312 140143807687824 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27861] ppid=27855 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27861/stat : 27861 (java) S 27855 27855 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 13435899 14172917760 4823 18446744073709551615 4194304 4196468 140731215953312 140143806634768 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27862] ppid=27855 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27862/stat : 27862 (java) S 27855 27855 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 13435899 14172917760 4823 18446744073709551615 4194304 4196468 140731215953312 140143805582224 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27863] ppid=27855 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27863/stat : 27863 (java) S 27855 27855 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 13435900 14172917760 4823 18446744073709551615 4194304 4196468 140731215953312 140143393581296 140144208341634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27864] ppid=27855 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27864/stat : 27864 (java) S 27855 27855 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 13435901 14172917760 4889 18446744073709551615 4194304 4196468 140731215953312 140143392527520 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27865] ppid=27855 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27865/stat : 27865 (java) S 27855 27855 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 13435901 14172917760 4889 18446744073709551615 4194304 4196468 140731215953312 140143391474416 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27866] ppid=27855 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27866/stat : 27866 (java) S 27855 27855 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 13435903 14172917760 4889 18446744073709551615 4194304 4196468 140731215953312 140143390422992 140144208349083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27867] ppid=27855 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27867/stat : 27867 (java) R 27855 27855 17292 0 -1 4202560 179 0 0 0 0 0 0 0 20 0 13 0 13435903 14172917760 4889 18446744073709551615 4194304 4196468 140731215953312 140143389371464 140144200619860 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27868] ppid=27855 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27868/stat : 27868 (java) R 27855 27855 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 13435903 14172917760 4889 18446744073709551615 4194304 4196468 140731215953312 140143388318272 140144208340693 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27869] ppid=27855 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27869/stat : 27869 (java) S 27855 27855 17292 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 13 0 13435903 14172917760 4955 18446744073709551615 4194304 4196468 140731215953312 140143387265520 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13850252 KiB
Current children cumulated memory: 18368 KiB

[startup+0.2113 s]*
/proc/loadavg: 1.69 1.67 1.61 6/215 27871
/proc/meminfo: memFree=31321140/32770624 swapFree=67108860/67108860
[pid=27855] ppid=27852 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (xcsp3-exec) S 27852 27855 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13435892 9740288 345 18446744073709551615 4194304 5098028 140725976032448 140725976030552 139659959026300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 21204992 140725976039801 140725976040006 140725976040006 140725976043499 0
/proc/27855/statm: 2378 345 289 221 0 87 0
[pid=27857] ppid=27855 vsize=13974352 memory=29800 CPUtime=0.16 cores=1,3,5,7
/proc/27857/stat : 27857 (java) S 27855 27855 17292 0 -1 1077944320 5902 0 0 0 15 1 0 0 20 0 15 0 13435898 14309736448 7450 18446744073709551615 4194304 4196468 140731215953312 140731215935856 140144208330487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
/proc/27857/statm: 3493588 7450 2896 1 0 3482964 0
[pid=27857/tid=27858] ppid=27855 vsize=13974352 memory=8390339637985935414 CPUtime=0.1 cores=1,3,5,7
/proc/27857/task/27858/stat : 27858 (java) R 27855 27855 17292 0 -1 4202560 3484 0 0 0 10 0 0 0 20 0 15 0 13435898 14309736448 7450 18446744073709551615 4194304 4196468 140731215953312 140144212561216 140143849318118 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27859] ppid=27855 vsize=13974352 memory=288230613264378254 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27859/stat : 27859 (java) S 27855 27855 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13435899 14309736448 7450 18446744073709551615 4194304 4196468 140731215953312 140144180173840 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27860] ppid=27855 vsize=13974352 memory=140019771285601 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27860/stat : 27860 (java) S 27855 27855 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13435899 14309736448 7450 18446744073709551615 4194304 4196468 140731215953312 140143807687824 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27861] ppid=27855 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27861/stat : 27861 (java) S 27855 27855 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13435899 14309736448 7450 18446744073709551615 4194304 4196468 140731215953312 140143806634768 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27862] ppid=27855 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27862/stat : 27862 (java) S 27855 27855 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13435899 14309736448 7516 18446744073709551615 4194304 4196468 140731215953312 140143805582224 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27863] ppid=27855 vsize=13974352 memory=140019771258496 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27863/stat : 27863 (java) S 27855 27855 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13435900 14309736448 7516 18446744073709551615 4194304 4196468 140731215953312 140143393581296 140144208341634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27864] ppid=27855 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27864/stat : 27864 (java) S 27855 27855 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13435901 14309736448 7516 18446744073709551615 4194304 4196468 140731215953312 140143392527520 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27865] ppid=27855 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27865/stat : 27865 (java) S 27855 27855 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13435901 14309736448 7516 18446744073709551615 4194304 4196468 140731215953312 140143391474416 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27866] ppid=27855 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27866/stat : 27866 (java) S 27855 27855 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13435903 14309736448 7516 18446744073709551615 4194304 4196468 140731215953312 140143390422992 140144208349083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27867] ppid=27855 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27857/task/27867/stat : 27867 (java) R 27855 27855 17292 0 -1 4202560 449 0 0 0 1 0 0 0 20 0 15 0 13435903 14309736448 7516 18446744073709551615 4194304 4196468 140731215953312 140143389369512 140144200567614 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27868] ppid=27855 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27868/stat : 27868 (java) S 27855 27855 17292 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 13435903 14309736448 7516 18446744073709551615 4194304 4196468 140731215953312 140143388318576 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27869] ppid=27855 vsize=13974352 memory=140019771258496 CPUtime=0.03 cores=1,3,5,7
/proc/27857/task/27869/stat : 27869 (java) R 27855 27855 17292 0 -1 4202560 624 0 0 0 3 0 0 0 20 0 15 0 13435903 14309736448 7516 18446744073709551615 4194304 4196468 140731215953312 140143387261480 140144187290719 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27870] ppid=27855 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27870/stat : 27870 (java) S 27855 27855 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13435904 14309736448 7516 18446744073709551615 4194304 4196468 140731215953312 140143386213216 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27871] ppid=27855 vsize=13974352 memory=140019771258496 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27871/stat : 27871 (java) S 27855 27855 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13435908 14309736448 7516 18446744073709551615 4194304 4196468 140731215953312 140143385160240 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 31180 KiB

[startup+0.310676 s]*
/proc/loadavg: 1.69 1.67 1.61 3/215 27871
/proc/meminfo: memFree=31308408/32770624 swapFree=67108860/67108860
[pid=27855] ppid=27852 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (xcsp3-exec) S 27852 27855 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13435892 9740288 345 18446744073709551615 4194304 5098028 140725976032448 140725976030552 139659959026300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 21204992 140725976039801 140725976040006 140725976040006 140725976043499 0
/proc/27855/statm: 2378 345 289 221 0 87 0
[pid=27857] ppid=27855 vsize=13978608 memory=40700 CPUtime=0.35 cores=1,3,5,7
/proc/27857/stat : 27857 (java) S 27855 27855 17292 0 -1 1077944320 9504 0 0 0 32 3 0 0 20 0 15 0 13435898 14314094592 10175 18446744073709551615 4194304 4196468 140731215953312 140731215935856 140144208330487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
/proc/27857/statm: 3494908 10175 3055 1 0 3483220 0
[pid=27857/tid=27858] ppid=27855 vsize=13978608 memory=8390339637985935414 CPUtime=0.2 cores=1,3,5,7
/proc/27857/task/27858/stat : 27858 (java) R 27855 27855 17292 0 -1 1077944384 6644 0 0 0 18 2 0 0 20 0 15 0 13435898 14314094592 10175 18446744073709551615 4194304 4196468 140731215953312 140144212540272 140144201009709 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27859] ppid=27855 vsize=13978608 memory=301741412146489742 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27859/stat : 27859 (java) S 27855 27855 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13435899 14314094592 10175 18446744073709551615 4194304 4196468 140731215953312 140144180173840 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27860] ppid=27855 vsize=13979632 memory=140019771285601 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27860/stat : 27860 (java) S 27855 27855 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13435899 14315143168 10175 18446744073709551615 4194304 4196468 140731215953312 140143807687824 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27861] ppid=27855 vsize=13979632 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27861/stat : 27861 (java) S 27855 27855 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13435899 14315143168 10175 18446744073709551615 4194304 4196468 140731215953312 140143806634768 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27862] ppid=27855 vsize=13979632 memory=3472328296160571439 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27862/stat : 27862 (java) S 27855 27855 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13435899 14315143168 10175 18446744073709551615 4194304 4196468 140731215953312 140143805582224 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27863] ppid=27855 vsize=13978608 memory=8315307083144867315 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27863/stat : 27863 (java) S 27855 27855 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13435900 14314094592 10175 18446744073709551615 4194304 4196468 140731215953312 140143393581296 140144208341634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27864] ppid=27855 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27864/stat : 27864 (java) S 27855 27855 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13435901 14314094592 10175 18446744073709551615 4194304 4196468 140731215953312 140143392527520 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27865] ppid=27855 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27865/stat : 27865 (java) S 27855 27855 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13435901 14314094592 10175 18446744073709551615 4194304 4196468 140731215953312 140143391474416 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27866] ppid=27855 vsize=13979632 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27866/stat : 27866 (java) S 27855 27855 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13435903 14315143168 10175 18446744073709551615 4194304 4196468 140731215953312 140143390422992 140144208349083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27867] ppid=27855 vsize=13979632 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27857/task/27867/stat : 27867 (java) S 27855 27855 17292 0 -1 1077944384 674 0 0 0 3 0 0 0 20 0 15 0 13435903 14315143168 10175 18446744073709551615 4194304 4196468 140731215953312 140143389371120 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27868] ppid=27855 vsize=13979632 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27857/task/27868/stat : 27868 (java) S 27855 27855 17292 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 15 0 13435903 14315143168 10175 18446744073709551615 4194304 4196468 140731215953312 140143388318576 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27869] ppid=27855 vsize=13978608 memory=140019771258496 CPUtime=0.08 cores=1,3,5,7
/proc/27857/task/27869/stat : 27869 (java) S 27855 27855 17292 0 -1 1077944384 769 0 0 0 8 0 0 0 20 0 15 0 13435903 14314094592 10175 18446744073709551615 4194304 4196468 140731215953312 140143387265520 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27870] ppid=27855 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27870/stat : 27870 (java) S 27855 27855 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13435904 14314094592 10175 18446744073709551615 4194304 4196468 140731215953312 140143386213216 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27871] ppid=27855 vsize=13978608 memory=140019771258496 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27871/stat : 27871 (java) S 27855 27855 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13435908 14314094592 10175 18446744073709551615 4194304 4196468 140731215953312 140143385160240 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 42080 KiB

[startup+0.700981 s]
/proc/loadavg: 1.69 1.67 1.61 5/215 27871
/proc/meminfo: memFree=31290808/32770624 swapFree=67108860/67108860
[pid=27855] ppid=27852 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (xcsp3-exec) S 27852 27855 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13435892 9740288 345 18446744073709551615 4194304 5098028 140725976032448 140725976030552 139659959026300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 21204992 140725976039801 140725976040006 140725976040006 140725976043499 0
/proc/27855/statm: 2378 345 289 221 0 87 0
[pid=27857] ppid=27855 vsize=13978684 memory=87116 CPUtime=1.32 cores=1,3,5,7
/proc/27857/stat : 27857 (java) S 27855 27855 17292 0 -1 1077944320 12870 0 0 0 127 5 0 0 20 0 15 0 13435898 14314172416 21779 18446744073709551615 4194304 4196468 140731215953312 140731215935856 140144208330487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
/proc/27857/statm: 3494671 21779 3165 1 0 3482964 0
[pid=27857/tid=27858] ppid=27855 vsize=13978684 memory=1728 CPUtime=0.58 cores=1,3,5,7
/proc/27857/task/27858/stat : 27858 (java) R 27855 27855 17292 0 -1 4202560 8020 0 0 0 55 3 0 0 20 0 15 0 13435898 14314172416 21779 18446744073709551615 4194304 4196468 140731215953312 140144212563952 140144191318327 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27859] ppid=27855 vsize=13978684 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27859/stat : 27859 (java) S 27855 27855 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13435899 14314172416 21779 18446744073709551615 4194304 4196468 140731215953312 140144180173840 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27860] ppid=27855 vsize=13978684 memory=60664 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27860/stat : 27860 (java) S 27855 27855 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13435899 14314172416 21779 18446744073709551615 4194304 4196468 140731215953312 140143807687824 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27861] ppid=27855 vsize=13978684 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27861/stat : 27861 (java) S 27855 27855 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13435899 14314172416 21779 18446744073709551615 4194304 4196468 140731215953312 140143806634768 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27862] ppid=27855 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27862/stat : 27862 (java) S 27855 27855 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13435899 14314172416 21779 18446744073709551615 4194304 4196468 140731215953312 140143805582224 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27863] ppid=27855 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27863/stat : 27863 (java) S 27855 27855 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 13435900 14314172416 21779 18446744073709551615 4194304 4196468 140731215953312 140143393581296 140144208341634 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27864] ppid=27855 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27864/stat : 27864 (java) S 27855 27855 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13435901 14314172416 21779 18446744073709551615 4194304 4196468 140731215953312 140143392527520 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27865] ppid=27855 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27865/stat : 27865 (java) S 27855 27855 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13435901 14314172416 21779 18446744073709551615 4194304 4196468 140731215953312 140143391474416 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27866] ppid=27855 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27866/stat : 27866 (java) S 27855 27855 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13435903 14314172416 21779 18446744073709551615 4194304 4196468 140731215953312 140143390422992 140144208349083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27867] ppid=27855 vsize=13978684 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/27857/task/27867/stat : 27867 (java) S 27855 27855 17292 0 -1 1077944384 1423 0 0 0 26 0 0 0 20 0 15 0 13435903 14314172416 21779 18446744073709551615 4194304 4196468 140731215953312 140143389371120 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27868] ppid=27855 vsize=13978684 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/27857/task/27868/stat : 27868 (java) R 27855 27855 17292 0 -1 1077944384 959 0 0 0 22 0 0 0 20 0 15 0 13435903 14314172416 21779 18446744073709551615 4194304 4196468 140731215953312 140143388318576 140144208341634 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27869] ppid=27855 vsize=13978684 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/27857/task/27869/stat : 27869 (java) S 27855 27855 17292 0 -1 1077944384 1160 0 0 0 22 0 0 0 20 0 15 0 13435903 14314172416 21779 18446744073709551615 4194304 4196468 140731215953312 140143387265520 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27870] ppid=27855 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27870/stat : 27870 (java) S 27855 27855 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13435904 14314172416 21779 18446744073709551615 4194304 4196468 140731215953312 140143386213216 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27871] ppid=27855 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27871/stat : 27871 (java) S 27855 27855 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13435908 14314172416 21779 18446744073709551615 4194304 4196468 140731215953312 140143385160240 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 88496 KiB

[startup+1.5009 s]
/proc/loadavg: 1.69 1.67 1.61 5/215 27871
/proc/meminfo: memFree=31167476/32770624 swapFree=67108860/67108860
[pid=27855] ppid=27852 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (xcsp3-exec) S 27852 27855 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13435892 9740288 345 18446744073709551615 4194304 5098028 140725976032448 140725976030552 139659959026300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 21204992 140725976039801 140725976040006 140725976040006 140725976043499 0
/proc/27855/statm: 2378 345 289 221 0 87 0
[pid=27857] ppid=27855 vsize=13983260 memory=226336 CPUtime=3.7 cores=1,3,5,7
/proc/27857/stat : 27857 (java) S 27855 27855 17292 0 -1 1077944320 22987 0 0 0 361 9 0 0 20 0 15 0 13435898 14318858240 56584 18446744073709551615 4194304 4196468 140731215953312 140731215935856 140144208330487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
/proc/27857/statm: 3495815 56584 3179 1 0 3484108 0
[pid=27857/tid=27858] ppid=27855 vsize=13983260 memory=280039249854608 CPUtime=1.37 cores=1,3,5,7

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

[pid=27857/tid=27863] ppid=27855 vsize=13980732 memory=204568 CPUtime=0.81 cores=1,3,5,7
/proc/27857/task/27863/stat : 27863 (java) S 27855 27855 17292 0 -1 1077944384 4529 0 0 0 72 9 0 0 20 0 15 0 13435900 14316269568 51142 18446744073709551615 4194304 4196468 140731215953312 140143393581296 140144208341634 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27864] ppid=27855 vsize=13980732 memory=204568 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27864/stat : 27864 (java) S 27855 27855 17292 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 13435901 14316269568 51142 18446744073709551615 4194304 4196468 140731215953312 140143392527584 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27865] ppid=27855 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27865/stat : 27865 (java) S 27855 27855 17292 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 13435901 14316269568 51142 18446744073709551615 4194304 4196468 140731215953312 140143391474432 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27866] ppid=27855 vsize=13980732 memory=204568 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27866/stat : 27866 (java) S 27855 27855 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13435903 14316269568 51142 18446744073709551615 4194304 4196468 140731215953312 140143390422992 140144208349083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27867] ppid=27855 vsize=13980732 memory=1380 CPUtime=3.22 cores=1,3,5,7
/proc/27857/task/27867/stat : 27867 (java) S 27855 27855 17292 0 -1 1077944384 29210 0 0 0 319 3 0 0 20 0 15 0 13435903 14316269568 51142 18446744073709551615 4194304 4196468 140731215953312 140143389371120 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27868] ppid=27855 vsize=13980732 memory=204568 CPUtime=3.3 cores=1,3,5,7
/proc/27857/task/27868/stat : 27868 (java) S 27855 27855 17292 0 -1 1077944384 22422 0 0 0 327 3 0 0 20 0 15 0 13435903 14316269568 51142 18446744073709551615 4194304 4196468 140731215953312 140143388318576 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27869] ppid=27855 vsize=13980732 memory=1380 CPUtime=0.58 cores=1,3,5,7
/proc/27857/task/27869/stat : 27869 (java) S 27855 27855 17292 0 -1 1077944384 9014 0 0 0 56 2 0 0 20 0 15 0 13435903 14316269568 51142 18446744073709551615 4194304 4196468 140731215953312 140143387265520 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27870] ppid=27855 vsize=13980732 memory=204568 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27870/stat : 27870 (java) S 27855 27855 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13435904 14316269568 51142 18446744073709551615 4194304 4196468 140731215953312 140143386213216 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27871] ppid=27855 vsize=13980732 memory=1380 CPUtime=1.18 cores=1,3,5,7
/proc/27857/task/27871/stat : 27871 (java) S 27855 27855 17292 0 -1 1077944384 1415 0 0 0 56 62 0 0 20 0 15 0 13435908 14316269568 51142 18446744073709551615 4194304 4196468 140731215953312 140143385160240 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
Current children cumulated CPU time: 2452.92 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 205948 KiB

[startup+2502.3 s]
/proc/loadavg: 1.69 1.73 1.76 3/211 28117
/proc/meminfo: memFree=30202052/32770624 swapFree=67108860/67108860
[pid=27855] ppid=27852 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (xcsp3-exec) S 27852 27855 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13435892 9740288 345 18446744073709551615 4194304 5098028 140725976032448 140725976030552 139659959026300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 21204992 140725976039801 140725976040006 140725976040006 140725976043499 0
/proc/27855/statm: 2378 345 289 221 0 87 0
[pid=27857] ppid=27855 vsize=13980732 memory=204612 CPUtime=2513.01 cores=1,3,5,7
/proc/27857/stat : 27857 (java) S 27855 27855 17292 0 -1 1077944320 100125 0 0 0 251197 104 0 0 20 0 15 0 13435898 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140731215935856 140144208330487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
/proc/27857/statm: 3495183 51153 3230 1 0 3483476 0
[pid=27857/tid=27858] ppid=27855 vsize=13980732 memory=1380 CPUtime=2500.11 cores=1,3,5,7
/proc/27857/task/27858/stat : 27858 (java) R 27855 27855 17292 0 -1 4202560 20567 0 0 0 250003 8 0 0 20 0 15 0 13435898 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140144212569696 140143853488176 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27859] ppid=27855 vsize=13980732 memory=204612 CPUtime=0.91 cores=1,3,5,7
/proc/27857/task/27859/stat : 27859 (java) S 27855 27855 17292 0 -1 1077944384 2524 0 0 0 83 8 0 0 20 0 15 0 13435899 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140144180173840 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27860] ppid=27855 vsize=13980732 memory=204612 CPUtime=0.92 cores=1,3,5,7
/proc/27857/task/27860/stat : 27860 (java) S 27855 27855 17292 0 -1 1077944384 3267 0 0 0 85 7 0 0 20 0 15 0 13435899 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143807687824 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27861] ppid=27855 vsize=13980732 memory=204612 CPUtime=0.91 cores=1,3,5,7
/proc/27857/task/27861/stat : 27861 (java) S 27855 27855 17292 0 -1 1077944384 3325 0 0 0 82 9 0 0 20 0 15 0 13435899 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143806634768 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27862] ppid=27855 vsize=13980732 memory=140019625752768 CPUtime=0.93 cores=1,3,5,7
/proc/27857/task/27862/stat : 27862 (java) S 27855 27855 17292 0 -1 1077944384 2428 0 0 0 85 8 0 0 20 0 15 0 13435899 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143805582224 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27863] ppid=27855 vsize=13980732 memory=204612 CPUtime=0.82 cores=1,3,5,7
/proc/27857/task/27863/stat : 27863 (java) S 27855 27855 17292 0 -1 1077944384 4574 0 0 0 73 9 0 0 20 0 15 0 13435900 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143393581296 140144208341634 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27864] ppid=27855 vsize=13980732 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27864/stat : 27864 (java) S 27855 27855 17292 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 13435901 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143392527584 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27865] ppid=27855 vsize=13980732 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27865/stat : 27865 (java) S 27855 27855 17292 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 13435901 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143391474432 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27866] ppid=27855 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27866/stat : 27866 (java) S 27855 27855 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13435903 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143390422992 140144208349083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27867] ppid=27855 vsize=13980732 memory=204612 CPUtime=3.22 cores=1,3,5,7
/proc/27857/task/27867/stat : 27867 (java) S 27855 27855 17292 0 -1 1077944384 29210 0 0 0 319 3 0 0 20 0 15 0 13435903 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143389371120 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27868] ppid=27855 vsize=13980732 memory=4124 CPUtime=3.3 cores=1,3,5,7
/proc/27857/task/27868/stat : 27868 (java) S 27855 27855 17292 0 -1 1077944384 22422 0 0 0 327 3 0 0 20 0 15 0 13435903 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143388318576 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27869] ppid=27855 vsize=13980732 memory=1380 CPUtime=0.58 cores=1,3,5,7
/proc/27857/task/27869/stat : 27869 (java) S 27855 27855 17292 0 -1 1077944384 9014 0 0 0 56 2 0 0 20 0 15 0 13435903 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143387265520 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27870] ppid=27855 vsize=13980732 memory=204612 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27870/stat : 27870 (java) S 27855 27855 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13435904 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143386213216 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27871] ppid=27855 vsize=13980732 memory=1292 CPUtime=1.22 cores=1,3,5,7
/proc/27857/task/27871/stat : 27871 (java) S 27855 27855 17292 0 -1 1077944384 1431 0 0 0 58 64 0 0 20 0 15 0 13435908 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143385160240 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
Current children cumulated CPU time: 2513.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 205992 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2509.3 s]
/proc/loadavg: 1.74 1.74 1.77 3/211 28118
/proc/meminfo: memFree=30202032/32770624 swapFree=67108860/67108860
[pid=27855] ppid=27852 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (xcsp3-exec) S 27852 27855 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13435892 9740288 345 18446744073709551615 4194304 5098028 140725976032448 140725976030552 139659959026300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 21204992 140725976039801 140725976040006 140725976040006 140725976043499 0
/proc/27855/statm: 2378 345 289 221 0 87 0
[pid=27857] ppid=27855 vsize=13980732 memory=204612 CPUtime=2520.02 cores=1,3,5,7
/proc/27857/stat : 27857 (java) S 27855 27855 17292 0 -1 1077944320 100164 0 0 0 251898 104 0 0 20 0 15 0 13435898 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140731215935856 140144208330487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
/proc/27857/statm: 3495183 51153 3230 1 0 3483476 0
[pid=27857/tid=27858] ppid=27855 vsize=13980732 memory=204612 CPUtime=2507.1 cores=1,3,5,7
/proc/27857/task/27858/stat : 27858 (java) R 27855 27855 17292 0 -1 4202560 20602 0 0 0 250702 8 0 0 20 0 15 0 13435898 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140144212569584 140143853487941 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27859] ppid=27855 vsize=13980732 memory=204612 CPUtime=0.92 cores=1,3,5,7
/proc/27857/task/27859/stat : 27859 (java) S 27855 27855 17292 0 -1 1077944384 2525 0 0 0 84 8 0 0 20 0 15 0 13435899 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140144180173840 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27860] ppid=27855 vsize=13980732 memory=1380 CPUtime=0.92 cores=1,3,5,7
/proc/27857/task/27860/stat : 27860 (java) S 27855 27855 17292 0 -1 1077944384 3268 0 0 0 85 7 0 0 20 0 15 0 13435899 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143807687824 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27861] ppid=27855 vsize=13980732 memory=204612 CPUtime=0.91 cores=1,3,5,7
/proc/27857/task/27861/stat : 27861 (java) S 27855 27855 17292 0 -1 1077944384 3325 0 0 0 82 9 0 0 20 0 15 0 13435899 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143806634768 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27862] ppid=27855 vsize=13980732 memory=322 CPUtime=0.93 cores=1,3,5,7
/proc/27857/task/27862/stat : 27862 (java) S 27855 27855 17292 0 -1 1077944384 2429 0 0 0 85 8 0 0 20 0 15 0 13435899 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143805582224 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27863] ppid=27855 vsize=13980732 memory=1380 CPUtime=0.82 cores=1,3,5,7
/proc/27857/task/27863/stat : 27863 (java) S 27855 27855 17292 0 -1 1077944384 4575 0 0 0 73 9 0 0 20 0 15 0 13435900 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143393581296 140144208341634 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27864] ppid=27855 vsize=13980732 memory=204612 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27864/stat : 27864 (java) S 27855 27855 17292 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 13435901 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143392527584 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27865] ppid=27855 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27865/stat : 27865 (java) S 27855 27855 17292 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 13435901 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143391474432 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27866] ppid=27855 vsize=13980732 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27866/stat : 27866 (java) S 27855 27855 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13435903 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143390422992 140144208349083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27867] ppid=27855 vsize=13980732 memory=1380 CPUtime=3.22 cores=1,3,5,7
/proc/27857/task/27867/stat : 27867 (java) S 27855 27855 17292 0 -1 1077944384 29210 0 0 0 319 3 0 0 20 0 15 0 13435903 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143389371120 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27868] ppid=27855 vsize=13980732 memory=204612 CPUtime=3.3 cores=1,3,5,7
/proc/27857/task/27868/stat : 27868 (java) S 27855 27855 17292 0 -1 1077944384 22422 0 0 0 327 3 0 0 20 0 15 0 13435903 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143388318576 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27869] ppid=27855 vsize=13980732 memory=1440 CPUtime=0.58 cores=1,3,5,7
/proc/27857/task/27869/stat : 27869 (java) S 27855 27855 17292 0 -1 1077944384 9014 0 0 0 56 2 0 0 20 0 15 0 13435903 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143387265520 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27870] ppid=27855 vsize=13980732 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27870/stat : 27870 (java) S 27855 27855 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13435904 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143386213216 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27871] ppid=27855 vsize=13980732 memory=11460 CPUtime=1.22 cores=1,3,5,7
/proc/27857/task/27871/stat : 27871 (java) S 27855 27855 17292 0 -1 1077944384 1431 0 0 0 58 64 0 0 20 0 15 0 13435908 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143385160240 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 205992 KiB

Sending SIGTERM to process tree (bottom up)

[startup+2509.31 s]
# the end of solver process 27855 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.99 s, system=1.05376 s

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

[startup+2509.3 s]
/proc/loadavg: 1.74 1.74 1.77 3/211 28118
/proc/meminfo: memFree=30202032/32770624 swapFree=67108860/67108860
[pid=27855] ppid=27852 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (xcsp3-exec) S 27852 27855 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13435892 9740288 345 18446744073709551615 4194304 5098028 140725976032448 140725976030552 139659959026300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 21204992 140725976039801 140725976040006 140725976040006 140725976043499 0
/proc/27855/statm: 2378 345 289 221 0 87 0
[pid=27857] ppid=27855 vsize=13980732 memory=204612 CPUtime=2520.02 cores=1,3,5,7
/proc/27857/stat : 27857 (java) S 27855 27855 17292 0 -1 1077944320 100164 0 0 0 251898 104 0 0 20 0 15 0 13435898 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140731215935856 140144208330487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
/proc/27857/statm: 3495183 51153 3230 1 0 3483476 0
[pid=27857/tid=27858] ppid=27855 vsize=13980732 memory=204612 CPUtime=2507.1 cores=1,3,5,7
/proc/27857/task/27858/stat : 27858 (java) R 27855 27855 17292 0 -1 4202560 20602 0 0 0 250702 8 0 0 20 0 15 0 13435898 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140144212569584 140143853487941 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27859] ppid=27855 vsize=13980732 memory=204612 CPUtime=0.92 cores=1,3,5,7
/proc/27857/task/27859/stat : 27859 (java) S 27855 27855 17292 0 -1 1077944384 2525 0 0 0 84 8 0 0 20 0 15 0 13435899 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140144180173840 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27860] ppid=27855 vsize=13980732 memory=1380 CPUtime=0.92 cores=1,3,5,7
/proc/27857/task/27860/stat : 27860 (java) S 27855 27855 17292 0 -1 1077944384 3268 0 0 0 85 7 0 0 20 0 15 0 13435899 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143807687824 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27861] ppid=27855 vsize=13980732 memory=204612 CPUtime=0.91 cores=1,3,5,7
/proc/27857/task/27861/stat : 27861 (java) S 27855 27855 17292 0 -1 1077944384 3325 0 0 0 82 9 0 0 20 0 15 0 13435899 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143806634768 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27862] ppid=27855 vsize=13980732 memory=322 CPUtime=0.93 cores=1,3,5,7
/proc/27857/task/27862/stat : 27862 (java) S 27855 27855 17292 0 -1 1077944384 2429 0 0 0 85 8 0 0 20 0 15 0 13435899 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143805582224 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27863] ppid=27855 vsize=13980732 memory=1380 CPUtime=0.82 cores=1,3,5,7
/proc/27857/task/27863/stat : 27863 (java) S 27855 27855 17292 0 -1 1077944384 4575 0 0 0 73 9 0 0 20 0 15 0 13435900 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143393581296 140144208341634 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27864] ppid=27855 vsize=13980732 memory=204612 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27864/stat : 27864 (java) S 27855 27855 17292 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 13435901 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143392527584 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27865] ppid=27855 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27865/stat : 27865 (java) S 27855 27855 17292 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 13435901 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143391474432 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27866] ppid=27855 vsize=13980732 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27866/stat : 27866 (java) S 27855 27855 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13435903 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143390422992 140144208349083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27867] ppid=27855 vsize=13980732 memory=1380 CPUtime=3.22 cores=1,3,5,7
/proc/27857/task/27867/stat : 27867 (java) S 27855 27855 17292 0 -1 1077944384 29210 0 0 0 319 3 0 0 20 0 15 0 13435903 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143389371120 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27868] ppid=27855 vsize=13980732 memory=204612 CPUtime=3.3 cores=1,3,5,7
/proc/27857/task/27868/stat : 27868 (java) S 27855 27855 17292 0 -1 1077944384 22422 0 0 0 327 3 0 0 20 0 15 0 13435903 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143388318576 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27869] ppid=27855 vsize=13980732 memory=1440 CPUtime=0.58 cores=1,3,5,7
/proc/27857/task/27869/stat : 27869 (java) S 27855 27855 17292 0 -1 1077944384 9014 0 0 0 56 2 0 0 20 0 15 0 13435903 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143387265520 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27870] ppid=27855 vsize=13980732 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/27857/task/27870/stat : 27870 (java) S 27855 27855 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13435904 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143386213216 140144208340693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
[pid=27857/tid=27871] ppid=27855 vsize=13980732 memory=11460 CPUtime=1.22 cores=1,3,5,7
/proc/27857/task/27871/stat : 27871 (java) S 27855 27855 17292 0 -1 1077944384 1431 0 0 0 58 64 0 0 20 0 15 0 13435908 14316269568 51153 18446744073709551615 4194304 4196468 140731215953312 140143385160240 140144208341634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9777152 140731215958450 140731215958626 140731215958626 140731215962063 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 205992 KiB

Child status: 143
Real time (s): 2509.31
CPU time (s): 2520.04
CPU user time (s): 2518.99
CPU system time (s): 1.05376
CPU usage (%): 100.428
Max. virtual memory (cumulated for all children) (KiB): 13992772
Max. memory (cumulated for all children) (KiB): 296124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.99
system time used= 1.05376
maximum resident set size= 294744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100945
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77952
involuntary context switches= 1286


# summary of solver processes directly reported to runsolver:
#   pid: 27855
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2518.99
#   total CPU system time (s): 1.05376

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8337 second user time and 24.1115 second system time

The end

Launcher Data 

Begin job on node129 at 2017-08-19 15:30:30
IDJOB=4281724
IDBENCH=136072
IDSOLVER=2677
FILE ID=node129/4281724-1503150268
RUNJOBID= node129-1503095823-17351
PBS_JOBID= 
Free space on /tmp= 62004 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/BinPacking/BinPacking-mdd-ft/BinPacking-mdd-ft120-11.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-4281724-1503150268/watcher-4281724-1503150268 -o /tmp/evaluation-result-4281724-1503150268/solver-4281724-1503150268 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17351 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1047173007 HOME/instance-4281724-1503150268.xml

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

MD5SUM BENCH= 7c2bd2aca8e68eed10397cff07eceed9
RANDOM SEED=1047173007

node129.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.73
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.73
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.73
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.73
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:        31338632 kB
MemAvailable:   31587692 kB
Buffers:          176060 kB
Cached:           362956 kB
SwapCached:            0 kB
Active:           660888 kB
Inactive:         365220 kB
Active(anon):     487272 kB
Inactive(anon):    16748 kB
Active(file):     173616 kB
Inactive(file):   348472 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7912 kB
Writeback:             0 kB
AnonPages:        400108 kB
Mapped:            45372 kB
Shmem:             17060 kB
Slab:             110524 kB
SReclaimable:      85612 kB
SUnreclaim:        24912 kB
KernelStack:        3808 kB
PageTables:         6544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1649264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    307200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 62000 MiB
End job on node129 at 2017-08-19 16:12:20