Trace number 4272124

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 5a (2017-07-26)? (TO) 2520.1001 2446.02

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-mps/
Pb-mps-v2-20-10-l152lav.xml
MD5SUMe295f86f2e8232e9b7c8210bbc53418f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1989
Number of constraints97
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1989}]
Minimum variable degree3
Maximum variable degree8
Distribution of variable degrees[{"degree":3,"count":3},{"degree":4,"count":193},{"degree":5,"count":403},{"degree":6,"count":674},{"degree":7,"count":657},{"degree":8,"count":59}]
Minimum constraint arity3
Maximum constraint arity1989
Distribution of constraint arities[{"arity":3,"count":1},{"arity":5,"count":1},{"arity":10,"count":1},{"arity":14,"count":1},{"arity":19,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":24,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":31,"count":2},{"arity":32,"count":2},{"arity":35,"count":2},{"arity":37,"count":3},{"arity":40,"count":1},{"arity":42,"count":3},{"arity":43,"count":1},{"arity":44,"count":3},{"arity":45,"count":1},{"arity":46,"count":1},{"arity":47,"count":1},{"arity":48,"count":3},{"arity":49,"count":1},{"arity":50,"count":1},{"arity":52,"count":2},"...",{"arity":93,"count":1}, {"arity":94,"count":1}, {"arity":96,"count":3}, {"arity":97,"count":1}, {"arity":102,"count":2}, {"arity":103,"count":1}, {"arity":104,"count":1}, {"arity":106,"count":1}, {"arity":108,"count":2}, {"arity":112,"count":2}, {"arity":114,"count":1}, {"arity":118,"count":1}, {"arity":121,"count":2}, {"arity":123,"count":1}, {"arity":125,"count":1}, {"arity":128,"count":1}, {"arity":129,"count":1}, {"arity":137,"count":1}, {"arity":152,"count":1}, {"arity":160,"count":1}, {"arity":163,"count":1}, {"arity":171,"count":1}, {"arity":218,"count":1}, {"arity":1011,"count":1}, {"arity":1989,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":97}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272124-1502817766.xml"  -tl '2520s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4272124-1502817766.xml, -tl, 2520s, -p, 1, -x, 3]
0.12/0.20	c simple solver
0.34/0.26	c parse instance...
1.18/0.58	c solve instance...
2520.07/2446.01	s UNKNOWN
2520.07/2446.01	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 (11821 MiB free)
  memory of node 1: 16384 MiB (14932 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272124-1502817766/watcher-4272124-1502817766 -o /tmp/evaluation-result-4272124-1502817766/solver-4272124-1502817766 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502789706-445 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 400608538 HOME/instance-4272124-1502817766.xml 

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

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

solver pid=3844, runsolver pid=3841

[startup+0.100635 s]*
/proc/loadavg: 1.71 1.54 1.51 3/217 3860
/proc/meminfo: memFree=27374924/32770624 swapFree=67108860/67108860
[pid=3844] ppid=3841 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/3844/stat : 3844 (xcsp3-exec) S 3841 3844 410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114864429 9740288 346 33554432000 4194304 5098028 140735815885856 140735815883960 140591745462908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28073984 140735815890031 140735815890235 140735815890235 140735815892971 0
/proc/3844/statm: 2378 346 289 221 0 87 0
[pid=3846] ppid=3844 vsize=13978596 memory=28372 CPUtime=0.12 cores=1,3,5,7
/proc/3846/stat : 3846 (java) S 3844 3844 410 0 -1 1077944320 5392 0 0 0 11 1 0 0 20 0 15 0 114864429 14314082304 7093 33554432000 4194304 4196468 140731291036672 140731291019216 139915531534071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
/proc/3846/statm: 3494649 7093 2903 1 0 3482966 0
[pid=3846/tid=3847] ppid=3844 vsize=13978596 memory=7883960649037381690 CPUtime=0.09 cores=1,3,5,7
/proc/3846/task/3847/stat : 3847 (java) R 3844 3844 410 0 -1 4202560 3399 0 0 0 8 1 0 0 20 0 15 0 114864430 14314082304 7093 33554432000 4194304 4196468 140731291036672 139915535765984 139915153207786 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3848] ppid=3844 vsize=13978596 memory=8944 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3848/stat : 3848 (java) S 3844 3844 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114864431 14314082304 7093 33554432000 4194304 4196468 140731291036672 139915484154256 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3849] ppid=3844 vsize=13978596 memory=139955722346997 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3849/stat : 3849 (java) S 3844 3844 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114864431 14314082304 7159 33554432000 4194304 4196468 140731291036672 139915483101456 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3850] ppid=3844 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3850/stat : 3850 (java) S 3844 3844 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114864431 14314082304 7159 33554432000 4194304 4196468 140731291036672 139915482049168 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3851] ppid=3844 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3851/stat : 3851 (java) S 3844 3844 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114864431 14314082304 7159 33554432000 4194304 4196468 140731291036672 139915480996368 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3852] ppid=3844 vsize=13978596 memory=139955722237568 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3852/stat : 3852 (java) S 3844 3844 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114864432 14314082304 7159 33554432000 4194304 4196468 140731291036672 139915072924272 139915531545218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3853] ppid=3844 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3853/stat : 3853 (java) S 3844 3844 410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114864432 14314082304 7159 33554432000 4194304 4196468 140731291036672 139915071870240 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3854] ppid=3844 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3854/stat : 3854 (java) S 3844 3844 410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114864433 14314082304 7159 33554432000 4194304 4196468 140731291036672 139915070817904 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3855] ppid=3844 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3855/stat : 3855 (java) S 3844 3844 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114864435 14314082304 7159 33554432000 4194304 4196468 140731291036672 139915002112592 139915531552667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3856] ppid=3844 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3856/stat : 3856 (java) R 3844 3844 410 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 15 0 114864435 14314082304 7159 33554432000 4194304 4196468 140731291036672 139915001059440 139915531555418 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3857] ppid=3844 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3857/stat : 3857 (java) S 3844 3844 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114864435 14314082304 7159 33554432000 4194304 4196468 140731291036672 139915000006640 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3858] ppid=3844 vsize=13978596 memory=139955722237568 CPUtime=0.01 cores=1,3,5,7
/proc/3846/task/3858/stat : 3858 (java) R 3844 3844 410 0 -1 4202560 341 0 0 0 1 0 0 0 20 0 15 0 114864435 14314082304 7159 33554432000 4194304 4196468 140731291036672 139914998954352 139915510466318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3859] ppid=3844 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3859/stat : 3859 (java) S 3844 3844 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114864435 14314082304 7159 33554432000 4194304 4196468 140731291036672 139914997901792 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3860] ppid=3844 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3860/stat : 3860 (java) S 3844 3844 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114864435 14314082304 7159 33554432000 4194304 4196468 140731291036672 139914996849584 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29756 KiB

[startup+0.210739 s]*
/proc/loadavg: 1.71 1.54 1.51 3/217 3860
/proc/meminfo: memFree=27363140/32770624 swapFree=67108860/67108860
[pid=3844] ppid=3841 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/3844/stat : 3844 (xcsp3-exec) S 3841 3844 410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114864429 9740288 346 33554432000 4194304 5098028 140735815885856 140735815883960 140591745462908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28073984 140735815890031 140735815890235 140735815890235 140735815892971 0
/proc/3844/statm: 2378 346 289 221 0 87 0
[pid=3846] ppid=3844 vsize=13982852 memory=40212 CPUtime=0.34 cores=1,3,5,7
/proc/3846/stat : 3846 (java) S 3844 3844 410 0 -1 1077944320 8100 0 0 0 31 3 0 0 20 0 15 0 114864429 14318440448 10053 33554432000 4194304 4196468 140731291036672 140731291019216 139915531534071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
/proc/3846/statm: 3495713 10053 3051 1 0 3482966 0
[pid=3846/tid=3847] ppid=3844 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/3846/task/3847/stat : 3847 (java) R 3844 3844 410 0 -1 4202560 5304 0 0 0 18 2 0 0 20 0 15 0 114864430 14318440448 10053 33554432000 4194304 4196468 140731291036672 139915535756096 139915531555997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3848] ppid=3844 vsize=13982852 memory=8944 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3848/stat : 3848 (java) S 3844 3844 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114864431 14318440448 10053 33554432000 4194304 4196468 140731291036672 139915484154256 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3849] ppid=3844 vsize=13982852 memory=139955722346997 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3849/stat : 3849 (java) S 3844 3844 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114864431 14318440448 10053 33554432000 4194304 4196468 140731291036672 139915483101456 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3850] ppid=3844 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3850/stat : 3850 (java) S 3844 3844 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114864431 14318440448 10053 33554432000 4194304 4196468 140731291036672 139915482049168 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3851] ppid=3844 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3851/stat : 3851 (java) S 3844 3844 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114864431 14318440448 10053 33554432000 4194304 4196468 140731291036672 139915480996368 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3852] ppid=3844 vsize=13982852 memory=139955722237568 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3852/stat : 3852 (java) S 3844 3844 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114864432 14318440448 10053 33554432000 4194304 4196468 140731291036672 139915072924272 139915531545218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3853] ppid=3844 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3853/stat : 3853 (java) S 3844 3844 410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114864432 14318440448 10053 33554432000 4194304 4196468 140731291036672 139915071870240 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3854] ppid=3844 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3854/stat : 3854 (java) S 3844 3844 410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114864433 14318440448 10053 33554432000 4194304 4196468 140731291036672 139915070817904 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3855] ppid=3844 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3855/stat : 3855 (java) S 3844 3844 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114864435 14318440448 10053 33554432000 4194304 4196468 140731291036672 139915002112592 139915531552667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3856] ppid=3844 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3846/task/3856/stat : 3856 (java) S 3844 3844 410 0 -1 1077944384 590 0 0 0 2 0 0 0 20 0 15 0 114864435 14318440448 10053 33554432000 4194304 4196468 140731291036672 139915001059440 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3857] ppid=3844 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3846/task/3857/stat : 3857 (java) S 3844 3844 410 0 -1 1077944384 170 0 0 0 2 0 0 0 20 0 15 0 114864435 14318440448 10053 33554432000 4194304 4196468 140731291036672 139915000006640 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3858] ppid=3844 vsize=13982852 memory=139955722237568 CPUtime=0.08 cores=1,3,5,7
/proc/3846/task/3858/stat : 3858 (java) R 3844 3844 410 0 -1 4202560 739 0 0 0 8 0 0 0 20 0 15 0 114864435 14318440448 10053 33554432000 4194304 4196468 140731291036672 139914998954352 139915510668624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3859] ppid=3844 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3859/stat : 3859 (java) S 3844 3844 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114864435 14318440448 10053 33554432000 4194304 4196468 140731291036672 139914997901792 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3860] ppid=3844 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3860/stat : 3860 (java) S 3844 3844 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114864435 14318440448 10053 33554432000 4194304 4196468 140731291036672 139914996849584 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41596 KiB

[startup+0.311383 s]*
/proc/loadavg: 1.71 1.54 1.51 5/217 3860
/proc/meminfo: memFree=27356068/32770624 swapFree=67108860/67108860
[pid=3844] ppid=3841 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/3844/stat : 3844 (xcsp3-exec) S 3841 3844 410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114864429 9740288 346 33554432000 4194304 5098028 140735815885856 140735815883960 140591745462908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28073984 140735815890031 140735815890235 140735815890235 140735815892971 0
/proc/3844/statm: 2378 346 289 221 0 87 0
[pid=3846] ppid=3844 vsize=13982852 memory=48108 CPUtime=0.52 cores=1,3,5,7
/proc/3846/stat : 3846 (java) S 3844 3844 410 0 -1 1077944320 9213 0 0 0 49 3 0 0 20 0 15 0 114864429 14318440448 12027 33554432000 4194304 4196468 140731291036672 140731291019216 139915531534071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
/proc/3846/statm: 3495713 12027 3121 1 0 3482966 0
[pid=3846/tid=3847] ppid=3844 vsize=13982852 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/3846/task/3847/stat : 3847 (java) R 3844 3844 410 0 -1 4202560 6021 0 0 0 27 2 0 0 20 0 15 0 114864430 14318440448 12027 33554432000 4194304 4196468 140731291036672 139915535757888 139915515614558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3848] ppid=3844 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3848/stat : 3848 (java) S 3844 3844 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114864431 14318440448 12027 33554432000 4194304 4196468 140731291036672 139915484154256 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3849] ppid=3844 vsize=13982852 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3849/stat : 3849 (java) S 3844 3844 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114864431 14318440448 12027 33554432000 4194304 4196468 140731291036672 139915483101456 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3850] ppid=3844 vsize=13982852 memory=4956998493510226538 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3850/stat : 3850 (java) S 3844 3844 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114864431 14318440448 12027 33554432000 4194304 4196468 140731291036672 139915482049168 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3851] ppid=3844 vsize=13982852 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3851/stat : 3851 (java) S 3844 3844 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114864431 14318440448 12027 33554432000 4194304 4196468 140731291036672 139915480996368 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3852] ppid=3844 vsize=13982852 memory=-9001734000804784231 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3852/stat : 3852 (java) S 3844 3844 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114864432 14318440448 12027 33554432000 4194304 4196468 140731291036672 139915072924272 139915531545218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3853] ppid=3844 vsize=13982852 memory=-4266093328290194108 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3853/stat : 3853 (java) S 3844 3844 410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114864432 14318440448 12027 33554432000 4194304 4196468 140731291036672 139915071870240 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3854] ppid=3844 vsize=13982852 memory=-5874771483550381248 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3854/stat : 3854 (java) S 3844 3844 410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114864433 14318440448 12027 33554432000 4194304 4196468 140731291036672 139915070817904 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3855] ppid=3844 vsize=13982852 memory=5450889958524880682 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3855/stat : 3855 (java) S 3844 3844 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114864435 14318440448 12027 33554432000 4194304 4196468 140731291036672 139915002112592 139915531552667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3856] ppid=3844 vsize=13982852 memory=9047914855943115630 CPUtime=0.03 cores=1,3,5,7
/proc/3846/task/3856/stat : 3856 (java) S 3844 3844 410 0 -1 1077944384 709 0 0 0 3 0 0 0 20 0 15 0 114864435 14318440448 12027 33554432000 4194304 4196468 140731291036672 139915001059440 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3857] ppid=3844 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3846/task/3857/stat : 3857 (java) R 3844 3844 410 0 -1 4202560 277 0 0 0 4 0 0 0 20 0 15 0 114864435 14318440448 12092 33554432000 4194304 4196468 140731291036672 139915000006640 139915531555418 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3858] ppid=3844 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/3846/task/3858/stat : 3858 (java) S 3844 3844 410 0 -1 1077944384 917 0 0 0 13 0 0 0 20 0 15 0 114864435 14318440448 12092 33554432000 4194304 4196468 140731291036672 139914998954352 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3859] ppid=3844 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3859/stat : 3859 (java) S 3844 3844 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114864435 14318440448 12092 33554432000 4194304 4196468 140731291036672 139914997901792 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3860] ppid=3844 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3860/stat : 3860 (java) S 3844 3844 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114864435 14318440448 12092 33554432000 4194304 4196468 140731291036672 139914996849584 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49492 KiB

[startup+0.701383 s]
/proc/loadavg: 1.81 1.56 1.51 6/217 3860
/proc/meminfo: memFree=27335428/32770624 swapFree=67108860/67108860
[pid=3844] ppid=3841 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/3844/stat : 3844 (xcsp3-exec) S 3841 3844 410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114864429 9740288 346 33554432000 4194304 5098028 140735815885856 140735815883960 140591745462908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28073984 140735815890031 140735815890235 140735815890235 140735815892971 0
/proc/3844/statm: 2378 346 289 221 0 87 0
[pid=3846] ppid=3844 vsize=13984976 memory=78796 CPUtime=1.75 cores=1,3,5,7
/proc/3846/stat : 3846 (java) S 3844 3844 410 0 -1 1077944320 12347 0 0 0 170 5 0 0 20 0 15 0 114864429 14320615424 19699 33554432000 4194304 4196468 140731291036672 140731291019216 139915531534071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
/proc/3846/statm: 3496244 19699 3209 1 0 3483478 0
[pid=3846/tid=3847] ppid=3844 vsize=13984976 memory=481 CPUtime=0.67 cores=1,3,5,7
/proc/3846/task/3847/stat : 3847 (java) R 3844 3844 410 0 -1 4202560 6690 0 0 0 64 3 0 0 20 0 15 0 114864430 14320615424 19699 33554432000 4194304 4196468 140731291036672 139915535772160 139915157220487 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3848] ppid=3844 vsize=13984976 memory=5795153719298590087 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3848/stat : 3848 (java) S 3844 3844 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114864431 14320615424 19699 33554432000 4194304 4196468 140731291036672 139915484154256 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3849] ppid=3844 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3849/stat : 3849 (java) S 3844 3844 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114864431 14320615424 19699 33554432000 4194304 4196468 140731291036672 139915483101456 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3850] ppid=3844 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3850/stat : 3850 (java) S 3844 3844 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114864431 14320615424 19699 33554432000 4194304 4196468 140731291036672 139915482049168 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3851] ppid=3844 vsize=13984976 memory=916 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3851/stat : 3851 (java) S 3844 3844 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114864431 14320615424 19699 33554432000 4194304 4196468 140731291036672 139915480996368 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3852] ppid=3844 vsize=13984976 memory=3832 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3852/stat : 3852 (java) S 3844 3844 410 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114864432 14320615424 19699 33554432000 4194304 4196468 140731291036672 139915072924272 139915531545218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3853] ppid=3844 vsize=13984976 memory=2628 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3853/stat : 3853 (java) S 3844 3844 410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114864432 14320615424 19699 33554432000 4194304 4196468 140731291036672 139915071870240 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3854] ppid=3844 vsize=13984976 memory=2548 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3854/stat : 3854 (java) S 3844 3844 410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114864433 14320615424 19699 33554432000 4194304 4196468 140731291036672 139915070817904 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3855] ppid=3844 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3855/stat : 3855 (java) S 3844 3844 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114864435 14320615424 19699 33554432000 4194304 4196468 140731291036672 139915002112592 139915531552667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3856] ppid=3844 vsize=13984976 memory=1716 CPUtime=0.35 cores=1,3,5,7
/proc/3846/task/3856/stat : 3856 (java) R 3844 3844 410 0 -1 4202560 1424 0 0 0 35 0 0 0 20 0 15 0 114864435 14320615424 19699 33554432000 4194304 4196468 140731291036672 139915001052464 139915515065541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3857] ppid=3844 vsize=13984976 memory=796 CPUtime=0.35 cores=1,3,5,7
/proc/3846/task/3857/stat : 3857 (java) R 3844 3844 410 0 -1 4202560 1265 0 0 0 35 0 0 0 20 0 15 0 114864435 14320615424 19699 33554432000 4194304 4196468 140731291036672 139914999992736 139915510772544 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3858] ppid=3844 vsize=13984976 memory=1952 CPUtime=0.35 cores=1,3,5,7
/proc/3846/task/3858/stat : 3858 (java) S 3844 3844 410 0 -1 1077944384 1660 0 0 0 35 0 0 0 20 0 15 0 114864435 14320615424 19699 33554432000 4194304 4196468 140731291036672 139914998954352 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3859] ppid=3844 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3859/stat : 3859 (java) S 3844 3844 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114864435 14320615424 19699 33554432000 4194304 4196468 140731291036672 139914997901792 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3860] ppid=3844 vsize=13984976 memory=8572 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3860/stat : 3860 (java) S 3844 3844 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114864435 14320615424 19699 33554432000 4194304 4196468 140731291036672 139914996849584 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 80180 KiB

[startup+1.50086 s]
/proc/loadavg: 1.81 1.56 1.51 6/217 3860
/proc/meminfo: memFree=27306020/32770624 swapFree=67108860/67108860
[pid=3844] ppid=3841 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/3844/stat : 3844 (xcsp3-exec) S 3841 3844 410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114864429 9740288 346 33554432000 4194304 5098028 140735815885856 140735815883960 140591745462908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28073984 140735815890031 140735815890235 140735815890235 140735815892971 0
/proc/3844/statm: 2378 346 289 221 0 87 0

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

/proc/3846/task/3854/stat : 3854 (java) S 3844 3844 410 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 114864433 14320615424 311970 33554432000 4194304 4196468 140731291036672 139915070817920 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3855] ppid=3844 vsize=13984976 memory=1247880 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3855/stat : 3855 (java) S 3844 3844 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114864435 14320615424 311970 33554432000 4194304 4196468 140731291036672 139915002112592 139915531552667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3856] ppid=3844 vsize=13984976 memory=1384 CPUtime=4.68 cores=1,3,5,7
/proc/3846/task/3856/stat : 3856 (java) S 3844 3844 410 0 -1 1077944384 43164 0 0 0 464 4 0 0 20 0 15 0 114864435 14320615424 311970 33554432000 4194304 4196468 140731291036672 139915001059440 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3857] ppid=3844 vsize=13984976 memory=4140 CPUtime=4.62 cores=1,3,5,7
/proc/3846/task/3857/stat : 3857 (java) S 3844 3844 410 0 -1 1077944384 23966 0 0 0 459 3 0 0 20 0 15 0 114864435 14320615424 311970 33554432000 4194304 4196468 140731291036672 139915000006640 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3858] ppid=3844 vsize=13984976 memory=1692 CPUtime=0.86 cores=1,3,5,7
/proc/3846/task/3858/stat : 3858 (java) S 3844 3844 410 0 -1 1077944384 12368 0 0 0 84 2 0 0 20 0 15 0 114864435 14320615424 311970 33554432000 4194304 4196468 140731291036672 139914998954352 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3859] ppid=3844 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3859/stat : 3859 (java) S 3844 3844 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114864435 14320615424 311970 33554432000 4194304 4196468 140731291036672 139914997901792 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3860] ppid=3844 vsize=13984976 memory=1247880 CPUtime=1.1 cores=1,3,5,7
/proc/3846/task/3860/stat : 3860 (java) S 3844 3844 410 0 -1 1077944384 1159 0 0 0 47 63 0 0 20 0 15 0 114864435 14320615424 311970 33554432000 4194304 4196468 140731291036672 139914996849584 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
Current children cumulated CPU time: 2393.06 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1249264 KiB

[startup+2382.3 s]
/proc/loadavg: 1.60 1.70 1.73 3/217 4009
/proc/meminfo: memFree=26996880/32770624 swapFree=67108860/67108860
[pid=3844] ppid=3841 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/3844/stat : 3844 (xcsp3-exec) S 3841 3844 410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114864429 9740288 346 33554432000 4194304 5098028 140735815885856 140735815883960 140591745462908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28073984 140735815890031 140735815890235 140735815890235 140735815892971 0
/proc/3844/statm: 2378 346 289 221 0 87 0
[pid=3846] ppid=3844 vsize=13984976 memory=1188284 CPUtime=2453.91 cores=1,3,5,7
/proc/3846/stat : 3846 (java) S 3844 3844 410 0 -1 1077944320 257219 0 0 0 244922 469 0 0 20 0 15 0 114864429 14320615424 297071 33554432000 4194304 4196468 140731291036672 140731291019216 139915531534071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
/proc/3846/statm: 3496244 297071 3287 1 0 3483478 0
[pid=3846/tid=3847] ppid=3844 vsize=13984976 memory=6760 CPUtime=2361.34 cores=1,3,5,7
/proc/3846/task/3847/stat : 3847 (java) R 3844 3844 410 0 -1 4202560 75226 0 0 0 236103 31 0 0 20 0 15 0 114864430 14320615424 297071 33554432000 4194304 4196468 140731291036672 139915535773808 139915154251777 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3848] ppid=3844 vsize=13984976 memory=33 CPUtime=20.09 cores=1,3,5,7
/proc/3846/task/3848/stat : 3848 (java) S 3844 3844 410 0 -1 1077944384 13363 0 0 0 1917 92 0 0 20 0 15 0 114864431 14320615424 297071 33554432000 4194304 4196468 140731291036672 139915484154256 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3849] ppid=3844 vsize=13984976 memory=2340 CPUtime=20.11 cores=1,3,5,7
/proc/3846/task/3849/stat : 3849 (java) S 3844 3844 410 0 -1 1077944384 15344 0 0 0 1920 91 0 0 20 0 15 0 114864431 14320615424 297071 33554432000 4194304 4196468 140731291036672 139915483101456 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3850] ppid=3844 vsize=13984976 memory=1188284 CPUtime=20.14 cores=1,3,5,7
/proc/3846/task/3850/stat : 3850 (java) S 3844 3844 410 0 -1 1077944384 13722 0 0 0 1923 91 0 0 20 0 15 0 114864431 14320615424 297071 33554432000 4194304 4196468 140731291036672 139915482049168 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3851] ppid=3844 vsize=13984976 memory=1188284 CPUtime=20.18 cores=1,3,5,7
/proc/3846/task/3851/stat : 3851 (java) S 3844 3844 410 0 -1 1077944384 14911 0 0 0 1924 94 0 0 20 0 15 0 114864431 14320615424 297071 33554432000 4194304 4196468 140731291036672 139915480996368 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3852] ppid=3844 vsize=13984976 memory=1218552 CPUtime=0.63 cores=1,3,5,7
/proc/3846/task/3852/stat : 3852 (java) S 3844 3844 410 0 -1 1077944384 42365 0 0 0 54 9 0 0 20 0 15 0 114864432 14320615424 297071 33554432000 4194304 4196468 140731291036672 139915072924272 139915531545218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3853] ppid=3844 vsize=13984976 memory=1218552 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3853/stat : 3853 (java) S 3844 3844 410 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 114864432 14320615424 297071 33554432000 4194304 4196468 140731291036672 139915071870304 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3854] ppid=3844 vsize=13984976 memory=1218552 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3854/stat : 3854 (java) S 3844 3844 410 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 114864433 14320615424 297071 33554432000 4194304 4196468 140731291036672 139915070817920 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3855] ppid=3844 vsize=13984976 memory=1188284 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3855/stat : 3855 (java) S 3844 3844 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114864435 14320615424 297071 33554432000 4194304 4196468 140731291036672 139915002112592 139915531552667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3856] ppid=3844 vsize=13984976 memory=1188284 CPUtime=4.68 cores=1,3,5,7
/proc/3846/task/3856/stat : 3856 (java) S 3844 3844 410 0 -1 1077944384 43385 0 0 0 464 4 0 0 20 0 15 0 114864435 14320615424 297071 33554432000 4194304 4196468 140731291036672 139915001059440 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3857] ppid=3844 vsize=13984976 memory=1188284 CPUtime=4.62 cores=1,3,5,7
/proc/3846/task/3857/stat : 3857 (java) S 3844 3844 410 0 -1 1077944384 23969 0 0 0 459 3 0 0 20 0 15 0 114864435 14320615424 297071 33554432000 4194304 4196468 140731291036672 139915000006640 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3858] ppid=3844 vsize=13984976 memory=1384 CPUtime=0.86 cores=1,3,5,7
/proc/3846/task/3858/stat : 3858 (java) S 3844 3844 410 0 -1 1077944384 12370 0 0 0 84 2 0 0 20 0 15 0 114864435 14320615424 297071 33554432000 4194304 4196468 140731291036672 139914998954352 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3859] ppid=3844 vsize=13984976 memory=1188284 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3859/stat : 3859 (java) S 3844 3844 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114864435 14320615424 297071 33554432000 4194304 4196468 140731291036672 139914997901792 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3860] ppid=3844 vsize=13984976 memory=1384 CPUtime=1.13 cores=1,3,5,7
/proc/3846/task/3860/stat : 3860 (java) S 3844 3844 410 0 -1 1077944384 1179 0 0 0 48 65 0 0 20 0 15 0 114864435 14320615424 297071 33554432000 4194304 4196468 140731291036672 139914996849584 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
Current children cumulated CPU time: 2453.91 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1189668 KiB

[startup+2442.3 s]
/proc/loadavg: 1.78 1.73 1.74 3/217 4010
/proc/meminfo: memFree=27125532/32770624 swapFree=67108860/67108860
[pid=3844] ppid=3841 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/3844/stat : 3844 (xcsp3-exec) S 3841 3844 410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114864429 9740288 346 33554432000 4194304 5098028 140735815885856 140735815883960 140591745462908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28073984 140735815890031 140735815890235 140735815890235 140735815892971 0
/proc/3844/statm: 2378 346 289 221 0 87 0
[pid=3846] ppid=3844 vsize=13984976 memory=1085728 CPUtime=2516.24 cores=1,3,5,7
/proc/3846/stat : 3846 (java) S 3844 3844 410 0 -1 1077944320 261351 0 0 0 251152 472 0 0 20 0 15 0 114864429 14320615424 271432 33554432000 4194304 4196468 140731291036672 140731291019216 139915531534071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
/proc/3846/statm: 3496244 271432 3287 1 0 3483478 0
[pid=3846/tid=3847] ppid=3844 vsize=13984976 memory=1085728 CPUtime=2420.56 cores=1,3,5,7
/proc/3846/task/3847/stat : 3847 (java) R 3844 3844 410 0 -1 4202560 77068 0 0 0 242024 32 0 0 20 0 15 0 114864430 14320615424 271432 33554432000 4194304 4196468 140731291036672 139915535773632 139915158880358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3848] ppid=3844 vsize=13984976 memory=1110352 CPUtime=20.87 cores=1,3,5,7
/proc/3846/task/3848/stat : 3848 (java) S 3844 3844 410 0 -1 1077944384 13528 0 0 0 1994 93 0 0 20 0 15 0 114864431 14320615424 271432 33554432000 4194304 4196468 140731291036672 139915484154256 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3849] ppid=3844 vsize=13984976 memory=1110352 CPUtime=20.87 cores=1,3,5,7
/proc/3846/task/3849/stat : 3849 (java) S 3844 3844 410 0 -1 1077944384 15818 0 0 0 1996 91 0 0 20 0 15 0 114864431 14320615424 271432 33554432000 4194304 4196468 140731291036672 139915483101456 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3850] ppid=3844 vsize=13984976 memory=1085728 CPUtime=20.93 cores=1,3,5,7
/proc/3846/task/3850/stat : 3850 (java) S 3844 3844 410 0 -1 1077944384 14205 0 0 0 2001 92 0 0 20 0 15 0 114864431 14320615424 271432 33554432000 4194304 4196468 140731291036672 139915482049168 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3851] ppid=3844 vsize=13984976 memory=1085728 CPUtime=20.94 cores=1,3,5,7
/proc/3846/task/3851/stat : 3851 (java) S 3844 3844 410 0 -1 1077944384 15040 0 0 0 2000 94 0 0 20 0 15 0 114864431 14320615424 271432 33554432000 4194304 4196468 140731291036672 139915480996368 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3852] ppid=3844 vsize=13984976 memory=1085728 CPUtime=0.65 cores=1,3,5,7
/proc/3846/task/3852/stat : 3852 (java) S 3844 3844 410 0 -1 1077944384 43379 0 0 0 55 10 0 0 20 0 15 0 114864432 14320615424 271432 33554432000 4194304 4196468 140731291036672 139915072924272 139915531545218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3853] ppid=3844 vsize=13984976 memory=1085728 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3853/stat : 3853 (java) S 3844 3844 410 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 114864432 14320615424 271432 33554432000 4194304 4196468 140731291036672 139915071870304 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3854] ppid=3844 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3854/stat : 3854 (java) S 3844 3844 410 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 114864433 14320615424 271432 33554432000 4194304 4196468 140731291036672 139915070817920 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3855] ppid=3844 vsize=13984976 memory=1085728 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3855/stat : 3855 (java) S 3844 3844 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114864435 14320615424 271432 33554432000 4194304 4196468 140731291036672 139915002112592 139915531552667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3856] ppid=3844 vsize=13984976 memory=1384 CPUtime=4.68 cores=1,3,5,7
/proc/3846/task/3856/stat : 3856 (java) S 3844 3844 410 0 -1 1077944384 43387 0 0 0 464 4 0 0 20 0 15 0 114864435 14320615424 271432 33554432000 4194304 4196468 140731291036672 139915001059440 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3857] ppid=3844 vsize=13984976 memory=3832 CPUtime=4.62 cores=1,3,5,7
/proc/3846/task/3857/stat : 3857 (java) S 3844 3844 410 0 -1 1077944384 23971 0 0 0 459 3 0 0 20 0 15 0 114864435 14320615424 271432 33554432000 4194304 4196468 140731291036672 139915000006640 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3858] ppid=3844 vsize=13984976 memory=2548 CPUtime=0.86 cores=1,3,5,7
/proc/3846/task/3858/stat : 3858 (java) S 3844 3844 410 0 -1 1077944384 12373 0 0 0 84 2 0 0 20 0 15 0 114864435 14320615424 271432 33554432000 4194304 4196468 140731291036672 139914998954352 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3859] ppid=3844 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3859/stat : 3859 (java) S 3844 3844 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114864435 14320615424 271432 33554432000 4194304 4196468 140731291036672 139914997901792 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3860] ppid=3844 vsize=13984976 memory=1110352 CPUtime=1.16 cores=1,3,5,7
/proc/3846/task/3860/stat : 3860 (java) S 3844 3844 410 0 -1 1077944384 1197 0 0 0 50 66 0 0 20 0 15 0 114864435 14320615424 271432 33554432000 4194304 4196468 140731291036672 139914996849584 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
Current children cumulated CPU time: 2516.24 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1087112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2446 s]*
/proc/loadavg: 1.88 1.75 1.74 3/217 4010
/proc/meminfo: memFree=27137272/32770624 swapFree=67108860/67108860
[pid=3844] ppid=3841 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/3844/stat : 3844 (xcsp3-exec) S 3841 3844 410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114864429 9740288 346 33554432000 4194304 5098028 140735815885856 140735815883960 140591745462908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28073984 140735815890031 140735815890235 140735815890235 140735815892971 0
/proc/3844/statm: 2378 346 289 221 0 87 0
[pid=3846] ppid=3844 vsize=13984976 memory=1070340 CPUtime=2520.07 cores=1,3,5,7
/proc/3846/stat : 3846 (java) S 3844 3844 410 0 -1 1077944320 261555 0 0 0 251535 472 0 0 20 0 15 0 114864429 14320615424 267585 33554432000 4194304 4196468 140731291036672 140731291019216 139915531534071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
/proc/3846/statm: 3496244 267585 3287 1 0 3483478 0
[pid=3846/tid=3847] ppid=3844 vsize=13984976 memory=243932 CPUtime=2424.22 cores=1,3,5,7
/proc/3846/task/3847/stat : 3847 (java) R 3844 3844 410 0 -1 4202560 77229 0 0 0 242390 32 0 0 20 0 15 0 114864430 14320615424 267585 33554432000 4194304 4196468 140731291036672 139915535773664 139915158882027 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3848] ppid=3844 vsize=13984976 memory=4126316290023845779 CPUtime=20.91 cores=1,3,5,7
/proc/3846/task/3848/stat : 3848 (java) S 3844 3844 410 0 -1 1077944384 13529 0 0 0 1998 93 0 0 20 0 15 0 114864431 14320615424 267585 33554432000 4194304 4196468 140731291036672 139915484154256 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3849] ppid=3844 vsize=13984976 memory=6760 CPUtime=20.91 cores=1,3,5,7
/proc/3846/task/3849/stat : 3849 (java) S 3844 3844 410 0 -1 1077944384 15841 0 0 0 2000 91 0 0 20 0 15 0 114864431 14320615424 267585 33554432000 4194304 4196468 140731291036672 139915483101456 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3850] ppid=3844 vsize=13984976 memory=840 CPUtime=20.97 cores=1,3,5,7
/proc/3846/task/3850/stat : 3850 (java) S 3844 3844 410 0 -1 1077944384 14218 0 0 0 2005 92 0 0 20 0 15 0 114864431 14320615424 267585 33554432000 4194304 4196468 140731291036672 139915482049168 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3851] ppid=3844 vsize=13984976 memory=4108 CPUtime=20.98 cores=1,3,5,7
/proc/3846/task/3851/stat : 3851 (java) S 3844 3844 410 0 -1 1077944384 15044 0 0 0 2004 94 0 0 20 0 15 0 114864431 14320615424 267585 33554432000 4194304 4196468 140731291036672 139915480996368 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3852] ppid=3844 vsize=13984976 memory=15872 CPUtime=0.65 cores=1,3,5,7
/proc/3846/task/3852/stat : 3852 (java) S 3844 3844 410 0 -1 1077944384 43381 0 0 0 55 10 0 0 20 0 15 0 114864432 14320615424 267585 33554432000 4194304 4196468 140731291036672 139915072924272 139915531545218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3853] ppid=3844 vsize=13984976 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3853/stat : 3853 (java) S 3844 3844 410 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 114864432 14320615424 267585 33554432000 4194304 4196468 140731291036672 139915071870304 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3854] ppid=3844 vsize=13984976 memory=17964 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3854/stat : 3854 (java) S 3844 3844 410 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 114864433 14320615424 267585 33554432000 4194304 4196468 140731291036672 139915070817920 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3855] ppid=3844 vsize=13984976 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3855/stat : 3855 (java) S 3844 3844 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114864435 14320615424 267585 33554432000 4194304 4196468 140731291036672 139915002112592 139915531552667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3856] ppid=3844 vsize=13984976 memory=1236 CPUtime=4.68 cores=1,3,5,7
/proc/3846/task/3856/stat : 3856 (java) S 3844 3844 410 0 -1 1077944384 43387 0 0 0 464 4 0 0 20 0 15 0 114864435 14320615424 267585 33554432000 4194304 4196468 140731291036672 139915001059440 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3857] ppid=3844 vsize=13984976 memory=644 CPUtime=4.62 cores=1,3,5,7
/proc/3846/task/3857/stat : 3857 (java) S 3844 3844 410 0 -1 1077944384 23971 0 0 0 459 3 0 0 20 0 15 0 114864435 14320615424 267585 33554432000 4194304 4196468 140731291036672 139915000006640 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3858] ppid=3844 vsize=13984976 memory=1788 CPUtime=0.86 cores=1,3,5,7
/proc/3846/task/3858/stat : 3858 (java) S 3844 3844 410 0 -1 1077944384 12373 0 0 0 84 2 0 0 20 0 15 0 114864435 14320615424 267585 33554432000 4194304 4196468 140731291036672 139914998954352 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3859] ppid=3844 vsize=13984976 memory=952 CPUtime=0 cores=1,3,5,7
/proc/3846/task/3859/stat : 3859 (java) S 3844 3844 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114864435 14320615424 267585 33554432000 4194304 4196468 140731291036672 139914997901792 139915531544277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
[pid=3846/tid=3860] ppid=3844 vsize=13984976 memory=2340 CPUtime=1.16 cores=1,3,5,7
/proc/3846/task/3860/stat : 3860 (java) S 3844 3844 410 0 -1 1077944384 1197 0 0 0 50 66 0 0 20 0 15 0 114864435 14320615424 267585 33554432000 4194304 4196468 140731291036672 139914996849584 139915531545218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 29110272 140731291038871 140731291039047 140731291039047 140731291041743 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1071724 KiB

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

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

[startup+2446.02 s]
# the end of solver process 3846 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.37 s, system=4.73436 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): 2446.02
CPU time (s): 2520.1
CPU user time (s): 2515.37
CPU system time (s): 4.73436
CPU usage (%): 103.029
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 1630224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.37
system time used= 4.73436
maximum resident set size= 1648300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262301
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61237
involuntary context switches= 2108


# summary of solver processes directly reported to runsolver:
#   pid: 3844,3846
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2515.37
#   total CPU system time (s): 4.73436

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.153 second user time and 23.5789 second system time

The end

Launcher Data 

Begin job on node104 at 2017-08-15 19:08:27
IDJOB=4272124
IDBENCH=135432
IDSOLVER=2664
FILE ID=node104/4272124-1502817766
RUNJOBID= node104-1502789706-445
PBS_JOBID= 20629126
Free space on /tmp= 61864 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-mps/Pb-mps-v2-20-10-l152lav.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4272124-1502817766/watcher-4272124-1502817766 -o /tmp/evaluation-result-4272124-1502817766/solver-4272124-1502817766 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502789706-445 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 400608538 HOME/instance-4272124-1502817766.xml

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

MD5SUM BENCH= e295f86f2e8232e9b7c8210bbc53418f
RANDOM SEED=400608538

node104.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.43
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.43
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.43
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.43
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:        27396496 kB
MemAvailable:   30937712 kB
Buffers:          230596 kB
Cached:          3588568 kB
SwapCached:            0 kB
Active:          1534736 kB
Inactive:        3378504 kB
Active(anon):    1096840 kB
Inactive(anon):    25024 kB
Active(file):     437896 kB
Inactive(file):  3353480 kB
Unevictable:        6532 kB
Mlocked:            6532 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7848 kB
Writeback:             0 kB
AnonPages:       1099988 kB
Mapped:            58416 kB
Shmem:             25228 kB
Slab:             157528 kB
SReclaimable:     131348 kB
SUnreclaim:        26180 kB
KernelStack:        3600 kB
PageTables:         7512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1692656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1019904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61856 MiB
End job on node104 at 2017-08-15 19:49:13