Trace number 4306801

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 seq (e747e1e)UNSAT 309.738 306.62

General information on the benchmark

NameDubois/
Dubois-024_c18.xml
MD5SUM4f48250d2147fae0e085f28a4cc8c702
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 benchmark0.008066
Satisfiable
(Un)Satisfiability was proved
Number of variables72
Number of constraints48
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":72}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":72}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":48}]
Number of extensional constraints48
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":48}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4306801-1534104844.xml"  -tl '2520s' -p 1
0.11/0.17	c Choco e747e1e
0.11/0.18	c [HOME/instance-4306801-1534104844.xml, -tl, 2520s, -p, 1]
0.11/0.21	c simple solver
0.34/0.28	c parse instance...
0.71/0.45	c solve instance...
309.70/306.61	s UNSATISFIABLE

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 (5599 MiB free)
  memory of node 1: 16384 MiB (7225 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306801-1534104844/watcher-4306801-1534104844 -o /tmp/evaluation-result-4306801-1534104844/solver-4306801-1534104844 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534096899-2740 --watchdog 2580 HOME/xcsp3-exec -seed 1171682572 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306801-1534104844.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100059 s]*
/proc/loadavg: 2.05 1.89 1.82 4/218 4464
/proc/meminfo: memFree=13116764/32770624 swapFree=67108792/67108860
[pid=4448] ppid=4445 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4448/stat : 4448 (xcsp3-exec) S 4445 4448 2709 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228047672 115843072 364 33554432000 4194304 5098028 140732543702512 140732543700616 139780979401340 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33792000 140732543710266 140732543710468 140732543710468 140732543713226 0
/proc/4448/statm: 28282 364 306 221 0 87 0
[pid=4450] ppid=4448 vsize=14082940 memory=28012 CPUtime=0.11 cores=0,2,4,6
/proc/4450/stat : 4450 (java) S 4448 4448 2709 0 -1 1077944320 5341 0 0 0 10 1 0 0 20 0 15 0 228047672 14420930560 7003 33554432000 4194304 4196468 140721080659568 140721080642112 139699679567607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
/proc/4450/statm: 3520735 7003 3025 1 0 3483012 0
[pid=4450/tid=4451] ppid=4448 vsize=14082940 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/4450/task/4451/stat : 4451 (java) R 4448 4448 2709 0 -1 4202560 3316 0 0 0 8 1 0 0 20 0 15 0 228047672 14420930560 7003 33554432000 4194304 4196468 140721080659568 139699683800880 139699679579542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4452] ppid=4448 vsize=14082940 memory=3472468379160130768 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4452/stat : 4452 (java) S 4448 4448 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047673 14420930560 7003 33554432000 4194304 4196468 140721080659568 139699651410832 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4453] ppid=4448 vsize=14082940 memory=140250264979072 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4453/stat : 4453 (java) S 4448 4448 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047673 14420930560 7003 33554432000 4194304 4196468 140721080659568 139699274226448 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4454] ppid=4448 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4454/stat : 4454 (java) S 4448 4448 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047673 14420930560 7003 33554432000 4194304 4196468 140721080659568 139699273174160 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4455] ppid=4448 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4455/stat : 4455 (java) S 4448 4448 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228047673 14420930560 7003 33554432000 4194304 4196468 140721080659568 139699272121360 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4456] ppid=4448 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4456/stat : 4456 (java) S 4448 4448 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228047674 14420930560 7003 33554432000 4194304 4196468 140721080659568 139699153754224 139699679578754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4457] ppid=4448 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4457/stat : 4457 (java) S 4448 4448 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228047675 14420930560 7003 33554432000 4194304 4196468 140721080659568 139699152700192 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4458] ppid=4448 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4458/stat : 4458 (java) S 4448 4448 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228047675 14420930560 7003 33554432000 4194304 4196468 140721080659568 139699151647856 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4459] ppid=4448 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4459/stat : 4459 (java) S 4448 4448 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047677 14420930560 7003 33554432000 4194304 4196468 140721080659568 139699150596176 139699679586203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4460] ppid=4448 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4460/stat : 4460 (java) S 4448 4448 2709 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 15 0 228047677 14420930560 7003 33554432000 4194304 4196468 140721080659568 139699149544048 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4461] ppid=4448 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4461/stat : 4461 (java) S 4448 4448 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047677 14420930560 7003 33554432000 4194304 4196468 140721080659568 139699148491248 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4462] ppid=4448 vsize=14082940 memory=140250264979072 CPUtime=0.01 cores=0,2,4,6
/proc/4450/task/4462/stat : 4462 (java) R 4448 4448 2709 0 -1 4202560 287 0 0 0 1 0 0 0 20 0 15 0 228047677 14420930560 7003 33554432000 4194304 4196468 140721080659568 139699147438960 139699658584614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4463] ppid=4448 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4463/stat : 4463 (java) S 4448 4448 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047677 14420930560 7003 33554432000 4194304 4196468 140721080659568 139699146386400 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4464] ppid=4448 vsize=14082940 memory=140250264979072 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4464/stat : 4464 (java) S 4448 4448 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047678 14420930560 7003 33554432000 4194304 4196468 140721080659568 139699145333168 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29468 KiB

[startup+0.210782 s]*
/proc/loadavg: 2.05 1.89 1.82 4/218 4464
/proc/meminfo: memFree=13105756/32770624 swapFree=67108792/67108860
[pid=4448] ppid=4445 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4448/stat : 4448 (xcsp3-exec) S 4445 4448 2709 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228047672 115843072 364 33554432000 4194304 5098028 140732543702512 140732543700616 139780979401340 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33792000 140732543710266 140732543710468 140732543710468 140732543713226 0
/proc/4448/statm: 28282 364 306 221 0 87 0
[pid=4450] ppid=4448 vsize=14082940 memory=40120 CPUtime=0.34 cores=0,2,4,6
/proc/4450/stat : 4450 (java) S 4448 4448 2709 0 -1 1077944320 8034 0 0 0 32 2 0 0 20 0 15 0 228047672 14420930560 10030 33554432000 4194304 4196468 140721080659568 140721080642112 139699679567607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
/proc/4450/statm: 3520735 10030 3219 1 0 3483012 0
[pid=4450/tid=4451] ppid=4448 vsize=14082940 memory=4500115623978573208 CPUtime=0.19 cores=0,2,4,6
/proc/4450/task/4451/stat : 4451 (java) R 4448 4448 2709 0 -1 4202560 5016 0 0 0 18 1 0 0 20 0 15 0 228047672 14420930560 10030 33554432000 4194304 4196468 140721080659568 139699683802592 139699663648094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4452] ppid=4448 vsize=14082940 memory=3472468379160130768 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4452/stat : 4452 (java) S 4448 4448 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047673 14420930560 10030 33554432000 4194304 4196468 140721080659568 139699651410832 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4453] ppid=4448 vsize=14082940 memory=140250264979072 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4453/stat : 4453 (java) S 4448 4448 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047673 14420930560 10030 33554432000 4194304 4196468 140721080659568 139699274226448 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4454] ppid=4448 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4454/stat : 4454 (java) S 4448 4448 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047673 14420930560 10030 33554432000 4194304 4196468 140721080659568 139699273174160 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4455] ppid=4448 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4455/stat : 4455 (java) S 4448 4448 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228047673 14420930560 10030 33554432000 4194304 4196468 140721080659568 139699272121360 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4456] ppid=4448 vsize=14082940 memory=140250264979072 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4456/stat : 4456 (java) S 4448 4448 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228047674 14420930560 10030 33554432000 4194304 4196468 140721080659568 139699153754224 139699679578754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4457] ppid=4448 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4457/stat : 4457 (java) S 4448 4448 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228047675 14420930560 10030 33554432000 4194304 4196468 140721080659568 139699152700192 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4458] ppid=4448 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4458/stat : 4458 (java) S 4448 4448 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228047675 14420930560 10030 33554432000 4194304 4196468 140721080659568 139699151647856 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4459] ppid=4448 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4459/stat : 4459 (java) S 4448 4448 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047677 14420930560 10030 33554432000 4194304 4196468 140721080659568 139699150596176 139699679586203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4460] ppid=4448 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4450/task/4460/stat : 4460 (java) S 4448 4448 2709 0 -1 1077944384 759 0 0 0 2 0 0 0 20 0 15 0 228047677 14420930560 10030 33554432000 4194304 4196468 140721080659568 139699149544048 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4461] ppid=4448 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4450/task/4461/stat : 4461 (java) S 4448 4448 2709 0 -1 1077944384 82 0 0 0 2 0 0 0 20 0 15 0 228047677 14420930560 10030 33554432000 4194304 4196468 140721080659568 139699148491248 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4462] ppid=4448 vsize=14082940 memory=140250264979072 CPUtime=0.08 cores=0,2,4,6
/proc/4450/task/4462/stat : 4462 (java) S 4448 4448 2709 0 -1 1077944384 885 0 0 0 8 0 0 0 20 0 15 0 228047677 14420930560 10030 33554432000 4194304 4196468 140721080659568 139699147438960 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4463] ppid=4448 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4463/stat : 4463 (java) S 4448 4448 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047677 14420930560 10030 33554432000 4194304 4196468 140721080659568 139699146386400 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4464] ppid=4448 vsize=14082940 memory=140250264979072 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4464/stat : 4464 (java) S 4448 4448 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047678 14420930560 10030 33554432000 4194304 4196468 140721080659568 139699145333168 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41576 KiB

[startup+0.310461 s]*
/proc/loadavg: 2.05 1.89 1.82 5/218 4464
/proc/meminfo: memFree=13098932/32770624 swapFree=67108792/67108860
[pid=4448] ppid=4445 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4448/stat : 4448 (xcsp3-exec) S 4445 4448 2709 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228047672 115843072 364 33554432000 4194304 5098028 140732543702512 140732543700616 139780979401340 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33792000 140732543710266 140732543710468 140732543710468 140732543713226 0
/proc/4448/statm: 28282 364 306 221 0 87 0
[pid=4450] ppid=4448 vsize=14087196 memory=47152 CPUtime=0.53 cores=0,2,4,6
/proc/4450/stat : 4450 (java) S 4448 4448 2709 0 -1 1077944320 8991 0 0 0 50 3 0 0 20 0 15 0 228047672 14425288704 11788 33554432000 4194304 4196468 140721080659568 140721080642112 139699679567607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
/proc/4450/statm: 3521799 11788 3263 1 0 3483012 0
[pid=4450/tid=4451] ppid=4448 vsize=14087196 memory=-8976644418600983157 CPUtime=0.29 cores=0,2,4,6
/proc/4450/task/4451/stat : 4451 (java) R 4448 4448 2709 0 -1 4202560 5706 0 0 0 27 2 0 0 20 0 15 0 228047672 14425288704 11788 33554432000 4194304 4196468 140721080659568 139699683798720 139699679589533 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4452] ppid=4448 vsize=14087196 memory=3472468379160130768 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4452/stat : 4452 (java) S 4448 4448 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047673 14425288704 11788 33554432000 4194304 4196468 140721080659568 139699651410832 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4453] ppid=4448 vsize=14087196 memory=140250264979072 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4453/stat : 4453 (java) S 4448 4448 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047673 14425288704 11788 33554432000 4194304 4196468 140721080659568 139699274226448 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4454] ppid=4448 vsize=14087196 memory=5 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4454/stat : 4454 (java) S 4448 4448 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047673 14425288704 11788 33554432000 4194304 4196468 140721080659568 139699273174160 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4455] ppid=4448 vsize=14087196 memory=140250143926303 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4455/stat : 4455 (java) S 4448 4448 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228047673 14425288704 11788 33554432000 4194304 4196468 140721080659568 139699272121360 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4456] ppid=4448 vsize=14087196 memory=280500287813376 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4456/stat : 4456 (java) S 4448 4448 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228047674 14425288704 11788 33554432000 4194304 4196468 140721080659568 139699153754224 139699679578754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4457] ppid=4448 vsize=14087196 memory=140250143903247 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4457/stat : 4457 (java) S 4448 4448 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228047675 14425288704 11788 33554432000 4194304 4196468 140721080659568 139699152700192 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4458] ppid=4448 vsize=14087196 memory=280500408891488 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4458/stat : 4458 (java) S 4448 4448 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228047675 14425288704 11788 33554432000 4194304 4196468 140721080659568 139699151647856 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4459] ppid=4448 vsize=14087196 memory=140250143907855 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4459/stat : 4459 (java) S 4448 4448 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047677 14425288704 11788 33554432000 4194304 4196468 140721080659568 139699150596176 139699679586203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4460] ppid=4448 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4450/task/4460/stat : 4460 (java) S 4448 4448 2709 0 -1 1077944384 773 0 0 0 4 0 0 0 20 0 15 0 228047677 14425288704 11788 33554432000 4194304 4196468 140721080659568 139699149544048 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4461] ppid=4448 vsize=14087196 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/4450/task/4461/stat : 4461 (java) R 4448 4448 2709 0 -1 4202560 196 0 0 0 5 0 0 0 20 0 15 0 228047677 14425288704 11788 33554432000 4194304 4196468 140721080659568 139699148481632 139699679579542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4462] ppid=4448 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/4450/task/4462/stat : 4462 (java) S 4448 4448 2709 0 -1 1077944384 1034 0 0 0 12 0 0 0 20 0 15 0 228047677 14425288704 11788 33554432000 4194304 4196468 140721080659568 139699147438960 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4463] ppid=4448 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4463/stat : 4463 (java) S 4448 4448 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047677 14425288704 11788 33554432000 4194304 4196468 140721080659568 139699146386400 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4464] ppid=4448 vsize=14087196 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4464/stat : 4464 (java) S 4448 4448 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047678 14425288704 11788 33554432000 4194304 4196468 140721080659568 139699145333168 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48608 KiB

[startup+0.701655 s]
/proc/loadavg: 2.05 1.89 1.82 5/218 4464
/proc/meminfo: memFree=13088572/32770624 swapFree=67108792/67108860
[pid=4448] ppid=4445 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4448/stat : 4448 (xcsp3-exec) S 4445 4448 2709 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228047672 115843072 364 33554432000 4194304 5098028 140732543702512 140732543700616 139780979401340 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33792000 140732543710266 140732543710468 140732543710468 140732543713226 0
/proc/4448/statm: 28282 364 306 221 0 87 0
[pid=4450] ppid=4448 vsize=14089320 memory=66900 CPUtime=1.56 cores=0,2,4,6
/proc/4450/stat : 4450 (java) S 4448 4448 2709 0 -1 1077944320 12421 0 0 0 151 5 0 0 20 0 15 0 228047672 14427463680 16725 33554432000 4194304 4196468 140721080659568 140721080642112 139699679567607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
/proc/4450/statm: 3522330 16725 3353 1 0 3483524 0
[pid=4450/tid=4451] ppid=4448 vsize=14089320 memory=7372786582024121444 CPUtime=0.67 cores=0,2,4,6
/proc/4450/task/4451/stat : 4451 (java) R 4448 4448 2709 0 -1 4202560 6462 0 0 0 65 2 0 0 20 0 15 0 228047672 14427463680 16725 33554432000 4194304 4196468 140721080659568 139699683804624 139699318928991 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4452] ppid=4448 vsize=14089320 memory=7007712420471858773 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4452/stat : 4452 (java) S 4448 4448 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047673 14427463680 16725 33554432000 4194304 4196468 140721080659568 139699651410832 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4453] ppid=4448 vsize=14089320 memory=5859271421084521832 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4453/stat : 4453 (java) S 4448 4448 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047673 14427463680 16725 33554432000 4194304 4196468 140721080659568 139699274226448 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4454] ppid=4448 vsize=14089320 memory=-6168368575958768251 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4454/stat : 4454 (java) S 4448 4448 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047673 14427463680 16725 33554432000 4194304 4196468 140721080659568 139699273174160 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4455] ppid=4448 vsize=14089320 memory=8326441112149131689 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4455/stat : 4455 (java) S 4448 4448 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228047673 14427463680 16725 33554432000 4194304 4196468 140721080659568 139699272121360 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4456] ppid=4448 vsize=14089320 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4456/stat : 4456 (java) S 4448 4448 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228047674 14427463680 16725 33554432000 4194304 4196468 140721080659568 139699153754224 139699679578754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4457] ppid=4448 vsize=14089320 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4457/stat : 4457 (java) S 4448 4448 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228047675 14427463680 16725 33554432000 4194304 4196468 140721080659568 139699152700192 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4458] ppid=4448 vsize=14089320 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4458/stat : 4458 (java) S 4448 4448 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228047675 14427463680 16725 33554432000 4194304 4196468 140721080659568 139699151647856 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4459] ppid=4448 vsize=14089320 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4459/stat : 4459 (java) S 4448 4448 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047677 14427463680 16725 33554432000 4194304 4196468 140721080659568 139699150596176 139699679586203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4460] ppid=4448 vsize=14089320 memory=61992 CPUtime=0.28 cores=0,2,4,6
/proc/4450/task/4460/stat : 4460 (java) R 4448 4448 2709 0 -1 4202560 2185 0 0 0 28 0 0 0 20 0 15 0 228047677 14427463680 16725 33554432000 4194304 4196468 140721080659568 139699149525064 139699660320033 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4461] ppid=4448 vsize=14089320 memory=1220 CPUtime=0.3 cores=0,2,4,6
/proc/4450/task/4461/stat : 4461 (java) R 4448 4448 2709 0 -1 4202560 1026 0 0 0 30 0 0 0 20 0 15 0 228047677 14427463680 16725 33554432000 4194304 4196468 140721080659568 139699148482080 139699665584320 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4462] ppid=4448 vsize=14089320 memory=2380 CPUtime=0.27 cores=0,2,4,6
/proc/4450/task/4462/stat : 4462 (java) S 4448 4448 2709 0 -1 1077944384 1440 0 0 0 27 0 0 0 20 0 15 0 228047677 14427463680 16725 33554432000 4194304 4196468 140721080659568 139699147438960 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4463] ppid=4448 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4463/stat : 4463 (java) S 4448 4448 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047677 14427463680 16725 33554432000 4194304 4196468 140721080659568 139699146386400 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4464] ppid=4448 vsize=14089320 memory=7595156207412209490 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4464/stat : 4464 (java) S 4448 4448 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047678 14427463680 16725 33554432000 4194304 4196468 140721080659568 139699145333168 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 68356 KiB

[startup+1.50079 s]
/proc/loadavg: 2.05 1.89 1.82 5/218 4464
/proc/meminfo: memFree=13059924/32770624 swapFree=67108792/67108860
[pid=4448] ppid=4445 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4448/stat : 4448 (xcsp3-exec) S 4445 4448 2709 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228047672 115843072 364 33554432000 4194304 5098028 140732543702512 140732543700616 139780979401340 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33792000 140732543710266 140732543710468 140732543710468 140732543713226 0
/proc/4448/statm: 28282 364 306 221 0 87 0

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

/proc/4448/stat : 4448 (xcsp3-exec) S 4445 4448 2709 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228047672 115843072 364 33554432000 4194304 5098028 140732543702512 140732543700616 139780979401340 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33792000 140732543710266 140732543710468 140732543710468 140732543713226 0
/proc/4448/statm: 28282 364 306 221 0 87 0
[pid=4450] ppid=4448 vsize=14089320 memory=515192 CPUtime=307.11 cores=0,2,4,6
/proc/4450/stat : 4450 (java) S 4448 4448 2709 0 -1 1077944320 53684 0 0 0 30676 35 0 0 20 0 15 0 228047672 14427463680 128798 33554432000 4194304 4196468 140721080659568 140721080642112 139699679567607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
/proc/4450/statm: 3522330 128798 3392 1 0 3483524 0
[pid=4450/tid=4451] ppid=4448 vsize=14089320 memory=8112282956445269571 CPUtime=302.85 cores=0,2,4,6
/proc/4450/task/4451/stat : 4451 (java) R 4448 4448 2709 0 -1 4202560 26994 0 0 0 30274 11 0 0 20 0 15 0 228047672 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699683807328 139699319680984 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4452] ppid=4448 vsize=14089320 memory=-7003737579269690708 CPUtime=0.38 cores=0,2,4,6
/proc/4450/task/4452/stat : 4452 (java) S 4448 4448 2709 0 -1 1077944384 903 0 0 0 34 4 0 0 20 0 15 0 228047673 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699651410832 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4453] ppid=4448 vsize=14089320 memory=3848 CPUtime=0.4 cores=0,2,4,6
/proc/4450/task/4453/stat : 4453 (java) S 4448 4448 2709 0 -1 1077944384 1538 0 0 0 36 4 0 0 20 0 15 0 228047673 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699274226448 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4454] ppid=4448 vsize=14089320 memory=2852 CPUtime=0.4 cores=0,2,4,6
/proc/4450/task/4454/stat : 4454 (java) S 4448 4448 2709 0 -1 1077944384 1318 0 0 0 35 5 0 0 20 0 15 0 228047673 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699273174160 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4455] ppid=4448 vsize=14089320 memory=2588 CPUtime=0.4 cores=0,2,4,6
/proc/4450/task/4455/stat : 4455 (java) S 4448 4448 2709 0 -1 1077944384 1207 0 0 0 36 4 0 0 20 0 15 0 228047673 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699272121360 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4456] ppid=4448 vsize=14089320 memory=4104 CPUtime=0.48 cores=0,2,4,6
/proc/4450/task/4456/stat : 4456 (java) S 4448 4448 2709 0 -1 1077944384 1984 0 0 0 46 2 0 0 20 0 15 0 228047674 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699153754224 139699679578754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4457] ppid=4448 vsize=14089320 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4457/stat : 4457 (java) S 4448 4448 2709 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 228047675 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699152700192 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4458] ppid=4448 vsize=14089320 memory=3112 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4458/stat : 4458 (java) S 4448 4448 2709 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 228047675 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699151647856 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4459] ppid=4448 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4459/stat : 4459 (java) S 4448 4448 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699150596176 139699679586203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4460] ppid=4448 vsize=14089320 memory=1620 CPUtime=0.84 cores=0,2,4,6
/proc/4450/task/4460/stat : 4460 (java) S 4448 4448 2709 0 -1 1077944384 8530 0 0 0 82 2 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699149544048 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4461] ppid=4448 vsize=14089320 memory=4744 CPUtime=0.84 cores=0,2,4,6
/proc/4450/task/4461/stat : 4461 (java) S 4448 4448 2709 0 -1 1077944384 5963 0 0 0 83 1 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699148491248 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4462] ppid=4448 vsize=14089320 memory=1456 CPUtime=0.34 cores=0,2,4,6
/proc/4450/task/4462/stat : 4462 (java) S 4448 4448 2709 0 -1 1077944384 3284 0 0 0 33 1 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699147438960 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4463] ppid=4448 vsize=14089320 memory=515192 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4463/stat : 4463 (java) S 4448 4448 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699146386400 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4464] ppid=4448 vsize=14089320 memory=8112282956445269571 CPUtime=0.1 cores=0,2,4,6
/proc/4450/task/4464/stat : 4464 (java) S 4448 4448 2709 0 -1 1077944384 608 0 0 0 6 4 0 0 20 0 15 0 228047678 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699145333168 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
Current children cumulated CPU time: 307.11 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 516648 KiB

[startup+305.601 s]
/proc/loadavg: 1.83 1.83 1.81 3/217 4547
/proc/meminfo: memFree=14874352/32770624 swapFree=67108792/67108860
[pid=4448] ppid=4445 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4448/stat : 4448 (xcsp3-exec) S 4445 4448 2709 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228047672 115843072 364 33554432000 4194304 5098028 140732543702512 140732543700616 139780979401340 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33792000 140732543710266 140732543710468 140732543710468 140732543713226 0
/proc/4448/statm: 28282 364 306 221 0 87 0
[pid=4450] ppid=4448 vsize=14089320 memory=515192 CPUtime=308.7 cores=0,2,4,6
/proc/4450/stat : 4450 (java) S 4448 4448 2709 0 -1 1077944320 53691 0 0 0 30835 35 0 0 20 0 15 0 228047672 14427463680 128798 33554432000 4194304 4196468 140721080659568 140721080642112 139699679567607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
/proc/4450/statm: 3522330 128798 3392 1 0 3483524 0
[pid=4450/tid=4451] ppid=4448 vsize=14089320 memory=1800 CPUtime=304.44 cores=0,2,4,6
/proc/4450/task/4451/stat : 4451 (java) R 4448 4448 2709 0 -1 4202560 26999 0 0 0 30433 11 0 0 20 0 15 0 228047672 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699683807328 139699318994907 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4452] ppid=4448 vsize=14089320 memory=1456 CPUtime=0.38 cores=0,2,4,6
/proc/4450/task/4452/stat : 4452 (java) S 4448 4448 2709 0 -1 1077944384 903 0 0 0 34 4 0 0 20 0 15 0 228047673 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699651410832 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4453] ppid=4448 vsize=14089320 memory=515192 CPUtime=0.4 cores=0,2,4,6
/proc/4450/task/4453/stat : 4453 (java) S 4448 4448 2709 0 -1 1077944384 1538 0 0 0 36 4 0 0 20 0 15 0 228047673 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699274226448 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4454] ppid=4448 vsize=14089320 memory=1752 CPUtime=0.4 cores=0,2,4,6
/proc/4450/task/4454/stat : 4454 (java) S 4448 4448 2709 0 -1 1077944384 1318 0 0 0 35 5 0 0 20 0 15 0 228047673 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699273174160 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4455] ppid=4448 vsize=14089320 memory=1456 CPUtime=0.4 cores=0,2,4,6
/proc/4450/task/4455/stat : 4455 (java) S 4448 4448 2709 0 -1 1077944384 1207 0 0 0 36 4 0 0 20 0 15 0 228047673 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699272121360 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4456] ppid=4448 vsize=14089320 memory=515192 CPUtime=0.48 cores=0,2,4,6
/proc/4450/task/4456/stat : 4456 (java) S 4448 4448 2709 0 -1 1077944384 1984 0 0 0 46 2 0 0 20 0 15 0 228047674 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699153754224 139699679578754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4457] ppid=4448 vsize=14089320 memory=582576 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4457/stat : 4457 (java) S 4448 4448 2709 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 228047675 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699152700192 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4458] ppid=4448 vsize=14089320 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4458/stat : 4458 (java) S 4448 4448 2709 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 228047675 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699151647856 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4459] ppid=4448 vsize=14089320 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4459/stat : 4459 (java) S 4448 4448 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699150596176 139699679586203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4460] ppid=4448 vsize=14089320 memory=2380 CPUtime=0.84 cores=0,2,4,6
/proc/4450/task/4460/stat : 4460 (java) S 4448 4448 2709 0 -1 1077944384 8530 0 0 0 82 2 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699149544048 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4461] ppid=4448 vsize=14089320 memory=1752 CPUtime=0.84 cores=0,2,4,6
/proc/4450/task/4461/stat : 4461 (java) S 4448 4448 2709 0 -1 1077944384 5963 0 0 0 83 1 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699148491248 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4462] ppid=4448 vsize=14089320 memory=8112282956445269571 CPUtime=0.34 cores=0,2,4,6
/proc/4450/task/4462/stat : 4462 (java) S 4448 4448 2709 0 -1 1077944384 3284 0 0 0 33 1 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699147438960 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4463] ppid=4448 vsize=14089320 memory=-7173504570862900581 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4463/stat : 4463 (java) S 4448 4448 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699146386400 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4464] ppid=4448 vsize=14089320 memory=-7173504570860347296 CPUtime=0.1 cores=0,2,4,6
/proc/4450/task/4464/stat : 4464 (java) S 4448 4448 2709 0 -1 1077944384 610 0 0 0 6 4 0 0 20 0 15 0 228047678 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699145333168 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
Current children cumulated CPU time: 308.7 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 516648 KiB

[startup+306.401 s]
/proc/loadavg: 1.83 1.83 1.81 4/217 4547
/proc/meminfo: memFree=14874352/32770624 swapFree=67108792/67108860
[pid=4448] ppid=4445 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4448/stat : 4448 (xcsp3-exec) S 4445 4448 2709 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228047672 115843072 364 33554432000 4194304 5098028 140732543702512 140732543700616 139780979401340 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33792000 140732543710266 140732543710468 140732543710468 140732543713226 0
/proc/4448/statm: 28282 364 306 221 0 87 0
[pid=4450] ppid=4448 vsize=14089320 memory=515192 CPUtime=309.5 cores=0,2,4,6
/proc/4450/stat : 4450 (java) S 4448 4448 2709 0 -1 1077944320 53697 0 0 0 30915 35 0 0 20 0 15 0 228047672 14427463680 128798 33554432000 4194304 4196468 140721080659568 140721080642112 139699679567607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
/proc/4450/statm: 3522330 128798 3392 1 0 3483524 0
[pid=4450/tid=4451] ppid=4448 vsize=14089320 memory=8112282956445269571 CPUtime=305.24 cores=0,2,4,6
/proc/4450/task/4451/stat : 4451 (java) R 4448 4448 2709 0 -1 4202560 27005 0 0 0 30513 11 0 0 20 0 15 0 228047672 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699683807328 139699316851511 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4452] ppid=4448 vsize=14089320 memory=7136 CPUtime=0.38 cores=0,2,4,6
/proc/4450/task/4452/stat : 4452 (java) S 4448 4448 2709 0 -1 1077944384 903 0 0 0 34 4 0 0 20 0 15 0 228047673 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699651410832 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4453] ppid=4448 vsize=14089320 memory=748 CPUtime=0.4 cores=0,2,4,6
/proc/4450/task/4453/stat : 4453 (java) S 4448 4448 2709 0 -1 1077944384 1538 0 0 0 36 4 0 0 20 0 15 0 228047673 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699274226448 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4454] ppid=4448 vsize=14089320 memory=872 CPUtime=0.4 cores=0,2,4,6
/proc/4450/task/4454/stat : 4454 (java) S 4448 4448 2709 0 -1 1077944384 1318 0 0 0 35 5 0 0 20 0 15 0 228047673 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699273174160 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4455] ppid=4448 vsize=14089320 memory=1220 CPUtime=0.4 cores=0,2,4,6
/proc/4450/task/4455/stat : 4455 (java) S 4448 4448 2709 0 -1 1077944384 1207 0 0 0 36 4 0 0 20 0 15 0 228047673 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699272121360 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4456] ppid=4448 vsize=14089320 memory=1108 CPUtime=0.48 cores=0,2,4,6
/proc/4450/task/4456/stat : 4456 (java) S 4448 4448 2709 0 -1 1077944384 1984 0 0 0 46 2 0 0 20 0 15 0 228047674 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699153754224 139699679578754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4457] ppid=4448 vsize=14089320 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4457/stat : 4457 (java) S 4448 4448 2709 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 228047675 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699152700192 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4458] ppid=4448 vsize=14089320 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4458/stat : 4458 (java) S 4448 4448 2709 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 228047675 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699151647856 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4459] ppid=4448 vsize=14089320 memory=1108 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4459/stat : 4459 (java) S 4448 4448 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699150596176 139699679586203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4460] ppid=4448 vsize=14089320 memory=15336 CPUtime=0.84 cores=0,2,4,6
/proc/4450/task/4460/stat : 4460 (java) S 4448 4448 2709 0 -1 1077944384 8530 0 0 0 82 2 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699149544048 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4461] ppid=4448 vsize=14089320 memory=15840 CPUtime=0.84 cores=0,2,4,6
/proc/4450/task/4461/stat : 4461 (java) S 4448 4448 2709 0 -1 1077944384 5963 0 0 0 83 1 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699148491248 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4462] ppid=4448 vsize=14089320 memory=34912 CPUtime=0.34 cores=0,2,4,6
/proc/4450/task/4462/stat : 4462 (java) S 4448 4448 2709 0 -1 1077944384 3284 0 0 0 33 1 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699147438960 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4463] ppid=4448 vsize=14089320 memory=3304 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4463/stat : 4463 (java) S 4448 4448 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699146386400 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4464] ppid=4448 vsize=14089320 memory=496 CPUtime=0.1 cores=0,2,4,6
/proc/4450/task/4464/stat : 4464 (java) S 4448 4448 2709 0 -1 1077944384 610 0 0 0 6 4 0 0 20 0 15 0 228047678 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699145333168 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
Current children cumulated CPU time: 309.5 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 516648 KiB

[startup+306.601 s]
/proc/loadavg: 1.83 1.83 1.81 4/217 4547
/proc/meminfo: memFree=14874352/32770624 swapFree=67108792/67108860
[pid=4448] ppid=4445 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4448/stat : 4448 (xcsp3-exec) S 4445 4448 2709 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228047672 115843072 364 33554432000 4194304 5098028 140732543702512 140732543700616 139780979401340 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33792000 140732543710266 140732543710468 140732543710468 140732543713226 0
/proc/4448/statm: 28282 364 306 221 0 87 0
[pid=4450] ppid=4448 vsize=14089320 memory=515192 CPUtime=309.7 cores=0,2,4,6
/proc/4450/stat : 4450 (java) S 4448 4448 2709 0 -1 1077944320 53699 0 0 0 30935 35 0 0 20 0 15 0 228047672 14427463680 128798 33554432000 4194304 4196468 140721080659568 140721080642112 139699679567607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
/proc/4450/statm: 3522330 128798 3392 1 0 3483524 0
[pid=4450/tid=4451] ppid=4448 vsize=14089320 memory=5796255223335250002 CPUtime=305.44 cores=0,2,4,6
/proc/4450/task/4451/stat : 4451 (java) R 4448 4448 2709 0 -1 4202560 27007 0 0 0 30533 11 0 0 20 0 15 0 228047672 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699683807328 139699319248595 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4452] ppid=4448 vsize=14089320 memory=8112282956445269571 CPUtime=0.38 cores=0,2,4,6
/proc/4450/task/4452/stat : 4452 (java) S 4448 4448 2709 0 -1 1077944384 903 0 0 0 34 4 0 0 20 0 15 0 228047673 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699651410832 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4453] ppid=4448 vsize=14089320 memory=301741394933055803 CPUtime=0.4 cores=0,2,4,6
/proc/4450/task/4453/stat : 4453 (java) S 4448 4448 2709 0 -1 1077944384 1538 0 0 0 36 4 0 0 20 0 15 0 228047673 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699274226448 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4454] ppid=4448 vsize=14089320 memory=15817794159643212 CPUtime=0.4 cores=0,2,4,6
/proc/4450/task/4454/stat : 4454 (java) S 4448 4448 2709 0 -1 1077944384 1318 0 0 0 35 5 0 0 20 0 15 0 228047673 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699273174160 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4455] ppid=4448 vsize=14089320 memory=7310027617963868211 CPUtime=0.4 cores=0,2,4,6
/proc/4450/task/4455/stat : 4455 (java) S 4448 4448 2709 0 -1 1077944384 1207 0 0 0 36 4 0 0 20 0 15 0 228047673 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699272121360 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4456] ppid=4448 vsize=14089320 memory=291045363031484767 CPUtime=0.48 cores=0,2,4,6
/proc/4450/task/4456/stat : 4456 (java) S 4448 4448 2709 0 -1 1077944384 1984 0 0 0 46 2 0 0 20 0 15 0 228047674 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699153754224 139699679578754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4457] ppid=4448 vsize=14089320 memory=15819997512666159 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4457/stat : 4457 (java) S 4448 4448 2709 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 228047675 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699152700192 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4458] ppid=4448 vsize=14089320 memory=-9001734013606258791 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4458/stat : 4458 (java) S 4448 4448 2709 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 228047675 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699151647856 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4459] ppid=4448 vsize=14089320 memory=-7384994778349281184 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4459/stat : 4459 (java) S 4448 4448 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699150596176 139699679586203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4460] ppid=4448 vsize=14089320 memory=-7385037615359298921 CPUtime=0.84 cores=0,2,4,6
/proc/4450/task/4460/stat : 4460 (java) S 4448 4448 2709 0 -1 1077944384 8530 0 0 0 82 2 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699149544048 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4461] ppid=4448 vsize=14089320 memory=7681905605394137914 CPUtime=0.84 cores=0,2,4,6
/proc/4450/task/4461/stat : 4461 (java) S 4448 4448 2709 0 -1 1077944384 5963 0 0 0 83 1 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699148491248 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4462] ppid=4448 vsize=14089320 memory=-7522837583129502606 CPUtime=0.34 cores=0,2,4,6
/proc/4450/task/4462/stat : 4462 (java) S 4448 4448 2709 0 -1 1077944384 3284 0 0 0 33 1 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699147438960 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4463] ppid=4448 vsize=14089320 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4463/stat : 4463 (java) S 4448 4448 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047677 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699146386400 139699679577813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
[pid=4450/tid=4464] ppid=4448 vsize=14089320 memory=-7233780906022726806 CPUtime=0.1 cores=0,2,4,6
/proc/4450/task/4464/stat : 4464 (java) S 4448 4448 2709 0 -1 1077944384 610 0 0 0 6 4 0 0 20 0 15 0 228047678 14427463680 128798 33554432000 4194304 4196468 140721080659568 139699145333168 139699679578754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 31809536 140721080665222 140721080665393 140721080665393 140721080668111 0
Current children cumulated CPU time: 309.7 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 516648 KiB

Child status: 0
Real time (s): 306.62
CPU time (s): 309.738
CPU user time (s): 309.372
CPU system time (s): 0.365592
CPU usage (%): 101.017
Max. virtual memory (cumulated for all children) (KiB): 14204276
Max. memory (cumulated for all children) (KiB): 516648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 309.372
system time used= 0.365592
maximum resident set size= 515548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55044
page faults= 0
swaps= 0
block input operations= 0
block output operations= 440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21122
involuntary context switches= 701


# summary of solver processes directly reported to runsolver:
#   pid: 4448
#   total CPU time (s): 309.738
#   total CPU user time (s): 309.372
#   total CPU system time (s): 0.365592

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.73782 second user time and 2.98792 second system time

The end

Launcher Data 

Begin job on node150 at 2018-08-12 22:14:04
IDJOB=4306801
IDBENCH=141408
IDSOLVER=2787
FILE ID=node150/4306801-1534104844
RUNJOBID= node150-1534096899-2740
PBS_JOBID= 21036998
Free space on /tmp= 35012 MiB

SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e)
BENCH NAME= XCSP18/Dubois/Dubois-024_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4306801-1534104844/watcher-4306801-1534104844 -o /tmp/evaluation-result-4306801-1534104844/solver-4306801-1534104844 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534096899-2740 --watchdog 2580  HOME/xcsp3-exec -seed 1171682572 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306801-1534104844.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 4f48250d2147fae0e085f28a4cc8c702
RANDOM SEED=1171682572

node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
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.76
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.76
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.76
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:        13133076 kB
MemAvailable:   29090172 kB
Buffers:          216908 kB
Cached:         15805596 kB
SwapCached:           32 kB
Active:         10779112 kB
Inactive:        8107420 kB
Active(anon):    2815600 kB
Inactive(anon):   101248 kB
Active(file):    7963512 kB
Inactive(file):  8006172 kB
Unevictable:        7736 kB
Mlocked:            7736 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:             21680 kB
Writeback:             0 kB
AnonPages:       2861652 kB
Mapped:            66188 kB
Shmem:             49732 kB
Slab:             443972 kB
SReclaimable:     415872 kB
SUnreclaim:        28100 kB
KernelStack:        3632 kB
PageTables:        11052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4525928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2736128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 34992 MiB
End job on node150 at 2018-08-12 22:19:11