Trace number 4282379

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.5 seq (2017-08-18)UNSAT 83.837196 69.098

General information on the benchmark

NamePigeonsPlus/PigeonsPlus-m1-s1/
pigeonsPlus-07-09.xml
MD5SUMbf36af344ce91645c9e055d2da140f7c
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 benchmark68.578102
Satisfiable
(Un)Satisfiability was proved
Number of variables70
Number of constraints35
Number of domains2
Minimum domain size6
Maximum domain size7
Distribution of domain sizes[{"size":6,"count":7},{"size":7,"count":63}]
Minimum variable degree1
Maximum variable degree7
Distribution of variable degrees[{"degree":1,"count":56},{"degree":2,"count":7},{"degree":7,"count":7}]
Minimum constraint arity2
Maximum constraint arity9
Distribution of constraint arities[{"arity":2,"count":28},{"arity":9,"count":7}]
Number of extensional constraints35
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":35}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282379-1503143491.xml"  -tl '2520s' -p 1 -x 0
0.08/0.28	c [HOME/instance-4282379-1503143491.xml, -tl, 2520s, -p, 1, -x, 0]
0.27/0.34	c simple solver
0.27/0.40	c parse instance...
76.43/62.54	c solve instance...
83.74/69.06	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 (15255 MiB free)
  memory of node 1: 16384 MiB (15327 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282379-1503143491/watcher-4282379-1503143491 -o /tmp/evaluation-result-4282379-1503143491/solver-4282379-1503143491 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18172 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 54385912 HOME/instance-4282379-1503143491.xml 

running on 4 cores: 1,3,5,7

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=28955, runsolver pid=28952

[startup+0.100058 s]*
/proc/loadavg: 1.82 1.51 1.54 3/198 28958
/proc/meminfo: memFree=31316592/32770624 swapFree=67108860/67108860
[pid=28955] ppid=28952 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28955/stat : 28955 (xcsp3-exec) S 28952 28955 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12756354 9740288 345 18446744073709551615 4194304 5098028 140725594039232 140725594037336 140568404628092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34873344 140725594042747 140725594042950 140725594042950 140725594046443 0
/proc/28955/statm: 2378 345 289 221 0 87 0
[pid=28957] ppid=28955 vsize=13356504 memory=10656 CPUtime=0 cores=1,3,5,7
/proc/28957/stat : 28957 (java) S 28955 28955 18108 0 -1 1077944320 2472 0 0 0 0 0 0 0 20 0 6 0 12756364 13677060096 2664 18446744073709551615 4194304 4196468 140725800356416 140725800338960 139972630331127 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
/proc/28957/statm: 3339126 2664 1203 1 0 3329096 0
[pid=28957/tid=28958] ppid=28955 vsize=13356504 memory=-8713483618642721886 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28958/stat : 28958 (java) R 28955 28955 18108 0 -1 4202560 1234 0 0 0 0 0 0 0 20 0 6 0 12756364 13677060096 2730 18446744073709551615 4194304 4196468 140725800356416 139972634572904 139972616206208 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28959] ppid=28955 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28959/stat : 28959 (java) S 28955 28955 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 12756365 13677060096 2730 18446744073709551615 4194304 4196468 140725800356416 139972587297296 139972630341333 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28960] ppid=28955 vsize=13356504 memory=140331205899904 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28960/stat : 28960 (java) S 28955 28955 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 12756365 13677060096 2730 18446744073709551615 4194304 4196468 140725800356416 139972586244752 139972630341333 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28961] ppid=28955 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28961/stat : 28961 (java) S 28955 28955 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 12756365 13677060096 2730 18446744073709551615 4194304 4196468 140725800356416 139972585191696 139972630341333 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28962] ppid=28955 vsize=13356504 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28962/stat : 28962 (java) S 28955 28955 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 12756365 13677060096 2730 18446744073709551615 4194304 4196468 140725800356416 139972584139152 139972630341333 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12036 KiB

[startup+0.209699 s]*
/proc/loadavg: 1.82 1.51 1.54 3/211 28971
/proc/meminfo: memFree=31305020/32770624 swapFree=67108860/67108860
[pid=28955] ppid=28952 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28955/stat : 28955 (xcsp3-exec) S 28952 28955 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12756354 9740288 345 18446744073709551615 4194304 5098028 140725594039232 140725594037336 140568404628092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34873344 140725594042747 140725594042950 140725594042950 140725594046443 0
/proc/28955/statm: 2378 345 289 221 0 87 0
[pid=28957] ppid=28955 vsize=13974352 memory=27208 CPUtime=0.08 cores=1,3,5,7
/proc/28957/stat : 28957 (java) S 28955 28955 18108 0 -1 1077944320 5234 0 0 0 7 1 0 0 20 0 15 0 12756364 14309736448 6802 18446744073709551615 4194304 4196468 140725800356416 140725800338960 139972630331127 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
/proc/28957/statm: 3493588 6802 2725 1 0 3482964 0
[pid=28957/tid=28958] ppid=28955 vsize=13974352 memory=-6871798056524144002 CPUtime=0.06 cores=1,3,5,7
/proc/28957/task/28958/stat : 28958 (java) R 28955 28955 18108 0 -1 4202560 3389 0 0 0 6 0 0 0 20 0 15 0 12756364 14309736448 6802 18446744073709551615 4194304 4196468 140725800356416 139972634526224 139972614411614 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28959] ppid=28955 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28959/stat : 28959 (java) S 28955 28955 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12756365 14309736448 6802 18446744073709551615 4194304 4196468 140725800356416 139972587297296 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28960] ppid=28955 vsize=13974352 memory=140331205899904 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28960/stat : 28960 (java) S 28955 28955 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12756365 14309736448 6802 18446744073709551615 4194304 4196468 140725800356416 139972586244752 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28961] ppid=28955 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28961/stat : 28961 (java) S 28955 28955 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12756365 14309736448 6802 18446744073709551615 4194304 4196468 140725800356416 139972585191696 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28962] ppid=28955 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28962/stat : 28962 (java) S 28955 28955 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12756365 14309736448 6802 18446744073709551615 4194304 4196468 140725800356416 139972584139152 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28963] ppid=28955 vsize=13974352 memory=140331205899904 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28963/stat : 28963 (java) S 28955 28955 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12756366 14309736448 6802 18446744073709551615 4194304 4196468 140725800356416 139972108598000 139972630342274 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28964] ppid=28955 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28964/stat : 28964 (java) S 28955 28955 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12756367 14309736448 6802 18446744073709551615 4194304 4196468 140725800356416 139972107544224 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28965] ppid=28955 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28965/stat : 28965 (java) S 28955 28955 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12756367 14309736448 6802 18446744073709551615 4194304 4196468 140725800356416 139972106491120 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28966] ppid=28955 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28966/stat : 28966 (java) S 28955 28955 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12756369 14309736448 6802 18446744073709551615 4194304 4196468 140725800356416 139972105439696 139972630349723 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28967] ppid=28955 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28967/stat : 28967 (java) S 28955 28955 18108 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 12756369 14309736448 6802 18446744073709551615 4194304 4196468 140725800356416 139972104386800 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28968] ppid=28955 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28968/stat : 28968 (java) S 28955 28955 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12756369 14309736448 6802 18446744073709551615 4194304 4196468 140725800356416 139972103334256 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28969] ppid=28955 vsize=13974352 memory=140331205899904 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28969/stat : 28969 (java) S 28955 28955 18108 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 12756370 14309736448 6802 18446744073709551615 4194304 4196468 140725800356416 139972102281200 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28970] ppid=28955 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28970/stat : 28970 (java) S 28955 28955 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12756370 14309736448 6802 18446744073709551615 4194304 4196468 140725800356416 139972101228896 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28971] ppid=28955 vsize=13974352 memory=140331205899904 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28971/stat : 28971 (java) S 28955 28955 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12756374 14309736448 6802 18446744073709551615 4194304 4196468 140725800356416 139972100176944 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28588 KiB

[startup+0.310153 s]*
/proc/loadavg: 1.82 1.51 1.54 3/211 28971
/proc/meminfo: memFree=31289856/32770624 swapFree=67108860/67108860
[pid=28955] ppid=28952 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28955/stat : 28955 (xcsp3-exec) S 28952 28955 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12756354 9740288 345 18446744073709551615 4194304 5098028 140725594039232 140725594037336 140568404628092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34873344 140725594042747 140725594042950 140725594042950 140725594046443 0
/proc/28955/statm: 2378 345 289 221 0 87 0
[pid=28957] ppid=28955 vsize=13974352 memory=37192 CPUtime=0.27 cores=1,3,5,7
/proc/28957/stat : 28957 (java) S 28955 28955 18108 0 -1 1077944320 8886 0 0 0 24 3 0 0 20 0 15 0 12756364 14309736448 9298 18446744073709551615 4194304 4196468 140725800356416 140725800338960 139972630331127 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
/proc/28957/statm: 3493588 9298 2976 1 0 3482964 0
[pid=28957/tid=28958] ppid=28955 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/28957/task/28958/stat : 28958 (java) R 28955 28955 18108 0 -1 4202560 6086 0 0 0 15 2 0 0 20 0 15 0 12756364 14309736448 9298 18446744073709551615 4194304 4196468 140725800356416 139972634565808 139972630343062 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28959] ppid=28955 vsize=13974352 memory=140331205906897 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28959/stat : 28959 (java) S 28955 28955 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12756365 14309736448 9298 18446744073709551615 4194304 4196468 140725800356416 139972587297296 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28960] ppid=28955 vsize=13974352 memory=7300992991104692587 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28960/stat : 28960 (java) S 28955 28955 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12756365 14309736448 9298 18446744073709551615 4194304 4196468 140725800356416 139972586244752 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28961] ppid=28955 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28961/stat : 28961 (java) S 28955 28955 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12756365 14309736448 9298 18446744073709551615 4194304 4196468 140725800356416 139972585191696 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28962] ppid=28955 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28962/stat : 28962 (java) S 28955 28955 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12756365 14309736448 9298 18446744073709551615 4194304 4196468 140725800356416 139972584139152 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28963] ppid=28955 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28963/stat : 28963 (java) S 28955 28955 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12756366 14309736448 9298 18446744073709551615 4194304 4196468 140725800356416 139972108598000 139972630342274 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28964] ppid=28955 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28964/stat : 28964 (java) S 28955 28955 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12756367 14309736448 9298 18446744073709551615 4194304 4196468 140725800356416 139972107544224 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28965] ppid=28955 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28965/stat : 28965 (java) S 28955 28955 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12756367 14309736448 9298 18446744073709551615 4194304 4196468 140725800356416 139972106491120 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28966] ppid=28955 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28966/stat : 28966 (java) S 28955 28955 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12756369 14309736448 9298 18446744073709551615 4194304 4196468 140725800356416 139972105439696 139972630349723 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28967] ppid=28955 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28957/task/28967/stat : 28967 (java) S 28955 28955 18108 0 -1 1077944384 576 0 0 0 2 0 0 0 20 0 15 0 12756369 14309736448 9298 18446744073709551615 4194304 4196468 140725800356416 139972104386800 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28968] ppid=28955 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28968/stat : 28968 (java) S 28955 28955 18108 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 12756369 14309736448 9298 18446744073709551615 4194304 4196468 140725800356416 139972103334256 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28969] ppid=28955 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/28957/task/28969/stat : 28969 (java) R 28955 28955 18108 0 -1 4202560 710 0 0 0 6 0 0 0 20 0 15 0 12756370 14309736448 9298 18446744073709551615 4194304 4196468 140725800356416 139972102281200 139972609349321 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28970] ppid=28955 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28970/stat : 28970 (java) S 28955 28955 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12756370 14309736448 9298 18446744073709551615 4194304 4196468 140725800356416 139972101228896 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28971] ppid=28955 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28971/stat : 28971 (java) S 28955 28955 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12756374 14309736448 9298 18446744073709551615 4194304 4196468 140725800356416 139972100176944 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38572 KiB

[startup+0.700955 s]
/proc/loadavg: 1.82 1.51 1.54 3/211 28971
/proc/meminfo: memFree=31246756/32770624 swapFree=67108860/67108860
[pid=28955] ppid=28952 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28955/stat : 28955 (xcsp3-exec) S 28952 28955 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12756354 9740288 345 18446744073709551615 4194304 5098028 140725594039232 140725594037336 140568404628092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34873344 140725594042747 140725594042950 140725594042950 140725594046443 0
/proc/28955/statm: 2378 345 289 221 0 87 0
[pid=28957] ppid=28955 vsize=13978608 memory=285888 CPUtime=1.02 cores=1,3,5,7
/proc/28957/stat : 28957 (java) S 28955 28955 18108 0 -1 1077944320 11232 0 0 0 80 22 0 0 20 0 15 0 12756364 14314094592 71472 18446744073709551615 4194304 4196468 140725800356416 140725800338960 139972630331127 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
/proc/28957/statm: 3494652 71472 3129 1 0 3482964 0
[pid=28957/tid=28958] ppid=28955 vsize=13978608 memory=7813587196152198965 CPUtime=0.48 cores=1,3,5,7
/proc/28957/task/28958/stat : 28958 (java) R 28955 28955 18108 0 -1 4202560 7591 0 0 0 42 6 0 0 20 0 15 0 12756364 14314094592 71472 18446744073709551615 4194304 4196468 140725800356416 139972634569968 139972630353053 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28959] ppid=28955 vsize=13978608 memory=5787217211513922624 CPUtime=0.05 cores=1,3,5,7
/proc/28957/task/28959/stat : 28959 (java) S 28955 28955 18108 0 -1 1077944384 64 0 0 0 2 3 0 0 20 0 15 0 12756365 14314094592 71472 18446744073709551615 4194304 4196468 140725800356416 139972587297296 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28960] ppid=28955 vsize=13978608 memory=4128 CPUtime=0.05 cores=1,3,5,7
/proc/28957/task/28960/stat : 28960 (java) S 28955 28955 18108 0 -1 1077944384 60 0 0 0 2 3 0 0 20 0 15 0 12756365 14314094592 71472 18446744073709551615 4194304 4196468 140725800356416 139972586244752 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28961] ppid=28955 vsize=13978608 memory=2241 CPUtime=0.06 cores=1,3,5,7
/proc/28957/task/28961/stat : 28961 (java) S 28955 28955 18108 0 -1 1077944384 66 0 0 0 3 3 0 0 20 0 15 0 12756365 14314094592 71472 18446744073709551615 4194304 4196468 140725800356416 139972585191696 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28962] ppid=28955 vsize=13978608 memory=2244 CPUtime=0.06 cores=1,3,5,7
/proc/28957/task/28962/stat : 28962 (java) S 28955 28955 18108 0 -1 1077944384 67 0 0 0 3 3 0 0 20 0 15 0 12756365 14314094592 71472 18446744073709551615 4194304 4196468 140725800356416 139972584139152 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28963] ppid=28955 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28963/stat : 28963 (java) S 28955 28955 18108 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 12756366 14314094592 71472 18446744073709551615 4194304 4196468 140725800356416 139972108598000 139972630342274 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28964] ppid=28955 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28964/stat : 28964 (java) S 28955 28955 18108 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 12756367 14314094592 71472 18446744073709551615 4194304 4196468 140725800356416 139972107544224 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28965] ppid=28955 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28965/stat : 28965 (java) S 28955 28955 18108 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 12756367 14314094592 71472 18446744073709551615 4194304 4196468 140725800356416 139972106491120 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28966] ppid=28955 vsize=13978608 memory=30305 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28966/stat : 28966 (java) S 28955 28955 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12756369 14314094592 71472 18446744073709551615 4194304 4196468 140725800356416 139972105439696 139972630349723 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28967] ppid=28955 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28957/task/28967/stat : 28967 (java) S 28955 28955 18108 0 -1 1077944384 720 0 0 0 7 0 0 0 20 0 15 0 12756369 14314094592 71472 18446744073709551615 4194304 4196468 140725800356416 139972104386800 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28968] ppid=28955 vsize=13978608 memory=-3967418655009478193 CPUtime=0.04 cores=1,3,5,7
/proc/28957/task/28968/stat : 28968 (java) S 28955 28955 18108 0 -1 1077944384 411 0 0 0 4 0 0 0 20 0 15 0 12756369 14314094592 71472 18446744073709551615 4194304 4196468 140725800356416 139972103334256 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28969] ppid=28955 vsize=13978608 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/28957/task/28969/stat : 28969 (java) S 28955 28955 18108 0 -1 1077944384 870 0 0 0 14 0 0 0 20 0 15 0 12756370 14314094592 71472 18446744073709551615 4194304 4196468 140725800356416 139972102281200 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28970] ppid=28955 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28970/stat : 28970 (java) S 28955 28955 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12756370 14314094592 71472 18446744073709551615 4194304 4196468 140725800356416 139972101228896 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28971] ppid=28955 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28971/stat : 28971 (java) S 28955 28955 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12756374 14314094592 71472 18446744073709551615 4194304 4196468 140725800356416 139972100176944 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 287268 KiB

[startup+1.50082 s]
/proc/loadavg: 1.82 1.51 1.54 3/211 28971
/proc/meminfo: memFree=30860312/32770624 swapFree=67108860/67108860
[pid=28955] ppid=28952 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28955/stat : 28955 (xcsp3-exec) S 28952 28955 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12756354 9740288 345 18446744073709551615 4194304 5098028 140725594039232 140725594037336 140568404628092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34873344 140725594042747 140725594042950 140725594042950 140725594046443 0
/proc/28955/statm: 2378 345 289 221 0 87 0
[pid=28957] ppid=28955 vsize=13978684 memory=1278692 CPUtime=2.64 cores=1,3,5,7
/proc/28957/stat : 28957 (java) S 28955 28955 18108 0 -1 1077944320 15978 0 0 0 195 69 0 0 20 0 15 0 12756364 14314172416 319673 18446744073709551615 4194304 4196468 140725800356416 140725800338960 139972630331127 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
/proc/28957/statm: 3494671 319673 3189 1 0 3482964 0
[pid=28957/tid=28958] ppid=28955 vsize=13978684 memory=0 CPUtime=1.03 cores=1,3,5,7
/proc/28957/task/28958/stat : 28958 (java) R 28955 28955 18108 0 -1 4202560 8671 0 0 0 86 17 0 0 20 0 15 0 12756364 14314172416 319673 18446744073709551615 4194304 4196468 140725800356416 139972634568608 139972263093010 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28959] ppid=28955 vsize=13978684 memory=4498716170645055337 CPUtime=0.27 cores=1,3,5,7
/proc/28957/task/28959/stat : 28959 (java) S 28955 28955 18108 0 -1 1077944384 761 0 0 0 16 11 0 0 20 0 15 0 12756365 14314172416 319673 18446744073709551615 4194304 4196468 140725800356416 139972587297296 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28960] ppid=28955 vsize=13978684 memory=6008476377755118384 CPUtime=0.27 cores=1,3,5,7
/proc/28957/task/28960/stat : 28960 (java) S 28955 28955 18108 0 -1 1077944384 665 0 0 0 14 13 0 0 20 0 15 0 12756365 14314172416 319673 18446744073709551615 4194304 4196468 140725800356416 139972586244752 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28961] ppid=28955 vsize=13978684 memory=7740396316242831392 CPUtime=0.27 cores=1,3,5,7
/proc/28957/task/28961/stat : 28961 (java) S 28955 28955 18108 0 -1 1077944384 554 0 0 0 15 12 0 0 20 0 15 0 12756365 14314172416 319673 18446744073709551615 4194304 4196468 140725800356416 139972585191696 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28962] ppid=28955 vsize=13978684 memory=4128 CPUtime=0.28 cores=1,3,5,7
/proc/28957/task/28962/stat : 28962 (java) S 28955 28955 18108 0 -1 1077944384 399 0 0 0 16 12 0 0 20 0 15 0 12756365 14314172416 319673 18446744073709551615 4194304 4196468 140725800356416 139972584139152 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28963] ppid=28955 vsize=13978684 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28957/task/28963/stat : 28963 (java) S 28955 28955 18108 0 -1 1077944384 822 0 0 0 1 0 0 0 20 0 15 0 12756366 14314172416 319673 18446744073709551615 4194304 4196468 140725800356416 139972108598000 139972630342274 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28964] ppid=28955 vsize=13978684 memory=140331077320832 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28964/stat : 28964 (java) S 28955 28955 18108 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 12756367 14314172416 319673 18446744073709551615 4194304 4196468 140725800356416 139972107544288 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28965] ppid=28955 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7

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

/proc/28955/stat : 28955 (xcsp3-exec) S 28952 28955 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12756354 9740288 345 18446744073709551615 4194304 5098028 140725594039232 140725594037336 140568404628092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34873344 140725594042747 140725594042950 140725594042950 140725594046443 0
/proc/28955/statm: 2378 345 289 221 0 87 0
[pid=28957] ppid=28955 vsize=13980732 memory=5207904 CPUtime=81.91 cores=1,3,5,7
/proc/28957/stat : 28957 (java) S 28955 28955 18108 0 -1 1077944320 73806 0 0 0 7879 312 0 0 20 0 15 0 12756364 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 140725800338960 139972630331127 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
/proc/28957/statm: 3495183 1301976 3229 1 0 3483476 0
[pid=28957/tid=28958] ppid=28955 vsize=13980732 memory=1292 CPUtime=61.06 cores=1,3,5,7
/proc/28957/task/28958/stat : 28958 (java) R 28955 28955 18108 0 -1 4202560 23017 0 0 0 6064 42 0 0 20 0 15 0 12756364 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972634567808 139972266830610 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28959] ppid=28955 vsize=13980732 memory=2436 CPUtime=4.24 cores=1,3,5,7
/proc/28957/task/28959/stat : 28959 (java) S 28955 28955 18108 0 -1 1077944384 14596 0 0 0 359 65 0 0 20 0 15 0 12756365 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972587297296 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28960] ppid=28955 vsize=13980732 memory=1732 CPUtime=4.25 cores=1,3,5,7
/proc/28957/task/28960/stat : 28960 (java) S 28955 28955 18108 0 -1 1077944384 5096 0 0 0 360 65 0 0 20 0 15 0 12756365 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972586244752 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28961] ppid=28955 vsize=13980732 memory=5202196 CPUtime=4.23 cores=1,3,5,7
/proc/28957/task/28961/stat : 28961 (java) S 28955 28955 18108 0 -1 1077944384 5155 0 0 0 359 64 0 0 20 0 15 0 12756365 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972585191696 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28962] ppid=28955 vsize=13980732 memory=280662154748288 CPUtime=4.28 cores=1,3,5,7
/proc/28957/task/28962/stat : 28962 (java) S 28955 28955 18108 0 -1 1077944384 6081 0 0 0 365 63 0 0 20 0 15 0 12756365 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972584139152 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28963] ppid=28955 vsize=13980732 memory=1380 CPUtime=1.67 cores=1,3,5,7
/proc/28957/task/28963/stat : 28963 (java) S 28955 28955 18108 0 -1 1077944384 4910 0 0 0 163 4 0 0 20 0 15 0 12756366 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972108598000 139972630342274 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28964] ppid=28955 vsize=13980732 memory=5202196 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28964/stat : 28964 (java) S 28955 28955 18108 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 12756367 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972107544288 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28965] ppid=28955 vsize=13980732 memory=280662155251536 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28965/stat : 28965 (java) S 28955 28955 18108 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 12756367 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972106491136 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28966] ppid=28955 vsize=13980732 memory=280662154150128 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28966/stat : 28966 (java) S 28955 28955 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12756369 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972105439696 139972630349723 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28967] ppid=28955 vsize=13980732 memory=280662154150128 CPUtime=0.61 cores=1,3,5,7
/proc/28957/task/28967/stat : 28967 (java) S 28955 28955 18108 0 -1 1077944384 3078 0 0 0 61 0 0 0 20 0 15 0 12756369 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972104386800 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28968] ppid=28955 vsize=13980732 memory=280662154150128 CPUtime=1.01 cores=1,3,5,7
/proc/28957/task/28968/stat : 28968 (java) S 28955 28955 18108 0 -1 1077944384 7080 0 0 0 100 1 0 0 20 0 15 0 12756369 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972103334256 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28969] ppid=28955 vsize=13980732 memory=5207844 CPUtime=0.42 cores=1,3,5,7
/proc/28957/task/28969/stat : 28969 (java) S 28955 28955 18108 0 -1 1077944384 3078 0 0 0 42 0 0 0 20 0 15 0 12756370 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972102281200 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28970] ppid=28955 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28970/stat : 28970 (java) S 28955 28955 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12756370 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972101228896 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28971] ppid=28955 vsize=13980732 memory=5216184 CPUtime=0.04 cores=1,3,5,7
/proc/28957/task/28971/stat : 28971 (java) S 28955 28955 18108 0 -1 1077944384 388 0 0 0 2 2 0 0 20 0 15 0 12756374 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972100176944 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
Current children cumulated CPU time: 81.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 5209284 KiB

[startup+68.0008 s]*
/proc/loadavg: 1.63 1.52 1.54 3/211 28974
/proc/meminfo: memFree=26109036/32770624 swapFree=67108860/67108860
[pid=28955] ppid=28952 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28955/stat : 28955 (xcsp3-exec) S 28952 28955 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12756354 9740288 345 18446744073709551615 4194304 5098028 140725594039232 140725594037336 140568404628092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34873344 140725594042747 140725594042950 140725594042950 140725594046443 0
/proc/28955/statm: 2378 345 289 221 0 87 0
[pid=28957] ppid=28955 vsize=13980732 memory=5207904 CPUtime=82.73 cores=1,3,5,7
/proc/28957/stat : 28957 (java) S 28955 28955 18108 0 -1 1077944320 73817 0 0 0 7961 312 0 0 20 0 15 0 12756364 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 140725800338960 139972630331127 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
/proc/28957/statm: 3495183 1301976 3229 1 0 3483476 0
[pid=28957/tid=28958] ppid=28955 vsize=13980732 memory=-8774313645642428999 CPUtime=61.87 cores=1,3,5,7
/proc/28957/task/28958/stat : 28958 (java) R 28955 28955 18108 0 -1 4202560 23028 0 0 0 6145 42 0 0 20 0 15 0 12756364 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972634567744 139972266788277 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28959] ppid=28955 vsize=13980732 memory=-8774313645642428999 CPUtime=4.24 cores=1,3,5,7
/proc/28957/task/28959/stat : 28959 (java) S 28955 28955 18108 0 -1 1077944384 14596 0 0 0 359 65 0 0 20 0 15 0 12756365 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972587297296 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28960] ppid=28955 vsize=13980732 memory=0 CPUtime=4.25 cores=1,3,5,7
/proc/28957/task/28960/stat : 28960 (java) S 28955 28955 18108 0 -1 1077944384 5096 0 0 0 360 65 0 0 20 0 15 0 12756365 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972586244752 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28961] ppid=28955 vsize=13980732 memory=0 CPUtime=4.23 cores=1,3,5,7
/proc/28957/task/28961/stat : 28961 (java) S 28955 28955 18108 0 -1 1077944384 5155 0 0 0 359 64 0 0 20 0 15 0 12756365 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972585191696 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28962] ppid=28955 vsize=13980732 memory=0 CPUtime=4.28 cores=1,3,5,7
/proc/28957/task/28962/stat : 28962 (java) S 28955 28955 18108 0 -1 1077944384 6081 0 0 0 365 63 0 0 20 0 15 0 12756365 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972584139152 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28963] ppid=28955 vsize=13980732 memory=0 CPUtime=1.67 cores=1,3,5,7
/proc/28957/task/28963/stat : 28963 (java) S 28955 28955 18108 0 -1 1077944384 4910 0 0 0 163 4 0 0 20 0 15 0 12756366 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972108598000 139972630342274 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28964] ppid=28955 vsize=13980732 memory=280662155570664 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28964/stat : 28964 (java) S 28955 28955 18108 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 12756367 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972107544288 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28965] ppid=28955 vsize=13980732 memory=280662155570084 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28965/stat : 28965 (java) S 28955 28955 18108 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 12756367 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972106491136 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28966] ppid=28955 vsize=13980732 memory=280662154204836 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28966/stat : 28966 (java) S 28955 28955 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12756369 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972105439696 139972630349723 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28967] ppid=28955 vsize=13980732 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/28957/task/28967/stat : 28967 (java) S 28955 28955 18108 0 -1 1077944384 3078 0 0 0 61 0 0 0 20 0 15 0 12756369 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972104386800 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28968] ppid=28955 vsize=13980732 memory=280662155570724 CPUtime=1.01 cores=1,3,5,7
/proc/28957/task/28968/stat : 28968 (java) S 28955 28955 18108 0 -1 1077944384 7080 0 0 0 100 1 0 0 20 0 15 0 12756369 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972103334256 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28969] ppid=28955 vsize=13980732 memory=280662155570788 CPUtime=0.42 cores=1,3,5,7
/proc/28957/task/28969/stat : 28969 (java) S 28955 28955 18108 0 -1 1077944384 3078 0 0 0 42 0 0 0 20 0 15 0 12756370 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972102281200 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28970] ppid=28955 vsize=13980732 memory=280662154204772 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28970/stat : 28970 (java) S 28955 28955 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12756370 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972101228896 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28971] ppid=28955 vsize=13980732 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28957/task/28971/stat : 28971 (java) S 28955 28955 18108 0 -1 1077944384 388 0 0 0 2 2 0 0 20 0 15 0 12756374 14316269568 1301976 18446744073709551615 4194304 4196468 140725800356416 139972100176944 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
Current children cumulated CPU time: 82.73 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 5209284 KiB

[startup+68.8008 s]
/proc/loadavg: 1.63 1.52 1.54 3/211 28974
/proc/meminfo: memFree=26109036/32770624 swapFree=67108860/67108860
[pid=28955] ppid=28952 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28955/stat : 28955 (xcsp3-exec) S 28952 28955 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12756354 9740288 345 18446744073709551615 4194304 5098028 140725594039232 140725594037336 140568404628092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34873344 140725594042747 140725594042950 140725594042950 140725594046443 0
/proc/28955/statm: 2378 345 289 221 0 87 0
[pid=28957] ppid=28955 vsize=13980732 memory=5207920 CPUtime=83.52 cores=1,3,5,7
/proc/28957/stat : 28957 (java) S 28955 28955 18108 0 -1 1077944320 73872 0 0 0 8040 312 0 0 20 0 15 0 12756364 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 140725800338960 139972630331127 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
/proc/28957/statm: 3495183 1301980 3229 1 0 3483476 0
[pid=28957/tid=28958] ppid=28955 vsize=13980732 memory=8676 CPUtime=62.66 cores=1,3,5,7
/proc/28957/task/28958/stat : 28958 (java) R 28955 28955 18108 0 -1 4202560 23081 0 0 0 6224 42 0 0 20 0 15 0 12756364 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972634567744 139972266830722 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28959] ppid=28955 vsize=13980732 memory=1380 CPUtime=4.24 cores=1,3,5,7
/proc/28957/task/28959/stat : 28959 (java) S 28955 28955 18108 0 -1 1077944384 14596 0 0 0 359 65 0 0 20 0 15 0 12756365 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972587297296 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28960] ppid=28955 vsize=13980732 memory=-8774313645642428999 CPUtime=4.25 cores=1,3,5,7
/proc/28957/task/28960/stat : 28960 (java) S 28955 28955 18108 0 -1 1077944384 5096 0 0 0 360 65 0 0 20 0 15 0 12756365 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972586244752 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28961] ppid=28955 vsize=13980732 memory=-8774313645642428999 CPUtime=4.23 cores=1,3,5,7
/proc/28957/task/28961/stat : 28961 (java) S 28955 28955 18108 0 -1 1077944384 5155 0 0 0 359 64 0 0 20 0 15 0 12756365 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972585191696 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28962] ppid=28955 vsize=13980732 memory=928 CPUtime=4.28 cores=1,3,5,7
/proc/28957/task/28962/stat : 28962 (java) S 28955 28955 18108 0 -1 1077944384 6081 0 0 0 365 63 0 0 20 0 15 0 12756365 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972584139152 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28963] ppid=28955 vsize=13980732 memory=2160 CPUtime=1.67 cores=1,3,5,7
/proc/28957/task/28963/stat : 28963 (java) S 28955 28955 18108 0 -1 1077944384 4910 0 0 0 163 4 0 0 20 0 15 0 12756366 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972108598000 139972630342274 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28964] ppid=28955 vsize=13980732 memory=844 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28964/stat : 28964 (java) S 28955 28955 18108 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 12756367 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972107544288 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28965] ppid=28955 vsize=13980732 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28965/stat : 28965 (java) S 28955 28955 18108 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 12756367 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972106491136 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28966] ppid=28955 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28966/stat : 28966 (java) S 28955 28955 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12756369 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972105439696 139972630349723 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28967] ppid=28955 vsize=13980732 memory=5207844 CPUtime=0.61 cores=1,3,5,7
/proc/28957/task/28967/stat : 28967 (java) S 28955 28955 18108 0 -1 1077944384 3079 0 0 0 61 0 0 0 20 0 15 0 12756369 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972104386800 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28968] ppid=28955 vsize=13980732 memory=4128 CPUtime=1.01 cores=1,3,5,7
/proc/28957/task/28968/stat : 28968 (java) S 28955 28955 18108 0 -1 1077944384 7081 0 0 0 100 1 0 0 20 0 15 0 12756369 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972103334256 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28969] ppid=28955 vsize=13980732 memory=10944 CPUtime=0.42 cores=1,3,5,7
/proc/28957/task/28969/stat : 28969 (java) S 28955 28955 18108 0 -1 1077944384 3078 0 0 0 42 0 0 0 20 0 15 0 12756370 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972102281200 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28970] ppid=28955 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28970/stat : 28970 (java) S 28955 28955 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12756370 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972101228896 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28971] ppid=28955 vsize=13980732 memory=2436 CPUtime=0.04 cores=1,3,5,7
/proc/28957/task/28971/stat : 28971 (java) S 28955 28955 18108 0 -1 1077944384 388 0 0 0 2 2 0 0 20 0 15 0 12756374 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972100176944 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
Current children cumulated CPU time: 83.52 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 5209300 KiB

[startup+69.0008 s]*
/proc/loadavg: 1.63 1.52 1.54 3/211 28974
/proc/meminfo: memFree=26109036/32770624 swapFree=67108860/67108860
[pid=28955] ppid=28952 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28955/stat : 28955 (xcsp3-exec) S 28952 28955 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12756354 9740288 345 18446744073709551615 4194304 5098028 140725594039232 140725594037336 140568404628092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34873344 140725594042747 140725594042950 140725594042950 140725594046443 0
/proc/28955/statm: 2378 345 289 221 0 87 0
[pid=28957] ppid=28955 vsize=13980732 memory=5207920 CPUtime=83.74 cores=1,3,5,7
/proc/28957/stat : 28957 (java) S 28955 28955 18108 0 -1 1077944320 73881 0 0 0 8062 312 0 0 20 0 15 0 12756364 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 140725800338960 139972630331127 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
/proc/28957/statm: 3495183 1301980 3229 1 0 3483476 0
[pid=28957/tid=28958] ppid=28955 vsize=13980732 memory=-8774313645642428999 CPUtime=62.87 cores=1,3,5,7
/proc/28957/task/28958/stat : 28958 (java) R 28955 28955 18108 0 -1 4202560 23088 0 0 0 6245 42 0 0 20 0 15 0 12756364 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972634567744 139972266889802 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28959] ppid=28955 vsize=13980732 memory=7100839878645619564 CPUtime=4.24 cores=1,3,5,7
/proc/28957/task/28959/stat : 28959 (java) S 28955 28955 18108 0 -1 1077944384 14596 0 0 0 359 65 0 0 20 0 15 0 12756365 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972587297296 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28960] ppid=28955 vsize=13980732 memory=-8634980985311628903 CPUtime=4.25 cores=1,3,5,7
/proc/28957/task/28960/stat : 28960 (java) S 28955 28955 18108 0 -1 1077944384 5096 0 0 0 360 65 0 0 20 0 15 0 12756365 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972586244752 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28961] ppid=28955 vsize=13980732 memory=3047711553320166262 CPUtime=4.23 cores=1,3,5,7
/proc/28957/task/28961/stat : 28961 (java) S 28955 28955 18108 0 -1 1077944384 5155 0 0 0 359 64 0 0 20 0 15 0 12756365 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972585191696 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28962] ppid=28955 vsize=13980732 memory=5931917357343401840 CPUtime=4.28 cores=1,3,5,7
/proc/28957/task/28962/stat : 28962 (java) S 28955 28955 18108 0 -1 1077944384 6081 0 0 0 365 63 0 0 20 0 15 0 12756365 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972584139152 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28963] ppid=28955 vsize=13980732 memory=6940721388918429264 CPUtime=1.67 cores=1,3,5,7
/proc/28957/task/28963/stat : 28963 (java) S 28955 28955 18108 0 -1 1077944384 4910 0 0 0 163 4 0 0 20 0 15 0 12756366 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972108598000 139972630342274 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28964] ppid=28955 vsize=13980732 memory=5937244495540539472 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28964/stat : 28964 (java) S 28955 28955 18108 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 12756367 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972107544288 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28965] ppid=28955 vsize=13980732 memory=8514726395715218844 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28965/stat : 28965 (java) S 28955 28955 18108 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 12756367 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972106491136 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28966] ppid=28955 vsize=13980732 memory=7378424924914406224 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28966/stat : 28966 (java) S 28955 28955 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12756369 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972105439696 139972630349723 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28967] ppid=28955 vsize=13980732 memory=7523615495424536424 CPUtime=0.61 cores=1,3,5,7
/proc/28957/task/28967/stat : 28967 (java) S 28955 28955 18108 0 -1 1077944384 3079 0 0 0 61 0 0 0 20 0 15 0 12756369 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972104386800 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28968] ppid=28955 vsize=13980732 memory=7811039899555610728 CPUtime=1.02 cores=1,3,5,7
/proc/28957/task/28968/stat : 28968 (java) S 28955 28955 18108 0 -1 1077944384 7083 0 0 0 101 1 0 0 20 0 15 0 12756369 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972103334256 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28969] ppid=28955 vsize=13980732 memory=7454130749351154278 CPUtime=0.42 cores=1,3,5,7
/proc/28957/task/28969/stat : 28969 (java) S 28955 28955 18108 0 -1 1077944384 3078 0 0 0 42 0 0 0 20 0 15 0 12756370 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972102281200 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28970] ppid=28955 vsize=13980732 memory=7738429233989047126 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28970/stat : 28970 (java) S 28955 28955 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12756370 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972101228896 139972630341333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
[pid=28957/tid=28971] ppid=28955 vsize=13980732 memory=7956014922853793902 CPUtime=0.04 cores=1,3,5,7
/proc/28957/task/28971/stat : 28971 (java) S 28955 28955 18108 0 -1 1077944384 388 0 0 0 2 2 0 0 20 0 15 0 12756374 14316269568 1301980 18446744073709551615 4194304 4196468 140725800356416 139972100176944 139972630342274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16453632 140725800362418 140725800362594 140725800362594 140725800366031 0
Current children cumulated CPU time: 83.74 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 5209300 KiB

Child status: 0
Real time (s): 69.098
CPU time (s): 83.8372
CPU user time (s): 80.685
CPU system time (s): 3.15215
CPU usage (%): 121.331
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 5217656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.685
system time used= 3.15215
maximum resident set size= 5216320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74514
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= 4554
involuntary context switches= 249


# summary of solver processes directly reported to runsolver:
#   pid: 28955
#   total CPU time (s): 83.8372
#   total CPU user time (s): 80.685
#   total CPU system time (s): 3.15215

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.504443 second user time and 0.669835 second system time

The end

Launcher Data 

Begin job on node131 at 2017-08-19 13:37:53
IDJOB=4282379
IDBENCH=134316
IDSOLVER=2677
FILE ID=node131/4282379-1503143491
RUNJOBID= node131-1503095854-18172
PBS_JOBID= 
Free space on /tmp= 61840 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/PigeonsPlus/PigeonsPlus-m1-s1/pigeonsPlus-07-09.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4282379-1503143491/watcher-4282379-1503143491 -o /tmp/evaluation-result-4282379-1503143491/solver-4282379-1503143491 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18172 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 54385912 HOME/instance-4282379-1503143491.xml

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

MD5SUM BENCH= bf36af344ce91645c9e055d2da140f7c
RANDOM SEED=54385912

node131.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.69
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.69
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.69
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.69
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:        31317244 kB
MemAvailable:   31848616 kB
Buffers:          175032 kB
Cached:           642144 kB
SwapCached:            0 kB
Active:           580580 kB
Inactive:         457720 kB
Active(anon):     221408 kB
Inactive(anon):    16748 kB
Active(file):     359172 kB
Inactive(file):   440972 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            195020 kB
Writeback:             0 kB
AnonPages:        220796 kB
Mapped:            43960 kB
Shmem:             17060 kB
Slab:             119072 kB
SReclaimable:      94124 kB
SUnreclaim:        24948 kB
KernelStack:        3440 kB
PageTables:         5476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1147380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    159744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61832 MiB
End job on node131 at 2017-08-19 13:39:02