Trace number 4247699

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
R1: choco-solver 5a (2017-07-05)? (TO) 2400.27 302.312

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-80-02.xml
MD5SUM201da62bda966dccc44cd0c6ff0d4af7
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark20.808901
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1431
Number of domains2
Minimum domain size2
Maximum domain size25
Distribution of domain sizes[{"size":2,"count":1000},{"size":25,"count":200}]
Minimum variable degree2
Maximum variable degree75
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":51,"count":8}, {"degree":52,"count":9}, {"degree":53,"count":9}, {"degree":54,"count":56}, {"degree":55,"count":5}, {"degree":56,"count":5}, {"degree":57,"count":6}, {"degree":58,"count":6}, {"degree":59,"count":38}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":3}, {"degree":75,"count":57}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":35,"count":1},{"arity":38,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":2},{"arity":47,"count":1},{"arity":50,"count":3},{"arity":53,"count":2},{"arity":55,"count":2},{"arity":56,"count":2},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":3},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":4},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1230},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4247699-1500690867.xml"  -tl '2400s' -p 8 -x 3
0.00/0.20	c [HOME/instance-4247699-1500690867.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.25	c 8 solvers in parallel
0.00/0.32	c parse instance...
5.04/1.46	c solve instance...
2400.27/302.33	s UNKNOWN
2400.27/302.33	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247699-1500690867/watcher-4247699-1500690867 -o /tmp/evaluation-result-4247699-1500690867/solver-4247699-1500690867 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2019741399 HOME/instance-4247699-1500690867.xml 

pid=9741
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 16.33 15.16 12.68 10/272 9744
/proc/meminfo: memFree=31152608/32770624 swapFree=5656/286384
[pid=9744] ppid=9741 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9744/stat : 9744 (xcsp3-exec) S 9741 9744 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4354217 9740288 346 33554432000 4194304 5098028 140726025058576 140726025056680 140701944910460 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 18313216 140726025061518 140726025061728 140726025061728 140726025064427 0
/proc/9744/statm: 2378 346 289 221 0 87 0

[startup+0.100105 s]
/proc/loadavg: 16.33 15.16 12.68 10/272 9744
/proc/meminfo: memFree=31152608/32770624 swapFree=5656/286384
[pid=9744] ppid=9741 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9744/stat : 9744 (xcsp3-exec) S 9741 9744 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4354217 9740288 346 33554432000 4194304 5098028 140726025058576 140726025056680 140701944910460 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 18313216 140726025061518 140726025061728 140726025061728 140726025064427 0
/proc/9744/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200341 s]
/proc/loadavg: 16.33 15.16 12.68 10/272 9744
/proc/meminfo: memFree=31152608/32770624 swapFree=5656/286384
[pid=9744] ppid=9741 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9744/stat : 9744 (xcsp3-exec) S 9741 9744 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4354217 9740288 346 33554432000 4194304 5098028 140726025058576 140726025056680 140701944910460 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 18313216 140726025061518 140726025061728 140726025061728 140726025064427 0
/proc/9744/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300317 s]
/proc/loadavg: 16.33 15.16 12.68 10/272 9744
/proc/meminfo: memFree=31152608/32770624 swapFree=5656/286384
[pid=9744] ppid=9741 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9744/stat : 9744 (xcsp3-exec) S 9741 9744 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4354217 9740288 346 33554432000 4194304 5098028 140726025058576 140726025056680 140701944910460 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 18313216 140726025061518 140726025061728 140726025061728 140726025064427 0
/proc/9744/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700187 s]
/proc/loadavg: 16.33 15.16 12.68 10/272 9744
/proc/meminfo: memFree=31152608/32770624 swapFree=5656/286384
[pid=9744] ppid=9741 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9744/stat : 9744 (xcsp3-exec) S 9741 9744 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4354217 9740288 346 33554432000 4194304 5098028 140726025058576 140726025056680 140701944910460 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 18313216 140726025061518 140726025061728 140726025061728 140726025064427 0
/proc/9744/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50077 s]
/proc/loadavg: 16.33 15.16 12.68 13/293 9765
/proc/meminfo: memFree=30989020/32770624 swapFree=5656/286408
[pid=9744] ppid=9741 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9744/stat : 9744 (xcsp3-exec) S 9741 9744 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4354217 9740288 346 33554432000 4194304 5098028 140726025058576 140726025056680 140701944910460 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 18313216 140726025061518 140726025061728 140726025061728 140726025064427 0
/proc/9744/statm: 2378 346 289 221 0 87 0
[pid=9745] ppid=9744 vsize=13801768 CPUtime=5.52 cores=0,2,4,6,8,10,12,14
/proc/9745/stat : 9745 (java) S 9744 9744 7102 0 -1 1077944320 30471 0 0 0 534 18 0 0 20 0 28 0 4354218 14133010432 57162 33554432000 4194304 4196468 140737239674176 140737239656720 140467629498103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
/proc/9745/statm: 3450442 57162 3261 1 0 3437675 0
[pid=9745/tid=9746] ppid=9744 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9746/stat : 9746 (java) S 9744 9744 7102 0 -1 1077944384 7470 0 0 0 137 4 0 0 20 0 28 0 4354218 14133010432 57162 33554432000 4194304 4196468 140737239674176 140467633738880 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9748] ppid=9744 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9748/stat : 9748 (java) S 9744 9744 7102 0 -1 1077944384 108 0 0 0 1 1 0 0 20 0 28 0 4354219 14133010432 57162 33554432000 4194304 4196468 140737239674176 140467582118928 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9749] ppid=9744 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9749/stat : 9749 (java) S 9744 9744 7102 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 28 0 4354219 14133010432 57162 33554432000 4194304 4196468 140737239674176 140467581066384 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9750] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9750/stat : 9750 (java) S 9744 9744 7102 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 4354219 14133010432 57162 33554432000 4194304 4196468 140737239674176 140467580013328 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9751] ppid=9744 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9751/stat : 9751 (java) S 9744 9744 7102 0 -1 1077944384 42 0 0 0 1 1 0 0 20 0 28 0 4354219 14133010432 57162 33554432000 4194304 4196468 140737239674176 140467578960784 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9752] ppid=9744 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9752/stat : 9752 (java) S 9744 9744 7102 0 -1 1077944384 54 0 0 0 1 1 0 0 20 0 28 0 4354219 14133010432 57162 33554432000 4194304 4196468 140737239674176 140467577907728 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9753] ppid=9744 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9753/stat : 9753 (java) S 9744 9744 7102 0 -1 1077944384 90 0 0 0 1 1 0 0 20 0 28 0 4354219 14133010432 57162 33554432000 4194304 4196468 140737239674176 140467223591568 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9754] ppid=9744 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9754/stat : 9754 (java) S 9744 9744 7102 0 -1 1077944384 190 0 0 0 1 1 0 0 20 0 28 0 4354219 14133010432 57162 33554432000 4194304 4196468 140737239674176 140467222538512 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9755] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9755/stat : 9755 (java) S 9744 9744 7102 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 4354219 14133010432 57162 33554432000 4194304 4196468 140737239674176 140467221485968 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9756] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9756/stat : 9756 (java) S 9744 9744 7102 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 28 0 4354222 14133010432 57162 33554432000 4194304 4196468 140737239674176 140466294061808 140467629509250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9757] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9757/stat : 9757 (java) S 9744 9744 7102 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4354223 14133010432 57162 33554432000 4194304 4196468 140737239674176 140466293008032 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9758] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9758/stat : 9758 (java) S 9744 9744 7102 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4354223 14133010432 57162 33554432000 4194304 4196468 140737239674176 140466291954928 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9759] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9759/stat : 9759 (java) S 9744 9744 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4354227 14133010432 57162 33554432000 4194304 4196468 140737239674176 140466290903504 140467629516699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9760] ppid=9744 vsize=13801768 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9760/stat : 9760 (java) R 9744 9744 7102 0 -1 4202560 4887 0 0 0 103 1 0 0 20 0 28 0 4354227 14133010432 57162 33554432000 4194304 4196468 140737239674176 140466289849296 140467615512560 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9761] ppid=9744 vsize=13801768 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9761/stat : 9761 (java) R 9744 9744 7102 0 -1 1077944384 5976 0 0 0 103 1 0 0 20 0 28 0 4354227 14133010432 57162 33554432000 4194304 4196468 140737239674176 140466288798064 140467629509250 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9762] ppid=9744 vsize=13801768 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9762/stat : 9762 (java) S 9744 9744 7102 0 -1 1077944384 5855 0 0 0 100 1 0 0 20 0 28 0 4354227 14133010432 57162 33554432000 4194304 4196468 140737239674176 140466287745008 140467629509250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9763] ppid=9744 vsize=13801768 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9763/stat : 9763 (java) R 9744 9744 7102 0 -1 4202560 3936 0 0 0 66 1 0 0 20 0 28 0 4354227 14133010432 57162 33554432000 4194304 4196468 140737239674176 140466286692464 140467629510038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9764] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9764/stat : 9764 (java) S 9744 9744 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4354227 14133010432 57162 33554432000 4194304 4196468 140737239674176 140466285640672 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9765] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9765/stat : 9765 (java) S 9744 9744 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4354227 14133010432 57162 33554432000 4194304 4196468 140737239674176 140466284588208 140467629509250 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
Current children cumulated CPU time (s) 5.52
Current children cumulated vsize (KiB) 13811280

[startup+3.1014 s]
/proc/loadavg: 16.14 15.14 12.69 21/301 9773
/proc/meminfo: memFree=30933600/32770624 swapFree=5656/286408
[pid=9744] ppid=9741 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9744/stat : 9744 (xcsp3-exec) S 9741 9744 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4354217 9740288 346 33554432000 4194304 5098028 140726025058576 140726025056680 140701944910460 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 18313216 140726025061518 140726025061728 140726025061728 140726025064427 0
/proc/9744/statm: 2378 346 289 221 0 87 0
[pid=9745] ppid=9744 vsize=13801768 CPUtime=18.13 cores=0,2,4,6,8,10,12,14
/proc/9745/stat : 9745 (java) S 9744 9744 7102 0 -1 1077944320 33752 0 0 0 1768 45 0 0 20 0 28 0 4354218 14133010432 70623 33554432000 4194304 4196468 140737239674176 140737239656720 140467629498103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
/proc/9745/statm: 3450442 70623 3283 1 0 3437675 0
[pid=9745/tid=9746] ppid=9744 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9746/stat : 9746 (java) S 9744 9744 7102 0 -1 1077944384 7470 0 0 0 137 4 0 0 20 0 28 0 4354218 14133010432 70623 33554432000 4194304 4196468 140737239674176 140467633738880 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9748] ppid=9744 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9748/stat : 9748 (java) S 9744 9744 7102 0 -1 1077944384 150 0 0 0 4 4 0 0 20 0 28 0 4354219 14133010432 70623 33554432000 4194304 4196468 140737239674176 140467582118928 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9749] ppid=9744 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9749/stat : 9749 (java) S 9744 9744 7102 0 -1 1077944384 119 0 0 0 4 3 0 0 20 0 28 0 4354219 14133010432 70623 33554432000 4194304 4196468 140737239674176 140467581066384 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9750] ppid=9744 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9750/stat : 9750 (java) S 9744 9744 7102 0 -1 1077944384 93 0 0 0 3 3 0 0 20 0 28 0 4354219 14133010432 70623 33554432000 4194304 4196468 140737239674176 140467580013328 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9751] ppid=9744 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9751/stat : 9751 (java) S 9744 9744 7102 0 -1 1077944384 121 0 0 0 4 4 0 0 20 0 28 0 4354219 14133010432 70623 33554432000 4194304 4196468 140737239674176 140467578960784 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9752] ppid=9744 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9752/stat : 9752 (java) S 9744 9744 7102 0 -1 1077944384 76 0 0 0 3 4 0 0 20 0 28 0 4354219 14133010432 70623 33554432000 4194304 4196468 140737239674176 140467577907728 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9753] ppid=9744 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9753/stat : 9753 (java) S 9744 9744 7102 0 -1 1077944384 132 0 0 0 4 3 0 0 20 0 28 0 4354219 14133010432 70623 33554432000 4194304 4196468 140737239674176 140467223591568 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9754] ppid=9744 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9754/stat : 9754 (java) S 9744 9744 7102 0 -1 1077944384 214 0 0 0 4 4 0 0 20 0 28 0 4354219 14133010432 70623 33554432000 4194304 4196468 140737239674176 140467222538512 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9755] ppid=9744 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9755/stat : 9755 (java) S 9744 9744 7102 0 -1 1077944384 182 0 0 0 3 4 0 0 20 0 28 0 4354219 14133010432 70623 33554432000 4194304 4196468 140737239674176 140467221485968 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9756] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9756/stat : 9756 (java) S 9744 9744 7102 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 28 0 4354222 14133010432 70623 33554432000 4194304 4196468 140737239674176 140466294061808 140467629509250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9757] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9757/stat : 9757 (java) S 9744 9744 7102 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4354223 14133010432 70623 33554432000 4194304 4196468 140737239674176 140466293008096 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9758] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9758/stat : 9758 (java) S 9744 9744 7102 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4354223 14133010432 70685 33554432000 4194304 4196468 140737239674176 140466291954944 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9759] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9759/stat : 9759 (java) S 9744 9744 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4354227 14133010432 70685 33554432000 4194304 4196468 140737239674176 140466290903504 140467629516699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9760] ppid=9744 vsize=13801768 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9760/stat : 9760 (java) S 9744 9744 7102 0 -1 1077944384 5236 0 0 0 199 1 0 0 20 0 28 0 4354227 14133010432 70685 33554432000 4194304 4196468 140737239674176 140466289850608 140467629509250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9761] ppid=9744 vsize=13801768 CPUtime=2.15 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9761/stat : 9761 (java) S 9744 9744 7102 0 -1 1077944384 6249 0 0 0 213 2 0 0 20 0 28 0 4354227 14133010432 70685 33554432000 4194304 4196468 140737239674176 140466288798064 140467629509250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9762] ppid=9744 vsize=13801768 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9762/stat : 9762 (java) R 9744 9744 7102 0 -1 4202560 6561 0 0 0 190 1 0 0 20 0 28 0 4354227 14133010432 70685 33554432000 4194304 4196468 140737239674176 140466287734080 140467610199767 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9763] ppid=9744 vsize=13801768 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9763/stat : 9763 (java) S 9744 9744 7102 0 -1 1077944384 4796 0 0 0 107 1 0 0 20 0 28 0 4354227 14133010432 70685 33554432000 4194304 4196468 140737239674176 140466286692464 140467629509250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9764] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9764/stat : 9764 (java) S 9744 9744 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4354227 14133010432 70685 33554432000 4194304 4196468 140737239674176 140466285640672 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9765] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9765/stat : 9765 (java) S 9744 9744 7102 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4354227 14133010432 70685 33554432000 4194304 4196468 140737239674176 140466284588208 140467629509250 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9766] ppid=9744 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9766/stat : 9766 (java) R 9744 9744 7102 0 -1 4202560 158 0 0 0 110 0 0 0 20 0 28 0 4354365 14133010432 70685 33554432000 4194304 4196468 140737239674176 140466276571264 140467264622503 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9767] ppid=9744 vsize=13801768 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9767/stat : 9767 (java) R 9744 9744 7102 0 -1 4202560 79 0 0 0 116 0 0 0 20 0 28 0 4354365 14133010432 70685 33554432000 4194304 4196468 140737239674176 140466275519728 140467265454477 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9768] ppid=9744 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9768/stat : 9768 (java) R 9744 9744 7102 0 -1 4202560 137 0 0 0 95 0 0 0 20 0 28 0 4354365 14133010432 70685 33554432000 4194304 4196468 140737239674176 140466274470480 140467266928125 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9769] ppid=9744 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9769/stat : 9769 (java) R 9744 9744 7102 0 -1 4202560 275 0 0 0 110 0 0 0 20 0 28 0 4354365 14133010432 70685 33554432000 4194304 4196468 140737239674176 140466273417256 140467264803664 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9770] ppid=9744 vsize=13801768 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9770/stat : 9770 (java) R 9744 9744 7102 0 -1 4202560 48 0 0 0 134 0 0 0 20 0 28 0 4354365 14133010432 70685 33554432000 4194304 4196468 140737239674176 140466272361320 140467265454508 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9771] ppid=9744 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9771/stat : 9771 (java) R 9744 9744 7102 0 -1 4202560 75 0 0 0 105 0 0 0 20 0 28 0 4354365 14133010432 70685 33554432000 4194304 4196468 140737239674176 140466271309008 140467264622432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9772] ppid=9744 vsize=13801768 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9772/stat : 9772 (java) R 9744 9744 7102 0 -1 4202560 61 0 0 0 113 0 0 0 20 0 28 0 4354365 14133010432 70685 33554432000 4194304 4196468 140737239674176 140466270256496 140467265818320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9773] ppid=9744 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9773/stat : 9773 (java) R 9744 9744 7102 0 -1 4202560 30 0 0 0 99 0 0 0 20 0 28 0 4354365 14133010432 70685 33554432000 4194304 4196468 140737239674176 140466269201232 140467264622429 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
Current children cumulated CPU time (s) 18.13
Current children cumulated vsize (KiB) 13811280

[startup+6.3015 s]
/proc/loadavg: 16.14 15.14 12.69 17/301 9773
/proc/meminfo: memFree=30823028/32770624 swapFree=5656/286420
[pid=9744] ppid=9741 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9744/stat : 9744 (xcsp3-exec) S 9741 9744 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4354217 9740288 346 33554432000 4194304 5098028 140726025058576 140726025056680 140701944910460 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 18313216 140726025061518 140726025061728 140726025061728 140726025064427 0
/proc/9744/statm: 2378 346 289 221 0 87 0
[pid=9745] ppid=9744 vsize=13801768 CPUtime=43.18 cores=0,2,4,6,8,10,12,14
/proc/9745/stat : 9745 (java) S 9744 9744 7102 0 -1 1077944320 41520 0 0 0 4256 62 0 0 20 0 28 0 4354218 14133010432 105373 33554432000 4194304 4196468 140737239674176 140737239656720 140467629498103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
/proc/9745/statm: 3450442 105373 3284 1 0 3437675 0
[pid=9745/tid=9746] ppid=9744 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9746/stat : 9746 (java) S 9744 9744 7102 0 -1 1077944384 7470 0 0 0 137 4 0 0 20 0 28 0 4354218 14133010432 105373 33554432000 4194304 4196468 140737239674176 140467633738880 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9748] ppid=9744 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9748/stat : 9748 (java) S 9744 9744 7102 0 -1 1077944384 225 0 0 0 6 5 0 0 20 0 28 0 4354219 14133010432 105373 33554432000 4194304 4196468 140737239674176 140467582118928 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9749] ppid=9744 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9749/stat : 9749 (java) S 9744 9744 7102 0 -1 1077944384 183 0 0 0 6 5 0 0 20 0 28 0 4354219 14133010432 105373 33554432000 4194304 4196468 140737239674176 140467581066384 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9750] ppid=9744 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9750/stat : 9750 (java) S 9744 9744 7102 0 -1 1077944384 140 0 0 0 5 5 0 0 20 0 28 0 4354219 14133010432 105373 33554432000 4194304 4196468 140737239674176 140467580013328 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9751] ppid=9744 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9751/stat : 9751 (java) S 9744 9744 7102 0 -1 1077944384 399 0 0 0 5 6 0 0 20 0 28 0 4354219 14133010432 105373 33554432000 4194304 4196468 140737239674176 140467578960784 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0

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

[pid=9745/tid=9772] ppid=9744 vsize=13801768 CPUtime=279.15 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9772/stat : 9772 (java) R 9744 9744 7102 0 -1 4202560 985 0 0 0 27915 0 0 0 20 0 28 0 4354365 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466270257616 140467261015020 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9773] ppid=9744 vsize=13801768 CPUtime=278.29 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9773/stat : 9773 (java) R 9744 9744 7102 0 -1 4202560 902 0 0 0 27829 0 0 0 20 0 28 0 4354365 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466269205016 140467258873896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
Current children cumulated CPU time (s) 2240.92
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+302.301 s]
/proc/loadavg: 16.08 15.77 13.63 17/300 10150
/proc/meminfo: memFree=29696424/32770624 swapFree=5656/286836
[pid=9744] ppid=9741 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9744/stat : 9744 (xcsp3-exec) S 9741 9744 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4354217 9740288 346 33554432000 4194304 5098028 140726025058576 140726025056680 140701944910460 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 18313216 140726025061518 140726025061728 140726025061728 140726025064427 0
/proc/9744/statm: 2378 346 289 221 0 87 0
[pid=9745] ppid=9744 vsize=13801768 CPUtime=2400.27 cores=0,2,4,6,8,10,12,14
/proc/9745/stat : 9745 (java) S 9744 9744 7102 0 -1 1077944320 85543 0 0 0 239869 158 0 0 20 0 28 0 4354218 14133010432 483314 33554432000 4194304 4196468 140737239674176 140737239656720 140467629498103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
/proc/9745/statm: 3450442 483314 3285 1 0 3437675 0
[pid=9745/tid=9746] ppid=9744 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9746/stat : 9746 (java) S 9744 9744 7102 0 -1 1077944384 7470 0 0 0 137 4 0 0 20 0 28 0 4354218 14133010432 483314 33554432000 4194304 4196468 140737239674176 140467633738880 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9748] ppid=9744 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9748/stat : 9748 (java) S 9744 9744 7102 0 -1 1077944384 1845 0 0 0 18 11 0 0 20 0 28 0 4354219 14133010432 483314 33554432000 4194304 4196468 140737239674176 140467582118928 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9749] ppid=9744 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9749/stat : 9749 (java) S 9744 9744 7102 0 -1 1077944384 1610 0 0 0 18 10 0 0 20 0 28 0 4354219 14133010432 483314 33554432000 4194304 4196468 140737239674176 140467581066384 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9750] ppid=9744 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9750/stat : 9750 (java) S 9744 9744 7102 0 -1 1077944384 443 0 0 0 15 12 0 0 20 0 28 0 4354219 14133010432 483314 33554432000 4194304 4196468 140737239674176 140467580013328 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9751] ppid=9744 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9751/stat : 9751 (java) S 9744 9744 7102 0 -1 1077944384 1157 0 0 0 18 12 0 0 20 0 28 0 4354219 14133010432 483314 33554432000 4194304 4196468 140737239674176 140467578960784 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9752] ppid=9744 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9752/stat : 9752 (java) S 9744 9744 7102 0 -1 1077944384 753 0 0 0 18 11 0 0 20 0 28 0 4354219 14133010432 483314 33554432000 4194304 4196468 140737239674176 140467577907728 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9753] ppid=9744 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9753/stat : 9753 (java) S 9744 9744 7102 0 -1 1077944384 536 0 0 0 16 9 0 0 20 0 28 0 4354219 14133010432 483314 33554432000 4194304 4196468 140737239674176 140467223591568 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9754] ppid=9744 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9754/stat : 9754 (java) S 9744 9744 7102 0 -1 1077944384 987 0 0 0 18 12 0 0 20 0 28 0 4354219 14133010432 483314 33554432000 4194304 4196468 140737239674176 140467222538512 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9755] ppid=9744 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9755/stat : 9755 (java) S 9744 9744 7102 0 -1 1077944384 2015 0 0 0 17 11 0 0 20 0 28 0 4354219 14133010432 483314 33554432000 4194304 4196468 140737239674176 140467221485968 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9756] ppid=9744 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9756/stat : 9756 (java) S 9744 9744 7102 0 -1 1077944384 2948 0 0 0 8 6 0 0 20 0 28 0 4354222 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466294061808 140467629509250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9757] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9757/stat : 9757 (java) S 9744 9744 7102 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4354223 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466293008096 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9758] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9758/stat : 9758 (java) S 9744 9744 7102 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4354223 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466291954944 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9759] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9759/stat : 9759 (java) S 9744 9744 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4354227 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466290903504 140467629516699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9760] ppid=9744 vsize=13801768 CPUtime=3.34 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9760/stat : 9760 (java) S 9744 9744 7102 0 -1 1077944384 11123 0 0 0 333 1 0 0 20 0 28 0 4354227 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466289850608 140467629509250 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9761] ppid=9744 vsize=13801768 CPUtime=3.74 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9761/stat : 9761 (java) S 9744 9744 7102 0 -1 1077944384 14461 0 0 0 371 3 0 0 20 0 28 0 4354227 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466288798064 140467629509250 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9762] ppid=9744 vsize=13801768 CPUtime=3.18 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9762/stat : 9762 (java) S 9744 9744 7102 0 -1 1077944384 10880 0 0 0 316 2 0 0 20 0 28 0 4354227 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466287745008 140467629509250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9763] ppid=9744 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9763/stat : 9763 (java) S 9744 9744 7102 0 -1 1077944384 9843 0 0 0 121 2 0 0 20 0 28 0 4354227 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466286692464 140467629509250 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9764] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9764/stat : 9764 (java) S 9744 9744 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4354227 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466285640672 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9765] ppid=9744 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9765/stat : 9765 (java) S 9744 9744 7102 0 -1 1077944384 956 0 0 0 8 5 0 0 20 0 28 0 4354227 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466284588208 140467629509250 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 5 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9766] ppid=9744 vsize=13801768 CPUtime=297.71 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9766/stat : 9766 (java) R 9744 9744 7102 0 -1 4202560 1447 0 0 0 29770 1 0 0 20 0 28 0 4354365 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466276572488 140467265505162 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9767] ppid=9744 vsize=13801768 CPUtime=299.11 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9767/stat : 9767 (java) R 9744 9744 7102 0 -1 4202560 1399 0 0 0 29911 0 0 0 20 0 28 0 4354365 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466275520824 140467264870299 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9768] ppid=9744 vsize=13801768 CPUtime=297.94 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9768/stat : 9768 (java) R 9744 9744 7102 0 -1 4202560 2994 0 0 0 29790 4 0 0 20 0 28 0 4354365 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466274470040 140467268081090 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9769] ppid=9744 vsize=13801768 CPUtime=297.24 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9769/stat : 9769 (java) R 9744 9744 7102 0 -1 4202560 7120 0 0 0 29697 27 0 0 20 0 28 0 4354365 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466273415288 140467266156604 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9770] ppid=9744 vsize=13801768 CPUtime=297.78 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9770/stat : 9770 (java) R 9744 9744 7102 0 -1 4202560 1630 0 0 0 29777 1 0 0 20 0 28 0 4354365 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466272365024 140467265454719 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9771] ppid=9744 vsize=13801768 CPUtime=297.9 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9771/stat : 9771 (java) R 9744 9744 7102 0 -1 4202560 624 0 0 0 29789 1 0 0 20 0 28 0 4354365 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466271309560 140467267666599 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9772] ppid=9744 vsize=13801768 CPUtime=298.65 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9772/stat : 9772 (java) R 9744 9744 7102 0 -1 4202560 1007 0 0 0 29865 0 0 0 20 0 28 0 4354365 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466270257616 140467264733018 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9773] ppid=9744 vsize=13801768 CPUtime=298.27 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9773/stat : 9773 (java) R 9744 9744 7102 0 -1 4202560 957 0 0 0 29827 0 0 0 20 0 28 0 4354365 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466269205016 140467267668862 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
Current children cumulated CPU time (s) 2400.27
Current children cumulated vsize (KiB) 13811280

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9745 sig 9
??? kill 9744 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+302.301 s]
/proc/loadavg: 16.08 15.77 13.63 17/300 10150
/proc/meminfo: memFree=29696424/32770624 swapFree=5656/286836
[pid=9744] ppid=9741 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9744/stat : 9744 (xcsp3-exec) S 9741 9744 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4354217 9740288 346 33554432000 4194304 5098028 140726025058576 140726025056680 140701944910460 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 18313216 140726025061518 140726025061728 140726025061728 140726025064427 0
/proc/9744/statm: 2378 346 289 221 0 87 0
[pid=9745] ppid=9744 vsize=13801768 CPUtime=2400.27 cores=0,2,4,6,8,10,12,14
/proc/9745/stat : 9745 (java) S 9744 9744 7102 0 -1 1077944320 85543 0 0 0 239869 158 0 0 20 0 28 0 4354218 14133010432 483314 33554432000 4194304 4196468 140737239674176 140737239656720 140467629498103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
/proc/9745/statm: 3450442 483314 3285 1 0 3437675 0
[pid=9745/tid=9746] ppid=9744 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9746/stat : 9746 (java) S 9744 9744 7102 0 -1 1077944384 7470 0 0 0 137 4 0 0 20 0 28 0 4354218 14133010432 483314 33554432000 4194304 4196468 140737239674176 140467633738880 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9748] ppid=9744 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9748/stat : 9748 (java) S 9744 9744 7102 0 -1 1077944384 1845 0 0 0 18 11 0 0 20 0 28 0 4354219 14133010432 483314 33554432000 4194304 4196468 140737239674176 140467582118928 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9749] ppid=9744 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9749/stat : 9749 (java) S 9744 9744 7102 0 -1 1077944384 1610 0 0 0 18 10 0 0 20 0 28 0 4354219 14133010432 483314 33554432000 4194304 4196468 140737239674176 140467581066384 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9750] ppid=9744 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9750/stat : 9750 (java) S 9744 9744 7102 0 -1 1077944384 443 0 0 0 15 12 0 0 20 0 28 0 4354219 14133010432 483314 33554432000 4194304 4196468 140737239674176 140467580013328 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9751] ppid=9744 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9751/stat : 9751 (java) S 9744 9744 7102 0 -1 1077944384 1157 0 0 0 18 12 0 0 20 0 28 0 4354219 14133010432 483314 33554432000 4194304 4196468 140737239674176 140467578960784 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9752] ppid=9744 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9752/stat : 9752 (java) S 9744 9744 7102 0 -1 1077944384 753 0 0 0 18 11 0 0 20 0 28 0 4354219 14133010432 483314 33554432000 4194304 4196468 140737239674176 140467577907728 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9753] ppid=9744 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9753/stat : 9753 (java) S 9744 9744 7102 0 -1 1077944384 536 0 0 0 16 9 0 0 20 0 28 0 4354219 14133010432 483314 33554432000 4194304 4196468 140737239674176 140467223591568 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9754] ppid=9744 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9754/stat : 9754 (java) S 9744 9744 7102 0 -1 1077944384 987 0 0 0 18 12 0 0 20 0 28 0 4354219 14133010432 483314 33554432000 4194304 4196468 140737239674176 140467222538512 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9755] ppid=9744 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9755/stat : 9755 (java) S 9744 9744 7102 0 -1 1077944384 2015 0 0 0 17 11 0 0 20 0 28 0 4354219 14133010432 483314 33554432000 4194304 4196468 140737239674176 140467221485968 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9756] ppid=9744 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9756/stat : 9756 (java) S 9744 9744 7102 0 -1 1077944384 2948 0 0 0 8 6 0 0 20 0 28 0 4354222 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466294061808 140467629509250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9757] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9757/stat : 9757 (java) S 9744 9744 7102 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4354223 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466293008096 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9758] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9758/stat : 9758 (java) S 9744 9744 7102 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4354223 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466291954944 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9759] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9759/stat : 9759 (java) S 9744 9744 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4354227 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466290903504 140467629516699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9760] ppid=9744 vsize=13801768 CPUtime=3.34 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9760/stat : 9760 (java) S 9744 9744 7102 0 -1 1077944384 11123 0 0 0 333 1 0 0 20 0 28 0 4354227 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466289850608 140467629509250 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9761] ppid=9744 vsize=13801768 CPUtime=3.74 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9761/stat : 9761 (java) S 9744 9744 7102 0 -1 1077944384 14461 0 0 0 371 3 0 0 20 0 28 0 4354227 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466288798064 140467629509250 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9762] ppid=9744 vsize=13801768 CPUtime=3.18 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9762/stat : 9762 (java) S 9744 9744 7102 0 -1 1077944384 10880 0 0 0 316 2 0 0 20 0 28 0 4354227 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466287745008 140467629509250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9763] ppid=9744 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9763/stat : 9763 (java) S 9744 9744 7102 0 -1 1077944384 9843 0 0 0 121 2 0 0 20 0 28 0 4354227 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466286692464 140467629509250 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9764] ppid=9744 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9764/stat : 9764 (java) S 9744 9744 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4354227 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466285640672 140467629508309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9765] ppid=9744 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9765/stat : 9765 (java) S 9744 9744 7102 0 -1 1077944384 956 0 0 0 8 5 0 0 20 0 28 0 4354227 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466284588208 140467629509250 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 5 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9766] ppid=9744 vsize=13801768 CPUtime=297.71 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9766/stat : 9766 (java) R 9744 9744 7102 0 -1 4202560 1447 0 0 0 29770 1 0 0 20 0 28 0 4354365 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466276572488 140467265505162 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9767] ppid=9744 vsize=13801768 CPUtime=299.11 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9767/stat : 9767 (java) R 9744 9744 7102 0 -1 4202560 1399 0 0 0 29911 0 0 0 20 0 28 0 4354365 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466275520824 140467264870299 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9768] ppid=9744 vsize=13801768 CPUtime=297.94 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9768/stat : 9768 (java) R 9744 9744 7102 0 -1 4202560 2994 0 0 0 29790 4 0 0 20 0 28 0 4354365 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466274470040 140467268081090 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9769] ppid=9744 vsize=13801768 CPUtime=297.24 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9769/stat : 9769 (java) R 9744 9744 7102 0 -1 4202560 7120 0 0 0 29697 27 0 0 20 0 28 0 4354365 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466273415288 140467266156604 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9770] ppid=9744 vsize=13801768 CPUtime=297.78 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9770/stat : 9770 (java) R 9744 9744 7102 0 -1 4202560 1630 0 0 0 29777 1 0 0 20 0 28 0 4354365 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466272365024 140467265454719 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9771] ppid=9744 vsize=13801768 CPUtime=297.9 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9771/stat : 9771 (java) R 9744 9744 7102 0 -1 4202560 624 0 0 0 29789 1 0 0 20 0 28 0 4354365 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466271309560 140467267666599 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9772] ppid=9744 vsize=13801768 CPUtime=298.65 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9772/stat : 9772 (java) R 9744 9744 7102 0 -1 4202560 1007 0 0 0 29865 0 0 0 20 0 28 0 4354365 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466270257616 140467264733018 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
[pid=9745/tid=9773] ppid=9744 vsize=13801768 CPUtime=298.27 cores=0,2,4,6,8,10,12,14
/proc/9745/task/9773/stat : 9773 (java) R 9744 9744 7102 0 -1 4202560 957 0 0 0 29827 0 0 0 20 0 28 0 4354365 14133010432 483314 33554432000 4194304 4196468 140737239674176 140466269205016 140467267668862 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8777728 140737239676092 140737239676268 140737239676268 140737239678927 0
Current children cumulated CPU time (s) 2400.27
Current children cumulated vsize (KiB) 13811280

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9744 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1114
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2228
# CPU time returned by wait4() is 0.003342
# while last known CPU time is 2400.27
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 302.312
CPU time (s): 2400.27
CPU user time (s): 2398.69
CPU system time (s): 1.58
CPU usage (%): 793.971
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001114
system time used= 0.002228
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.46757 second user time and 4.08788 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-22 04:34:27
IDJOB=4247699
IDBENCH=128081
IDSOLVER=2626
FILE ID=node130/4247699-1500690867
RUNJOBID= node130-1500684118-8559
PBS_JOBID= 20623029
Free space on /tmp= 61952 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-80-02.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247699-1500690867/watcher-4247699-1500690867 -o /tmp/evaluation-result-4247699-1500690867/solver-4247699-1500690867 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2019741399 HOME/instance-4247699-1500690867.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 201da62bda966dccc44cd0c6ff0d4af7
RANDOM SEED=2019741399

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

/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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.34
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	: 8
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		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.34
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	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.34
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	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.34
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	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31153144 kB
MemAvailable:   31316384 kB
Buffers:          115820 kB
Cached:           330128 kB
SwapCached:            0 kB
Active:           892640 kB
Inactive:         295272 kB
Active(anon):     744368 kB
Inactive(anon):     8888 kB
Active(file):     148272 kB
Inactive(file):   286384 kB
Unevictable:        5656 kB
Mlocked:            5656 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7984 kB
Writeback:             0 kB
AnonPages:        814280 kB
Mapped:            42576 kB
Shmem:              8844 kB
Slab:             122536 kB
SReclaimable:      88840 kB
SUnreclaim:        33696 kB
KernelStack:        5136 kB
PageTables:         6872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2237744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    688128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61944 MiB
End job on node130 at 2017-07-22 04:39:30