Trace number 4280899

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 4.0.5 par (2017-08-18)? (TO) 19953 2520.1299

General information on the benchmark

NameOrtholatin/Ortholatin-m1-s1/
Ortholatin-024.xml
MD5SUM23eb83e679dec689804004fda8e6ed87
Bench CategoryCSP (decision 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 variables1728
Number of constraints581
Number of domains2
Minimum domain size24
Maximum domain size576
Distribution of domain sizes[{"size":24,"count":1152},{"size":576,"count":576}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":1680},{"degree":3,"count":48}]
Minimum constraint arity3
Maximum constraint arity576
Distribution of constraint arities[{"arity":3,"count":576},{"arity":24,"count":2},{"arity":576,"count":3}]
Number of extensional constraints576
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":576},{"type":"allDifferent","count":3},{"type":"instantiation","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280899-1503150334.xml"  -tl '20160s' -p 8 -x 0
0.11/0.25	c [HOME/instance-4280899-1503150334.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.31	c 8 solvers in parallel
0.31/0.37	c parse instance...
4.34/1.54	c solve instance...
19952.13/2520.10	s UNKNOWN
19952.13/2520.10	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 (14366 MiB free)
  memory of node 1: 16384 MiB (13967 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280899-1503150334/watcher-4280899-1503150334 -o /tmp/evaluation-result-4280899-1503150334/solver-4280899-1503150334 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503141368-6723 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1001708965 HOME/instance-4280899-1503150334.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
Current StackSize limit: 8192 KiB
solver pid=9093, runsolver pid=9090


[startup+0.100161 s]*
/proc/loadavg: 8.31 8.49 8.37 1/182 9096
/proc/meminfo: memFree=29012736/32770624 swapFree=67108860/67108860
[pid=9093] ppid=9090 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/9093/stat : 9093 (xcsp3-exec) S 9090 9093 6696 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148121530 9740288 345 33554432000 4194304 5098028 140721287949952 140721287948056 140045594980988 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32178176 140721287951460 140721287951671 140721287951671 140721287954411 0
/proc/9093/statm: 2378 345 289 221 0 87 0
[pid=9095] ppid=9093 vsize=109408 memory=5292 CPUtime=0 cores=0-7
/proc/9095/stat : 9095 (java) S 9093 9093 6696 0 -1 1077944320 1497 0 0 0 0 0 0 0 20 0 2 0 148121531 112033792 1323 33554432000 4194304 4196468 140721705487488 140721705470032 140321795358455 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
/proc/9095/statm: 27352 1323 992 1 0 16810 0
[pid=9095/tid=9096] ppid=9093 vsize=109408 memory=4134692831991783777 CPUtime=0 cores=0-7
/proc/9095/task/9096/stat : 9096 (java) D 9093 9093 6696 0 -1 4202560 260 0 0 0 0 0 0 0 20 0 2 0 148121531 112033792 1323 33554432000 4194304 4196468 140721705487488 140321799600432 140321787849621 0 0 0 16784584 18446744072100256901 0 0 -1 3 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 118920 KiB
Current children cumulated memory: 6672 KiB

[startup+0.209559 s]*
/proc/loadavg: 8.31 8.49 8.37 2/200 9114
/proc/meminfo: memFree=28998128/32770624 swapFree=67108860/67108860
[pid=9093] ppid=9090 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/9093/stat : 9093 (xcsp3-exec) S 9090 9093 6696 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148121530 9740288 345 33554432000 4194304 5098028 140721287949952 140721287948056 140045594980988 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32178176 140721287951460 140721287951671 140721287951671 140721287954411 0
/proc/9093/statm: 2378 345 289 221 0 87 0
[pid=9095] ppid=9093 vsize=25999808 memory=26688 CPUtime=0.11 cores=0-7
/proc/9095/stat : 9095 (java) S 9093 9093 6696 0 -1 1077944320 5610 0 0 0 10 1 0 0 20 0 20 0 148121531 26623803392 6672 33554432000 4194304 4196468 140721705487488 140721705470032 140321795358455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
/proc/9095/statm: 6499952 6672 2840 1 0 6488269 0
[pid=9095/tid=9096] ppid=9093 vsize=25999808 memory=8318255677412212789 CPUtime=0.09 cores=0-7
/proc/9095/task/9096/stat : 9096 (java) R 9093 9093 6696 0 -1 4202560 3615 0 0 0 9 0 0 0 20 0 20 0 148121531 26623803392 6672 33554432000 4194304 4196468 140721705487488 140321799581904 140321795370390 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9097] ppid=9093 vsize=25999808 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/9095/task/9097/stat : 9097 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121543 26623803392 6672 33554432000 4194304 4196468 140721705487488 140321751910672 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9098] ppid=9093 vsize=25999808 memory=14557836904289944 CPUtime=0 cores=0-7
/proc/9095/task/9098/stat : 9098 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121543 26623803392 6672 33554432000 4194304 4196468 140721705487488 140321750858128 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9099] ppid=9093 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9095/task/9099/stat : 9099 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121543 26623803392 6672 33554432000 4194304 4196468 140721705487488 140321351137808 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9100] ppid=9093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9100/stat : 9100 (java) S 9093 9093 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148121543 26623803392 6672 33554432000 4194304 4196468 140721705487488 140321350085264 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9101] ppid=9093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9101/stat : 9101 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121543 26623803392 6672 33554432000 4194304 4196468 140721705487488 140321349032720 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9102] ppid=9093 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9095/task/9102/stat : 9102 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121543 26623803392 6672 33554432000 4194304 4196468 140721705487488 140321347980176 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9103] ppid=9093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9103/stat : 9103 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121543 26623803392 6672 33554432000 4194304 4196468 140721705487488 140321346927632 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9104] ppid=9093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9104/stat : 9104 (java) S 9093 9093 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148121543 26623803392 6672 33554432000 4194304 4196468 140721705487488 140321345875088 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9105] ppid=9093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9105/stat : 9105 (java) S 9093 9093 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148121544 26623803392 6672 33554432000 4194304 4196468 140721705487488 140320469657584 140321795369602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9106] ppid=9093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9106/stat : 9106 (java) S 9093 9093 6696 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148121545 26623803392 6672 33554432000 4194304 4196468 140721705487488 140320468603808 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9107] ppid=9093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9107/stat : 9107 (java) S 9093 9093 6696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148121545 26623803392 6672 33554432000 4194304 4196468 140721705487488 140320467551216 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9108] ppid=9093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9108/stat : 9108 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121547 26623803392 6672 33554432000 4194304 4196468 140721705487488 140320466499792 140321795377051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9109] ppid=9093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9109/stat : 9109 (java) S 9093 9093 6696 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 148121547 26623803392 6672 33554432000 4194304 4196468 140721705487488 140320465447408 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9110] ppid=9093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9110/stat : 9110 (java) S 9093 9093 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148121547 26623803392 6672 33554432000 4194304 4196468 140721705487488 140320464394864 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9111] ppid=9093 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9095/task/9111/stat : 9111 (java) S 9093 9093 6696 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 148121547 26623803392 6672 33554432000 4194304 4196468 140721705487488 140320463342320 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9112] ppid=9093 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/9095/task/9112/stat : 9112 (java) R 9093 9093 6696 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 148121547 26623803392 6672 33554432000 4194304 4196468 140721705487488 140320462289776 140321774058656 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9113] ppid=9093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9113/stat : 9113 (java) S 9093 9093 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148121548 26623803392 6672 33554432000 4194304 4196468 140721705487488 140320461236448 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9114] ppid=9093 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9095/task/9114/stat : 9114 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121548 26623803392 6672 33554432000 4194304 4196468 140721705487488 140320460183984 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28068 KiB

[startup+0.310443 s]*
/proc/loadavg: 8.31 8.49 8.37 3/200 9114
/proc/meminfo: memFree=28989012/32770624 swapFree=67108860/67108860
[pid=9093] ppid=9090 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/9093/stat : 9093 (xcsp3-exec) S 9090 9093 6696 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148121530 9740288 345 33554432000 4194304 5098028 140721287949952 140721287948056 140045594980988 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32178176 140721287951460 140721287951671 140721287951671 140721287954411 0
/proc/9093/statm: 2378 345 289 221 0 87 0
[pid=9095] ppid=9093 vsize=26004064 memory=38952 CPUtime=0.31 cores=0-7
/proc/9095/stat : 9095 (java) S 9093 9093 6696 0 -1 1077944320 8276 0 0 0 29 2 0 0 20 0 20 0 148121531 26628161536 9738 33554432000 4194304 4196468 140721705487488 140721705470032 140321795358455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
/proc/9095/statm: 6501016 9738 3056 1 0 6488269 0
[pid=9095/tid=9096] ppid=9093 vsize=26004064 memory=8112282956445269571 CPUtime=0.19 cores=0-7
/proc/9095/task/9096/stat : 9096 (java) R 9093 9093 6696 0 -1 4202560 5393 0 0 0 18 1 0 0 20 0 20 0 148121531 26628161536 9738 33554432000 4194304 4196468 140721705487488 140321799579448 140321788036469 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9097] ppid=9093 vsize=26004064 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9095/task/9097/stat : 9097 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121543 26628161536 9738 33554432000 4194304 4196468 140721705487488 140321751910672 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9098] ppid=9093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9098/stat : 9098 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121543 26628161536 9738 33554432000 4194304 4196468 140721705487488 140321750858128 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9099] ppid=9093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9099/stat : 9099 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121543 26628161536 9738 33554432000 4194304 4196468 140721705487488 140321351137808 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9100] ppid=9093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9100/stat : 9100 (java) S 9093 9093 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148121543 26628161536 9738 33554432000 4194304 4196468 140721705487488 140321350085264 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9101] ppid=9093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9101/stat : 9101 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121543 26628161536 9738 33554432000 4194304 4196468 140721705487488 140321349032720 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9102] ppid=9093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9102/stat : 9102 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121543 26628161536 9738 33554432000 4194304 4196468 140721705487488 140321347980176 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9103] ppid=9093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9103/stat : 9103 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121543 26628161536 9738 33554432000 4194304 4196468 140721705487488 140321346927632 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9104] ppid=9093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9104/stat : 9104 (java) S 9093 9093 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148121543 26628161536 9738 33554432000 4194304 4196468 140721705487488 140321345875088 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9105] ppid=9093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9105/stat : 9105 (java) S 9093 9093 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148121544 26628161536 9738 33554432000 4194304 4196468 140721705487488 140320469657584 140321795369602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9106] ppid=9093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9106/stat : 9106 (java) S 9093 9093 6696 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148121545 26628161536 9738 33554432000 4194304 4196468 140721705487488 140320468603808 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9107] ppid=9093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9107/stat : 9107 (java) S 9093 9093 6696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148121545 26628161536 9738 33554432000 4194304 4196468 140721705487488 140320467551216 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9108] ppid=9093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9108/stat : 9108 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121547 26628161536 9738 33554432000 4194304 4196468 140721705487488 140320466499792 140321795377051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9109] ppid=9093 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/9095/task/9109/stat : 9109 (java) S 9093 9093 6696 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 20 0 148121547 26628161536 9738 33554432000 4194304 4196468 140721705487488 140320465447408 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9110] ppid=9093 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/9095/task/9110/stat : 9110 (java) S 9093 9093 6696 0 -1 1077944384 217 0 0 0 2 0 0 0 20 0 20 0 148121547 26628161536 9738 33554432000 4194304 4196468 140721705487488 140320464394864 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9111] ppid=9093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9111/stat : 9111 (java) S 9093 9093 6696 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 20 0 148121547 26628161536 9738 33554432000 4194304 4196468 140721705487488 140320463342320 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9112] ppid=9093 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/9095/task/9112/stat : 9112 (java) S 9093 9093 6696 0 -1 1077944384 732 0 0 0 7 0 0 0 20 0 20 0 148121547 26628161536 9738 33554432000 4194304 4196468 140721705487488 140320462289776 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9113] ppid=9093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9113/stat : 9113 (java) S 9093 9093 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148121548 26628161536 9738 33554432000 4194304 4196468 140721705487488 140320461236448 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9114] ppid=9093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9114/stat : 9114 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121548 26628161536 9738 33554432000 4194304 4196468 140721705487488 140320460183984 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40332 KiB

[startup+0.700967 s]
/proc/loadavg: 8.31 8.49 8.37 3/200 9114
/proc/meminfo: memFree=28977312/32770624 swapFree=67108860/67108860
[pid=9093] ppid=9090 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/9093/stat : 9093 (xcsp3-exec) S 9090 9093 6696 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148121530 9740288 345 33554432000 4194304 5098028 140721287949952 140721287948056 140045594980988 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32178176 140721287951460 140721287951671 140721287951671 140721287954411 0
/proc/9093/statm: 2378 345 289 221 0 87 0
[pid=9095] ppid=9093 vsize=26006188 memory=67884 CPUtime=1.26 cores=0-7
/proc/9095/stat : 9095 (java) S 9093 9093 6696 0 -1 1077944320 11052 0 0 0 122 4 0 0 20 0 20 0 148121531 26630336512 16971 33554432000 4194304 4196468 140721705487488 140721705470032 140321795358455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
/proc/9095/statm: 6501547 16971 3188 1 0 6488781 0
[pid=9095/tid=9096] ppid=9093 vsize=26006188 memory=85 CPUtime=0.56 cores=0-7
/proc/9095/task/9096/stat : 9096 (java) R 9093 9093 6696 0 -1 4202560 6632 0 0 0 55 1 0 0 20 0 20 0 148121531 26630336512 16971 33554432000 4194304 4196468 140721705487488 140321799595504 140321434180634 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9097] ppid=9093 vsize=26006188 memory=4136 CPUtime=0 cores=0-7
/proc/9095/task/9097/stat : 9097 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121543 26630336512 16971 33554432000 4194304 4196468 140721705487488 140321751910672 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9098] ppid=9093 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9098/stat : 9098 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121543 26630336512 16971 33554432000 4194304 4196468 140721705487488 140321750858128 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9099] ppid=9093 vsize=26006188 memory=139707904172640 CPUtime=0 cores=0-7
/proc/9095/task/9099/stat : 9099 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121543 26630336512 16971 33554432000 4194304 4196468 140721705487488 140321351137808 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9100] ppid=9093 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9100/stat : 9100 (java) S 9093 9093 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148121543 26630336512 16971 33554432000 4194304 4196468 140721705487488 140321350085264 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9101] ppid=9093 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9101/stat : 9101 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121543 26630336512 16971 33554432000 4194304 4196468 140721705487488 140321349032720 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9102] ppid=9093 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9102/stat : 9102 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121543 26630336512 16971 33554432000 4194304 4196468 140721705487488 140321347980176 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9103] ppid=9093 vsize=26006188 memory=7809523229951467572 CPUtime=0 cores=0-7
/proc/9095/task/9103/stat : 9103 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121543 26630336512 16971 33554432000 4194304 4196468 140721705487488 140321346927632 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9104] ppid=9093 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/9095/task/9104/stat : 9104 (java) S 9093 9093 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148121543 26630336512 16971 33554432000 4194304 4196468 140721705487488 140321345875088 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9105] ppid=9093 vsize=26006188 memory=-3472574513799858009 CPUtime=0 cores=0-7
/proc/9095/task/9105/stat : 9105 (java) S 9093 9093 6696 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 148121544 26630336512 16971 33554432000 4194304 4196468 140721705487488 140320469657584 140321795369602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9106] ppid=9093 vsize=26006188 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/9095/task/9106/stat : 9106 (java) S 9093 9093 6696 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148121545 26630336512 16971 33554432000 4194304 4196468 140721705487488 140320468603808 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9107] ppid=9093 vsize=26006188 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/9095/task/9107/stat : 9107 (java) S 9093 9093 6696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148121545 26630336512 16971 33554432000 4194304 4196468 140721705487488 140320467551216 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9108] ppid=9093 vsize=26006188 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/9095/task/9108/stat : 9108 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121547 26630336512 16971 33554432000 4194304 4196468 140721705487488 140320466499792 140321795377051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9109] ppid=9093 vsize=26006188 memory=0 CPUtime=0.12 cores=0-7
/proc/9095/task/9109/stat : 9109 (java) R 9093 9093 6696 0 -1 4202560 733 0 0 0 12 0 0 0 20 0 20 0 148121547 26630336512 16971 33554432000 4194304 4196468 140721705487488 140320465433600 140321776058086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9110] ppid=9093 vsize=26006188 memory=0 CPUtime=0.13 cores=0-7
/proc/9095/task/9110/stat : 9110 (java) R 9093 9093 6696 0 -1 4202560 498 0 0 0 13 0 0 0 20 0 20 0 148121547 26630336512 16971 33554432000 4194304 4196468 140721705487488 140320464394864 140321781372781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9111] ppid=9093 vsize=26006188 memory=0 CPUtime=0.09 cores=0-7
/proc/9095/task/9111/stat : 9111 (java) S 9093 9093 6696 0 -1 1077944384 461 0 0 0 9 0 0 0 20 0 20 0 148121547 26630336512 16971 33554432000 4194304 4196468 140721705487488 140320463342320 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9112] ppid=9093 vsize=26006188 memory=-6876588628788076935 CPUtime=0.32 cores=0-7
/proc/9095/task/9112/stat : 9112 (java) S 9093 9093 6696 0 -1 1077944384 1415 0 0 0 32 0 0 0 20 0 20 0 148121547 26630336512 16971 33554432000 4194304 4196468 140721705487488 140320462289776 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9113] ppid=9093 vsize=26006188 memory=279415808331152 CPUtime=0 cores=0-7
/proc/9095/task/9113/stat : 9113 (java) S 9093 9093 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148121548 26630336512 16971 33554432000 4194304 4196468 140721705487488 140320461236448 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9114] ppid=9093 vsize=26006188 memory=279415808331024 CPUtime=0 cores=0-7
/proc/9095/task/9114/stat : 9114 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148121548 26630336512 16971 33554432000 4194304 4196468 140721705487488 140320460183984 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 69264 KiB

[startup+1.50102 s]
/proc/loadavg: 8.04 8.43 8.36 5/200 9114

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

[pid=9095/tid=9122] ppid=9093 vsize=26538700 memory=1380 CPUtime=2397.37 cores=0-7
/proc/9095/task/9122/stat : 9122 (java) R 9093 9093 6696 0 -1 4202560 44655 0 0 0 239690 47 0 0 20 0 28 0 148121687 27175628800 197322 33554432000 4194304 4196468 140721705487488 140320445300296 140321438763452 0 4 0 16800975 0 0 0 -1 4 0 0 27 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
Current children cumulated CPU time: 19336.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 790668 KiB

[startup+2502.3 s]
/proc/loadavg: 8.09 8.19 8.23 9/208 9179
/proc/meminfo: memFree=28204824/32770624 swapFree=67108860/67108860
[pid=9093] ppid=9090 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/9093/stat : 9093 (xcsp3-exec) S 9090 9093 6696 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148121530 9740288 345 33554432000 4194304 5098028 140721287949952 140721287948056 140045594980988 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32178176 140721287951460 140721287951671 140721287951671 140721287954411 0
/proc/9093/statm: 2378 345 289 221 0 87 0
[pid=9095] ppid=9093 vsize=26538700 memory=817204 CPUtime=19812.1 cores=0-7
/proc/9095/stat : 9095 (java) S 9093 9093 6696 0 -1 1077944320 926534 0 0 0 1979901 1310 0 0 20 0 28 0 148121531 27175628800 204301 33554432000 4194304 4196468 140721705487488 140721705470032 140321795358455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
/proc/9095/statm: 6634675 204301 3309 1 0 6621909 0
[pid=9095/tid=9096] ppid=9093 vsize=26538700 memory=817204 CPUtime=1.38 cores=0-7
/proc/9095/task/9096/stat : 9096 (java) S 9093 9093 6696 0 -1 1077944384 8140 0 0 0 135 3 0 0 20 0 28 0 148121531 27175628800 204301 33554432000 4194304 4196468 140721705487488 140321799599232 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9097] ppid=9093 vsize=26538700 memory=1380 CPUtime=13.02 cores=0-7
/proc/9095/task/9097/stat : 9097 (java) S 9093 9093 6696 0 -1 1077944384 39758 0 0 0 1256 46 0 0 20 0 28 0 148121543 27175628800 204301 33554432000 4194304 4196468 140721705487488 140321751910672 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9098] ppid=9093 vsize=26538700 memory=817204 CPUtime=12.99 cores=0-7
/proc/9095/task/9098/stat : 9098 (java) S 9093 9093 6696 0 -1 1077944384 39748 0 0 0 1256 43 0 0 20 0 28 0 148121543 27175628800 204301 33554432000 4194304 4196468 140721705487488 140321750858128 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9099] ppid=9093 vsize=26538700 memory=817204 CPUtime=13.07 cores=0-7
/proc/9095/task/9099/stat : 9099 (java) S 9093 9093 6696 0 -1 1077944384 36691 0 0 0 1268 39 0 0 20 0 28 0 148121543 27175628800 204301 33554432000 4194304 4196468 140721705487488 140321351137808 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9100] ppid=9093 vsize=26538700 memory=817204 CPUtime=13.08 cores=0-7
/proc/9095/task/9100/stat : 9100 (java) S 9093 9093 6696 0 -1 1077944384 39680 0 0 0 1270 38 0 0 20 0 28 0 148121543 27175628800 204301 33554432000 4194304 4196468 140721705487488 140321350085264 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9101] ppid=9093 vsize=26538700 memory=1380 CPUtime=13.06 cores=0-7
/proc/9095/task/9101/stat : 9101 (java) S 9093 9093 6696 0 -1 1077944384 39049 0 0 0 1262 44 0 0 20 0 28 0 148121543 27175628800 204301 33554432000 4194304 4196468 140721705487488 140321349032720 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9102] ppid=9093 vsize=26538700 memory=279415809641200 CPUtime=13.07 cores=0-7
/proc/9095/task/9102/stat : 9102 (java) S 9093 9093 6696 0 -1 1077944384 35834 0 0 0 1265 42 0 0 20 0 28 0 148121543 27175628800 204301 33554432000 4194304 4196468 140721705487488 140321347980176 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9103] ppid=9093 vsize=26538700 memory=139712339433087 CPUtime=13.15 cores=0-7
/proc/9095/task/9103/stat : 9103 (java) S 9093 9093 6696 0 -1 1077944384 37907 0 0 0 1273 42 0 0 20 0 28 0 148121543 27175628800 204301 33554432000 4194304 4196468 140721705487488 140321346927632 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9104] ppid=9093 vsize=26538700 memory=1380 CPUtime=13.07 cores=0-7
/proc/9095/task/9104/stat : 9104 (java) S 9093 9093 6696 0 -1 1077944384 37086 0 0 0 1267 40 0 0 20 0 28 0 148121543 27175628800 204301 33554432000 4194304 4196468 140721705487488 140321345875088 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9105] ppid=9093 vsize=26538700 memory=1380 CPUtime=10.33 cores=0-7
/proc/9095/task/9105/stat : 9105 (java) S 9093 9093 6696 0 -1 1077944384 121869 0 0 0 570 463 0 0 20 0 28 0 148121544 27175628800 204301 33554432000 4194304 4196468 140721705487488 140320469657584 140321795369602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9106] ppid=9093 vsize=26538700 memory=810192 CPUtime=0 cores=0-7
/proc/9095/task/9106/stat : 9106 (java) S 9093 9093 6696 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 148121545 27175628800 204301 33554432000 4194304 4196468 140721705487488 140320468603872 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9107] ppid=9093 vsize=26538700 memory=4100 CPUtime=0 cores=0-7
/proc/9095/task/9107/stat : 9107 (java) S 9093 9093 6696 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 28 0 148121545 27175628800 204301 33554432000 4194304 4196468 140721705487488 140320467551232 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9108] ppid=9093 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/9095/task/9108/stat : 9108 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148121547 27175628800 204301 33554432000 4194304 4196468 140721705487488 140320466499792 140321795377051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9109] ppid=9093 vsize=26538700 memory=1380 CPUtime=2.98 cores=0-7
/proc/9095/task/9109/stat : 9109 (java) S 9093 9093 6696 0 -1 1077944384 15592 0 0 0 296 2 0 0 20 0 28 0 148121547 27175628800 204301 33554432000 4194304 4196468 140721705487488 140320465447408 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9110] ppid=9093 vsize=26538700 memory=16236 CPUtime=3.06 cores=0-7
/proc/9095/task/9110/stat : 9110 (java) S 9093 9093 6696 0 -1 1077944384 18449 0 0 0 303 3 0 0 20 0 28 0 148121547 27175628800 204301 33554432000 4194304 4196468 140721705487488 140320464394864 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9111] ppid=9093 vsize=26538700 memory=4044 CPUtime=3.01 cores=0-7
/proc/9095/task/9111/stat : 9111 (java) S 9093 9093 6696 0 -1 1077944384 18268 0 0 0 298 3 0 0 20 0 28 0 148121547 27175628800 204301 33554432000 4194304 4196468 140721705487488 140320463342320 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9112] ppid=9093 vsize=26538700 memory=8112282956445269571 CPUtime=0.84 cores=0-7
/proc/9095/task/9112/stat : 9112 (java) S 9093 9093 6696 0 -1 1077944384 20778 0 0 0 80 4 0 0 20 0 28 0 148121547 27175628800 204301 33554432000 4194304 4196468 140721705487488 140320462289776 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9113] ppid=9093 vsize=26538700 memory=817204 CPUtime=0 cores=0-7
/proc/9095/task/9113/stat : 9113 (java) S 9093 9093 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148121548 27175628800 204301 33554432000 4194304 4196468 140721705487488 140320461236448 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9114] ppid=9093 vsize=26538700 memory=787236 CPUtime=0.98 cores=0-7
/proc/9095/task/9114/stat : 9114 (java) S 9093 9093 6696 0 -1 1077944384 7521 0 0 0 59 39 0 0 20 0 28 0 148121548 27175628800 204301 33554432000 4194304 4196468 140721705487488 140320460183984 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9115] ppid=9093 vsize=26538700 memory=786128 CPUtime=2464.72 cores=0-7
/proc/9095/task/9115/stat : 9115 (java) R 9093 9093 6696 0 -1 4202560 44625 0 0 0 246422 50 0 0 20 0 28 0 148121686 27175628800 204301 33554432000 4194304 4196468 140721705487488 140320452670832 140321438127111 0 4 0 16800975 0 0 0 -1 7 0 0 23 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9116] ppid=9093 vsize=26538700 memory=817200 CPUtime=2457.23 cores=0-7
/proc/9095/task/9116/stat : 9116 (java) R 9093 9093 6696 0 -1 4202560 41377 0 0 0 245675 48 0 0 20 0 28 0 148121686 27175628800 204301 33554432000 4194304 4196468 140721705487488 140320451616720 140321436677360 0 4 0 16800975 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9117] ppid=9093 vsize=26538700 memory=1224 CPUtime=2459.96 cores=0-7
/proc/9095/task/9117/stat : 9117 (java) R 9093 9093 6696 0 -1 4202560 65612 0 0 0 245895 101 0 0 20 0 28 0 148121686 27175628800 204301 33554432000 4194304 4196468 140721705487488 140320450564160 140321438126069 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9118] ppid=9093 vsize=26538700 memory=5792 CPUtime=2460.03 cores=0-7
/proc/9095/task/9118/stat : 9118 (java) R 9093 9093 6696 0 -1 4202560 66585 0 0 0 245895 108 0 0 20 0 28 0 148121686 27175628800 204301 33554432000 4194304 4196468 140721705487488 140320449511752 140321438123703 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9119] ppid=9093 vsize=26538700 memory=4486604260213485459 CPUtime=2461.88 cores=0-7
/proc/9095/task/9119/stat : 9119 (java) R 9093 9093 6696 0 -1 4202560 42967 0 0 0 246115 73 0 0 20 0 28 0 148121686 27175628800 204301 33554432000 4194304 4196468 140721705487488 140320448459072 140321438764369 0 4 0 16800975 0 0 0 -1 0 0 0 22 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9120] ppid=9093 vsize=26538700 memory=15880 CPUtime=2464.32 cores=0-7
/proc/9095/task/9120/stat : 9120 (java) R 9093 9093 6696 0 -1 4202560 50193 0 0 0 246360 72 0 0 20 0 28 0 148121686 27175628800 204301 33554432000 4194304 4196468 140721705487488 140320447406664 140321437364821 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9121] ppid=9093 vsize=26538700 memory=1380 CPUtime=2460.42 cores=0-7
/proc/9095/task/9121/stat : 9121 (java) R 9093 9093 6696 0 -1 4202560 51566 0 0 0 245970 72 0 0 20 0 28 0 148121686 27175628800 204301 33554432000 4194304 4196468 140721705487488 140320446352976 140321438763232 0 4 0 16800975 0 0 0 -1 4 0 0 27 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9122] ppid=9093 vsize=26538700 memory=817200 CPUtime=2456.21 cores=0-7
/proc/9095/task/9122/stat : 9122 (java) R 9093 9093 6696 0 -1 4202560 45834 0 0 0 245573 48 0 0 20 0 28 0 148121687 27175628800 204301 33554432000 4194304 4196468 140721705487488 140320445300432 140321437366291 0 4 0 16800975 0 0 0 -1 5 0 0 28 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
Current children cumulated CPU time: 19812.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 818584 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.07 8.18 8.23 9/208 9179
/proc/meminfo: memFree=28159860/32770624 swapFree=67108860/67108860
[pid=9093] ppid=9090 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/9093/stat : 9093 (xcsp3-exec) S 9090 9093 6696 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148121530 9740288 345 33554432000 4194304 5098028 140721287949952 140721287948056 140045594980988 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32178176 140721287951460 140721287951671 140721287951671 140721287954411 0
/proc/9093/statm: 2378 345 289 221 0 87 0
[pid=9095] ppid=9093 vsize=26538700 memory=859276 CPUtime=19952.1 cores=0-7
/proc/9095/stat : 9095 (java) S 9093 9093 6696 0 -1 1077944320 939434 0 0 0 1993889 1324 0 0 20 0 28 0 148121531 27175628800 214819 33554432000 4194304 4196468 140721705487488 140721705470032 140321795358455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
/proc/9095/statm: 6634675 214819 3309 1 0 6621909 0
[pid=9095/tid=9096] ppid=9093 vsize=26538700 memory=16236 CPUtime=1.38 cores=0-7
/proc/9095/task/9096/stat : 9096 (java) S 9093 9093 6696 0 -1 1077944384 8140 0 0 0 135 3 0 0 20 0 28 0 148121531 27175628800 214819 33554432000 4194304 4196468 140721705487488 140321799599232 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9097] ppid=9093 vsize=26538700 memory=4044 CPUtime=13.11 cores=0-7
/proc/9095/task/9097/stat : 9097 (java) S 9093 9093 6696 0 -1 1077944384 40141 0 0 0 1265 46 0 0 20 0 28 0 148121543 27175628800 214819 33554432000 4194304 4196468 140721705487488 140321751910672 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9098] ppid=9093 vsize=26538700 memory=4872558044660077418 CPUtime=13.08 cores=0-7
/proc/9095/task/9098/stat : 9098 (java) S 9093 9093 6696 0 -1 1077944384 39895 0 0 0 1265 43 0 0 20 0 28 0 148121543 27175628800 214819 33554432000 4194304 4196468 140721705487488 140321750858128 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9099] ppid=9093 vsize=26538700 memory=1232 CPUtime=13.16 cores=0-7
/proc/9095/task/9099/stat : 9099 (java) S 9093 9093 6696 0 -1 1077944384 36988 0 0 0 1277 39 0 0 20 0 28 0 148121543 27175628800 214819 33554432000 4194304 4196468 140721705487488 140321351137808 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9100] ppid=9093 vsize=26538700 memory=648 CPUtime=13.17 cores=0-7
/proc/9095/task/9100/stat : 9100 (java) S 9093 9093 6696 0 -1 1077944384 39947 0 0 0 1279 38 0 0 20 0 28 0 148121543 27175628800 214819 33554432000 4194304 4196468 140721705487488 140321350085264 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9101] ppid=9093 vsize=26538700 memory=1796 CPUtime=13.15 cores=0-7
/proc/9095/task/9101/stat : 9101 (java) S 9093 9093 6696 0 -1 1077944384 39155 0 0 0 1271 44 0 0 20 0 28 0 148121543 27175628800 214819 33554432000 4194304 4196468 140721705487488 140321349032720 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9102] ppid=9093 vsize=26538700 memory=956 CPUtime=13.15 cores=0-7
/proc/9095/task/9102/stat : 9102 (java) S 9093 9093 6696 0 -1 1077944384 36509 0 0 0 1273 42 0 0 20 0 28 0 148121543 27175628800 214819 33554432000 4194304 4196468 140721705487488 140321347980176 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9103] ppid=9093 vsize=26538700 memory=2428 CPUtime=13.24 cores=0-7
/proc/9095/task/9103/stat : 9103 (java) S 9093 9093 6696 0 -1 1077944384 38266 0 0 0 1282 42 0 0 20 0 28 0 148121543 27175628800 214819 33554432000 4194304 4196468 140721705487488 140321346927632 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9104] ppid=9093 vsize=26538700 memory=928 CPUtime=13.15 cores=0-7
/proc/9095/task/9104/stat : 9104 (java) S 9093 9093 6696 0 -1 1077944384 38060 0 0 0 1275 40 0 0 20 0 28 0 148121543 27175628800 214819 33554432000 4194304 4196468 140721705487488 140321345875088 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9105] ppid=9093 vsize=26538700 memory=1576 CPUtime=10.44 cores=0-7
/proc/9095/task/9105/stat : 9105 (java) S 9093 9093 6696 0 -1 1077944384 122489 0 0 0 574 470 0 0 20 0 28 0 148121544 27175628800 214819 33554432000 4194304 4196468 140721705487488 140320469657584 140321795369602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9106] ppid=9093 vsize=26538700 memory=2236 CPUtime=0 cores=0-7
/proc/9095/task/9106/stat : 9106 (java) S 9093 9093 6696 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 148121545 27175628800 214819 33554432000 4194304 4196468 140721705487488 140320468603872 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9107] ppid=9093 vsize=26538700 memory=4316 CPUtime=0 cores=0-7
/proc/9095/task/9107/stat : 9107 (java) S 9093 9093 6696 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 28 0 148121545 27175628800 214819 33554432000 4194304 4196468 140721705487488 140320467551232 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9108] ppid=9093 vsize=26538700 memory=832 CPUtime=0 cores=0-7
/proc/9095/task/9108/stat : 9108 (java) S 9093 9093 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148121547 27175628800 214819 33554432000 4194304 4196468 140721705487488 140320466499792 140321795377051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9109] ppid=9093 vsize=26538700 memory=1692 CPUtime=2.98 cores=0-7
/proc/9095/task/9109/stat : 9109 (java) S 9093 9093 6696 0 -1 1077944384 15597 0 0 0 296 2 0 0 20 0 28 0 148121547 27175628800 214819 33554432000 4194304 4196468 140721705487488 140320465447408 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9110] ppid=9093 vsize=26538700 memory=916 CPUtime=3.06 cores=0-7
/proc/9095/task/9110/stat : 9110 (java) S 9093 9093 6696 0 -1 1077944384 18453 0 0 0 303 3 0 0 20 0 28 0 148121547 27175628800 214819 33554432000 4194304 4196468 140721705487488 140320464394864 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9111] ppid=9093 vsize=26538700 memory=4428 CPUtime=3.01 cores=0-7
/proc/9095/task/9111/stat : 9111 (java) S 9093 9093 6696 0 -1 1077944384 18272 0 0 0 298 3 0 0 20 0 28 0 148121547 27175628800 214819 33554432000 4194304 4196468 140721705487488 140320463342320 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9112] ppid=9093 vsize=26538700 memory=1156 CPUtime=0.84 cores=0-7
/proc/9095/task/9112/stat : 9112 (java) S 9093 9093 6696 0 -1 1077944384 20783 0 0 0 80 4 0 0 20 0 28 0 148121547 27175628800 214819 33554432000 4194304 4196468 140721705487488 140320462289776 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9113] ppid=9093 vsize=26538700 memory=3840 CPUtime=0 cores=0-7
/proc/9095/task/9113/stat : 9113 (java) S 9093 9093 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148121548 27175628800 214819 33554432000 4194304 4196468 140721705487488 140320461236448 140321795368661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9114] ppid=9093 vsize=26538700 memory=1380 CPUtime=0.98 cores=0-7
/proc/9095/task/9114/stat : 9114 (java) S 9093 9093 6696 0 -1 1077944384 7562 0 0 0 59 39 0 0 20 0 28 0 148121548 27175628800 214819 33554432000 4194304 4196468 140721705487488 140320460183984 140321795369602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9115] ppid=9093 vsize=26538700 memory=871956 CPUtime=2482.15 cores=0-7
/proc/9095/task/9115/stat : 9115 (java) R 9093 9093 6696 0 -1 4202560 45261 0 0 0 248164 51 0 0 20 0 28 0 148121686 27175628800 214819 33554432000 4194304 4196468 140721705487488 140320452668096 140321438126161 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9116] ppid=9093 vsize=26538700 memory=4100 CPUtime=2474.53 cores=0-7
/proc/9095/task/9116/stat : 9116 (java) R 9093 9093 6696 0 -1 4202560 42217 0 0 0 247404 49 0 0 20 0 28 0 148121686 27175628800 214819 33554432000 4194304 4196468 140721705487488 140320451619312 140321438763452 0 4 0 16800975 0 0 0 -1 7 0 0 28 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9117] ppid=9093 vsize=26538700 memory=1576 CPUtime=2477.39 cores=0-7
/proc/9095/task/9117/stat : 9117 (java) R 9093 9093 6696 0 -1 4202560 66813 0 0 0 247637 102 0 0 20 0 28 0 148121686 27175628800 214819 33554432000 4194304 4196468 140721705487488 140320450564024 140321438523765 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9118] ppid=9093 vsize=26538700 memory=1224 CPUtime=2477.41 cores=0-7
/proc/9095/task/9118/stat : 9118 (java) R 9093 9093 6696 0 -1 4202560 68280 0 0 0 247632 109 0 0 20 0 28 0 148121686 27175628800 214819 33554432000 4194304 4196468 140721705487488 140320449511704 140321438126225 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9119] ppid=9093 vsize=26538700 memory=5792 CPUtime=2479.27 cores=0-7
/proc/9095/task/9119/stat : 9119 (java) R 9093 9093 6696 0 -1 4202560 43543 0 0 0 247853 74 0 0 20 0 28 0 148121686 27175628800 214819 33554432000 4194304 4196468 140721705487488 140320448458936 140321437773768 0 4 0 16800975 0 0 0 -1 0 0 0 22 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9120] ppid=9093 vsize=26538700 memory=4620 CPUtime=2481.79 cores=0-7
/proc/9095/task/9120/stat : 9120 (java) R 9093 9093 6696 0 -1 4202560 51506 0 0 0 248106 73 0 0 20 0 28 0 148121686 27175628800 214819 33554432000 4194304 4196468 140721705487488 140320447406664 140321437587639 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9121] ppid=9093 vsize=26538700 memory=1200 CPUtime=2477.86 cores=0-7
/proc/9095/task/9121/stat : 9121 (java) R 9093 9093 6696 0 -1 4202560 53448 0 0 0 247713 73 0 0 20 0 28 0 148121686 27175628800 214819 33554432000 4194304 4196468 140721705487488 140320446352952 140321438763347 0 4 0 16800975 0 0 0 -1 4 0 0 28 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
[pid=9095/tid=9122] ppid=9093 vsize=26538700 memory=15880 CPUtime=2473.58 cores=0-7
/proc/9095/task/9122/stat : 9122 (java) R 9093 9093 6696 0 -1 4202560 46705 0 0 0 247309 49 0 0 20 0 28 0 148121687 27175628800 214819 33554432000 4194304 4196468 140721705487488 140320445300272 140321436677045 0 4 0 16800975 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 38952960 140721705493650 140721705493827 140721705493827 140721705496527 0
Current children cumulated CPU time: 19952.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 860656 KiB

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

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

[startup+2520.13 s]
# the end of solver process 9095 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19939.8 s, system=13.2517 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): 19953
CPU user time (s): 19939.8
CPU system time (s): 13.2517
CPU usage (%): 791.745
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 3474404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19939.8
system time used= 13.2517
maximum resident set size= 3476204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 940302
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 411921
involuntary context switches= 243595


# summary of solver processes directly reported to runsolver:
#   pid: 9093,9095
#   total CPU time (s): 19953
#   total CPU user time (s): 19939.8
#   total CPU system time (s): 13.2517

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.8177 second user time and 31.0551 second system time

The end

Launcher Data 

Begin job on node102 at 2017-08-19 15:31:14
IDJOB=4280899
IDBENCH=133181
IDSOLVER=2675
FILE ID=node102/4280899-1503150334
RUNJOBID= node102-1503141368-6723
PBS_JOBID= 20630798
Free space on /tmp= 61880 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-024.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280899-1503150334/watcher-4280899-1503150334 -o /tmp/evaluation-result-4280899-1503150334/solver-4280899-1503150334 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503141368-6723 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1001708965 HOME/instance-4280899-1503150334.xml

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

MD5SUM BENCH= 23eb83e679dec689804004fda8e6ed87
RANDOM SEED=1001708965

node102.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.35
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.35
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.35
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.35
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:        29014660 kB
MemAvailable:   31975452 kB
Buffers:          233236 kB
Cached:          3020708 kB
SwapCached:            0 kB
Active:           960808 kB
Inactive:        2345792 kB
Active(anon):       5848 kB
Inactive(anon):    83052 kB
Active(file):     954960 kB
Inactive(file):  2262740 kB
Unevictable:        7504 kB
Mlocked:            7504 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7744 kB
Writeback:             0 kB
AnonPages:         71240 kB
Mapped:            50904 kB
Shmem:             33420 kB
Slab:             144964 kB
SReclaimable:     117852 kB
SUnreclaim:        27112 kB
KernelStack:        3536 kB
PageTables:         4672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     334436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61872 MiB
End job on node102 at 2017-08-19 16:13:14