Trace number 4405951

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-24? (TO) 2520.12 2489.61

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-fpga/
Pb-chnl10-15.xml
MD5SUM0275487dddce0dcf34d0f76368ca0063
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark62.4225
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints50
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":300}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":300}]
Minimum constraint arity10
Maximum constraint arity15
Distribution of constraint arities[{"arity":10,"count":30},{"arity":15,"count":20}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":50}]
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-4405951-1569410115.xml"  -tl '2520s' -p 1
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4405951-1569410115.xml, -tl, 2520s, -p, 1]
0.34/0.22	c simple solver
0.34/0.28	c parse instance...
0.72/0.47	c solve instance...
2520.09/2489.60	s UNKNOWN
2520.09/2489.60	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 (12239 MiB free)
  memory of node 1: 16384 MiB (12331 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405951-1569410115/watcher-4405951-1569410115 -o /var/tmp/evaluation-result-4405951-1569410115/solver-4405951-1569410115 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1569408107-11225 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1362856935 HOME/instance-4405951-1569410115.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12481, runsolver pid=12478
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 2.15 1.70 1.65 4/230 12497
/proc/meminfo: memFree=25143444/32770624 swapFree=66974660/67108860
[pid=12481] ppid=12478 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12481/stat : 12481 (xcsp3-exec) S 12478 12481 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516953297 115843072 364 33554432000 4194304 5098028 140728678893984 140728678892088 139926241763964 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19685376 140728678896470 140728678896729 140728678896729 140728678899654 0
/proc/12481/statm: 28282 364 305 221 0 87 0
[pid=12483] ppid=12481 vsize=15144776 memory=29648 CPUtime=0.13 cores=1,3,5,7
/proc/12483/stat : 12483 (java) S 12481 12481 8971 0 -1 1077944320 5804 0 0 0 12 1 0 0 20 0 15 0 516953297 15508250624 7346 33554432000 4194304 4196468 140723821582512 140723821565056 140570703855351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
/proc/12483/statm: 3786194 7346 3150 1 0 3748377 0
[pid=12483/tid=12484] ppid=12481 vsize=15144776 memory=8252428994737482315 CPUtime=0.08 cores=1,3,5,7
/proc/12483/task/12484/stat : 12484 (java) R 12481 12481 8971 0 -1 4202560 3712 0 0 0 8 0 0 0 20 0 15 0 516953298 15508250624 7412 33554432000 4194304 4196468 140723821582512 140570708087448 140570681080320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12485] ppid=12481 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12485/stat : 12485 (java) S 12481 12481 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516953299 15508250624 7412 33554432000 4194304 4196468 140723821582512 140570295982864 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12486] ppid=12481 vsize=15144776 memory=140447337662080 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12486/stat : 12486 (java) S 12481 12481 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516953299 15508250624 7412 33554432000 4194304 4196468 140723821582512 140570294930320 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12487] ppid=12481 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12487/stat : 12487 (java) S 12481 12481 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516953299 15508250624 7412 33554432000 4194304 4196468 140723821582512 140570293877776 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12488] ppid=12481 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12488/stat : 12488 (java) S 12481 12481 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516953299 15508250624 7412 33554432000 4194304 4196468 140723821582512 140570292825232 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12489] ppid=12481 vsize=15144776 memory=140447337662080 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12489/stat : 12489 (java) S 12481 12481 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516953300 15508250624 7412 33554432000 4194304 4196468 140723821582512 140569577723888 140570703866498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12490] ppid=12481 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12490/stat : 12490 (java) S 12481 12481 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516953300 15508250624 7412 33554432000 4194304 4196468 140723821582512 140569576670112 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12491] ppid=12481 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12491/stat : 12491 (java) S 12481 12481 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516953301 15508250624 7412 33554432000 4194304 4196468 140723821582512 140569575617520 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12492] ppid=12481 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12492/stat : 12492 (java) S 12481 12481 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516953303 15508250624 7412 33554432000 4194304 4196468 140723821582512 140569574566096 140570703873947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12493] ppid=12481 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12493/stat : 12493 (java) S 12481 12481 8971 0 -1 1077944384 467 0 0 0 0 0 0 0 20 0 15 0 516953303 15508250624 7412 33554432000 4194304 4196468 140723821582512 140569573513712 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12494] ppid=12481 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12494/stat : 12494 (java) S 12481 12481 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516953303 15508250624 7412 33554432000 4194304 4196468 140723821582512 140569572461168 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12495] ppid=12481 vsize=15144776 memory=140447337662080 CPUtime=0.02 cores=1,3,5,7
/proc/12483/task/12495/stat : 12495 (java) R 12481 12481 8971 0 -1 4202560 327 0 0 0 2 0 0 0 20 0 15 0 516953303 15508250624 7412 33554432000 4194304 4196468 140723821582512 140569571402976 140570703876698 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12496] ppid=12481 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12496/stat : 12496 (java) S 12481 12481 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516953303 15508250624 7412 33554432000 4194304 4196468 140723821582512 140569570356320 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12497] ppid=12481 vsize=15144776 memory=140447337662080 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12497/stat : 12497 (java) S 12481 12481 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516953303 15508250624 7412 33554432000 4194304 4196468 140723821582512 140569569302832 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31104 KiB

[startup+0.212167 s]*
/proc/loadavg: 2.15 1.70 1.65 4/230 12497
/proc/meminfo: memFree=25130316/32770624 swapFree=66974660/67108860
[pid=12481] ppid=12478 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12481/stat : 12481 (xcsp3-exec) S 12478 12481 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516953297 115843072 364 33554432000 4194304 5098028 140728678893984 140728678892088 139926241763964 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19685376 140728678896470 140728678896729 140728678896729 140728678899654 0
/proc/12481/statm: 28282 364 305 221 0 87 0
[pid=12483] ppid=12481 vsize=15144776 memory=41008 CPUtime=0.34 cores=1,3,5,7
/proc/12483/stat : 12483 (java) S 12481 12481 8971 0 -1 1077944320 9476 0 0 0 32 2 0 0 20 0 15 0 516953297 15508250624 10252 33554432000 4194304 4196468 140723821582512 140723821565056 140570703855351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
/proc/12483/statm: 3786194 10252 3305 1 0 3748377 0
[pid=12483/tid=12484] ppid=12481 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/12483/task/12484/stat : 12484 (java) R 12481 12481 8971 0 -1 4202560 6628 0 0 0 18 2 0 0 20 0 15 0 516953298 15508250624 10252 33554432000 4194304 4196468 140723821582512 140570708088080 140570687935838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12485] ppid=12481 vsize=15144776 memory=13657 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12485/stat : 12485 (java) S 12481 12481 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516953299 15508250624 10252 33554432000 4194304 4196468 140723821582512 140570295982864 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12486] ppid=12481 vsize=15144776 memory=288370823489373824 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12486/stat : 12486 (java) S 12481 12481 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516953299 15508250624 10252 33554432000 4194304 4196468 140723821582512 140570294930320 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12487] ppid=12481 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12487/stat : 12487 (java) S 12481 12481 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516953299 15508250624 10252 33554432000 4194304 4196468 140723821582512 140570293877776 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12488] ppid=12481 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12488/stat : 12488 (java) S 12481 12481 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516953299 15508250624 10252 33554432000 4194304 4196468 140723821582512 140570292825232 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12489] ppid=12481 vsize=15144776 memory=140447337662080 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12489/stat : 12489 (java) S 12481 12481 8971 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516953300 15508250624 10252 33554432000 4194304 4196468 140723821582512 140569577723888 140570703866498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12490] ppid=12481 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12490/stat : 12490 (java) S 12481 12481 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516953300 15508250624 10252 33554432000 4194304 4196468 140723821582512 140569576670112 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12491] ppid=12481 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12491/stat : 12491 (java) S 12481 12481 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516953301 15508250624 10252 33554432000 4194304 4196468 140723821582512 140569575617520 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12492] ppid=12481 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12492/stat : 12492 (java) S 12481 12481 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516953303 15508250624 10252 33554432000 4194304 4196468 140723821582512 140569574566096 140570703873947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12493] ppid=12481 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12483/task/12493/stat : 12493 (java) R 12481 12481 8971 0 -1 1077944384 512 0 0 0 2 0 0 0 20 0 15 0 516953303 15508250624 10252 33554432000 4194304 4196468 140723821582512 140569573513712 140570703866498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12494] ppid=12481 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12483/task/12494/stat : 12494 (java) S 12481 12481 8971 0 -1 1077944384 295 0 0 0 2 0 0 0 20 0 15 0 516953303 15508250624 10252 33554432000 4194304 4196468 140723821582512 140569572461168 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12495] ppid=12481 vsize=15144776 memory=140447337662080 CPUtime=0.08 cores=1,3,5,7
/proc/12483/task/12495/stat : 12495 (java) R 12481 12481 8971 0 -1 4202560 739 0 0 0 8 0 0 0 20 0 15 0 516953303 15508250624 10252 33554432000 4194304 4196468 140723821582512 140569571408624 140570703876698 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12496] ppid=12481 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12496/stat : 12496 (java) S 12481 12481 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516953303 15508250624 10252 33554432000 4194304 4196468 140723821582512 140569570356320 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12497] ppid=12481 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12497/stat : 12497 (java) S 12481 12481 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516953303 15508250624 10252 33554432000 4194304 4196468 140723821582512 140569569302832 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42464 KiB

[startup+0.320742 s]*
/proc/loadavg: 2.15 1.70 1.65 3/230 12497
/proc/meminfo: memFree=25122540/32770624 swapFree=66974660/67108860
[pid=12481] ppid=12478 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12481/stat : 12481 (xcsp3-exec) S 12478 12481 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516953297 115843072 364 33554432000 4194304 5098028 140728678893984 140728678892088 139926241763964 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19685376 140728678896470 140728678896729 140728678896729 140728678899654 0
/proc/12481/statm: 28282 364 305 221 0 87 0
[pid=12483] ppid=12481 vsize=15149032 memory=50288 CPUtime=0.55 cores=1,3,5,7
/proc/12483/stat : 12483 (java) S 12481 12481 8971 0 -1 1077944320 10931 0 0 0 51 4 0 0 20 0 15 0 516953297 15512608768 12572 33554432000 4194304 4196468 140723821582512 140723821565056 140570703855351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
/proc/12483/statm: 3787258 12572 3351 1 0 3748377 0
[pid=12483/tid=12484] ppid=12481 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/12483/task/12484/stat : 12484 (java) R 12481 12481 8971 0 -1 4202560 7900 0 0 0 28 2 0 0 20 0 15 0 516953298 15512608768 12572 33554432000 4194304 4196468 140723821582512 140570708087936 140570687935838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12485] ppid=12481 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12485/stat : 12485 (java) S 12481 12481 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516953299 15512608768 12572 33554432000 4194304 4196468 140723821582512 140570295982864 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12486] ppid=12481 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12486/stat : 12486 (java) S 12481 12481 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516953299 15512608768 12572 33554432000 4194304 4196468 140723821582512 140570294930320 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12487] ppid=12481 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12487/stat : 12487 (java) S 12481 12481 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516953299 15512608768 12572 33554432000 4194304 4196468 140723821582512 140570293877776 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12488] ppid=12481 vsize=15149032 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12488/stat : 12488 (java) S 12481 12481 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516953299 15512608768 12572 33554432000 4194304 4196468 140723821582512 140570292825232 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12489] ppid=12481 vsize=15149032 memory=6933954179156714387 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12489/stat : 12489 (java) S 12481 12481 8971 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516953300 15512608768 12572 33554432000 4194304 4196468 140723821582512 140569577723888 140570703866498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12490] ppid=12481 vsize=15149032 memory=-7533229591079788448 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12490/stat : 12490 (java) S 12481 12481 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516953300 15512608768 12572 33554432000 4194304 4196468 140723821582512 140569576670112 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12491] ppid=12481 vsize=15149032 memory=4498404016631593313 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12491/stat : 12491 (java) S 12481 12481 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516953301 15512608768 12572 33554432000 4194304 4196468 140723821582512 140569575617520 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12492] ppid=12481 vsize=15149032 memory=-6519613052471072158 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12492/stat : 12492 (java) S 12481 12481 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516953303 15512608768 12572 33554432000 4194304 4196468 140723821582512 140569574566096 140570703873947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12493] ppid=12481 vsize=15149032 memory=7827413994055111515 CPUtime=0.03 cores=1,3,5,7
/proc/12483/task/12493/stat : 12493 (java) S 12481 12481 8971 0 -1 1077944384 520 0 0 0 3 0 0 0 20 0 15 0 516953303 15512608768 12572 33554432000 4194304 4196468 140723821582512 140569573513712 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12494] ppid=12481 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/12483/task/12494/stat : 12494 (java) S 12481 12481 8971 0 -1 1077944384 392 0 0 0 5 0 0 0 20 0 15 0 516953303 15512608768 12572 33554432000 4194304 4196468 140723821582512 140569572461168 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12495] ppid=12481 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/12483/task/12495/stat : 12495 (java) S 12481 12481 8971 0 -1 1077944384 827 0 0 0 12 0 0 0 20 0 15 0 516953303 15512608768 12572 33554432000 4194304 4196468 140723821582512 140569571408624 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12496] ppid=12481 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12496/stat : 12496 (java) S 12481 12481 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516953303 15512608768 12572 33554432000 4194304 4196468 140723821582512 140569570356320 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12497] ppid=12481 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12497/stat : 12497 (java) S 12481 12481 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516953303 15512608768 12572 33554432000 4194304 4196468 140723821582512 140569569302832 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51744 KiB

[startup+0.70089 s]
/proc/loadavg: 2.15 1.70 1.65 6/230 12497
/proc/meminfo: memFree=25114476/32770624 swapFree=66974660/67108860
[pid=12481] ppid=12478 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12481/stat : 12481 (xcsp3-exec) S 12478 12481 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516953297 115843072 364 33554432000 4194304 5098028 140728678893984 140728678892088 139926241763964 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19685376 140728678896470 140728678896729 140728678896729 140728678899654 0
/proc/12481/statm: 28282 364 305 221 0 87 0
[pid=12483] ppid=12481 vsize=15151156 memory=80140 CPUtime=1.57 cores=1,3,5,7
/proc/12483/stat : 12483 (java) S 12481 12481 8971 0 -1 1077944320 17303 0 0 0 151 6 0 0 20 0 15 0 516953297 15514783744 20035 33554432000 4194304 4196468 140723821582512 140723821565056 140570703855351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
/proc/12483/statm: 3787789 20035 3440 1 0 3748889 0
[pid=12483/tid=12484] ppid=12481 vsize=15151156 memory=1792746194177 CPUtime=0.68 cores=1,3,5,7
/proc/12483/task/12484/stat : 12484 (java) R 12481 12481 8971 0 -1 4202560 9037 0 0 0 65 3 0 0 20 0 15 0 516953298 15514783744 20035 33554432000 4194304 4196468 140723821582512 140570708091360 140570340358243 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12485] ppid=12481 vsize=15151156 memory=3472328296227679313 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12485/stat : 12485 (java) S 12481 12481 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516953299 15514783744 20035 33554432000 4194304 4196468 140723821582512 140570295982864 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12486] ppid=12481 vsize=15151156 memory=-7604262568725289114 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12486/stat : 12486 (java) S 12481 12481 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516953299 15514783744 20035 33554432000 4194304 4196468 140723821582512 140570294930320 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12487] ppid=12481 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12487/stat : 12487 (java) S 12481 12481 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516953299 15514783744 20035 33554432000 4194304 4196468 140723821582512 140570293877776 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12488] ppid=12481 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12488/stat : 12488 (java) S 12481 12481 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516953299 15514783744 20035 33554432000 4194304 4196468 140723821582512 140570292825232 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12489] ppid=12481 vsize=15151156 memory=55416 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12489/stat : 12489 (java) S 12481 12481 8971 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516953300 15514783744 20035 33554432000 4194304 4196468 140723821582512 140569577723888 140570703866498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12490] ppid=12481 vsize=15151156 memory=992 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12490/stat : 12490 (java) S 12481 12481 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516953300 15514783744 20035 33554432000 4194304 4196468 140723821582512 140569576670112 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12491] ppid=12481 vsize=15151156 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12491/stat : 12491 (java) S 12481 12481 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516953301 15514783744 20035 33554432000 4194304 4196468 140723821582512 140569575617520 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12492] ppid=12481 vsize=15151156 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12492/stat : 12492 (java) S 12481 12481 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516953303 15514783744 20035 33554432000 4194304 4196468 140723821582512 140569574566096 140570703873947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12493] ppid=12481 vsize=15151156 memory=11624 CPUtime=0.28 cores=1,3,5,7
/proc/12483/task/12493/stat : 12493 (java) R 12481 12481 8971 0 -1 4202560 2328 0 0 0 28 0 0 0 20 0 15 0 516953303 15514783744 20035 33554432000 4194304 4196468 140723821582512 140569573499664 140570683511760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12494] ppid=12481 vsize=15151156 memory=740 CPUtime=0.28 cores=1,3,5,7
/proc/12483/task/12494/stat : 12494 (java) R 12481 12481 8971 0 -1 4202560 2767 0 0 0 28 0 0 0 20 0 15 0 516953303 15514783744 20035 33554432000 4194304 4196468 140723821582512 140569572442184 140570696144733 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12495] ppid=12481 vsize=15151156 memory=1056 CPUtime=0.28 cores=1,3,5,7
/proc/12483/task/12495/stat : 12495 (java) S 12481 12481 8971 0 -1 1077944384 1861 0 0 0 28 0 0 0 20 0 15 0 516953303 15514783744 20035 33554432000 4194304 4196468 140723821582512 140569571408624 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12496] ppid=12481 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12496/stat : 12496 (java) S 12481 12481 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516953303 15514783744 20035 33554432000 4194304 4196468 140723821582512 140569570356320 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12497] ppid=12481 vsize=15151156 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12497/stat : 12497 (java) S 12481 12481 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516953303 15514783744 20035 33554432000 4194304 4196468 140723821582512 140569569302832 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 81596 KiB

[startup+1.50088 s]
/proc/loadavg: 2.30 1.73 1.66 5/230 12497
/proc/meminfo: memFree=25057428/32770624 swapFree=66974660/67108860
[pid=12481] ppid=12478 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12481/stat : 12481 (xcsp3-exec) S 12478 12481 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516953297 115843072 364 33554432000 4194304 5098028 140728678893984 140728678892088 139926241763964 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19685376 140728678896470 140728678896729 140728678896729 140728678899654 0
/proc/12481/statm: 28282 364 305 221 0 87 0

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

/proc/12483/task/12491/stat : 12491 (java) S 12481 12481 8971 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 516953301 15514783744 158518 33554432000 4194304 4196468 140723821582512 140569575617536 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12492] ppid=12481 vsize=15151156 memory=634072 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12492/stat : 12492 (java) S 12481 12481 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516953303 15514783744 158518 33554432000 4194304 4196468 140723821582512 140569574566096 140570703873947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12493] ppid=12481 vsize=15151156 memory=1456 CPUtime=1.39 cores=1,3,5,7
/proc/12483/task/12493/stat : 12493 (java) S 12481 12481 8971 0 -1 1077944384 19053 0 0 0 137 2 0 0 20 0 15 0 516953303 15514783744 158518 33554432000 4194304 4196468 140723821582512 140569573513712 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12494] ppid=12481 vsize=15151156 memory=634072 CPUtime=1.46 cores=1,3,5,7
/proc/12483/task/12494/stat : 12494 (java) S 12481 12481 8971 0 -1 1077944384 14512 0 0 0 144 2 0 0 20 0 15 0 516953303 15514783744 158518 33554432000 4194304 4196468 140723821582512 140569572461168 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12495] ppid=12481 vsize=15151156 memory=1456 CPUtime=0.37 cores=1,3,5,7
/proc/12483/task/12495/stat : 12495 (java) S 12481 12481 8971 0 -1 1077944384 4695 0 0 0 36 1 0 0 20 0 15 0 516953303 15514783744 158518 33554432000 4194304 4196468 140723821582512 140569571408624 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12496] ppid=12481 vsize=15151156 memory=634588 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12496/stat : 12496 (java) S 12481 12481 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516953303 15514783744 158518 33554432000 4194304 4196468 140723821582512 140569570356320 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12497] ppid=12481 vsize=15151156 memory=924 CPUtime=1.18 cores=1,3,5,7
/proc/12483/task/12497/stat : 12497 (java) S 12481 12481 8971 0 -1 1077944384 974 0 0 0 54 64 0 0 20 0 15 0 516953303 15514783744 158518 33554432000 4194304 4196468 140723821582512 140569569302832 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
Current children cumulated CPU time: 2351.55 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 635528 KiB

[startup+2382.3 s]
/proc/loadavg: 1.61 1.62 1.66 3/231 12871
/proc/meminfo: memFree=24507228/32770624 swapFree=66974668/67108860
[pid=12481] ppid=12478 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12481/stat : 12481 (xcsp3-exec) S 12478 12481 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516953297 115843072 364 33554432000 4194304 5098028 140728678893984 140728678892088 139926241763964 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19685376 140728678896470 140728678896729 140728678896729 140728678899654 0
/proc/12481/statm: 28282 364 305 221 0 87 0
[pid=12483] ppid=12481 vsize=15151156 memory=616120 CPUtime=2412.04 cores=1,3,5,7
/proc/12483/stat : 12483 (java) S 12481 12481 8971 0 -1 1077944320 230654 0 0 0 240918 286 0 0 20 0 15 0 516953297 15514783744 154030 33554432000 4194304 4196468 140723821582512 140723821565056 140570703855351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
/proc/12483/statm: 3787789 154030 3511 1 0 3748889 0
[pid=12483/tid=12484] ppid=12481 vsize=15151156 memory=1456 CPUtime=2367.98 cores=1,3,5,7
/proc/12483/task/12484/stat : 12484 (java) R 12481 12481 8971 0 -1 4202560 129137 0 0 0 236727 71 0 0 20 0 15 0 516953298 15514783744 154030 33554432000 4194304 4196468 140723821582512 140570708094720 140570341133394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12485] ppid=12481 vsize=15151156 memory=616120 CPUtime=9.01 cores=1,3,5,7
/proc/12483/task/12485/stat : 12485 (java) S 12481 12481 8971 0 -1 1077944384 11290 0 0 0 864 37 0 0 20 0 15 0 516953299 15514783744 154030 33554432000 4194304 4196468 140723821582512 140570295982864 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12486] ppid=12481 vsize=15151156 memory=616120 CPUtime=9 cores=1,3,5,7
/proc/12483/task/12486/stat : 12486 (java) S 12481 12481 8971 0 -1 1077944384 10357 0 0 0 866 34 0 0 20 0 15 0 516953299 15514783744 154030 33554432000 4194304 4196468 140723821582512 140570294930320 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12487] ppid=12481 vsize=15151156 memory=616632 CPUtime=8.98 cores=1,3,5,7
/proc/12483/task/12487/stat : 12487 (java) S 12481 12481 8971 0 -1 1077944384 11770 0 0 0 864 34 0 0 20 0 15 0 516953299 15514783744 154030 33554432000 4194304 4196468 140723821582512 140570293877776 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12488] ppid=12481 vsize=15151156 memory=620736 CPUtime=8.99 cores=1,3,5,7
/proc/12483/task/12488/stat : 12488 (java) S 12481 12481 8971 0 -1 1077944384 11215 0 0 0 867 32 0 0 20 0 15 0 516953299 15514783744 154030 33554432000 4194304 4196468 140723821582512 140570292825232 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12489] ppid=12481 vsize=15151156 memory=622788 CPUtime=3.55 cores=1,3,5,7
/proc/12483/task/12489/stat : 12489 (java) S 12481 12481 8971 0 -1 1077944384 16242 0 0 0 319 36 0 0 20 0 15 0 516953300 15514783744 154030 33554432000 4194304 4196468 140723821582512 140569577723888 140570703866498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12490] ppid=12481 vsize=15151156 memory=619708 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12490/stat : 12490 (java) S 12481 12481 8971 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 516953300 15514783744 154030 33554432000 4194304 4196468 140723821582512 140569576670176 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12491] ppid=12481 vsize=15151156 memory=617144 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12491/stat : 12491 (java) S 12481 12481 8971 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 516953301 15514783744 154030 33554432000 4194304 4196468 140723821582512 140569575617536 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12492] ppid=12481 vsize=15151156 memory=617144 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12492/stat : 12492 (java) S 12481 12481 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516953303 15514783744 154030 33554432000 4194304 4196468 140723821582512 140569574566096 140570703873947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12493] ppid=12481 vsize=15151156 memory=616120 CPUtime=1.39 cores=1,3,5,7
/proc/12483/task/12493/stat : 12493 (java) S 12481 12481 8971 0 -1 1077944384 19055 0 0 0 137 2 0 0 20 0 15 0 516953303 15514783744 154030 33554432000 4194304 4196468 140723821582512 140569573513712 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12494] ppid=12481 vsize=15151156 memory=616120 CPUtime=1.46 cores=1,3,5,7
/proc/12483/task/12494/stat : 12494 (java) S 12481 12481 8971 0 -1 1077944384 14514 0 0 0 144 2 0 0 20 0 15 0 516953303 15514783744 154030 33554432000 4194304 4196468 140723821582512 140569572461168 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12495] ppid=12481 vsize=15151156 memory=1456 CPUtime=0.37 cores=1,3,5,7
/proc/12483/task/12495/stat : 12495 (java) S 12481 12481 8971 0 -1 1077944384 4697 0 0 0 36 1 0 0 20 0 15 0 516953303 15514783744 154030 33554432000 4194304 4196468 140723821582512 140569571408624 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12496] ppid=12481 vsize=15151156 memory=280892606083379 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12496/stat : 12496 (java) S 12481 12481 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516953303 15514783744 154030 33554432000 4194304 4196468 140723821582512 140569570356320 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12497] ppid=12481 vsize=15151156 memory=1456 CPUtime=1.22 cores=1,3,5,7
/proc/12483/task/12497/stat : 12497 (java) S 12481 12481 8971 0 -1 1077944384 980 0 0 0 56 66 0 0 20 0 15 0 516953303 15514783744 154030 33554432000 4194304 4196468 140723821582512 140569569302832 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
Current children cumulated CPU time: 2412.04 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 617576 KiB

[startup+2442.3 s]
/proc/loadavg: 1.60 1.63 1.66 3/229 12876
/proc/meminfo: memFree=24536200/32770624 swapFree=66974668/67108860
[pid=12481] ppid=12478 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12481/stat : 12481 (xcsp3-exec) S 12478 12481 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516953297 115843072 364 33554432000 4194304 5098028 140728678893984 140728678892088 139926241763964 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19685376 140728678896470 140728678896729 140728678896729 140728678899654 0
/proc/12481/statm: 28282 364 305 221 0 87 0
[pid=12483] ppid=12481 vsize=15151156 memory=589956 CPUtime=2472.52 cores=1,3,5,7
/proc/12483/stat : 12483 (java) S 12481 12481 8971 0 -1 1077944320 232080 0 0 0 246961 291 0 0 20 0 15 0 516953297 15514783744 147489 33554432000 4194304 4196468 140723821582512 140723821565056 140570703855351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
/proc/12483/statm: 3787789 147489 3511 1 0 3748889 0
[pid=12483/tid=12484] ppid=12481 vsize=15151156 memory=590468 CPUtime=2427.66 cores=1,3,5,7
/proc/12483/task/12484/stat : 12484 (java) R 12481 12481 8971 0 -1 4202560 129576 0 0 0 242695 71 0 0 20 0 15 0 516953298 15514783744 147489 33554432000 4194304 4196468 140723821582512 140570708094720 140570341574144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12485] ppid=12481 vsize=15151156 memory=1456 CPUtime=9.17 cores=1,3,5,7
/proc/12483/task/12485/stat : 12485 (java) S 12481 12481 8971 0 -1 1077944384 11371 0 0 0 880 37 0 0 20 0 15 0 516953299 15514783744 147489 33554432000 4194304 4196468 140723821582512 140570295982864 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12486] ppid=12481 vsize=15151156 memory=591496 CPUtime=9.17 cores=1,3,5,7
/proc/12483/task/12486/stat : 12486 (java) S 12481 12481 8971 0 -1 1077944384 10432 0 0 0 882 35 0 0 20 0 15 0 516953299 15514783744 147489 33554432000 4194304 4196468 140723821582512 140570294930320 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12487] ppid=12481 vsize=15151156 memory=593032 CPUtime=9.15 cores=1,3,5,7
/proc/12483/task/12487/stat : 12487 (java) S 12481 12481 8971 0 -1 1077944384 11941 0 0 0 880 35 0 0 20 0 15 0 516953299 15514783744 147489 33554432000 4194304 4196468 140723821582512 140570293877776 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12488] ppid=12481 vsize=15151156 memory=594060 CPUtime=9.15 cores=1,3,5,7
/proc/12483/task/12488/stat : 12488 (java) S 12481 12481 8971 0 -1 1077944384 11658 0 0 0 883 32 0 0 20 0 15 0 516953299 15514783744 147489 33554432000 4194304 4196468 140723821582512 140570292825232 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12489] ppid=12481 vsize=15151156 memory=1456 CPUtime=3.64 cores=1,3,5,7
/proc/12483/task/12489/stat : 12489 (java) S 12481 12481 8971 0 -1 1077944384 16437 0 0 0 326 38 0 0 20 0 15 0 516953300 15514783744 147489 33554432000 4194304 4196468 140723821582512 140569577723888 140570703866498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12490] ppid=12481 vsize=15151156 memory=602780 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12490/stat : 12490 (java) S 12481 12481 8971 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 516953300 15514783744 147489 33554432000 4194304 4196468 140723821582512 140569576670176 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12491] ppid=12481 vsize=15151156 memory=593032 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12491/stat : 12491 (java) S 12481 12481 8971 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 516953301 15514783744 147489 33554432000 4194304 4196468 140723821582512 140569575617536 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12492] ppid=12481 vsize=15151156 memory=592520 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12492/stat : 12492 (java) S 12481 12481 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516953303 15514783744 147489 33554432000 4194304 4196468 140723821582512 140569574566096 140570703873947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12493] ppid=12481 vsize=15151156 memory=591496 CPUtime=1.39 cores=1,3,5,7
/proc/12483/task/12493/stat : 12493 (java) S 12481 12481 8971 0 -1 1077944384 19057 0 0 0 137 2 0 0 20 0 15 0 516953303 15514783744 147489 33554432000 4194304 4196468 140723821582512 140569573513712 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12494] ppid=12481 vsize=15151156 memory=590468 CPUtime=1.46 cores=1,3,5,7
/proc/12483/task/12494/stat : 12494 (java) S 12481 12481 8971 0 -1 1077944384 14516 0 0 0 144 2 0 0 20 0 15 0 516953303 15514783744 147489 33554432000 4194304 4196468 140723821582512 140569572461168 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12495] ppid=12481 vsize=15151156 memory=1456 CPUtime=0.37 cores=1,3,5,7
/proc/12483/task/12495/stat : 12495 (java) S 12481 12481 8971 0 -1 1077944384 4700 0 0 0 36 1 0 0 20 0 15 0 516953303 15514783744 147489 33554432000 4194304 4196468 140723821582512 140569571408624 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12496] ppid=12481 vsize=15151156 memory=3612 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12496/stat : 12496 (java) S 12481 12481 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516953303 15514783744 147489 33554432000 4194304 4196468 140723821582512 140569570356320 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12497] ppid=12481 vsize=15151156 memory=1456 CPUtime=1.24 cores=1,3,5,7
/proc/12483/task/12497/stat : 12497 (java) S 12481 12481 8971 0 -1 1077944384 995 0 0 0 57 67 0 0 20 0 15 0 516953303 15514783744 147489 33554432000 4194304 4196468 140723821582512 140569569302832 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
Current children cumulated CPU time: 2472.52 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 591412 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2489.6 s]
/proc/loadavg: 1.46 1.59 1.65 3/229 12880
/proc/meminfo: memFree=24544148/32770624 swapFree=66974668/67108860
[pid=12481] ppid=12478 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12481/stat : 12481 (xcsp3-exec) S 12478 12481 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516953297 115843072 364 33554432000 4194304 5098028 140728678893984 140728678892088 139926241763964 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19685376 140728678896470 140728678896729 140728678896729 140728678899654 0
/proc/12481/statm: 28282 364 305 221 0 87 0
[pid=12483] ppid=12481 vsize=15151156 memory=587392 CPUtime=2520.09 cores=1,3,5,7
/proc/12483/stat : 12483 (java) S 12481 12481 8971 0 -1 1077944320 232667 0 0 0 251716 293 0 0 20 0 15 0 516953297 15514783744 146848 33554432000 4194304 4196468 140723821582512 140723821565056 140570703855351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
/proc/12483/statm: 3787789 146848 3511 1 0 3748889 0
[pid=12483/tid=12484] ppid=12481 vsize=15151156 memory=3612 CPUtime=2474.78 cores=1,3,5,7
/proc/12483/task/12484/stat : 12484 (java) R 12481 12481 8971 0 -1 4202560 129828 0 0 0 247407 71 0 0 20 0 15 0 516953298 15514783744 146848 33554432000 4194304 4196468 140723821582512 140570708094720 140570341134659 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12485] ppid=12481 vsize=15151156 memory=55468 CPUtime=9.27 cores=1,3,5,7
/proc/12483/task/12485/stat : 12485 (java) S 12481 12481 8971 0 -1 1077944384 11377 0 0 0 889 38 0 0 20 0 15 0 516953299 15514783744 146848 33554432000 4194304 4196468 140723821582512 140570295982864 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12486] ppid=12481 vsize=15151156 memory=992 CPUtime=9.26 cores=1,3,5,7
/proc/12483/task/12486/stat : 12486 (java) S 12481 12481 8971 0 -1 1077944384 10444 0 0 0 891 35 0 0 20 0 15 0 516953299 15514783744 146848 33554432000 4194304 4196468 140723821582512 140570294930320 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12487] ppid=12481 vsize=15151156 memory=6791534058613427641 CPUtime=9.24 cores=1,3,5,7
/proc/12483/task/12487/stat : 12487 (java) S 12481 12481 8971 0 -1 1077944384 12013 0 0 0 889 35 0 0 20 0 15 0 516953299 15514783744 146848 33554432000 4194304 4196468 140723821582512 140570293877776 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12488] ppid=12481 vsize=15151156 memory=14012 CPUtime=9.25 cores=1,3,5,7
/proc/12483/task/12488/stat : 12488 (java) S 12481 12481 8971 0 -1 1077944384 11726 0 0 0 892 33 0 0 20 0 15 0 516953299 15514783744 146848 33554432000 4194304 4196468 140723821582512 140570292825232 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12489] ppid=12481 vsize=15151156 memory=26092 CPUtime=3.7 cores=1,3,5,7
/proc/12483/task/12489/stat : 12489 (java) S 12481 12481 8971 0 -1 1077944384 16602 0 0 0 332 38 0 0 20 0 15 0 516953300 15514783744 146848 33554432000 4194304 4196468 140723821582512 140569577723888 140570703866498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12490] ppid=12481 vsize=15151156 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12490/stat : 12490 (java) S 12481 12481 8971 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 516953300 15514783744 146848 33554432000 4194304 4196468 140723821582512 140569576670176 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12491] ppid=12481 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12491/stat : 12491 (java) S 12481 12481 8971 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 516953301 15514783744 146848 33554432000 4194304 4196468 140723821582512 140569575617536 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12492] ppid=12481 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12492/stat : 12492 (java) S 12481 12481 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516953303 15514783744 146848 33554432000 4194304 4196468 140723821582512 140569574566096 140570703873947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12493] ppid=12481 vsize=15151156 memory=588928 CPUtime=1.39 cores=1,3,5,7
/proc/12483/task/12493/stat : 12493 (java) S 12481 12481 8971 0 -1 1077944384 19057 0 0 0 137 2 0 0 20 0 15 0 516953303 15514783744 146848 33554432000 4194304 4196468 140723821582512 140569573513712 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12494] ppid=12481 vsize=15151156 memory=1456 CPUtime=1.46 cores=1,3,5,7
/proc/12483/task/12494/stat : 12494 (java) S 12481 12481 8971 0 -1 1077944384 14516 0 0 0 144 2 0 0 20 0 15 0 516953303 15514783744 146848 33554432000 4194304 4196468 140723821582512 140569572461168 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12495] ppid=12481 vsize=15151156 memory=780 CPUtime=0.37 cores=1,3,5,7
/proc/12483/task/12495/stat : 12495 (java) S 12481 12481 8971 0 -1 1077944384 4700 0 0 0 36 1 0 0 20 0 15 0 516953303 15514783744 146848 33554432000 4194304 4196468 140723821582512 140569571408624 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12496] ppid=12481 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/12483/task/12496/stat : 12496 (java) S 12481 12481 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516953303 15514783744 146848 33554432000 4194304 4196468 140723821582512 140569570356320 140570703865557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
[pid=12483/tid=12497] ppid=12481 vsize=15151156 memory=1984 CPUtime=1.26 cores=1,3,5,7
/proc/12483/task/12497/stat : 12497 (java) S 12481 12481 8971 0 -1 1077944384 1007 0 0 0 58 68 0 0 20 0 15 0 516953303 15514783744 146848 33554432000 4194304 4196468 140723821582512 140569569302832 140570703866498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 19337216 140723821589467 140723821589642 140723821589642 140723821592527 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 588848 KiB

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

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

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

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

Child status: 143
Real time (s): 2489.61
CPU time (s): 2520.12
CPU user time (s): 2517.18
CPU system time (s): 2.94137
CPU usage (%): 101.225
Max. virtual memory (cumulated for all children) (KiB): 15268144
Max. memory (cumulated for all children) (KiB): 1161816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.18
system time used= 2.94137
maximum resident set size= 1171108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233575
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146985
involuntary context switches= 4580


# summary of solver processes directly reported to runsolver:
#   pid: 12481,12483
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2517.18
#   total CPU system time (s): 2.94137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0602 second user time and 24.0258 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-25 13:14:31
IDJOB=4405951
IDBENCH=134718
IDSOLVER=2869
FILE ID=node117/4405951-1569410115
RUNJOBID= node117-1569408107-11225
PBS_JOBID= 21705694
Free space on /var/tmp= 13488 MiB

SOLVER NAME= choco-solver 2019-09-24
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-fpga/Pb-chnl10-15.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405951-1569410115/watcher-4405951-1569410115 -o /var/tmp/evaluation-result-4405951-1569410115/solver-4405951-1569410115 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1569408107-11225 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1362856935 HOME/instance-4405951-1569410115.xml

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

MD5SUM BENCH= 0275487dddce0dcf34d0f76368ca0063
RANDOM SEED=1362856935

node117.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.75
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.75
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.75
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.75
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:        25160092 kB
MemAvailable:   31698048 kB
Buffers:          150360 kB
Cached:          6440852 kB
SwapCached:        27788 kB
Active:          3388152 kB
Inactive:        3362796 kB
Active(anon):     130092 kB
Inactive(anon):    80960 kB
Active(file):    3258060 kB
Inactive(file):  3281836 kB
Unevictable:      106976 kB
Mlocked:          106976 kB
SwapTotal:      67108860 kB
SwapFree:       66974660 kB
Dirty:             26136 kB
Writeback:             0 kB
AnonPages:        249816 kB
Mapped:            68808 kB
Shmem:             42996 kB
Slab:             455524 kB
SReclaimable:     426520 kB
SUnreclaim:        29004 kB
KernelStack:        4016 kB
PageTables:         6340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1412516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    161792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /var/tmp at the end= 13460 MiB
End job on node117 at 2019-09-25 13:56:01