Trace number 4404517

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-09-20 parallel? (TO) 19669.9 2520.16

General information on the benchmark

NameStripPacking/StripPacking-m1-seriesT/
StripPacking-T5c.xml
MD5SUM3657d2b4866232829f5e159967af0f72
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 variables365
Number of constraints220
Number of domains75
Minimum domain size1
Maximum domain size200
Distribution of domain sizes[{"size":1,"count":6},{"size":2,"count":213},{"size":200,"count":146}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":73},{"degree":2,"count":146},{"degree":3,"count":146}]
Minimum constraint arity2
Maximum constraint arity292
Distribution of constraint arities[{"arity":2,"count":146},{"arity":3,"count":73},{"arity":292,"count":1}]
Number of extensional constraints73
Number of intensional constraints146
Distribution of constraint types[{"type":"extension","count":73},{"type":"intension","count":146},{"type":"noOverlap","count":1}]
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-4404517-1568994572.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404517-1568994572.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
3.03/1.04	c solve instance...
19668.95/2520.07	s UNKNOWN
19668.95/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 (10391 MiB free)
  memory of node 1: 16384 MiB (8045 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404517-1568994572/watcher-4404517-1568994572 -o /var/tmp/evaluation-result-4404517-1568994572/solver-4404517-1568994572 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1568994352-14801 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 661097027 HOME/instance-4404517-1568994572.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=15097, runsolver pid=15094

[startup+0.100142 s]*
/proc/loadavg: 8.00 6.51 6.54 2/211 15118
/proc/meminfo: memFree=18865596/32770624 swapFree=66935844/67108860
[pid=15097] ppid=15094 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15097/stat : 15097 (xcsp3-exec) S 15094 15097 14774 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475370965 115843072 362 33554432000 4194304 5098028 140721270201472 140721270199576 139628747395708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21110784 140721270207314 140721270207573 140721270207573 140721270210502 0
/proc/15097/statm: 28282 362 304 221 0 87 0
[pid=15099] ppid=15097 vsize=28227396 memory=26848 CPUtime=0.12 cores=0-7
/proc/15099/stat : 15099 (java) S 15097 15097 14774 0 -1 1077944320 5726 0 0 0 11 1 0 0 20 0 20 0 475370965 28904853504 6712 33554432000 4194304 4196468 140725717353952 140725717336496 140022941519607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
/proc/15099/statm: 7056849 6712 3121 1 0 7019032 0
[pid=15099/tid=15100] ppid=15097 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/15099/task/15100/stat : 15100 (java) R 15097 15097 14774 0 -1 4202560 3632 0 0 0 8 0 0 0 20 0 20 0 475370966 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022945754144 140022927612305 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15101] ppid=15097 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/15099/task/15101/stat : 15101 (java) S 15097 15097 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475370966 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022493252368 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15102] ppid=15097 vsize=28227396 memory=140369009485440 CPUtime=0 cores=0-7
/proc/15099/task/15102/stat : 15102 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370966 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022492199824 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15103] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15103/stat : 15103 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370966 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022491147280 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15104] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15104/stat : 15104 (java) S 15097 15097 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475370966 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022490094736 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15105] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15105/stat : 15105 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370966 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022489041168 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15106] ppid=15097 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15099/task/15106/stat : 15106 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370966 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022487988624 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15107] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15107/stat : 15107 (java) S 15097 15097 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475370966 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022486936080 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15108] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15108/stat : 15108 (java) S 15097 15097 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475370966 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022485883536 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15109] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15109/stat : 15109 (java) S 15097 15097 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475370968 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022057654768 140022941530754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15110] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15110/stat : 15110 (java) S 15097 15097 14774 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 475370968 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022056600992 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15111] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15111/stat : 15111 (java) S 15097 15097 14774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475370969 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022055548400 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15112] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15112/stat : 15112 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370971 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022054496976 140022941538203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15113] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15113/stat : 15113 (java) S 15097 15097 14774 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 475370971 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022053443568 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15114] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15114/stat : 15114 (java) S 15097 15097 14774 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 475370971 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022052391024 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15115] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15115/stat : 15115 (java) S 15097 15097 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475370971 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022051338480 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15116] ppid=15097 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/15099/task/15116/stat : 15116 (java) R 15097 15097 14774 0 -1 4202560 365 0 0 0 1 0 0 0 20 0 20 0 475370971 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022050285936 140022925600094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15117] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15117/stat : 15117 (java) S 15097 15097 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475370971 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022049233632 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15118] ppid=15097 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15099/task/15118/stat : 15118 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370971 28904853504 6712 33554432000 4194304 4196468 140725717353952 140022048181168 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 28296 KiB

[startup+0.210051 s]*
/proc/loadavg: 8.00 6.51 6.54 4/211 15118
/proc/meminfo: memFree=18851496/32770624 swapFree=66935844/67108860
[pid=15097] ppid=15094 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15097/stat : 15097 (xcsp3-exec) S 15094 15097 14774 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475370965 115843072 362 33554432000 4194304 5098028 140721270201472 140721270199576 139628747395708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21110784 140721270207314 140721270207573 140721270207573 140721270210502 0
/proc/15097/statm: 28282 362 304 221 0 87 0
[pid=15099] ppid=15097 vsize=28227396 memory=39916 CPUtime=0.33 cores=0-7
/proc/15099/stat : 15099 (java) S 15097 15097 14774 0 -1 1077944320 9740 0 0 0 30 3 0 0 20 0 20 0 475370965 28904853504 9979 33554432000 4194304 4196468 140725717353952 140725717336496 140022941519607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
/proc/15099/statm: 7056849 9979 3314 1 0 7019032 0
[pid=15099/tid=15100] ppid=15097 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/15099/task/15100/stat : 15100 (java) R 15097 15097 14774 0 -1 4202560 6663 0 0 0 18 1 0 0 20 0 20 0 475370966 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022945749328 140022941541533 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15101] ppid=15097 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/15099/task/15101/stat : 15101 (java) S 15097 15097 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475370966 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022493252368 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15102] ppid=15097 vsize=28227396 memory=140369013092275 CPUtime=0 cores=0-7
/proc/15099/task/15102/stat : 15102 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370966 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022492199824 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15103] ppid=15097 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15099/task/15103/stat : 15103 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370966 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022491147280 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15104] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15104/stat : 15104 (java) S 15097 15097 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475370966 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022490094736 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15105] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15105/stat : 15105 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370966 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022489041168 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15106] ppid=15097 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15099/task/15106/stat : 15106 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370966 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022487988624 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15107] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15107/stat : 15107 (java) S 15097 15097 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475370966 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022486936080 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15108] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15108/stat : 15108 (java) S 15097 15097 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475370966 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022485883536 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15109] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15109/stat : 15109 (java) S 15097 15097 14774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475370968 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022057654768 140022941530754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15110] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15110/stat : 15110 (java) S 15097 15097 14774 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 475370968 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022056600992 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15111] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15111/stat : 15111 (java) S 15097 15097 14774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475370969 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022055548400 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15112] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15112/stat : 15112 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370971 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022054496976 140022941538203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15113] ppid=15097 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/15099/task/15113/stat : 15113 (java) S 15097 15097 14774 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 20 0 475370971 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022053443568 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15114] ppid=15097 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/15099/task/15114/stat : 15114 (java) S 15097 15097 14774 0 -1 1077944384 200 0 0 0 1 0 0 0 20 0 20 0 475370971 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022052391024 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15115] ppid=15097 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/15099/task/15115/stat : 15115 (java) S 15097 15097 14774 0 -1 1077944384 186 0 0 0 1 0 0 0 20 0 20 0 475370971 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022051338480 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15116] ppid=15097 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/15099/task/15116/stat : 15116 (java) S 15097 15097 14774 0 -1 1077944384 914 0 0 0 7 0 0 0 20 0 20 0 475370971 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022050285936 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15117] ppid=15097 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15117/stat : 15117 (java) S 15097 15097 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475370971 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022049233632 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15118] ppid=15097 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15099/task/15118/stat : 15118 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370971 28904853504 9979 33554432000 4194304 4196468 140725717353952 140022048181168 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41364 KiB

[startup+0.309474 s]*
/proc/loadavg: 8.00 6.51 6.54 3/211 15118
/proc/meminfo: memFree=18846028/32770624 swapFree=66935844/67108860
[pid=15097] ppid=15094 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15097/stat : 15097 (xcsp3-exec) S 15094 15097 14774 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475370965 115843072 362 33554432000 4194304 5098028 140721270201472 140721270199576 139628747395708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21110784 140721270207314 140721270207573 140721270207573 140721270210502 0
/proc/15097/statm: 28282 362 304 221 0 87 0
[pid=15099] ppid=15097 vsize=28231652 memory=48808 CPUtime=0.52 cores=0-7
/proc/15099/stat : 15099 (java) S 15097 15097 14774 0 -1 1077944320 11009 0 0 0 49 3 0 0 20 0 20 0 475370965 28909211648 12202 33554432000 4194304 4196468 140725717353952 140725717336496 140022941519607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
/proc/15099/statm: 7057913 12202 3365 1 0 7019032 0
[pid=15099/tid=15100] ppid=15097 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/15099/task/15100/stat : 15100 (java) R 15097 15097 14774 0 -1 4202560 7730 0 0 0 28 2 0 0 20 0 20 0 475370966 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022945750720 140022934197621 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15101] ppid=15097 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15101/stat : 15101 (java) S 15097 15097 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475370966 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022493252368 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15102] ppid=15097 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15102/stat : 15102 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370966 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022492199824 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15103] ppid=15097 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15103/stat : 15103 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370966 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022491147280 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15104] ppid=15097 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15104/stat : 15104 (java) S 15097 15097 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475370966 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022490094736 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15105] ppid=15097 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/15099/task/15105/stat : 15105 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370966 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022489041168 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15106] ppid=15097 vsize=28231652 memory=140368859460527 CPUtime=0 cores=0-7
/proc/15099/task/15106/stat : 15106 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370966 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022487988624 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15107] ppid=15097 vsize=28231652 memory=140368859462832 CPUtime=0 cores=0-7
/proc/15099/task/15107/stat : 15107 (java) S 15097 15097 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475370966 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022486936080 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15108] ppid=15097 vsize=28231652 memory=140368859465136 CPUtime=0 cores=0-7
/proc/15099/task/15108/stat : 15108 (java) S 15097 15097 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475370966 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022485883536 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15109] ppid=15097 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15109/stat : 15109 (java) S 15097 15097 14774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475370968 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022057654768 140022941530754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15110] ppid=15097 vsize=28231652 memory=280737718937232 CPUtime=0 cores=0-7
/proc/15099/task/15110/stat : 15110 (java) S 15097 15097 14774 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 475370968 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022056600992 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15111] ppid=15097 vsize=28231652 memory=280737718944144 CPUtime=0 cores=0-7
/proc/15099/task/15111/stat : 15111 (java) S 15097 15097 14774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475370969 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022055548400 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15112] ppid=15097 vsize=28231652 memory=280737718885424 CPUtime=0 cores=0-7
/proc/15099/task/15112/stat : 15112 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370971 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022054496976 140022941538203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15113] ppid=15097 vsize=28231652 memory=280737718957968 CPUtime=0.02 cores=0-7
/proc/15099/task/15113/stat : 15113 (java) R 15097 15097 14774 0 -1 4202560 474 0 0 0 2 0 0 0 20 0 20 0 475370971 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022053433952 140022926399292 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15114] ppid=15097 vsize=28231652 memory=280737718964880 CPUtime=0.03 cores=0-7
/proc/15099/task/15114/stat : 15114 (java) R 15097 15097 14774 0 -1 1077944384 210 0 0 0 3 0 0 0 20 0 20 0 475370971 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022052391024 140022941530754 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15115] ppid=15097 vsize=28231652 memory=280737718962576 CPUtime=0.02 cores=0-7
/proc/15099/task/15115/stat : 15115 (java) R 15097 15097 14774 0 -1 4202560 203 0 0 0 2 0 0 0 20 0 20 0 475370971 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022051338480 140022941530754 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15116] ppid=15097 vsize=28231652 memory=280737718978736 CPUtime=0.12 cores=0-7
/proc/15099/task/15116/stat : 15116 (java) R 15097 15097 14774 0 -1 4202560 1081 0 0 0 12 0 0 0 20 0 20 0 475370971 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022050285936 140022920502755 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15117] ppid=15097 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15117/stat : 15117 (java) S 15097 15097 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475370971 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022049233632 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15118] ppid=15097 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/15099/task/15118/stat : 15118 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370971 28909211648 12216 33554432000 4194304 4196468 140725717353952 140022048181168 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50256 KiB

[startup+0.700913 s]
/proc/loadavg: 8.00 6.51 6.54 4/211 15118
/proc/meminfo: memFree=18827296/32770624 swapFree=66935844/67108860
[pid=15097] ppid=15094 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15097/stat : 15097 (xcsp3-exec) S 15094 15097 14774 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475370965 115843072 362 33554432000 4194304 5098028 140721270201472 140721270199576 139628747395708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21110784 140721270207314 140721270207573 140721270207573 140721270210502 0
/proc/15097/statm: 28282 362 304 221 0 87 0
[pid=15099] ppid=15097 vsize=28233776 memory=83488 CPUtime=1.64 cores=0-7
/proc/15099/stat : 15099 (java) S 15097 15097 14774 0 -1 1077944320 16101 0 0 0 159 5 0 0 20 0 20 0 475370965 28911386624 20872 33554432000 4194304 4196468 140725717353952 140725717336496 140022941519607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
/proc/15099/statm: 7058444 20872 3451 1 0 7019544 0
[pid=15099/tid=15100] ppid=15097 vsize=28233776 memory=280737719336624 CPUtime=0.67 cores=0-7
/proc/15099/task/15100/stat : 15100 (java) R 15097 15097 14774 0 -1 4202560 9387 0 0 0 65 2 0 0 20 0 20 0 475370966 28911386624 20872 33554432000 4194304 4196468 140725717353952 140022945756320 140022941531542 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15101] ppid=15097 vsize=28233776 memory=140368859669360 CPUtime=0 cores=0-7
/proc/15099/task/15101/stat : 15101 (java) S 15097 15097 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475370966 28911386624 20872 33554432000 4194304 4196468 140725717353952 140022493252368 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15102] ppid=15097 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/15099/task/15102/stat : 15102 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370966 28911386624 20872 33554432000 4194304 4196468 140725717353952 140022492199824 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15103] ppid=15097 vsize=28233776 memory=1124 CPUtime=0 cores=0-7
/proc/15099/task/15103/stat : 15103 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475370966 28911386624 20872 33554432000 4194304 4196468 140725717353952 140022491147280 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0

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

[pid=15099/tid=15125] ppid=15097 vsize=28768336 memory=1448 CPUtime=2398.85 cores=0-7
/proc/15099/task/15125/stat : 15125 (java) R 15097 15097 14774 0 -1 4202560 69830 0 0 0 239841 44 0 0 20 0 28 0 475371071 29458776064 131883 33554432000 4194304 4196468 140725717353952 140020975369464 140022589761920 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15126] ppid=15097 vsize=28768336 memory=0 CPUtime=2430.2 cores=0-7
/proc/15099/task/15126/stat : 15126 (java) R 15097 15097 14774 0 -1 4202560 17363 0 0 0 242992 28 0 0 20 0 28 0 475371071 29458776064 131883 33554432000 4194304 4196468 140725717353952 140020974313856 140022582118256 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
Current children cumulated CPU time: 19531.8 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 528980 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 7.68 7.94 7.88 9/220 15350
/proc/meminfo: memFree=18363700/32770624 swapFree=66935844/67108860
[pid=15097] ppid=15094 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15097/stat : 15097 (xcsp3-exec) S 15094 15097 14774 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475370965 115843072 362 33554432000 4194304 5098028 140721270201472 140721270199576 139628747395708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21110784 140721270207314 140721270207573 140721270207573 140721270210502 0
/proc/15097/statm: 28282 362 304 221 0 87 0
[pid=15099] ppid=15097 vsize=28768336 memory=523960 CPUtime=19668.9 cores=0-7
/proc/15099/stat : 15099 (java) S 15097 15097 14774 0 -1 1077944320 1185317 0 0 0 1960740 6155 0 0 20 0 28 0 475370965 29458776064 130990 33554432000 4194304 4196468 140725717353952 140725717336496 140022941519607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
/proc/15099/statm: 7192084 130990 3551 1 0 7153184 0
[pid=15099/tid=15100] ppid=15097 vsize=28768336 memory=1398720917958146503 CPUtime=1.02 cores=0-7
/proc/15099/task/15100/stat : 15100 (java) S 15097 15097 14774 0 -1 1077944384 10045 0 0 0 99 3 0 0 20 0 28 0 475370966 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022945760384 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15101] ppid=15097 vsize=28768336 memory=4872558044660077418 CPUtime=11.77 cores=0-7
/proc/15099/task/15101/stat : 15101 (java) S 15097 15097 14774 0 -1 1077944384 58509 0 0 0 1136 41 0 0 20 0 28 0 475370966 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022493252368 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15102] ppid=15097 vsize=28768336 memory=1660 CPUtime=11.76 cores=0-7
/proc/15099/task/15102/stat : 15102 (java) S 15097 15097 14774 0 -1 1077944384 56518 0 0 0 1136 40 0 0 20 0 28 0 475370966 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022492199824 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15103] ppid=15097 vsize=28768336 memory=111632 CPUtime=11.74 cores=0-7
/proc/15099/task/15103/stat : 15103 (java) S 15097 15097 14774 0 -1 1077944384 60582 0 0 0 1132 42 0 0 20 0 28 0 475370966 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022491147280 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15104] ppid=15097 vsize=28768336 memory=796 CPUtime=11.81 cores=0-7
/proc/15099/task/15104/stat : 15104 (java) S 15097 15097 14774 0 -1 1077944384 58421 0 0 0 1140 41 0 0 20 0 28 0 475370966 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022490094736 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15105] ppid=15097 vsize=28768336 memory=1804 CPUtime=11.72 cores=0-7
/proc/15099/task/15105/stat : 15105 (java) S 15097 15097 14774 0 -1 1077944384 59328 0 0 0 1129 43 0 0 20 0 28 0 475370966 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022489041168 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15106] ppid=15097 vsize=28768336 memory=916 CPUtime=11.81 cores=0-7
/proc/15099/task/15106/stat : 15106 (java) S 15097 15097 14774 0 -1 1077944384 59993 0 0 0 1137 44 0 0 20 0 28 0 475370966 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022487988624 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15107] ppid=15097 vsize=28768336 memory=523960 CPUtime=11.84 cores=0-7
/proc/15099/task/15107/stat : 15107 (java) S 15097 15097 14774 0 -1 1077944384 60737 0 0 0 1142 42 0 0 20 0 28 0 475370966 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022486936080 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15108] ppid=15097 vsize=28768336 memory=2020 CPUtime=11.81 cores=0-7
/proc/15099/task/15108/stat : 15108 (java) S 15097 15097 14774 0 -1 1077944384 64593 0 0 0 1136 45 0 0 20 0 28 0 475370966 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022485883536 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15109] ppid=15097 vsize=28768336 memory=988 CPUtime=84.12 cores=0-7
/proc/15099/task/15109/stat : 15109 (java) S 15097 15097 14774 0 -1 1077944384 146390 0 0 0 2891 5521 0 0 20 0 28 0 475370968 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022057654768 140022941530754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15110] ppid=15097 vsize=28768336 memory=1368 CPUtime=0 cores=0-7
/proc/15099/task/15110/stat : 15110 (java) S 15097 15097 14774 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 475370968 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022056601056 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15111] ppid=15097 vsize=28768336 memory=1056 CPUtime=0 cores=0-7
/proc/15099/task/15111/stat : 15111 (java) S 15097 15097 14774 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 475370969 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022055548416 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15112] ppid=15097 vsize=28768336 memory=1716 CPUtime=0 cores=0-7
/proc/15099/task/15112/stat : 15112 (java) S 15097 15097 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475370971 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022054496976 140022941538203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15113] ppid=15097 vsize=28768336 memory=6791534058613427641 CPUtime=3.35 cores=0-7
/proc/15099/task/15113/stat : 15113 (java) S 15097 15097 14774 0 -1 1077944384 23680 0 0 0 329 6 0 0 20 0 28 0 475370971 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022053443568 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15114] ppid=15097 vsize=28768336 memory=4715435516538746410 CPUtime=3.45 cores=0-7
/proc/15099/task/15114/stat : 15114 (java) S 15097 15097 14774 0 -1 1077944384 17649 0 0 0 343 2 0 0 20 0 28 0 475370971 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022052391024 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15115] ppid=15097 vsize=28768336 memory=3720 CPUtime=3.22 cores=0-7
/proc/15099/task/15115/stat : 15115 (java) S 15097 15097 14774 0 -1 1077944384 23402 0 0 0 317 5 0 0 20 0 28 0 475370971 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022051338480 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15116] ppid=15097 vsize=28768336 memory=1448 CPUtime=1.14 cores=0-7
/proc/15099/task/15116/stat : 15116 (java) S 15097 15097 14774 0 -1 1077944384 17608 0 0 0 110 4 0 0 20 0 28 0 475370971 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022050285936 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15117] ppid=15097 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/15099/task/15117/stat : 15117 (java) S 15097 15097 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475370971 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022049233632 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15118] ppid=15097 vsize=28768336 memory=1560 CPUtime=0.92 cores=0-7
/proc/15099/task/15118/stat : 15118 (java) S 15097 15097 14774 0 -1 1077944384 5679 0 0 0 37 55 0 0 20 0 28 0 475370971 29458776064 130990 33554432000 4194304 4196468 140725717353952 140022048181168 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15119] ppid=15097 vsize=28768336 memory=3592 CPUtime=2413.99 cores=0-7
/proc/15099/task/15119/stat : 15119 (java) R 15097 15097 14774 0 -1 4202560 104748 0 0 0 241356 43 0 0 20 0 28 0 475371071 29458776064 130990 33554432000 4194304 4196468 140725717353952 140020981680872 140022591607606 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15120] ppid=15097 vsize=28768336 memory=1124 CPUtime=2450.26 cores=0-7
/proc/15099/task/15120/stat : 15120 (java) R 15097 15097 14774 0 -1 4202560 42048 0 0 0 244997 29 0 0 20 0 28 0 475371071 29458776064 130990 33554432000 4194304 4196468 140725717353952 140020980632864 140022582118192 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15121] ppid=15097 vsize=28768336 memory=2828 CPUtime=2416.36 cores=0-7
/proc/15099/task/15121/stat : 15121 (java) R 15097 15097 14774 0 -1 4202560 69125 0 0 0 241589 47 0 0 20 0 28 0 475371071 29458776064 130990 33554432000 4194304 4196468 140725717353952 140020979576360 140022586737792 0 4 0 16800975 0 0 0 -1 6 0 0 17 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15122] ppid=15097 vsize=28768336 memory=1228 CPUtime=2444.76 cores=0-7
/proc/15099/task/15122/stat : 15122 (java) R 15097 15097 14774 0 -1 4202560 23131 0 0 0 244446 30 0 0 20 0 28 0 475371071 29458776064 130990 33554432000 4194304 4196468 140725717353952 140020978523920 140022582117864 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15123] ppid=15097 vsize=28768336 memory=14008 CPUtime=2442.2 cores=0-7
/proc/15099/task/15123/stat : 15123 (java) R 15097 15097 14774 0 -1 4202560 23308 0 0 0 244186 34 0 0 20 0 28 0 475371071 29458776064 130990 33554432000 4194304 4196468 140725717353952 140020977471488 140022582118212 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15124] ppid=15097 vsize=28768336 memory=12040 CPUtime=2446.99 cores=0-7
/proc/15099/task/15124/stat : 15124 (java) R 15097 15097 14774 0 -1 4202560 111127 0 0 0 244649 50 0 0 20 0 28 0 475371071 29458776064 130990 33554432000 4194304 4196468 140725717353952 140020976418944 140022582117822 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15125] ppid=15097 vsize=28768336 memory=2124 CPUtime=2415.49 cores=0-7
/proc/15099/task/15125/stat : 15125 (java) R 15097 15097 14774 0 -1 4202560 69925 0 0 0 241505 44 0 0 20 0 28 0 475371071 29458776064 130990 33554432000 4194304 4196468 140725717353952 140020975365744 140022589761864 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15126] ppid=15097 vsize=28768336 memory=30072 CPUtime=2447.21 cores=0-7
/proc/15099/task/15126/stat : 15126 (java) R 15097 15097 14774 0 -1 4202560 17396 0 0 0 244693 28 0 0 20 0 28 0 475371071 29458776064 130990 33554432000 4194304 4196468 140725717353952 140020974313992 140022582118383 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
Current children cumulated CPU time: 19669 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 525408 KiB

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

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

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

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

[startup+2520.13 s]*
/proc/loadavg: 7.68 7.94 7.88 4/219 15352
/proc/meminfo: memFree=18364080/32770624 swapFree=66935844/67108860
[pid=15099] ppid=15094 vsize=28901464 memory=524092 CPUtime=19669.8 cores=0-7
/proc/15099/stat : 15099 (java) S 15094 15097 14774 0 -1 1077944320 1185466 0 0 0 1960822 6158 0 0 20 0 28 0 475370965 29595099136 131023 33554432000 4194304 4196468 140725717353952 140725717336496 140022941519607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
/proc/15099/statm: 7225366 131023 3553 1 0 7186466 0
[pid=15099/tid=15100] ppid=15094 vsize=28901464 memory=1398720917958146503 CPUtime=1.02 cores=0-7
/proc/15099/task/15100/stat : 15100 (java) S 15094 15097 14774 0 -1 1077944384 10045 0 0 0 99 3 0 0 20 0 28 0 475370966 29595099136 131023 33554432000 4194304 4196468 140725717353952 140022945760384 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15101] ppid=15094 vsize=28901464 memory=4872558044660077418 CPUtime=11.77 cores=0-7
/proc/15099/task/15101/stat : 15101 (java) S 15094 15097 14774 0 -1 1077944384 58509 0 0 0 1136 41 0 0 20 0 28 0 475370966 29595099136 131023 33554432000 4194304 4196468 140725717353952 140022493252368 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15102] ppid=15094 vsize=28901464 memory=523960 CPUtime=11.76 cores=0-7
/proc/15099/task/15102/stat : 15102 (java) S 15094 15097 14774 0 -1 1077944384 56518 0 0 0 1136 40 0 0 20 0 28 0 475370966 29595099136 131023 33554432000 4194304 4196468 140725717353952 140022492199824 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15103] ppid=15094 vsize=28901464 memory=55904 CPUtime=11.74 cores=0-7
/proc/15099/task/15103/stat : 15103 (java) S 15094 15097 14774 0 -1 1077944384 60582 0 0 0 1132 42 0 0 20 0 28 0 475370966 29595099136 131023 33554432000 4194304 4196468 140725717353952 140022491147280 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15104] ppid=15094 vsize=28901464 memory=2020 CPUtime=11.81 cores=0-7
/proc/15099/task/15104/stat : 15104 (java) S 15094 15097 14774 0 -1 1077944384 58421 0 0 0 1140 41 0 0 20 0 28 0 475370966 29595099136 131023 33554432000 4194304 4196468 140725717353952 140022490094736 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15105] ppid=15094 vsize=28901464 memory=988 CPUtime=11.72 cores=0-7
/proc/15099/task/15105/stat : 15105 (java) S 15094 15097 14774 0 -1 1077944384 59328 0 0 0 1129 43 0 0 20 0 28 0 475370966 29595099136 131023 33554432000 4194304 4196468 140725717353952 140022489041168 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15106] ppid=15094 vsize=28901464 memory=6791534058613427641 CPUtime=11.81 cores=0-7
/proc/15099/task/15106/stat : 15106 (java) S 15094 15097 14774 0 -1 1077944384 59993 0 0 0 1137 44 0 0 20 0 28 0 475370966 29595099136 131023 33554432000 4194304 4196468 140725717353952 140022487988624 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15107] ppid=15094 vsize=28901464 memory=288230583166042426 CPUtime=11.84 cores=0-7
/proc/15099/task/15107/stat : 15107 (java) S 15094 15097 14774 0 -1 1077944384 60737 0 0 0 1142 42 0 0 20 0 28 0 475370966 29595099136 131023 33554432000 4194304 4196468 140725717353952 140022486936080 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15108] ppid=15094 vsize=28901464 memory=13848568834296438 CPUtime=11.81 cores=0-7
/proc/15099/task/15108/stat : 15108 (java) S 15094 15097 14774 0 -1 1077944384 64593 0 0 0 1136 45 0 0 20 0 28 0 475370966 29595099136 131023 33554432000 4194304 4196468 140725717353952 140022485883536 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15109] ppid=15094 vsize=28901464 memory=523960 CPUtime=84.17 cores=0-7
/proc/15099/task/15109/stat : 15109 (java) R 15094 15097 14774 0 -1 4202560 146390 0 0 0 2893 5524 0 0 20 0 28 0 475370968 29595099136 131023 33554432000 4194304 4196468 140725717353952 140022057654904 140022934147815 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15110] ppid=15094 vsize=28901464 memory=13848568834296438 CPUtime=0 cores=0-7
/proc/15099/task/15110/stat : 15110 (java) S 15094 15097 14774 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 475370968 29595099136 131023 33554432000 4194304 4196468 140725717353952 140022056601056 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15111] ppid=15094 vsize=28901464 memory=12040 CPUtime=0 cores=0-7
/proc/15099/task/15111/stat : 15111 (java) S 15094 15097 14774 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 475370969 29595099136 131023 33554432000 4194304 4196468 140725717353952 140022055548416 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15112] ppid=15094 vsize=28901464 memory=2124 CPUtime=0 cores=0-7
/proc/15099/task/15112/stat : 15112 (java) S 15094 15097 14774 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 475370971 29595099136 131023 33554432000 4194304 4196468 140725717353952 140022054496032 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15113] ppid=15094 vsize=28901464 memory=30072 CPUtime=3.35 cores=0-7
/proc/15099/task/15113/stat : 15113 (java) S 15094 15097 14774 0 -1 1077944384 23680 0 0 0 329 6 0 0 20 0 28 0 475370971 29595099136 131023 33554432000 4194304 4196468 140725717353952 140022053443568 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15114] ppid=15094 vsize=28901464 memory=492 CPUtime=3.45 cores=0-7
/proc/15099/task/15114/stat : 15114 (java) S 15094 15097 14774 0 -1 1077944384 17649 0 0 0 343 2 0 0 20 0 28 0 475370971 29595099136 131023 33554432000 4194304 4196468 140725717353952 140022052391024 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15115] ppid=15094 vsize=28901464 memory=1560 CPUtime=3.22 cores=0-7
/proc/15099/task/15115/stat : 15115 (java) S 15094 15097 14774 0 -1 1077944384 23402 0 0 0 317 5 0 0 20 0 28 0 475370971 29595099136 131023 33554432000 4194304 4196468 140725717353952 140022051338480 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15116] ppid=15094 vsize=28901464 memory=932 CPUtime=1.14 cores=0-7
/proc/15099/task/15116/stat : 15116 (java) S 15094 15097 14774 0 -1 1077944384 17608 0 0 0 110 4 0 0 20 0 28 0 475370971 29595099136 131023 33554432000 4194304 4196468 140725717353952 140022050285936 140022941530754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15117] ppid=15094 vsize=28901464 memory=1636 CPUtime=0 cores=0-7
/proc/15099/task/15117/stat : 15117 (java) S 15094 15097 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475370971 29595099136 131023 33554432000 4194304 4196468 140725717353952 140022049233632 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15119] ppid=15094 vsize=28901464 memory=1436 CPUtime=2414.07 cores=0-7
/proc/15099/task/15119/stat : 15119 (java) S 15094 15097 14774 0 -1 1077944384 104748 0 0 0 241364 43 0 0 20 0 28 0 475371071 29595099136 131023 33554432000 4194304 4196468 140725717353952 140020981681200 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15120] ppid=15094 vsize=28901464 memory=880 CPUtime=2450.35 cores=0-7
/proc/15099/task/15120/stat : 15120 (java) S 15094 15097 14774 0 -1 1077944384 42048 0 0 0 245006 29 0 0 20 0 28 0 475371071 29595099136 131023 33554432000 4194304 4196468 140725717353952 140020980630144 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15121] ppid=15094 vsize=28901464 memory=6791534058613427641 CPUtime=2416.44 cores=0-7
/proc/15099/task/15121/stat : 15121 (java) S 15094 15097 14774 0 -1 1077944384 69125 0 0 0 241597 47 0 0 20 0 28 0 475371071 29595099136 131023 33554432000 4194304 4196468 140725717353952 140020979575888 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15122] ppid=15094 vsize=28901464 memory=7740114785261347944 CPUtime=2444.88 cores=0-7
/proc/15099/task/15122/stat : 15122 (java) R 15094 15097 14774 0 -1 4202560 23131 0 0 0 244458 30 0 0 20 0 28 0 475371071 29595099136 131023 33554432000 4194304 4196468 140725717353952 140020978523920 140022582117864 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15123] ppid=15094 vsize=28901464 memory=1804 CPUtime=2442.3 cores=0-7
/proc/15099/task/15123/stat : 15123 (java) S 15094 15097 14774 0 -1 1077944384 23308 0 0 0 244196 34 0 0 20 0 28 0 475371071 29595099136 131023 33554432000 4194304 4196468 140725717353952 140020977471488 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15124] ppid=15094 vsize=28901464 memory=916 CPUtime=2447.09 cores=0-7
/proc/15099/task/15124/stat : 15124 (java) S 15094 15097 14774 0 -1 1077944384 111127 0 0 0 244659 50 0 0 20 0 28 0 475371071 29595099136 131023 33554432000 4194304 4196468 140725717353952 140020976418944 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15125] ppid=15094 vsize=28901464 memory=1448 CPUtime=2415.58 cores=0-7
/proc/15099/task/15125/stat : 15125 (java) S 15094 15097 14774 0 -1 1077944384 69925 0 0 0 241514 44 0 0 20 0 28 0 475371071 29595099136 131023 33554432000 4194304 4196468 140725717353952 140020975366192 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15126] ppid=15094 vsize=28901464 memory=1448 CPUtime=2447.34 cores=0-7
/proc/15099/task/15126/stat : 15126 (java) R 15094 15097 14774 0 -1 4202560 17396 0 0 0 244706 28 0 0 20 0 28 0 475371071 29595099136 131023 33554432000 4194304 4196468 140725717353952 140020974313992 140022582118219 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
[pid=15099/tid=15351] ppid=15094 vsize=28901464 memory=523960 CPUtime=0 cores=0-7
/proc/15099/task/15351/stat : 15351 (java) S 15094 15097 14774 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 475622968 29595099136 131023 33554432000 4194304 4196468 140725717353952 140020973265648 140022941529813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21069824 140725717357526 140725717357702 140725717357702 140725717360591 0
Current cumulated CPU time of completed processes: 0.002427 s
Current children cumulated CPU time: 19669.8 s
Current children cumulated vsize: 28901464 KiB
Current children cumulated memory: 524092 KiB

Child status: 143
Real time (s): 2520.16
CPU time (s): 19669.9
CPU user time (s): 19608.3
CPU system time (s): 61.6005
CPU usage (%): 780.5
Max. virtual memory (cumulated for all children) (KiB): 28901464
Max. memory (cumulated for all children) (KiB): 760244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19608.3
system time used= 61.6005
maximum resident set size= 761360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1186036
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 222194
involuntary context switches= 218384


# summary of solver processes directly reported to runsolver:
#   pid: 15097,15099
#   total CPU time (s): 19669.9
#   total CPU user time (s): 19608.3
#   total CPU system time (s): 61.6005

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.6524 second user time and 29.1193 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-20 17:48:48
IDJOB=4404517
IDBENCH=120483
IDSOLVER=2865
FILE ID=node147/4404517-1568994572
RUNJOBID= node147-1568994352-14801
PBS_JOBID= 21704722
Free space on /var/tmp= 13508 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesT/StripPacking-T5c.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 /var/tmp/evaluation-result-4404517-1568994572/watcher-4404517-1568994572 -o /var/tmp/evaluation-result-4404517-1568994572/solver-4404517-1568994572 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1568994352-14801 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 661097027 HOME/instance-4404517-1568994572.xml

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

MD5SUM BENCH= 3657d2b4866232829f5e159967af0f72
RANDOM SEED=661097027

node147.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.52
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.52
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.52
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.52
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:        18878728 kB
MemAvailable:   31784412 kB
Buffers:          137440 kB
Cached:         12737860 kB
SwapCached:        68676 kB
Active:          5283828 kB
Inactive:        7662912 kB
Active(anon):       2936 kB
Inactive(anon):   117740 kB
Active(file):    5280892 kB
Inactive(file):  7545172 kB
Unevictable:      109112 kB
Mlocked:          109112 kB
SwapTotal:      67108860 kB
SwapFree:       66935844 kB
Dirty:             25944 kB
Writeback:             0 kB
AnonPages:        113012 kB
Mapped:            52328 kB
Shmem:             40796 kB
Slab:             536584 kB
SReclaimable:     508080 kB
SUnreclaim:        28504 kB
KernelStack:        3344 kB
PageTables:         5120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505772 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:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13484 MiB
End job on node147 at 2019-09-20 18:30:48