Trace number 4274072

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
OscaR - Conflict Ordering 2017-07-26UNSAT 3.52563 1.4478

General information on the benchmark

NameQRandom/QRandom-ehi-s90/
ehi-90-315-37.xml
MD5SUM63a6c7e62165414b16ef9081a892f3cd
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.074052997
Satisfiable
(Un)Satisfiability was proved
Number of variables315
Number of constraints4374
Number of domains1
Minimum domain size7
Maximum domain size7
Distribution of domain sizes[{"size":7,"count":315}]
Minimum variable degree22
Maximum variable degree30
Distribution of variable degrees[{"degree":22,"count":2},{"degree":23,"count":3},{"degree":24,"count":3},{"degree":25,"count":7},{"degree":26,"count":34},{"degree":27,"count":70},{"degree":28,"count":93},{"degree":29,"count":80},{"degree":30,"count":23}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4374}]
Number of extensional constraints4374
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":4374}]
Optimization problemNO
Type of objective

Solver Data 

0.27/0.37	c version: 2017-07-26
0.27/0.37	c seed: 1348076880
0.27/0.38	c timeout: 2520
0.27/0.38	c memlimit: 11000
0.27/0.38	c nbcore: 4
0.27/0.40	c Parsing instance...
3.39/1.40	c Parsing done, starting search...
3.39/1.43	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 (14104 MiB free)
  memory of node 1: 16384 MiB (15639 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274072-1502765371/watcher-4274072-1502765371 -o /tmp/evaluation-result-4274072-1502765371/solver-4274072-1502765371 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7260 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1348076880 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274072-1502765371.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=11009, runsolver pid=11006

[startup+0.100156 s]*
/proc/loadavg: 2.22 2.02 1.66 3/200 11015
/proc/meminfo: memFree=30449356/32770624 swapFree=67108860/67108860
[pid=11009] ppid=11006 vsize=13573664 memory=17496 CPUtime=0.01 cores=1,3,5,7
/proc/11009/stat : 11009 (java) S 11006 11009 2357 0 -1 1077944320 3759 0 0 0 1 0 0 0 20 0 9 0 4152219 13899431936 4374 18446744073709551615 4194304 4196468 140729077666384 140729077648928 140464373513975 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
/proc/11009/statm: 3393416 4374 2073 1 0 3382913 0
[pid=11009/tid=11011] ppid=11006 vsize=13573664 memory=-6439968830534014599 CPUtime=0.01 cores=1,3,5,7
/proc/11009/task/11011/stat : 11011 (java) R 11006 11009 2357 0 -1 4202560 2388 0 0 0 1 0 0 0 20 0 9 0 4152227 13899431936 4374 18446744073709551615 4194304 4196468 140729077666384 140464377750120 140464357854104 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11012] ppid=11006 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11012/stat : 11012 (java) S 11006 11009 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 4152228 13899431936 4374 18446744073709551615 4194304 4196468 140729077666384 140464292928528 140464373524181 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11013] ppid=11006 vsize=13573664 memory=139919124125312 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11013/stat : 11013 (java) S 11006 11009 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 4152228 13899431936 4374 18446744073709551615 4194304 4196468 140729077666384 140464291875984 140464373524181 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11014] ppid=11006 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11014/stat : 11014 (java) S 11006 11009 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 4152228 13899431936 4374 18446744073709551615 4194304 4196468 140729077666384 140464290822928 140464373524181 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11015] ppid=11006 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11015/stat : 11015 (java) S 11006 11009 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 4152228 13899431936 4374 18446744073709551615 4194304 4196468 140729077666384 140464289770384 140464373524181 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11016] ppid=11006 vsize=13573664 memory=139919124125312 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11016/stat : 11016 (java) S 11006 11009 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 4152229 13899431936 4374 18446744073709551615 4194304 4196468 140729077666384 140463852456176 140464373525122 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11017] ppid=11006 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11017/stat : 11017 (java) S 11006 11009 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 4152230 13899431936 4374 18446744073709551615 4194304 4196468 140729077666384 140463851402400 140464373524181 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11018] ppid=11006 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11018/stat : 11018 (java) S 11006 11009 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 4152230 13899431936 4374 18446744073709551615 4194304 4196468 140729077666384 140463850349360 140464373524181 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 17496 KiB

[startup+0.20966 s]*
/proc/loadavg: 2.22 2.02 1.66 4/209 11024
/proc/meminfo: memFree=30439472/32770624 swapFree=67108860/67108860
[pid=11009] ppid=11006 vsize=13979532 memory=34932 CPUtime=0.11 cores=1,3,5,7
/proc/11009/stat : 11009 (java) S 11006 11009 2357 0 -1 1077944320 7506 0 0 0 9 2 0 0 20 0 15 0 4152219 14315040768 8733 18446744073709551615 4194304 4196468 140729077666384 140729077648928 140464373513975 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
/proc/11009/statm: 3494883 8733 3387 1 0 3483662 0
[pid=11009/tid=11011] ppid=11006 vsize=13979532 memory=7077796292425249400 CPUtime=0.08 cores=1,3,5,7
/proc/11009/task/11011/stat : 11011 (java) R 11006 11009 2357 0 -1 4202560 5523 0 0 0 7 1 0 0 20 0 15 0 4152227 14315040768 8799 18446744073709551615 4194304 4196468 140729077666384 140464377703424 140464366193693 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11012] ppid=11006 vsize=13979532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11012/stat : 11012 (java) S 11006 11009 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4152228 14315040768 8799 18446744073709551615 4194304 4196468 140729077666384 140464292928528 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11013] ppid=11006 vsize=13979532 memory=139919124125312 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11013/stat : 11013 (java) S 11006 11009 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4152228 14315040768 8799 18446744073709551615 4194304 4196468 140729077666384 140464291875984 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11014] ppid=11006 vsize=13979532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11014/stat : 11014 (java) S 11006 11009 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4152228 14315040768 8799 18446744073709551615 4194304 4196468 140729077666384 140464290822928 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11015] ppid=11006 vsize=13979532 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11015/stat : 11015 (java) S 11006 11009 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4152228 14315040768 8799 18446744073709551615 4194304 4196468 140729077666384 140464289770384 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11016] ppid=11006 vsize=13979532 memory=139919124125312 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11016/stat : 11016 (java) S 11006 11009 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4152229 14315040768 8865 18446744073709551615 4194304 4196468 140729077666384 140463852456176 140464373525122 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11017] ppid=11006 vsize=13979532 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11017/stat : 11017 (java) S 11006 11009 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4152230 14315040768 8865 18446744073709551615 4194304 4196468 140729077666384 140463851402400 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11018] ppid=11006 vsize=13979532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11018/stat : 11018 (java) S 11006 11009 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4152230 14315040768 8865 18446744073709551615 4194304 4196468 140729077666384 140463850349296 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11019] ppid=11006 vsize=13979532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11019/stat : 11019 (java) S 11006 11009 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4152232 14315040768 8865 18446744073709551615 4194304 4196468 140729077666384 140463849297872 140464373532571 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11020] ppid=11006 vsize=13979532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11020/stat : 11020 (java) S 11006 11009 2357 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 4152232 14315040768 8865 18446744073709551615 4194304 4196468 140729077666384 140463848246000 140464373525122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11021] ppid=11006 vsize=13979532 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11021/stat : 11021 (java) S 11006 11009 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4152232 14315040768 8865 18446744073709551615 4194304 4196468 140729077666384 140463847193456 140464373525122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11022] ppid=11006 vsize=13979532 memory=139919124125312 CPUtime=0.01 cores=1,3,5,7
/proc/11009/task/11022/stat : 11022 (java) S 11006 11009 2357 0 -1 1077944384 378 0 0 0 1 0 0 0 20 0 15 0 4152232 14315040768 8865 18446744073709551615 4194304 4196468 140729077666384 140463846140400 140464373525122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11023] ppid=11006 vsize=13979532 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11023/stat : 11023 (java) S 11006 11009 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4152232 14315040768 8865 18446744073709551615 4194304 4196468 140729077666384 140463845088096 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11024] ppid=11006 vsize=13979532 memory=139919124125312 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11024/stat : 11024 (java) S 11006 11009 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4152237 14315040768 8865 18446744073709551615 4194304 4196468 140729077666384 140463844035120 140464373525122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13979532 KiB
Current children cumulated memory: 34932 KiB

[startup+0.310177 s]*
/proc/loadavg: 2.22 2.02 1.66 4/209 11024
/proc/meminfo: memFree=30429944/32770624 swapFree=67108860/67108860
[pid=11009] ppid=11006 vsize=13975920 memory=41072 CPUtime=0.27 cores=1,3,5,7
/proc/11009/stat : 11009 (java) S 11006 11009 2357 0 -1 1077944320 10538 0 0 0 24 3 0 0 20 0 15 0 4152219 14311342080 10268 18446744073709551615 4194304 4196468 140729077666384 140729077648928 140464373513975 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
/proc/11009/statm: 3493980 10268 3558 1 0 3482759 0
[pid=11009/tid=11011] ppid=11006 vsize=13975920 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/11009/task/11011/stat : 11011 (java) R 11006 11009 2357 0 -1 4202560 8125 0 0 0 16 2 0 0 20 0 15 0 4152227 14311342080 10268 18446744073709551615 4194304 4196468 140729077666384 140464377731048 140464373535901 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11012] ppid=11006 vsize=13975920 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11012/stat : 11012 (java) S 11006 11009 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4152228 14311342080 10268 18446744073709551615 4194304 4196468 140729077666384 140464292928528 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11013] ppid=11006 vsize=13975920 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11013/stat : 11013 (java) S 11006 11009 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4152228 14311342080 10268 18446744073709551615 4194304 4196468 140729077666384 140464291875984 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11014] ppid=11006 vsize=13975920 memory=-8187100386482147110 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11014/stat : 11014 (java) S 11006 11009 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4152228 14311342080 10268 18446744073709551615 4194304 4196468 140729077666384 140464290822928 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11015] ppid=11006 vsize=13975920 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11015/stat : 11015 (java) S 11006 11009 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4152228 14311342080 10268 18446744073709551615 4194304 4196468 140729077666384 140464289770384 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11016] ppid=11006 vsize=13975920 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11016/stat : 11016 (java) S 11006 11009 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 4152229 14311342080 10268 18446744073709551615 4194304 4196468 140729077666384 140463852456176 140464373525122 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11017] ppid=11006 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11017/stat : 11017 (java) S 11006 11009 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4152230 14311342080 10268 18446744073709551615 4194304 4196468 140729077666384 140463851402400 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11018] ppid=11006 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11018/stat : 11018 (java) S 11006 11009 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4152230 14311342080 10268 18446744073709551615 4194304 4196468 140729077666384 140463850349296 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11019] ppid=11006 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11019/stat : 11019 (java) S 11006 11009 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4152232 14311342080 10268 18446744073709551615 4194304 4196468 140729077666384 140463849297872 140464373532571 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11020] ppid=11006 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11009/task/11020/stat : 11020 (java) R 11006 11009 2357 0 -1 4202560 524 0 0 0 1 0 0 0 20 0 15 0 4152232 14311342080 10268 18446744073709551615 4194304 4196468 140729077666384 140463848227016 140464354699944 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11021] ppid=11006 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11009/task/11021/stat : 11021 (java) S 11006 11009 2357 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 15 0 4152232 14311342080 10268 18446744073709551615 4194304 4196468 140729077666384 140463847193456 140464373525122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11022] ppid=11006 vsize=13975920 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/11009/task/11022/stat : 11022 (java) S 11006 11009 2357 0 -1 1077944384 459 0 0 0 5 0 0 0 20 0 15 0 4152232 14311342080 10268 18446744073709551615 4194304 4196468 140729077666384 140463846140400 140464373525122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11023] ppid=11006 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11023/stat : 11023 (java) S 11006 11009 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4152232 14311342080 10268 18446744073709551615 4194304 4196468 140729077666384 140463845088096 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11024] ppid=11006 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11024/stat : 11024 (java) S 11006 11009 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4152237 14311342080 10268 18446744073709551615 4194304 4196468 140729077666384 140463844035120 140464373525122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 41072 KiB

[startup+0.701402 s]
/proc/loadavg: 2.22 2.02 1.66 3/209 11024
/proc/meminfo: memFree=30415960/32770624 swapFree=67108860/67108860
[pid=11009] ppid=11006 vsize=13977988 memory=70504 CPUtime=1.13 cores=1,3,5,7
/proc/11009/stat : 11009 (java) S 11006 11009 2357 0 -1 1077944320 13791 0 0 0 108 5 0 0 20 0 15 0 4152219 14313459712 17626 18446744073709551615 4194304 4196468 140729077666384 140729077648928 140464373513975 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
/proc/11009/statm: 3494497 17626 3731 1 0 3483271 0
[pid=11009/tid=11011] ppid=11006 vsize=13977988 memory=2540137613057 CPUtime=0.56 cores=1,3,5,7
/proc/11009/task/11011/stat : 11011 (java) R 11006 11009 2357 0 -1 4202560 9869 0 0 0 53 3 0 0 20 0 15 0 4152227 14313459712 17626 18446744073709551615 4194304 4196468 140729077666384 140464377745408 140463969533505 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11012] ppid=11006 vsize=13977988 memory=2561612449537 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11012/stat : 11012 (java) S 11006 11009 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4152228 14313459712 17626 18446744073709551615 4194304 4196468 140729077666384 140464292928528 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11013] ppid=11006 vsize=13977988 memory=2570202384129 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11013/stat : 11013 (java) S 11006 11009 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4152228 14313459712 17626 18446744073709551615 4194304 4196468 140729077666384 140464291875984 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11014] ppid=11006 vsize=13977988 memory=448874192 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11014/stat : 11014 (java) S 11006 11009 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4152228 14313459712 17626 18446744073709551615 4194304 4196468 140729077666384 140464290822928 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11015] ppid=11006 vsize=13977988 memory=-8556738499077758064 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11015/stat : 11015 (java) S 11006 11009 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4152228 14313459712 17626 18446744073709551615 4194304 4196468 140729077666384 140464289770384 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11016] ppid=11006 vsize=13977988 memory=7956285308106002773 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11016/stat : 11016 (java) S 11006 11009 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 4152229 14313459712 17626 18446744073709551615 4194304 4196468 140729077666384 140463852456176 140464373525122 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11017] ppid=11006 vsize=13977988 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11017/stat : 11017 (java) S 11006 11009 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4152230 14313459712 17626 18446744073709551615 4194304 4196468 140729077666384 140463851402400 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11018] ppid=11006 vsize=13977988 memory=279837923372768 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11018/stat : 11018 (java) S 11006 11009 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4152230 14313459712 17626 18446744073709551615 4194304 4196468 140729077666384 140463850349296 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11019] ppid=11006 vsize=13977988 memory=288230613214036277 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11019/stat : 11019 (java) S 11006 11009 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4152232 14313459712 17626 18446744073709551615 4194304 4196468 140729077666384 140463849297872 140464373532571 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11020] ppid=11006 vsize=13977988 memory=13572582809011720 CPUtime=0.17 cores=1,3,5,7
/proc/11009/task/11020/stat : 11020 (java) R 11006 11009 2357 0 -1 4202560 1033 0 0 0 17 0 0 0 20 0 15 0 4152232 14313459712 17626 18446744073709551615 4194304 4196468 140729077666384 140463848239192 140464357026896 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11021] ppid=11006 vsize=13977988 memory=8676 CPUtime=0.13 cores=1,3,5,7
/proc/11009/task/11021/stat : 11021 (java) R 11006 11009 2357 0 -1 4202560 624 0 0 0 13 0 0 0 20 0 15 0 4152232 14313459712 17626 18446744073709551615 4194304 4196468 140729077666384 140463847185104 140464354281233 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11022] ppid=11006 vsize=13977988 memory=1200 CPUtime=0.24 cores=1,3,5,7
/proc/11009/task/11022/stat : 11022 (java) R 11006 11009 2357 0 -1 4202560 885 0 0 0 24 0 0 0 20 0 15 0 4152232 14313459712 17626 18446744073709551615 4194304 4196468 140729077666384 140463846138800 140464373525910 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11023] ppid=11006 vsize=13977988 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11023/stat : 11023 (java) S 11006 11009 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4152232 14313459712 17626 18446744073709551615 4194304 4196468 140729077666384 140463845088096 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11024] ppid=11006 vsize=13977988 memory=4016 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11024/stat : 11024 (java) S 11006 11009 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4152237 14313459712 17626 18446744073709551615 4194304 4196468 140729077666384 140463844035120 140464373525122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 70504 KiB

[startup+1.44776 s]
# the end of solver process 11009 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.37919 s, system=0.146438 s

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

[startup+0.801403 s]
/proc/loadavg: 2.22 2.02 1.66 3/209 11024
/proc/meminfo: memFree=30415960/32770624 swapFree=67108860/67108860
[pid=11009] ppid=11006 vsize=13977988 memory=90700 CPUtime=1.45 cores=1,3,5,7
/proc/11009/stat : 11009 (java) S 11006 11009 2357 0 -1 1077944320 14803 0 0 0 140 5 0 0 20 0 15 0 4152219 14313459712 22675 18446744073709551615 4194304 4196468 140729077666384 140729077648928 140464373513975 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
/proc/11009/statm: 3494497 22675 3746 1 0 3483271 0
[pid=11009/tid=11011] ppid=11006 vsize=13977988 memory=-8033973737701895300 CPUtime=0.66 cores=1,3,5,7
/proc/11009/task/11011/stat : 11011 (java) R 11006 11009 2357 0 -1 4202560 9883 0 0 0 62 4 0 0 20 0 15 0 4152227 14313459712 22675 18446744073709551615 4194304 4196468 140729077666384 140464377750400 140464358899565 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11012] ppid=11006 vsize=13977988 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11012/stat : 11012 (java) S 11006 11009 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4152228 14313459712 22675 18446744073709551615 4194304 4196468 140729077666384 140464292928528 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11013] ppid=11006 vsize=13977988 memory=6933690330692294553 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11013/stat : 11013 (java) S 11006 11009 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4152228 14313459712 22675 18446744073709551615 4194304 4196468 140729077666384 140464291875984 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11014] ppid=11006 vsize=13977988 memory=-6876588461455810464 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11014/stat : 11014 (java) S 11006 11009 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4152228 14313459712 22675 18446744073709551615 4194304 4196468 140729077666384 140464290822928 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11015] ppid=11006 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11015/stat : 11015 (java) S 11006 11009 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4152228 14313459712 22675 18446744073709551615 4194304 4196468 140729077666384 140464289770384 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11016] ppid=11006 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11016/stat : 11016 (java) S 11006 11009 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 4152229 14313459712 22675 18446744073709551615 4194304 4196468 140729077666384 140463852456176 140464373525122 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11017] ppid=11006 vsize=13977988 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11017/stat : 11017 (java) S 11006 11009 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4152230 14313459712 22675 18446744073709551615 4194304 4196468 140729077666384 140463851402400 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11018] ppid=11006 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11018/stat : 11018 (java) S 11006 11009 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4152230 14313459712 22675 18446744073709551615 4194304 4196468 140729077666384 140463850349296 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11019] ppid=11006 vsize=13977988 memory=15113292469247016 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11019/stat : 11019 (java) S 11006 11009 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4152232 14313459712 22675 18446744073709551615 4194304 4196468 140729077666384 140463849297872 140464373532571 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11020] ppid=11006 vsize=13977988 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/11009/task/11020/stat : 11020 (java) R 11006 11009 2357 0 -1 4202560 1543 0 0 0 25 0 0 0 20 0 15 0 4152232 14313459712 22675 18446744073709551615 4194304 4196468 140729077666384 140463848237216 140464354215622 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11021] ppid=11006 vsize=13977988 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/11009/task/11021/stat : 11021 (java) R 11006 11009 2357 0 -1 4202560 896 0 0 0 23 0 0 0 20 0 15 0 4152232 14313459712 22675 18446744073709551615 4194304 4196468 140729077666384 140463847186480 140464351906300 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11022] ppid=11006 vsize=13977988 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/11009/task/11022/stat : 11022 (java) S 11006 11009 2357 0 -1 1077944384 1099 0 0 0 28 0 0 0 20 0 15 0 4152232 14313459712 22675 18446744073709551615 4194304 4196468 140729077666384 140463846140400 140464373525122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11023] ppid=11006 vsize=13977988 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11023/stat : 11023 (java) S 11006 11009 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4152232 14313459712 22675 18446744073709551615 4194304 4196468 140729077666384 140463845088096 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11024] ppid=11006 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11024/stat : 11024 (java) S 11006 11009 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4152237 14313459712 22675 18446744073709551615 4194304 4196468 140729077666384 140463844035120 140464373525122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 90700 KiB

[startup+1.20237 s]
/proc/loadavg: 2.22 2.02 1.66 6/209 11024
/proc/meminfo: memFree=30360304/32770624 swapFree=67108860/67108860
[pid=11009] ppid=11006 vsize=13980036 memory=147428 CPUtime=2.69 cores=1,3,5,7
/proc/11009/stat : 11009 (java) S 11006 11009 2357 0 -1 1077944320 25148 0 0 0 261 8 0 0 20 0 15 0 4152219 14315556864 36857 18446744073709551615 4194304 4196468 140729077666384 140729077648928 140464373513975 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
/proc/11009/statm: 3495009 36857 3763 1 0 3483783 0
[pid=11009/tid=11011] ppid=11006 vsize=13980036 memory=-8774313645642428999 CPUtime=1.06 cores=1,3,5,7
/proc/11009/task/11011/stat : 11011 (java) R 11006 11009 2357 0 -1 4202560 12822 0 0 0 100 6 0 0 20 0 15 0 4152227 14315556864 36857 18446744073709551615 4194304 4196468 140729077666384 140464377749928 140464355925255 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11012] ppid=11006 vsize=13980036 memory=-7737605734073681312 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11012/stat : 11012 (java) S 11006 11009 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4152228 14315556864 36857 18446744073709551615 4194304 4196468 140729077666384 140464292928528 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11013] ppid=11006 vsize=13980036 memory=-8412652177828189043 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11013/stat : 11013 (java) S 11006 11009 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4152228 14315556864 36857 18446744073709551615 4194304 4196468 140729077666384 140464291875984 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11014] ppid=11006 vsize=13980036 memory=-8995268955501400930 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11014/stat : 11014 (java) S 11006 11009 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4152228 14315556864 36857 18446744073709551615 4194304 4196468 140729077666384 140464290822928 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11015] ppid=11006 vsize=13980036 memory=7100839852556323184 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11015/stat : 11015 (java) S 11006 11009 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4152228 14315556864 36857 18446744073709551615 4194304 4196468 140729077666384 140464289770384 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11016] ppid=11006 vsize=13980036 memory=7078076838863583850 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11016/stat : 11016 (java) S 11006 11009 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 4152229 14315556864 36857 18446744073709551615 4194304 4196468 140729077666384 140463852456176 140464373525122 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11017] ppid=11006 vsize=13980036 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11017/stat : 11017 (java) S 11006 11009 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4152230 14315556864 36857 18446744073709551615 4194304 4196468 140729077666384 140463851402400 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11018] ppid=11006 vsize=13980036 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11018/stat : 11018 (java) S 11006 11009 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4152230 14315556864 36857 18446744073709551615 4194304 4196468 140729077666384 140463850349296 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11019] ppid=11006 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11019/stat : 11019 (java) S 11006 11009 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4152232 14315556864 36857 18446744073709551615 4194304 4196468 140729077666384 140463849297872 140464373532571 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11020] ppid=11006 vsize=13980036 memory=288230574492221466 CPUtime=0.56 cores=1,3,5,7
/proc/11009/task/11020/stat : 11020 (java) R 11006 11009 2357 0 -1 4202560 2977 0 0 0 56 0 0 0 20 0 15 0 4152232 14315556864 36857 18446744073709551615 4194304 4196468 140729077666384 140463848231464 140464351891263 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11021] ppid=11006 vsize=13980036 memory=288230604657667376 CPUtime=0.55 cores=1,3,5,7
/proc/11009/task/11021/stat : 11021 (java) R 11006 11009 2357 0 -1 4202560 2837 0 0 0 55 0 0 0 20 0 15 0 4152232 14315556864 36857 18446744073709551615 4194304 4196468 140729077666384 140463847193584 140464357481148 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11022] ppid=11006 vsize=13980036 memory=14409319764482244 CPUtime=0.49 cores=1,3,5,7
/proc/11009/task/11022/stat : 11022 (java) R 11006 11009 2357 0 -1 4202560 5125 0 0 0 48 1 0 0 20 0 15 0 4152232 14315556864 36857 18446744073709551615 4194304 4196468 140729077666384 140463846136344 140464352459628 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11023] ppid=11006 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11023/stat : 11023 (java) S 11006 11009 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4152232 14315556864 36857 18446744073709551615 4194304 4196468 140729077666384 140463845088096 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11024] ppid=11006 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11024/stat : 11024 (java) S 11006 11009 2357 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 4152237 14315556864 36857 18446744073709551615 4194304 4196468 140729077666384 140463844035120 140464373525122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 147428 KiB

[startup+1.40073 s]
/proc/loadavg: 2.22 2.02 1.66 6/209 11024
/proc/meminfo: memFree=30360304/32770624 swapFree=67108860/67108860
[pid=11009] ppid=11006 vsize=13980036 memory=256132 CPUtime=3.39 cores=1,3,5,7
/proc/11009/stat : 11009 (java) S 11006 11009 2357 0 -1 1077944320 29100 0 0 0 326 13 0 0 20 0 15 0 4152219 14315556864 64033 18446744073709551615 4194304 4196468 140729077666384 140729077648928 140464373513975 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
/proc/11009/statm: 3495009 64033 3780 1 0 3483783 0
[pid=11009/tid=11011] ppid=11006 vsize=13980036 memory=0 CPUtime=1.23 cores=1,3,5,7
/proc/11009/task/11011/stat : 11011 (java) S 11006 11009 2357 0 -1 1077944384 13675 0 0 0 116 7 0 0 20 0 15 0 4152227 14315556864 64033 18446744073709551615 4194304 4196468 140729077666384 140464377748800 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11012] ppid=11006 vsize=13980036 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11009/task/11012/stat : 11012 (java) S 11006 11009 2357 0 -1 1077944384 77 0 0 0 1 1 0 0 20 0 15 0 4152228 14315556864 64033 18446744073709551615 4194304 4196468 140729077666384 140464292928528 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11013] ppid=11006 vsize=13980036 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11009/task/11013/stat : 11013 (java) S 11006 11009 2357 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 15 0 4152228 14315556864 64033 18446744073709551615 4194304 4196468 140729077666384 140464291875984 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11014] ppid=11006 vsize=13980036 memory=6944656592455360604 CPUtime=0.02 cores=1,3,5,7
/proc/11009/task/11014/stat : 11014 (java) S 11006 11009 2357 0 -1 1077944384 308 0 0 0 1 1 0 0 20 0 15 0 4152228 14315556864 64033 18446744073709551615 4194304 4196468 140729077666384 140464290822928 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11015] ppid=11006 vsize=13980036 memory=6943526294502006880 CPUtime=0.02 cores=1,3,5,7
/proc/11009/task/11015/stat : 11015 (java) S 11006 11009 2357 0 -1 1077944384 202 0 0 0 1 1 0 0 20 0 15 0 4152228 14315556864 64036 18446744073709551615 4194304 4196468 140729077666384 140464289770384 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11016] ppid=11006 vsize=13980036 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11016/stat : 11016 (java) R 11006 11009 2357 0 -1 4202560 467 0 0 0 0 0 0 0 20 0 15 0 4152229 14315556864 64036 18446744073709551615 4194304 4196468 140729077666384 140463852454688 140464359205096 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11017] ppid=11006 vsize=13980036 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11017/stat : 11017 (java) S 11006 11009 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4152230 14315556864 64036 18446744073709551615 4194304 4196468 140729077666384 140463851402400 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11018] ppid=11006 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11018/stat : 11018 (java) S 11006 11009 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4152230 14315556864 64036 18446744073709551615 4194304 4196468 140729077666384 140463850349296 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11019] ppid=11006 vsize=13980036 memory=279837923261480 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11019/stat : 11019 (java) S 11006 11009 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4152232 14315556864 64036 18446744073709551615 4194304 4196468 140729077666384 140463849297872 140464373532571 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11020] ppid=11006 vsize=13980036 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/11009/task/11020/stat : 11020 (java) S 11006 11009 2357 0 -1 1077944384 3387 0 0 0 74 0 0 0 20 0 15 0 4152232 14315556864 64036 18446744073709551615 4194304 4196468 140729077666384 140463848230992 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11021] ppid=11006 vsize=13980036 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/11009/task/11021/stat : 11021 (java) S 11006 11009 2357 0 -1 1077944384 3409 0 0 0 71 0 0 0 20 0 15 0 4152232 14315556864 64036 18446744073709551615 4194304 4196468 140729077666384 140463847174336 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11022] ppid=11006 vsize=13980036 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/11009/task/11022/stat : 11022 (java) S 11006 11009 2357 0 -1 1077944384 6215 0 0 0 57 1 0 0 20 0 15 0 4152232 14315556864 64039 18446744073709551615 4194304 4196468 140729077666384 140463846136656 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11023] ppid=11006 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11023/stat : 11023 (java) S 11006 11009 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4152232 14315556864 64039 18446744073709551615 4194304 4196468 140729077666384 140463845088096 140464373524181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
[pid=11009/tid=11024] ppid=11006 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11009/task/11024/stat : 11024 (java) S 11006 11009 2357 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 4152237 14315556864 64039 18446744073709551615 4194304 4196468 140729077666384 140463844035120 140464373525122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37175296 140729077674353 140729077674540 140729077674540 140729077678031 0
Current children cumulated CPU time: 3.39 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 256132 KiB

Child status: 0
Real time (s): 1.4478
CPU time (s): 3.52563
CPU user time (s): 3.37919
CPU system time (s): 0.146438
CPU usage (%): 243.516
Max. virtual memory (cumulated for all children) (KiB): 13981060
Max. memory (cumulated for all children) (KiB): 256132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.37919
system time used= 0.146438
maximum resident set size= 257240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30104
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1978
involuntary context switches= 13


# summary of solver processes directly reported to runsolver:
#   pid: 11009
#   total CPU time (s): 3.52563
#   total CPU user time (s): 3.37919
#   total CPU system time (s): 0.146438

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026085 second user time and 0.059252 second system time

The end

Launcher Data 

Begin job on node129 at 2017-08-15 04:35:35
IDJOB=4274072
IDBENCH=125839
IDSOLVER=2666
FILE ID=node129/4274072-1502765371
RUNJOBID= node129-1502746532-7260
PBS_JOBID= 
Free space on /tmp= 61972 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/QRandom/QRandom-ehi-s90/ehi-90-315-37.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274072-1502765371/watcher-4274072-1502765371 -o /tmp/evaluation-result-4274072-1502765371/solver-4274072-1502765371 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7260 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1348076880 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274072-1502765371.xml

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

MD5SUM BENCH= 63a6c7e62165414b16ef9081a892f3cd
RANDOM SEED=1348076880

node129.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.61
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.61
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.61
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.61
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:        30457680 kB
MemAvailable:   30850168 kB
Buffers:          113396 kB
Cached:           560100 kB
SwapCached:            0 kB
Active:          1561440 kB
Inactive:         343104 kB
Active(anon):    1231620 kB
Inactive(anon):     8552 kB
Active(file):     329820 kB
Inactive(file):   334552 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42532 kB
Writeback:             0 kB
AnonPages:       1225364 kB
Mapped:            43524 kB
Shmem:              8868 kB
Slab:             112324 kB
SReclaimable:      87900 kB
SUnreclaim:        24424 kB
KernelStack:        3536 kB
PageTables:         7264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3227748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1101824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61932 MiB
End job on node129 at 2017-08-15 04:35:37