Trace number 4403612

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 NameAnswerCPU timeWall clock time
choco-solver 2019-09-20? (TO) 2520.62 634.799

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-armies/
Pb-army12-21ls.xml
MD5SUM23e4294b931acf98fdd35eb0662a4341
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark470.531
Satisfiable
(Un)Satisfiability was proved
Number of variables428
Number of constraints644
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":428}]
Minimum variable degree3
Maximum variable degree14
Distribution of variable degrees[{"degree":3,"count":8},{"degree":4,"count":8},{"degree":5,"count":8},{"degree":6,"count":8},{"degree":7,"count":296},{"degree":8,"count":8},{"degree":9,"count":8},{"degree":10,"count":8},{"degree":11,"count":8},{"degree":12,"count":8},{"degree":13,"count":8},{"degree":14,"count":52}]
Minimum constraint arity2
Maximum constraint arity144
Distribution of constraint arities[{"arity":2,"count":222},{"arity":3,"count":8},{"arity":4,"count":8},{"arity":5,"count":296},{"arity":6,"count":8},{"arity":7,"count":8},{"arity":8,"count":8},{"arity":9,"count":8},{"arity":10,"count":8},{"arity":11,"count":8},{"arity":12,"count":8},{"arity":13,"count":52},{"arity":144,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":644}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403612-1568992119.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4403612-1568992119.xml, -tl, 2520s, -p, 4]
0.35/0.22	c 4 solvers in parallel
0.35/0.28	c parse instance...
1.96/0.80	c solve instance...
2520.27/634.77	s UNKNOWN
2520.27/634.77	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 (10794 MiB free)
  memory of node 1: 16384 MiB (9791 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403612-1568992119/watcher-4403612-1568992119 -o /var/tmp/evaluation-result-4403612-1568992119/solver-4403612-1568992119 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25142 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 896832837 HOME/instance-4403612-1568992119.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=29554, runsolver pid=29551
Current StackSize limit: 8192 KiB


[startup+0.10035 s]*
/proc/loadavg: 8.29 8.61 8.47 7/233 29570
/proc/meminfo: memFree=21064984/32770624 swapFree=67002252/67108860
[pid=29554] ppid=29551 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29554/stat : 29554 (xcsp3-exec) S 29551 29554 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475460470 115843072 363 33554432000 4194304 5098028 140725614252208 140725614250312 139695754257020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14635008 140725614256983 140725614257241 140725614257241 140725614260166 0
/proc/29554/statm: 28282 363 304 221 0 87 0
[pid=29556] ppid=29554 vsize=15144776 memory=28928 CPUtime=0.13 cores=0,2,4,6
/proc/29556/stat : 29556 (java) S 29554 29554 25111 0 -1 1077944320 5648 0 0 0 12 1 0 0 20 0 15 0 475460471 15508250624 7232 33554432000 4194304 4196468 140731890399872 140731890382416 139907471589111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
/proc/29556/statm: 3786194 7232 3187 1 0 3748377 0
[pid=29556/tid=29557] ppid=29554 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/29556/task/29557/stat : 29557 (java) R 29554 29554 25111 0 -1 4202560 3547 0 0 0 8 1 0 0 20 0 15 0 475460471 15508250624 7232 33554432000 4194304 4196468 140731890399872 139907475819296 139907471601046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29558] ppid=29554 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29558/stat : 29558 (java) S 29554 29554 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475460472 15508250624 7232 33554432000 4194304 4196468 140731890399872 139907424209552 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29559] ppid=29554 vsize=15144776 memory=140322200848000 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29559/stat : 29559 (java) S 29554 29554 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475460472 15508250624 7232 33554432000 4194304 4196468 140731890399872 139907423156752 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29560] ppid=29554 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29560/stat : 29560 (java) S 29554 29554 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475460472 15508250624 7232 33554432000 4194304 4196468 140731890399872 139907422103952 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29561] ppid=29554 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29561/stat : 29561 (java) S 29554 29554 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475460472 15508250624 7232 33554432000 4194304 4196468 140731890399872 139907421051152 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29562] ppid=29554 vsize=15144776 memory=140322200848000 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29562/stat : 29562 (java) S 29554 29554 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475460473 15508250624 7232 33554432000 4194304 4196468 140731890399872 139906940222320 139907471600258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29563] ppid=29554 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29563/stat : 29563 (java) S 29554 29554 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475460474 15508250624 7232 33554432000 4194304 4196468 140731890399872 139906939168288 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29564] ppid=29554 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29564/stat : 29564 (java) S 29554 29554 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475460474 15508250624 7232 33554432000 4194304 4196468 140731890399872 139906938115440 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29565] ppid=29554 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29565/stat : 29565 (java) S 29554 29554 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475460476 15508250624 7232 33554432000 4194304 4196468 140731890399872 139906937063760 139907471607707 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29566] ppid=29554 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29566/stat : 29566 (java) S 29554 29554 25111 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 475460476 15508250624 7232 33554432000 4194304 4196468 140731890399872 139906936011120 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29567] ppid=29554 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29567/stat : 29567 (java) S 29554 29554 25111 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 475460476 15508250624 7232 33554432000 4194304 4196468 140731890399872 139906934958320 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29568] ppid=29554 vsize=15144776 memory=140322200848000 CPUtime=0.02 cores=0,2,4,6
/proc/29556/task/29568/stat : 29568 (java) R 29554 29554 25111 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 15 0 475460476 15508250624 7232 33554432000 4194304 4196468 140731890399872 139906933905520 139907450570175 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29569] ppid=29554 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29569/stat : 29569 (java) S 29554 29554 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475460476 15508250624 7232 33554432000 4194304 4196468 140731890399872 139906932852960 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29570] ppid=29554 vsize=15144776 memory=140322200848000 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29570/stat : 29570 (java) S 29554 29554 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475460477 15508250624 7232 33554432000 4194304 4196468 140731890399872 139906931801264 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30380 KiB

[startup+0.210715 s]*
/proc/loadavg: 8.29 8.61 8.47 7/233 29570
/proc/meminfo: memFree=21049948/32770624 swapFree=67002252/67108860
[pid=29554] ppid=29551 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29554/stat : 29554 (xcsp3-exec) S 29551 29554 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475460470 115843072 363 33554432000 4194304 5098028 140725614252208 140725614250312 139695754257020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14635008 140725614256983 140725614257241 140725614257241 140725614260166 0
/proc/29554/statm: 28282 363 304 221 0 87 0
[pid=29556] ppid=29554 vsize=15144776 memory=40900 CPUtime=0.35 cores=0,2,4,6
/proc/29556/stat : 29556 (java) S 29554 29554 25111 0 -1 1077944320 9488 0 0 0 31 4 0 0 20 0 15 0 475460471 15508250624 10225 33554432000 4194304 4196468 140731890399872 140731890382416 139907471589111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
/proc/29556/statm: 3786194 10225 3305 1 0 3748377 0
[pid=29556/tid=29557] ppid=29554 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/29556/task/29557/stat : 29557 (java) R 29554 29554 25111 0 -1 4202560 6590 0 0 0 18 2 0 0 20 0 15 0 475460471 15508250624 10225 33554432000 4194304 4196468 140731890399872 139907475826576 139907455669598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29558] ppid=29554 vsize=15144776 memory=13620 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29558/stat : 29558 (java) S 29554 29554 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475460472 15508250624 10225 33554432000 4194304 4196468 140731890399872 139907424209552 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29559] ppid=29554 vsize=15144776 memory=140322204376728 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29559/stat : 29559 (java) S 29554 29554 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475460472 15508250624 10225 33554432000 4194304 4196468 140731890399872 139907423156752 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29560] ppid=29554 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29560/stat : 29560 (java) S 29554 29554 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475460472 15508250624 10225 33554432000 4194304 4196468 140731890399872 139907422103952 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29561] ppid=29554 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29561/stat : 29561 (java) S 29554 29554 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475460472 15508250624 10225 33554432000 4194304 4196468 140731890399872 139907421051152 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29562] ppid=29554 vsize=15144776 memory=140322200848000 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29562/stat : 29562 (java) S 29554 29554 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475460473 15508250624 10225 33554432000 4194304 4196468 140731890399872 139906940222320 139907471600258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29563] ppid=29554 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29563/stat : 29563 (java) S 29554 29554 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475460474 15508250624 10225 33554432000 4194304 4196468 140731890399872 139906939168288 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29564] ppid=29554 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29564/stat : 29564 (java) S 29554 29554 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475460474 15508250624 10225 33554432000 4194304 4196468 140731890399872 139906938115440 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29565] ppid=29554 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29565/stat : 29565 (java) S 29554 29554 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475460476 15508250624 10225 33554432000 4194304 4196468 140731890399872 139906937063760 139907471607707 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29566] ppid=29554 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29556/task/29566/stat : 29566 (java) S 29554 29554 25111 0 -1 1077944384 559 0 0 0 2 0 0 0 20 0 15 0 475460476 15508250624 10225 33554432000 4194304 4196468 140731890399872 139906936011120 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29567] ppid=29554 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29556/task/29567/stat : 29567 (java) S 29554 29554 25111 0 -1 1077944384 243 0 0 0 2 0 0 0 20 0 15 0 475460476 15508250624 10225 33554432000 4194304 4196468 140731890399872 139906934958320 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29568] ppid=29554 vsize=15144776 memory=140322200848000 CPUtime=0.08 cores=0,2,4,6
/proc/29556/task/29568/stat : 29568 (java) S 29554 29554 25111 0 -1 1077944384 788 0 0 0 8 0 0 0 20 0 15 0 475460476 15508250624 10225 33554432000 4194304 4196468 140731890399872 139906933905520 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29569] ppid=29554 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29569/stat : 29569 (java) S 29554 29554 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475460476 15508250624 10225 33554432000 4194304 4196468 140731890399872 139906932852960 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29570] ppid=29554 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29570/stat : 29570 (java) S 29554 29554 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475460477 15508250624 10225 33554432000 4194304 4196468 140731890399872 139906931801264 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42352 KiB

[startup+0.310688 s]*
/proc/loadavg: 8.29 8.61 8.47 6/233 29570
/proc/meminfo: memFree=21043396/32770624 swapFree=67002252/67108860
[pid=29554] ppid=29551 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29554/stat : 29554 (xcsp3-exec) S 29551 29554 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475460470 115843072 363 33554432000 4194304 5098028 140725614252208 140725614250312 139695754257020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14635008 140725614256983 140725614257241 140725614257241 140725614260166 0
/proc/29554/statm: 28282 363 304 221 0 87 0
[pid=29556] ppid=29554 vsize=15149032 memory=49416 CPUtime=0.52 cores=0,2,4,6
/proc/29556/stat : 29556 (java) S 29554 29554 25111 0 -1 1077944320 10730 0 0 0 48 4 0 0 20 0 15 0 475460471 15512608768 12354 33554432000 4194304 4196468 140731890399872 140731890382416 139907471589111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
/proc/29556/statm: 3787258 12354 3340 1 0 3748377 0
[pid=29556/tid=29557] ppid=29554 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/29556/task/29557/stat : 29557 (java) R 29554 29554 25111 0 -1 4202560 7755 0 0 0 27 3 0 0 20 0 15 0 475460471 15512608768 12354 33554432000 4194304 4196468 140731890399872 139907475820224 139907455669598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29558] ppid=29554 vsize=15149032 memory=13961 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29558/stat : 29558 (java) S 29554 29554 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475460472 15512608768 12354 33554432000 4194304 4196468 140731890399872 139907424209552 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29559] ppid=29554 vsize=15149032 memory=3546595 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29559/stat : 29559 (java) S 29554 29554 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475460472 15512608768 12354 33554432000 4194304 4196468 140731890399872 139907423156752 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29560] ppid=29554 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29560/stat : 29560 (java) S 29554 29554 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475460472 15512608768 12354 33554432000 4194304 4196468 140731890399872 139907422103952 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29561] ppid=29554 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29561/stat : 29561 (java) S 29554 29554 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475460472 15512608768 12354 33554432000 4194304 4196468 140731890399872 139907421051152 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29562] ppid=29554 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29562/stat : 29562 (java) S 29554 29554 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475460473 15512608768 12354 33554432000 4194304 4196468 140731890399872 139906940222320 139907471600258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29563] ppid=29554 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29563/stat : 29563 (java) S 29554 29554 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475460474 15512608768 12354 33554432000 4194304 4196468 140731890399872 139906939168288 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29564] ppid=29554 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29564/stat : 29564 (java) S 29554 29554 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475460474 15512608768 12354 33554432000 4194304 4196468 140731890399872 139906938115440 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29565] ppid=29554 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29565/stat : 29565 (java) S 29554 29554 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475460476 15512608768 12354 33554432000 4194304 4196468 140731890399872 139906937063760 139907471607707 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29566] ppid=29554 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29556/task/29566/stat : 29566 (java) S 29554 29554 25111 0 -1 1077944384 559 0 0 0 3 0 0 0 20 0 15 0 475460476 15512608768 12354 33554432000 4194304 4196468 140731890399872 139906936011120 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29567] ppid=29554 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/29556/task/29567/stat : 29567 (java) S 29554 29554 25111 0 -1 1077944384 258 0 0 0 4 0 0 0 20 0 15 0 475460476 15512608768 12354 33554432000 4194304 4196468 140731890399872 139906934958320 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29568] ppid=29554 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/29556/task/29568/stat : 29568 (java) S 29554 29554 25111 0 -1 1077944384 854 0 0 0 13 0 0 0 20 0 15 0 475460476 15512608768 12354 33554432000 4194304 4196468 140731890399872 139906933905520 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29569] ppid=29554 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29569/stat : 29569 (java) S 29554 29554 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475460476 15512608768 12354 33554432000 4194304 4196468 140731890399872 139906932852960 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29570] ppid=29554 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29570/stat : 29570 (java) S 29554 29554 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475460477 15512608768 12354 33554432000 4194304 4196468 140731890399872 139906931801264 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50868 KiB

[startup+0.705519 s]
/proc/loadavg: 8.29 8.61 8.47 10/233 29570
/proc/meminfo: memFree=21029676/32770624 swapFree=67002252/67108860
[pid=29554] ppid=29551 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29554/stat : 29554 (xcsp3-exec) S 29551 29554 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475460470 115843072 363 33554432000 4194304 5098028 140725614252208 140725614250312 139695754257020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14635008 140725614256983 140725614257241 140725614257241 140725614260166 0
/proc/29554/statm: 28282 363 304 221 0 87 0
[pid=29556] ppid=29554 vsize=15151156 memory=89256 CPUtime=1.65 cores=0,2,4,6
/proc/29556/stat : 29556 (java) S 29554 29554 25111 0 -1 1077944320 14434 0 0 0 159 6 0 0 20 0 15 0 475460471 15514783744 22314 33554432000 4194304 4196468 140731890399872 140731890382416 139907471589111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
/proc/29556/statm: 3787789 22314 3456 1 0 3748889 0
[pid=29556/tid=29557] ppid=29554 vsize=15151156 memory=29940 CPUtime=0.68 cores=0,2,4,6
/proc/29556/task/29557/stat : 29557 (java) R 29554 29554 25111 0 -1 4202560 9123 0 0 0 64 4 0 0 20 0 15 0 475460471 15514783744 22314 33554432000 4194304 4196468 140731890399872 139907475824480 139907102905021 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29558] ppid=29554 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29558/stat : 29558 (java) S 29554 29554 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475460472 15514783744 22314 33554432000 4194304 4196468 140731890399872 139907424209552 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29559] ppid=29554 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29559/stat : 29559 (java) S 29554 29554 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475460472 15514783744 22314 33554432000 4194304 4196468 140731890399872 139907423156752 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29560] ppid=29554 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29560/stat : 29560 (java) S 29554 29554 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475460472 15514783744 22314 33554432000 4194304 4196468 140731890399872 139907422103952 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29561] ppid=29554 vsize=15151156 memory=1776 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29561/stat : 29561 (java) S 29554 29554 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475460472 15514783744 22314 33554432000 4194304 4196468 140731890399872 139907421051152 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29562] ppid=29554 vsize=15151156 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29562/stat : 29562 (java) S 29554 29554 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475460473 15514783744 22314 33554432000 4194304 4196468 140731890399872 139906940222320 139907471600258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29563] ppid=29554 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29563/stat : 29563 (java) S 29554 29554 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475460474 15514783744 22314 33554432000 4194304 4196468 140731890399872 139906939168288 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29564] ppid=29554 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29564/stat : 29564 (java) S 29554 29554 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475460474 15514783744 22314 33554432000 4194304 4196468 140731890399872 139906938115440 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29565] ppid=29554 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29565/stat : 29565 (java) S 29554 29554 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475460476 15514783744 22314 33554432000 4194304 4196468 140731890399872 139906937063760 139907471607707 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29566] ppid=29554 vsize=15151156 memory=2676 CPUtime=0.27 cores=0,2,4,6
/proc/29556/task/29566/stat : 29566 (java) R 29554 29554 25111 0 -1 4202560 1272 0 0 0 27 0 0 0 20 0 15 0 475460476 15514783744 22314 33554432000 4194304 4196468 140731890399872 139906935997184 139907449022064 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29567] ppid=29554 vsize=15151156 memory=1764 CPUtime=0.26 cores=0,2,4,6
/proc/29556/task/29567/stat : 29567 (java) R 29554 29554 25111 0 -1 4202560 968 0 0 0 26 0 0 0 20 0 15 0 475460476 15514783744 22314 33554432000 4194304 4196468 140731890399872 139906934958320 139907450835628 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29568] ppid=29554 vsize=15151156 memory=111632 CPUtime=0.41 cores=0,2,4,6
/proc/29556/task/29568/stat : 29568 (java) S 29554 29554 25111 0 -1 1077944384 1763 0 0 0 41 0 0 0 20 0 15 0 475460476 15514783744 22314 33554432000 4194304 4196468 140731890399872 139906933905520 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29569] ppid=29554 vsize=15151156 memory=796 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29569/stat : 29569 (java) S 29554 29554 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475460476 15514783744 22314 33554432000 4194304 4196468 140731890399872 139906932852960 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29570] ppid=29554 vsize=15151156 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29570/stat : 29570 (java) S 29554 29554 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475460477 15514783744 22314 33554432000 4194304 4196468 140731890399872 139906931801264 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 90708 KiB

[startup+1.50152 s]
/proc/loadavg: 8.29 8.61 8.47 14/237 29574
/proc/meminfo: memFree=20967516/32770624 swapFree=67002252/67108860
[pid=29554] ppid=29551 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29554/stat : 29554 (xcsp3-exec) S 29551 29554 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475460470 115843072 363 33554432000 4194304 5098028 140725614252208 140725614250312 139695754257020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14635008 140725614256983 140725614257241 140725614257241 140725614260166 0
/proc/29554/statm: 28282 363 304 221 0 87 0

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

/proc/29556/stat : 29556 (java) S 29554 29554 25111 0 -1 1077944320 125879 0 0 0 231069 134 0 0 20 0 19 0 475460471 15787429888 390256 33554432000 4194304 4196468 140731890399872 140731890382416 139907471589111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
/proc/29556/statm: 3854353 390256 3529 1 0 3815453 0
[pid=29556/tid=29557] ppid=29554 vsize=15417412 memory=1562088 CPUtime=0.79 cores=0,2,4,6
/proc/29556/task/29557/stat : 29557 (java) S 29554 29554 25111 0 -1 1077944384 9184 0 0 0 74 5 0 0 20 0 19 0 475460471 15787429888 390256 33554432000 4194304 4196468 140731890399872 139907475829888 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29558] ppid=29554 vsize=15417412 memory=1562672 CPUtime=2.54 cores=0,2,4,6
/proc/29556/task/29558/stat : 29558 (java) S 29554 29554 25111 0 -1 1077944384 4335 0 0 0 238 16 0 0 20 0 19 0 475460472 15787429888 390256 33554432000 4194304 4196468 140731890399872 139907424209552 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29559] ppid=29554 vsize=15417412 memory=1452 CPUtime=2.55 cores=0,2,4,6
/proc/29556/task/29559/stat : 29559 (java) S 29554 29554 25111 0 -1 1077944384 4177 0 0 0 237 18 0 0 20 0 19 0 475460472 15787429888 390256 33554432000 4194304 4196468 140731890399872 139907423156752 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29560] ppid=29554 vsize=15417412 memory=1452 CPUtime=2.54 cores=0,2,4,6
/proc/29556/task/29560/stat : 29560 (java) S 29554 29554 25111 0 -1 1077944384 6239 0 0 0 236 18 0 0 20 0 19 0 475460472 15787429888 390256 33554432000 4194304 4196468 140731890399872 139907422103952 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29561] ppid=29554 vsize=15417412 memory=1396288 CPUtime=2.56 cores=0,2,4,6
/proc/29556/task/29561/stat : 29561 (java) S 29554 29554 25111 0 -1 1077944384 4734 0 0 0 240 16 0 0 20 0 19 0 475460472 15787429888 390256 33554432000 4194304 4196468 140731890399872 139907421051152 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29562] ppid=29554 vsize=15417412 memory=1452 CPUtime=0.98 cores=0,2,4,6
/proc/29556/task/29562/stat : 29562 (java) S 29554 29554 25111 0 -1 1077944384 18162 0 0 0 63 35 0 0 20 0 19 0 475460473 15787429888 390256 33554432000 4194304 4196468 140731890399872 139906940222320 139907471600258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29563] ppid=29554 vsize=15417412 memory=1561112 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29563/stat : 29563 (java) S 29554 29554 25111 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475460474 15787429888 390256 33554432000 4194304 4196468 140731890399872 139906939168352 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29564] ppid=29554 vsize=15417412 memory=1562672 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29564/stat : 29564 (java) S 29554 29554 25111 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 475460474 15787429888 390256 33554432000 4194304 4196468 140731890399872 139906938115456 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29565] ppid=29554 vsize=15417412 memory=1560020 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29565/stat : 29565 (java) S 29554 29554 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475460476 15787429888 390256 33554432000 4194304 4196468 140731890399872 139906937063760 139907471607707 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29566] ppid=29554 vsize=15417412 memory=1452 CPUtime=1.26 cores=0,2,4,6
/proc/29556/task/29566/stat : 29566 (java) S 29554 29554 25111 0 -1 1077944384 7239 0 0 0 125 1 0 0 20 0 19 0 475460476 15787429888 390256 33554432000 4194304 4196468 140731890399872 139906936011120 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29567] ppid=29554 vsize=15417412 memory=3608 CPUtime=1.23 cores=0,2,4,6
/proc/29556/task/29567/stat : 29567 (java) S 29554 29554 25111 0 -1 1077944384 7111 0 0 0 123 0 0 0 20 0 19 0 475460476 15787429888 390256 33554432000 4194304 4196468 140731890399872 139906934958320 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29568] ppid=29554 vsize=15417412 memory=55376 CPUtime=0.62 cores=0,2,4,6
/proc/29556/task/29568/stat : 29568 (java) S 29554 29554 25111 0 -1 1077944384 6474 0 0 0 62 0 0 0 20 0 19 0 475460476 15787429888 390256 33554432000 4194304 4196468 140731890399872 139906933905520 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29569] ppid=29554 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29569/stat : 29569 (java) S 29554 29554 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475460476 15787429888 390256 33554432000 4194304 4196468 140731890399872 139906932852960 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29570] ppid=29554 vsize=15417412 memory=1560020 CPUtime=0.13 cores=0,2,4,6
/proc/29556/task/29570/stat : 29570 (java) S 29554 29554 25111 0 -1 1077944384 466 0 0 0 0 13 0 0 20 0 19 0 475460477 15787429888 390256 33554432000 4194304 4196468 140731890399872 139906931801264 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29571] ppid=29554 vsize=15417412 memory=1422436 CPUtime=574.68 cores=0,2,4,6
/proc/29556/task/29571/stat : 29571 (java) R 29554 29554 25111 0 -1 4202560 1884 0 0 0 57466 2 0 0 20 0 19 0 475460552 15787429888 390256 33554432000 4194304 4196468 140731890399872 139906922581600 139907105972199 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29572] ppid=29554 vsize=15417412 memory=1452 CPUtime=573.72 cores=0,2,4,6
/proc/29556/task/29572/stat : 29572 (java) R 29554 29554 25111 0 -1 4202560 28130 0 0 0 57362 10 0 0 20 0 19 0 475460552 15787429888 390256 33554432000 4194304 4196468 140731890399872 139906921532704 139907106900164 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29573] ppid=29554 vsize=15417412 memory=1562136 CPUtime=574.55 cores=0,2,4,6
/proc/29556/task/29573/stat : 29573 (java) R 29554 29554 25111 0 -1 4202560 2137 0 0 0 57452 3 0 0 20 0 19 0 475460552 15787429888 390256 33554432000 4194304 4196468 140731890399872 139906920477384 139907106714938 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29574] ppid=29554 vsize=15417412 memory=1561112 CPUtime=573.76 cores=0,2,4,6
/proc/29556/task/29574/stat : 29574 (java) R 29554 29554 25111 0 -1 4202560 24231 0 0 0 57364 12 0 0 20 0 19 0 475460552 15787429888 390256 33554432000 4194304 4196468 140731890399872 139906919427856 139907106900106 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
Current children cumulated CPU time: 2312.03 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1562476 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+634.702 s]
/proc/loadavg: 8.07 8.41 8.48 7/233 31056
/proc/meminfo: memFree=16354796/32770624 swapFree=67002252/67108860
[pid=29554] ppid=29551 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29554/stat : 29554 (xcsp3-exec) S 29551 29554 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475460470 115843072 363 33554432000 4194304 5098028 140725614252208 140725614250312 139695754257020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14635008 140725614256983 140725614257241 140725614257241 140725614260166 0
/proc/29554/statm: 28282 363 304 221 0 87 0
[pid=29556] ppid=29554 vsize=15417412 memory=2146884 CPUtime=2520.27 cores=0,2,4,6
/proc/29556/stat : 29556 (java) S 29554 29554 25111 0 -1 1077944320 146557 0 0 0 251869 158 0 0 20 0 19 0 475460471 15787429888 536721 33554432000 4194304 4196468 140731890399872 140731890382416 139907471589111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
/proc/29556/statm: 3854353 536721 3529 1 0 3815453 0
[pid=29556/tid=29557] ppid=29554 vsize=15417412 memory=2146884 CPUtime=0.79 cores=0,2,4,6
/proc/29556/task/29557/stat : 29557 (java) S 29554 29554 25111 0 -1 1077944384 9184 0 0 0 74 5 0 0 20 0 19 0 475460471 15787429888 536721 33554432000 4194304 4196468 140731890399872 139907475829888 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29558] ppid=29554 vsize=15417412 memory=2147908 CPUtime=2.92 cores=0,2,4,6
/proc/29556/task/29558/stat : 29558 (java) S 29554 29554 25111 0 -1 1077944384 4986 0 0 0 274 18 0 0 20 0 19 0 475460472 15787429888 536721 33554432000 4194304 4196468 140731890399872 139907424209552 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29559] ppid=29554 vsize=15417412 memory=1452 CPUtime=2.93 cores=0,2,4,6
/proc/29556/task/29559/stat : 29559 (java) S 29554 29554 25111 0 -1 1077944384 4863 0 0 0 273 20 0 0 20 0 19 0 475460472 15787429888 536721 33554432000 4194304 4196468 140731890399872 139907423156752 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29560] ppid=29554 vsize=15417412 memory=2146884 CPUtime=2.93 cores=0,2,4,6
/proc/29556/task/29560/stat : 29560 (java) S 29554 29554 25111 0 -1 1077944384 6409 0 0 0 272 21 0 0 20 0 19 0 475460472 15787429888 536721 33554432000 4194304 4196468 140731890399872 139907422103952 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29561] ppid=29554 vsize=15417412 memory=1452 CPUtime=2.94 cores=0,2,4,6
/proc/29556/task/29561/stat : 29561 (java) S 29554 29554 25111 0 -1 1077944384 4890 0 0 0 276 18 0 0 20 0 19 0 475460472 15787429888 536721 33554432000 4194304 4196468 140731890399872 139907421051152 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29562] ppid=29554 vsize=15417412 memory=2131880 CPUtime=1.11 cores=0,2,4,6
/proc/29556/task/29562/stat : 29562 (java) S 29554 29554 25111 0 -1 1077944384 21988 0 0 0 69 42 0 0 20 0 19 0 475460473 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906940222320 139907471600258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29563] ppid=29554 vsize=15417412 memory=2144656 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29563/stat : 29563 (java) S 29554 29554 25111 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475460474 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906939168352 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29564] ppid=29554 vsize=15417412 memory=2146884 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29564/stat : 29564 (java) S 29554 29554 25111 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 475460474 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906938115456 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29565] ppid=29554 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29565/stat : 29565 (java) S 29554 29554 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475460476 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906937063760 139907471607707 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29566] ppid=29554 vsize=15417412 memory=1452 CPUtime=1.26 cores=0,2,4,6
/proc/29556/task/29566/stat : 29566 (java) S 29554 29554 25111 0 -1 1077944384 7239 0 0 0 125 1 0 0 20 0 19 0 475460476 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906936011120 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29567] ppid=29554 vsize=15417412 memory=1915484 CPUtime=1.23 cores=0,2,4,6
/proc/29556/task/29567/stat : 29567 (java) S 29554 29554 25111 0 -1 1077944384 7111 0 0 0 123 0 0 0 20 0 19 0 475460476 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906934958320 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29568] ppid=29554 vsize=15417412 memory=55376 CPUtime=0.62 cores=0,2,4,6
/proc/29556/task/29568/stat : 29568 (java) S 29554 29554 25111 0 -1 1077944384 6474 0 0 0 62 0 0 0 20 0 19 0 475460476 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906933905520 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29569] ppid=29554 vsize=15417412 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29569/stat : 29569 (java) S 29554 29554 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475460476 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906932852960 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29570] ppid=29554 vsize=15417412 memory=55376 CPUtime=0.15 cores=0,2,4,6
/proc/29556/task/29570/stat : 29570 (java) S 29554 29554 25111 0 -1 1077944384 470 0 0 0 0 15 0 0 20 0 19 0 475460477 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906931801264 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29571] ppid=29554 vsize=15417412 memory=988 CPUtime=626.26 cores=0,2,4,6
/proc/29556/task/29571/stat : 29571 (java) R 29554 29554 25111 0 -1 4202560 2071 0 0 0 62623 3 0 0 20 0 19 0 475460552 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906922581736 139907105972678 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29572] ppid=29554 vsize=15417412 memory=2024 CPUtime=625.37 cores=0,2,4,6
/proc/29556/task/29572/stat : 29572 (java) R 29554 29554 25111 0 -1 4202560 35721 0 0 0 62524 13 0 0 20 0 19 0 475460552 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906921530184 139907105615311 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29573] ppid=29554 vsize=15417412 memory=288230574492221466 CPUtime=626.1 cores=0,2,4,6
/proc/29556/task/29573/stat : 29573 (java) R 29554 29554 25111 0 -1 4202560 2319 0 0 0 62606 4 0 0 20 0 19 0 475460552 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906920477136 139907105974047 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29574] ppid=29554 vsize=15417412 memory=288230621803970871 CPUtime=625.54 cores=0,2,4,6
/proc/29556/task/29574/stat : 29574 (java) R 29554 29554 25111 0 -1 4202560 31456 0 0 0 62537 17 0 0 20 0 19 0 475460552 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906919426800 139907106900244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
Current children cumulated CPU time: 2520.27 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2148336 KiB

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

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

[startup+634.799 s]
# the end of solver process 29556 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.02 s, system=1.60436 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+634.702 s]
/proc/loadavg: 8.07 8.41 8.48 7/233 31056
/proc/meminfo: memFree=16354796/32770624 swapFree=67002252/67108860
[pid=29554] ppid=29551 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29554/stat : 29554 (xcsp3-exec) S 29551 29554 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475460470 115843072 363 33554432000 4194304 5098028 140725614252208 140725614250312 139695754257020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14635008 140725614256983 140725614257241 140725614257241 140725614260166 0
/proc/29554/statm: 28282 363 304 221 0 87 0
[pid=29556] ppid=29554 vsize=15417412 memory=2146884 CPUtime=2520.27 cores=0,2,4,6
/proc/29556/stat : 29556 (java) S 29554 29554 25111 0 -1 1077944320 146557 0 0 0 251869 158 0 0 20 0 19 0 475460471 15787429888 536721 33554432000 4194304 4196468 140731890399872 140731890382416 139907471589111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
/proc/29556/statm: 3854353 536721 3529 1 0 3815453 0
[pid=29556/tid=29557] ppid=29554 vsize=15417412 memory=2146884 CPUtime=0.79 cores=0,2,4,6
/proc/29556/task/29557/stat : 29557 (java) S 29554 29554 25111 0 -1 1077944384 9184 0 0 0 74 5 0 0 20 0 19 0 475460471 15787429888 536721 33554432000 4194304 4196468 140731890399872 139907475829888 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29558] ppid=29554 vsize=15417412 memory=2147908 CPUtime=2.92 cores=0,2,4,6
/proc/29556/task/29558/stat : 29558 (java) S 29554 29554 25111 0 -1 1077944384 4986 0 0 0 274 18 0 0 20 0 19 0 475460472 15787429888 536721 33554432000 4194304 4196468 140731890399872 139907424209552 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29559] ppid=29554 vsize=15417412 memory=1452 CPUtime=2.93 cores=0,2,4,6
/proc/29556/task/29559/stat : 29559 (java) S 29554 29554 25111 0 -1 1077944384 4863 0 0 0 273 20 0 0 20 0 19 0 475460472 15787429888 536721 33554432000 4194304 4196468 140731890399872 139907423156752 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29560] ppid=29554 vsize=15417412 memory=2146884 CPUtime=2.93 cores=0,2,4,6
/proc/29556/task/29560/stat : 29560 (java) S 29554 29554 25111 0 -1 1077944384 6409 0 0 0 272 21 0 0 20 0 19 0 475460472 15787429888 536721 33554432000 4194304 4196468 140731890399872 139907422103952 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29561] ppid=29554 vsize=15417412 memory=1452 CPUtime=2.94 cores=0,2,4,6
/proc/29556/task/29561/stat : 29561 (java) S 29554 29554 25111 0 -1 1077944384 4890 0 0 0 276 18 0 0 20 0 19 0 475460472 15787429888 536721 33554432000 4194304 4196468 140731890399872 139907421051152 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29562] ppid=29554 vsize=15417412 memory=2131880 CPUtime=1.11 cores=0,2,4,6
/proc/29556/task/29562/stat : 29562 (java) S 29554 29554 25111 0 -1 1077944384 21988 0 0 0 69 42 0 0 20 0 19 0 475460473 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906940222320 139907471600258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29563] ppid=29554 vsize=15417412 memory=2144656 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29563/stat : 29563 (java) S 29554 29554 25111 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475460474 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906939168352 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29564] ppid=29554 vsize=15417412 memory=2146884 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29564/stat : 29564 (java) S 29554 29554 25111 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 475460474 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906938115456 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29565] ppid=29554 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29565/stat : 29565 (java) S 29554 29554 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475460476 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906937063760 139907471607707 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29566] ppid=29554 vsize=15417412 memory=1452 CPUtime=1.26 cores=0,2,4,6
/proc/29556/task/29566/stat : 29566 (java) S 29554 29554 25111 0 -1 1077944384 7239 0 0 0 125 1 0 0 20 0 19 0 475460476 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906936011120 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29567] ppid=29554 vsize=15417412 memory=1915484 CPUtime=1.23 cores=0,2,4,6
/proc/29556/task/29567/stat : 29567 (java) S 29554 29554 25111 0 -1 1077944384 7111 0 0 0 123 0 0 0 20 0 19 0 475460476 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906934958320 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29568] ppid=29554 vsize=15417412 memory=55376 CPUtime=0.62 cores=0,2,4,6
/proc/29556/task/29568/stat : 29568 (java) S 29554 29554 25111 0 -1 1077944384 6474 0 0 0 62 0 0 0 20 0 19 0 475460476 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906933905520 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29569] ppid=29554 vsize=15417412 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/29556/task/29569/stat : 29569 (java) S 29554 29554 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475460476 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906932852960 139907471599317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29570] ppid=29554 vsize=15417412 memory=55376 CPUtime=0.15 cores=0,2,4,6
/proc/29556/task/29570/stat : 29570 (java) S 29554 29554 25111 0 -1 1077944384 470 0 0 0 0 15 0 0 20 0 19 0 475460477 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906931801264 139907471600258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29571] ppid=29554 vsize=15417412 memory=988 CPUtime=626.26 cores=0,2,4,6
/proc/29556/task/29571/stat : 29571 (java) R 29554 29554 25111 0 -1 4202560 2071 0 0 0 62623 3 0 0 20 0 19 0 475460552 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906922581736 139907105972678 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29572] ppid=29554 vsize=15417412 memory=2024 CPUtime=625.37 cores=0,2,4,6
/proc/29556/task/29572/stat : 29572 (java) R 29554 29554 25111 0 -1 4202560 35721 0 0 0 62524 13 0 0 20 0 19 0 475460552 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906921530184 139907105615311 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29573] ppid=29554 vsize=15417412 memory=288230574492221466 CPUtime=626.1 cores=0,2,4,6
/proc/29556/task/29573/stat : 29573 (java) R 29554 29554 25111 0 -1 4202560 2319 0 0 0 62606 4 0 0 20 0 19 0 475460552 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906920477136 139907105974047 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
[pid=29556/tid=29574] ppid=29554 vsize=15417412 memory=288230621803970871 CPUtime=625.54 cores=0,2,4,6
/proc/29556/task/29574/stat : 29574 (java) R 29554 29554 25111 0 -1 4202560 31456 0 0 0 62537 17 0 0 20 0 19 0 475460552 15787429888 536721 33554432000 4194304 4196468 140731890399872 139906919426800 139907106900244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13438976 140731890402267 140731890402442 140731890402442 140731890405327 0
Current children cumulated CPU time: 2520.27 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2148336 KiB

Child status: 143
Real time (s): 634.799
CPU time (s): 2520.62
CPU user time (s): 2519.02
CPU system time (s): 1.60436
CPU usage (%): 397.074
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 2149360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.02
system time used= 1.60436
maximum resident set size= 2148780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147266
page faults= 0
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36055
involuntary context switches= 53655


# summary of solver processes directly reported to runsolver:
#   pid: 29554,29556
#   total CPU time (s): 2520.62
#   total CPU user time (s): 2519.02
#   total CPU system time (s): 1.60436

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.92071 second user time and 6.96842 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-20 17:07:54
IDJOB=4403612
IDBENCH=134846
IDSOLVER=2863
FILE ID=node136/4403612-1568992119
RUNJOBID= node136-1568987938-25142
PBS_JOBID= 21704639
Free space on /var/tmp= 13460 MiB

SOLVER NAME= choco-solver 2019-09-20
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-armies/Pb-army12-21ls.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 /var/tmp/evaluation-result-4403612-1568992119/watcher-4403612-1568992119 -o /var/tmp/evaluation-result-4403612-1568992119/solver-4403612-1568992119 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25142 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 896832837 HOME/instance-4403612-1568992119.xml

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

MD5SUM BENCH= 23e4294b931acf98fdd35eb0662a4341
RANDOM SEED=896832837

node136.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.00
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.54
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.00
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.54
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.00
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.54
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.00
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21079948 kB
MemAvailable:   31239320 kB
Buffers:           91772 kB
Cached:         10126116 kB
SwapCached:         3516 kB
Active:          5675112 kB
Inactive:        5162392 kB
Active(anon):     615712 kB
Inactive(anon):    52544 kB
Active(file):    5059400 kB
Inactive(file):  5109848 kB
Unevictable:      110480 kB
Mlocked:          110480 kB
SwapTotal:      67108860 kB
SwapFree:       67002252 kB
Dirty:             26164 kB
Writeback:             0 kB
AnonPages:        814004 kB
Mapped:            64748 kB
Shmem:             40208 kB
Slab:             447416 kB
SReclaimable:     418584 kB
SUnreclaim:        28832 kB
KernelStack:        4160 kB
PageTables:         6928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2440404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    718848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13436 MiB
End job on node136 at 2019-09-20 17:18:29