Trace number 4268974

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 seq (2017-08-09)SAT (TO)0 2520.1001 2510.1201

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.04	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4268974-1502828336.xml"  -tl '2520s' -p 1 -x 0
0.18/0.23	c [HOME/instance-4268974-1502828336.xml, -tl, 2520s, -p, 1, -x, 0]
0.18/0.29	c simple solver
0.36/0.35	c parse instance...
2.22/1.02	c solve instance...
1443.08/1435.09	o 0 
2520.08/2510.11	s SATISFIABLE
2520.08/2510.11	v <instantiation>
2520.08/2510.11	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.08/2510.11	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.08/2510.11	v </instantiation>
2520.08/2510.11	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 (15234 MiB free)
  memory of node 1: 16384 MiB (15404 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268974-1502828336/watcher-4268974-1502828336 -o /tmp/evaluation-result-4268974-1502828336/solver-4268974-1502828336 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14689 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 288098567 HOME/instance-4268974-1502828336.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=12588, runsolver pid=12585
Current StackSize limit: 8192 KiB


[startup+0.102253 s]*
/proc/loadavg: 1.86 1.91 1.97 3/207 12599
/proc/meminfo: memFree=31365376/32770624 swapFree=67108860/67108860
[pid=12588] ppid=12585 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/12588/stat : 12588 (xcsp3-exec) S 12585 12588 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 71174206 9740288 345 18446744073709551615 4194304 5098028 140731240810960 140731240809064 140346639295100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 33198080 140731240817017 140731240817221 140731240817221 140731240820715 0
/proc/12588/statm: 2378 345 289 221 0 87 0
[pid=12590] ppid=12588 vsize=13907304 memory=20668 CPUtime=0.05 cores=0,2,4,6
/proc/12590/stat : 12590 (java) S 12588 12588 11586 0 -1 1077944320 4553 0 0 0 4 1 0 0 20 0 14 0 71174211 14241079296 5167 18446744073709551615 4194304 4196468 140733604437232 140733604419776 139925496835831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
/proc/12590/statm: 3476826 5167 2574 1 0 3466323 0
[pid=12590/tid=12591] ppid=12588 vsize=13907304 memory=4206751525541405026 CPUtime=0.04 cores=0,2,4,6
/proc/12590/task/12591/stat : 12591 (java) D 12588 12588 11586 0 -1 4202560 2730 0 0 0 3 1 0 0 20 0 14 0 71174211 14241079296 5167 18446744073709551615 4194304 4196468 140733604437232 139925501073312 139925496857853 0 4 1 16800974 18446744071580418449 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12592] ppid=12588 vsize=13907304 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12592/stat : 12592 (java) S 12588 12588 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 71174212 14241079296 5167 18446744073709551615 4194304 4196468 140733604437232 139925416249744 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12593] ppid=12588 vsize=13907304 memory=139754532599424 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12593/stat : 12593 (java) S 12588 12588 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 71174212 14241079296 5167 18446744073709551615 4194304 4196468 140733604437232 139925415196944 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12594] ppid=12588 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12594/stat : 12594 (java) S 12588 12588 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 71174212 14241079296 5167 18446744073709551615 4194304 4196468 140733604437232 139925414144656 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12595] ppid=12588 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12595/stat : 12595 (java) S 12588 12588 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 71174212 14241079296 5167 18446744073709551615 4194304 4196468 140733604437232 139925413091856 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12596] ppid=12588 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12596/stat : 12596 (java) S 12588 12588 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 71174213 14241079296 5167 18446744073709551615 4194304 4196468 140733604437232 139924974594672 139925496846978 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12597] ppid=12588 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12597/stat : 12597 (java) S 12588 12588 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 71174214 14241079296 5167 18446744073709551615 4194304 4196468 140733604437232 139924973540640 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12598] ppid=12588 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12598/stat : 12598 (java) S 12588 12588 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 71174214 14241079296 5167 18446744073709551615 4194304 4196468 140733604437232 139924972488304 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12599] ppid=12588 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12599/stat : 12599 (java) S 12588 12588 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 71174216 14241079296 5167 18446744073709551615 4194304 4196468 140733604437232 139924971436624 139925496854427 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12600] ppid=12588 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12600/stat : 12600 (java) S 12588 12588 11586 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 14 0 71174216 14241079296 5167 18446744073709551615 4194304 4196468 140733604437232 139924970383472 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12601] ppid=12588 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12601/stat : 12601 (java) S 12588 12588 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 71174216 14241079296 5167 18446744073709551615 4194304 4196468 140733604437232 139924969330672 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12602] ppid=12588 vsize=13907304 memory=139754532599424 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12602/stat : 12602 (java) S 12588 12588 11586 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 14 0 71174216 14241079296 5167 18446744073709551615 4194304 4196468 140733604437232 139924968278384 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12603] ppid=12588 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12603/stat : 12603 (java) S 12588 12588 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 71174216 14241079296 5167 18446744073709551615 4194304 4196468 140733604437232 139924967225824 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22048 KiB

[startup+0.210316 s]*
/proc/loadavg: 1.86 1.91 1.97 4/212 12604
/proc/meminfo: memFree=31356888/32770624 swapFree=67108860/67108860
[pid=12588] ppid=12585 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/12588/stat : 12588 (xcsp3-exec) S 12585 12588 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 71174206 9740288 345 18446744073709551615 4194304 5098028 140731240810960 140731240809064 140346639295100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 33198080 140731240817017 140731240817221 140731240817221 140731240820715 0
/proc/12588/statm: 2378 345 289 221 0 87 0
[pid=12590] ppid=12588 vsize=13974352 memory=31868 CPUtime=0.18 cores=0,2,4,6
/proc/12590/stat : 12590 (java) S 12588 12588 11586 0 -1 1077944320 5899 0 0 0 16 2 0 0 20 0 15 0 71174211 14309736448 7967 18446744073709551615 4194304 4196468 140733604437232 140733604419776 139925496835831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
/proc/12590/statm: 3493588 7967 2964 1 0 3482964 0
[pid=12590/tid=12591] ppid=12588 vsize=13974352 memory=4206751525541405026 CPUtime=0.11 cores=0,2,4,6
/proc/12590/task/12591/stat : 12591 (java) R 12588 12588 11586 0 -1 4202560 3189 0 0 0 10 1 0 0 20 0 15 0 71174211 14309736448 7967 18446744073709551615 4194304 4196468 140733604437232 139925501069168 139925482529195 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12592] ppid=12588 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12592/stat : 12592 (java) S 12588 12588 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71174212 14309736448 7967 18446744073709551615 4194304 4196468 140733604437232 139925416249744 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12593] ppid=12588 vsize=13974352 memory=139754532599424 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12593/stat : 12593 (java) S 12588 12588 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71174212 14309736448 7967 18446744073709551615 4194304 4196468 140733604437232 139925415196944 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12594] ppid=12588 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12594/stat : 12594 (java) S 12588 12588 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71174212 14309736448 7967 18446744073709551615 4194304 4196468 140733604437232 139925414144656 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12595] ppid=12588 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12595/stat : 12595 (java) S 12588 12588 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71174212 14309736448 7967 18446744073709551615 4194304 4196468 140733604437232 139925413091856 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12596] ppid=12588 vsize=13974352 memory=139754532599424 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12596/stat : 12596 (java) S 12588 12588 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71174213 14309736448 7967 18446744073709551615 4194304 4196468 140733604437232 139924974594672 139925496846978 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12597] ppid=12588 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12597/stat : 12597 (java) S 12588 12588 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71174214 14309736448 7967 18446744073709551615 4194304 4196468 140733604437232 139924973540640 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12598] ppid=12588 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12598/stat : 12598 (java) S 12588 12588 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71174214 14309736448 7967 18446744073709551615 4194304 4196468 140733604437232 139924972488304 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12599] ppid=12588 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12599/stat : 12599 (java) S 12588 12588 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71174216 14309736448 7967 18446744073709551615 4194304 4196468 140733604437232 139924971436624 139925496854427 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12600] ppid=12588 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/12590/task/12600/stat : 12600 (java) S 12588 12588 11586 0 -1 1077944384 403 0 0 0 1 0 0 0 20 0 15 0 71174216 14309736448 7967 18446744073709551615 4194304 4196468 140733604437232 139924970383472 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12601] ppid=12588 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/12590/task/12601/stat : 12601 (java) S 12588 12588 11586 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 15 0 71174216 14309736448 7967 18446744073709551615 4194304 4196468 140733604437232 139924969330672 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12602] ppid=12588 vsize=13974352 memory=139754532599424 CPUtime=0.03 cores=0,2,4,6
/proc/12590/task/12602/stat : 12602 (java) R 12588 12588 11586 0 -1 4202560 705 0 0 0 3 0 0 0 20 0 15 0 71174216 14309736448 7967 18446744073709551615 4194304 4196468 140733604437232 139924968278384 139925489072958 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12603] ppid=12588 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12603/stat : 12603 (java) S 12588 12588 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71174216 14309736448 7967 18446744073709551615 4194304 4196468 140733604437232 139924967225824 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12604] ppid=12588 vsize=13974352 memory=139754532599424 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12604/stat : 12604 (java) S 12588 12588 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71174221 14309736448 7967 18446744073709551615 4194304 4196468 140733604437232 139924966173616 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 33248 KiB

[startup+0.312088 s]*
/proc/loadavg: 1.87 1.91 1.97 3/212 12604
/proc/meminfo: memFree=31346016/32770624 swapFree=67108860/67108860
[pid=12588] ppid=12585 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/12588/stat : 12588 (xcsp3-exec) S 12585 12588 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 71174206 9740288 345 18446744073709551615 4194304 5098028 140731240810960 140731240809064 140346639295100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 33198080 140731240817017 140731240817221 140731240817221 140731240820715 0
/proc/12588/statm: 2378 345 289 221 0 87 0
[pid=12590] ppid=12588 vsize=13978608 memory=40380 CPUtime=0.36 cores=0,2,4,6
/proc/12590/stat : 12590 (java) S 12588 12588 11586 0 -1 1077944320 8834 0 0 0 33 3 0 0 20 0 15 0 71174211 14314094592 10095 18446744073709551615 4194304 4196468 140733604437232 140733604419776 139925496835831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
/proc/12590/statm: 3494652 10095 3031 1 0 3482964 0
[pid=12590/tid=12591] ppid=12588 vsize=13978608 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/12590/task/12591/stat : 12591 (java) R 12588 12588 11586 0 -1 4202560 5993 0 0 0 19 2 0 0 20 0 15 0 71174211 14314094592 10160 18446744073709551615 4194304 4196468 140733604437232 139925501057856 139925480916318 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12592] ppid=12588 vsize=13978608 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12592/stat : 12592 (java) S 12588 12588 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71174212 14314094592 10160 18446744073709551615 4194304 4196468 140733604437232 139925416249744 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12593] ppid=12588 vsize=13978608 memory=139754532599424 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12593/stat : 12593 (java) S 12588 12588 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71174212 14314094592 10160 18446744073709551615 4194304 4196468 140733604437232 139925415196944 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12594] ppid=12588 vsize=13978608 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12594/stat : 12594 (java) S 12588 12588 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71174212 14314094592 10160 18446744073709551615 4194304 4196468 140733604437232 139925414144656 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12595] ppid=12588 vsize=13978608 memory=139754410713295 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12595/stat : 12595 (java) S 12588 12588 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71174212 14314094592 10160 18446744073709551615 4194304 4196468 140733604437232 139925413091856 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12596] ppid=12588 vsize=13978608 memory=139754532599424 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12596/stat : 12596 (java) S 12588 12588 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71174213 14314094592 10160 18446744073709551615 4194304 4196468 140733604437232 139924974594672 139925496846978 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12597] ppid=12588 vsize=13978608 memory=139754410734063 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12597/stat : 12597 (java) S 12588 12588 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71174214 14314094592 10160 18446744073709551615 4194304 4196468 140733604437232 139924973540640 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12598] ppid=12588 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12598/stat : 12598 (java) S 12588 12588 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71174214 14314094592 10160 18446744073709551615 4194304 4196468 140733604437232 139924972488304 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12599] ppid=12588 vsize=13978608 memory=2273 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12599/stat : 12599 (java) S 12588 12588 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71174216 14314094592 10160 18446744073709551615 4194304 4196468 140733604437232 139924971436624 139925496854427 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12600] ppid=12588 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12590/task/12600/stat : 12600 (java) S 12588 12588 11586 0 -1 1077944384 427 0 0 0 2 0 0 0 20 0 15 0 71174216 14314094592 10160 18446744073709551615 4194304 4196468 140733604437232 139924970383472 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12601] ppid=12588 vsize=13978608 memory=139754410738719 CPUtime=0.02 cores=0,2,4,6
/proc/12590/task/12601/stat : 12601 (java) S 12588 12588 11586 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 71174216 14314094592 10160 18446744073709551615 4194304 4196468 140733604437232 139924969330672 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12602] ppid=12588 vsize=13978608 memory=139754532599424 CPUtime=0.08 cores=0,2,4,6
/proc/12590/task/12602/stat : 12602 (java) S 12588 12588 11586 0 -1 1077944384 730 0 0 0 8 0 0 0 20 0 15 0 71174216 14314094592 10160 18446744073709551615 4194304 4196468 140733604437232 139924968278384 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12603] ppid=12588 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12603/stat : 12603 (java) S 12588 12588 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71174216 14314094592 10160 18446744073709551615 4194304 4196468 140733604437232 139924967225824 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12604] ppid=12588 vsize=13978608 memory=139754532599423 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12604/stat : 12604 (java) S 12588 12588 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71174221 14314094592 10160 18446744073709551615 4194304 4196468 140733604437232 139924966173616 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41760 KiB

[startup+0.70114 s]
/proc/loadavg: 1.87 1.91 1.97 5/212 12604
/proc/meminfo: memFree=31327440/32770624 swapFree=67108860/67108860
[pid=12588] ppid=12585 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/12588/stat : 12588 (xcsp3-exec) S 12585 12588 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 71174206 9740288 345 18446744073709551615 4194304 5098028 140731240810960 140731240809064 140346639295100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 33198080 140731240817017 140731240817221 140731240817221 140731240820715 0
/proc/12588/statm: 2378 345 289 221 0 87 0
[pid=12590] ppid=12588 vsize=13980732 memory=89104 CPUtime=1.31 cores=0,2,4,6
/proc/12590/stat : 12590 (java) S 12588 12588 11586 0 -1 1077944320 12371 0 0 0 127 4 0 0 20 0 15 0 71174211 14316269568 22276 18446744073709551615 4194304 4196468 140733604437232 140733604419776 139925496835831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
/proc/12590/statm: 3495183 22276 3169 1 0 3483476 0
[pid=12590/tid=12591] ppid=12588 vsize=13980732 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/12590/task/12591/stat : 12591 (java) R 12588 12588 11586 0 -1 4202560 7535 0 0 0 56 3 0 0 20 0 15 0 71174211 14316269568 22276 18446744073709551615 4194304 4196468 140733604437232 139925501073552 139925088381173 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12592] ppid=12588 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12592/stat : 12592 (java) S 12588 12588 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71174212 14316269568 22276 18446744073709551615 4194304 4196468 140733604437232 139925416249744 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12593] ppid=12588 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12593/stat : 12593 (java) S 12588 12588 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71174212 14316269568 22276 18446744073709551615 4194304 4196468 140733604437232 139925415196944 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12594] ppid=12588 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12594/stat : 12594 (java) S 12588 12588 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71174212 14316269568 22276 18446744073709551615 4194304 4196468 140733604437232 139925414144656 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12595] ppid=12588 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12595/stat : 12595 (java) S 12588 12588 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71174212 14316269568 22276 18446744073709551615 4194304 4196468 140733604437232 139925413091856 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12596] ppid=12588 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12596/stat : 12596 (java) S 12588 12588 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71174213 14316269568 22276 18446744073709551615 4194304 4196468 140733604437232 139924974594672 139925496846978 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12597] ppid=12588 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12597/stat : 12597 (java) S 12588 12588 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71174214 14316269568 22276 18446744073709551615 4194304 4196468 140733604437232 139924973540640 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12598] ppid=12588 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12598/stat : 12598 (java) S 12588 12588 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71174214 14316269568 22276 18446744073709551615 4194304 4196468 140733604437232 139924972488304 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12599] ppid=12588 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12599/stat : 12599 (java) S 12588 12588 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71174216 14316269568 22276 18446744073709551615 4194304 4196468 140733604437232 139924971436624 139925496854427 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12600] ppid=12588 vsize=13980732 memory=1204 CPUtime=0.23 cores=0,2,4,6
/proc/12590/task/12600/stat : 12600 (java) S 12588 12588 11586 0 -1 1077944384 1209 0 0 0 23 0 0 0 20 0 15 0 71174216 14316269568 22276 18446744073709551615 4194304 4196468 140733604437232 139924970383472 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12601] ppid=12588 vsize=13980732 memory=15880 CPUtime=0.23 cores=0,2,4,6
/proc/12590/task/12601/stat : 12601 (java) S 12588 12588 11586 0 -1 1077944384 1079 0 0 0 23 0 0 0 20 0 15 0 71174216 14316269568 22276 18446744073709551615 4194304 4196468 140733604437232 139924969330672 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12602] ppid=12588 vsize=13980732 memory=2241 CPUtime=0.23 cores=0,2,4,6
/proc/12590/task/12602/stat : 12602 (java) S 12588 12588 11586 0 -1 1077944384 1238 0 0 0 23 0 0 0 20 0 15 0 71174216 14316269568 22276 18446744073709551615 4194304 4196468 140733604437232 139924968278384 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12603] ppid=12588 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12603/stat : 12603 (java) S 12588 12588 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71174216 14316269568 22276 18446744073709551615 4194304 4196468 140733604437232 139924967225824 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12604] ppid=12588 vsize=13980732 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12604/stat : 12604 (java) S 12588 12588 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71174221 14316269568 22276 18446744073709551615 4194304 4196468 140733604437232 139924966173616 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 90484 KiB

[startup+1.50082 s]
/proc/loadavg: 1.87 1.91 1.97 4/212 12604
/proc/meminfo: memFree=31203712/32770624 swapFree=67108860/67108860
[pid=12588] ppid=12585 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/12588/stat : 12588 (xcsp3-exec) S 12585 12588 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 71174206 9740288 345 18446744073709551615 4194304 5098028 140731240810960 140731240809064 140346639295100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 33198080 140731240817017 140731240817221 140731240817221 140731240820715 0
/proc/12588/statm: 2378 345 289 221 0 87 0
[pid=12590] ppid=12588 vsize=13983260 memory=225140 CPUtime=3.73 cores=0,2,4,6
/proc/12590/stat : 12590 (java) S 12588 12588 11586 0 -1 1077944320 22106 0 0 0 364 9 0 0 20 0 15 0 71174211 14318858240 56285 18446744073709551615 4194304 4196468 140733604437232 140733604419776 139925496835831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0

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

[pid=12590/tid=12596] ppid=12588 vsize=13980732 memory=210784 CPUtime=0.91 cores=0,2,4,6
/proc/12590/task/12596/stat : 12596 (java) S 12588 12588 11586 0 -1 1077944384 5448 0 0 0 83 8 0 0 20 0 15 0 71174213 14316269568 52696 18446744073709551615 4194304 4196468 140733604437232 139924974594672 139925496846978 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12597] ppid=12588 vsize=13980732 memory=210784 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12597/stat : 12597 (java) S 12588 12588 11586 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 71174214 14316269568 52696 18446744073709551615 4194304 4196468 140733604437232 139924973540704 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12598] ppid=12588 vsize=13980732 memory=210784 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12598/stat : 12598 (java) S 12588 12588 11586 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 71174214 14316269568 52696 18446744073709551615 4194304 4196468 140733604437232 139924972488320 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12599] ppid=12588 vsize=13980732 memory=210784 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12599/stat : 12599 (java) S 12588 12588 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71174216 14316269568 52696 18446744073709551615 4194304 4196468 140733604437232 139924971436624 139925496854427 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12600] ppid=12588 vsize=13980732 memory=210784 CPUtime=2.91 cores=0,2,4,6
/proc/12590/task/12600/stat : 12600 (java) S 12588 12588 11586 0 -1 1077944384 17266 0 0 0 289 2 0 0 20 0 15 0 71174216 14316269568 52696 18446744073709551615 4194304 4196468 140733604437232 139924970383472 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12601] ppid=12588 vsize=13980732 memory=1380 CPUtime=2.87 cores=0,2,4,6
/proc/12590/task/12601/stat : 12601 (java) S 12588 12588 11586 0 -1 1077944384 18181 0 0 0 285 2 0 0 20 0 15 0 71174216 14316269568 52696 18446744073709551615 4194304 4196468 140733604437232 139924969330672 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12602] ppid=12588 vsize=13980732 memory=6628 CPUtime=0.58 cores=0,2,4,6
/proc/12590/task/12602/stat : 12602 (java) S 12588 12588 11586 0 -1 1077944384 7075 0 0 0 56 2 0 0 20 0 15 0 71174216 14316269568 52696 18446744073709551615 4194304 4196468 140733604437232 139924968278384 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12603] ppid=12588 vsize=13980732 memory=210784 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12603/stat : 12603 (java) S 12588 12588 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71174216 14316269568 52696 18446744073709551615 4194304 4196468 140733604437232 139924967225824 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12604] ppid=12588 vsize=13980732 memory=1788 CPUtime=1.32 cores=0,2,4,6
/proc/12590/task/12604/stat : 12604 (java) S 12588 12588 11586 0 -1 1077944384 1908 0 0 0 65 67 0 0 20 0 15 0 71174221 14316269568 52696 18446744073709551615 4194304 4196468 140733604437232 139924966173616 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
Current children cumulated CPU time: 2452.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 212164 KiB

[startup+2502.3 s]
/proc/loadavg: 1.48 1.72 1.70 3/211 12824
/proc/meminfo: memFree=30325424/32770624 swapFree=67108860/67108860
[pid=12588] ppid=12585 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/12588/stat : 12588 (xcsp3-exec) S 12585 12588 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 71174206 9740288 345 18446744073709551615 4194304 5098028 140731240810960 140731240809064 140346639295100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 33198080 140731240817017 140731240817221 140731240817221 140731240820715 0
/proc/12588/statm: 2378 345 289 221 0 87 0
[pid=12590] ppid=12588 vsize=13980732 memory=210804 CPUtime=2512.25 cores=0,2,4,6
/proc/12590/stat : 12590 (java) S 12588 12588 11586 0 -1 1077944320 85721 0 0 0 251110 115 0 0 20 0 15 0 71174211 14316269568 52701 18446744073709551615 4194304 4196468 140733604437232 140733604419776 139925496835831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
/proc/12590/statm: 3495183 52701 3231 1 0 3483476 0
[pid=12590/tid=12591] ppid=12588 vsize=13980732 memory=210804 CPUtime=2499.76 cores=0,2,4,6
/proc/12590/task/12591/stat : 12591 (java) R 12588 12588 11586 0 -1 4202560 21340 0 0 0 249967 9 0 0 20 0 15 0 71174211 14316269568 52701 18446744073709551615 4194304 4196468 140733604437232 139925501074976 139925089609809 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12592] ppid=12588 vsize=13980732 memory=210804 CPUtime=0.94 cores=0,2,4,6
/proc/12590/task/12592/stat : 12592 (java) S 12588 12588 11586 0 -1 1077944384 4357 0 0 0 81 13 0 0 20 0 15 0 71174212 14316269568 52701 18446744073709551615 4194304 4196468 140733604437232 139925416249744 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12593] ppid=12588 vsize=13980732 memory=210804 CPUtime=0.93 cores=0,2,4,6
/proc/12590/task/12593/stat : 12593 (java) S 12588 12588 11586 0 -1 1077944384 3747 0 0 0 81 12 0 0 20 0 15 0 71174212 14316269568 52701 18446744073709551615 4194304 4196468 140733604437232 139925415196944 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12594] ppid=12588 vsize=13980732 memory=210804 CPUtime=0.94 cores=0,2,4,6
/proc/12590/task/12594/stat : 12594 (java) S 12588 12588 11586 0 -1 1077944384 2571 0 0 0 81 13 0 0 20 0 15 0 71174212 14316269568 52701 18446744073709551615 4194304 4196468 140733604437232 139925414144656 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12595] ppid=12588 vsize=13980732 memory=210804 CPUtime=0.94 cores=0,2,4,6
/proc/12590/task/12595/stat : 12595 (java) S 12588 12588 11586 0 -1 1077944384 2444 0 0 0 83 11 0 0 20 0 15 0 71174212 14316269568 52701 18446744073709551615 4194304 4196468 140733604437232 139925413091856 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12596] ppid=12588 vsize=13980732 memory=210804 CPUtime=0.93 cores=0,2,4,6
/proc/12590/task/12596/stat : 12596 (java) S 12588 12588 11586 0 -1 1077944384 5455 0 0 0 85 8 0 0 20 0 15 0 71174213 14316269568 52701 18446744073709551615 4194304 4196468 140733604437232 139924974594672 139925496846978 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12597] ppid=12588 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12597/stat : 12597 (java) S 12588 12588 11586 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 71174214 14316269568 52701 18446744073709551615 4194304 4196468 140733604437232 139924973540704 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12598] ppid=12588 vsize=13980732 memory=139754411184588 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12598/stat : 12598 (java) S 12588 12588 11586 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 71174214 14316269568 52701 18446744073709551615 4194304 4196468 140733604437232 139924972488320 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12599] ppid=12588 vsize=13980732 memory=210784 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12599/stat : 12599 (java) S 12588 12588 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71174216 14316269568 52701 18446744073709551615 4194304 4196468 140733604437232 139924971436624 139925496854427 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12600] ppid=12588 vsize=13980732 memory=4120 CPUtime=2.91 cores=0,2,4,6
/proc/12590/task/12600/stat : 12600 (java) S 12588 12588 11586 0 -1 1077944384 17266 0 0 0 289 2 0 0 20 0 15 0 71174216 14316269568 52701 18446744073709551615 4194304 4196468 140733604437232 139924970383472 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12601] ppid=12588 vsize=13980732 memory=39720 CPUtime=2.87 cores=0,2,4,6
/proc/12590/task/12601/stat : 12601 (java) S 12588 12588 11586 0 -1 1077944384 18181 0 0 0 285 2 0 0 20 0 15 0 71174216 14316269568 52701 18446744073709551615 4194304 4196468 140733604437232 139924969330672 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12602] ppid=12588 vsize=13980732 memory=-8774313645642428999 CPUtime=0.58 cores=0,2,4,6
/proc/12590/task/12602/stat : 12602 (java) S 12588 12588 11586 0 -1 1077944384 7075 0 0 0 56 2 0 0 20 0 15 0 71174216 14316269568 52701 18446744073709551615 4194304 4196468 140733604437232 139924968278384 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12603] ppid=12588 vsize=13980732 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12603/stat : 12603 (java) S 12588 12588 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71174216 14316269568 52701 18446744073709551615 4194304 4196468 140733604437232 139924967225824 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12604] ppid=12588 vsize=13980732 memory=1380 CPUtime=1.35 cores=0,2,4,6
/proc/12590/task/12604/stat : 12604 (java) S 12588 12588 11586 0 -1 1077944384 1926 0 0 0 67 68 0 0 20 0 15 0 71174221 14316269568 52701 18446744073709551615 4194304 4196468 140733604437232 139924966173616 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
Current children cumulated CPU time: 2512.25 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 212184 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2510.11 s]
/proc/loadavg: 1.44 1.71 1.69 3/211 12825
/proc/meminfo: memFree=30325424/32770624 swapFree=67108860/67108860
[pid=12588] ppid=12585 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/12588/stat : 12588 (xcsp3-exec) S 12585 12588 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 71174206 9740288 345 18446744073709551615 4194304 5098028 140731240810960 140731240809064 140346639295100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 33198080 140731240817017 140731240817221 140731240817221 140731240820715 0
/proc/12588/statm: 2378 345 289 221 0 87 0
[pid=12590] ppid=12588 vsize=13980732 memory=210812 CPUtime=2520.08 cores=0,2,4,6
/proc/12590/stat : 12590 (java) S 12588 12588 11586 0 -1 1077944320 86465 0 0 0 251893 115 0 0 20 0 15 0 71174211 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 140733604419776 139925496835831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
/proc/12590/statm: 3495183 52703 3231 1 0 3483476 0
[pid=12590/tid=12591] ppid=12588 vsize=13980732 memory=210812 CPUtime=2507.56 cores=0,2,4,6
/proc/12590/task/12591/stat : 12591 (java) R 12588 12588 11586 0 -1 4202560 21503 0 0 0 250747 9 0 0 20 0 15 0 71174211 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139925501075248 139925089672221 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12592] ppid=12588 vsize=13980732 memory=1380 CPUtime=0.94 cores=0,2,4,6
/proc/12590/task/12592/stat : 12592 (java) S 12588 12588 11586 0 -1 1077944384 4637 0 0 0 81 13 0 0 20 0 15 0 71174212 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139925416249744 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12593] ppid=12588 vsize=13980732 memory=210812 CPUtime=0.93 cores=0,2,4,6
/proc/12590/task/12593/stat : 12593 (java) S 12588 12588 11586 0 -1 1077944384 3752 0 0 0 81 12 0 0 20 0 15 0 71174212 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139925415196944 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12594] ppid=12588 vsize=13980732 memory=1380 CPUtime=0.94 cores=0,2,4,6
/proc/12590/task/12594/stat : 12594 (java) S 12588 12588 11586 0 -1 1077944384 2680 0 0 0 81 13 0 0 20 0 15 0 71174212 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139925414144656 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12595] ppid=12588 vsize=13980732 memory=1380 CPUtime=0.94 cores=0,2,4,6
/proc/12590/task/12595/stat : 12595 (java) S 12588 12588 11586 0 -1 1077944384 2450 0 0 0 83 11 0 0 20 0 15 0 71174212 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139925413091856 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12596] ppid=12588 vsize=13980732 memory=210812 CPUtime=0.94 cores=0,2,4,6
/proc/12590/task/12596/stat : 12596 (java) S 12588 12588 11586 0 -1 1077944384 5630 0 0 0 86 8 0 0 20 0 15 0 71174213 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139924974594672 139925496846978 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12597] ppid=12588 vsize=13980732 memory=210812 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12597/stat : 12597 (java) S 12588 12588 11586 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 71174214 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139924973540704 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12598] ppid=12588 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12598/stat : 12598 (java) S 12588 12588 11586 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 71174214 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139924972488320 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12599] ppid=12588 vsize=13980732 memory=139754411184588 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12599/stat : 12599 (java) S 12588 12588 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71174216 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139924971436624 139925496854427 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12600] ppid=12588 vsize=13980732 memory=2257 CPUtime=2.91 cores=0,2,4,6
/proc/12590/task/12600/stat : 12600 (java) S 12588 12588 11586 0 -1 1077944384 17268 0 0 0 289 2 0 0 20 0 15 0 71174216 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139924970383472 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12601] ppid=12588 vsize=13980732 memory=1380 CPUtime=2.87 cores=0,2,4,6
/proc/12590/task/12601/stat : 12601 (java) S 12588 12588 11586 0 -1 1077944384 18183 0 0 0 285 2 0 0 20 0 15 0 71174216 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139924969330672 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12602] ppid=12588 vsize=13980732 memory=210812 CPUtime=0.58 cores=0,2,4,6
/proc/12590/task/12602/stat : 12602 (java) S 12588 12588 11586 0 -1 1077944384 7077 0 0 0 56 2 0 0 20 0 15 0 71174216 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139924968278384 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12603] ppid=12588 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12603/stat : 12603 (java) S 12588 12588 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71174216 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139924967225824 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12604] ppid=12588 vsize=13980732 memory=210804 CPUtime=1.37 cores=0,2,4,6
/proc/12590/task/12604/stat : 12604 (java) S 12588 12588 11586 0 -1 1077944384 1926 0 0 0 68 69 0 0 20 0 15 0 71174221 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139924966173616 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 212192 KiB

Sending SIGTERM to process tree (bottom up)

[startup+2510.12 s]
# the end of solver process 12588 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.94 s, system=1.16552 s

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

[startup+2510.11 s]
/proc/loadavg: 1.44 1.71 1.69 3/211 12825
/proc/meminfo: memFree=30325424/32770624 swapFree=67108860/67108860
[pid=12588] ppid=12585 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/12588/stat : 12588 (xcsp3-exec) S 12585 12588 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 71174206 9740288 345 18446744073709551615 4194304 5098028 140731240810960 140731240809064 140346639295100 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 33198080 140731240817017 140731240817221 140731240817221 140731240820715 0
/proc/12588/statm: 2378 345 289 221 0 87 0
[pid=12590] ppid=12588 vsize=13980732 memory=210812 CPUtime=2520.08 cores=0,2,4,6
/proc/12590/stat : 12590 (java) S 12588 12588 11586 0 -1 1077944320 86465 0 0 0 251893 115 0 0 20 0 15 0 71174211 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 140733604419776 139925496835831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
/proc/12590/statm: 3495183 52703 3231 1 0 3483476 0
[pid=12590/tid=12591] ppid=12588 vsize=13980732 memory=210812 CPUtime=2507.56 cores=0,2,4,6
/proc/12590/task/12591/stat : 12591 (java) R 12588 12588 11586 0 -1 4202560 21503 0 0 0 250747 9 0 0 20 0 15 0 71174211 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139925501075248 139925089672221 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12592] ppid=12588 vsize=13980732 memory=1380 CPUtime=0.94 cores=0,2,4,6
/proc/12590/task/12592/stat : 12592 (java) S 12588 12588 11586 0 -1 1077944384 4637 0 0 0 81 13 0 0 20 0 15 0 71174212 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139925416249744 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12593] ppid=12588 vsize=13980732 memory=210812 CPUtime=0.93 cores=0,2,4,6
/proc/12590/task/12593/stat : 12593 (java) S 12588 12588 11586 0 -1 1077944384 3752 0 0 0 81 12 0 0 20 0 15 0 71174212 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139925415196944 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12594] ppid=12588 vsize=13980732 memory=1380 CPUtime=0.94 cores=0,2,4,6
/proc/12590/task/12594/stat : 12594 (java) S 12588 12588 11586 0 -1 1077944384 2680 0 0 0 81 13 0 0 20 0 15 0 71174212 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139925414144656 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12595] ppid=12588 vsize=13980732 memory=1380 CPUtime=0.94 cores=0,2,4,6
/proc/12590/task/12595/stat : 12595 (java) S 12588 12588 11586 0 -1 1077944384 2450 0 0 0 83 11 0 0 20 0 15 0 71174212 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139925413091856 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12596] ppid=12588 vsize=13980732 memory=210812 CPUtime=0.94 cores=0,2,4,6
/proc/12590/task/12596/stat : 12596 (java) S 12588 12588 11586 0 -1 1077944384 5630 0 0 0 86 8 0 0 20 0 15 0 71174213 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139924974594672 139925496846978 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12597] ppid=12588 vsize=13980732 memory=210812 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12597/stat : 12597 (java) S 12588 12588 11586 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 71174214 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139924973540704 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12598] ppid=12588 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12598/stat : 12598 (java) S 12588 12588 11586 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 71174214 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139924972488320 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12599] ppid=12588 vsize=13980732 memory=139754411184588 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12599/stat : 12599 (java) S 12588 12588 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71174216 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139924971436624 139925496854427 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12600] ppid=12588 vsize=13980732 memory=2257 CPUtime=2.91 cores=0,2,4,6
/proc/12590/task/12600/stat : 12600 (java) S 12588 12588 11586 0 -1 1077944384 17268 0 0 0 289 2 0 0 20 0 15 0 71174216 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139924970383472 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12601] ppid=12588 vsize=13980732 memory=1380 CPUtime=2.87 cores=0,2,4,6
/proc/12590/task/12601/stat : 12601 (java) S 12588 12588 11586 0 -1 1077944384 18183 0 0 0 285 2 0 0 20 0 15 0 71174216 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139924969330672 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12602] ppid=12588 vsize=13980732 memory=210812 CPUtime=0.58 cores=0,2,4,6
/proc/12590/task/12602/stat : 12602 (java) S 12588 12588 11586 0 -1 1077944384 7077 0 0 0 56 2 0 0 20 0 15 0 71174216 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139924968278384 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12603] ppid=12588 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/12590/task/12603/stat : 12603 (java) S 12588 12588 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71174216 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139924967225824 139925496846037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
[pid=12590/tid=12604] ppid=12588 vsize=13980732 memory=210804 CPUtime=1.37 cores=0,2,4,6
/proc/12590/task/12604/stat : 12604 (java) S 12588 12588 11586 0 -1 1077944384 1926 0 0 0 68 69 0 0 20 0 15 0 71174221 14316269568 52703 18446744073709551615 4194304 4196468 140733604437232 139924966173616 139925496846978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7651328 140733604438449 140733604438625 140733604438625 140733604442063 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 212192 KiB

Child status: 143
Real time (s): 2510.12
CPU time (s): 2520.1
CPU user time (s): 2518.94
CPU system time (s): 1.16552
CPU usage (%): 100.398
Max. virtual memory (cumulated for all children) (KiB): 13992772
Max. memory (cumulated for all children) (KiB): 293544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.94
system time used= 1.16552
maximum resident set size= 305480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87204
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= 78848
involuntary context switches= 3480


# summary of solver processes directly reported to runsolver:
#   pid: 12588
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2518.94
#   total CPU system time (s): 1.16552

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3804 second user time and 23.8648 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-15 22:04:39
IDJOB=4268974
IDBENCH=136072
IDSOLVER=2660
FILE ID=node124/4268974-1502828336
RUNJOBID= node124-1502673801-14689
PBS_JOBID= 
Free space on /tmp= 62024 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-4268974-1502828336/watcher-4268974-1502828336 -o /tmp/evaluation-result-4268974-1502828336/solver-4268974-1502828336 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14689 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 288098567 HOME/instance-4268974-1502828336.xml

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

MD5SUM BENCH= 7c2bd2aca8e68eed10397cff07eceed9
RANDOM SEED=288098567

node124.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.51
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.51
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.51
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.51
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:        31375704 kB
MemAvailable:   31816628 kB
Buffers:          248484 kB
Cached:           479432 kB
SwapCached:            0 kB
Active:           645384 kB
Inactive:         300936 kB
Active(anon):     170092 kB
Inactive(anon):    81948 kB
Active(file):     475292 kB
Inactive(file):   218988 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7660 kB
Writeback:             0 kB
AnonPages:        218308 kB
Mapped:            60404 kB
Shmem:             33512 kB
Slab:             151808 kB
SReclaimable:     124960 kB
SUnreclaim:        26848 kB
KernelStack:        3456 kB
PageTables:         5588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1154780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62016 MiB
End job on node124 at 2017-08-15 22:46:30