Trace number 4393626

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-06-14 parallel? (TO) 20085.6 2520.13

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-sptate/
Pb-Tate-K100.xml
MD5SUM26b9bfa7097c81a56529190245724c1c
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark49.6884
Satisfiable
(Un)Satisfiability was proved
Number of variables6800
Number of constraints7002
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":6800}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":177},{"degree":5,"count":1204},{"degree":6,"count":2663},{"degree":7,"count":1672},{"degree":8,"count":689},{"degree":9,"count":198},{"degree":10,"count":196}]
Minimum constraint arity1
Maximum constraint arity100
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":1287},{"arity":3,"count":2673},{"arity":4,"count":1782},{"arity":5,"count":594},{"arity":6,"count":198},{"arity":7,"count":198},{"arity":68,"count":200},{"arity":100,"count":68}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":7002}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393626-1568438530.xml"  -tl '20160s' -p 8
0.10/0.19	c Choco e747e1e
0.10/0.20	c [HOME/instance-4393626-1568438530.xml, -tl, 20160s, -p, 8]
0.30/0.24	c 8 solvers in parallel
0.30/0.30	c parse instance...
7.40/2.22	c solve instance...
20084.88/2520.07	s UNKNOWN
20084.88/2520.07	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 (14133 MiB free)
  memory of node 1: 16384 MiB (15725 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393626-1568438530/watcher-4393626-1568438530 -o /tmp/evaluation-result-4393626-1568438530/solver-4393626-1568438530 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568430493-470 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 455593654 HOME/instance-4393626-1568438530.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100107 s]*
/proc/loadavg: 7.14 7.20 7.52 2/211 2678
/proc/meminfo: memFree=30558916/32770624 swapFree=67021956/67108860
[pid=2657] ppid=2654 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2657/stat : 2657 (xcsp3-exec) S 2654 2657 443 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420125605 115843072 363 33554432000 4194304 5098028 140725573218960 140725573217064 140350987453052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9117696 140725573223286 140725573223529 140725573223529 140725573226442 0
/proc/2657/statm: 28282 363 304 221 0 87 0
[pid=2659] ppid=2657 vsize=28227388 memory=28360 CPUtime=0.1 cores=0-7
/proc/2659/stat : 2659 (java) S 2657 2657 443 0 -1 1077944320 5534 0 0 0 9 1 0 0 20 0 20 0 420125606 28904845312 7090 33554432000 4194304 4196468 140724351665456 140724351648000 139857879637751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
/proc/2659/statm: 7056847 7090 3051 1 0 7019032 0
[pid=2659/tid=2660] ppid=2657 vsize=28227388 memory=4134692831991783777 CPUtime=0.07 cores=0-7
/proc/2659/task/2660/stat : 2660 (java) R 2657 2657 443 0 -1 4202560 3570 0 0 0 7 0 0 0 20 0 20 0 420125606 28904845312 7090 33554432000 4194304 4196468 140724351665456 139857883865984 139857865320277 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2661] ppid=2657 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2659/task/2661/stat : 2661 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125607 28904845312 7090 33554432000 4194304 4196468 140724351665456 139857832258320 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2662] ppid=2657 vsize=28227388 memory=139840783062656 CPUtime=0 cores=0-7
/proc/2659/task/2662/stat : 2662 (java) S 2657 2657 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125607 28904845312 7090 33554432000 4194304 4196468 140724351665456 139857831205776 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2663] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2663/stat : 2663 (java) S 2657 2657 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125607 28904845312 7090 33554432000 4194304 4196468 140724351665456 139857830153232 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2664] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2664/stat : 2664 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125607 28904845312 7090 33554432000 4194304 4196468 140724351665456 139857829100688 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2665] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2665/stat : 2665 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125607 28904845312 7090 33554432000 4194304 4196468 140724351665456 139857828047120 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2666] ppid=2657 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/2659/task/2666/stat : 2666 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125607 28904845312 7090 33554432000 4194304 4196468 140724351665456 139857826994576 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2667] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2667/stat : 2667 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125607 28904845312 7090 33554432000 4194304 4196468 140724351665456 139857424669200 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2668] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2668/stat : 2668 (java) S 2657 2657 443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420125607 28904845312 7090 33554432000 4194304 4196468 140724351665456 139857423616656 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2669] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2669/stat : 2669 (java) S 2657 2657 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125608 28904845312 7090 33554432000 4194304 4196468 140724351665456 139856995949040 139857879648898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2670] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2670/stat : 2670 (java) S 2657 2657 443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420125609 28904845312 7090 33554432000 4194304 4196468 140724351665456 139856994895264 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2671] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2671/stat : 2671 (java) S 2657 2657 443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420125609 28904845312 7090 33554432000 4194304 4196468 140724351665456 139856993842672 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2672] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2672/stat : 2672 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125611 28904845312 7090 33554432000 4194304 4196468 140724351665456 139856992791248 139857879656347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2673] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2673/stat : 2673 (java) S 2657 2657 443 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 420125613 28904845312 7090 33554432000 4194304 4196468 140724351665456 139856991737840 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2674] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2674/stat : 2674 (java) S 2657 2657 443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420125613 28904845312 7090 33554432000 4194304 4196468 140724351665456 139856990685296 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2675] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2675/stat : 2675 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125613 28904845312 7090 33554432000 4194304 4196468 140724351665456 139856989632752 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2676] ppid=2657 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/2659/task/2676/stat : 2676 (java) S 2657 2657 443 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 20 0 420125613 28904845312 7090 33554432000 4194304 4196468 140724351665456 139856988580208 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2677] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2677/stat : 2677 (java) S 2657 2657 443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420125613 28904845312 7090 33554432000 4194304 4196468 140724351665456 139856987527904 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2678] ppid=2657 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/2659/task/2678/stat : 2678 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125613 28904845312 7090 33554432000 4194304 4196468 140724351665456 139856986475440 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 29812 KiB

[startup+0.209963 s]*
/proc/loadavg: 7.14 7.20 7.52 2/211 2679
/proc/meminfo: memFree=30544916/32770624 swapFree=67021956/67108860
[pid=2657] ppid=2654 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2657/stat : 2657 (xcsp3-exec) S 2654 2657 443 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420125605 115843072 363 33554432000 4194304 5098028 140725573218960 140725573217064 140350987453052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9117696 140725573223286 140725573223529 140725573223529 140725573226442 0
/proc/2657/statm: 28282 363 304 221 0 87 0
[pid=2659] ppid=2657 vsize=28227388 memory=40936 CPUtime=0.3 cores=0-7
/proc/2659/stat : 2659 (java) S 2657 2657 443 0 -1 1077944320 9465 0 0 0 27 3 0 0 20 0 20 0 420125606 28904845312 10234 33554432000 4194304 4196468 140724351665456 140724351648000 139857879637751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
/proc/2659/statm: 7056847 10234 3292 1 0 7019032 0
[pid=2659/tid=2660] ppid=2657 vsize=28227388 memory=8318255677412212789 CPUtime=0.18 cores=0-7
/proc/2659/task/2660/stat : 2660 (java) R 2657 2657 443 0 -1 4202560 6588 0 0 0 16 2 0 0 20 0 20 0 420125606 28904845312 10234 33554432000 4194304 4196468 140724351665456 139857883871584 139857879649686 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2661] ppid=2657 vsize=28227388 memory=331 CPUtime=0 cores=0-7
/proc/2659/task/2661/stat : 2661 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125607 28904845312 10234 33554432000 4194304 4196468 140724351665456 139857832258320 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2662] ppid=2657 vsize=28227388 memory=139840786103168 CPUtime=0 cores=0-7
/proc/2659/task/2662/stat : 2662 (java) S 2657 2657 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125607 28904845312 10234 33554432000 4194304 4196468 140724351665456 139857831205776 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2663] ppid=2657 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/2659/task/2663/stat : 2663 (java) S 2657 2657 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125607 28904845312 10234 33554432000 4194304 4196468 140724351665456 139857830153232 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2664] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2664/stat : 2664 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125607 28904845312 10234 33554432000 4194304 4196468 140724351665456 139857829100688 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2665] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2665/stat : 2665 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125607 28904845312 10234 33554432000 4194304 4196468 140724351665456 139857828047120 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2666] ppid=2657 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/2659/task/2666/stat : 2666 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125607 28904845312 10234 33554432000 4194304 4196468 140724351665456 139857826994576 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2667] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2667/stat : 2667 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125607 28904845312 10234 33554432000 4194304 4196468 140724351665456 139857424669200 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2668] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2668/stat : 2668 (java) S 2657 2657 443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420125607 28904845312 10234 33554432000 4194304 4196468 140724351665456 139857423616656 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2669] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2669/stat : 2669 (java) S 2657 2657 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125608 28904845312 10234 33554432000 4194304 4196468 140724351665456 139856995949040 139857879648898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2670] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2670/stat : 2670 (java) S 2657 2657 443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420125609 28904845312 10234 33554432000 4194304 4196468 140724351665456 139856994895264 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2671] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2671/stat : 2671 (java) S 2657 2657 443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420125609 28904845312 10234 33554432000 4194304 4196468 140724351665456 139856993842672 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2672] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2672/stat : 2672 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125611 28904845312 10234 33554432000 4194304 4196468 140724351665456 139856992791248 139857879656347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2673] ppid=2657 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/2659/task/2673/stat : 2673 (java) S 2657 2657 443 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 20 0 420125613 28904845312 10234 33554432000 4194304 4196468 140724351665456 139856991737840 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2674] ppid=2657 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/2659/task/2674/stat : 2674 (java) S 2657 2657 443 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 20 0 420125613 28904845312 10234 33554432000 4194304 4196468 140724351665456 139856990685296 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2675] ppid=2657 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/2659/task/2675/stat : 2675 (java) S 2657 2657 443 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 420125613 28904845312 10234 33554432000 4194304 4196468 140724351665456 139856989632752 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2676] ppid=2657 vsize=28227388 memory=-1 CPUtime=0.06 cores=0-7
/proc/2659/task/2676/stat : 2676 (java) R 2657 2657 443 0 -1 4202560 761 0 0 0 6 0 0 0 20 0 20 0 420125613 28904845312 10234 33554432000 4194304 4196468 140724351665456 139856988580208 139857863718238 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2677] ppid=2657 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2677/stat : 2677 (java) S 2657 2657 443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420125613 28904845312 10234 33554432000 4194304 4196468 140724351665456 139856987527904 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2678] ppid=2657 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/2659/task/2678/stat : 2678 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125613 28904845312 10234 33554432000 4194304 4196468 140724351665456 139856986475440 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42388 KiB

[startup+0.309698 s]*
/proc/loadavg: 7.14 7.20 7.52 2/211 2679
/proc/meminfo: memFree=30540648/32770624 swapFree=67021956/67108860
[pid=2657] ppid=2654 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2657/stat : 2657 (xcsp3-exec) S 2654 2657 443 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420125605 115843072 363 33554432000 4194304 5098028 140725573218960 140725573217064 140350987453052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9117696 140725573223286 140725573223529 140725573223529 140725573226442 0
/proc/2657/statm: 28282 363 304 221 0 87 0
[pid=2659] ppid=2657 vsize=28231644 memory=47184 CPUtime=0.47 cores=0-7
/proc/2659/stat : 2659 (java) S 2657 2657 443 0 -1 1077944320 10635 0 0 0 43 4 0 0 20 0 20 0 420125606 28909203456 11796 33554432000 4194304 4196468 140724351665456 140724351648000 139857879637751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
/proc/2659/statm: 7057911 11796 3333 1 0 7019032 0
[pid=2659/tid=2660] ppid=2657 vsize=28231644 memory=8112282956445269571 CPUtime=0.28 cores=0-7
/proc/2659/task/2660/stat : 2660 (java) R 2657 2657 443 0 -1 4202560 7642 0 0 0 25 3 0 0 20 0 20 0 420125606 28909203456 11796 33554432000 4194304 4196468 140724351665456 139857883859056 139857865332800 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2661] ppid=2657 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2661/stat : 2661 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125607 28909203456 11796 33554432000 4194304 4196468 140724351665456 139857832258320 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2662] ppid=2657 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2662/stat : 2662 (java) S 2657 2657 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125607 28909203456 11796 33554432000 4194304 4196468 140724351665456 139857831205776 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2663] ppid=2657 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2663/stat : 2663 (java) S 2657 2657 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125607 28909203456 11796 33554432000 4194304 4196468 140724351665456 139857830153232 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2664] ppid=2657 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2664/stat : 2664 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125607 28909203456 11796 33554432000 4194304 4196468 140724351665456 139857829100688 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2665] ppid=2657 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/2659/task/2665/stat : 2665 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125607 28909203456 11796 33554432000 4194304 4196468 140724351665456 139857828047120 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2666] ppid=2657 vsize=28231644 memory=139840645591983 CPUtime=0 cores=0-7
/proc/2659/task/2666/stat : 2666 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125607 28909203456 11796 33554432000 4194304 4196468 140724351665456 139857826994576 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2667] ppid=2657 vsize=28231644 memory=139840645594288 CPUtime=0 cores=0-7
/proc/2659/task/2667/stat : 2667 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125607 28909203456 11796 33554432000 4194304 4196468 140724351665456 139857424669200 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2668] ppid=2657 vsize=28231644 memory=139840645596592 CPUtime=0 cores=0-7
/proc/2659/task/2668/stat : 2668 (java) S 2657 2657 443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420125607 28909203456 11796 33554432000 4194304 4196468 140724351665456 139857423616656 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2669] ppid=2657 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2669/stat : 2669 (java) S 2657 2657 443 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420125608 28909203456 11796 33554432000 4194304 4196468 140724351665456 139856995949040 139857879648898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2670] ppid=2657 vsize=28231644 memory=279681291200144 CPUtime=0 cores=0-7
/proc/2659/task/2670/stat : 2670 (java) S 2657 2657 443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420125609 28909203456 11796 33554432000 4194304 4196468 140724351665456 139856994895264 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2671] ppid=2657 vsize=28231644 memory=279681291207056 CPUtime=0 cores=0-7
/proc/2659/task/2671/stat : 2671 (java) S 2657 2657 443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420125609 28909203456 11796 33554432000 4194304 4196468 140724351665456 139856993842672 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2672] ppid=2657 vsize=28231644 memory=279681291148208 CPUtime=0 cores=0-7
/proc/2659/task/2672/stat : 2672 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125611 28909203456 11796 33554432000 4194304 4196468 140724351665456 139856992791248 139857879656347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2673] ppid=2657 vsize=28231644 memory=279681291220880 CPUtime=0.02 cores=0-7
/proc/2659/task/2673/stat : 2673 (java) S 2657 2657 443 0 -1 1077944384 471 0 0 0 2 0 0 0 20 0 20 0 420125613 28909203456 11796 33554432000 4194304 4196468 140724351665456 139856991737840 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2674] ppid=2657 vsize=28231644 memory=279681291227792 CPUtime=0.02 cores=0-7
/proc/2659/task/2674/stat : 2674 (java) S 2657 2657 443 0 -1 1077944384 70 0 0 0 2 0 0 0 20 0 20 0 420125613 28909203456 11796 33554432000 4194304 4196468 140724351665456 139856990685296 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2675] ppid=2657 vsize=28231644 memory=279681291225488 CPUtime=0.01 cores=0-7
/proc/2659/task/2675/stat : 2675 (java) S 2657 2657 443 0 -1 1077944384 301 0 0 0 1 0 0 0 20 0 20 0 420125613 28909203456 11796 33554432000 4194304 4196468 140724351665456 139856989632752 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2676] ppid=2657 vsize=28231644 memory=279681291241648 CPUtime=0.11 cores=0-7
/proc/2659/task/2676/stat : 2676 (java) R 2657 2657 443 0 -1 4202560 850 0 0 0 11 0 0 0 20 0 20 0 420125613 28909203456 11796 33554432000 4194304 4196468 140724351665456 139856988580208 139857861047901 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2677] ppid=2657 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2677/stat : 2677 (java) S 2657 2657 443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420125613 28909203456 11796 33554432000 4194304 4196468 140724351665456 139856987527904 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2678] ppid=2657 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/2659/task/2678/stat : 2678 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125613 28909203456 11796 33554432000 4194304 4196468 140724351665456 139856986475440 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 48636 KiB

[startup+0.700989 s]
/proc/loadavg: 7.14 7.20 7.52 6/211 2679
/proc/meminfo: memFree=30514784/32770624 swapFree=67021956/67108860
[pid=2657] ppid=2654 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2657/stat : 2657 (xcsp3-exec) S 2654 2657 443 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420125605 115843072 363 33554432000 4194304 5098028 140725573218960 140725573217064 140350987453052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9117696 140725573223286 140725573223529 140725573223529 140725573226442 0
/proc/2657/statm: 28282 363 304 221 0 87 0
[pid=2659] ppid=2657 vsize=28233768 memory=137484 CPUtime=1.99 cores=0-7
/proc/2659/stat : 2659 (java) S 2657 2657 443 0 -1 1077944320 15775 0 0 0 192 7 0 0 20 0 20 0 420125606 28911378432 34371 33554432000 4194304 4196468 140724351665456 140724351648000 139857879637751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
/proc/2659/statm: 7058442 34371 3453 1 0 7019544 0
[pid=2659/tid=2660] ppid=2657 vsize=28233768 memory=279681291599536 CPUtime=0.66 cores=0-7
/proc/2659/task/2660/stat : 2660 (java) R 2657 2657 443 0 -1 4202560 8370 0 0 0 62 4 0 0 20 0 20 0 420125606 28911378432 34371 33554432000 4194304 4196468 140724351665456 139857883871944 139857506738099 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2661] ppid=2657 vsize=28233768 memory=139840645800816 CPUtime=0 cores=0-7
/proc/2659/task/2661/stat : 2661 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125607 28911378432 34371 33554432000 4194304 4196468 140724351665456 139857832258320 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2662] ppid=2657 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2662/stat : 2662 (java) S 2657 2657 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125607 28911378432 34371 33554432000 4194304 4196468 140724351665456 139857831205776 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2663] ppid=2657 vsize=28233768 memory=860 CPUtime=0 cores=0-7
/proc/2659/task/2663/stat : 2663 (java) S 2657 2657 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125607 28911378432 34371 33554432000 4194304 4196468 140724351665456 139857830153232 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0

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

[pid=2659/tid=2687] ppid=2657 vsize=28768328 memory=4120 CPUtime=2431.87 cores=0-7
/proc/2659/task/2687/stat : 2687 (java) R 2657 2657 443 0 -1 4202560 26740 0 0 0 243108 79 0 0 20 0 28 0 420125834 29458767872 936581 33554432000 4194304 4196468 140724351665456 139856969896408 139857514904236 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
Current children cumulated CPU time: 19465.1 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3747776 KiB

[startup+2502.3 s]
/proc/loadavg: 8.55 8.31 8.23 9/221 2899
/proc/meminfo: memFree=26916788/32770624 swapFree=67022052/67108860
[pid=2657] ppid=2654 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2657/stat : 2657 (xcsp3-exec) S 2654 2657 443 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420125605 115843072 363 33554432000 4194304 5098028 140725573218960 140725573217064 140350987453052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9117696 140725573223286 140725573223529 140725573223529 140725573226442 0
/proc/2657/statm: 28282 363 304 221 0 87 0
[pid=2659] ppid=2657 vsize=28768328 memory=3662748 CPUtime=19943.7 cores=0-7
/proc/2659/stat : 2659 (java) S 2657 2657 443 0 -1 1077944320 621503 0 0 0 1992813 1553 0 0 20 0 28 0 420125606 29458767872 915687 33554432000 4194304 4196468 140724351665456 140724351648000 139857879637751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
/proc/2659/statm: 7192082 915687 3538 1 0 7153184 0
[pid=2659/tid=2660] ppid=2657 vsize=28768328 memory=3662748 CPUtime=2.09 cores=0-7
/proc/2659/task/2660/stat : 2660 (java) S 2657 2657 443 0 -1 1077944384 9416 0 0 0 202 7 0 0 20 0 28 0 420125606 29458767872 915687 33554432000 4194304 4196468 140724351665456 139857883878528 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2661] ppid=2657 vsize=28768328 memory=3662748 CPUtime=5.52 cores=0-7
/proc/2659/task/2661/stat : 2661 (java) S 2657 2657 443 0 -1 1077944384 16664 0 0 0 486 66 0 0 20 0 28 0 420125607 29458767872 915687 33554432000 4194304 4196468 140724351665456 139857832258320 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2662] ppid=2657 vsize=28768328 memory=1452 CPUtime=5.55 cores=0-7
/proc/2659/task/2662/stat : 2662 (java) S 2657 2657 443 0 -1 1077944384 18634 0 0 0 488 67 0 0 20 0 28 0 420125607 29458767872 915687 33554432000 4194304 4196468 140724351665456 139857831205776 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2663] ppid=2657 vsize=28768328 memory=1452 CPUtime=5.56 cores=0-7
/proc/2659/task/2663/stat : 2663 (java) S 2657 2657 443 0 -1 1077944384 22184 0 0 0 489 67 0 0 20 0 28 0 420125607 29458767872 915687 33554432000 4194304 4196468 140724351665456 139857830153232 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2664] ppid=2657 vsize=28768328 memory=3662748 CPUtime=5.48 cores=0-7
/proc/2659/task/2664/stat : 2664 (java) S 2657 2657 443 0 -1 1077944384 26742 0 0 0 484 64 0 0 20 0 28 0 420125607 29458767872 915687 33554432000 4194304 4196468 140724351665456 139857829100688 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2665] ppid=2657 vsize=28768328 memory=3662748 CPUtime=5.56 cores=0-7
/proc/2659/task/2665/stat : 2665 (java) S 2657 2657 443 0 -1 1077944384 20856 0 0 0 489 67 0 0 20 0 28 0 420125607 29458767872 915687 33554432000 4194304 4196468 140724351665456 139857828047120 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2666] ppid=2657 vsize=28768328 memory=1452 CPUtime=5.53 cores=0-7
/proc/2659/task/2666/stat : 2666 (java) S 2657 2657 443 0 -1 1077944384 18703 0 0 0 488 65 0 0 20 0 28 0 420125607 29458767872 915687 33554432000 4194304 4196468 140724351665456 139857826994576 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2667] ppid=2657 vsize=28768328 memory=55 CPUtime=5.56 cores=0-7
/proc/2659/task/2667/stat : 2667 (java) S 2657 2657 443 0 -1 1077944384 21221 0 0 0 491 65 0 0 20 0 28 0 420125607 29458767872 915687 33554432000 4194304 4196468 140724351665456 139857424669200 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2668] ppid=2657 vsize=28768328 memory=6944656592455359580 CPUtime=5.52 cores=0-7
/proc/2659/task/2668/stat : 2668 (java) S 2657 2657 443 0 -1 1077944384 18193 0 0 0 487 65 0 0 20 0 28 0 420125607 29458767872 915687 33554432000 4194304 4196468 140724351665456 139857423616656 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2669] ppid=2657 vsize=28768328 memory=292 CPUtime=0.88 cores=0-7
/proc/2659/task/2669/stat : 2669 (java) S 2657 2657 443 0 -1 1077944384 45366 0 0 0 64 24 0 0 20 0 28 0 420125608 29458767872 915687 33554432000 4194304 4196468 140724351665456 139856995949040 139857879648898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2670] ppid=2657 vsize=28768328 memory=320318734772470053 CPUtime=0 cores=0-7
/proc/2659/task/2670/stat : 2670 (java) S 2657 2657 443 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 420125609 29458767872 915687 33554432000 4194304 4196468 140724351665456 139856994895328 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2671] ppid=2657 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2671/stat : 2671 (java) S 2657 2657 443 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 420125609 29458767872 915687 33554432000 4194304 4196468 140724351665456 139856993842688 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2672] ppid=2657 vsize=28768328 memory=279681291989000 CPUtime=0 cores=0-7
/proc/2659/task/2672/stat : 2672 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420125611 29458767872 915687 33554432000 4194304 4196468 140724351665456 139856992791248 139857879656347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2673] ppid=2657 vsize=28768328 memory=4120 CPUtime=3.9 cores=0-7
/proc/2659/task/2673/stat : 2673 (java) S 2657 2657 443 0 -1 1077944384 24610 0 0 0 385 5 0 0 20 0 28 0 420125613 29458767872 915687 33554432000 4194304 4196468 140724351665456 139856991737840 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2674] ppid=2657 vsize=28768328 memory=24024 CPUtime=3.45 cores=0-7
/proc/2659/task/2674/stat : 2674 (java) S 2657 2657 443 0 -1 1077944384 21495 0 0 0 340 5 0 0 20 0 28 0 420125613 29458767872 915687 33554432000 4194304 4196468 140724351665456 139856990685296 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2675] ppid=2657 vsize=28768328 memory=279681293101984 CPUtime=3.38 cores=0-7
/proc/2659/task/2675/stat : 2675 (java) S 2657 2657 443 0 -1 1077944384 19333 0 0 0 334 4 0 0 20 0 28 0 420125613 29458767872 915687 33554432000 4194304 4196468 140724351665456 139856989632752 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2676] ppid=2657 vsize=28768328 memory=7368000515264767571 CPUtime=1.04 cores=0-7
/proc/2659/task/2676/stat : 2676 (java) S 2657 2657 443 0 -1 1077944384 11626 0 0 0 101 3 0 0 20 0 28 0 420125613 29458767872 915687 33554432000 4194304 4196468 140724351665456 139856988580208 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2677] ppid=2657 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/2659/task/2677/stat : 2677 (java) S 2657 2657 443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420125613 29458767872 915687 33554432000 4194304 4196468 140724351665456 139856987527904 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2678] ppid=2657 vsize=28768328 memory=-3253322038155611931 CPUtime=1.08 cores=0-7
/proc/2659/task/2678/stat : 2678 (java) S 2657 2657 443 0 -1 1077944384 3908 0 0 0 21 87 0 0 20 0 28 0 420125613 29458767872 915687 33554432000 4194304 4196468 140724351665456 139856986475440 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2680] ppid=2657 vsize=28768328 memory=1452 CPUtime=2479.11 cores=0-7
/proc/2659/task/2680/stat : 2680 (java) R 2657 2657 443 0 -1 4202560 7313 0 0 0 247905 6 0 0 20 0 28 0 420125833 29458767872 915687 33554432000 4194304 4196468 140724351665456 139856977263944 139857514536065 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2681] ppid=2657 vsize=28768328 memory=4120 CPUtime=2491.04 cores=0-7
/proc/2659/task/2681/stat : 2681 (java) R 2657 2657 443 0 -1 4202560 5870 0 0 0 249099 5 0 0 20 0 28 0 420125834 29458767872 915687 33554432000 4194304 4196468 140724351665456 139856976212600 139857514641688 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2682] ppid=2657 vsize=28768328 memory=1908 CPUtime=2489.6 cores=0-7
/proc/2659/task/2682/stat : 2682 (java) R 2657 2657 443 0 -1 4202560 203595 0 0 0 248500 460 0 0 20 0 28 0 420125834 29458767872 915687 33554432000 4194304 4196468 140724351665456 139856975159080 139857517220053 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2683] ppid=2657 vsize=28768328 memory=1360 CPUtime=2480.16 cores=0-7
/proc/2659/task/2683/stat : 2683 (java) R 2657 2657 443 0 -1 4202560 32304 0 0 0 247821 195 0 0 20 0 28 0 420125834 29458767872 915687 33554432000 4194304 4196468 140724351665456 139856974109280 139857518230174 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2684] ppid=2657 vsize=28768328 memory=1452 CPUtime=2479.83 cores=0-7
/proc/2659/task/2684/stat : 2684 (java) R 2657 2657 443 0 -1 4202560 20362 0 0 0 247879 104 0 0 20 0 28 0 420125834 29458767872 915687 33554432000 4194304 4196468 140724351665456 139856973053992 139857514904737 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2685] ppid=2657 vsize=28768328 memory=1452 CPUtime=2481.4 cores=0-7
/proc/2659/task/2685/stat : 2685 (java) R 2657 2657 443 0 -1 4202560 19438 0 0 0 248026 114 0 0 20 0 28 0 420125834 29458767872 915687 33554432000 4194304 4196468 140724351665456 139856972001000 139857514904318 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2686] ppid=2657 vsize=28768328 memory=288230583166042426 CPUtime=2491.65 cores=0-7
/proc/2659/task/2686/stat : 2686 (java) R 2657 2657 443 0 -1 4202560 4634 0 0 0 249160 5 0 0 20 0 28 0 420125834 29458767872 915687 33554432000 4194304 4196468 140724351665456 139856970948688 139857514435760 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2687] ppid=2657 vsize=28768328 memory=2876 CPUtime=2490.65 cores=0-7
/proc/2659/task/2687/stat : 2687 (java) R 2657 2657 443 0 -1 4202560 27682 0 0 0 248984 81 0 0 20 0 28 0 420125834 29458767872 915687 33554432000 4194304 4196468 140724351665456 139856969896408 139857515296237 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
Current children cumulated CPU time: 19943.7 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3664200 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.59 8.34 8.24 9/221 2899
/proc/meminfo: memFree=27010996/32770624 swapFree=67022052/67108860
[pid=2657] ppid=2654 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2657/stat : 2657 (xcsp3-exec) S 2654 2657 443 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420125605 115843072 363 33554432000 4194304 5098028 140725573218960 140725573217064 140350987453052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9117696 140725573223286 140725573223529 140725573223529 140725573226442 0
/proc/2657/statm: 28282 363 304 221 0 87 0
[pid=2659] ppid=2657 vsize=28768328 memory=3569388 CPUtime=20084.9 cores=0-7
/proc/2659/stat : 2659 (java) S 2657 2657 443 0 -1 1077944320 625259 0 0 0 2006930 1558 0 0 20 0 28 0 420125606 29458767872 892347 33554432000 4194304 4196468 140724351665456 140724351648000 139857879637751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
/proc/2659/statm: 7192082 892347 3538 1 0 7153184 0
[pid=2659/tid=2660] ppid=2657 vsize=28768328 memory=-6733704525061579059 CPUtime=2.09 cores=0-7
/proc/2659/task/2660/stat : 2660 (java) S 2657 2657 443 0 -1 1077944384 9416 0 0 0 202 7 0 0 20 0 28 0 420125606 29458767872 892347 33554432000 4194304 4196468 140724351665456 139857883878528 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2661] ppid=2657 vsize=28768328 memory=4126316290023845779 CPUtime=5.53 cores=0-7
/proc/2659/task/2661/stat : 2661 (java) S 2657 2657 443 0 -1 1077944384 17267 0 0 0 487 66 0 0 20 0 28 0 420125607 29458767872 892347 33554432000 4194304 4196468 140724351665456 139857832258320 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2662] ppid=2657 vsize=28768328 memory=776 CPUtime=5.57 cores=0-7
/proc/2659/task/2662/stat : 2662 (java) S 2657 2657 443 0 -1 1077944384 18671 0 0 0 490 67 0 0 20 0 28 0 420125607 29458767872 892347 33554432000 4194304 4196468 140724351665456 139857831205776 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2663] ppid=2657 vsize=28768328 memory=1612 CPUtime=5.58 cores=0-7
/proc/2659/task/2663/stat : 2663 (java) S 2657 2657 443 0 -1 1077944384 22294 0 0 0 491 67 0 0 20 0 28 0 420125607 29458767872 892347 33554432000 4194304 4196468 140724351665456 139857830153232 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2664] ppid=2657 vsize=28768328 memory=1224 CPUtime=5.49 cores=0-7
/proc/2659/task/2664/stat : 2664 (java) S 2657 2657 443 0 -1 1077944384 26830 0 0 0 485 64 0 0 20 0 28 0 420125607 29458767872 892347 33554432000 4194304 4196468 140724351665456 139857829100688 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2665] ppid=2657 vsize=28768328 memory=3824 CPUtime=5.58 cores=0-7
/proc/2659/task/2665/stat : 2665 (java) S 2657 2657 443 0 -1 1077944384 21275 0 0 0 490 68 0 0 20 0 28 0 420125607 29458767872 892347 33554432000 4194304 4196468 140724351665456 139857828047120 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2666] ppid=2657 vsize=28768328 memory=1384 CPUtime=5.55 cores=0-7
/proc/2659/task/2666/stat : 2666 (java) S 2657 2657 443 0 -1 1077944384 18746 0 0 0 490 65 0 0 20 0 28 0 420125607 29458767872 892347 33554432000 4194304 4196468 140724351665456 139857826994576 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2667] ppid=2657 vsize=28768328 memory=15080 CPUtime=5.58 cores=0-7
/proc/2659/task/2667/stat : 2667 (java) S 2657 2657 443 0 -1 1077944384 21272 0 0 0 493 65 0 0 20 0 28 0 420125607 29458767872 892347 33554432000 4194304 4196468 140724351665456 139857424669200 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2668] ppid=2657 vsize=28768328 memory=1452 CPUtime=5.54 cores=0-7
/proc/2659/task/2668/stat : 2668 (java) S 2657 2657 443 0 -1 1077944384 18252 0 0 0 489 65 0 0 20 0 28 0 420125607 29458767872 892347 33554432000 4194304 4196468 140724351665456 139857423616656 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2669] ppid=2657 vsize=28768328 memory=1452 CPUtime=0.89 cores=0-7
/proc/2659/task/2669/stat : 2669 (java) S 2657 2657 443 0 -1 1077944384 45623 0 0 0 64 25 0 0 20 0 28 0 420125608 29458767872 892347 33554432000 4194304 4196468 140724351665456 139856995949040 139857879648898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2670] ppid=2657 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/2659/task/2670/stat : 2670 (java) S 2657 2657 443 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 420125609 29458767872 892347 33554432000 4194304 4196468 140724351665456 139856994895328 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2671] ppid=2657 vsize=28768328 memory=3569388 CPUtime=0 cores=0-7
/proc/2659/task/2671/stat : 2671 (java) S 2657 2657 443 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 420125609 29458767872 892347 33554432000 4194304 4196468 140724351665456 139856993842688 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2672] ppid=2657 vsize=28768328 memory=1296 CPUtime=0 cores=0-7
/proc/2659/task/2672/stat : 2672 (java) S 2657 2657 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420125611 29458767872 892347 33554432000 4194304 4196468 140724351665456 139856992791248 139857879656347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2673] ppid=2657 vsize=28768328 memory=2184 CPUtime=3.9 cores=0-7
/proc/2659/task/2673/stat : 2673 (java) S 2657 2657 443 0 -1 1077944384 24613 0 0 0 385 5 0 0 20 0 28 0 420125613 29458767872 892347 33554432000 4194304 4196468 140724351665456 139856991737840 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2674] ppid=2657 vsize=28768328 memory=1804 CPUtime=3.45 cores=0-7
/proc/2659/task/2674/stat : 2674 (java) S 2657 2657 443 0 -1 1077944384 21498 0 0 0 340 5 0 0 20 0 28 0 420125613 29458767872 892347 33554432000 4194304 4196468 140724351665456 139856990685296 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2675] ppid=2657 vsize=28768328 memory=4956 CPUtime=3.38 cores=0-7
/proc/2659/task/2675/stat : 2675 (java) S 2657 2657 443 0 -1 1077944384 19337 0 0 0 334 4 0 0 20 0 28 0 420125613 29458767872 892347 33554432000 4194304 4196468 140724351665456 139856989632752 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2676] ppid=2657 vsize=28768328 memory=10092 CPUtime=1.04 cores=0-7
/proc/2659/task/2676/stat : 2676 (java) S 2657 2657 443 0 -1 1077944384 11634 0 0 0 101 3 0 0 20 0 28 0 420125613 29458767872 892347 33554432000 4194304 4196468 140724351665456 139856988580208 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2677] ppid=2657 vsize=28768328 memory=1908 CPUtime=0 cores=0-7
/proc/2659/task/2677/stat : 2677 (java) S 2657 2657 443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420125613 29458767872 892347 33554432000 4194304 4196468 140724351665456 139856987527904 139857879647957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2678] ppid=2657 vsize=28768328 memory=1360 CPUtime=1.08 cores=0-7
/proc/2659/task/2678/stat : 2678 (java) S 2657 2657 443 0 -1 1077944384 3935 0 0 0 21 87 0 0 20 0 28 0 420125613 29458767872 892347 33554432000 4194304 4196468 140724351665456 139856986475440 139857879648898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2680] ppid=2657 vsize=28768328 memory=7428 CPUtime=2496.79 cores=0-7
/proc/2659/task/2680/stat : 2680 (java) R 2657 2657 443 0 -1 4202560 7385 0 0 0 249673 6 0 0 20 0 28 0 420125833 29458767872 892347 33554432000 4194304 4196468 140724351665456 139856977264376 139857516239207 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2681] ppid=2657 vsize=28768328 memory=860 CPUtime=2508.73 cores=0-7
/proc/2659/task/2681/stat : 2681 (java) R 2657 2657 443 0 -1 4202560 5940 0 0 0 250868 5 0 0 20 0 28 0 420125834 29458767872 892347 33554432000 4194304 4196468 140724351665456 139856976213032 139857514547100 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2682] ppid=2657 vsize=28768328 memory=2184 CPUtime=2507.29 cores=0-7
/proc/2659/task/2682/stat : 2682 (java) R 2657 2657 443 0 -1 4202560 204790 0 0 0 250267 462 0 0 20 0 28 0 420125834 29458767872 892347 33554432000 4194304 4196468 140724351665456 139856975159128 139857514904479 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2683] ppid=2657 vsize=28768328 memory=1804 CPUtime=2497.84 cores=0-7
/proc/2659/task/2683/stat : 2683 (java) R 2657 2657 443 0 -1 4202560 32486 0 0 0 249588 196 0 0 20 0 28 0 420125834 29458767872 892347 33554432000 4194304 4196468 140724351665456 139856974106616 139857518230153 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2684] ppid=2657 vsize=28768328 memory=916 CPUtime=2497.47 cores=0-7
/proc/2659/task/2684/stat : 2684 (java) R 2657 2657 443 0 -1 4202560 20500 0 0 0 249642 105 0 0 20 0 28 0 420125834 29458767872 892347 33554432000 4194304 4196468 140724351665456 139856973053744 139857514904566 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2685] ppid=2657 vsize=28768328 memory=4952 CPUtime=2499.08 cores=0-7
/proc/2659/task/2685/stat : 2685 (java) R 2657 2657 443 0 -1 4202560 19571 0 0 0 249793 115 0 0 20 0 28 0 420125834 29458767872 892347 33554432000 4194304 4196468 140724351665456 139856972004192 139857514904390 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2686] ppid=2657 vsize=28768328 memory=1844 CPUtime=2509.33 cores=0-7
/proc/2659/task/2686/stat : 2686 (java) R 2657 2657 443 0 -1 4202560 4682 0 0 0 250928 5 0 0 20 0 28 0 420125834 29458767872 892347 33554432000 4194304 4196468 140724351665456 139856970949368 139857514435806 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
[pid=2659/tid=2687] ppid=2657 vsize=28768328 memory=4956 CPUtime=2508 cores=0-7
/proc/2659/task/2687/stat : 2687 (java) R 2657 2657 443 0 -1 4202560 27888 0 0 0 250718 82 0 0 20 0 28 0 420125834 29458767872 892347 33554432000 4194304 4196468 140724351665456 139856969896408 139857514904318 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 18108416 140724351669226 140724351669398 140724351669398 140724351672271 0
Current children cumulated CPU time: 20084.9 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3570840 KiB

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

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

[startup+2520.13 s]
# the end of solver process 2659 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20070 s, system=15.6196 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): 2520.13
CPU time (s): 20085.6
CPU user time (s): 20070
CPU system time (s): 15.6196
CPU usage (%): 797.005
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 7935488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20070
system time used= 15.6196
maximum resident set size= 7934036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 627044
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65587
involuntary context switches= 223741


# summary of solver processes directly reported to runsolver:
#   pid: 2657,2659
#   total CPU time (s): 20085.6
#   total CPU user time (s): 20070
#   total CPU system time (s): 15.6196

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.9162 second user time and 28.851 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-14 07:21:30
IDJOB=4393626
IDBENCH=135033
IDSOLVER=2841
FILE ID=node150/4393626-1568438530
RUNJOBID= node150-1568430493-470
PBS_JOBID= 21702311
Free space on /tmp= 59360 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K100.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393626-1568438530/watcher-4393626-1568438530 -o /tmp/evaluation-result-4393626-1568438530/solver-4393626-1568438530 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568430493-470 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 455593654 HOME/instance-4393626-1568438530.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 26b9bfa7097c81a56529190245724c1c
RANDOM SEED=455593654

node150.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.79
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.79
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.79
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.79
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:        30575984 kB
MemAvailable:   31847200 kB
Buffers:          155108 kB
Cached:          1359948 kB
SwapCached:        13560 kB
Active:           767228 kB
Inactive:         796584 kB
Active(anon):       4896 kB
Inactive(anon):    69016 kB
Active(file):     762332 kB
Inactive(file):   727568 kB
Unevictable:      109388 kB
Mlocked:          109388 kB
SwapTotal:      67108860 kB
SwapFree:       67021956 kB
Dirty:             26436 kB
Writeback:             0 kB
AnonPages:        144080 kB
Mapped:            39660 kB
Shmem:             17288 kB
Slab:             223816 kB
SReclaimable:     194304 kB
SUnreclaim:        29512 kB
KernelStack:        3712 kB
PageTables:         5276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 59332 MiB
End job on node150 at 2019-09-14 08:03:31