Trace number 4297755

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.7b par (e747e1e)? (TO) 20013.6 2520.11

General information on the benchmark

NameStripPacking/
StripPacking-N1c_c18.xml
MD5SUM19f4dcf35e46defaa68e633424c84ce1
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark31.4902
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints52
Number of domains19
Minimum domain size2
Maximum domain size200
Distribution of domain sizes[{"size":2,"count":51},{"size":200,"count":34}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":17},{"degree":2,"count":34},{"degree":3,"count":34}]
Minimum constraint arity2
Maximum constraint arity68
Distribution of constraint arities[{"arity":2,"count":34},{"arity":3,"count":17},{"arity":68,"count":1}]
Number of extensional constraints17
Number of intensional constraints34
Distribution of constraint types[{"type":"extension","count":17},{"type":"intension","count":34},{"type":"noOverlap","count":1}]
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-4297755-1532701522.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297755-1532701522.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.57/0.74	c solve instance...
20012.85/2520.09	s UNKNOWN
20012.85/2520.09	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 (13487 MiB free)
  memory of node 1: 16384 MiB (13994 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297755-1532701522/watcher-4297755-1532701522 -o /tmp/evaluation-result-4297755-1532701522/solver-4297755-1532701522 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532693957-10280 --watchdog 2580 HOME/xcsp3-exec -seed 471224912 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297755-1532701522.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=10999, runsolver pid=10996

[startup+0.100138 s]*
/proc/loadavg: 8.06 8.28 8.33 3/199 11020
/proc/meminfo: memFree=28124580/32770624 swapFree=67108436/67108860
[pid=10999] ppid=10996 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10999/stat : 10999 (xcsp3-exec) S 10996 10999 10253 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87715405 115843072 363 33554432000 4194304 5098028 140731812502336 140731812500440 140174872879740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28016640 140731812504630 140731812504832 140731812504832 140731812507594 0
/proc/10999/statm: 28282 363 306 221 0 87 0
[pid=11001] ppid=10999 vsize=26104152 memory=28448 CPUtime=0.11 cores=0-7
/proc/11001/stat : 11001 (java) S 10999 10999 10253 0 -1 1077944320 5532 0 0 0 10 1 0 0 20 0 20 0 87715405 26730651648 7112 33554432000 4194304 4196468 140735582703856 140735582686400 139752017755895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
/proc/11001/statm: 6526038 7112 3004 1 0 6488315 0
[pid=11001/tid=11002] ppid=10999 vsize=26104152 memory=7680214547666213527 CPUtime=0.09 cores=0-7
/proc/11001/task/11002/stat : 11002 (java) R 10999 10999 10253 0 -1 4202560 3549 0 0 0 8 1 0 0 20 0 20 0 87715406 26730651648 7112 33554432000 4194304 4196468 140735582703856 139752021979040 139752001799525 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11003] ppid=10999 vsize=26104152 memory=732370784785693669 CPUtime=0 cores=0-7
/proc/11001/task/11003/stat : 11003 (java) S 10999 10999 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87715407 26730651648 7112 33554432000 4194304 4196468 140735582703856 139751940336656 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11004] ppid=10999 vsize=26104152 memory=140646448240256 CPUtime=0 cores=0-7
/proc/11001/task/11004/stat : 11004 (java) S 10999 10999 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87715407 26730651648 7112 33554432000 4194304 4196468 140735582703856 139751939284112 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11005] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11005/stat : 11005 (java) S 10999 10999 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87715407 26730651648 7112 33554432000 4194304 4196468 140735582703856 139751938231056 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11006] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11006/stat : 11006 (java) S 10999 10999 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87715407 26730651648 7112 33554432000 4194304 4196468 140735582703856 139751937178512 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11007] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11007/stat : 11007 (java) S 10999 10999 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87715407 26730651648 7112 33554432000 4194304 4196468 140735582703856 139751936125456 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11008] ppid=10999 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/11001/task/11008/stat : 11008 (java) S 10999 10999 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87715407 26730651648 7112 33554432000 4194304 4196468 140735582703856 139751935072912 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11009] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11009/stat : 11009 (java) S 10999 10999 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87715407 26730651648 7112 33554432000 4194304 4196468 140735582703856 139751934019856 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11010] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11010/stat : 11010 (java) S 10999 10999 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87715407 26730651648 7112 33554432000 4194304 4196468 140735582703856 139751932967312 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11011] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11011/stat : 11011 (java) S 10999 10999 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87715408 26730651648 7112 33554432000 4194304 4196468 140735582703856 139751144319728 139752017767042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11012] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11012/stat : 11012 (java) S 10999 10999 10253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87715409 26730651648 7112 33554432000 4194304 4196468 140735582703856 139751143265952 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11013] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11013/stat : 11013 (java) S 10999 10999 10253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87715409 26730651648 7112 33554432000 4194304 4196468 140735582703856 139751142212848 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11014] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11014/stat : 11014 (java) S 10999 10999 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87715411 26730651648 7112 33554432000 4194304 4196468 140735582703856 139751141161424 139752017774491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11015] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11015/stat : 11015 (java) S 10999 10999 10253 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 87715411 26730651648 7112 33554432000 4194304 4196468 140735582703856 139751140108528 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11016] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11016/stat : 11016 (java) S 10999 10999 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87715411 26730651648 7112 33554432000 4194304 4196468 140735582703856 139751139055984 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11017] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11017/stat : 11017 (java) S 10999 10999 10253 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 87715411 26730651648 7112 33554432000 4194304 4196468 140735582703856 139751138002928 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11018] ppid=10999 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/11001/task/11018/stat : 11018 (java) R 10999 10999 10253 0 -1 4202560 249 0 0 0 1 0 0 0 20 0 20 0 87715411 26730651648 7112 33554432000 4194304 4196468 140735582703856 139751136950384 139752001836382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11019] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11019/stat : 11019 (java) S 10999 10999 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87715411 26730651648 7112 33554432000 4194304 4196468 140735582703856 139751135898592 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11020] ppid=10999 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/11001/task/11020/stat : 11020 (java) S 10999 10999 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87715412 26730651648 7112 33554432000 4194304 4196468 140735582703856 139751134846128 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29900 KiB

[startup+0.210647 s]*
/proc/loadavg: 8.06 8.28 8.33 2/199 11020
/proc/meminfo: memFree=28113012/32770624 swapFree=67108436/67108860
[pid=10999] ppid=10996 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10999/stat : 10999 (xcsp3-exec) S 10996 10999 10253 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87715405 115843072 363 33554432000 4194304 5098028 140731812502336 140731812500440 140174872879740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28016640 140731812504630 140731812504832 140731812504832 140731812507594 0
/proc/10999/statm: 28282 363 306 221 0 87 0
[pid=11001] ppid=10999 vsize=26104152 memory=40836 CPUtime=0.33 cores=0-7
/proc/11001/stat : 11001 (java) S 10999 10999 10253 0 -1 1077944320 8242 0 0 0 31 2 0 0 20 0 20 0 87715405 26730651648 10209 33554432000 4194304 4196468 140735582703856 140735582686400 139752017755895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
/proc/11001/statm: 6526038 10209 3187 1 0 6488315 0
[pid=11001/tid=11002] ppid=10999 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/11001/task/11002/stat : 11002 (java) R 10999 10999 10253 0 -1 4202560 5450 0 0 0 18 1 0 0 20 0 20 0 87715406 26730651648 10209 33554432000 4194304 4196468 140735582703856 139752021993712 139752017777821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11003] ppid=10999 vsize=26104152 memory=732370784785693669 CPUtime=0 cores=0-7
/proc/11001/task/11003/stat : 11003 (java) S 10999 10999 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87715407 26730651648 10209 33554432000 4194304 4196468 140735582703856 139751940336656 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11004] ppid=10999 vsize=26104152 memory=140646448240256 CPUtime=0 cores=0-7
/proc/11001/task/11004/stat : 11004 (java) S 10999 10999 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87715407 26730651648 10209 33554432000 4194304 4196468 140735582703856 139751939284112 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11005] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11005/stat : 11005 (java) S 10999 10999 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87715407 26730651648 10209 33554432000 4194304 4196468 140735582703856 139751938231056 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11006] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11006/stat : 11006 (java) S 10999 10999 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87715407 26730651648 10209 33554432000 4194304 4196468 140735582703856 139751937178512 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11007] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11007/stat : 11007 (java) S 10999 10999 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87715407 26730651648 10209 33554432000 4194304 4196468 140735582703856 139751936125456 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11008] ppid=10999 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/11001/task/11008/stat : 11008 (java) S 10999 10999 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87715407 26730651648 10209 33554432000 4194304 4196468 140735582703856 139751935072912 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11009] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11009/stat : 11009 (java) S 10999 10999 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87715407 26730651648 10209 33554432000 4194304 4196468 140735582703856 139751934019856 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11010] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11010/stat : 11010 (java) S 10999 10999 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87715407 26730651648 10209 33554432000 4194304 4196468 140735582703856 139751932967312 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11011] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11011/stat : 11011 (java) S 10999 10999 10253 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87715408 26730651648 10209 33554432000 4194304 4196468 140735582703856 139751144319728 139752017767042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11012] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11012/stat : 11012 (java) S 10999 10999 10253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87715409 26730651648 10209 33554432000 4194304 4196468 140735582703856 139751143265952 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11013] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11013/stat : 11013 (java) S 10999 10999 10253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87715409 26730651648 10209 33554432000 4194304 4196468 140735582703856 139751142212848 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11014] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11014/stat : 11014 (java) S 10999 10999 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87715411 26730651648 10209 33554432000 4194304 4196468 140735582703856 139751141161424 139752017774491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11015] ppid=10999 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/11001/task/11015/stat : 11015 (java) R 10999 10999 10253 0 -1 4202560 353 0 0 0 1 0 0 0 20 0 20 0 87715411 26730651648 10209 33554432000 4194304 4196468 140735582703856 139751140108528 139751997258824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11016] ppid=10999 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/11001/task/11016/stat : 11016 (java) S 10999 10999 10253 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 87715411 26730651648 10209 33554432000 4194304 4196468 140735582703856 139751139055984 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11017] ppid=10999 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/11001/task/11017/stat : 11017 (java) S 10999 10999 10253 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 20 0 87715411 26730651648 10209 33554432000 4194304 4196468 140735582703856 139751138002928 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11018] ppid=10999 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/11001/task/11018/stat : 11018 (java) S 10999 10999 10253 0 -1 1077944384 802 0 0 0 7 0 0 0 20 0 20 0 87715411 26730651648 10209 33554432000 4194304 4196468 140735582703856 139751136950384 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11019] ppid=10999 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11019/stat : 11019 (java) S 10999 10999 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87715411 26730651648 10209 33554432000 4194304 4196468 140735582703856 139751135898592 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11020] ppid=10999 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/11001/task/11020/stat : 11020 (java) S 10999 10999 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87715412 26730651648 10209 33554432000 4194304 4196468 140735582703856 139751134846128 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 42288 KiB

[startup+0.310633 s]*
/proc/loadavg: 8.06 8.28 8.33 3/199 11020
/proc/meminfo: memFree=28106552/32770624 swapFree=67108436/67108860
[pid=10999] ppid=10996 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10999/stat : 10999 (xcsp3-exec) S 10996 10999 10253 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87715405 115843072 363 33554432000 4194304 5098028 140731812502336 140731812500440 140174872879740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28016640 140731812504630 140731812504832 140731812504832 140731812507594 0
/proc/10999/statm: 28282 363 306 221 0 87 0
[pid=11001] ppid=10999 vsize=26108408 memory=47484 CPUtime=0.52 cores=0-7
/proc/11001/stat : 11001 (java) S 10999 10999 10253 0 -1 1077944320 9154 0 0 0 49 3 0 0 20 0 20 0 87715405 26735009792 11871 33554432000 4194304 4196468 140735582703856 140735582686400 139752017755895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
/proc/11001/statm: 6527102 11871 3224 1 0 6488315 0
[pid=11001/tid=11002] ppid=10999 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11001/task/11002/stat : 11002 (java) R 10999 10999 10253 0 -1 4202560 6122 0 0 0 27 2 0 0 20 0 20 0 87715406 26735009792 11871 33554432000 4194304 4196468 140735582703856 139752021989680 139752001836382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11003] ppid=10999 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11003/stat : 11003 (java) S 10999 10999 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87715407 26735009792 11871 33554432000 4194304 4196468 140735582703856 139751940336656 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11004] ppid=10999 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11004/stat : 11004 (java) S 10999 10999 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87715407 26735009792 11871 33554432000 4194304 4196468 140735582703856 139751939284112 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11005] ppid=10999 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11005/stat : 11005 (java) S 10999 10999 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87715407 26735009792 11871 33554432000 4194304 4196468 140735582703856 139751938231056 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11006] ppid=10999 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11006/stat : 11006 (java) S 10999 10999 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87715407 26735009792 11871 33554432000 4194304 4196468 140735582703856 139751937178512 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11007] ppid=10999 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/11001/task/11007/stat : 11007 (java) S 10999 10999 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87715407 26735009792 11871 33554432000 4194304 4196468 140735582703856 139751936125456 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11008] ppid=10999 vsize=26108408 memory=140646287504303 CPUtime=0 cores=0-7
/proc/11001/task/11008/stat : 11008 (java) S 10999 10999 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87715407 26735009792 11871 33554432000 4194304 4196468 140735582703856 139751935072912 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11009] ppid=10999 vsize=26108408 memory=140646287506608 CPUtime=0 cores=0-7
/proc/11001/task/11009/stat : 11009 (java) S 10999 10999 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87715407 26735009792 11871 33554432000 4194304 4196468 140735582703856 139751934019856 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11010] ppid=10999 vsize=26108408 memory=140646287508912 CPUtime=0 cores=0-7
/proc/11001/task/11010/stat : 11010 (java) S 10999 10999 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87715407 26735009792 11871 33554432000 4194304 4196468 140735582703856 139751932967312 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11011] ppid=10999 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11011/stat : 11011 (java) S 10999 10999 10253 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87715408 26735009792 11871 33554432000 4194304 4196468 140735582703856 139751144319728 139752017767042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11012] ppid=10999 vsize=26108408 memory=281292575024784 CPUtime=0 cores=0-7
/proc/11001/task/11012/stat : 11012 (java) S 10999 10999 10253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87715409 26735009792 11871 33554432000 4194304 4196468 140735582703856 139751143265952 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11013] ppid=10999 vsize=26108408 memory=281292575031696 CPUtime=0 cores=0-7
/proc/11001/task/11013/stat : 11013 (java) S 10999 10999 10253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87715409 26735009792 11871 33554432000 4194304 4196468 140735582703856 139751142212848 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11014] ppid=10999 vsize=26108408 memory=281292574972976 CPUtime=0 cores=0-7
/proc/11001/task/11014/stat : 11014 (java) S 10999 10999 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87715411 26735009792 11871 33554432000 4194304 4196468 140735582703856 139751141161424 139752017774491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11015] ppid=10999 vsize=26108408 memory=281292575045520 CPUtime=0.02 cores=0-7
/proc/11001/task/11015/stat : 11015 (java) R 10999 10999 10253 0 -1 4202560 444 0 0 0 2 0 0 0 20 0 20 0 87715411 26735009792 11871 33554432000 4194304 4196468 140735582703856 139751140089544 139752002863566 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11016] ppid=10999 vsize=26108408 memory=281292575052432 CPUtime=0.02 cores=0-7
/proc/11001/task/11016/stat : 11016 (java) S 10999 10999 10253 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 20 0 87715411 26735009792 11871 33554432000 4194304 4196468 140735582703856 139751139055984 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11017] ppid=10999 vsize=26108280 memory=281292575050128 CPUtime=0.03 cores=0-7
/proc/11001/task/11017/stat : 11017 (java) S 10999 10999 10253 0 -1 1077944384 230 0 0 0 3 0 0 0 20 0 20 0 87715411 26734878720 11927 33554432000 4194304 4196468 140735582703856 139751138002928 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11018] ppid=10999 vsize=26108408 memory=281292575066288 CPUtime=0.12 cores=0-7
/proc/11001/task/11018/stat : 11018 (java) S 10999 10999 10253 0 -1 1077944384 936 0 0 0 12 0 0 0 20 0 20 0 87715411 26735009792 11927 33554432000 4194304 4196468 140735582703856 139751136950384 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11019] ppid=10999 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/11001/task/11019/stat : 11019 (java) S 10999 10999 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87715411 26735009792 11927 33554432000 4194304 4196468 140735582703856 139751135898592 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11020] ppid=10999 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/11001/task/11020/stat : 11020 (java) S 10999 10999 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87715412 26735009792 11927 33554432000 4194304 4196468 140735582703856 139751134846128 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48936 KiB

[startup+0.700965 s]
/proc/loadavg: 8.06 8.28 8.33 5/199 11020
/proc/meminfo: memFree=28087232/32770624 swapFree=67108436/67108860
[pid=10999] ppid=10996 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10999/stat : 10999 (xcsp3-exec) S 10996 10999 10253 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87715405 115843072 363 33554432000 4194304 5098028 140731812502336 140731812500440 140174872879740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28016640 140731812504630 140731812504832 140731812504832 140731812507594 0
/proc/10999/statm: 28282 363 306 221 0 87 0
[pid=11001] ppid=10999 vsize=26110532 memory=83864 CPUtime=1.57 cores=0-7
/proc/11001/stat : 11001 (java) S 10999 10999 10253 0 -1 1077944320 13170 0 0 0 151 6 0 0 20 0 20 0 87715405 26737184768 20966 33554432000 4194304 4196468 140735582703856 140735582686400 139752017755895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
/proc/11001/statm: 6527633 20966 3356 1 0 6488827 0
[pid=11001/tid=11002] ppid=10999 vsize=26110532 memory=281292575361216 CPUtime=0.67 cores=0-7
/proc/11001/task/11002/stat : 11002 (java) R 10999 10999 10253 0 -1 4202560 7203 0 0 0 64 3 0 0 20 0 20 0 87715406 26737184768 20966 33554432000 4194304 4196468 140735582703856 139752021993936 139752000931500 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11003] ppid=10999 vsize=26110532 memory=5752 CPUtime=0 cores=0-7
/proc/11001/task/11003/stat : 11003 (java) S 10999 10999 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87715407 26737184768 20966 33554432000 4194304 4196468 140735582703856 139751940336656 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11004] ppid=10999 vsize=26110532 memory=4588 CPUtime=0 cores=0-7
/proc/11001/task/11004/stat : 11004 (java) S 10999 10999 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87715407 26737184768 20966 33554432000 4194304 4196468 140735582703856 139751939284112 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11005] ppid=10999 vsize=26110532 memory=1612 CPUtime=0 cores=0-7
/proc/11001/task/11005/stat : 11005 (java) S 10999 10999 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87715407 26737184768 20966 33554432000 4194304 4196468 140735582703856 139751938231056 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0

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

[pid=11001/tid=11028] ppid=10999 vsize=26645092 memory=25472 CPUtime=2405.82 cores=0-7
/proc/11001/task/11028/stat : 11028 (java) R 10999 10999 10253 0 -1 4202560 40461 0 0 0 240561 21 0 0 20 0 28 0 87715481 27284574208 175749 33554432000 4194304 4196468 140735582703856 139751048838752 139752017777242 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
Current children cumulated CPU time: 19395.1 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 705488 KiB

[startup+2502.3 s]
/proc/loadavg: 8.29 8.31 8.30 9/207 11085
/proc/meminfo: memFree=27405164/32770624 swapFree=67108436/67108860
[pid=10999] ppid=10996 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10999/stat : 10999 (xcsp3-exec) S 10996 10999 10253 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87715405 115843072 363 33554432000 4194304 5098028 140731812502336 140731812500440 140174872879740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28016640 140731812504630 140731812504832 140731812504832 140731812507594 0
/proc/10999/statm: 28282 363 306 221 0 87 0
[pid=11001] ppid=10999 vsize=26645092 memory=747320 CPUtime=19872.1 cores=0-7
/proc/11001/stat : 11001 (java) S 10999 10999 10253 0 -1 1077944320 1021507 0 0 0 1985736 1476 0 0 20 0 28 0 87715405 27284574208 186830 33554432000 4194304 4196468 140735582703856 140735582686400 139752017755895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
/proc/11001/statm: 6661273 186830 3451 1 0 6622467 0
[pid=11001/tid=11002] ppid=10999 vsize=26645092 memory=743128 CPUtime=0.72 cores=0-7
/proc/11001/task/11002/stat : 11002 (java) S 10999 10999 10253 0 -1 1077944384 7284 0 0 0 69 3 0 0 20 0 28 0 87715406 27284574208 186830 33554432000 4194304 4196468 140735582703856 139752021996672 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11003] ppid=10999 vsize=26645092 memory=3689046449111710514 CPUtime=17.63 cores=0-7
/proc/11001/task/11003/stat : 11003 (java) S 10999 10999 10253 0 -1 1077944384 42238 0 0 0 1692 71 0 0 20 0 28 0 87715407 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751940336656 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11004] ppid=10999 vsize=26645092 memory=1762 CPUtime=17.64 cores=0-7
/proc/11001/task/11004/stat : 11004 (java) S 10999 10999 10253 0 -1 1077944384 40923 0 0 0 1697 67 0 0 20 0 28 0 87715407 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751939284112 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11005] ppid=10999 vsize=26645092 memory=1452 CPUtime=17.54 cores=0-7
/proc/11001/task/11005/stat : 11005 (java) S 10999 10999 10253 0 -1 1077944384 42777 0 0 0 1681 73 0 0 20 0 28 0 87715407 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751938231056 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11006] ppid=10999 vsize=26645092 memory=1452 CPUtime=17.62 cores=0-7
/proc/11001/task/11006/stat : 11006 (java) S 10999 10999 10253 0 -1 1077944384 38198 0 0 0 1690 72 0 0 20 0 28 0 87715407 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751937178512 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11007] ppid=10999 vsize=26645092 memory=718476 CPUtime=17.68 cores=0-7
/proc/11001/task/11007/stat : 11007 (java) S 10999 10999 10253 0 -1 1077944384 43261 0 0 0 1692 76 0 0 20 0 28 0 87715407 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751936125456 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11008] ppid=10999 vsize=26645092 memory=4140 CPUtime=17.5 cores=0-7
/proc/11001/task/11008/stat : 11008 (java) S 10999 10999 10253 0 -1 1077944384 46455 0 0 0 1678 72 0 0 20 0 28 0 87715407 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751935072912 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11009] ppid=10999 vsize=26645092 memory=1452 CPUtime=17.56 cores=0-7
/proc/11001/task/11009/stat : 11009 (java) S 10999 10999 10253 0 -1 1077944384 48319 0 0 0 1686 70 0 0 20 0 28 0 87715407 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751934019856 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11010] ppid=10999 vsize=26645092 memory=681460 CPUtime=17.6 cores=0-7
/proc/11001/task/11010/stat : 11010 (java) S 10999 10999 10253 0 -1 1077944384 52640 0 0 0 1689 71 0 0 20 0 28 0 87715407 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751932967312 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11011] ppid=10999 vsize=26645092 memory=1452 CPUtime=10.76 cores=0-7
/proc/11001/task/11011/stat : 11011 (java) S 10999 10999 10253 0 -1 1077944384 75961 0 0 0 447 629 0 0 20 0 28 0 87715408 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751144319728 139752017767042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11012] ppid=10999 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/11001/task/11012/stat : 11012 (java) S 10999 10999 10253 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 87715409 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751143266016 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11013] ppid=10999 vsize=26645092 memory=281292575675200 CPUtime=0 cores=0-7
/proc/11001/task/11013/stat : 11013 (java) S 10999 10999 10253 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 87715409 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751142212864 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11014] ppid=10999 vsize=26645092 memory=7451312667359401577 CPUtime=0 cores=0-7
/proc/11001/task/11014/stat : 11014 (java) S 10999 10999 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87715411 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751141161424 139752017774491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11015] ppid=10999 vsize=26645092 memory=72 CPUtime=3.37 cores=0-7
/proc/11001/task/11015/stat : 11015 (java) S 10999 10999 10253 0 -1 1077944384 19575 0 0 0 333 4 0 0 20 0 28 0 87715411 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751140108528 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11016] ppid=10999 vsize=26645092 memory=1608 CPUtime=3.43 cores=0-7
/proc/11001/task/11016/stat : 11016 (java) S 10999 10999 10253 0 -1 1077944384 18469 0 0 0 338 5 0 0 20 0 28 0 87715411 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751139055984 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11017] ppid=10999 vsize=26645092 memory=1612 CPUtime=3.27 cores=0-7
/proc/11001/task/11017/stat : 11017 (java) S 10999 10999 10253 0 -1 1077944384 23483 0 0 0 323 4 0 0 20 0 28 0 87715411 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751138002928 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11018] ppid=10999 vsize=26645092 memory=1228 CPUtime=0.88 cores=0-7
/proc/11001/task/11018/stat : 11018 (java) S 10999 10999 10253 0 -1 1077944384 14186 0 0 0 86 2 0 0 20 0 28 0 87715411 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751136950384 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11019] ppid=10999 vsize=26645092 memory=1852 CPUtime=0 cores=0-7
/proc/11001/task/11019/stat : 11019 (java) S 10999 10999 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87715411 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751135898592 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11020] ppid=10999 vsize=26645092 memory=1784 CPUtime=0.63 cores=0-7
/proc/11001/task/11020/stat : 11020 (java) S 10999 10999 10253 0 -1 1077944384 4847 0 0 0 21 42 0 0 20 0 28 0 87715412 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751134846128 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11021] ppid=10999 vsize=26645092 memory=5752 CPUtime=2464.29 cores=0-7
/proc/11001/task/11021/stat : 11021 (java) R 10999 10999 10253 0 -1 4202560 33166 0 0 0 246400 29 0 0 20 0 28 0 87715480 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751124151560 139751616652664 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11022] ppid=10999 vsize=26645092 memory=4140 CPUtime=2460.47 cores=0-7
/proc/11001/task/11022/stat : 11022 (java) R 10999 10999 10253 0 -1 4202560 51115 0 0 0 246013 34 0 0 20 0 28 0 87715481 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751055151880 139751617045064 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11023] ppid=10999 vsize=26645092 memory=1452 CPUtime=2464.67 cores=0-7
/proc/11001/task/11023/stat : 11023 (java) R 10999 10999 10253 0 -1 4202560 63564 0 0 0 246433 34 0 0 20 0 28 0 87715481 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751054099032 139751617630717 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11024] ppid=10999 vsize=26645092 memory=747320 CPUtime=2460.99 cores=0-7
/proc/11001/task/11024/stat : 11024 (java) R 10999 10999 10253 0 -1 4202560 91056 0 0 0 246054 45 0 0 20 0 28 0 87715481 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751053045992 139751619739194 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11025] ppid=10999 vsize=26645092 memory=2244 CPUtime=2460.11 cores=0-7
/proc/11001/task/11025/stat : 11025 (java) R 10999 10999 10253 0 -1 4202560 64185 0 0 0 245979 32 0 0 20 0 28 0 87715481 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751051992560 139751616864726 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11026] ppid=10999 vsize=26645092 memory=4132 CPUtime=2467.18 cores=0-7
/proc/11001/task/11026/stat : 11026 (java) R 10999 10999 10253 0 -1 4202560 98324 0 0 0 246670 48 0 0 20 0 28 0 87715481 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751050943104 139751619528545 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11027] ppid=10999 vsize=26645092 memory=2200 CPUtime=2465.3 cores=0-7
/proc/11001/task/11027/stat : 11027 (java) R 10999 10999 10253 0 -1 4202560 58660 0 0 0 246504 26 0 0 20 0 28 0 87715481 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751049888376 139751618116976 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11028] ppid=10999 vsize=26645092 memory=7532 CPUtime=2465.05 cores=0-7
/proc/11001/task/11028/stat : 11028 (java) R 10999 10999 10253 0 -1 4202560 41471 0 0 0 246484 21 0 0 20 0 28 0 87715481 27284574208 186830 33554432000 4194304 4196468 140735582703856 139751048835368 139751614065152 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
Current children cumulated CPU time: 19872.1 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 748772 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.22 8.30 8.30 9/207 11085
/proc/meminfo: memFree=27351632/32770624 swapFree=67108436/67108860
[pid=10999] ppid=10996 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10999/stat : 10999 (xcsp3-exec) S 10996 10999 10253 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87715405 115843072 363 33554432000 4194304 5098028 140731812502336 140731812500440 140174872879740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28016640 140731812504630 140731812504832 140731812504832 140731812507594 0
/proc/10999/statm: 28282 363 306 221 0 87 0
[pid=11001] ppid=10999 vsize=26645092 memory=799476 CPUtime=20012.8 cores=0-7
/proc/11001/stat : 11001 (java) S 10999 10999 10253 0 -1 1077944320 1032194 0 0 0 1999791 1494 0 0 20 0 28 0 87715405 27284574208 199869 33554432000 4194304 4196468 140735582703856 140735582686400 139752017755895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
/proc/11001/statm: 6661273 199869 3451 1 0 6622467 0
[pid=11001/tid=11002] ppid=10999 vsize=26645092 memory=6791534058613427641 CPUtime=0.72 cores=0-7
/proc/11001/task/11002/stat : 11002 (java) S 10999 10999 10253 0 -1 1077944384 7284 0 0 0 69 3 0 0 20 0 28 0 87715406 27284574208 199869 33554432000 4194304 4196468 140735582703856 139752021996672 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11003] ppid=10999 vsize=26645092 memory=-7003737579269690708 CPUtime=17.71 cores=0-7
/proc/11001/task/11003/stat : 11003 (java) S 10999 10999 10253 0 -1 1077944384 42369 0 0 0 1699 72 0 0 20 0 28 0 87715407 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751940336656 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11004] ppid=10999 vsize=26645092 memory=8064 CPUtime=17.72 cores=0-7
/proc/11001/task/11004/stat : 11004 (java) S 10999 10999 10253 0 -1 1077944384 41045 0 0 0 1704 68 0 0 20 0 28 0 87715407 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751939284112 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11005] ppid=10999 vsize=26645092 memory=11648 CPUtime=17.63 cores=0-7
/proc/11001/task/11005/stat : 11005 (java) S 10999 10999 10253 0 -1 1077944384 43053 0 0 0 1689 74 0 0 20 0 28 0 87715407 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751938231056 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11006] ppid=10999 vsize=26645092 memory=796 CPUtime=17.71 cores=0-7
/proc/11001/task/11006/stat : 11006 (java) S 10999 10999 10253 0 -1 1077944384 38272 0 0 0 1698 73 0 0 20 0 28 0 87715407 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751937178512 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11007] ppid=10999 vsize=26645092 memory=1388 CPUtime=17.77 cores=0-7
/proc/11001/task/11007/stat : 11007 (java) S 10999 10999 10253 0 -1 1077944384 43316 0 0 0 1700 77 0 0 20 0 28 0 87715407 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751936125456 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11008] ppid=10999 vsize=26645092 memory=1136 CPUtime=17.58 cores=0-7
/proc/11001/task/11008/stat : 11008 (java) S 10999 10999 10253 0 -1 1077944384 46695 0 0 0 1685 73 0 0 20 0 28 0 87715407 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751935072912 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11009] ppid=10999 vsize=26645092 memory=1452 CPUtime=17.64 cores=0-7
/proc/11001/task/11009/stat : 11009 (java) S 10999 10999 10253 0 -1 1077944384 48359 0 0 0 1693 71 0 0 20 0 28 0 87715407 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751934019856 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11010] ppid=10999 vsize=26645092 memory=799476 CPUtime=17.67 cores=0-7
/proc/11001/task/11010/stat : 11010 (java) S 10999 10999 10253 0 -1 1077944384 53513 0 0 0 1695 72 0 0 20 0 28 0 87715407 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751932967312 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11011] ppid=10999 vsize=26645092 memory=1452 CPUtime=10.84 cores=0-7
/proc/11001/task/11011/stat : 11011 (java) S 10999 10999 10253 0 -1 1077944384 76158 0 0 0 449 635 0 0 20 0 28 0 87715408 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751144319728 139752017767042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11012] ppid=10999 vsize=26645092 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/11001/task/11012/stat : 11012 (java) S 10999 10999 10253 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 87715409 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751143266016 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11013] ppid=10999 vsize=26645092 memory=303430244793319739 CPUtime=0 cores=0-7
/proc/11001/task/11013/stat : 11013 (java) S 10999 10999 10253 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 87715409 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751142212864 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11014] ppid=10999 vsize=26645092 memory=15823295995971307 CPUtime=0 cores=0-7
/proc/11001/task/11014/stat : 11014 (java) S 10999 10999 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87715411 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751141161424 139752017774491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11015] ppid=10999 vsize=26645092 memory=4140 CPUtime=3.37 cores=0-7
/proc/11001/task/11015/stat : 11015 (java) S 10999 10999 10253 0 -1 1077944384 19579 0 0 0 333 4 0 0 20 0 28 0 87715411 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751140108528 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11016] ppid=10999 vsize=26645092 memory=25472 CPUtime=3.43 cores=0-7
/proc/11001/task/11016/stat : 11016 (java) S 10999 10999 10253 0 -1 1077944384 18473 0 0 0 338 5 0 0 20 0 28 0 87715411 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751139055984 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11017] ppid=10999 vsize=26645092 memory=1296 CPUtime=3.27 cores=0-7
/proc/11001/task/11017/stat : 11017 (java) S 10999 10999 10253 0 -1 1077944384 23487 0 0 0 323 4 0 0 20 0 28 0 87715411 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751138002928 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11018] ppid=10999 vsize=26645092 memory=140646289051473 CPUtime=0.88 cores=0-7
/proc/11001/task/11018/stat : 11018 (java) S 10999 10999 10253 0 -1 1077944384 14190 0 0 0 86 2 0 0 20 0 28 0 87715411 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751136950384 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11019] ppid=10999 vsize=26645092 memory=-2748367524519556131 CPUtime=0 cores=0-7
/proc/11001/task/11019/stat : 11019 (java) S 10999 10999 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87715411 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751135898592 139752017766101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11020] ppid=10999 vsize=26645092 memory=5752 CPUtime=0.64 cores=0-7
/proc/11001/task/11020/stat : 11020 (java) S 10999 10999 10253 0 -1 1077944384 4875 0 0 0 21 43 0 0 20 0 28 0 87715412 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751134846128 139752017767042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 44 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11021] ppid=10999 vsize=26645092 memory=4588 CPUtime=2481.61 cores=0-7
/proc/11001/task/11021/stat : 11021 (java) R 10999 10999 10253 0 -1 4202560 33652 0 0 0 248131 30 0 0 20 0 28 0 87715480 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751124151464 139751617860149 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11022] ppid=10999 vsize=26645092 memory=1612 CPUtime=2478.01 cores=0-7
/proc/11001/task/11022/stat : 11022 (java) R 10999 10999 10253 0 -1 4202560 52002 0 0 0 247767 34 0 0 20 0 28 0 87715481 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751055151960 139751616473764 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11023] ppid=10999 vsize=26645092 memory=-3622645143214314312 CPUtime=2482.13 cores=0-7
/proc/11001/task/11023/stat : 11023 (java) R 10999 10999 10253 0 -1 4202560 65245 0 0 0 248177 36 0 0 20 0 28 0 87715481 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751054098376 139751618363473 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11024] ppid=10999 vsize=26645092 memory=636 CPUtime=2478.46 cores=0-7
/proc/11001/task/11024/stat : 11024 (java) R 10999 10999 10253 0 -1 4202560 92478 0 0 0 247800 46 0 0 20 0 28 0 87715481 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751053048624 139751616473592 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11025] ppid=10999 vsize=26645092 memory=1780 CPUtime=2477.65 cores=0-7
/proc/11001/task/11025/stat : 11025 (java) R 10999 10999 10253 0 -1 4202560 65462 0 0 0 247733 32 0 0 20 0 28 0 87715481 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751051992744 139751618729240 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11026] ppid=10999 vsize=26645092 memory=1236 CPUtime=2484.78 cores=0-7
/proc/11001/task/11026/stat : 11026 (java) R 10999 10999 10253 0 -1 4202560 99599 0 0 0 248429 49 0 0 20 0 28 0 87715481 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751050940064 139751618219609 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11027] ppid=10999 vsize=26645092 memory=960 CPUtime=2482.85 cores=0-7
/proc/11001/task/11027/stat : 11027 (java) R 10999 10999 10253 0 -1 4202560 59439 0 0 0 248259 26 0 0 20 0 28 0 87715481 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751049887528 139751616472958 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
[pid=11001/tid=11028] ppid=10999 vsize=26645092 memory=6504 CPUtime=2482.59 cores=0-7
/proc/11001/task/11028/stat : 11028 (java) R 10999 10999 10253 0 -1 4202560 42299 0 0 0 248238 21 0 0 20 0 28 0 87715481 27284574208 199869 33554432000 4194304 4196468 140735582703856 139751048835864 139751617275276 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 10342400 140735582712961 140735582713133 140735582713133 140735582715855 0
Current children cumulated CPU time: 20012.8 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 800928 KiB

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

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

[startup+2520.11 s]
# the end of solver process 11001 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19998.7 s, system=14.9582 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.11
CPU time (s): 20013.6
CPU user time (s): 19998.7
CPU system time (s): 14.9582
CPU usage (%): 794.156
Max. virtual memory (cumulated for all children) (KiB): 26762128
Max. memory (cumulated for all children) (KiB): 939408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19998.7
system time used= 14.9582
maximum resident set size= 954440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1032998
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 150446
involuntary context switches= 207745


# summary of solver processes directly reported to runsolver:
#   pid: 10999,11001
#   total CPU time (s): 20013.6
#   total CPU user time (s): 19998.7
#   total CPU system time (s): 14.9582

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.017 second user time and 27.8751 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-27 16:25:22
IDJOB=4297755
IDBENCH=141133
IDSOLVER=2760
FILE ID=node137/4297755-1532701522
RUNJOBID= node137-1532693957-10280
PBS_JOBID= 21022285
Free space on /tmp= 48160 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/StripPacking/StripPacking-N1c_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297755-1532701522/watcher-4297755-1532701522 -o /tmp/evaluation-result-4297755-1532701522/solver-4297755-1532701522 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532693957-10280 --watchdog 2580  HOME/xcsp3-exec -seed 471224912 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297755-1532701522.xml

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

MD5SUM BENCH= 19f4dcf35e46defaa68e633424c84ce1
RANDOM SEED=471224912

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28141768 kB
MemAvailable:   31929948 kB
Buffers:          151160 kB
Cached:          3871552 kB
SwapCached:           32 kB
Active:          1793652 kB
Inactive:        2285960 kB
Active(anon):       4324 kB
Inactive(anon):    80068 kB
Active(file):    1789328 kB
Inactive(file):  2205892 kB
Unevictable:        7424 kB
Mlocked:            7424 kB
SwapTotal:      67108860 kB
SwapFree:       67108436 kB
Dirty:             21864 kB
Writeback:             4 kB
AnonPages:         63572 kB
Mapped:            39648 kB
Shmem:             25052 kB
Slab:             244580 kB
SReclaimable:     217588 kB
SUnreclaim:        26992 kB
KernelStack:        3216 kB
PageTables:         5028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48136 MiB
End job on node137 at 2018-07-27 17:07:23