Trace number 4269778

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-09)UNSAT 8.0943699 3.3392799

General information on the benchmark

NameSat/Sat-xcsp2-bmc/
bmc-ibm-7-16_X2.xml
MD5SUM8fc892d8cd45aeefd26f51f7c42b85f4
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 benchmark8.0211802
Satisfiable
(Un)Satisfiability was proved
Number of variables8710
Number of constraints48484
Number of domains1
Minimum domain size16
Maximum domain size16
Distribution of domain sizes[{"size":16,"count":8710}]
Minimum variable degree1
Maximum variable degree351
Distribution of variable degrees[{"degree":1,"count":80},{"degree":3,"count":130},{"degree":5,"count":38},{"degree":6,"count":1113},{"degree":7,"count":845},{"degree":8,"count":2310},{"degree":9,"count":982},{"degree":10,"count":398},{"degree":11,"count":355},{"degree":12,"count":309},{"degree":13,"count":256},{"degree":14,"count":153},{"degree":15,"count":50},{"degree":16,"count":123},{"degree":17,"count":53},{"degree":18,"count":29},{"degree":19,"count":97},{"degree":20,"count":271},{"degree":21,"count":131},{"degree":22,"count":230},{"degree":23,"count":114},{"degree":24,"count":12},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":9},{"degree":28,"count":16},{"degree":29,"count":80},{"degree":32,"count":16},{"degree":33,"count":80},{"degree":36,"count":26},{"degree":37,"count":125},{"degree":38,"count":61},{"degree":41,"count":5},{"degree":42,"count":48},{"degree":43,"count":40},{"degree":54,"count":12},{"degree":70,"count":6},{"degree":72,"count":6},{"degree":74,"count":6},{"degree":82,"count":4},{"degree":83,"count":16},{"degree":86,"count":6},{"degree":88,"count":6},{"degree":103,"count":12},{"degree":104,"count":6},{"degree":141,"count":6},{"degree":146,"count":12},{"degree":179,"count":6},{"degree":350,"count":1},{"degree":351,"count":5}]
Minimum constraint arity1
Maximum constraint arity33
Distribution of constraint arities[{"arity":1,"count":8912},{"arity":2,"count":32425},{"arity":3,"count":2423},{"arity":4,"count":885},{"arity":5,"count":1429},{"arity":6,"count":1209},{"arity":7,"count":251},{"arity":8,"count":411},{"arity":9,"count":201},{"arity":10,"count":18},{"arity":11,"count":129},{"arity":12,"count":9},{"arity":13,"count":109},{"arity":16,"count":9},{"arity":17,"count":50},{"arity":33,"count":14}]
Number of extensional constraints0
Number of intensional constraints8912
Distribution of constraint types[{"type":"intension","count":8912},{"type":"sum","count":39572}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.06	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269778-1502742659.xml"  -tl '2520s' -p 1 -x 0
0.06/0.30	c [HOME/instance-4269778-1502742659.xml, -tl, 2520s, -p, 1, -x, 0]
0.23/0.36	c simple solver
0.41/0.42	c parse instance...
7.70/3.22	c solve instance...
8.02/3.32	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 (15263 MiB free)
  memory of node 1: 16384 MiB (15595 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269778-1502742659/watcher-4269778-1502742659 -o /tmp/evaluation-result-4269778-1502742659/solver-4269778-1502742659 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1793675878 HOME/instance-4269778-1502742659.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=27614, runsolver pid=27611

[startup+0.100116 s]*
/proc/loadavg: 2.31 1.93 1.82 2/186 27624
/proc/meminfo: memFree=31590764/32770624 swapFree=67108860/67108860
[pid=27614] ppid=27611 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27614/stat : 27614 (xcsp3-exec) S 27611 27614 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62606515 9740288 345 18446744073709551615 4194304 5098028 140724357138768 140724357136872 140625583022716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 27529216 140724357140856 140724357141061 140724357141061 140724357144555 0
/proc/27614/statm: 2378 345 289 221 0 87 0
[pid=27616] ppid=27614 vsize=13574484 memory=19252 CPUtime=0.02 cores=1,3,5,7
/proc/27616/stat : 27616 (java) S 27614 27614 11586 0 -1 1077944320 4122 0 0 0 2 0 0 0 20 0 9 0 62606522 13900271616 4813 18446744073709551615 4194304 4196468 140735126371664 140735126354208 139680505667319 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
/proc/27616/statm: 3393621 4813 2100 1 0 3383118 0
[pid=27616/tid=27617] ppid=27614 vsize=13574484 memory=280168903999728 CPUtime=0.02 cores=1,3,5,7
/proc/27616/task/27617/stat : 27617 (java) R 27614 27614 11586 0 -1 4202560 2825 0 0 0 2 0 0 0 20 0 9 0 62606522 13900271616 4813 18446744073709551615 4194304 4196468 140735126371664 139680509903368 139680505689245 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27618] ppid=27614 vsize=13574484 memory=280169064105720 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27618/stat : 27618 (java) S 27614 27614 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 62606523 13900271616 4813 18446744073709551615 4194304 4196468 140735126371664 139680462634128 139680505677525 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27619] ppid=27614 vsize=13574484 memory=140084612105856 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27619/stat : 27619 (java) S 27614 27614 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 62606523 13900271616 4813 18446744073709551615 4194304 4196468 140735126371664 139680461581328 139680505677525 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27620] ppid=27614 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27620/stat : 27620 (java) S 27614 27614 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 62606523 13900271616 4813 18446744073709551615 4194304 4196468 140735126371664 139680460528528 139680505677525 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27621] ppid=27614 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27621/stat : 27621 (java) S 27614 27614 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 62606523 13900271616 4813 18446744073709551615 4194304 4196468 140735126371664 139680459475728 139680505677525 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27622] ppid=27614 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27622/stat : 27622 (java) S 27614 27614 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 62606524 13900271616 4813 18446744073709551615 4194304 4196468 140735126371664 139679421938032 139680505678466 0 0 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27623] ppid=27614 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27623/stat : 27623 (java) S 27614 27614 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 62606525 13900271616 4813 18446744073709551615 4194304 4196468 140735126371664 139679420884000 139680505677525 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27624] ppid=27614 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27624/stat : 27624 (java) S 27614 27614 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 62606525 13900271616 4813 18446744073709551615 4194304 4196468 140735126371664 139679419831216 139680505677525 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20632 KiB

[startup+0.20956 s]*
/proc/loadavg: 2.31 1.93 1.82 1/191 27632
/proc/meminfo: memFree=31587044/32770624 swapFree=67108860/67108860
[pid=27614] ppid=27611 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27614/stat : 27614 (xcsp3-exec) S 27611 27614 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62606515 9740288 345 18446744073709551615 4194304 5098028 140724357138768 140724357136872 140625583022716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 27529216 140724357140856 140724357141061 140724357141061 140724357144555 0
/proc/27614/statm: 2378 345 289 221 0 87 0
[pid=27616] ppid=27614 vsize=13973868 memory=22000 CPUtime=0.06 cores=1,3,5,7
/proc/27616/stat : 27616 (java) S 27614 27614 11586 0 -1 1077944320 4904 0 0 0 5 1 0 0 20 0 15 0 62606522 14309240832 5500 18446744073709551615 4194304 4196468 140735126371664 140735126354208 139680505667319 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
/proc/27616/statm: 3493467 5500 2576 1 0 3482964 0
[pid=27616/tid=27617] ppid=27614 vsize=13973868 memory=4026531975 CPUtime=0.04 cores=1,3,5,7
/proc/27616/task/27617/stat : 27617 (java) R 27614 27614 11586 0 -1 4202560 3086 0 0 0 4 0 0 0 20 0 15 0 62606522 14309240832 5500 18446744073709551615 4194304 4196468 140735126371664 139680509898224 139680498345333 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27618] ppid=27614 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27618/stat : 27618 (java) S 27614 27614 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606523 14309240832 5500 18446744073709551615 4194304 4196468 140735126371664 139680462634128 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27619] ppid=27614 vsize=13973868 memory=4122959276825052832 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27619/stat : 27619 (java) S 27614 27614 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606523 14309240832 5500 18446744073709551615 4194304 4196468 140735126371664 139680461581328 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27620] ppid=27614 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27620/stat : 27620 (java) S 27614 27614 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606523 14309240832 5500 18446744073709551615 4194304 4196468 140735126371664 139680460528528 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27621] ppid=27614 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27621/stat : 27621 (java) S 27614 27614 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62606523 14309240832 5500 18446744073709551615 4194304 4196468 140735126371664 139680459475728 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27622] ppid=27614 vsize=13973868 memory=140084612105856 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27622/stat : 27622 (java) S 27614 27614 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62606524 14309240832 5500 18446744073709551615 4194304 4196468 140735126371664 139679421938032 139680505678466 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27623] ppid=27614 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27623/stat : 27623 (java) S 27614 27614 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62606525 14309240832 5500 18446744073709551615 4194304 4196468 140735126371664 139679420884000 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27624] ppid=27614 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27624/stat : 27624 (java) S 27614 27614 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62606525 14309240832 5500 18446744073709551615 4194304 4196468 140735126371664 139679419831152 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27625] ppid=27614 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27625/stat : 27625 (java) S 27614 27614 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606527 14309240832 5500 18446744073709551615 4194304 4196468 140735126371664 139679418779472 139680505685915 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27626] ppid=27614 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27626/stat : 27626 (java) S 27614 27614 11586 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 62606527 14309240832 5500 18446744073709551615 4194304 4196468 140735126371664 139679417727856 139680505678466 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27627] ppid=27614 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27627/stat : 27627 (java) S 27614 27614 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606527 14309240832 5500 18446744073709551615 4194304 4196468 140735126371664 139679416675056 139680505678466 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27628] ppid=27614 vsize=13973868 memory=140084612105856 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27628/stat : 27628 (java) R 27614 27614 11586 0 -1 4202560 220 0 0 0 0 0 0 0 20 0 15 0 62606527 14309240832 5500 18446744073709551615 4194304 4196468 140735126371664 139679415622256 139680505688666 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27629] ppid=27614 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27629/stat : 27629 (java) S 27614 27614 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606528 14309240832 5500 18446744073709551615 4194304 4196468 140735126371664 139679414569696 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27633] ppid=27614 vsize=13973868 memory=140084612105856 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27633/stat : 27633 (java) S 27614 27614 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606537 14309240832 5500 18446744073709551615 4194304 4196468 140735126371664 139679413516976 139680505678466 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 23380 KiB

[startup+0.309829 s]*
/proc/loadavg: 2.31 1.93 1.82 2/192 27639
/proc/meminfo: memFree=31576168/32770624 swapFree=67108860/67108860
[pid=27614] ppid=27611 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27614/stat : 27614 (xcsp3-exec) S 27611 27614 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62606515 9740288 345 18446744073709551615 4194304 5098028 140724357138768 140724357136872 140625583022716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 27529216 140724357140856 140724357141061 140724357141061 140724357144555 0
/proc/27614/statm: 2378 345 289 221 0 87 0
[pid=27616] ppid=27614 vsize=13974352 memory=36452 CPUtime=0.23 cores=1,3,5,7
/proc/27616/stat : 27616 (java) S 27614 27614 11586 0 -1 1077944320 8679 0 0 0 21 2 0 0 20 0 15 0 62606522 14309736448 9113 18446744073709551615 4194304 4196468 140735126371664 140735126354208 139680505667319 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
/proc/27616/statm: 3493588 9113 2974 1 0 3482964 0
[pid=27616/tid=27617] ppid=27614 vsize=13974352 memory=-7677926825137650786 CPUtime=0.14 cores=1,3,5,7
/proc/27616/task/27617/stat : 27617 (java) R 27614 27614 11586 0 -1 4202560 5962 0 0 0 13 1 0 0 20 0 15 0 62606522 14309736448 9113 18446744073709551615 4194304 4196468 140735126371664 139680509889696 139680489747806 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27618] ppid=27614 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27618/stat : 27618 (java) S 27614 27614 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606523 14309736448 9113 18446744073709551615 4194304 4196468 140735126371664 139680462634128 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27619] ppid=27614 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27619/stat : 27619 (java) S 27614 27614 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606523 14309736448 9113 18446744073709551615 4194304 4196468 140735126371664 139680461581328 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27620] ppid=27614 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27620/stat : 27620 (java) S 27614 27614 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606523 14309736448 9113 18446744073709551615 4194304 4196468 140735126371664 139680460528528 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27621] ppid=27614 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27621/stat : 27621 (java) S 27614 27614 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62606523 14309736448 9113 18446744073709551615 4194304 4196468 140735126371664 139680459475728 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27622] ppid=27614 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27622/stat : 27622 (java) S 27614 27614 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62606524 14309736448 9113 18446744073709551615 4194304 4196468 140735126371664 139679421938032 139680505678466 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27623] ppid=27614 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27623/stat : 27623 (java) S 27614 27614 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62606525 14309736448 9113 18446744073709551615 4194304 4196468 140735126371664 139679420884000 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27624] ppid=27614 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27624/stat : 27624 (java) S 27614 27614 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62606525 14309736448 9113 18446744073709551615 4194304 4196468 140735126371664 139679419831152 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27625] ppid=27614 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27625/stat : 27625 (java) S 27614 27614 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606527 14309736448 9113 18446744073709551615 4194304 4196468 140735126371664 139679418779472 139680505685915 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27626] ppid=27614 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27616/task/27626/stat : 27626 (java) S 27614 27614 11586 0 -1 1077944384 490 0 0 0 1 0 0 0 20 0 15 0 62606527 14309736448 9113 18446744073709551615 4194304 4196468 140735126371664 139679417727856 139680505678466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27627] ppid=27614 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27616/task/27627/stat : 27627 (java) R 27614 27614 11586 0 -1 4202560 220 0 0 0 1 0 0 0 20 0 15 0 62606527 14309736448 9113 18446744073709551615 4194304 4196468 140735126371664 139679416675056 139680498652361 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27628] ppid=27614 vsize=13974352 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27616/task/27628/stat : 27628 (java) S 27614 27614 11586 0 -1 1077944384 704 0 0 0 5 0 0 0 20 0 15 0 62606527 14309736448 9113 18446744073709551615 4194304 4196468 140735126371664 139679415622256 139680505678466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27629] ppid=27614 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27629/stat : 27629 (java) S 27614 27614 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606528 14309736448 9113 18446744073709551615 4194304 4196468 140735126371664 139679414569696 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27633] ppid=27614 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27633/stat : 27633 (java) S 27614 27614 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606537 14309736448 9113 18446744073709551615 4194304 4196468 140735126371664 139679413516976 139680505678466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37832 KiB

[startup+0.706678 s]
/proc/loadavg: 2.31 1.93 1.82 4/190 27644
/proc/meminfo: memFree=31564916/32770624 swapFree=67108860/67108860
[pid=27614] ppid=27611 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27614/stat : 27614 (xcsp3-exec) S 27611 27614 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62606515 9740288 345 18446744073709551615 4194304 5098028 140724357138768 140724357136872 140625583022716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 27529216 140724357140856 140724357141061 140724357141061 140724357144555 0
/proc/27614/statm: 2378 345 289 221 0 87 0
[pid=27616] ppid=27614 vsize=13978684 memory=95228 CPUtime=1.23 cores=1,3,5,7
/proc/27616/stat : 27616 (java) S 27614 27614 11586 0 -1 1077944320 13378 0 0 0 119 4 0 0 20 0 15 0 62606522 14314172416 23807 18446744073709551615 4194304 4196468 140735126371664 140735126354208 139680505667319 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
/proc/27616/statm: 3494671 23807 3145 1 0 3482964 0
[pid=27616/tid=27617] ppid=27614 vsize=13978684 memory=6628 CPUtime=0.53 cores=1,3,5,7
/proc/27616/task/27617/stat : 27617 (java) R 27614 27614 11586 0 -1 4202560 7788 0 0 0 50 3 0 0 20 0 15 0 62606522 14314172416 23807 18446744073709551615 4194304 4196468 140735126371664 139680509903080 139680485883847 0 4 1 16800974 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27618] ppid=27614 vsize=13978684 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27618/stat : 27618 (java) S 27614 27614 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606523 14314172416 23807 18446744073709551615 4194304 4196468 140735126371664 139680462634128 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27619] ppid=27614 vsize=13978684 memory=33 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27619/stat : 27619 (java) S 27614 27614 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606523 14314172416 23807 18446744073709551615 4194304 4196468 140735126371664 139680461581328 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27620] ppid=27614 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27620/stat : 27620 (java) S 27614 27614 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606523 14314172416 23807 18446744073709551615 4194304 4196468 140735126371664 139680460528528 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27621] ppid=27614 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27621/stat : 27621 (java) S 27614 27614 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62606523 14314172416 23807 18446744073709551615 4194304 4196468 140735126371664 139680459475728 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27622] ppid=27614 vsize=13978684 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27622/stat : 27622 (java) S 27614 27614 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62606524 14314172416 23807 18446744073709551615 4194304 4196468 140735126371664 139679421938032 139680505678466 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27623] ppid=27614 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27623/stat : 27623 (java) S 27614 27614 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62606525 14314172416 23807 18446744073709551615 4194304 4196468 140735126371664 139679420884000 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27624] ppid=27614 vsize=13978684 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27624/stat : 27624 (java) S 27614 27614 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62606525 14314172416 23807 18446744073709551615 4194304 4196468 140735126371664 139679419831152 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27625] ppid=27614 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27625/stat : 27625 (java) S 27614 27614 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606527 14314172416 23807 18446744073709551615 4194304 4196468 140735126371664 139679418779472 139680505685915 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27626] ppid=27614 vsize=13978684 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/27616/task/27626/stat : 27626 (java) R 27614 27614 11586 0 -1 4202560 1685 0 0 0 24 0 0 0 20 0 15 0 62606527 14314172416 23807 18446744073709551615 4194304 4196468 140735126371664 139679417716848 139680491691168 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27627] ppid=27614 vsize=13978684 memory=280168904264480 CPUtime=0.24 cores=1,3,5,7
/proc/27616/task/27627/stat : 27627 (java) R 27614 27614 11586 0 -1 4202560 1212 0 0 0 24 0 0 0 20 0 15 0 62606527 14314172416 23807 18446744073709551615 4194304 4196468 140735126371664 139679416663760 139680505688666 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27628] ppid=27614 vsize=13978684 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/27616/task/27628/stat : 27628 (java) R 27614 27614 11586 0 -1 4202560 1384 0 0 0 19 0 0 0 20 0 15 0 62606527 14314172416 23807 18446744073709551615 4194304 4196468 140735126371664 139679415622256 139680505688666 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27629] ppid=27614 vsize=13978684 memory=-1624781813439352349 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27629/stat : 27629 (java) S 27614 27614 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606528 14314172416 23807 18446744073709551615 4194304 4196468 140735126371664 139679414569696 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27633] ppid=27614 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27633/stat : 27633 (java) S 27614 27614 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62606537 14314172416 23807 18446744073709551615 4194304 4196468 140735126371664 139679413516976 139680505678466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 96608 KiB

[startup+1.50172 s]
/proc/loadavg: 2.31 1.93 1.82 6/202 27665
/proc/meminfo: memFree=31459380/32770624 swapFree=67108860/67108860
[pid=27614] ppid=27611 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27614/stat : 27614 (xcsp3-exec) S 27611 27614 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62606515 9740288 345 18446744073709551615 4194304 5098028 140724357138768 140724357136872 140625583022716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 27529216 140724357140856 140724357141061 140724357141061 140724357144555 0
/proc/27614/statm: 2378 345 289 221 0 87 0
[pid=27616] ppid=27614 vsize=13978684 memory=228900 CPUtime=3.77 cores=1,3,5,7
/proc/27616/stat : 27616 (java) S 27614 27614 11586 0 -1 1077944320 21066 0 0 0 366 11 0 0 20 0 15 0 62606522 14314172416 57225 18446744073709551615 4194304 4196468 140735126371664 140735126354208 139680505667319 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
/proc/27616/statm: 3494671 57225 3205 1 0 3482964 0
[pid=27616/tid=27617] ppid=27614 vsize=13978684 memory=0 CPUtime=1.27 cores=1,3,5,7
/proc/27616/task/27617/stat : 27617 (java) R 27614 27614 11586 0 -1 4202560 8064 0 0 0 123 4 0 0 20 0 15 0 62606522 14314172416 57225 18446744073709551615 4194304 4196468 140735126371664 139680509904096 139680140921875 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27618] ppid=27614 vsize=13978684 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27616/task/27618/stat : 27618 (java) S 27614 27614 11586 0 -1 1077944384 167 0 0 0 2 0 0 0 20 0 15 0 62606523 14314172416 57225 18446744073709551615 4194304 4196468 140735126371664 139680462634128 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27619] ppid=27614 vsize=13978684 memory=280168904368016 CPUtime=0.02 cores=1,3,5,7
/proc/27616/task/27619/stat : 27619 (java) S 27614 27614 11586 0 -1 1077944384 18 0 0 0 2 0 0 0 20 0 15 0 62606523 14314172416 57225 18446744073709551615 4194304 4196468 140735126371664 139680461581328 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27620] ppid=27614 vsize=13978684 memory=1790800035841 CPUtime=0.01 cores=1,3,5,7
/proc/27616/task/27620/stat : 27620 (java) S 27614 27614 11586 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 15 0 62606523 14314172416 57225 18446744073709551615 4194304 4196468 140735126371664 139680460528528 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27621] ppid=27614 vsize=13978684 memory=280168904316864 CPUtime=0.04 cores=1,3,5,7
/proc/27616/task/27621/stat : 27621 (java) S 27614 27614 11586 0 -1 1077944384 281 0 0 0 3 1 0 0 20 0 15 0 62606523 14314172416 57225 18446744073709551615 4194304 4196468 140735126371664 139680459475728 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27622] ppid=27614 vsize=13978684 memory=122956122425844 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27622/stat : 27622 (java) S 27614 27614 11586 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 62606524 14314172416 57225 18446744073709551615 4194304 4196468 140735126371664 139679421938032 139680505678466 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27623] ppid=27614 vsize=13978684 memory=122956122425844 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27623/stat : 27623 (java) S 27614 27614 11586 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 62606525 14314172416 57225 18446744073709551615 4194304 4196468 140735126371664 139679420884000 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27624] ppid=27614 vsize=13978684 memory=122956122425588 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27624/stat : 27624 (java) S 27614 27614 11586 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 62606525 14314172416 57225 18446744073709551615 4194304 4196468 140735126371664 139679419831152 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27625] ppid=27614 vsize=13978684 memory=33 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27625/stat : 27625 (java) S 27614 27614 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606527 14314172416 57225 18446744073709551615 4194304 4196468 140735126371664 139679418779472 139680505685915 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27626] ppid=27614 vsize=13978684 memory=0 CPUtime=0.96 cores=1,3,5,7
/proc/27616/task/27626/stat : 27626 (java) R 27614 27614 11586 0 -1 4202560 4015 0 0 0 95 1 0 0 20 0 15 0 62606527 14314172416 57225 18446744073709551615 4194304 4196468 140735126371664 139679417714400 139680485356726 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27627] ppid=27614 vsize=13978684 memory=0 CPUtime=0.98 cores=1,3,5,7
/proc/27616/task/27627/stat : 27627 (java) R 27614 27614 11586 0 -1 4202560 4558 0 0 0 98 0 0 0 20 0 15 0 62606527 14314172416 57225 18446744073709551615 4194304 4196468 140735126371664 139679416656176 139680490793184 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27628] ppid=27614 vsize=13978684 memory=8562125494162282060 CPUtime=0.39 cores=1,3,5,7
/proc/27616/task/27628/stat : 27628 (java) S 27614 27614 11586 0 -1 1077944384 2500 0 0 0 39 0 0 0 20 0 15 0 62606527 14314172416 57225 18446744073709551615 4194304 4196468 140735126371664 139679415622256 139680505678466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27629] ppid=27614 vsize=13978684 memory=280168904075776 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27629/stat : 27629 (java) S 27614 27614 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606528 14314172416 57225 18446744073709551615 4194304 4196468 140735126371664 139679414569696 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27633] ppid=27614 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27633/stat : 27633 (java) S 27614 27614 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606537 14314172416 57225 18446744073709551615 4194304 4196468 140735126371664 139679413516976 139680505678466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
Current children cumulated CPU time: 3.77 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 230280 KiB

[startup+3.11167 s]
/proc/loadavg: 2.31 1.93 1.82 7/211 27674
/proc/meminfo: memFree=30819460/32770624 swapFree=67108860/67108860
[pid=27614] ppid=27611 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27614/stat : 27614 (xcsp3-exec) S 27611 27614 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62606515 9740288 345 18446744073709551615 4194304 5098028 140724357138768 140724357136872 140625583022716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 27529216 140724357140856 140724357141061 140724357141061 140724357144555 0
/proc/27614/statm: 2378 345 289 221 0 87 0
[pid=27616] ppid=27614 vsize=13980732 memory=440248 CPUtime=7.42 cores=1,3,5,7
/proc/27616/stat : 27616 (java) S 27614 27614 11586 0 -1 1077944320 29771 0 0 0 722 20 0 0 20 0 15 0 62606522 14316269568 110062 18446744073709551615 4194304 4196468 140735126371664 140735126354208 139680505667319 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
/proc/27616/statm: 3495183 110062 3225 1 0 3483476 0
[pid=27616/tid=27617] ppid=27614 vsize=13980732 memory=1380 CPUtime=2.3 cores=1,3,5,7
/proc/27616/task/27617/stat : 27617 (java) R 27614 27614 11586 0 -1 4202560 9208 0 0 0 224 6 0 0 20 0 15 0 62606522 14316269568 110062 18446744073709551615 4194304 4196468 140735126371664 139680509902184 139680144829328 0 4 1 16800974 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27618] ppid=27614 vsize=13980732 memory=439016 CPUtime=0.12 cores=1,3,5,7
/proc/27616/task/27618/stat : 27618 (java) S 27614 27614 11586 0 -1 1077944384 974 0 0 0 10 2 0 0 20 0 15 0 62606523 14316269568 110062 18446744073709551615 4194304 4196468 140735126371664 139680462634128 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27619] ppid=27614 vsize=13980732 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27616/task/27619/stat : 27619 (java) S 27614 27614 11586 0 -1 1077944384 122 0 0 0 6 1 0 0 20 0 15 0 62606523 14316269568 110062 18446744073709551615 4194304 4196468 140735126371664 139680461581328 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27620] ppid=27614 vsize=13980732 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/27616/task/27620/stat : 27620 (java) S 27614 27614 11586 0 -1 1077944384 141 0 0 0 5 1 0 0 20 0 15 0 62606523 14316269568 110062 18446744073709551615 4194304 4196468 140735126371664 139680460528528 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27621] ppid=27614 vsize=13980732 memory=7 CPUtime=0.12 cores=1,3,5,7
/proc/27616/task/27621/stat : 27621 (java) S 27614 27614 11586 0 -1 1077944384 371 0 0 0 9 3 0 0 20 0 15 0 62606523 14316269568 110062 18446744073709551615 4194304 4196468 140735126371664 139680459475728 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27622] ppid=27614 vsize=13980732 memory=6 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27622/stat : 27622 (java) S 27614 27614 11586 0 -1 1077944384 539 0 0 0 0 0 0 0 20 0 15 0 62606524 14316269568 110062 18446744073709551615 4194304 4196468 140735126371664 139679421938032 139680505678466 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27623] ppid=27614 vsize=13980732 memory=12 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27623/stat : 27623 (java) S 27614 27614 11586 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 62606525 14316269568 110062 18446744073709551615 4194304 4196468 140735126371664 139679420884064 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27624] ppid=27614 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27624/stat : 27624 (java) S 27614 27614 11586 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 62606525 14316269568 110062 18446744073709551615 4194304 4196468 140735126371664 139679419831168 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27625] ppid=27614 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27625/stat : 27625 (java) S 27614 27614 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606527 14316269568 110062 18446744073709551615 4194304 4196468 140735126371664 139679418779472 139680505685915 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27626] ppid=27614 vsize=13980732 memory=0 CPUtime=2.04 cores=1,3,5,7
/proc/27616/task/27626/stat : 27626 (java) R 27614 27614 11586 0 -1 4202560 6638 0 0 0 203 1 0 0 20 0 15 0 62606527 14316269568 110062 18446744073709551615 4194304 4196468 140735126371664 139679417716560 139680487189496 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27627] ppid=27614 vsize=13980732 memory=0 CPUtime=2.01 cores=1,3,5,7
/proc/27616/task/27627/stat : 27627 (java) R 27614 27614 11586 0 -1 4202560 7011 0 0 0 200 1 0 0 20 0 15 0 62606527 14316269568 110062 18446744073709551615 4194304 4196468 140735126371664 139679416661840 139680491707980 0 4 1 16800974 0 0 0 -1 3 0 0 49 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27628] ppid=27614 vsize=13980732 memory=113 CPUtime=0.6 cores=1,3,5,7
/proc/27616/task/27628/stat : 27628 (java) S 27614 27614 11586 0 -1 1077944384 3404 0 0 0 59 1 0 0 20 0 15 0 62606527 14316269568 110062 18446744073709551615 4194304 4196468 140735126371664 139679415622256 139680505678466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27629] ppid=27614 vsize=13980732 memory=117 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27629/stat : 27629 (java) S 27614 27614 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606528 14316269568 110062 18446744073709551615 4194304 4196468 140735126371664 139679414569696 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27633] ppid=27614 vsize=13980732 memory=39 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27633/stat : 27633 (java) S 27614 27614 11586 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 62606537 14316269568 110062 18446744073709551615 4194304 4196468 140735126371664 139679413516976 139680505678466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
Current children cumulated CPU time: 7.42 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 441628 KiB

[startup+3.33922 s]
# the end of solver process 27614 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.88568 s, system=0.208686 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20167 s]
/proc/loadavg: 2.31 1.93 1.82 7/211 27674
/proc/meminfo: memFree=30819460/32770624 swapFree=67108860/67108860
[pid=27614] ppid=27611 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27614/stat : 27614 (xcsp3-exec) S 27611 27614 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62606515 9740288 345 18446744073709551615 4194304 5098028 140724357138768 140724357136872 140625583022716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 27529216 140724357140856 140724357141061 140724357141061 140724357144555 0
/proc/27614/statm: 2378 345 289 221 0 87 0
[pid=27616] ppid=27614 vsize=13980732 memory=440616 CPUtime=7.7 cores=1,3,5,7
/proc/27616/stat : 27616 (java) S 27614 27614 11586 0 -1 1077944320 29924 0 0 0 750 20 0 0 20 0 15 0 62606522 14316269568 110154 18446744073709551615 4194304 4196468 140735126371664 140735126354208 139680505667319 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
/proc/27616/statm: 3495183 110154 3225 1 0 3483476 0
[pid=27616/tid=27617] ppid=27614 vsize=13980732 memory=7100839852825812634 CPUtime=2.39 cores=1,3,5,7
/proc/27616/task/27617/stat : 27617 (java) R 27614 27614 11586 0 -1 4202560 9295 0 0 0 233 6 0 0 20 0 15 0 62606522 14316269568 110154 18446744073709551615 4194304 4196468 140735126371664 139680509906328 139680145441008 0 4 1 16800974 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27618] ppid=27614 vsize=13980732 memory=7595434465373088107 CPUtime=0.12 cores=1,3,5,7
/proc/27616/task/27618/stat : 27618 (java) S 27614 27614 11586 0 -1 1077944384 974 0 0 0 10 2 0 0 20 0 15 0 62606523 14316269568 110154 18446744073709551615 4194304 4196468 140735126371664 139680462634128 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27619] ppid=27614 vsize=13980732 memory=8101247189090653288 CPUtime=0.07 cores=1,3,5,7
/proc/27616/task/27619/stat : 27619 (java) S 27614 27614 11586 0 -1 1077944384 122 0 0 0 6 1 0 0 20 0 15 0 62606523 14316269568 110154 18446744073709551615 4194304 4196468 140735126371664 139680461581328 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27620] ppid=27614 vsize=13980732 memory=7883383366196749675 CPUtime=0.06 cores=1,3,5,7
/proc/27616/task/27620/stat : 27620 (java) S 27614 27614 11586 0 -1 1077944384 141 0 0 0 5 1 0 0 20 0 15 0 62606523 14316269568 110154 18446744073709551615 4194304 4196468 140735126371664 139680460528528 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27621] ppid=27614 vsize=13980732 memory=11201815066994 CPUtime=0.12 cores=1,3,5,7
/proc/27616/task/27621/stat : 27621 (java) S 27614 27614 11586 0 -1 1077944384 371 0 0 0 9 3 0 0 20 0 15 0 62606523 14316269568 110154 18446744073709551615 4194304 4196468 140735126371664 139680459475728 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27622] ppid=27614 vsize=13980732 memory=280168904017400 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27622/stat : 27622 (java) S 27614 27614 11586 0 -1 1077944384 539 0 0 0 0 0 0 0 20 0 15 0 62606524 14316269568 110154 18446744073709551615 4194304 4196468 140735126371664 139679421938032 139680505678466 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27623] ppid=27614 vsize=13980732 memory=140084452014505 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27623/stat : 27623 (java) S 27614 27614 11586 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 62606525 14316269568 110154 18446744073709551615 4194304 4196468 140735126371664 139679420884064 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27624] ppid=27614 vsize=13980732 memory=280168904045776 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27624/stat : 27624 (java) S 27614 27614 11586 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 62606525 14316269568 110154 18446744073709551615 4194304 4196468 140735126371664 139679419831168 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27625] ppid=27614 vsize=13980732 memory=2525239445249 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27625/stat : 27625 (java) S 27614 27614 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606527 14316269568 110154 18446744073709551615 4194304 4196468 140735126371664 139679418779472 139680505685915 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27626] ppid=27614 vsize=13980732 memory=19773062 CPUtime=2.13 cores=1,3,5,7
/proc/27616/task/27626/stat : 27626 (java) R 27614 27614 11586 0 -1 4202560 6665 0 0 0 212 1 0 0 20 0 15 0 62606527 14316269568 110154 18446744073709551615 4194304 4196468 140735126371664 139679417715728 139680505688666 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27627] ppid=27614 vsize=13980732 memory=1008 CPUtime=2.1 cores=1,3,5,7
/proc/27616/task/27627/stat : 27627 (java) R 27614 27614 11586 0 -1 4202560 7019 0 0 0 209 1 0 0 20 0 15 0 62606527 14316269568 110154 18446744073709551615 4194304 4196468 140735126371664 139679416659568 139680490776885 0 4 1 16800974 0 0 0 -1 3 0 0 49 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27628] ppid=27614 vsize=13980732 memory=1232 CPUtime=0.62 cores=1,3,5,7
/proc/27616/task/27628/stat : 27628 (java) S 27614 27614 11586 0 -1 1077944384 3435 0 0 0 61 1 0 0 20 0 15 0 62606527 14316269568 110154 18446744073709551615 4194304 4196468 140735126371664 139679415622256 139680505678466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27629] ppid=27614 vsize=13980732 memory=8956 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27629/stat : 27629 (java) S 27614 27614 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606528 14316269568 110154 18446744073709551615 4194304 4196468 140735126371664 139679414569696 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27633] ppid=27614 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27633/stat : 27633 (java) S 27614 27614 11586 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 62606537 14316269568 110154 18446744073709551615 4194304 4196468 140735126371664 139679413516976 139680505678466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
Current children cumulated CPU time: 7.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 441996 KiB

[startup+3.30121 s]
/proc/loadavg: 2.31 1.93 1.82 7/211 27674
/proc/meminfo: memFree=30819460/32770624 swapFree=67108860/67108860
[pid=27614] ppid=27611 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27614/stat : 27614 (xcsp3-exec) S 27611 27614 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62606515 9740288 345 18446744073709551615 4194304 5098028 140724357138768 140724357136872 140625583022716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 27529216 140724357140856 140724357141061 140724357141061 140724357144555 0
/proc/27614/statm: 2378 345 289 221 0 87 0
[pid=27616] ppid=27614 vsize=13980668 memory=441200 CPUtime=8.02 cores=1,3,5,7
/proc/27616/stat : 27616 (java) S 27614 27614 11586 0 -1 1077944320 30255 0 0 0 782 20 0 0 20 0 15 0 62606522 14316204032 110300 18446744073709551615 4194304 4196468 140735126371664 140735126354208 139680505667319 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
/proc/27616/statm: 3495183 110300 3227 1 0 3483476 0
[pid=27616/tid=27617] ppid=27614 vsize=13980732 memory=0 CPUtime=2.49 cores=1,3,5,7
/proc/27616/task/27617/stat : 27617 (java) R 27614 27614 11586 0 -1 1077944384 9492 0 0 0 243 6 0 0 20 0 15 0 62606522 14316269568 110300 18446744073709551615 4194304 4196468 140735126371664 139680509906096 139680505677525 0 4 1 16800974 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27618] ppid=27614 vsize=13980732 memory=113 CPUtime=0.12 cores=1,3,5,7
/proc/27616/task/27618/stat : 27618 (java) S 27614 27614 11586 0 -1 1077944384 974 0 0 0 10 2 0 0 20 0 15 0 62606523 14316269568 110300 18446744073709551615 4194304 4196468 140735126371664 139680462634128 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27619] ppid=27614 vsize=13980732 memory=117 CPUtime=0.07 cores=1,3,5,7
/proc/27616/task/27619/stat : 27619 (java) S 27614 27614 11586 0 -1 1077944384 122 0 0 0 6 1 0 0 20 0 15 0 62606523 14316269568 110300 18446744073709551615 4194304 4196468 140735126371664 139680461581328 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27620] ppid=27614 vsize=13980732 memory=39 CPUtime=0.06 cores=1,3,5,7
/proc/27616/task/27620/stat : 27620 (java) S 27614 27614 11586 0 -1 1077944384 141 0 0 0 5 1 0 0 20 0 15 0 62606523 14316269568 110300 18446744073709551615 4194304 4196468 140735126371664 139680460528528 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27621] ppid=27614 vsize=13980732 memory=1380 CPUtime=0.12 cores=1,3,5,7
/proc/27616/task/27621/stat : 27621 (java) S 27614 27614 11586 0 -1 1077944384 371 0 0 0 9 3 0 0 20 0 15 0 62606523 14316269568 110300 18446744073709551615 4194304 4196468 140735126371664 139680459475728 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27622] ppid=27614 vsize=13980732 memory=439016 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27622/stat : 27622 (java) S 27614 27614 11586 0 -1 1077944384 539 0 0 0 0 0 0 0 20 0 15 0 62606524 14316269568 110300 18446744073709551615 4194304 4196468 140735126371664 139679421938032 139680505678466 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27623] ppid=27614 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27623/stat : 27623 (java) S 27614 27614 11586 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 62606525 14316269568 110300 18446744073709551615 4194304 4196468 140735126371664 139679420884064 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27624] ppid=27614 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27624/stat : 27624 (java) S 27614 27614 11586 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 62606525 14316269568 110300 18446744073709551615 4194304 4196468 140735126371664 139679419831168 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27625] ppid=27614 vsize=13980732 memory=7 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27625/stat : 27625 (java) S 27614 27614 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606527 14316269568 110300 18446744073709551615 4194304 4196468 140735126371664 139679418779472 139680505685915 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27626] ppid=27614 vsize=13980732 memory=6 CPUtime=2.22 cores=1,3,5,7
/proc/27616/task/27626/stat : 27626 (java) R 27614 27614 11586 0 -1 4202560 6696 0 0 0 221 1 0 0 20 0 15 0 62606527 14316269568 110300 18446744073709551615 4194304 4196468 140735126371664 139679417714640 139680498764163 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27627] ppid=27614 vsize=13980732 memory=12 CPUtime=2.19 cores=1,3,5,7
/proc/27616/task/27627/stat : 27627 (java) R 27614 27614 11586 0 -1 4202560 7056 0 0 0 218 1 0 0 20 0 15 0 62606527 14316269568 110300 18446744073709551615 4194304 4196468 140735126371664 139679416664656 139680490067045 0 4 1 16800974 0 0 0 -1 3 0 0 49 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27628] ppid=27614 vsize=13980732 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/27616/task/27628/stat : 27628 (java) R 27614 27614 11586 0 -1 4202560 3503 0 0 0 64 1 0 0 20 0 15 0 62606527 14316269568 110300 18446744073709551615 4194304 4196468 140735126371664 139679415620048 139680490021913 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27629] ppid=27614 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27629/stat : 27629 (java) S 27614 27614 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62606528 14316269568 110300 18446744073709551615 4194304 4196468 140735126371664 139679414569696 139680505677525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
[pid=27616/tid=27633] ppid=27614 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27616/task/27633/stat : 27633 (java) S 27614 27614 11586 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 62606537 14316269568 110300 18446744073709551615 4194304 4196468 140735126371664 139679413516976 139680505678466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140735126376881 140735126377057 140735126377057 140735126380495 0
Current children cumulated CPU time: 8.02 s
Current children cumulated vsize: 13990180 KiB
Current children cumulated memory: 442580 KiB

Child status: 0
Real time (s): 3.33928
CPU time (s): 8.09437
CPU user time (s): 7.88568
CPU system time (s): 0.208686
CPU usage (%): 242.399
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 442580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.88568
system time used= 0.208686
maximum resident set size= 441944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30903
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2057
involuntary context switches= 53


# summary of solver processes directly reported to runsolver:
#   pid: 27614
#   total CPU time (s): 8.09437
#   total CPU user time (s): 7.88568
#   total CPU system time (s): 0.208686

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051447 second user time and 0.067363 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-14 22:16:42
IDJOB=4269778
IDBENCH=123430
IDSOLVER=2660
FILE ID=node124/4269778-1502742659
RUNJOBID= node124-1502673801-14690
PBS_JOBID= 
Free space on /tmp= 62020 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Sat/Sat-xcsp2-bmc/bmc-ibm-7-16_X2.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-4269778-1502742659/watcher-4269778-1502742659 -o /tmp/evaluation-result-4269778-1502742659/solver-4269778-1502742659 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1793675878 HOME/instance-4269778-1502742659.xml

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

MD5SUM BENCH= 8fc892d8cd45aeefd26f51f7c42b85f4
RANDOM SEED=1793675878

node124.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:        31598652 kB
MemAvailable:   31986104 kB
Buffers:          222884 kB
Cached:           452236 kB
SwapCached:            0 kB
Active:           458304 kB
Inactive:         268292 kB
Active(anon):       2976 kB
Inactive(anon):    81952 kB
Active(file):     455328 kB
Inactive(file):   186340 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             12304 kB
Writeback:             4 kB
AnonPages:         47216 kB
Mapped:            45700 kB
Shmem:             33512 kB
Slab:             149992 kB
SReclaimable:     123240 kB
SUnreclaim:        26752 kB
KernelStack:        3456 kB
PageTables:         5408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     308444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61996 MiB
End job on node124 at 2017-08-14 22:16:46