Trace number 4246834

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 NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 4.0.5 (2017-07-05)SAT (TO)656 2400.05 1599.81

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-23-a4.xml
MD5SUM85d0173ff868c492d6a47734653fba18
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark532
Best CPU time to get the best result obtained on this benchmark2520.1201
Satisfiable
(Un)Satisfiability was proved
Number of variables23
Number of constraints30109
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":23}]
Minimum variable degree5083
Maximum variable degree5084
Distribution of variable degrees[{"degree":5083,"count":21},{"degree":5084,"count":2}]
Minimum constraint arity1
Maximum constraint arity23
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":3542},{"arity":4,"count":26565},{"arity":23,"count":1}]
Number of extensional constraints0
Number of intensional constraints30108
Distribution of constraint types[{"type":"intension","count":30108},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246834-1500688262.xml"  -tl '2400s' -p 8 -x 0
0.00/0.19	c [HOME/instance-4246834-1500688262.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.24	c 8 solvers in parallel
0.00/0.31	c parse instance...
86.19/16.23	c solve instance...
564.30/137.18	o 661 
783.19/215.76	o 656 
2400.05/1599.80	s SATISFIABLE
2400.05/1599.80	v <instantiation>
2400.05/1599.80	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] </list>
2400.05/1599.80	v 	<values>0 1 3 7 12 20 30 44 65 80 96 122 147 181 203 251 289 360 400 474 568 617 656 </values>
2400.05/1599.80	v </instantiation>
2400.05/1599.80	c Unexpected resolution interruption!

Verifier Data 

OK	656

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-4246834-1500688262/watcher-4246834-1500688262 -o /tmp/evaluation-result-4246834-1500688262/solver-4246834-1500688262 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 153089402 HOME/instance-4246834-1500688262.xml 

pid=28988
running on 8 cores: 1,3,5,7,9,11,13,15

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: 9.58 12.80 13.49 3/271 28991
/proc/meminfo: memFree=24347648/32770624 swapFree=5892/117060
[pid=28991] ppid=28988 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28991/stat : 28991 (xcsp3-exec) S 28988 28991 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4095873 9740288 346 33554432000 4194304 5098028 140731994080416 140731994078520 140534947537532 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9924608 140731994088591 140731994088800 140731994088800 140731994091499 0
/proc/28991/statm: 2378 346 289 221 0 87 0

[startup+0.10008 s]
/proc/loadavg: 9.58 12.80 13.49 3/271 28991
/proc/meminfo: memFree=24347648/32770624 swapFree=5892/117060
[pid=28991] ppid=28988 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28991/stat : 28991 (xcsp3-exec) S 28988 28991 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4095873 9740288 346 33554432000 4194304 5098028 140731994080416 140731994078520 140534947537532 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9924608 140731994088591 140731994088800 140731994088800 140731994091499 0
/proc/28991/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200294 s]
/proc/loadavg: 9.58 12.80 13.49 3/271 28991
/proc/meminfo: memFree=24347648/32770624 swapFree=5892/117060
[pid=28991] ppid=28988 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28991/stat : 28991 (xcsp3-exec) S 28988 28991 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4095873 9740288 346 33554432000 4194304 5098028 140731994080416 140731994078520 140534947537532 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9924608 140731994088591 140731994088800 140731994088800 140731994091499 0
/proc/28991/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.30023 s]
/proc/loadavg: 9.58 12.80 13.49 3/271 28991
/proc/meminfo: memFree=24347648/32770624 swapFree=5892/117060
[pid=28991] ppid=28988 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28991/stat : 28991 (xcsp3-exec) S 28988 28991 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4095873 9740288 346 33554432000 4194304 5098028 140731994080416 140731994078520 140534947537532 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9924608 140731994088591 140731994088800 140731994088800 140731994091499 0
/proc/28991/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700192 s]
/proc/loadavg: 9.58 12.80 13.49 3/271 28991
/proc/meminfo: memFree=24347648/32770624 swapFree=5892/117060
[pid=28991] ppid=28988 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28991/stat : 28991 (xcsp3-exec) S 28988 28991 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4095873 9740288 346 33554432000 4194304 5098028 140731994080416 140731994078520 140534947537532 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9924608 140731994088591 140731994088800 140731994088800 140731994091499 0
/proc/28991/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50076 s]
/proc/loadavg: 9.58 12.80 13.49 7/292 29012
/proc/meminfo: memFree=24155256/32770624 swapFree=5892/117192
[pid=28991] ppid=28988 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28991/stat : 28991 (xcsp3-exec) S 28988 28991 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4095873 9740288 346 33554432000 4194304 5098028 140731994080416 140731994078520 140534947537532 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9924608 140731994088591 140731994088800 140731994088800 140731994091499 0
/proc/28991/statm: 2378 346 289 221 0 87 0
[pid=28992] ppid=28991 vsize=13269256 CPUtime=5.01 cores=1,3,5,7,9,11,13,15
/proc/28992/stat : 28992 (java) S 28991 28991 15667 0 -1 1077944320 15182 0 0 0 472 29 0 0 20 0 20 0 4095873 13587718144 58045 33554432000 4194304 4196468 140722631933824 140722631916368 140600917159671 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
/proc/28992/statm: 3317314 58045 3247 1 0 3304547 0
[pid=28992/tid=28993] ppid=28991 vsize=13269256 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28993/stat : 28993 (java) R 28991 28991 15667 0 -1 4202560 6794 0 0 0 136 5 0 0 20 0 20 0 4095873 13587718144 58045 33554432000 4194304 4196468 140722631933824 140600921393248 140600541073980 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28995] ppid=28991 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28995/stat : 28995 (java) S 28991 28991 15667 0 -1 1077944384 70 0 0 0 2 2 0 0 20 0 20 0 4095874 13587718144 58045 33554432000 4194304 4196468 140722631933824 140600856124560 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28996] ppid=28991 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28996/stat : 28996 (java) S 28991 28991 15667 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 20 0 4095874 13587718144 58045 33554432000 4194304 4196468 140722631933824 140600515451920 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28997] ppid=28991 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28997/stat : 28997 (java) S 28991 28991 15667 0 -1 1077944384 27 0 0 0 2 2 0 0 20 0 20 0 4095874 13587718144 58045 33554432000 4194304 4196468 140722631933824 140600514399120 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28998] ppid=28991 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28998/stat : 28998 (java) S 28991 28991 15667 0 -1 1077944384 32 0 0 0 2 2 0 0 20 0 20 0 4095874 13587718144 58045 33554432000 4194304 4196468 140722631933824 140600513346320 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28999] ppid=28991 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28999/stat : 28999 (java) S 28991 28991 15667 0 -1 1077944384 46 0 0 0 1 3 0 0 20 0 20 0 4095874 13587718144 58045 33554432000 4194304 4196468 140722631933824 140600512293520 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29000] ppid=28991 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29000/stat : 29000 (java) S 28991 28991 15667 0 -1 1077944384 25 0 0 0 2 2 0 0 20 0 20 0 4095874 13587718144 58045 33554432000 4194304 4196468 140722631933824 140600511240720 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29001] ppid=28991 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29001/stat : 29001 (java) S 28991 28991 15667 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 20 0 4095874 13587718144 58045 33554432000 4194304 4196468 140722631933824 140600510187920 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29002] ppid=28991 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29002/stat : 29002 (java) S 28991 28991 15667 0 -1 1077944384 18 0 0 0 1 2 0 0 20 0 20 0 4095874 13587718144 58045 33554432000 4194304 4196468 140722631933824 140600509135120 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29003] ppid=28991 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29003/stat : 29003 (java) S 28991 28991 15667 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 4095877 13587718144 58045 33554432000 4194304 4196468 140722631933824 140599648291696 140600917170818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29004] ppid=28991 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29004/stat : 29004 (java) S 28991 28991 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4095877 13587718144 58045 33554432000 4194304 4196468 140722631933824 140599579633248 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29005] ppid=28991 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29005/stat : 29005 (java) S 28991 28991 15667 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4095878 13587718144 58045 33554432000 4194304 4196468 140722631933824 140599578580352 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29006] ppid=28991 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29006/stat : 29006 (java) S 28991 28991 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4095881 13587718144 58045 33554432000 4194304 4196468 140722631933824 140599577528656 140600917178267 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29007] ppid=28991 vsize=13269256 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29007/stat : 29007 (java) R 28991 28991 15667 0 -1 4202560 2141 0 0 0 88 0 0 0 20 0 20 0 4095881 13587718144 58045 33554432000 4194304 4196468 140722631933824 140599576462560 140600898335687 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29008] ppid=28991 vsize=13269256 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29008/stat : 29008 (java) R 28991 28991 15667 0 -1 4202560 1198 0 0 0 88 0 0 0 20 0 20 0 4095881 13587718144 58045 33554432000 4194304 4196468 140722631933824 140599575414080 140600896853379 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29009] ppid=28991 vsize=13269256 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29009/stat : 29009 (java) R 28991 28991 15667 0 -1 4202560 1320 0 0 0 85 0 0 0 20 0 20 0 4095881 13587718144 58045 33554432000 4194304 4196468 140722631933824 140599574361664 140600896508688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29010] ppid=28991 vsize=13269256 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29010/stat : 29010 (java) S 28991 28991 15667 0 -1 1077944384 2087 0 0 0 56 0 0 0 20 0 20 0 4095881 13587718144 58045 33554432000 4194304 4196468 140722631933824 140599573317616 140600917170818 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29011] ppid=28991 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29011/stat : 29011 (java) S 28991 28991 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4095882 13587718144 58045 33554432000 4194304 4196468 140722631933824 140599572266080 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29012] ppid=28991 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29012/stat : 29012 (java) S 28991 28991 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4095882 13587718144 58045 33554432000 4194304 4196468 140722631933824 140599571213360 140600917170818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 13278768

[startup+3.10104 s]
/proc/loadavg: 9.58 12.80 13.49 10/292 29012
/proc/meminfo: memFree=23757164/32770624 swapFree=5892/117168
[pid=28991] ppid=28988 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28991/stat : 28991 (xcsp3-exec) S 28988 28991 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4095873 9740288 346 33554432000 4194304 5098028 140731994080416 140731994078520 140534947537532 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9924608 140731994088591 140731994088800 140731994088800 140731994091499 0
/proc/28991/statm: 2378 346 289 221 0 87 0
[pid=28992] ppid=28991 vsize=13269256 CPUtime=15.91 cores=1,3,5,7,9,11,13,15
/proc/28992/stat : 28992 (java) S 28991 28991 15667 0 -1 1077944320 20248 0 0 0 1418 173 0 0 20 0 20 0 4095873 13587718144 164885 33554432000 4194304 4196468 140722631933824 140722631916368 140600917159671 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
/proc/28992/statm: 3317314 164885 3270 1 0 3304547 0
[pid=28992/tid=28993] ppid=28991 vsize=13269256 CPUtime=1.79 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28993/stat : 28993 (java) S 28991 28991 15667 0 -1 1077944384 6848 0 0 0 173 6 0 0 20 0 20 0 4095873 13587718144 164885 33554432000 4194304 4196468 140722631933824 140600921398128 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28995] ppid=28991 vsize=13269256 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28995/stat : 28995 (java) R 28991 28991 15667 0 -1 4202560 214 0 0 0 100 17 0 0 20 0 20 0 4095874 13587718144 164885 33554432000 4194304 4196468 140722631933824 140600856124680 140600909787879 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28996] ppid=28991 vsize=13269256 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28996/stat : 28996 (java) R 28991 28991 15667 0 -1 4202560 231 0 0 0 100 19 0 0 20 0 20 0 4095874 13587718144 164885 33554432000 4194304 4196468 140722631933824 140600515452040 140600901860328 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28997] ppid=28991 vsize=13269256 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28997/stat : 28997 (java) R 28991 28991 15667 0 -1 4202560 304 0 0 0 100 19 0 0 20 0 20 0 4095874 13587718144 164885 33554432000 4194304 4196468 140722631933824 140600514399240 140600909787879 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28998] ppid=28991 vsize=13269256 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28998/stat : 28998 (java) R 28991 28991 15667 0 -1 4202560 197 0 0 0 101 22 0 0 20 0 20 0 4095874 13587718144 164885 33554432000 4194304 4196468 140722631933824 140600513346440 140600901860286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28999] ppid=28991 vsize=13269256 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28999/stat : 28999 (java) R 28991 28991 15667 0 -1 4202560 195 0 0 0 101 22 0 0 20 0 20 0 4095874 13587718144 164885 33554432000 4194304 4196468 140722631933824 140600512293640 140600909787879 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29000] ppid=28991 vsize=13269256 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29000/stat : 29000 (java) R 28991 28991 15667 0 -1 4202560 171 0 0 0 100 21 0 0 20 0 20 0 4095874 13587718144 164885 33554432000 4194304 4196468 140722631933824 140600511240840 140600909787879 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29001] ppid=28991 vsize=13269256 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29001/stat : 29001 (java) R 28991 28991 15667 0 -1 4202560 156 0 0 0 98 20 0 0 20 0 20 0 4095874 13587718144 164885 33554432000 4194304 4196468 140722631933824 140600510188040 140600898769468 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29002] ppid=28991 vsize=13269256 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29002/stat : 29002 (java) R 28991 28991 15667 0 -1 4202560 165 0 0 0 102 18 0 0 20 0 20 0 4095874 13587718144 164885 33554432000 4194304 4196468 140722631933824 140600509135240 140600910263323 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29003] ppid=28991 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29003/stat : 29003 (java) S 28991 28991 15667 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 20 0 4095877 13587718144 164885 33554432000 4194304 4196468 140722631933824 140599648290240 140600917169877 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29004] ppid=28991 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29004/stat : 29004 (java) S 28991 28991 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4095877 13587718144 164885 33554432000 4194304 4196468 140722631933824 140599579633248 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29005] ppid=28991 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29005/stat : 29005 (java) S 28991 28991 15667 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4095878 13587718144 164885 33554432000 4194304 4196468 140722631933824 140599578580352 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29006] ppid=28991 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29006/stat : 29006 (java) S 28991 28991 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4095881 13587718144 164885 33554432000 4194304 4196468 140722631933824 140599577528656 140600917178267 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29007] ppid=28991 vsize=13269256 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29007/stat : 29007 (java) S 28991 28991 15667 0 -1 1077944384 3459 0 0 0 130 1 0 0 20 0 20 0 4095881 13587718144 164885 33554432000 4194304 4196468 140722631933824 140599576461008 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29008] ppid=28991 vsize=13269256 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29008/stat : 29008 (java) S 28991 28991 15667 0 -1 1077944384 2196 0 0 0 129 0 0 0 20 0 20 0 4095881 13587718144 164885 33554432000 4194304 4196468 140722631933824 140599575423216 140600917170818 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29009] ppid=28991 vsize=13269256 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29009/stat : 29009 (java) S 28991 28991 15667 0 -1 1077944384 2509 0 0 0 120 0 0 0 20 0 20 0 4095881 13587718144 164885 33554432000 4194304 4196468 140722631933824 140599574370416 140600917170818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29010] ppid=28991 vsize=13269256 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29010/stat : 29010 (java) S 28991 28991 15667 0 -1 1077944384 2087 0 0 0 56 0 0 0 20 0 20 0 4095881 13587718144 164885 33554432000 4194304 4196468 140722631933824 140599573317616 140600917170818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29011] ppid=28991 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29011/stat : 29011 (java) S 28991 28991 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4095882 13587718144 164885 33554432000 4194304 4196468 140722631933824 140599572266080 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29012] ppid=28991 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29012/stat : 29012 (java) S 28991 28991 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4095882 13587718144 164885 33554432000 4194304 4196468 140722631933824 140599571213360 140600917170818 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
Current children cumulated CPU time (s) 15.91
Current children cumulated vsize (KiB) 13278768

[startup+6.30117 s]
/proc/loadavg: 8.97 12.62 13.43 10/292 29012
/proc/meminfo: memFree=22989776/32770624 swapFree=5892/117168
[pid=28991] ppid=28988 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28991/stat : 28991 (xcsp3-exec) S 28988 28991 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4095873 9740288 346 33554432000 4194304 5098028 140731994080416 140731994078520 140534947537532 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9924608 140731994088591 140731994088800 140731994088800 140731994091499 0
/proc/28991/statm: 2378 346 289 221 0 87 0
[pid=28992] ppid=28991 vsize=13269256 CPUtime=31.53 cores=1,3,5,7,9,11,13,15
/proc/28992/stat : 28992 (java) S 28991 28991 15667 0 -1 1077944320 36285 0 0 0 2591 562 0 0 20 0 20 0 4095873 13587718144 430762 33554432000 4194304 4196468 140722631933824 140722631916368 140600917159671 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
/proc/28992/statm: 3317314 430762 3282 1 0 3304547 0
[pid=28992/tid=28993] ppid=28991 vsize=13269256 CPUtime=3.34 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28993/stat : 28993 (java) S 28991 28991 15667 0 -1 1077944384 8947 0 0 0 324 10 0 0 20 0 20 0 4095873 13587718144 430762 33554432000 4194304 4196468 140722631933824 140600921397408 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28995] ppid=28991 vsize=13269256 CPUtime=2.75 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28995/stat : 28995 (java) R 28991 28991 15667 0 -1 4202560 740 0 0 0 210 65 0 0 20 0 20 0 4095874 13587718144 430762 33554432000 4194304 4196468 140722631933824 140600856124448 140600901860256 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28996] ppid=28991 vsize=13269256 CPUtime=2.75 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28996/stat : 28996 (java) R 28991 28991 15667 0 -1 4202560 732 0 0 0 208 67 0 0 20 0 20 0 4095874 13587718144 430762 33554432000 4194304 4196468 140722631933824 140600515452120 140600902155601 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28997] ppid=28991 vsize=13269256 CPUtime=2.76 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28997/stat : 28997 (java) R 28991 28991 15667 0 -1 4202560 705 0 0 0 209 67 0 0 20 0 20 0 4095874 13587718144 430762 33554432000 4194304 4196468 140722631933824 140600514399320 140600910264374 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28998] ppid=28991 vsize=13269256 CPUtime=2.79 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28998/stat : 28998 (java) R 28991 28991 15667 0 -1 4202560 706 0 0 0 210 69 0 0 20 0 20 0 4095874 13587718144 431274 33554432000 4194304 4196468 140722631933824 140600513346520 140600910264364 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28999] ppid=28991 vsize=13269256 CPUtime=2.81 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28999/stat : 28999 (java) R 28991 28991 15667 0 -1 4202560 895 0 0 0 210 71 0 0 20 0 20 0 4095874 13587718144 431274 33554432000 4194304 4196468 140722631933824 140600512293720 140600901860256 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29000] ppid=28991 vsize=13269256 CPUtime=2.74 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29000/stat : 29000 (java) R 28991 28991 15667 0 -1 4202560 667 0 0 0 207 67 0 0 20 0 20 0 4095874 13587718144 431274 33554432000 4194304 4196468 140722631933824 140600511240920 140600901860265 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29001] ppid=28991 vsize=13269256 CPUtime=2.74 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29001/stat : 29001 (java) R 28991 28991 15667 0 -1 4202560 619 0 0 0 206 68 0 0 20 0 20 0 4095874 13587718144 431274 33554432000 4194304 4196468 140722631933824 140600510188120 140600910264400 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29002] ppid=28991 vsize=13269256 CPUtime=2.77 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29002/stat : 29002 (java) R 28991 28991 15667 0 -1 4202560 657 0 0 0 209 68 0 0 20 0 20 0 4095874 13587718144 431274 33554432000 4194304 4196468 140722631933824 140600509135320 140600902155656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29003] ppid=28991 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29003/stat : 29003 (java) S 28991 28991 15667 0 -1 1077944384 3114 0 0 0 7 0 0 0 20 0 20 0 4095877 13587718144 431274 33554432000 4194304 4196468 140722631933824 140599648290240 140600917169877 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29004] ppid=28991 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29004/stat : 29004 (java) S 28991 28991 15667 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4095877 13587718144 431274 33554432000 4194304 4196468 140722631933824 140599579633248 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29005] ppid=28991 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29005/stat : 29005 (java) S 28991 28991 15667 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4095878 13587718144 431274 33554432000 4194304 4196468 140722631933824 140599578580352 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29006] ppid=28991 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29006/stat : 29006 (java) S 28991 28991 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4095881 13587718144 431274 33554432000 4194304 4196468 140722631933824 140599577528656 140600917178267 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0

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

[pid=28992/tid=29054] ppid=28991 vsize=13801768 CPUtime=1259.51 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29054/stat : 29054 (java) R 28991 28991 15667 0 -1 4202560 51501 0 0 0 125938 13 0 0 20 0 28 0 4117449 14133010432 1376479 33554432000 4194304 4196468 140722631933824 140599556331952 140600543291866 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29055] ppid=28991 vsize=13801768 CPUtime=48.14 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29055/stat : 29055 (java) S 28991 28991 15667 0 -1 1077944384 979 0 0 0 4814 0 0 0 20 0 28 0 4117449 14133010432 1376479 33554432000 4194304 4196468 140722631933824 140599563703760 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
Current children cumulated CPU time (s) 2281.62
Current children cumulated vsize (KiB) 13811280

[startup+1542.31 s]
/proc/loadavg: 8.93 6.29 6.12 10/299 29213
/proc/meminfo: memFree=23140236/32770624 swapFree=5892/118944
[pid=28991] ppid=28988 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28991/stat : 28991 (xcsp3-exec) S 28988 28991 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4095873 9740288 346 33554432000 4194304 5098028 140731994080416 140731994078520 140534947537532 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9924608 140731994088591 140731994088800 140731994088800 140731994091499 0
/proc/28991/statm: 2378 346 289 221 0 87 0
[pid=28992] ppid=28991 vsize=13801768 CPUtime=2342.11 cores=1,3,5,7,9,11,13,15
/proc/28992/stat : 28992 (java) S 28991 28991 15667 0 -1 1077944320 427863 0 0 0 231943 2268 0 0 20 0 28 0 4095873 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140722631916368 140600917159671 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
/proc/28992/statm: 3450442 1376601 3297 1 0 3437675 0
[pid=28992/tid=28993] ppid=28991 vsize=13801768 CPUtime=6.41 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28993/stat : 28993 (java) S 28991 28991 15667 0 -1 1077944384 10816 0 0 0 630 11 0 0 20 0 28 0 4095873 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140600921400448 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28995] ppid=28991 vsize=13801768 CPUtime=37.19 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28995/stat : 28995 (java) S 28991 28991 15667 0 -1 1077944384 24063 0 0 0 3460 259 0 0 20 0 28 0 4095874 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140600856124560 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28996] ppid=28991 vsize=13801768 CPUtime=37.32 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28996/stat : 28996 (java) S 28991 28991 15667 0 -1 1077944384 26427 0 0 0 3458 274 0 0 20 0 28 0 4095874 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140600515451920 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28997] ppid=28991 vsize=13801768 CPUtime=37.25 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28997/stat : 28997 (java) S 28991 28991 15667 0 -1 1077944384 25436 0 0 0 3455 270 0 0 20 0 28 0 4095874 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140600514399120 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28998] ppid=28991 vsize=13801768 CPUtime=37.36 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28998/stat : 28998 (java) S 28991 28991 15667 0 -1 1077944384 27399 0 0 0 3471 265 0 0 20 0 28 0 4095874 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140600513346320 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28999] ppid=28991 vsize=13801768 CPUtime=37.41 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28999/stat : 28999 (java) S 28991 28991 15667 0 -1 1077944384 23210 0 0 0 3470 271 0 0 20 0 28 0 4095874 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140600512293520 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29000] ppid=28991 vsize=13801768 CPUtime=37.17 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29000/stat : 29000 (java) S 28991 28991 15667 0 -1 1077944384 28663 0 0 0 3453 264 0 0 20 0 28 0 4095874 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140600511240720 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29001] ppid=28991 vsize=13801768 CPUtime=37.2 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29001/stat : 29001 (java) S 28991 28991 15667 0 -1 1077944384 19847 0 0 0 3439 281 0 0 20 0 28 0 4095874 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140600510187920 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29002] ppid=28991 vsize=13801768 CPUtime=37.5 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29002/stat : 29002 (java) S 28991 28991 15667 0 -1 1077944384 36055 0 0 0 3484 266 0 0 20 0 28 0 4095874 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140600509135120 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29003] ppid=28991 vsize=13801768 CPUtime=4.59 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29003/stat : 29003 (java) S 28991 28991 15667 0 -1 1077944384 23749 0 0 0 436 23 0 0 20 0 28 0 4095877 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140599648291696 140600917170818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29004] ppid=28991 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29004/stat : 29004 (java) S 28991 28991 15667 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4095877 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140599579633248 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29005] ppid=28991 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29005/stat : 29005 (java) S 28991 28991 15667 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 28 0 4095878 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140599578580352 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29006] ppid=28991 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29006/stat : 29006 (java) S 28991 28991 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4095881 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140599577528656 140600917178267 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29007] ppid=28991 vsize=13801768 CPUtime=4.51 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29007/stat : 29007 (java) S 28991 28991 15667 0 -1 1077944384 23442 0 0 0 448 3 0 0 20 0 28 0 4095881 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140599576476016 140600917170818 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 12 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29008] ppid=28991 vsize=13801768 CPUtime=5.03 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29008/stat : 29008 (java) S 28991 28991 15667 0 -1 1077944384 20193 0 0 0 500 3 0 0 20 0 28 0 4095881 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140599575423216 140600917170818 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29009] ppid=28991 vsize=13801768 CPUtime=3.88 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29009/stat : 29009 (java) S 28991 28991 15667 0 -1 1077944384 18147 0 0 0 385 3 0 0 20 0 28 0 4095881 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140599574370416 140600917170818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29010] ppid=28991 vsize=13801768 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29010/stat : 29010 (java) S 28991 28991 15667 0 -1 1077944384 17102 0 0 0 127 2 0 0 20 0 28 0 4095881 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140599573317616 140600917170818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29011] ppid=28991 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29011/stat : 29011 (java) S 28991 28991 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4095882 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140599572266080 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29012] ppid=28991 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29012/stat : 29012 (java) S 28991 28991 15667 0 -1 1077944384 2874 0 0 0 41 49 0 0 20 0 28 0 4095882 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140599571213360 140600917170818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29048] ppid=28991 vsize=13801768 CPUtime=23.52 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29048/stat : 29048 (java) S 28991 28991 15667 0 -1 1077944384 1083 0 0 0 2352 0 0 0 20 0 28 0 4117449 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140599562649648 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29049] ppid=28991 vsize=13801768 CPUtime=23.61 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29049/stat : 29049 (java) S 28991 28991 15667 0 -1 1077944384 945 0 0 0 2361 0 0 0 20 0 28 0 4117449 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140599557387472 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29050] ppid=28991 vsize=13801768 CPUtime=23.63 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29050/stat : 29050 (java) S 28991 28991 15667 0 -1 1077944384 3322 0 0 0 2363 0 0 0 20 0 28 0 4117449 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140599561598032 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29051] ppid=28991 vsize=13801768 CPUtime=23.91 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29051/stat : 29051 (java) S 28991 28991 15667 0 -1 1077944384 1642 0 0 0 2391 0 0 0 20 0 28 0 4117449 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140599560545232 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29052] ppid=28991 vsize=13801768 CPUtime=23.38 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29052/stat : 29052 (java) S 28991 28991 15667 0 -1 1077944384 2076 0 0 0 2338 0 0 0 20 0 28 0 4117449 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140599558439760 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29053] ppid=28991 vsize=13801768 CPUtime=23.5 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29053/stat : 29053 (java) S 28991 28991 15667 0 -1 1077944384 979 0 0 0 2350 0 0 0 20 0 28 0 4117449 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140599559492304 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29054] ppid=28991 vsize=13801768 CPUtime=1319.41 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29054/stat : 29054 (java) R 28991 28991 15667 0 -1 4202560 54588 0 0 0 131928 13 0 0 20 0 28 0 4117449 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140599556331888 140600537078200 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29055] ppid=28991 vsize=13801768 CPUtime=48.14 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29055/stat : 29055 (java) S 28991 28991 15667 0 -1 1077944384 979 0 0 0 4814 0 0 0 20 0 28 0 4117449 14133010432 1376601 33554432000 4194304 4196468 140722631933824 140599563703760 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
Current children cumulated CPU time (s) 2342.11
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1599.8 s]
/proc/loadavg: 6.51 6.17 6.10 3/291 29302
/proc/meminfo: memFree=22611956/32770624 swapFree=5892/119064
[pid=28991] ppid=28988 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28991/stat : 28991 (xcsp3-exec) S 28988 28991 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4095873 9740288 346 33554432000 4194304 5098028 140731994080416 140731994078520 140534947537532 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9924608 140731994088591 140731994088800 140731994088800 140731994091499 0
/proc/28991/statm: 2378 346 289 221 0 87 0
[pid=28992] ppid=28991 vsize=13801768 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15
/proc/28992/stat : 28992 (java) S 28991 28991 15667 0 -1 1077944320 439859 0 0 0 237735 2270 0 0 20 0 28 0 4095873 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140722631916368 140600917159671 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
/proc/28992/statm: 3450442 1377180 3297 1 0 3437675 0
[pid=28992/tid=28993] ppid=28991 vsize=13801768 CPUtime=6.41 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28993/stat : 28993 (java) S 28991 28991 15667 0 -1 1077944384 10816 0 0 0 630 11 0 0 20 0 28 0 4095873 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140600921400448 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28995] ppid=28991 vsize=13801768 CPUtime=37.25 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28995/stat : 28995 (java) S 28991 28991 15667 0 -1 1077944384 25215 0 0 0 3466 259 0 0 20 0 28 0 4095874 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140600856124560 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28996] ppid=28991 vsize=13801768 CPUtime=37.39 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28996/stat : 28996 (java) S 28991 28991 15667 0 -1 1077944384 26490 0 0 0 3465 274 0 0 20 0 28 0 4095874 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140600515451920 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28997] ppid=28991 vsize=13801768 CPUtime=37.32 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28997/stat : 28997 (java) S 28991 28991 15667 0 -1 1077944384 26820 0 0 0 3462 270 0 0 20 0 28 0 4095874 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140600514399120 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28998] ppid=28991 vsize=13801768 CPUtime=37.43 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28998/stat : 28998 (java) S 28991 28991 15667 0 -1 1077944384 28617 0 0 0 3478 265 0 0 20 0 28 0 4095874 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140600513346320 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=28999] ppid=28991 vsize=13801768 CPUtime=37.48 cores=1,3,5,7,9,11,13,15
/proc/28992/task/28999/stat : 28999 (java) S 28991 28991 15667 0 -1 1077944384 23717 0 0 0 3477 271 0 0 20 0 28 0 4095874 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140600512293520 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29000] ppid=28991 vsize=13801768 CPUtime=37.24 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29000/stat : 29000 (java) S 28991 28991 15667 0 -1 1077944384 29418 0 0 0 3460 264 0 0 20 0 28 0 4095874 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140600511240720 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29001] ppid=28991 vsize=13801768 CPUtime=37.25 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29001/stat : 29001 (java) S 28991 28991 15667 0 -1 1077944384 21215 0 0 0 3444 281 0 0 20 0 28 0 4095874 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140600510187920 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29002] ppid=28991 vsize=13801768 CPUtime=37.58 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29002/stat : 29002 (java) S 28991 28991 15667 0 -1 1077944384 37659 0 0 0 3491 267 0 0 20 0 28 0 4095874 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140600509135120 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29003] ppid=28991 vsize=13801768 CPUtime=4.6 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29003/stat : 29003 (java) S 28991 28991 15667 0 -1 1077944384 24035 0 0 0 436 24 0 0 20 0 28 0 4095877 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140599648291696 140600917170818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29004] ppid=28991 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29004/stat : 29004 (java) S 28991 28991 15667 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4095877 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140599579633248 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29005] ppid=28991 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29005/stat : 29005 (java) S 28991 28991 15667 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 28 0 4095878 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140599578580352 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29006] ppid=28991 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29006/stat : 29006 (java) S 28991 28991 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4095881 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140599577528656 140600917178267 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29007] ppid=28991 vsize=13801768 CPUtime=4.51 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29007/stat : 29007 (java) S 28991 28991 15667 0 -1 1077944384 23991 0 0 0 448 3 0 0 20 0 28 0 4095881 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140599576476016 140600917170818 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 12 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29008] ppid=28991 vsize=13801768 CPUtime=5.03 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29008/stat : 29008 (java) S 28991 28991 15667 0 -1 1077944384 20196 0 0 0 500 3 0 0 20 0 28 0 4095881 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140599575423216 140600917170818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29009] ppid=28991 vsize=13801768 CPUtime=3.88 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29009/stat : 29009 (java) S 28991 28991 15667 0 -1 1077944384 18151 0 0 0 385 3 0 0 20 0 28 0 4095881 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140599574370416 140600917170818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29010] ppid=28991 vsize=13801768 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29010/stat : 29010 (java) S 28991 28991 15667 0 -1 1077944384 17116 0 0 0 127 2 0 0 20 0 28 0 4095881 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140599573317616 140600917170818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29011] ppid=28991 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29011/stat : 29011 (java) S 28991 28991 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4095882 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140599572266080 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29012] ppid=28991 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29012/stat : 29012 (java) S 28991 28991 15667 0 -1 1077944384 2929 0 0 0 43 50 0 0 20 0 28 0 4095882 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140599571213360 140600917170818 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 12 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29048] ppid=28991 vsize=13801768 CPUtime=23.52 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29048/stat : 29048 (java) S 28991 28991 15667 0 -1 1077944384 1083 0 0 0 2352 0 0 0 20 0 28 0 4117449 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140599562649648 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29049] ppid=28991 vsize=13801768 CPUtime=23.61 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29049/stat : 29049 (java) S 28991 28991 15667 0 -1 1077944384 945 0 0 0 2361 0 0 0 20 0 28 0 4117449 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140599557387472 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29050] ppid=28991 vsize=13801768 CPUtime=23.63 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29050/stat : 29050 (java) S 28991 28991 15667 0 -1 1077944384 3322 0 0 0 2363 0 0 0 20 0 28 0 4117449 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140599561598032 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29051] ppid=28991 vsize=13801768 CPUtime=23.91 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29051/stat : 29051 (java) S 28991 28991 15667 0 -1 1077944384 1642 0 0 0 2391 0 0 0 20 0 28 0 4117449 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140599560545232 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29052] ppid=28991 vsize=13801768 CPUtime=23.38 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29052/stat : 29052 (java) S 28991 28991 15667 0 -1 1077944384 2076 0 0 0 2338 0 0 0 20 0 28 0 4117449 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140599558439760 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29053] ppid=28991 vsize=13801768 CPUtime=23.5 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29053/stat : 29053 (java) S 28991 28991 15667 0 -1 1077944384 979 0 0 0 2350 0 0 0 20 0 28 0 4117449 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140599559492304 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29054] ppid=28991 vsize=13801768 CPUtime=1376.8 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29054/stat : 29054 (java) R 28991 28991 15667 0 -1 4202560 57622 0 0 0 137666 14 0 0 20 0 28 0 4117449 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140599556331888 140600543291222 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
[pid=28992/tid=29055] ppid=28991 vsize=13801768 CPUtime=48.14 cores=1,3,5,7,9,11,13,15
/proc/28992/task/29055/stat : 29055 (java) S 28991 28991 15667 0 -1 1077944384 979 0 0 0 4814 0 0 0 20 0 28 0 4117449 14133010432 1377180 33554432000 4194304 4196468 140722631933824 140599563703760 140600917169877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36839424 140722631935164 140722631935340 140722631935340 140722631937999 0
Current children cumulated CPU time (s) 2400.05
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 28992 sig 9
??? kill 28991 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1599.81
CPU time (s): 2400.05
CPU user time (s): 2377.35
CPU system time (s): 22.7
CPU usage (%): 150.021
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00292
system time used= 0
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
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= 4
involuntary context switches= 2

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9634 second user time and 14.1629 second system time

The end

Launcher Data 

Begin job on node104 at 2017-07-22 03:51:02
IDJOB=4246834
IDBENCH=126248
IDSOLVER=2625
FILE ID=node104/4246834-1500688262
RUNJOBID= node104-1500684128-16797
PBS_JOBID= 20623031
Free space on /tmp= 62004 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-23-a4.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-4246834-1500688262/watcher-4246834-1500688262 -o /tmp/evaluation-result-4246834-1500688262/solver-4246834-1500688262 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 153089402 HOME/instance-4246834-1500688262.xml

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

MD5SUM BENCH= 85d0173ff868c492d6a47734653fba18
RANDOM SEED=153089402

node104.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		: 2668.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	: 5334.12
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		: 1600.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.57
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		: 1600.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	: 5334.12
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		: 1600.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.57
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	: 5334.12
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		: 1600.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.57
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	: 5334.12
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		: 1733.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.57
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		: 2267.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	: 5334.12
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		: 2400.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.57
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		: 1600.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	: 5334.12
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		: 1600.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.57
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	: 5334.12
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		: 1733.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.57
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	: 5334.12
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		: 1733.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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24347448 kB
MemAvailable:   24431616 kB
Buffers:          164176 kB
Cached:           183588 kB
SwapCached:          256 kB
Active:          7767260 kB
Inactive:         173496 kB
Active(anon):    7547636 kB
Inactive(anon):    56372 kB
Active(file):     219624 kB
Inactive(file):   117124 kB
Unevictable:        5892 kB
Mlocked:            5892 kB
SwapTotal:      67108860 kB
SwapFree:       67105468 kB
Dirty:              9068 kB
Writeback:            92 kB
AnonPages:       7640824 kB
Mapped:            42668 kB
Shmem:              8772 kB
Slab:             161400 kB
SReclaimable:     126508 kB
SUnreclaim:        34892 kB
KernelStack:        5008 kB
PageTables:        20216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    9674412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7464960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62000 MiB
End job on node104 at 2017-07-22 04:17:42