Trace number 4400553

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 2019-09-16? (TO) 2400.4 603.575

General information on the benchmark

NameBinPacking/BinPacking-sum-sw100/
BinPacking-sum-sw100-01.xml
MD5SUM158e2c33e228ebf79a07c013c2cd02f9
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2003.68
Satisfiable
(Un)Satisfiability was proved
Number of variables109
Number of constraints39
Number of domains2
Minimum domain size19
Maximum domain size47
Distribution of domain sizes[{"size":19,"count":1},{"size":47,"count":108}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":90},{"degree":5,"count":18}]
Minimum constraint arity6
Maximum constraint arity108
Distribution of constraint arities[{"arity":6,"count":36},{"arity":19,"count":1},{"arity":108,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":18},{"type":"lex","count":1},{"type":"sum","count":18},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400553-1568695833.xml"  -tl '2400s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4400553-1568695833.xml, -tl, 2400s, -p, 4]
0.35/0.22	c 4 solvers in parallel
0.35/0.28	c parse instance...
1.04/0.54	c solve instance...
2400.12/603.55	s UNKNOWN
2400.12/603.55	c Unexpected resolution interruption!

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400553-1568695833/watcher-4400553-1568695833 -o /tmp/evaluation-result-4400553-1568695833/solver-4400553-1568695833 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568694194-22970 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1621525373 HOME/instance-4400553-1568695833.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=29461, runsolver pid=29458
Current StackSize limit: 8192 KiB


[startup+0.100496 s]*
/proc/loadavg: 8.25 8.46 7.33 4/230 29477
/proc/meminfo: memFree=26601452/32770624 swapFree=66959728/67108860
[pid=29461] ppid=29458 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp3-exec) S 29458 29461 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445523501 115843072 362 33554432000 4194304 5098028 140723327474512 140723327472616 140667962438268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28966912 140723327480698 140723327480941 140723327480941 140723327483850 0
/proc/29461/statm: 28282 362 304 221 0 87 0
[pid=29463] ppid=29461 vsize=15144776 memory=29016 CPUtime=0.13 cores=0,2,4,6
/proc/29463/stat : 29463 (java) S 29461 29461 22939 0 -1 1077944320 5688 0 0 0 12 1 0 0 20 0 15 0 445523501 15508250624 7254 33554432000 4194304 4196468 140723636042944 140723636025488 140419504766711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
/proc/29463/statm: 3786194 7254 3151 1 0 3748377 0
[pid=29463/tid=29464] ppid=29461 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/29463/task/29464/stat : 29464 (java) R 29461 29461 22939 0 -1 4202560 3564 0 0 0 8 1 0 0 20 0 15 0 445523501 15508250624 7254 33554432000 4194304 4196468 140723636042944 140419508991120 140419488847198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29465] ppid=29461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29465/stat : 29465 (java) S 29461 29461 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523502 15508250624 7254 33554432000 4194304 4196468 140723636042944 140419461318928 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29466] ppid=29461 vsize=15144776 memory=140625679955584 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29466/stat : 29466 (java) S 29461 29461 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523502 15508250624 7254 33554432000 4194304 4196468 140723636042944 140419095779728 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29467] ppid=29461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29467/stat : 29467 (java) S 29461 29461 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523502 15508250624 7254 33554432000 4194304 4196468 140723636042944 140419094727184 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29468] ppid=29461 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29468/stat : 29468 (java) S 29461 29461 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445523502 15508250624 7254 33554432000 4194304 4196468 140723636042944 140419093674640 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29469] ppid=29461 vsize=15144776 memory=140625679955584 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29469/stat : 29469 (java) S 29461 29461 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445523503 15508250624 7254 33554432000 4194304 4196468 140723636042944 140418973006320 140419504777858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29470] ppid=29461 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29470/stat : 29470 (java) S 29461 29461 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445523504 15508250624 7254 33554432000 4194304 4196468 140723636042944 140418971952544 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29471] ppid=29461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29471/stat : 29471 (java) S 29461 29461 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445523504 15508250624 7254 33554432000 4194304 4196468 140723636042944 140418970899952 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29472] ppid=29461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29472/stat : 29472 (java) S 29461 29461 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445523506 15508250624 7254 33554432000 4194304 4196468 140723636042944 140418969848528 140419504785307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29473] ppid=29461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29473/stat : 29473 (java) R 29461 29461 22939 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 445523506 15508250624 7254 33554432000 4194304 4196468 140723636042944 140418968795120 140419504777858 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29474] ppid=29461 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29474/stat : 29474 (java) R 29461 29461 22939 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 15 0 445523506 15508250624 7254 33554432000 4194304 4196468 140723636042944 140418967742576 140419485212000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29475] ppid=29461 vsize=15144776 memory=140625679955584 CPUtime=0.02 cores=0,2,4,6
/proc/29463/task/29475/stat : 29475 (java) R 29461 29461 22939 0 -1 4202560 369 0 0 0 2 0 0 0 20 0 15 0 445523506 15508250624 7254 33554432000 4194304 4196468 140723636042944 140418966690032 140419488847198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29476] ppid=29461 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29476/stat : 29476 (java) S 29461 29461 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445523507 15508250624 7254 33554432000 4194304 4196468 140723636042944 140418965637728 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29477] ppid=29461 vsize=15144776 memory=140625679955584 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29477/stat : 29477 (java) S 29461 29461 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523507 15508250624 7254 33554432000 4194304 4196468 140723636042944 140418964585264 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30464 KiB

[startup+0.212106 s]*
/proc/loadavg: 8.25 8.46 7.33 4/230 29477
/proc/meminfo: memFree=26593720/32770624 swapFree=66959728/67108860
[pid=29461] ppid=29458 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp3-exec) S 29458 29461 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445523501 115843072 362 33554432000 4194304 5098028 140723327474512 140723327472616 140667962438268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28966912 140723327480698 140723327480941 140723327480941 140723327483850 0
/proc/29461/statm: 28282 362 304 221 0 87 0
[pid=29463] ppid=29461 vsize=15144776 memory=40388 CPUtime=0.35 cores=0,2,4,6
/proc/29463/stat : 29463 (java) S 29461 29461 22939 0 -1 1077944320 9311 0 0 0 32 3 0 0 20 0 15 0 445523501 15508250624 10097 33554432000 4194304 4196468 140723636042944 140723636025488 140419504766711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
/proc/29463/statm: 3786194 10097 3306 1 0 3748377 0
[pid=29463/tid=29464] ppid=29461 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/29463/task/29464/stat : 29464 (java) R 29461 29461 22939 0 -1 4202560 6546 0 0 0 18 2 0 0 20 0 15 0 445523501 15508250624 10097 33554432000 4194304 4196468 140723636042944 140419509000832 140419488847198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29465] ppid=29461 vsize=15144776 memory=1965946 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29465/stat : 29465 (java) S 29461 29461 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523502 15508250624 10097 33554432000 4194304 4196468 140723636042944 140419461318928 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29466] ppid=29461 vsize=15144776 memory=140625683308597 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29466/stat : 29466 (java) S 29461 29461 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523502 15508250624 10097 33554432000 4194304 4196468 140723636042944 140419095779728 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29467] ppid=29461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29467/stat : 29467 (java) S 29461 29461 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523502 15508250624 10097 33554432000 4194304 4196468 140723636042944 140419094727184 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29468] ppid=29461 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29468/stat : 29468 (java) S 29461 29461 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445523502 15508250624 10097 33554432000 4194304 4196468 140723636042944 140419093674640 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29469] ppid=29461 vsize=15144776 memory=140625679955584 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29469/stat : 29469 (java) S 29461 29461 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445523503 15508250624 10097 33554432000 4194304 4196468 140723636042944 140418973006320 140419504777858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29470] ppid=29461 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29470/stat : 29470 (java) S 29461 29461 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445523504 15508250624 10097 33554432000 4194304 4196468 140723636042944 140418971952544 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29471] ppid=29461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29471/stat : 29471 (java) S 29461 29461 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445523504 15508250624 10097 33554432000 4194304 4196468 140723636042944 140418970899952 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29472] ppid=29461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29472/stat : 29472 (java) S 29461 29461 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445523506 15508250624 10097 33554432000 4194304 4196468 140723636042944 140418969848528 140419504785307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29473] ppid=29461 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29463/task/29473/stat : 29473 (java) S 29461 29461 22939 0 -1 1077944384 530 0 0 0 2 0 0 0 20 0 15 0 445523506 15508250624 10097 33554432000 4194304 4196468 140723636042944 140418968795120 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29474] ppid=29461 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29463/task/29474/stat : 29474 (java) S 29461 29461 22939 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 15 0 445523506 15508250624 10097 33554432000 4194304 4196468 140723636042944 140418967742576 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29475] ppid=29461 vsize=15144776 memory=140625679955584 CPUtime=0.08 cores=0,2,4,6
/proc/29463/task/29475/stat : 29475 (java) S 29461 29461 22939 0 -1 1077944384 821 0 0 0 8 0 0 0 20 0 15 0 445523506 15508250624 10097 33554432000 4194304 4196468 140723636042944 140418966690032 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29476] ppid=29461 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29476/stat : 29476 (java) S 29461 29461 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445523507 15508250624 10097 33554432000 4194304 4196468 140723636042944 140418965637728 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29477] ppid=29461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29477/stat : 29477 (java) S 29461 29461 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523507 15508250624 10097 33554432000 4194304 4196468 140723636042944 140418964585264 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41836 KiB

[startup+0.312715 s]*
/proc/loadavg: 8.25 8.46 7.33 6/230 29477
/proc/meminfo: memFree=26590428/32770624 swapFree=66959728/67108860
[pid=29461] ppid=29458 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp3-exec) S 29458 29461 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445523501 115843072 362 33554432000 4194304 5098028 140723327474512 140723327472616 140667962438268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28966912 140723327480698 140723327480941 140723327480941 140723327483850 0
/proc/29461/statm: 28282 362 304 221 0 87 0
[pid=29463] ppid=29461 vsize=15149032 memory=50036 CPUtime=0.54 cores=0,2,4,6
/proc/29463/stat : 29463 (java) S 29461 29461 22939 0 -1 1077944320 10829 0 0 0 50 4 0 0 20 0 15 0 445523501 15512608768 12509 33554432000 4194304 4196468 140723636042944 140723636025488 140419504766711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
/proc/29463/statm: 3787258 12509 3367 1 0 3748377 0
[pid=29463/tid=29464] ppid=29461 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/29463/task/29464/stat : 29464 (java) R 29461 29461 22939 0 -1 4202560 7735 0 0 0 27 3 0 0 20 0 15 0 445523501 15512608768 12509 33554432000 4194304 4196468 140723636042944 140419508997824 140419488847198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29465] ppid=29461 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29465/stat : 29465 (java) S 29461 29461 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523502 15512608768 12509 33554432000 4194304 4196468 140723636042944 140419461318928 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29466] ppid=29461 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29466/stat : 29466 (java) S 29461 29461 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523502 15512608768 12509 33554432000 4194304 4196468 140723636042944 140419095779728 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29467] ppid=29461 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29467/stat : 29467 (java) S 29461 29461 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523502 15512608768 12509 33554432000 4194304 4196468 140723636042944 140419094727184 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29468] ppid=29461 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29468/stat : 29468 (java) S 29461 29461 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445523502 15512608768 12509 33554432000 4194304 4196468 140723636042944 140419093674640 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29469] ppid=29461 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29469/stat : 29469 (java) S 29461 29461 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445523503 15512608768 12509 33554432000 4194304 4196468 140723636042944 140418973006320 140419504777858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29470] ppid=29461 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29470/stat : 29470 (java) S 29461 29461 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445523504 15512608768 12509 33554432000 4194304 4196468 140723636042944 140418971952544 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29471] ppid=29461 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29471/stat : 29471 (java) S 29461 29461 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445523504 15512608768 12509 33554432000 4194304 4196468 140723636042944 140418970899952 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29472] ppid=29461 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29472/stat : 29472 (java) S 29461 29461 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445523506 15512608768 12509 33554432000 4194304 4196468 140723636042944 140418969848528 140419504785307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29473] ppid=29461 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/29463/task/29473/stat : 29473 (java) S 29461 29461 22939 0 -1 1077944384 538 0 0 0 4 0 0 0 20 0 15 0 445523506 15512608768 12509 33554432000 4194304 4196468 140723636042944 140418968795120 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29474] ppid=29461 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/29463/task/29474/stat : 29474 (java) R 29461 29461 22939 0 -1 4202560 264 0 0 0 5 0 0 0 20 0 15 0 445523506 15512608768 12509 33554432000 4194304 4196468 140723636042944 140418967723592 140419504788058 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29475] ppid=29461 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/29463/task/29475/stat : 29475 (java) S 29461 29461 22939 0 -1 1077944384 985 0 0 0 12 0 0 0 20 0 15 0 445523506 15512608768 12509 33554432000 4194304 4196468 140723636042944 140418966690032 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29476] ppid=29461 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29476/stat : 29476 (java) S 29461 29461 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445523507 15512608768 12509 33554432000 4194304 4196468 140723636042944 140418965637728 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29477] ppid=29461 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29477/stat : 29477 (java) S 29461 29461 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523507 15512608768 12509 33554432000 4194304 4196468 140723636042944 140418964585264 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51484 KiB

[startup+0.701348 s]
/proc/loadavg: 8.25 8.46 7.33 10/230 29477
/proc/meminfo: memFree=26498608/32770624 swapFree=66959728/67108860
[pid=29461] ppid=29458 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp3-exec) S 29458 29461 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445523501 115843072 362 33554432000 4194304 5098028 140723327474512 140723327472616 140667962438268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28966912 140723327480698 140723327480941 140723327480941 140723327483850 0
/proc/29461/statm: 28282 362 304 221 0 87 0
[pid=29463] ppid=29461 vsize=15417412 memory=81948 CPUtime=1.68 cores=0,2,4,6
/proc/29463/stat : 29463 (java) S 29461 29461 22939 0 -1 1077944320 14266 0 0 0 162 6 0 0 20 0 19 0 445523501 15787429888 20487 33554432000 4194304 4196468 140723636042944 140723636025488 140419504766711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
/proc/29463/statm: 3854353 20487 3451 1 0 3815453 0
[pid=29463/tid=29464] ppid=29461 vsize=15417412 memory=33 CPUtime=0.53 cores=0,2,4,6
/proc/29463/task/29464/stat : 29464 (java) S 29461 29461 22939 0 -1 1077944384 8639 0 0 0 49 4 0 0 20 0 19 0 445523501 15787429888 20487 33554432000 4194304 4196468 140723636042944 140419509007488 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29465] ppid=29461 vsize=15417412 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29465/stat : 29465 (java) S 29461 29461 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445523502 15787429888 20487 33554432000 4194304 4196468 140723636042944 140419461318928 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29466] ppid=29461 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29466/stat : 29466 (java) S 29461 29461 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445523502 15787429888 20487 33554432000 4194304 4196468 140723636042944 140419095779728 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29467] ppid=29461 vsize=15417412 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29467/stat : 29467 (java) S 29461 29461 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445523502 15787429888 20487 33554432000 4194304 4196468 140723636042944 140419094727184 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29468] ppid=29461 vsize=15417412 memory=48296 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29468/stat : 29468 (java) S 29461 29461 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445523502 15787429888 20487 33554432000 4194304 4196468 140723636042944 140419093674640 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29469] ppid=29461 vsize=15417412 memory=988 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29469/stat : 29469 (java) S 29461 29461 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445523503 15787429888 20487 33554432000 4194304 4196468 140723636042944 140418973006320 140419504777858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29470] ppid=29461 vsize=15417412 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29470/stat : 29470 (java) S 29461 29461 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445523504 15787429888 20487 33554432000 4194304 4196468 140723636042944 140418971952544 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29471] ppid=29461 vsize=15417412 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29471/stat : 29471 (java) S 29461 29461 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445523504 15787429888 20487 33554432000 4194304 4196468 140723636042944 140418970899952 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29472] ppid=29461 vsize=15417412 memory=580 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29472/stat : 29472 (java) S 29461 29461 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445523506 15787429888 20487 33554432000 4194304 4196468 140723636042944 140418969848528 140419504785307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29473] ppid=29461 vsize=15417412 memory=1720 CPUtime=0.24 cores=0,2,4,6
/proc/29463/task/29473/stat : 29473 (java) R 29461 29461 22939 0 -1 4202560 1386 0 0 0 24 0 0 0 20 0 19 0 445523506 15787429888 20487 33554432000 4194304 4196468 140723636042944 140418968781000 140419486311155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29474] ppid=29461 vsize=15417412 memory=10604 CPUtime=0.23 cores=0,2,4,6
/proc/29463/task/29474/stat : 29474 (java) R 29461 29461 22939 0 -1 4202560 776 0 0 0 23 0 0 0 20 0 19 0 445523506 15787429888 20487 33554432000 4194304 4196468 140723636042944 140418967723872 140419486101649 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29475] ppid=29461 vsize=15417412 memory=4160 CPUtime=0.32 cores=0,2,4,6
/proc/29463/task/29475/stat : 29475 (java) S 29461 29461 22939 0 -1 1077944384 1957 0 0 0 32 0 0 0 20 0 19 0 445523506 15787429888 20487 33554432000 4194304 4196468 140723636042944 140418966690032 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29476] ppid=29461 vsize=15417412 memory=776 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29476/stat : 29476 (java) S 29461 29461 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445523507 15787429888 20487 33554432000 4194304 4196468 140723636042944 140418965637728 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29477] ppid=29461 vsize=15417412 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29477/stat : 29477 (java) S 29461 29461 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445523507 15787429888 20487 33554432000 4194304 4196468 140723636042944 140418964585264 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 83396 KiB

[startup+1.5073 s]
/proc/loadavg: 8.23 8.45 7.33 8/233 29481
/proc/meminfo: memFree=26479940/32770624 swapFree=66959728/67108860
[pid=29461] ppid=29458 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp3-exec) S 29458 29461 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445523501 115843072 362 33554432000 4194304 5098028 140723327474512 140723327472616 140667962438268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28966912 140723327480698 140723327480941 140723327480941 140723327483850 0
/proc/29461/statm: 28282 362 304 221 0 87 0

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

/proc/29463/stat : 29463 (java) S 29461 29461 22939 0 -1 1077944320 63152 0 0 0 231542 39 0 0 20 0 19 0 445523501 15787429888 98131 33554432000 4194304 4196468 140723636042944 140723636025488 140419504766711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
/proc/29463/statm: 3854353 98131 3528 1 0 3815453 0
[pid=29463/tid=29464] ppid=29461 vsize=15417412 memory=392524 CPUtime=0.53 cores=0,2,4,6
/proc/29463/task/29464/stat : 29464 (java) S 29461 29461 22939 0 -1 1077944384 8639 0 0 0 49 4 0 0 20 0 19 0 445523501 15787429888 98131 33554432000 4194304 4196468 140723636042944 140419509007488 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29465] ppid=29461 vsize=15417412 memory=3400 CPUtime=0.42 cores=0,2,4,6
/proc/29463/task/29465/stat : 29465 (java) S 29461 29461 22939 0 -1 1077944384 1663 0 0 0 37 5 0 0 20 0 19 0 445523502 15787429888 98131 33554432000 4194304 4196468 140723636042944 140419461318928 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29466] ppid=29461 vsize=15417412 memory=1448 CPUtime=0.41 cores=0,2,4,6
/proc/29463/task/29466/stat : 29466 (java) S 29461 29461 22939 0 -1 1077944384 1680 0 0 0 37 4 0 0 20 0 19 0 445523502 15787429888 98131 33554432000 4194304 4196468 140723636042944 140419095779728 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29467] ppid=29461 vsize=15417412 memory=1448 CPUtime=0.42 cores=0,2,4,6
/proc/29463/task/29467/stat : 29467 (java) S 29461 29461 22939 0 -1 1077944384 2617 0 0 0 37 5 0 0 20 0 19 0 445523502 15787429888 98131 33554432000 4194304 4196468 140723636042944 140419094727184 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29468] ppid=29461 vsize=15417412 memory=1448 CPUtime=0.41 cores=0,2,4,6
/proc/29463/task/29468/stat : 29468 (java) S 29461 29461 22939 0 -1 1077944384 2212 0 0 0 37 4 0 0 20 0 19 0 445523502 15787429888 98131 33554432000 4194304 4196468 140723636042944 140419093674640 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29469] ppid=29461 vsize=15417412 memory=392524 CPUtime=0.3 cores=0,2,4,6
/proc/29463/task/29469/stat : 29469 (java) S 29461 29461 22939 0 -1 1077944384 2648 0 0 0 18 12 0 0 20 0 19 0 445523503 15787429888 98131 33554432000 4194304 4196468 140723636042944 140418973006320 140419504777858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29470] ppid=29461 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29470/stat : 29470 (java) S 29461 29461 22939 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 445523504 15787429888 98131 33554432000 4194304 4196468 140723636042944 140418971952608 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29471] ppid=29461 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29471/stat : 29471 (java) S 29461 29461 22939 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 19 0 445523504 15787429888 98131 33554432000 4194304 4196468 140723636042944 140418970899968 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29472] ppid=29461 vsize=15417412 memory=392524 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29472/stat : 29472 (java) S 29461 29461 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445523506 15787429888 98131 33554432000 4194304 4196468 140723636042944 140418969848528 140419504785307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29473] ppid=29461 vsize=15417412 memory=392524 CPUtime=2.08 cores=0,2,4,6
/proc/29463/task/29473/stat : 29473 (java) S 29461 29461 22939 0 -1 1077944384 15212 0 0 0 207 1 0 0 20 0 19 0 445523506 15787429888 98131 33554432000 4194304 4196468 140723636042944 140418968795120 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29474] ppid=29461 vsize=15417412 memory=1448 CPUtime=2.13 cores=0,2,4,6
/proc/29463/task/29474/stat : 29474 (java) S 29461 29461 22939 0 -1 1077944384 12640 0 0 0 212 1 0 0 20 0 19 0 445523506 15787429888 98131 33554432000 4194304 4196468 140723636042944 140418967742576 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29475] ppid=29461 vsize=15417412 memory=384332 CPUtime=0.51 cores=0,2,4,6
/proc/29463/task/29475/stat : 29475 (java) S 29461 29461 22939 0 -1 1077944384 6454 0 0 0 50 1 0 0 20 0 19 0 445523506 15787429888 98131 33554432000 4194304 4196468 140723636042944 140418966690032 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29476] ppid=29461 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29476/stat : 29476 (java) S 29461 29461 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445523507 15787429888 98131 33554432000 4194304 4196468 140723636042944 140418965637728 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29477] ppid=29461 vsize=15417412 memory=1556 CPUtime=0.14 cores=0,2,4,6
/proc/29463/task/29477/stat : 29477 (java) S 29461 29461 22939 0 -1 1077944384 737 0 0 0 0 14 0 0 20 0 19 0 445523507 15787429888 98131 33554432000 4194304 4196468 140723636042944 140418964585264 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29478] ppid=29461 vsize=15417412 memory=928 CPUtime=576.55 cores=0,2,4,6
/proc/29463/task/29478/stat : 29478 (java) R 29461 29461 22939 0 -1 4202560 959 0 0 0 57655 0 0 0 20 0 19 0 445523556 15787429888 98131 33554432000 4194304 4196468 140723636042944 140418955602848 140419145564332 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29479] ppid=29461 vsize=15417412 memory=1772 CPUtime=577.83 cores=0,2,4,6
/proc/29463/task/29479/stat : 29479 (java) R 29461 29461 22939 0 -1 4202560 3632 0 0 0 57782 1 0 0 20 0 19 0 445523557 15787429888 98131 33554432000 4194304 4196468 140723636042944 140418954554352 140419147060843 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29480] ppid=29461 vsize=15417412 memory=6791534058613427641 CPUtime=576.63 cores=0,2,4,6
/proc/29463/task/29480/stat : 29480 (java) R 29461 29461 22939 0 -1 4202560 981 0 0 0 57663 0 0 0 20 0 19 0 445523557 15787429888 98131 33554432000 4194304 4196468 140723636042944 140418953499192 140419144491712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29481] ppid=29461 vsize=15417412 memory=384332 CPUtime=577.3 cores=0,2,4,6
/proc/29463/task/29481/stat : 29481 (java) R 29461 29461 22939 0 -1 4202560 1661 0 0 0 57730 0 0 0 20 0 19 0 445523557 15787429888 98131 33554432000 4194304 4196468 140723636042944 140418952445480 140419145574477 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
Current children cumulated CPU time: 2315.81 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 393972 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+603.501 s]
/proc/loadavg: 8.10 8.27 7.76 10/237 29630
/proc/meminfo: memFree=24549564/32770624 swapFree=66959728/67108860
[pid=29461] ppid=29458 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp3-exec) S 29458 29461 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445523501 115843072 362 33554432000 4194304 5098028 140723327474512 140723327472616 140667962438268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28966912 140723327480698 140723327480941 140723327480941 140723327483850 0
/proc/29461/statm: 28282 362 304 221 0 87 0
[pid=29463] ppid=29461 vsize=15417412 memory=410956 CPUtime=2400.12 cores=0,2,4,6
/proc/29463/stat : 29463 (java) S 29461 29461 22939 0 -1 1077944320 63301 0 0 0 239971 41 0 0 20 0 19 0 445523501 15787429888 102739 33554432000 4194304 4196468 140723636042944 140723636025488 140419504766711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
/proc/29463/statm: 3854353 102739 3528 1 0 3815453 0
[pid=29463/tid=29464] ppid=29461 vsize=15417412 memory=410956 CPUtime=0.53 cores=0,2,4,6
/proc/29463/task/29464/stat : 29464 (java) S 29461 29461 22939 0 -1 1077944384 8639 0 0 0 49 4 0 0 20 0 19 0 445523501 15787429888 102739 33554432000 4194304 4196468 140723636042944 140419509007488 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29465] ppid=29461 vsize=15417412 memory=1448 CPUtime=0.45 cores=0,2,4,6
/proc/29463/task/29465/stat : 29465 (java) S 29461 29461 22939 0 -1 1077944384 1682 0 0 0 40 5 0 0 20 0 19 0 445523502 15787429888 102739 33554432000 4194304 4196468 140723636042944 140419461318928 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29466] ppid=29461 vsize=15417412 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/29463/task/29466/stat : 29466 (java) S 29461 29461 22939 0 -1 1077944384 1697 0 0 0 40 5 0 0 20 0 19 0 445523502 15787429888 102739 33554432000 4194304 4196468 140723636042944 140419095779728 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29467] ppid=29461 vsize=15417412 memory=1448 CPUtime=0.45 cores=0,2,4,6
/proc/29463/task/29467/stat : 29467 (java) S 29461 29461 22939 0 -1 1077944384 2625 0 0 0 39 6 0 0 20 0 19 0 445523502 15787429888 102739 33554432000 4194304 4196468 140723636042944 140419094727184 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29468] ppid=29461 vsize=15417412 memory=1448 CPUtime=0.45 cores=0,2,4,6
/proc/29463/task/29468/stat : 29468 (java) S 29461 29461 22939 0 -1 1077944384 2224 0 0 0 40 5 0 0 20 0 19 0 445523502 15787429888 102739 33554432000 4194304 4196468 140723636042944 140419093674640 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29469] ppid=29461 vsize=15417412 memory=1216 CPUtime=0.33 cores=0,2,4,6
/proc/29463/task/29469/stat : 29469 (java) S 29461 29461 22939 0 -1 1077944384 2650 0 0 0 20 13 0 0 20 0 19 0 445523503 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418973006320 140419504777858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29470] ppid=29461 vsize=15417412 memory=984 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29470/stat : 29470 (java) S 29461 29461 22939 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 445523504 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418971952608 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29471] ppid=29461 vsize=15417412 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29471/stat : 29471 (java) S 29461 29461 22939 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 19 0 445523504 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418970899968 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29472] ppid=29461 vsize=15417412 memory=48308 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29472/stat : 29472 (java) S 29461 29461 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445523506 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418969848528 140419504785307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29473] ppid=29461 vsize=15417412 memory=1448 CPUtime=2.08 cores=0,2,4,6
/proc/29463/task/29473/stat : 29473 (java) S 29461 29461 22939 0 -1 1077944384 15212 0 0 0 207 1 0 0 20 0 19 0 445523506 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418968795120 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29474] ppid=29461 vsize=15417412 memory=400716 CPUtime=2.13 cores=0,2,4,6
/proc/29463/task/29474/stat : 29474 (java) S 29461 29461 22939 0 -1 1077944384 12640 0 0 0 212 1 0 0 20 0 19 0 445523506 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418967742576 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29475] ppid=29461 vsize=15417412 memory=1448 CPUtime=0.51 cores=0,2,4,6
/proc/29463/task/29475/stat : 29475 (java) S 29461 29461 22939 0 -1 1077944384 6454 0 0 0 50 1 0 0 20 0 19 0 445523506 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418966690032 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29476] ppid=29461 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29476/stat : 29476 (java) S 29461 29461 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445523507 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418965637728 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29477] ppid=29461 vsize=15417412 memory=392524 CPUtime=0.15 cores=0,2,4,6
/proc/29463/task/29477/stat : 29477 (java) S 29461 29461 22939 0 -1 1077944384 739 0 0 0 0 15 0 0 20 0 19 0 445523507 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418964585264 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29478] ppid=29461 vsize=15417412 memory=0 CPUtime=597.52 cores=0,2,4,6
/proc/29463/task/29478/stat : 29478 (java) R 29461 29461 22939 0 -1 4202560 963 0 0 0 59752 0 0 0 20 0 19 0 445523556 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418955603160 140419145574540 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29479] ppid=29461 vsize=15417412 memory=48308 CPUtime=598.85 cores=0,2,4,6
/proc/29463/task/29479/stat : 29479 (java) R 29461 29461 22939 0 -1 4202560 3697 0 0 0 59884 1 0 0 20 0 19 0 445523557 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418954551312 140419147060906 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29480] ppid=29461 vsize=15417412 memory=988 CPUtime=597.74 cores=0,2,4,6
/proc/29463/task/29480/stat : 29480 (java) R 29461 29461 22939 0 -1 4202560 987 0 0 0 59774 0 0 0 20 0 19 0 445523557 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418953499192 140419145574477 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29481] ppid=29461 vsize=15417412 memory=14004 CPUtime=598.36 cores=0,2,4,6
/proc/29463/task/29481/stat : 29481 (java) R 29461 29461 22939 0 -1 4202560 1675 0 0 0 59836 0 0 0 20 0 19 0 445523557 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418952448160 140419145574834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 412404 KiB

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

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

[startup+603.574 s]
# the end of solver process 29463 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.98 s, system=0.422206 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+603.501 s]
/proc/loadavg: 8.10 8.27 7.76 10/237 29630
/proc/meminfo: memFree=24549564/32770624 swapFree=66959728/67108860
[pid=29461] ppid=29458 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp3-exec) S 29458 29461 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445523501 115843072 362 33554432000 4194304 5098028 140723327474512 140723327472616 140667962438268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28966912 140723327480698 140723327480941 140723327480941 140723327483850 0
/proc/29461/statm: 28282 362 304 221 0 87 0
[pid=29463] ppid=29461 vsize=15417412 memory=410956 CPUtime=2400.12 cores=0,2,4,6
/proc/29463/stat : 29463 (java) S 29461 29461 22939 0 -1 1077944320 63301 0 0 0 239971 41 0 0 20 0 19 0 445523501 15787429888 102739 33554432000 4194304 4196468 140723636042944 140723636025488 140419504766711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
/proc/29463/statm: 3854353 102739 3528 1 0 3815453 0
[pid=29463/tid=29464] ppid=29461 vsize=15417412 memory=410956 CPUtime=0.53 cores=0,2,4,6
/proc/29463/task/29464/stat : 29464 (java) S 29461 29461 22939 0 -1 1077944384 8639 0 0 0 49 4 0 0 20 0 19 0 445523501 15787429888 102739 33554432000 4194304 4196468 140723636042944 140419509007488 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29465] ppid=29461 vsize=15417412 memory=1448 CPUtime=0.45 cores=0,2,4,6
/proc/29463/task/29465/stat : 29465 (java) S 29461 29461 22939 0 -1 1077944384 1682 0 0 0 40 5 0 0 20 0 19 0 445523502 15787429888 102739 33554432000 4194304 4196468 140723636042944 140419461318928 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29466] ppid=29461 vsize=15417412 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/29463/task/29466/stat : 29466 (java) S 29461 29461 22939 0 -1 1077944384 1697 0 0 0 40 5 0 0 20 0 19 0 445523502 15787429888 102739 33554432000 4194304 4196468 140723636042944 140419095779728 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29467] ppid=29461 vsize=15417412 memory=1448 CPUtime=0.45 cores=0,2,4,6
/proc/29463/task/29467/stat : 29467 (java) S 29461 29461 22939 0 -1 1077944384 2625 0 0 0 39 6 0 0 20 0 19 0 445523502 15787429888 102739 33554432000 4194304 4196468 140723636042944 140419094727184 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29468] ppid=29461 vsize=15417412 memory=1448 CPUtime=0.45 cores=0,2,4,6
/proc/29463/task/29468/stat : 29468 (java) S 29461 29461 22939 0 -1 1077944384 2224 0 0 0 40 5 0 0 20 0 19 0 445523502 15787429888 102739 33554432000 4194304 4196468 140723636042944 140419093674640 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29469] ppid=29461 vsize=15417412 memory=1216 CPUtime=0.33 cores=0,2,4,6
/proc/29463/task/29469/stat : 29469 (java) S 29461 29461 22939 0 -1 1077944384 2650 0 0 0 20 13 0 0 20 0 19 0 445523503 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418973006320 140419504777858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29470] ppid=29461 vsize=15417412 memory=984 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29470/stat : 29470 (java) S 29461 29461 22939 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 445523504 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418971952608 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29471] ppid=29461 vsize=15417412 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29471/stat : 29471 (java) S 29461 29461 22939 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 19 0 445523504 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418970899968 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29472] ppid=29461 vsize=15417412 memory=48308 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29472/stat : 29472 (java) S 29461 29461 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445523506 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418969848528 140419504785307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29473] ppid=29461 vsize=15417412 memory=1448 CPUtime=2.08 cores=0,2,4,6
/proc/29463/task/29473/stat : 29473 (java) S 29461 29461 22939 0 -1 1077944384 15212 0 0 0 207 1 0 0 20 0 19 0 445523506 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418968795120 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29474] ppid=29461 vsize=15417412 memory=400716 CPUtime=2.13 cores=0,2,4,6
/proc/29463/task/29474/stat : 29474 (java) S 29461 29461 22939 0 -1 1077944384 12640 0 0 0 212 1 0 0 20 0 19 0 445523506 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418967742576 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29475] ppid=29461 vsize=15417412 memory=1448 CPUtime=0.51 cores=0,2,4,6
/proc/29463/task/29475/stat : 29475 (java) S 29461 29461 22939 0 -1 1077944384 6454 0 0 0 50 1 0 0 20 0 19 0 445523506 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418966690032 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29476] ppid=29461 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29463/task/29476/stat : 29476 (java) S 29461 29461 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445523507 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418965637728 140419504776917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29477] ppid=29461 vsize=15417412 memory=392524 CPUtime=0.15 cores=0,2,4,6
/proc/29463/task/29477/stat : 29477 (java) S 29461 29461 22939 0 -1 1077944384 739 0 0 0 0 15 0 0 20 0 19 0 445523507 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418964585264 140419504777858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29478] ppid=29461 vsize=15417412 memory=0 CPUtime=597.52 cores=0,2,4,6
/proc/29463/task/29478/stat : 29478 (java) R 29461 29461 22939 0 -1 4202560 963 0 0 0 59752 0 0 0 20 0 19 0 445523556 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418955603160 140419145574540 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29479] ppid=29461 vsize=15417412 memory=48308 CPUtime=598.85 cores=0,2,4,6
/proc/29463/task/29479/stat : 29479 (java) R 29461 29461 22939 0 -1 4202560 3697 0 0 0 59884 1 0 0 20 0 19 0 445523557 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418954551312 140419147060906 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29480] ppid=29461 vsize=15417412 memory=988 CPUtime=597.74 cores=0,2,4,6
/proc/29463/task/29480/stat : 29480 (java) R 29461 29461 22939 0 -1 4202560 987 0 0 0 59774 0 0 0 20 0 19 0 445523557 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418953499192 140419145574477 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
[pid=29463/tid=29481] ppid=29461 vsize=15417412 memory=14004 CPUtime=598.36 cores=0,2,4,6
/proc/29463/task/29481/stat : 29481 (java) R 29461 29461 22939 0 -1 4202560 1675 0 0 0 59836 0 0 0 20 0 19 0 445523557 15787429888 102739 33554432000 4194304 4196468 140723636042944 140418952448160 140419145574834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36499456 140723636044783 140723636044954 140723636044954 140723636047823 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 412404 KiB

Child status: 143
Real time (s): 603.575
CPU time (s): 2400.4
CPU user time (s): 2399.98
CPU system time (s): 0.422206
CPU usage (%): 397.697
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 412404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.422206
maximum resident set size= 411464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64120
page faults= 0
swaps= 0
block input operations= 0
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21676
involuntary context switches= 41608


# summary of solver processes directly reported to runsolver:
#   pid: 29461,29463
#   total CPU time (s): 2400.4
#   total CPU user time (s): 2399.98
#   total CPU system time (s): 0.422206

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.87313 second user time and 6.59618 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-17 06:49:53
IDJOB=4400553
IDBENCH=138148
IDSOLVER=2856
FILE ID=node124/4400553-1568695833
RUNJOBID= node124-1568694194-22970
PBS_JOBID= 21703802
Free space on /tmp= 61704 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-sw100/BinPacking-sum-sw100-01.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400553-1568695833/watcher-4400553-1568695833 -o /tmp/evaluation-result-4400553-1568695833/solver-4400553-1568695833 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568694194-22970 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1621525373 HOME/instance-4400553-1568695833.xml

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

MD5SUM BENCH= 158e2c33e228ebf79a07c013c2cd02f9
RANDOM SEED=1621525373

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.47
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.47
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.47
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.47
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:        26614184 kB
MemAvailable:   30056600 kB
Buffers:          232708 kB
Cached:          3496572 kB
SwapCached:        46376 kB
Active:          2969784 kB
Inactive:        2562380 kB
Active(anon):    1754268 kB
Inactive(anon):    98000 kB
Active(file):    1215516 kB
Inactive(file):  2464380 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66959728 kB
Dirty:             26152 kB
Writeback:         56332 kB
AnonPages:       1865300 kB
Mapped:            61700 kB
Shmem:             40944 kB
Slab:             218940 kB
SReclaimable:     156712 kB
SUnreclaim:        62228 kB
KernelStack:        3712 kB
PageTables:         9260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2981372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1781760 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= 61760 MiB
End job on node124 at 2019-09-17 06:59:57