Trace number 4307026

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 76.5167 69.9251

General information on the benchmark

NameRlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f05_c18.xml
MD5SUMf8050e8ddc741b4fb4a45c7e8cfb7628
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 benchmark12.3018
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Number of domains5
Minimum domain size6
Maximum domain size39
Distribution of domain sizes[{"size":6,"count":2},{"size":21,"count":4},{"size":22,"count":10},{"size":32,"count":336},{"size":39,"count":328}]
Minimum variable degree1
Maximum variable degree62
Distribution of variable degrees[{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4103}]
Number of extensional constraints0
Number of intensional constraints4103
Distribution of constraint types[{"type":"intension","count":4103}]
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-4307026-1534056815.xml"  -tl '2520s' -p 1
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4307026-1534056815.xml, -tl, 2520s, -p, 1]
0.34/0.22	c simple solver
0.34/0.28	c parse instance...
4.07/1.43	c solve instance...
76.48/69.91	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 (14619 MiB free)
  memory of node 1: 16384 MiB (12179 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307026-1534056815/watcher-4307026-1534056815 -o /tmp/evaluation-result-4307026-1534056815/solver-4307026-1534056815 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534038962-16488 --watchdog 2580 HOME/xcsp3-exec -seed 736611306 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307026-1534056815.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
Current StackSize limit: 8192 KiB

solver pid=18791, runsolver pid=18788

[startup+0.100061 s]*
/proc/loadavg: 1.63 1.62 1.60 4/219 18807
/proc/meminfo: memFree=27425156/32770624 swapFree=67030644/67108860
[pid=18791] ppid=18788 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18791/stat : 18791 (xcsp3-exec) S 18788 18791 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223244668 115843072 363 33554432000 4194304 5098028 140736463875552 140736463873656 139723729891964 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8282112 140736463881275 140736463881476 140736463881476 140736463884234 0
/proc/18791/statm: 28282 363 305 221 0 87 0
[pid=18793] ppid=18791 vsize=14082940 memory=28704 CPUtime=0.12 cores=0,2,4,6
/proc/18793/stat : 18793 (java) S 18791 18791 15061 0 -1 1077944320 5518 0 0 0 11 1 0 0 20 0 15 0 223244668 14420930560 7176 33554432000 4194304 4196468 140731811168448 140731811150992 140644113338103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
/proc/18793/statm: 3520735 7176 3028 1 0 3483012 0
[pid=18793/tid=18794] ppid=18791 vsize=14082940 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/18793/task/18794/stat : 18794 (java) R 18791 18791 15061 0 -1 4202560 3532 0 0 0 8 0 0 0 20 0 15 0 223244668 14420930560 7176 33554432000 4194304 4196468 140731811168448 140644117571376 140644097418590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18795] ppid=18791 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18795/stat : 18795 (java) S 18791 18791 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223244669 14420930560 7176 33554432000 4194304 4196468 140731811168448 140644074298384 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18796] ppid=18791 vsize=14082940 memory=139667294348928 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18796/stat : 18796 (java) S 18791 18791 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223244669 14420930560 7176 33554432000 4194304 4196468 140731811168448 140643708152976 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18797] ppid=18791 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18797/stat : 18797 (java) S 18791 18791 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223244669 14420930560 7176 33554432000 4194304 4196468 140731811168448 140643707099920 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18798] ppid=18791 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18798/stat : 18798 (java) S 18791 18791 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223244669 14420930560 7176 33554432000 4194304 4196468 140731811168448 140643706047376 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18799] ppid=18791 vsize=14082940 memory=139667294348928 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18799/stat : 18799 (java) S 18791 18791 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223244670 14420930560 7176 33554432000 4194304 4196468 140731811168448 140643587258608 140644113349250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18800] ppid=18791 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18800/stat : 18800 (java) S 18791 18791 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223244671 14420930560 7176 33554432000 4194304 4196468 140731811168448 140643586204832 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18801] ppid=18791 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18801/stat : 18801 (java) S 18791 18791 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223244671 14420930560 7176 33554432000 4194304 4196468 140731811168448 140643585151728 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18802] ppid=18791 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18802/stat : 18802 (java) S 18791 18791 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223244673 14420930560 7176 33554432000 4194304 4196468 140731811168448 140643584100304 140644113356699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18803] ppid=18791 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18803/stat : 18803 (java) S 18791 18791 15061 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 223244673 14420930560 7176 33554432000 4194304 4196468 140731811168448 140643583048432 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18804] ppid=18791 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18804/stat : 18804 (java) S 18791 18791 15061 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223244673 14420930560 7176 33554432000 4194304 4196468 140731811168448 140643581995888 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18805] ppid=18791 vsize=14082940 memory=139667294348928 CPUtime=0.01 cores=0,2,4,6
/proc/18793/task/18805/stat : 18805 (java) S 18791 18791 15061 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 15 0 223244673 14420930560 7176 33554432000 4194304 4196468 140731811168448 140643580942832 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18806] ppid=18791 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18806/stat : 18806 (java) S 18791 18791 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223244674 14420930560 7176 33554432000 4194304 4196468 140731811168448 140643579890528 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18807] ppid=18791 vsize=14082940 memory=139667294348928 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18807/stat : 18807 (java) S 18791 18791 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223244674 14420930560 7176 33554432000 4194304 4196468 140731811168448 140643578837552 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30156 KiB

[startup+0.210758 s]*
/proc/loadavg: 1.63 1.62 1.60 4/219 18807
/proc/meminfo: memFree=27414364/32770624 swapFree=67030644/67108860
[pid=18791] ppid=18788 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18791/stat : 18791 (xcsp3-exec) S 18788 18791 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223244668 115843072 363 33554432000 4194304 5098028 140736463875552 140736463873656 139723729891964 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8282112 140736463881275 140736463881476 140736463881476 140736463884234 0
/proc/18791/statm: 28282 363 305 221 0 87 0
[pid=18793] ppid=18791 vsize=14082940 memory=40392 CPUtime=0.34 cores=0,2,4,6
/proc/18793/stat : 18793 (java) S 18791 18791 15061 0 -1 1077944320 8189 0 0 0 31 3 0 0 20 0 15 0 223244668 14420930560 10098 33554432000 4194304 4196468 140731811168448 140731811150992 140644113338103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
/proc/18793/statm: 3520735 10098 3176 1 0 3483012 0
[pid=18793/tid=18794] ppid=18791 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/18793/task/18794/stat : 18794 (java) R 18791 18791 15061 0 -1 4202560 5406 0 0 0 18 1 0 0 20 0 15 0 223244668 14420930560 10098 33554432000 4194304 4196468 140731811168448 140644117575904 140644113360029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18795] ppid=18791 vsize=14082940 memory=8948 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18795/stat : 18795 (java) S 18791 18791 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223244669 14420930560 10098 33554432000 4194304 4196468 140731811168448 140644074298384 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18796] ppid=18791 vsize=14082940 memory=3474728585212421792 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18796/stat : 18796 (java) S 18791 18791 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223244669 14420930560 10098 33554432000 4194304 4196468 140731811168448 140643708152976 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18797] ppid=18791 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18797/stat : 18797 (java) S 18791 18791 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223244669 14420930560 10098 33554432000 4194304 4196468 140731811168448 140643707099920 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18798] ppid=18791 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18798/stat : 18798 (java) S 18791 18791 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223244669 14420930560 10098 33554432000 4194304 4196468 140731811168448 140643706047376 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18799] ppid=18791 vsize=14082940 memory=139667294348928 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18799/stat : 18799 (java) S 18791 18791 15061 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223244670 14420930560 10098 33554432000 4194304 4196468 140731811168448 140643587258608 140644113349250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18800] ppid=18791 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18800/stat : 18800 (java) S 18791 18791 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223244671 14420930560 10098 33554432000 4194304 4196468 140731811168448 140643586204832 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18801] ppid=18791 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18801/stat : 18801 (java) S 18791 18791 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223244671 14420930560 10098 33554432000 4194304 4196468 140731811168448 140643585151728 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18802] ppid=18791 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18802/stat : 18802 (java) S 18791 18791 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223244673 14420930560 10098 33554432000 4194304 4196468 140731811168448 140643584100304 140644113356699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18803] ppid=18791 vsize=14082940 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18793/task/18803/stat : 18803 (java) S 18791 18791 15061 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 15 0 223244673 14420930560 10098 33554432000 4194304 4196468 140731811168448 140643583048432 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18804] ppid=18791 vsize=14082940 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/18793/task/18804/stat : 18804 (java) S 18791 18791 15061 0 -1 1077944384 194 0 0 0 3 0 0 0 20 0 15 0 223244673 14420930560 10098 33554432000 4194304 4196468 140731811168448 140643581995888 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18805] ppid=18791 vsize=14082940 memory=139667294348928 CPUtime=0.08 cores=0,2,4,6
/proc/18793/task/18805/stat : 18805 (java) S 18791 18791 15061 0 -1 1077944384 791 0 0 0 8 0 0 0 20 0 15 0 223244673 14420930560 10098 33554432000 4194304 4196468 140731811168448 140643580942832 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18806] ppid=18791 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18806/stat : 18806 (java) S 18791 18791 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223244674 14420930560 10098 33554432000 4194304 4196468 140731811168448 140643579890528 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18807] ppid=18791 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18807/stat : 18807 (java) S 18791 18791 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223244674 14420930560 10098 33554432000 4194304 4196468 140731811168448 140643578837552 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41844 KiB

[startup+0.320609 s]*
/proc/loadavg: 1.63 1.62 1.60 4/219 18807
/proc/meminfo: memFree=27407044/32770624 swapFree=67030644/67108860
[pid=18791] ppid=18788 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18791/stat : 18791 (xcsp3-exec) S 18788 18791 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223244668 115843072 363 33554432000 4194304 5098028 140736463875552 140736463873656 139723729891964 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8282112 140736463881275 140736463881476 140736463881476 140736463884234 0
/proc/18791/statm: 28282 363 305 221 0 87 0
[pid=18793] ppid=18791 vsize=14087196 memory=48340 CPUtime=0.54 cores=0,2,4,6
/proc/18793/stat : 18793 (java) S 18791 18791 15061 0 -1 1077944320 9261 0 0 0 50 4 0 0 20 0 15 0 223244668 14425288704 12085 33554432000 4194304 4196468 140731811168448 140731811150992 140644113338103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
/proc/18793/statm: 3521799 12085 3273 1 0 3483012 0
[pid=18793/tid=18794] ppid=18791 vsize=14087196 memory=6791534058613427641 CPUtime=0.31 cores=0,2,4,6
/proc/18793/task/18794/stat : 18794 (java) R 18791 18791 15061 0 -1 4202560 6220 0 0 0 28 3 0 0 20 0 15 0 223244668 14425288704 12085 33554432000 4194304 4196468 140731811168448 140644117572512 140644097418590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18795] ppid=18791 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18795/stat : 18795 (java) S 18791 18791 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223244669 14425288704 12085 33554432000 4194304 4196468 140731811168448 140644074298384 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18796] ppid=18791 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18796/stat : 18796 (java) S 18791 18791 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223244669 14425288704 12085 33554432000 4194304 4196468 140731811168448 140643708152976 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18797] ppid=18791 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18797/stat : 18797 (java) S 18791 18791 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223244669 14425288704 12085 33554432000 4194304 4196468 140731811168448 140643707099920 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18798] ppid=18791 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18798/stat : 18798 (java) S 18791 18791 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223244669 14425288704 12085 33554432000 4194304 4196468 140731811168448 140643706047376 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18799] ppid=18791 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18799/stat : 18799 (java) S 18791 18791 15061 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223244670 14425288704 12085 33554432000 4194304 4196468 140731811168448 140643587258608 140644113349250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18800] ppid=18791 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18800/stat : 18800 (java) S 18791 18791 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223244671 14425288704 12085 33554432000 4194304 4196468 140731811168448 140643586204832 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18801] ppid=18791 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18801/stat : 18801 (java) S 18791 18791 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223244671 14425288704 12085 33554432000 4194304 4196468 140731811168448 140643585151728 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18802] ppid=18791 vsize=14087196 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18802/stat : 18802 (java) S 18791 18791 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223244673 14425288704 12085 33554432000 4194304 4196468 140731811168448 140643584100304 140644113356699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18803] ppid=18791 vsize=14087196 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/18793/task/18803/stat : 18803 (java) S 18791 18791 15061 0 -1 1077944384 608 0 0 0 4 0 0 0 20 0 15 0 223244673 14425288704 12085 33554432000 4194304 4196468 140731811168448 140643583048432 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18804] ppid=18791 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/18793/task/18804/stat : 18804 (java) S 18791 18791 15061 0 -1 1077944384 204 0 0 0 5 0 0 0 20 0 15 0 223244673 14425288704 12085 33554432000 4194304 4196468 140731811168448 140643581995888 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18805] ppid=18791 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/18793/task/18805/stat : 18805 (java) S 18791 18791 15061 0 -1 1077944384 924 0 0 0 12 0 0 0 20 0 15 0 223244673 14425288704 12085 33554432000 4194304 4196468 140731811168448 140643580942832 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18806] ppid=18791 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18806/stat : 18806 (java) S 18791 18791 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223244674 14425288704 12085 33554432000 4194304 4196468 140731811168448 140643579890528 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18807] ppid=18791 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18807/stat : 18807 (java) S 18791 18791 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223244674 14425288704 12085 33554432000 4194304 4196468 140731811168448 140643578837552 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49792 KiB

[startup+0.703603 s]
/proc/loadavg: 1.63 1.62 1.60 4/219 18807
/proc/meminfo: memFree=27335692/32770624 swapFree=67030644/67108860
[pid=18791] ppid=18788 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18791/stat : 18791 (xcsp3-exec) S 18788 18791 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223244668 115843072 363 33554432000 4194304 5098028 140736463875552 140736463873656 139723729891964 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8282112 140736463881275 140736463881476 140736463881476 140736463884234 0
/proc/18791/statm: 28282 363 305 221 0 87 0
[pid=18793] ppid=18791 vsize=14089320 memory=191220 CPUtime=1.77 cores=0,2,4,6
/proc/18793/stat : 18793 (java) S 18791 18791 15061 0 -1 1077944320 14333 0 0 0 169 8 0 0 20 0 15 0 223244668 14427463680 47805 33554432000 4194304 4196468 140731811168448 140731811150992 140644113338103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
/proc/18793/statm: 3522330 47805 3369 1 0 3483524 0
[pid=18793/tid=18794] ppid=18791 vsize=14089320 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/18793/task/18794/stat : 18794 (java) R 18791 18791 15061 0 -1 4202560 6810 0 0 0 62 5 0 0 20 0 15 0 223244668 14427463680 47805 33554432000 4194304 4196468 140731811168448 140644117575008 140643754057018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18795] ppid=18791 vsize=14089320 memory=288230608902300371 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18795/stat : 18795 (java) S 18791 18791 15061 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223244669 14427463680 47805 33554432000 4194304 4196468 140731811168448 140644074298384 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18796] ppid=18791 vsize=14089320 memory=15260328862699250 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18796/stat : 18796 (java) S 18791 18791 15061 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 223244669 14427463680 47805 33554432000 4194304 4196468 140731811168448 140643708152976 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18797] ppid=18791 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18797/stat : 18797 (java) S 18791 18791 15061 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 223244669 14427463680 47805 33554432000 4194304 4196468 140731811168448 140643707099920 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18798] ppid=18791 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18798/stat : 18798 (java) S 18791 18791 15061 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223244669 14427463680 47805 33554432000 4194304 4196468 140731811168448 140643706047376 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18799] ppid=18791 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18799/stat : 18799 (java) S 18791 18791 15061 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 223244670 14427463680 47805 33554432000 4194304 4196468 140731811168448 140643587258608 140644113349250 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18800] ppid=18791 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18800/stat : 18800 (java) S 18791 18791 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223244671 14427463680 47805 33554432000 4194304 4196468 140731811168448 140643586204832 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18801] ppid=18791 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18801/stat : 18801 (java) S 18791 18791 15061 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 223244671 14427463680 47805 33554432000 4194304 4196468 140731811168448 140643585151728 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18802] ppid=18791 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18802/stat : 18802 (java) S 18791 18791 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223244673 14427463680 47805 33554432000 4194304 4196468 140731811168448 140643584100304 140644113356699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18803] ppid=18791 vsize=14089320 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/18793/task/18803/stat : 18803 (java) R 18791 18791 15061 0 -1 4202560 1868 0 0 0 33 0 0 0 20 0 15 0 223244673 14427463680 47805 33554432000 4194304 4196468 140731811168448 140643583047616 140644098445785 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18804] ppid=18791 vsize=14089320 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/18793/task/18804/stat : 18804 (java) R 18791 18791 15061 0 -1 4202560 1517 0 0 0 32 0 0 0 20 0 15 0 223244673 14427463680 47805 33554432000 4194304 4196468 140731811168448 140643581986864 140644098461676 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18805] ppid=18791 vsize=14089320 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/18793/task/18805/stat : 18805 (java) R 18791 18791 15061 0 -1 4202560 2720 0 0 0 39 1 0 0 20 0 15 0 223244673 14427463680 47805 33554432000 4194304 4196468 140731811168448 140643580939768 140644099662487 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18806] ppid=18791 vsize=14089320 memory=4639074098508484692 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18806/stat : 18806 (java) S 18791 18791 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223244674 14427463680 47805 33554432000 4194304 4196468 140731811168448 140643579890528 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18807] ppid=18791 vsize=14089320 memory=7594873735968419173 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18807/stat : 18807 (java) S 18791 18791 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223244674 14427463680 47805 33554432000 4194304 4196468 140731811168448 140643578837552 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 192672 KiB

[startup+1.50078 s]
/proc/loadavg: 1.63 1.62 1.60 5/219 18807
/proc/meminfo: memFree=27209288/32770624 swapFree=67030644/67108860
[pid=18791] ppid=18788 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18791/stat : 18791 (xcsp3-exec) S 18788 18791 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223244668 115843072 363 33554432000 4194304 5098028 140736463875552 140736463873656 139723729891964 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8282112 140736463881275 140736463881476 140736463881476 140736463884234 0
/proc/18791/statm: 28282 363 305 221 0 87 0

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

/proc/18791/stat : 18791 (xcsp3-exec) S 18788 18791 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223244668 115843072 363 33554432000 4194304 5098028 140736463875552 140736463873656 139723729891964 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8282112 140736463881275 140736463881476 140736463881476 140736463884234 0
/proc/18791/statm: 28282 363 305 221 0 87 0
[pid=18793] ppid=18791 vsize=14091368 memory=273936 CPUtime=75.38 cores=0,2,4,6
/proc/18793/stat : 18793 (java) S 18791 18791 15061 0 -1 1077944320 49427 0 0 0 7520 18 0 0 20 0 15 0 223244668 14429560832 68484 33554432000 4194304 4196468 140731811168448 140731811150992 140644113338103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
/proc/18793/statm: 3522842 68484 3410 1 0 3484036 0
[pid=18793/tid=18794] ppid=18791 vsize=14091368 memory=6791534058613427641 CPUtime=68.67 cores=0,2,4,6
/proc/18793/task/18794/stat : 18794 (java) R 18791 18791 15061 0 -1 4202560 11380 0 0 0 6859 8 0 0 20 0 15 0 223244668 14429560832 68484 33554432000 4194304 4196468 140731811168448 140644117574904 140643758124115 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18795] ppid=18791 vsize=14091368 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18795/stat : 18795 (java) S 18791 18791 15061 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223244669 14429560832 68484 33554432000 4194304 4196468 140731811168448 140644074298384 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18796] ppid=18791 vsize=14091368 memory=58644 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18796/stat : 18796 (java) S 18791 18791 15061 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 223244669 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643708152976 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18797] ppid=18791 vsize=14091368 memory=776 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18797/stat : 18797 (java) S 18791 18791 15061 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 223244669 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643707099920 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18798] ppid=18791 vsize=14091368 memory=1876 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18798/stat : 18798 (java) S 18791 18791 15061 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 223244669 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643706047376 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18799] ppid=18791 vsize=14091368 memory=164 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18799/stat : 18799 (java) S 18791 18791 15061 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 223244670 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643587258608 140644113349250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18800] ppid=18791 vsize=14091368 memory=315815169504846549 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18800/stat : 18800 (java) S 18791 18791 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223244671 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643586204896 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18801] ppid=18791 vsize=14091368 memory=16104753792827372 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18801/stat : 18801 (java) S 18791 18791 15061 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 223244671 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643585151728 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18802] ppid=18791 vsize=14091368 memory=-2961578254468854852 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18802/stat : 18802 (java) S 18791 18791 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223244673 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643584100304 140644113356699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18803] ppid=18791 vsize=14091368 memory=-2961578254468854852 CPUtime=2.79 cores=0,2,4,6
/proc/18793/task/18803/stat : 18803 (java) S 18791 18791 15061 0 -1 1077944384 12942 0 0 0 277 2 0 0 20 0 15 0 223244673 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643583048432 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18804] ppid=18791 vsize=14091368 memory=-2961578254468854852 CPUtime=2.94 cores=0,2,4,6
/proc/18793/task/18804/stat : 18804 (java) S 18791 18791 15061 0 -1 1077944384 15788 0 0 0 292 2 0 0 20 0 15 0 223244673 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643581995888 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18805] ppid=18791 vsize=14091368 memory=-3826832332642136911 CPUtime=0.87 cores=0,2,4,6
/proc/18793/task/18805/stat : 18805 (java) S 18791 18791 15061 0 -1 1077944384 6448 0 0 0 85 2 0 0 20 0 15 0 223244673 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643580942832 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18806] ppid=18791 vsize=14091368 memory=8027782030402147152 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18806/stat : 18806 (java) S 18791 18791 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223244674 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643579890528 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18807] ppid=18791 vsize=14091368 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/18793/task/18807/stat : 18807 (java) S 18791 18791 15061 0 -1 1077944384 1064 0 0 0 1 1 0 0 20 0 15 0 223244674 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643578837552 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
Current children cumulated CPU time: 75.38 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 275388 KiB

[startup+69.6008 s]
/proc/loadavg: 1.65 1.63 1.60 3/219 18808
/proc/meminfo: memFree=26170980/32770624 swapFree=67030644/67108860
[pid=18791] ppid=18788 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18791/stat : 18791 (xcsp3-exec) S 18788 18791 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223244668 115843072 363 33554432000 4194304 5098028 140736463875552 140736463873656 139723729891964 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8282112 140736463881275 140736463881476 140736463881476 140736463884234 0
/proc/18791/statm: 28282 363 305 221 0 87 0
[pid=18793] ppid=18791 vsize=14091368 memory=273936 CPUtime=76.18 cores=0,2,4,6
/proc/18793/stat : 18793 (java) S 18791 18791 15061 0 -1 1077944320 49438 0 0 0 7600 18 0 0 20 0 15 0 223244668 14429560832 68484 33554432000 4194304 4196468 140731811168448 140731811150992 140644113338103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
/proc/18793/statm: 3522842 68484 3410 1 0 3484036 0
[pid=18793/tid=18794] ppid=18791 vsize=14091368 memory=768 CPUtime=69.47 cores=0,2,4,6
/proc/18793/task/18794/stat : 18794 (java) R 18791 18791 15061 0 -1 4202560 11391 0 0 0 6939 8 0 0 20 0 15 0 223244668 14429560832 68484 33554432000 4194304 4196468 140731811168448 140644117575128 140643758124115 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18795] ppid=18791 vsize=14091368 memory=5264 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18795/stat : 18795 (java) S 18791 18791 15061 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223244669 14429560832 68484 33554432000 4194304 4196468 140731811168448 140644074298384 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18796] ppid=18791 vsize=14091368 memory=11068 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18796/stat : 18796 (java) S 18791 18791 15061 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 223244669 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643708152976 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18797] ppid=18791 vsize=14091368 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18797/stat : 18797 (java) S 18791 18791 15061 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 223244669 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643707099920 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18798] ppid=18791 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18798/stat : 18798 (java) S 18791 18791 15061 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 223244669 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643706047376 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18799] ppid=18791 vsize=14091368 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18799/stat : 18799 (java) S 18791 18791 15061 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 223244670 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643587258608 140644113349250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18800] ppid=18791 vsize=14091368 memory=58644 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18800/stat : 18800 (java) S 18791 18791 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223244671 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643586204896 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18801] ppid=18791 vsize=14091368 memory=776 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18801/stat : 18801 (java) S 18791 18791 15061 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 223244671 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643585151728 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18802] ppid=18791 vsize=14091368 memory=1876 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18802/stat : 18802 (java) S 18791 18791 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223244673 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643584100304 140644113356699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18803] ppid=18791 vsize=14091368 memory=1396 CPUtime=2.79 cores=0,2,4,6
/proc/18793/task/18803/stat : 18803 (java) S 18791 18791 15061 0 -1 1077944384 12942 0 0 0 277 2 0 0 20 0 15 0 223244673 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643583048432 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18804] ppid=18791 vsize=14091368 memory=1684 CPUtime=2.94 cores=0,2,4,6
/proc/18793/task/18804/stat : 18804 (java) S 18791 18791 15061 0 -1 1077944384 15788 0 0 0 292 2 0 0 20 0 15 0 223244673 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643581995888 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18805] ppid=18791 vsize=14091368 memory=768 CPUtime=0.87 cores=0,2,4,6
/proc/18793/task/18805/stat : 18805 (java) S 18791 18791 15061 0 -1 1077944384 6448 0 0 0 85 2 0 0 20 0 15 0 223244673 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643580942832 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18806] ppid=18791 vsize=14091368 memory=5264 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18806/stat : 18806 (java) S 18791 18791 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223244674 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643579890528 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18807] ppid=18791 vsize=14091368 memory=492 CPUtime=0.02 cores=0,2,4,6
/proc/18793/task/18807/stat : 18807 (java) S 18791 18791 15061 0 -1 1077944384 1064 0 0 0 1 1 0 0 20 0 15 0 223244674 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643578837552 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
Current children cumulated CPU time: 76.18 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 275388 KiB

[startup+69.8008 s]
/proc/loadavg: 1.65 1.63 1.60 3/219 18808
/proc/meminfo: memFree=26170980/32770624 swapFree=67030644/67108860
[pid=18791] ppid=18788 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18791/stat : 18791 (xcsp3-exec) S 18788 18791 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223244668 115843072 363 33554432000 4194304 5098028 140736463875552 140736463873656 139723729891964 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8282112 140736463881275 140736463881476 140736463881476 140736463884234 0
/proc/18791/statm: 28282 363 305 221 0 87 0
[pid=18793] ppid=18791 vsize=14091368 memory=273936 CPUtime=76.38 cores=0,2,4,6
/proc/18793/stat : 18793 (java) S 18791 18791 15061 0 -1 1077944320 49438 0 0 0 7620 18 0 0 20 0 15 0 223244668 14429560832 68484 33554432000 4194304 4196468 140731811168448 140731811150992 140644113338103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
/proc/18793/statm: 3522842 68484 3410 1 0 3484036 0
[pid=18793/tid=18794] ppid=18791 vsize=14091368 memory=1156 CPUtime=69.67 cores=0,2,4,6
/proc/18793/task/18794/stat : 18794 (java) R 18791 18791 15061 0 -1 4202560 11391 0 0 0 6959 8 0 0 20 0 15 0 223244668 14429560832 68484 33554432000 4194304 4196468 140731811168448 140644117575128 140643758123853 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18795] ppid=18791 vsize=14091368 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18795/stat : 18795 (java) S 18791 18791 15061 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223244669 14429560832 68484 33554432000 4194304 4196468 140731811168448 140644074298384 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18796] ppid=18791 vsize=14091368 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18796/stat : 18796 (java) S 18791 18791 15061 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 223244669 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643708152976 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18797] ppid=18791 vsize=14091368 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18797/stat : 18797 (java) S 18791 18791 15061 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 223244669 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643707099920 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18798] ppid=18791 vsize=14091368 memory=832 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18798/stat : 18798 (java) S 18791 18791 15061 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 223244669 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643706047376 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18799] ppid=18791 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18799/stat : 18799 (java) S 18791 18791 15061 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 223244670 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643587258608 140644113349250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18800] ppid=18791 vsize=14091368 memory=11068 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18800/stat : 18800 (java) S 18791 18791 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223244671 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643586204896 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18801] ppid=18791 vsize=14091368 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18801/stat : 18801 (java) S 18791 18791 15061 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 223244671 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643585151728 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18802] ppid=18791 vsize=14091368 memory=1520 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18802/stat : 18802 (java) S 18791 18791 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223244673 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643584100304 140644113356699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18803] ppid=18791 vsize=14091368 memory=2680 CPUtime=2.79 cores=0,2,4,6
/proc/18793/task/18803/stat : 18803 (java) S 18791 18791 15061 0 -1 1077944384 12942 0 0 0 277 2 0 0 20 0 15 0 223244673 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643583048432 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18804] ppid=18791 vsize=14091368 memory=3160 CPUtime=2.94 cores=0,2,4,6
/proc/18793/task/18804/stat : 18804 (java) S 18791 18791 15061 0 -1 1077944384 15788 0 0 0 292 2 0 0 20 0 15 0 223244673 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643581995888 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18805] ppid=18791 vsize=14091368 memory=2120 CPUtime=0.87 cores=0,2,4,6
/proc/18793/task/18805/stat : 18805 (java) S 18791 18791 15061 0 -1 1077944384 6448 0 0 0 85 2 0 0 20 0 15 0 223244673 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643580942832 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18806] ppid=18791 vsize=14091368 memory=752 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18806/stat : 18806 (java) S 18791 18791 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223244674 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643579890528 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18807] ppid=18791 vsize=14091368 memory=972 CPUtime=0.02 cores=0,2,4,6
/proc/18793/task/18807/stat : 18807 (java) S 18791 18791 15061 0 -1 1077944384 1064 0 0 0 1 1 0 0 20 0 15 0 223244674 14429560832 68484 33554432000 4194304 4196468 140731811168448 140643578837552 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
Current children cumulated CPU time: 76.38 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 275388 KiB

[startup+69.9008 s]
/proc/loadavg: 1.65 1.63 1.60 3/219 18808
/proc/meminfo: memFree=26170980/32770624 swapFree=67030644/67108860
[pid=18791] ppid=18788 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18791/stat : 18791 (xcsp3-exec) S 18788 18791 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223244668 115843072 363 33554432000 4194304 5098028 140736463875552 140736463873656 139723729891964 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8282112 140736463881275 140736463881476 140736463881476 140736463884234 0
/proc/18791/statm: 28282 363 305 221 0 87 0
[pid=18793] ppid=18791 vsize=14091368 memory=275984 CPUtime=76.48 cores=0,2,4,6
/proc/18793/stat : 18793 (java) S 18791 18791 15061 0 -1 1077944320 49439 0 0 0 7630 18 0 0 20 0 15 0 223244668 14429560832 68996 33554432000 4194304 4196468 140731811168448 140731811150992 140644113338103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
/proc/18793/statm: 3522842 68996 3410 1 0 3484036 0
[pid=18793/tid=18794] ppid=18791 vsize=14091368 memory=269812 CPUtime=69.77 cores=0,2,4,6
/proc/18793/task/18794/stat : 18794 (java) R 18791 18791 15061 0 -1 4202560 11392 0 0 0 6969 8 0 0 20 0 15 0 223244668 14429560832 68996 33554432000 4194304 4196468 140731811168448 140644117575128 140643758124213 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18795] ppid=18791 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18795/stat : 18795 (java) S 18791 18791 15061 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223244669 14429560832 68996 33554432000 4194304 4196468 140731811168448 140644074298384 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18796] ppid=18791 vsize=14091368 memory=271860 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18796/stat : 18796 (java) S 18791 18791 15061 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 223244669 14429560832 68996 33554432000 4194304 4196468 140731811168448 140643708152976 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18797] ppid=18791 vsize=14091368 memory=271860 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18797/stat : 18797 (java) S 18791 18791 15061 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 223244669 14429560832 68996 33554432000 4194304 4196468 140731811168448 140643707099920 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18798] ppid=18791 vsize=14091368 memory=273936 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18798/stat : 18798 (java) S 18791 18791 15061 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 223244669 14429560832 68996 33554432000 4194304 4196468 140731811168448 140643706047376 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18799] ppid=18791 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18799/stat : 18799 (java) S 18791 18791 15061 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 223244670 14429560832 68996 33554432000 4194304 4196468 140731811168448 140643587258608 140644113349250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18800] ppid=18791 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18800/stat : 18800 (java) S 18791 18791 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223244671 14429560832 68996 33554432000 4194304 4196468 140731811168448 140643586204896 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18801] ppid=18791 vsize=14091368 memory=269812 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18801/stat : 18801 (java) S 18791 18791 15061 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 223244671 14429560832 68996 33554432000 4194304 4196468 140731811168448 140643585151728 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18802] ppid=18791 vsize=14091368 memory=273936 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18802/stat : 18802 (java) S 18791 18791 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223244673 14429560832 68996 33554432000 4194304 4196468 140731811168448 140643584100304 140644113356699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18803] ppid=18791 vsize=14091368 memory=1452 CPUtime=2.79 cores=0,2,4,6
/proc/18793/task/18803/stat : 18803 (java) S 18791 18791 15061 0 -1 1077944384 12942 0 0 0 277 2 0 0 20 0 15 0 223244673 14429560832 68996 33554432000 4194304 4196468 140731811168448 140643583048432 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18804] ppid=18791 vsize=14091368 memory=1452 CPUtime=2.94 cores=0,2,4,6
/proc/18793/task/18804/stat : 18804 (java) S 18791 18791 15061 0 -1 1077944384 15788 0 0 0 292 2 0 0 20 0 15 0 223244673 14429560832 68996 33554432000 4194304 4196468 140731811168448 140643581995888 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18805] ppid=18791 vsize=14091368 memory=1452 CPUtime=0.87 cores=0,2,4,6
/proc/18793/task/18805/stat : 18805 (java) S 18791 18791 15061 0 -1 1077944384 6448 0 0 0 85 2 0 0 20 0 15 0 223244673 14429560832 68996 33554432000 4194304 4196468 140731811168448 140643580942832 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18806] ppid=18791 vsize=14091368 memory=271860 CPUtime=0 cores=0,2,4,6
/proc/18793/task/18806/stat : 18806 (java) S 18791 18791 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223244674 14429560832 68996 33554432000 4194304 4196468 140731811168448 140643579890528 140644113348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
[pid=18793/tid=18807] ppid=18791 vsize=14091368 memory=3544 CPUtime=0.02 cores=0,2,4,6
/proc/18793/task/18807/stat : 18807 (java) S 18791 18791 15061 0 -1 1077944384 1064 0 0 0 1 1 0 0 20 0 15 0 223244674 14429560832 68996 33554432000 4194304 4196468 140731811168448 140643578837552 140644113349250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 17113088 140731811177606 140731811177777 140731811177777 140731811180495 0
Current children cumulated CPU time: 76.48 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 277436 KiB

Child status: 0
Real time (s): 69.9251
CPU time (s): 76.5167
CPU user time (s): 76.3233
CPU system time (s): 0.193353
CPU usage (%): 109.427
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 277436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 76.3233
system time used= 0.193353
maximum resident set size= 278460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50721
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4209
involuntary context switches= 154


# summary of solver processes directly reported to runsolver:
#   pid: 18791
#   total CPU time (s): 76.5167
#   total CPU user time (s): 76.3233
#   total CPU system time (s): 0.193353

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.428014 second user time and 0.761233 second system time

The end

Launcher Data 

Begin job on node102 at 2018-08-12 08:53:35
IDJOB=4307026
IDBENCH=141185
IDSOLVER=2787
FILE ID=node102/4307026-1534056815
RUNJOBID= node102-1534038962-16488
PBS_JOBID= 21036959
Free space on /tmp= 38188 MiB

SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e)
BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f05_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-4307026-1534056815/watcher-4307026-1534056815 -o /tmp/evaluation-result-4307026-1534056815/solver-4307026-1534056815 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534038962-16488 --watchdog 2580  HOME/xcsp3-exec -seed 736611306 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307026-1534056815.xml

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

MD5SUM BENCH= f8050e8ddc741b4fb4a45c7e8cfb7628
RANDOM SEED=736611306

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
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.51
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.51
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.51
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:        27442464 kB
MemAvailable:   30275680 kB
Buffers:          119088 kB
Cached:          2961784 kB
SwapCached:        51260 kB
Active:          3136748 kB
Inactive:        1625440 kB
Active(anon):    1606552 kB
Inactive(anon):   126948 kB
Active(file):    1530196 kB
Inactive(file):  1498492 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108860 kB
SwapFree:       67030644 kB
Dirty:             22276 kB
Writeback:             0 kB
AnonPages:       1761440 kB
Mapped:            62280 kB
Shmem:             48968 kB
Slab:             261864 kB
SReclaimable:     232988 kB
SUnreclaim:        28876 kB
KernelStack:        3872 kB
PageTables:         9136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2279516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1691648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 38164 MiB
End job on node102 at 2018-08-12 08:54:45