Trace number 4399599

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-16 parallel? (TO) 20046.9 2520.08

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07h-6_X2.xml
MD5SUM43dd96c97b3ff33ff7a4c42b6a5606ab
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark169.632
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Number of domains4
Minimum domain size1
Maximum domain size28
Distribution of domain sizes[{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}]
Minimum variable degree0
Maximum variable degree56
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1262}]
Number of extensional constraints1262
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1262}]
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-4399599-1568708917.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399599-1568708917.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
3.03/1.04	c solve instance...
20046.43/2520.06	s UNKNOWN
20046.43/2520.06	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 (14611 MiB free)
  memory of node 1: 16384 MiB (15752 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399599-1568708917/watcher-4399599-1568708917 -o /tmp/evaluation-result-4399599-1568708917/solver-4399599-1568708917 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568702605-24310 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1175215189 HOME/instance-4399599-1568708917.xml 

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

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


[startup+0.100137 s]*
/proc/loadavg: 8.22 8.07 8.06 2/210 25249
/proc/meminfo: memFree=31076056/32770624 swapFree=66922804/67108860
[pid=25228] ppid=25225 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/25228/stat : 25228 (xcsp3-exec) S 25225 25228 24283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447160537 115843072 364 33554432000 4194304 5098028 140723562948688 140723562946792 140651472171644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28082176 140723562955637 140723562955881 140723562955881 140723562958794 0
/proc/25228/statm: 28282 364 305 221 0 87 0
[pid=25230] ppid=25228 vsize=28227396 memory=29172 CPUtime=0.12 cores=0-7
/proc/25230/stat : 25230 (java) S 25228 25228 24283 0 -1 1077944320 5692 0 0 0 12 0 0 0 20 0 20 0 447160537 28904853504 7293 33554432000 4194304 4196468 140732750610992 140732750593536 139681683648247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
/proc/25230/statm: 7056849 7293 3147 1 0 7019032 0
[pid=25230/tid=25231] ppid=25228 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/25230/task/25231/stat : 25231 (java) R 25228 25228 24283 0 -1 4202560 3603 0 0 0 9 0 0 0 20 0 20 0 447160537 28904853504 7293 33554432000 4194304 4196468 140732750610992 139681687881520 139681683660182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25232] ppid=25228 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25230/task/25232/stat : 25232 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160538 28904853504 7293 33554432000 4194304 4196468 140732750610992 139681603500432 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25233] ppid=25228 vsize=28227396 memory=140707178714752 CPUtime=0 cores=0-7
/proc/25230/task/25233/stat : 25233 (java) S 25228 25228 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447160538 28904853504 7293 33554432000 4194304 4196468 140732750610992 139681602447632 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25234] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25234/stat : 25234 (java) S 25228 25228 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447160538 28904853504 7293 33554432000 4194304 4196468 140732750610992 139681601395344 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25235] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25235/stat : 25235 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160538 28904853504 7293 33554432000 4194304 4196468 140732750610992 139681600342544 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25236] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25236/stat : 25236 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160538 28904853504 7293 33554432000 4194304 4196468 140732750610992 139681599290256 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25237] ppid=25228 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25230/task/25237/stat : 25237 (java) S 25228 25228 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447160538 28904853504 7293 33554432000 4194304 4196468 140732750610992 139681229560592 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25238] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25238/stat : 25238 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160538 28904853504 7293 33554432000 4194304 4196468 140732750610992 139681228508304 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25239] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25239/stat : 25239 (java) S 25228 25228 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447160538 28904853504 7293 33554432000 4194304 4196468 140732750610992 139681227455504 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25240] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25240/stat : 25240 (java) S 25228 25228 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447160540 28904853504 7293 33554432000 4194304 4196468 140732750610992 139680349202544 139681683659394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25241] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25241/stat : 25241 (java) S 25228 25228 24283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447160540 28904853504 7293 33554432000 4194304 4196468 140732750610992 139680348148512 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25242] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25242/stat : 25242 (java) S 25228 25228 24283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447160540 28904853504 7293 33554432000 4194304 4196468 140732750610992 139680347096176 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25243] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25243/stat : 25243 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160543 28904853504 7293 33554432000 4194304 4196468 140732750610992 139680346044496 139681683666843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25244] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25244/stat : 25244 (java) S 25228 25228 24283 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 447160543 28904853504 7293 33554432000 4194304 4196468 140732750610992 139680344992368 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25245] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25245/stat : 25245 (java) S 25228 25228 24283 0 -1 1077944384 400 0 0 0 0 0 0 0 20 0 20 0 447160543 28904853504 7293 33554432000 4194304 4196468 140732750610992 139680343939568 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25246] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25246/stat : 25246 (java) S 25228 25228 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447160543 28904853504 7293 33554432000 4194304 4196468 140732750610992 139680342887280 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25247] ppid=25228 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/25230/task/25247/stat : 25247 (java) R 25228 25228 24283 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 20 0 447160543 28904853504 7293 33554432000 4194304 4196468 140732750610992 139680341834480 139681683660182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25248] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25248/stat : 25248 (java) S 25228 25228 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447160543 28904853504 7293 33554432000 4194304 4196468 140732750610992 139680340781408 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25249] ppid=25228 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25230/task/25249/stat : 25249 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160543 28904853504 7293 33554432000 4194304 4196468 140732750610992 139680339728688 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30628 KiB

[startup+0.210407 s]*
/proc/loadavg: 8.22 8.07 8.06 3/210 25249
/proc/meminfo: memFree=31062828/32770624 swapFree=66922804/67108860
[pid=25228] ppid=25225 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/25228/stat : 25228 (xcsp3-exec) S 25225 25228 24283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447160537 115843072 364 33554432000 4194304 5098028 140723562948688 140723562946792 140651472171644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28082176 140723562955637 140723562955881 140723562955881 140723562958794 0
/proc/25228/statm: 28282 364 305 221 0 87 0
[pid=25230] ppid=25228 vsize=28227396 memory=40940 CPUtime=0.34 cores=0-7
/proc/25230/stat : 25230 (java) S 25228 25228 24283 0 -1 1077944320 9502 0 0 0 32 2 0 0 20 0 20 0 447160537 28904853504 10235 33554432000 4194304 4196468 140732750610992 140732750593536 139681683648247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
/proc/25230/statm: 7056849 10235 3267 1 0 7019032 0
[pid=25230/tid=25231] ppid=25228 vsize=28227396 memory=29681743523217448 CPUtime=0.19 cores=0-7
/proc/25230/task/25231/stat : 25231 (java) R 25228 25228 24283 0 -1 4202560 6632 0 0 0 18 1 0 0 20 0 20 0 447160537 28904853504 10235 33554432000 4194304 4196468 140732750610992 139681687877968 139681278799506 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25232] ppid=25228 vsize=28227396 memory=288230587528118625 CPUtime=0 cores=0-7
/proc/25230/task/25232/stat : 25232 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160538 28904853504 10235 33554432000 4194304 4196468 140732750610992 139681603500432 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25233] ppid=25228 vsize=28227396 memory=288371083330426496 CPUtime=0 cores=0-7
/proc/25230/task/25233/stat : 25233 (java) S 25228 25228 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447160538 28904853504 10235 33554432000 4194304 4196468 140732750610992 139681602447632 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25234] ppid=25228 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25230/task/25234/stat : 25234 (java) S 25228 25228 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447160538 28904853504 10235 33554432000 4194304 4196468 140732750610992 139681601395344 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25235] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25235/stat : 25235 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160538 28904853504 10235 33554432000 4194304 4196468 140732750610992 139681600342544 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25236] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25236/stat : 25236 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160538 28904853504 10235 33554432000 4194304 4196468 140732750610992 139681599290256 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25237] ppid=25228 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25230/task/25237/stat : 25237 (java) S 25228 25228 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447160538 28904853504 10235 33554432000 4194304 4196468 140732750610992 139681229560592 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25238] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25238/stat : 25238 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160538 28904853504 10235 33554432000 4194304 4196468 140732750610992 139681228508304 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25239] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25239/stat : 25239 (java) S 25228 25228 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447160538 28904853504 10235 33554432000 4194304 4196468 140732750610992 139681227455504 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25240] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25240/stat : 25240 (java) S 25228 25228 24283 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447160540 28904853504 10235 33554432000 4194304 4196468 140732750610992 139680349202544 139681683659394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25241] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25241/stat : 25241 (java) S 25228 25228 24283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447160540 28904853504 10235 33554432000 4194304 4196468 140732750610992 139680348148512 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25242] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25242/stat : 25242 (java) S 25228 25228 24283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447160540 28904853504 10235 33554432000 4194304 4196468 140732750610992 139680347096176 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25243] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25243/stat : 25243 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160543 28904853504 10235 33554432000 4194304 4196468 140732750610992 139680346044496 139681683666843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25244] ppid=25228 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/25230/task/25244/stat : 25244 (java) S 25228 25228 24283 0 -1 1077944384 124 0 0 0 1 0 0 0 20 0 20 0 447160543 28904853504 10235 33554432000 4194304 4196468 140732750610992 139680344992368 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25245] ppid=25228 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/25230/task/25245/stat : 25245 (java) R 25228 25228 24283 0 -1 1077944384 455 0 0 0 1 0 0 0 20 0 20 0 447160543 28904853504 10235 33554432000 4194304 4196468 140732750610992 139680343939568 139681683659394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25246] ppid=25228 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/25230/task/25246/stat : 25246 (java) S 25228 25228 24283 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 20 0 447160543 28904853504 10235 33554432000 4194304 4196468 140732750610992 139680342887280 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25247] ppid=25228 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/25230/task/25247/stat : 25247 (java) R 25228 25228 24283 0 -1 4202560 771 0 0 0 8 0 0 0 20 0 20 0 447160543 28904853504 10235 33554432000 4194304 4196468 140732750610992 139680341834288 139681675885374 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25248] ppid=25228 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25248/stat : 25248 (java) S 25228 25228 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447160543 28904853504 10235 33554432000 4194304 4196468 140732750610992 139680340781408 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25249] ppid=25228 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25230/task/25249/stat : 25249 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160543 28904853504 10235 33554432000 4194304 4196468 140732750610992 139680339728688 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42396 KiB

[startup+0.312061 s]*
/proc/loadavg: 8.22 8.07 8.06 4/210 25249
/proc/meminfo: memFree=31054724/32770624 swapFree=66922804/67108860
[pid=25228] ppid=25225 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/25228/stat : 25228 (xcsp3-exec) S 25225 25228 24283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447160537 115843072 364 33554432000 4194304 5098028 140723562948688 140723562946792 140651472171644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28082176 140723562955637 140723562955881 140723562955881 140723562958794 0
/proc/25228/statm: 28282 364 305 221 0 87 0
[pid=25230] ppid=25228 vsize=28231652 memory=50216 CPUtime=0.53 cores=0-7
/proc/25230/stat : 25230 (java) S 25228 25228 24283 0 -1 1077944320 10938 0 0 0 50 3 0 0 20 0 20 0 447160537 28909211648 12554 33554432000 4194304 4196468 140732750610992 140732750593536 139681683648247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
/proc/25230/statm: 7057913 12554 3362 1 0 7019032 0
[pid=25230/tid=25231] ppid=25228 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/25230/task/25231/stat : 25231 (java) R 25228 25228 24283 0 -1 4202560 7789 0 0 0 27 2 0 0 20 0 20 0 447160537 28909211648 12554 33554432000 4194304 4196468 140732750610992 139681687879360 139681667728734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25232] ppid=25228 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25232/stat : 25232 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160538 28909211648 12554 33554432000 4194304 4196468 140732750610992 139681603500432 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25233] ppid=25228 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25233/stat : 25233 (java) S 25228 25228 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447160538 28909211648 12554 33554432000 4194304 4196468 140732750610992 139681602447632 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25234] ppid=25228 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25234/stat : 25234 (java) S 25228 25228 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447160538 28909211648 12554 33554432000 4194304 4196468 140732750610992 139681601395344 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25235] ppid=25228 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25235/stat : 25235 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160538 28909211648 12554 33554432000 4194304 4196468 140732750610992 139681600342544 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25236] ppid=25228 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25236/stat : 25236 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160538 28909211648 12554 33554432000 4194304 4196468 140732750610992 139681599290256 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25237] ppid=25228 vsize=28231652 memory=140707021023919 CPUtime=0 cores=0-7
/proc/25230/task/25237/stat : 25237 (java) S 25228 25228 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447160538 28909211648 12554 33554432000 4194304 4196468 140732750610992 139681229560592 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25238] ppid=25228 vsize=28231652 memory=140707021026224 CPUtime=0 cores=0-7
/proc/25230/task/25238/stat : 25238 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160538 28909211648 12554 33554432000 4194304 4196468 140732750610992 139681228508304 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25239] ppid=25228 vsize=28231652 memory=140707021028528 CPUtime=0 cores=0-7
/proc/25230/task/25239/stat : 25239 (java) S 25228 25228 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447160538 28909211648 12554 33554432000 4194304 4196468 140732750610992 139681227455504 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25240] ppid=25228 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25240/stat : 25240 (java) S 25228 25228 24283 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447160540 28909211648 12554 33554432000 4194304 4196468 140732750610992 139680349202544 139681683659394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25241] ppid=25228 vsize=28231652 memory=281414042070928 CPUtime=0 cores=0-7
/proc/25230/task/25241/stat : 25241 (java) S 25228 25228 24283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447160540 28909211648 12554 33554432000 4194304 4196468 140732750610992 139680348148512 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25242] ppid=25228 vsize=28231652 memory=281414042068624 CPUtime=0 cores=0-7
/proc/25230/task/25242/stat : 25242 (java) S 25228 25228 24283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447160540 28909211648 12554 33554432000 4194304 4196468 140732750610992 139680347096176 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25243] ppid=25228 vsize=28231652 memory=281414042075536 CPUtime=0 cores=0-7
/proc/25230/task/25243/stat : 25243 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160543 28909211648 12554 33554432000 4194304 4196468 140732750610992 139680346044496 139681683666843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25244] ppid=25228 vsize=28231652 memory=281414042016816 CPUtime=0.02 cores=0-7
/proc/25230/task/25244/stat : 25244 (java) S 25228 25228 24283 0 -1 1077944384 135 0 0 0 2 0 0 0 20 0 20 0 447160543 28909211648 12554 33554432000 4194304 4196468 140732750610992 139680344992368 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25245] ppid=25228 vsize=28231652 memory=281414042089360 CPUtime=0.04 cores=0-7
/proc/25230/task/25245/stat : 25245 (java) R 25228 25228 24283 0 -1 4202560 585 0 0 0 4 0 0 0 20 0 20 0 447160543 28909211648 12554 33554432000 4194304 4196468 140732750610992 139680343929952 139681668768014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25246] ppid=25228 vsize=28231652 memory=281414042096272 CPUtime=0.02 cores=0-7
/proc/25230/task/25246/stat : 25246 (java) S 25228 25228 24283 0 -1 1077944384 220 0 0 0 2 0 0 0 20 0 20 0 447160543 28909211648 12554 33554432000 4194304 4196468 140732750610992 139680342887280 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25247] ppid=25228 vsize=28231652 memory=281414042093968 CPUtime=0.13 cores=0-7
/proc/25230/task/25247/stat : 25247 (java) S 25228 25228 24283 0 -1 1077944384 904 0 0 0 13 0 0 0 20 0 20 0 447160543 28909211648 12554 33554432000 4194304 4196468 140732750610992 139680341834480 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25248] ppid=25228 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25248/stat : 25248 (java) S 25228 25228 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447160543 28909211648 12554 33554432000 4194304 4196468 140732750610992 139680340781408 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25249] ppid=25228 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/25230/task/25249/stat : 25249 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160543 28909211648 12554 33554432000 4194304 4196468 140732750610992 139680339728688 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51672 KiB

[startup+0.705533 s]
/proc/loadavg: 8.22 8.07 8.06 6/210 25249
/proc/meminfo: memFree=31043360/32770624 swapFree=66922804/67108860
[pid=25228] ppid=25225 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/25228/stat : 25228 (xcsp3-exec) S 25225 25228 24283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447160537 115843072 364 33554432000 4194304 5098028 140723562948688 140723562946792 140651472171644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28082176 140723562955637 140723562955881 140723562955881 140723562958794 0
/proc/25228/statm: 28282 364 305 221 0 87 0
[pid=25230] ppid=25228 vsize=28233776 memory=101056 CPUtime=1.73 cores=0-7
/proc/25230/stat : 25230 (java) S 25228 25228 24283 0 -1 1077944320 15613 0 0 0 168 5 0 0 20 0 20 0 447160537 28911386624 25264 33554432000 4194304 4196468 140732750610992 140732750593536 139681683648247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
/proc/25230/statm: 7058444 25264 3453 1 0 7019544 0
[pid=25230/tid=25231] ppid=25228 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/25230/task/25231/stat : 25231 (java) R 25228 25228 24283 0 -1 4202560 8651 0 0 0 65 3 0 0 20 0 20 0 447160537 28911386624 25264 33554432000 4194304 4196468 140732750610992 139681687885880 139681282413564 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25232] ppid=25228 vsize=28233776 memory=2353 CPUtime=0 cores=0-7
/proc/25230/task/25232/stat : 25232 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447160538 28911386624 25264 33554432000 4194304 4196468 140732750610992 139681603500432 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25233] ppid=25228 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25233/stat : 25233 (java) S 25228 25228 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447160538 28911386624 25264 33554432000 4194304 4196468 140732750610992 139681602447632 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25234] ppid=25228 vsize=28233776 memory=1428 CPUtime=0 cores=0-7
/proc/25230/task/25234/stat : 25234 (java) S 25228 25228 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447160538 28911386624 25264 33554432000 4194304 4196468 140732750610992 139681601395344 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0

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

[pid=25230/tid=25257] ppid=25228 vsize=28766288 memory=1456 CPUtime=2420.48 cores=0-7
/proc/25230/task/25257/stat : 25257 (java) R 25228 25228 24283 0 -1 4202560 128523 0 0 0 241850 198 0 0 20 0 28 0 447160644 29456678912 572934 33554432000 4194304 4196468 140732750610992 139679986864344 139681285232003 0 4 0 16800975 0 0 0 -1 7 0 0 25 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
Current children cumulated CPU time: 19427.4 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2293192 KiB

[startup+2502.3 s]
/proc/loadavg: 8.11 8.28 8.30 9/219 25465
/proc/meminfo: memFree=28804552/32770624 swapFree=66922836/67108860
[pid=25228] ppid=25225 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/25228/stat : 25228 (xcsp3-exec) S 25225 25228 24283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447160537 115843072 364 33554432000 4194304 5098028 140723562948688 140723562946792 140651472171644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28082176 140723562955637 140723562955881 140723562955881 140723562958794 0
/proc/25228/statm: 28282 364 305 221 0 87 0
[pid=25230] ppid=25228 vsize=28766288 memory=2298864 CPUtime=19905.3 cores=0-7
/proc/25230/stat : 25230 (java) S 25228 25228 24283 0 -1 1077944320 930027 0 0 0 1989556 975 0 0 20 0 28 0 447160537 29456678912 574716 33554432000 4194304 4196468 140732750610992 140732750593536 139681683648247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
/proc/25230/statm: 7191572 574716 3549 1 0 7152672 0
[pid=25230/tid=25231] ppid=25228 vsize=28766288 memory=2298864 CPUtime=0.99 cores=0-7
/proc/25230/task/25231/stat : 25231 (java) S 25228 25228 24283 0 -1 1077944384 8792 0 0 0 95 4 0 0 20 0 28 0 447160537 29456678912 574716 33554432000 4194304 4196468 140732750610992 139681687889024 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25232] ppid=25228 vsize=28766288 memory=2298864 CPUtime=6.4 cores=0-7
/proc/25230/task/25232/stat : 25232 (java) S 25228 25228 24283 0 -1 1077944384 37131 0 0 0 610 30 0 0 20 0 28 0 447160538 29456678912 574716 33554432000 4194304 4196468 140732750610992 139681603500432 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25233] ppid=25228 vsize=28766288 memory=2298848 CPUtime=6.46 cores=0-7
/proc/25230/task/25233/stat : 25233 (java) S 25228 25228 24283 0 -1 1077944384 38923 0 0 0 616 30 0 0 20 0 28 0 447160538 29456678912 574716 33554432000 4194304 4196468 140732750610992 139681602447632 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25234] ppid=25228 vsize=28766288 memory=0 CPUtime=6.42 cores=0-7
/proc/25230/task/25234/stat : 25234 (java) S 25228 25228 24283 0 -1 1077944384 41158 0 0 0 611 31 0 0 20 0 28 0 447160538 29456678912 574716 33554432000 4194304 4196468 140732750610992 139681601395344 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25235] ppid=25228 vsize=28766288 memory=-3622645143214314312 CPUtime=6.42 cores=0-7
/proc/25230/task/25235/stat : 25235 (java) S 25228 25228 24283 0 -1 1077944384 34900 0 0 0 612 30 0 0 20 0 28 0 447160538 29456678912 574716 33554432000 4194304 4196468 140732750610992 139681600342544 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25236] ppid=25228 vsize=28766288 memory=1456 CPUtime=6.39 cores=0-7
/proc/25230/task/25236/stat : 25236 (java) S 25228 25228 24283 0 -1 1077944384 38741 0 0 0 610 29 0 0 20 0 28 0 447160538 29456678912 574716 33554432000 4194304 4196468 140732750610992 139681599290256 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25237] ppid=25228 vsize=28766288 memory=2077952 CPUtime=6.45 cores=0-7
/proc/25230/task/25237/stat : 25237 (java) S 25228 25228 24283 0 -1 1077944384 36885 0 0 0 614 31 0 0 20 0 28 0 447160538 29456678912 574716 33554432000 4194304 4196468 140732750610992 139681229560592 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25238] ppid=25228 vsize=28766288 memory=1456 CPUtime=6.52 cores=0-7
/proc/25230/task/25238/stat : 25238 (java) S 25228 25228 24283 0 -1 1077944384 38561 0 0 0 625 27 0 0 20 0 28 0 447160538 29456678912 574716 33554432000 4194304 4196468 140732750610992 139681228508304 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25239] ppid=25228 vsize=28766288 memory=2291736 CPUtime=6.44 cores=0-7
/proc/25230/task/25239/stat : 25239 (java) S 25228 25228 24283 0 -1 1077944384 39704 0 0 0 615 29 0 0 20 0 28 0 447160538 29456678912 574716 33554432000 4194304 4196468 140732750610992 139681227455504 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25240] ppid=25228 vsize=28766288 memory=1456 CPUtime=2.95 cores=0-7
/proc/25230/task/25240/stat : 25240 (java) S 25228 25228 24283 0 -1 1077944384 121804 0 0 0 225 70 0 0 20 0 28 0 447160540 29456678912 574716 33554432000 4194304 4196468 140732750610992 139680349202544 139681683659394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25241] ppid=25228 vsize=28766288 memory=1748 CPUtime=0 cores=0-7
/proc/25230/task/25241/stat : 25241 (java) S 25228 25228 24283 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 447160540 29456678912 574716 33554432000 4194304 4196468 140732750610992 139680348148576 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25242] ppid=25228 vsize=28766288 memory=111632 CPUtime=0 cores=0-7
/proc/25230/task/25242/stat : 25242 (java) S 25228 25228 24283 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 447160540 29456678912 574716 33554432000 4194304 4196468 140732750610992 139680347096192 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25243] ppid=25228 vsize=28766288 memory=2298864 CPUtime=0 cores=0-7
/proc/25230/task/25243/stat : 25243 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447160543 29456678912 574716 33554432000 4194304 4196468 140732750610992 139680346044496 139681683666843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25244] ppid=25228 vsize=28766288 memory=1456 CPUtime=1.87 cores=0-7
/proc/25230/task/25244/stat : 25244 (java) S 25228 25228 24283 0 -1 1077944384 9887 0 0 0 185 2 0 0 20 0 28 0 447160543 29456678912 574716 33554432000 4194304 4196468 140732750610992 139680344992368 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25245] ppid=25228 vsize=28766288 memory=10728 CPUtime=2.05 cores=0-7
/proc/25230/task/25245/stat : 25245 (java) S 25228 25228 24283 0 -1 1077944384 9085 0 0 0 204 1 0 0 20 0 28 0 447160543 29456678912 574716 33554432000 4194304 4196468 140732750610992 139680343939568 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25246] ppid=25228 vsize=28766288 memory=1552 CPUtime=2.05 cores=0-7
/proc/25230/task/25246/stat : 25246 (java) S 25228 25228 24283 0 -1 1077944384 8278 0 0 0 203 2 0 0 20 0 28 0 447160543 29456678912 574716 33554432000 4194304 4196468 140732750610992 139680342887280 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25247] ppid=25228 vsize=28766288 memory=1456 CPUtime=0.72 cores=0-7
/proc/25230/task/25247/stat : 25247 (java) S 25228 25228 24283 0 -1 1077944384 7023 0 0 0 71 1 0 0 20 0 28 0 447160543 29456678912 574716 33554432000 4194304 4196468 140732750610992 139680341834480 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25248] ppid=25228 vsize=28766288 memory=2298864 CPUtime=0 cores=0-7
/proc/25230/task/25248/stat : 25248 (java) S 25228 25228 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447160543 29456678912 574716 33554432000 4194304 4196468 140732750610992 139680340781408 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25249] ppid=25228 vsize=28766288 memory=2291888 CPUtime=0.65 cores=0-7
/proc/25230/task/25249/stat : 25249 (java) S 25228 25228 24283 0 -1 1077944384 6232 0 0 0 24 41 0 0 20 0 28 0 447160543 29456678912 574716 33554432000 4194304 4196468 140732750610992 139680339728688 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25250] ppid=25228 vsize=28766288 memory=1456 CPUtime=2478.45 cores=0-7
/proc/25230/task/25250/stat : 25250 (java) R 25228 25228 24283 0 -1 4202560 26667 0 0 0 247821 24 0 0 20 0 28 0 447160643 29456678912 574716 33554432000 4194304 4196468 140732750610992 139680330509560 139681285232181 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25251] ppid=25228 vsize=28766288 memory=2298764 CPUtime=2478.97 cores=0-7
/proc/25230/task/25251/stat : 25251 (java) R 25228 25228 24283 0 -1 4202560 24215 0 0 0 247872 25 0 0 20 0 28 0 447160643 29456678912 574716 33554432000 4194304 4196468 140732750610992 139680329457880 139681285231966 0 4 0 16800975 0 0 0 -1 2 0 0 25 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25252] ppid=25228 vsize=28766288 memory=1456 CPUtime=2481.87 cores=0-7
/proc/25230/task/25252/stat : 25252 (java) R 25228 25228 24283 0 -1 4202560 33310 0 0 0 248155 32 0 0 20 0 28 0 447160643 29456678912 574716 33554432000 4194304 4196468 140732750610992 139680328405608 139681287248462 0 4 0 16800975 0 0 0 -1 6 0 0 22 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25253] ppid=25228 vsize=28766288 memory=1456 CPUtime=2478.65 cores=0-7
/proc/25230/task/25253/stat : 25253 (java) R 25228 25228 24283 0 -1 4202560 46657 0 0 0 247792 73 0 0 20 0 28 0 447160643 29456678912 574716 33554432000 4194304 4196468 140732750610992 139680327352936 139681285803189 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25254] ppid=25228 vsize=28766288 memory=2298864 CPUtime=2480.74 cores=0-7
/proc/25230/task/25254/stat : 25254 (java) R 25228 25228 24283 0 -1 4202560 62571 0 0 0 247965 109 0 0 20 0 28 0 447160643 29456678912 574716 33554432000 4194304 4196468 140732750610992 139680326299856 139681287269183 0 4 0 16800975 0 0 0 -1 7 0 0 24 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25255] ppid=25228 vsize=28766288 memory=1456 CPUtime=2483.01 cores=0-7
/proc/25230/task/25255/stat : 25255 (java) R 25228 25228 24283 0 -1 4202560 108761 0 0 0 248115 186 0 0 20 0 28 0 447160643 29456678912 574716 33554432000 4194304 4196468 140732750610992 139680325247832 139681287269170 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25256] ppid=25228 vsize=28766288 memory=2298864 CPUtime=2480.73 cores=0-7
/proc/25230/task/25256/stat : 25256 (java) R 25228 25228 24283 0 -1 4202560 20087 0 0 0 248051 22 0 0 20 0 28 0 447160643 29456678912 574716 33554432000 4194304 4196468 140732750610992 139680324194408 139681285591012 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25257] ppid=25228 vsize=28766288 memory=1560 CPUtime=2479.91 cores=0-7
/proc/25230/task/25257/stat : 25257 (java) R 25228 25228 24283 0 -1 4202560 129317 0 0 0 247792 199 0 0 20 0 28 0 447160644 29456678912 574716 33554432000 4194304 4196468 140732750610992 139679986866624 139681285803348 0 4 0 16800975 0 0 0 -1 3 0 0 25 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
Current children cumulated CPU time: 19905.3 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2300320 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.08 8.27 8.30 9/218 25465
/proc/meminfo: memFree=28803520/32770624 swapFree=66922836/67108860
[pid=25228] ppid=25225 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/25228/stat : 25228 (xcsp3-exec) S 25225 25228 24283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447160537 115843072 364 33554432000 4194304 5098028 140723562948688 140723562946792 140651472171644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28082176 140723562955637 140723562955881 140723562955881 140723562958794 0
/proc/25228/statm: 28282 364 305 221 0 87 0
[pid=25230] ppid=25228 vsize=28766288 memory=2298884 CPUtime=20046.4 cores=0-7
/proc/25230/stat : 25230 (java) S 25228 25228 24283 0 -1 1077944320 931034 0 0 0 2003667 976 0 0 20 0 28 0 447160537 29456678912 574721 33554432000 4194304 4196468 140732750610992 140732750593536 139681683648247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
/proc/25230/statm: 7191572 574721 3549 1 0 7152672 0
[pid=25230/tid=25231] ppid=25228 vsize=28766288 memory=1552 CPUtime=0.99 cores=0-7
/proc/25230/task/25231/stat : 25231 (java) S 25228 25228 24283 0 -1 1077944384 8792 0 0 0 95 4 0 0 20 0 28 0 447160537 29456678912 574721 33554432000 4194304 4196468 140732750610992 139681687889024 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25232] ppid=25228 vsize=28766288 memory=4096 CPUtime=6.43 cores=0-7
/proc/25230/task/25232/stat : 25232 (java) S 25228 25228 24283 0 -1 1077944384 37166 0 0 0 613 30 0 0 20 0 28 0 447160538 29456678912 574721 33554432000 4194304 4196468 140732750610992 139681603500432 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25233] ppid=25228 vsize=28766288 memory=4872558044660077418 CPUtime=6.49 cores=0-7
/proc/25230/task/25233/stat : 25233 (java) S 25228 25228 24283 0 -1 1077944384 39239 0 0 0 619 30 0 0 20 0 28 0 447160538 29456678912 574721 33554432000 4194304 4196468 140732750610992 139681602447632 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25234] ppid=25228 vsize=28766288 memory=1540 CPUtime=6.44 cores=0-7
/proc/25230/task/25234/stat : 25234 (java) S 25228 25228 24283 0 -1 1077944384 41178 0 0 0 613 31 0 0 20 0 28 0 447160538 29456678912 574721 33554432000 4194304 4196468 140732750610992 139681601395344 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25235] ppid=25228 vsize=28766288 memory=832 CPUtime=6.45 cores=0-7
/proc/25230/task/25235/stat : 25235 (java) S 25228 25228 24283 0 -1 1077944384 34907 0 0 0 615 30 0 0 20 0 28 0 447160538 29456678912 574721 33554432000 4194304 4196468 140732750610992 139681600342544 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25236] ppid=25228 vsize=28766288 memory=1448 CPUtime=6.42 cores=0-7
/proc/25230/task/25236/stat : 25236 (java) S 25228 25228 24283 0 -1 1077944384 38749 0 0 0 613 29 0 0 20 0 28 0 447160538 29456678912 574721 33554432000 4194304 4196468 140732750610992 139681599290256 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25237] ppid=25228 vsize=28766288 memory=1748 CPUtime=6.48 cores=0-7
/proc/25230/task/25237/stat : 25237 (java) S 25228 25228 24283 0 -1 1077944384 36929 0 0 0 617 31 0 0 20 0 28 0 447160538 29456678912 574721 33554432000 4194304 4196468 140732750610992 139681229560592 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25238] ppid=25228 vsize=28766288 memory=111632 CPUtime=6.54 cores=0-7
/proc/25230/task/25238/stat : 25238 (java) S 25228 25228 24283 0 -1 1077944384 38619 0 0 0 627 27 0 0 20 0 28 0 447160538 29456678912 574721 33554432000 4194304 4196468 140732750610992 139681228508304 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25239] ppid=25228 vsize=28766288 memory=808 CPUtime=6.46 cores=0-7
/proc/25230/task/25239/stat : 25239 (java) S 25228 25228 24283 0 -1 1077944384 39734 0 0 0 617 29 0 0 20 0 28 0 447160538 29456678912 574721 33554432000 4194304 4196468 140732750610992 139681227455504 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25240] ppid=25228 vsize=28766288 memory=1804 CPUtime=2.96 cores=0-7
/proc/25230/task/25240/stat : 25240 (java) S 25228 25228 24283 0 -1 1077944384 121838 0 0 0 226 70 0 0 20 0 28 0 447160540 29456678912 574721 33554432000 4194304 4196468 140732750610992 139680349202544 139681683659394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25241] ppid=25228 vsize=28766288 memory=14008 CPUtime=0 cores=0-7
/proc/25230/task/25241/stat : 25241 (java) S 25228 25228 24283 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 447160540 29456678912 574721 33554432000 4194304 4196468 140732750610992 139680348148576 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25242] ppid=25228 vsize=28766288 memory=25060 CPUtime=0 cores=0-7
/proc/25230/task/25242/stat : 25242 (java) S 25228 25228 24283 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 447160540 29456678912 574721 33554432000 4194304 4196468 140732750610992 139680347096192 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25243] ppid=25228 vsize=28766288 memory=2116 CPUtime=0 cores=0-7
/proc/25230/task/25243/stat : 25243 (java) S 25228 25228 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447160543 29456678912 574721 33554432000 4194304 4196468 140732750610992 139680346044496 139681683666843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25244] ppid=25228 vsize=28766288 memory=12024 CPUtime=1.87 cores=0-7
/proc/25230/task/25244/stat : 25244 (java) S 25228 25228 24283 0 -1 1077944384 9889 0 0 0 185 2 0 0 20 0 28 0 447160543 29456678912 574721 33554432000 4194304 4196468 140732750610992 139680344992368 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25245] ppid=25228 vsize=28766288 memory=1560 CPUtime=2.05 cores=0-7
/proc/25230/task/25245/stat : 25245 (java) S 25228 25228 24283 0 -1 1077944384 9087 0 0 0 204 1 0 0 20 0 28 0 447160543 29456678912 574721 33554432000 4194304 4196468 140732750610992 139680343939568 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25246] ppid=25228 vsize=28766288 memory=500 CPUtime=2.05 cores=0-7
/proc/25230/task/25246/stat : 25246 (java) S 25228 25228 24283 0 -1 1077944384 8280 0 0 0 203 2 0 0 20 0 28 0 447160543 29456678912 574721 33554432000 4194304 4196468 140732750610992 139680342887280 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25247] ppid=25228 vsize=28766288 memory=928 CPUtime=0.72 cores=0-7
/proc/25230/task/25247/stat : 25247 (java) S 25228 25228 24283 0 -1 1077944384 7025 0 0 0 71 1 0 0 20 0 28 0 447160543 29456678912 574721 33554432000 4194304 4196468 140732750610992 139680341834480 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25248] ppid=25228 vsize=28766288 memory=1984 CPUtime=0 cores=0-7
/proc/25230/task/25248/stat : 25248 (java) S 25228 25228 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447160543 29456678912 574721 33554432000 4194304 4196468 140732750610992 139680340781408 139681683658453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25249] ppid=25228 vsize=28766288 memory=288230574492221466 CPUtime=0.65 cores=0-7
/proc/25230/task/25249/stat : 25249 (java) S 25228 25228 24283 0 -1 1077944384 6236 0 0 0 24 41 0 0 20 0 28 0 447160543 29456678912 574721 33554432000 4194304 4196468 140732750610992 139680339728688 139681683659394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25250] ppid=25228 vsize=28766288 memory=288230596050944315 CPUtime=2496.11 cores=0-7
/proc/25230/task/25250/stat : 25250 (java) R 25228 25228 24283 0 -1 4202560 26720 0 0 0 249587 24 0 0 20 0 28 0 447160643 29456678912 574721 33554432000 4194304 4196468 140732750610992 139680330509048 139681286308604 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25251] ppid=25228 vsize=28766288 memory=15823283127847325 CPUtime=2496.63 cores=0-7
/proc/25230/task/25251/stat : 25251 (java) R 25228 25228 24283 0 -1 4202560 24274 0 0 0 249638 25 0 0 20 0 28 0 447160643 29456678912 574721 33554432000 4194304 4196468 140732750610992 139680329457880 139681287341158 0 4 0 16800975 0 0 0 -1 2 0 0 25 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25252] ppid=25228 vsize=28766288 memory=3832 CPUtime=2499.51 cores=0-7
/proc/25230/task/25252/stat : 25252 (java) R 25228 25228 24283 0 -1 4202560 33370 0 0 0 249919 32 0 0 20 0 28 0 447160643 29456678912 574721 33554432000 4194304 4196468 140732750610992 139680328405608 139681285232037 0 4 0 16800975 0 0 0 -1 6 0 0 22 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25253] ppid=25228 vsize=28766288 memory=1456 CPUtime=2496.29 cores=0-7
/proc/25230/task/25253/stat : 25253 (java) R 25228 25228 24283 0 -1 4202560 46739 0 0 0 249556 73 0 0 20 0 28 0 447160643 29456678912 574721 33554432000 4194304 4196468 140732750610992 139680327352144 139681285803312 0 4 0 16800975 0 0 0 -1 3 0 0 23 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25254] ppid=25228 vsize=28766288 memory=2298884 CPUtime=2498.23 cores=0-7
/proc/25230/task/25254/stat : 25254 (java) R 25228 25228 24283 0 -1 4202560 62600 0 0 0 249714 109 0 0 20 0 28 0 447160643 29456678912 574721 33554432000 4194304 4196468 140732750610992 139680326303024 139681285574089 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25255] ppid=25228 vsize=28766288 memory=4104 CPUtime=2500.68 cores=0-7
/proc/25230/task/25255/stat : 25255 (java) R 25228 25228 24283 0 -1 4202560 108827 0 0 0 249881 187 0 0 20 0 28 0 447160643 29456678912 574721 33554432000 4194304 4196468 140732750610992 139680325247480 139681287269102 0 4 0 16800975 0 0 0 -1 4 0 0 25 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25256] ppid=25228 vsize=28766288 memory=1398720917958146503 CPUtime=2498.39 cores=0-7
/proc/25230/task/25256/stat : 25256 (java) R 25228 25228 24283 0 -1 4202560 20146 0 0 0 249817 22 0 0 20 0 28 0 447160643 29456678912 574721 33554432000 4194304 4196468 140732750610992 139680324194040 139681287248506 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
[pid=25230/tid=25257] ppid=25228 vsize=28766288 memory=4872558044660077418 CPUtime=2497.37 cores=0-7
/proc/25230/task/25257/stat : 25257 (java) R 25228 25228 24283 0 -1 4202560 129352 0 0 0 249538 199 0 0 20 0 28 0 447160644 29456678912 574721 33554432000 4194304 4196468 140732750610992 139679986863736 139681285232047 0 4 0 16800975 0 0 0 -1 7 0 0 25 0 0 6293624 6294260 11341824 140732750619626 140732750619798 140732750619798 140732750622671 0
Current children cumulated CPU time: 20046.4 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2300340 KiB

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

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

[startup+2520.08 s]
# the end of solver process 25230 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20037.1 s, system=9.77496 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.08
CPU time (s): 20046.9
CPU user time (s): 20037.1
CPU system time (s): 9.77496
CPU usage (%): 795.486
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 2560828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20037.1
system time used= 9.77496
maximum resident set size= 2571660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 931885
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 236412
involuntary context switches= 210854


# summary of solver processes directly reported to runsolver:
#   pid: 25228,25230
#   total CPU time (s): 20046.9
#   total CPU user time (s): 20037.1
#   total CPU system time (s): 9.77496

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 28.5705 second user time and 21.2397 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-17 10:30:31
IDJOB=4399599
IDBENCH=134583
IDSOLVER=2854
FILE ID=node139/4399599-1568708917
RUNJOBID= node139-1568702605-24310
PBS_JOBID= 21703917
Free space on /tmp= 59556 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07h-6_X2.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399599-1568708917/watcher-4399599-1568708917 -o /tmp/evaluation-result-4399599-1568708917/solver-4399599-1568708917 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568702605-24310 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1175215189 HOME/instance-4399599-1568708917.xml

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

MD5SUM BENCH= 43dd96c97b3ff33ff7a4c42b6a5606ab
RANDOM SEED=1175215189

node139.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.57
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.57
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.57
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.57
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:        31092556 kB
MemAvailable:   31824688 kB
Buffers:          129912 kB
Cached:           893472 kB
SwapCached:        78116 kB
Active:           632156 kB
Inactive:         474104 kB
Active(anon):       7708 kB
Inactive(anon):   118104 kB
Active(file):     624448 kB
Inactive(file):   356000 kB
Unevictable:      107788 kB
Mlocked:          107788 kB
SwapTotal:      67108860 kB
SwapFree:       66922804 kB
Dirty:             25976 kB
Writeback:             0 kB
AnonPages:        116920 kB
Mapped:            48272 kB
Shmem:             34712 kB
Slab:             163876 kB
SReclaimable:     135036 kB
SUnreclaim:        28840 kB
KernelStack:        3568 kB
PageTables:         5808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     496380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59532 MiB
End job on node139 at 2019-09-17 11:12:31