Trace number 4245524

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 5a (2017-07-05)? (TO) 2400.4 316.412

General information on the benchmark

NameOpd/Opd-sum-large/
Opd-46-350-100.xml
MD5SUM1db4b6436defe3ea79c47113dddab962
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark96
Best CPU time to get the best result obtained on this benchmark2400.15
Satisfiable
(Un)Satisfiability was proved
Number of variables16101
Number of constraints1082
Number of domains2
Minimum domain size2
Maximum domain size323
Distribution of domain sizes[{"size":2,"count":16100},{"size":323,"count":1}]
Minimum variable degree47
Maximum variable degree1036
Distribution of variable degrees[{"degree":47,"count":16100},{"degree":1036,"count":1}]
Minimum constraint arity350
Maximum constraint arity16100
Distribution of constraint arities[{"arity":350,"count":46},{"arity":701,"count":1035},{"arity":16100,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":1081}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4245524-1500686090.xml"  -tl '2400s' -p 8 -x 3
0.00/0.20	c [HOME/instance-4245524-1500686090.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.25	c 8 solvers in parallel
0.00/0.32	c parse instance...
396.93/62.66	c solve instance...
2400.40/316.43	s UNKNOWN
2400.40/316.43	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-4245524-1500686090/watcher-4245524-1500686090 -o /tmp/evaluation-result-4245524-1500686090/solver-4245524-1500686090 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8602 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1640136744 HOME/instance-4245524-1500686090.xml 

pid=20403
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: 10.54 13.50 13.97 10/273 20406
/proc/meminfo: memFree=30607800/32770624 swapFree=5884/243220
[pid=20406] ppid=20403 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20406/stat : 20406 (xcsp3-exec) S 20403 20406 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3876791 9740288 346 33554432000 4194304 5098028 140723120018608 140723120016712 139805009846908 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19841024 140723120022670 140723120022880 140723120022880 140723120025579 0
/proc/20406/statm: 2378 346 289 221 0 87 0

[startup+0.100128 s]
/proc/loadavg: 10.54 13.50 13.97 10/273 20406
/proc/meminfo: memFree=30607800/32770624 swapFree=5884/243220
[pid=20406] ppid=20403 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20406/stat : 20406 (xcsp3-exec) S 20403 20406 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3876791 9740288 346 33554432000 4194304 5098028 140723120018608 140723120016712 139805009846908 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19841024 140723120022670 140723120022880 140723120022880 140723120025579 0
/proc/20406/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200308 s]
/proc/loadavg: 10.54 13.50 13.97 10/273 20406
/proc/meminfo: memFree=30607800/32770624 swapFree=5884/243220
[pid=20406] ppid=20403 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20406/stat : 20406 (xcsp3-exec) S 20403 20406 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3876791 9740288 346 33554432000 4194304 5098028 140723120018608 140723120016712 139805009846908 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19841024 140723120022670 140723120022880 140723120022880 140723120025579 0
/proc/20406/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300289 s]
/proc/loadavg: 10.54 13.50 13.97 10/273 20406
/proc/meminfo: memFree=30607800/32770624 swapFree=5884/243220
[pid=20406] ppid=20403 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20406/stat : 20406 (xcsp3-exec) S 20403 20406 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3876791 9740288 346 33554432000 4194304 5098028 140723120018608 140723120016712 139805009846908 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19841024 140723120022670 140723120022880 140723120022880 140723120025579 0
/proc/20406/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700244 s]
/proc/loadavg: 10.54 13.50 13.97 10/273 20406
/proc/meminfo: memFree=30607800/32770624 swapFree=5884/243220
[pid=20406] ppid=20403 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20406/stat : 20406 (xcsp3-exec) S 20403 20406 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3876791 9740288 346 33554432000 4194304 5098028 140723120018608 140723120016712 139805009846908 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19841024 140723120022670 140723120022880 140723120022880 140723120025579 0
/proc/20406/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.5008 s]
/proc/loadavg: 10.54 13.50 13.97 13/294 20427
/proc/meminfo: memFree=30405220/32770624 swapFree=5884/243600
[pid=20406] ppid=20403 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20406/stat : 20406 (xcsp3-exec) S 20403 20406 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3876791 9740288 346 33554432000 4194304 5098028 140723120018608 140723120016712 139805009846908 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19841024 140723120022670 140723120022880 140723120022880 140723120025579 0
/proc/20406/statm: 2378 346 289 221 0 87 0
[pid=20407] ppid=20406 vsize=13269256 CPUtime=5.08 cores=0,2,4,6,8,10,12,14
/proc/20407/stat : 20407 (java) S 20406 20406 8571 0 -1 1077944320 16387 0 0 0 437 71 0 0 20 0 20 0 3876791 13587718144 86029 33554432000 4194304 4196468 140736337973408 140736337955952 140336373239543 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
/proc/20407/statm: 3317314 86029 3242 1 0 3304547 0
[pid=20407/tid=20408] ppid=20406 vsize=13269256 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20408/stat : 20408 (java) R 20406 20406 8571 0 -1 4202560 6841 0 0 0 124 6 0 0 20 0 20 0 3876792 13587718144 86029 33554432000 4194304 4196468 140736337973408 140336377474792 140335997409916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20410] ppid=20406 vsize=13269256 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20410/stat : 20410 (java) S 20406 20406 8571 0 -1 1077944384 109 0 0 0 8 7 0 0 20 0 20 0 3876793 13587718144 86029 33554432000 4194304 4196468 140736337973408 140335972309264 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20411] ppid=20406 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20411/stat : 20411 (java) S 20406 20406 8571 0 -1 1077944384 91 0 0 0 7 7 0 0 20 0 20 0 3876793 13587718144 86029 33554432000 4194304 4196468 140736337973408 140335971256720 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20412] ppid=20406 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20412/stat : 20412 (java) S 20406 20406 8571 0 -1 1077944384 85 0 0 0 8 8 0 0 20 0 20 0 3876793 13587718144 86029 33554432000 4194304 4196468 140736337973408 140335970204176 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20413] ppid=20406 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20413/stat : 20413 (java) S 20406 20406 8571 0 -1 1077944384 111 0 0 0 9 7 0 0 20 0 20 0 3876793 13587718144 86029 33554432000 4194304 4196468 140736337973408 140335969151632 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20414] ppid=20406 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20414/stat : 20414 (java) S 20406 20406 8571 0 -1 1077944384 83 0 0 0 7 7 0 0 20 0 20 0 3876793 13587718144 86029 33554432000 4194304 4196468 140736337973408 140335968099088 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20415] ppid=20406 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20415/stat : 20415 (java) S 20406 20406 8571 0 -1 1077944384 96 0 0 0 6 7 0 0 20 0 20 0 3876793 13587718144 86029 33554432000 4194304 4196468 140736337973408 140335967046544 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20416] ppid=20406 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20416/stat : 20416 (java) S 20406 20406 8571 0 -1 1077944384 94 0 0 0 8 8 0 0 20 0 20 0 3876793 13587718144 86029 33554432000 4194304 4196468 140736337973408 140335965994000 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20417] ppid=20406 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20417/stat : 20417 (java) S 20406 20406 8571 0 -1 1077944384 86 0 0 0 7 7 0 0 20 0 20 0 3876793 13587718144 86029 33554432000 4194304 4196468 140736337973408 140335964941456 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20418] ppid=20406 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20418/stat : 20418 (java) S 20406 20406 8571 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 3876795 13587718144 86029 33554432000 4194304 4196468 140736337973408 140335835482096 140336373250690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20419] ppid=20406 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20419/stat : 20419 (java) S 20406 20406 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3876796 13587718144 86029 33554432000 4194304 4196468 140736337973408 140335834428320 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20420] ppid=20406 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20420/stat : 20420 (java) S 20406 20406 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3876796 13587718144 86029 33554432000 4194304 4196468 140736337973408 140335833375728 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20421] ppid=20406 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20421/stat : 20421 (java) S 20406 20406 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3876800 13587718144 86029 33554432000 4194304 4196468 140736337973408 140335832324304 140336373258139 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20422] ppid=20406 vsize=13269256 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20422/stat : 20422 (java) R 20406 20406 8571 0 -1 4202560 1690 0 0 0 66 0 0 0 20 0 20 0 3876800 13587718144 86029 33554432000 4194304 4196468 140736337973408 140335831272216 140336354760686 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20423] ppid=20406 vsize=13269256 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20423/stat : 20423 (java) S 20406 20406 8571 0 -1 1077944384 1722 0 0 0 70 0 0 0 20 0 20 0 3876800 13587718144 86029 33554432000 4194304 4196468 140736337973408 140335830219376 140336373250690 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20424] ppid=20406 vsize=13269256 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20424/stat : 20424 (java) S 20406 20406 8571 0 -1 1077944384 2051 0 0 0 65 1 0 0 20 0 20 0 3876800 13587718144 86029 33554432000 4194304 4196468 140736337973408 140335829166832 140336373250690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20425] ppid=20406 vsize=13269256 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20425/stat : 20425 (java) R 20406 20406 8571 0 -1 4202560 1950 0 0 0 44 0 0 0 20 0 20 0 3876800 13587718144 86029 33554432000 4194304 4196468 140736337973408 140335828114584 140336352223608 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20426] ppid=20406 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20426/stat : 20426 (java) S 20406 20406 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3876800 13587718144 86029 33554432000 4194304 4196468 140736337973408 140335827060960 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20427] ppid=20406 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20427/stat : 20427 (java) S 20406 20406 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3876801 13587718144 86029 33554432000 4194304 4196468 140736337973408 140335826008496 140336373250690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 13278768

[startup+3.10153 s]
/proc/loadavg: 10.54 13.50 13.97 17/294 20427
/proc/meminfo: memFree=29985700/32770624 swapFree=5884/243596
[pid=20406] ppid=20403 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20406/stat : 20406 (xcsp3-exec) S 20403 20406 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3876791 9740288 346 33554432000 4194304 5098028 140723120018608 140723120016712 139805009846908 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19841024 140723120022670 140723120022880 140723120022880 140723120025579 0
/proc/20406/statm: 2378 346 289 221 0 87 0
[pid=20407] ppid=20406 vsize=13269256 CPUtime=15.17 cores=0,2,4,6,8,10,12,14
/proc/20407/stat : 20407 (java) S 20406 20406 8571 0 -1 1077944320 19285 0 0 0 1278 239 0 0 20 0 20 0 3876791 13587718144 189218 33554432000 4194304 4196468 140736337973408 140736337955952 140336373239543 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
/proc/20407/statm: 3317314 189218 3262 1 0 3304547 0
[pid=20407/tid=20408] ppid=20406 vsize=13269256 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20408/stat : 20408 (java) S 20406 20406 8571 0 -1 1077944384 7263 0 0 0 154 7 0 0 20 0 20 0 3876792 13587718144 189218 33554432000 4194304 4196468 140736337973408 140336377477184 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20410] ppid=20406 vsize=13269256 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20410/stat : 20410 (java) R 20406 20406 8571 0 -1 4202560 361 0 0 0 107 28 0 0 20 0 20 0 3876793 13587718144 189218 33554432000 4194304 4196468 140736337973408 140335972309464 140336366344201 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20411] ppid=20406 vsize=13269256 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20411/stat : 20411 (java) R 20406 20406 8571 0 -1 4202560 533 0 0 0 107 28 0 0 20 0 20 0 3876793 13587718144 189218 33554432000 4194304 4196468 140736337973408 140335971256920 140336358267417 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20412] ppid=20406 vsize=13269256 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20412/stat : 20412 (java) R 20406 20406 8571 0 -1 4202560 253 0 0 0 107 29 0 0 20 0 20 0 3876793 13587718144 189218 33554432000 4194304 4196468 140736337973408 140335970204376 140336358267399 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20413] ppid=20406 vsize=13269256 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20413/stat : 20413 (java) R 20406 20406 8571 0 -1 4202560 370 0 0 0 109 28 0 0 20 0 20 0 3876793 13587718144 189218 33554432000 4194304 4196468 140736337973408 140335969151520 140336358267417 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20414] ppid=20406 vsize=13269256 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20414/stat : 20414 (java) R 20406 20406 8571 0 -1 4202560 313 0 0 0 108 27 0 0 20 0 20 0 3876793 13587718144 189218 33554432000 4194304 4196468 140736337973408 140335968099288 140336366344201 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20415] ppid=20406 vsize=13269256 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20415/stat : 20415 (java) R 20406 20406 8571 0 -1 4202560 384 0 0 0 107 28 0 0 20 0 20 0 3876793 13587718144 189218 33554432000 4194304 4196468 140736337973408 140335967046744 140336358267417 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20416] ppid=20406 vsize=13269256 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20416/stat : 20416 (java) R 20406 20406 8571 0 -1 4202560 254 0 0 0 107 29 0 0 20 0 20 0 3876793 13587718144 189218 33554432000 4194304 4196468 140736337973408 140335965994200 140336358267417 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20417] ppid=20406 vsize=13269256 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20417/stat : 20417 (java) R 20406 20406 8571 0 -1 4202560 247 0 0 0 106 28 0 0 20 0 20 0 3876793 13587718144 189218 33554432000 4194304 4196468 140736337973408 140335964941656 140336358267417 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20418] ppid=20406 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20418/stat : 20418 (java) S 20406 20406 8571 0 -1 1077944384 521 0 0 0 7 0 0 0 20 0 20 0 3876795 13587718144 189218 33554432000 4194304 4196468 140736337973408 140335835480608 140336373249749 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20419] ppid=20406 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20419/stat : 20419 (java) S 20406 20406 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3876796 13587718144 189218 33554432000 4194304 4196468 140736337973408 140335834428320 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20420] ppid=20406 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20420/stat : 20420 (java) S 20406 20406 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3876796 13587718144 189218 33554432000 4194304 4196468 140736337973408 140335833375728 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20421] ppid=20406 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20421/stat : 20421 (java) S 20406 20406 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3876800 13587718144 189218 33554432000 4194304 4196468 140736337973408 140335832324304 140336373258139 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20422] ppid=20406 vsize=13269256 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20422/stat : 20422 (java) S 20406 20406 8571 0 -1 1077944384 1754 0 0 0 69 0 0 0 20 0 20 0 3876800 13587718144 189218 33554432000 4194304 4196468 140736337973408 140335831271920 140336373250690 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20423] ppid=20406 vsize=13269256 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20423/stat : 20423 (java) S 20406 20406 8571 0 -1 1077944384 1723 0 0 0 70 0 0 0 20 0 20 0 3876800 13587718144 189218 33554432000 4194304 4196468 140736337973408 140335830219376 140336373250690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20424] ppid=20406 vsize=13269256 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20424/stat : 20424 (java) S 20406 20406 8571 0 -1 1077944384 2057 0 0 0 68 1 0 0 20 0 20 0 3876800 13587718144 189218 33554432000 4194304 4196468 140736337973408 140335829166832 140336373250690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20425] ppid=20406 vsize=13269256 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20425/stat : 20425 (java) S 20406 20406 8571 0 -1 1077944384 1958 0 0 0 45 0 0 0 20 0 20 0 3876800 13587718144 189218 33554432000 4194304 4196468 140736337973408 140335828114288 140336373250690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20426] ppid=20406 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20426/stat : 20426 (java) S 20406 20406 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3876800 13587718144 189218 33554432000 4194304 4196468 140736337973408 140335827060960 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20427] ppid=20406 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20427/stat : 20427 (java) S 20406 20406 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3876801 13587718144 189218 33554432000 4194304 4196468 140736337973408 140335826008496 140336373250690 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 11 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
Current children cumulated CPU time (s) 15.17
Current children cumulated vsize (KiB) 13278768

[startup+6.30081 s]
/proc/loadavg: 10.82 13.50 13.97 10/294 20427
/proc/meminfo: memFree=29518704/32770624 swapFree=5884/243608
[pid=20406] ppid=20403 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20406/stat : 20406 (xcsp3-exec) S 20403 20406 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3876791 9740288 346 33554432000 4194304 5098028 140723120018608 140723120016712 139805009846908 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19841024 140723120022670 140723120022880 140723120022880 140723120025579 0
/proc/20406/statm: 2378 346 289 221 0 87 0
[pid=20407] ppid=20406 vsize=13269256 CPUtime=31.7 cores=0,2,4,6,8,10,12,14
/proc/20407/stat : 20407 (java) S 20406 20406 8571 0 -1 1077944320 31034 0 0 0 2754 416 0 0 20 0 20 0 3876791 13587718144 328840 33554432000 4194304 4196468 140736337973408 140736337955952 140336373239543 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
/proc/20407/statm: 3317314 328840 3277 1 0 3304547 0
[pid=20407/tid=20408] ppid=20406 vsize=13269256 CPUtime=2.66 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20408/stat : 20408 (java) S 20406 20406 8571 0 -1 1077944384 8914 0 0 0 255 11 0 0 20 0 20 0 3876792 13587718144 328840 33554432000 4194304 4196468 140736337973408 140336377477360 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20410] ppid=20406 vsize=13269256 CPUtime=3.14 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20410/stat : 20410 (java) R 20406 20406 8571 0 -1 4202560 685 0 0 0 264 50 0 0 20 0 20 0 3876793 13587718144 328840 33554432000 4194304 4196468 140736337973408 140335972309464 140336354865575 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20411] ppid=20406 vsize=13269256 CPUtime=3.15 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20411/stat : 20411 (java) R 20406 20406 8571 0 -1 4202560 894 0 0 0 266 49 0 0 20 0 20 0 3876793 13587718144 328840 33554432000 4194304 4196468 140736337973408 140335971256920 140336358267417 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20412] ppid=20406 vsize=13269256 CPUtime=3.15 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20412/stat : 20412 (java) R 20406 20406 8571 0 -1 4202560 714 0 0 0 265 50 0 0 20 0 20 0 3876793 13587718144 328840 33554432000 4194304 4196468 140736337973408 140335970204376 140336358267417 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20413] ppid=20406 vsize=13269256 CPUtime=3.16 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20413/stat : 20413 (java) R 20406 20406 8571 0 -1 4202560 673 0 0 0 266 50 0 0 20 0 20 0 3876793 13587718144 328840 33554432000 4194304 4196468 140736337973408 140335969151832 140336357687835 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20414] ppid=20406 vsize=13269256 CPUtime=3.11 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20414/stat : 20414 (java) R 20406 20406 8571 0 -1 4202560 708 0 0 0 262 49 0 0 20 0 20 0 3876793 13587718144 328840 33554432000 4194304 4196468 140736337973408 140335968099288 140336358267399 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20415] ppid=20406 vsize=13269256 CPUtime=3.12 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20415/stat : 20415 (java) R 20406 20406 8571 0 -1 4202560 678 0 0 0 264 48 0 0 20 0 20 0 3876793 13587718144 328840 33554432000 4194304 4196468 140736337973408 140335967046432 140336358267417 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20416] ppid=20406 vsize=13269256 CPUtime=3.15 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20416/stat : 20416 (java) R 20406 20406 8571 0 -1 4202560 711 0 0 0 264 51 0 0 20 0 20 0 3876793 13587718144 328840 33554432000 4194304 4196468 140736337973408 140335965994200 140336357687835 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20417] ppid=20406 vsize=13269256 CPUtime=3.13 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20417/stat : 20417 (java) R 20406 20406 8571 0 -1 4202560 664 0 0 0 264 49 0 0 20 0 20 0 3876793 13587718144 328840 33554432000 4194304 4196468 140736337973408 140335964941656 140336358267417 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20418] ppid=20406 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20418/stat : 20418 (java) S 20406 20406 8571 0 -1 1077944384 2022 0 0 0 42 0 0 0 20 0 20 0 3876795 13587718144 328840 33554432000 4194304 4196468 140736337973408 140335835480608 140336373249749 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20419] ppid=20406 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20419/stat : 20419 (java) S 20406 20406 8571 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 3876796 13587718144 328840 33554432000 4194304 4196468 140736337973408 140335834428384 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20420] ppid=20406 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20420/stat : 20420 (java) S 20406 20406 8571 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 3876796 13587718144 328840 33554432000 4194304 4196468 140736337973408 140335833375744 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20421] ppid=20406 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20421/stat : 20421 (java) S 20406 20406 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3876800 13587718144 328840 33554432000 4194304 4196468 140736337973408 140335832324304 140336373258139 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0

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

[pid=20407/tid=20435] ppid=20406 vsize=13801768 CPUtime=147.63 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20435/stat : 20435 (java) R 20406 20406 8571 0 -1 4202560 8045 0 0 0 14761 2 0 0 20 0 28 0 3883093 14133010432 2222521 33554432000 4194304 4196468 140736337973408 140335811677896 140335995784669 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20436] ppid=20406 vsize=13801768 CPUtime=147.05 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20436/stat : 20436 (java) R 20406 20406 8571 0 -1 4202560 5046 0 0 0 14704 1 0 0 20 0 28 0 3883094 14133010432 2222521 33554432000 4194304 4196468 140736337973408 140335810625352 140335998580086 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
Current children cumulated CPU time (s) 1651.24
Current children cumulated vsize (KiB) 13811280

[startup+282.302 s]
/proc/loadavg: 15.95 14.95 14.45 17/300 21226
/proc/meminfo: memFree=21694260/32770624 swapFree=5884/244020
[pid=20406] ppid=20403 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20406/stat : 20406 (xcsp3-exec) S 20403 20406 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3876791 9740288 346 33554432000 4194304 5098028 140723120018608 140723120016712 139805009846908 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19841024 140723120022670 140723120022880 140723120022880 140723120025579 0
/proc/20406/statm: 2378 346 289 221 0 87 0
[pid=20407] ppid=20406 vsize=13801768 CPUtime=2128.86 cores=0,2,4,6,8,10,12,14
/proc/20407/stat : 20407 (java) S 20406 20406 8571 0 -1 1077944320 287332 0 0 0 209339 3547 0 0 20 0 28 0 3876791 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140736337955952 140336373239543 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
/proc/20407/statm: 3450442 2206478 3310 1 0 3437675 0
[pid=20407/tid=20408] ppid=20406 vsize=13801768 CPUtime=11.21 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20408/stat : 20408 (java) S 20406 20406 8571 0 -1 1077944384 14373 0 0 0 1109 12 0 0 20 0 28 0 3876792 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140336377480320 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20410] ppid=20406 vsize=13801768 CPUtime=55.79 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20410/stat : 20410 (java) S 20406 20406 8571 0 -1 1077944384 20604 0 0 0 5148 431 0 0 20 0 28 0 3876793 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335972309264 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20411] ppid=20406 vsize=13801768 CPUtime=55.98 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20411/stat : 20411 (java) S 20406 20406 8571 0 -1 1077944384 20247 0 0 0 5149 449 0 0 20 0 28 0 3876793 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335971256720 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20412] ppid=20406 vsize=13801768 CPUtime=56.1 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20412/stat : 20412 (java) S 20406 20406 8571 0 -1 1077944384 21505 0 0 0 5165 445 0 0 20 0 28 0 3876793 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335970204176 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20413] ppid=20406 vsize=13801768 CPUtime=56.25 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20413/stat : 20413 (java) S 20406 20406 8571 0 -1 1077944384 18896 0 0 0 5170 455 0 0 20 0 28 0 3876793 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335969151632 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20414] ppid=20406 vsize=13801768 CPUtime=55.83 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20414/stat : 20414 (java) S 20406 20406 8571 0 -1 1077944384 20137 0 0 0 5166 417 0 0 20 0 28 0 3876793 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335968099088 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20415] ppid=20406 vsize=13801768 CPUtime=55.84 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20415/stat : 20415 (java) S 20406 20406 8571 0 -1 1077944384 17652 0 0 0 5146 438 0 0 20 0 28 0 3876793 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335967046544 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20416] ppid=20406 vsize=13801768 CPUtime=55.91 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20416/stat : 20416 (java) S 20406 20406 8571 0 -1 1077944384 16806 0 0 0 5185 406 0 0 20 0 28 0 3876793 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335965994000 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20417] ppid=20406 vsize=13801768 CPUtime=56.11 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20417/stat : 20417 (java) S 20406 20406 8571 0 -1 1077944384 20921 0 0 0 5163 448 0 0 20 0 28 0 3876793 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335964941456 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20418] ppid=20406 vsize=13801768 CPUtime=6.06 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20418/stat : 20418 (java) S 20406 20406 8571 0 -1 1077944384 22594 0 0 0 599 7 0 0 20 0 28 0 3876795 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335835482096 140336373250690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20419] ppid=20406 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20419/stat : 20419 (java) S 20406 20406 8571 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 3876796 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335834428384 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20420] ppid=20406 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20420/stat : 20420 (java) S 20406 20406 8571 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 28 0 3876796 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335833375744 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20421] ppid=20406 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20421/stat : 20421 (java) S 20406 20406 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3876800 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335832324304 140336373258139 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20422] ppid=20406 vsize=13801768 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20422/stat : 20422 (java) S 20406 20406 8571 0 -1 1077944384 12404 0 0 0 330 2 0 0 20 0 28 0 3876800 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335831271920 140336373250690 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20423] ppid=20406 vsize=13801768 CPUtime=4.13 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20423/stat : 20423 (java) S 20406 20406 8571 0 -1 1077944384 16218 0 0 0 410 3 0 0 20 0 28 0 3876800 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335830219376 140336373250690 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 11 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20424] ppid=20406 vsize=13801768 CPUtime=3.47 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20424/stat : 20424 (java) S 20406 20406 8571 0 -1 1077944384 12839 0 0 0 345 2 0 0 20 0 28 0 3876800 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335829166832 140336373250690 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 10 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20425] ppid=20406 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20425/stat : 20425 (java) S 20406 20406 8571 0 -1 1077944384 11883 0 0 0 115 3 0 0 20 0 28 0 3876800 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335828114288 140336373250690 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 5 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20426] ppid=20406 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20426/stat : 20426 (java) S 20406 20406 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3876800 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335827060960 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20427] ppid=20406 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20427/stat : 20427 (java) S 20406 20406 8571 0 -1 1077944384 1058 0 0 0 9 9 0 0 20 0 28 0 3876801 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335826008496 140336373250690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20429] ppid=20406 vsize=13801768 CPUtime=206.77 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20429/stat : 20429 (java) R 20406 20406 8571 0 -1 4202560 4005 0 0 0 20674 3 0 0 20 0 28 0 3883093 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335817992848 140335995355352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20430] ppid=20406 vsize=13801768 CPUtime=204.95 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20430/stat : 20430 (java) R 20406 20406 8571 0 -1 4202560 2663 0 0 0 20494 1 0 0 20 0 28 0 3883093 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335816941544 140335995073180 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20431] ppid=20406 vsize=13801768 CPUtime=206.59 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20431/stat : 20431 (java) R 20406 20406 8571 0 -1 4202560 3437 0 0 0 20658 1 0 0 20 0 28 0 3883093 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335815889496 140335996359126 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20432] ppid=20406 vsize=13801768 CPUtime=206.86 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20432/stat : 20432 (java) R 20406 20406 8571 0 -1 4202560 6892 0 0 0 20685 1 0 0 20 0 28 0 3883093 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335814838744 140335995061462 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20433] ppid=20406 vsize=13801768 CPUtime=206.01 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20433/stat : 20433 (java) R 20406 20406 8571 0 -1 4202560 3089 0 0 0 20600 1 0 0 20 0 28 0 3883093 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335813784152 140335995073180 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20434] ppid=20406 vsize=13801768 CPUtime=205.97 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20434/stat : 20434 (java) R 20406 20406 8571 0 -1 4202560 2252 0 0 0 20596 1 0 0 20 0 28 0 3883093 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335812731672 140335995073180 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20435] ppid=20406 vsize=13801768 CPUtime=207.33 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20435/stat : 20435 (java) R 20406 20406 8571 0 -1 4202560 9450 0 0 0 20731 2 0 0 20 0 28 0 3883093 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335811677896 140335995784723 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20436] ppid=20406 vsize=13801768 CPUtime=206.81 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20436/stat : 20436 (java) R 20406 20406 8571 0 -1 4202560 5917 0 0 0 20679 2 0 0 20 0 28 0 3883094 14133010432 2206478 33554432000 4194304 4196468 140736337973408 140335810625352 140335995784135 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
Current children cumulated CPU time (s) 2128.86
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+316.402 s]
/proc/loadavg: 16.09 15.10 14.52 17/301 21232
/proc/meminfo: memFree=21881740/32770624 swapFree=5884/244044
[pid=20406] ppid=20403 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20406/stat : 20406 (xcsp3-exec) S 20403 20406 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3876791 9740288 346 33554432000 4194304 5098028 140723120018608 140723120016712 139805009846908 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19841024 140723120022670 140723120022880 140723120022880 140723120025579 0
/proc/20406/statm: 2378 346 289 221 0 87 0
[pid=20407] ppid=20406 vsize=13801768 CPUtime=2400.4 cores=0,2,4,6,8,10,12,14
/proc/20407/stat : 20407 (java) S 20406 20406 8571 0 -1 1077944320 291251 0 0 0 236489 3551 0 0 20 0 28 0 3876791 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140736337955952 140336373239543 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
/proc/20407/statm: 3450442 2158256 3310 1 0 3437675 0
[pid=20407/tid=20408] ppid=20406 vsize=13801768 CPUtime=11.21 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20408/stat : 20408 (java) S 20406 20406 8571 0 -1 1077944384 14373 0 0 0 1109 12 0 0 20 0 28 0 3876792 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140336377480320 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20410] ppid=20406 vsize=13801768 CPUtime=55.86 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20410/stat : 20410 (java) S 20406 20406 8571 0 -1 1077944384 20766 0 0 0 5155 431 0 0 20 0 28 0 3876793 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335972309264 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20411] ppid=20406 vsize=13801768 CPUtime=56.06 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20411/stat : 20411 (java) S 20406 20406 8571 0 -1 1077944384 20470 0 0 0 5157 449 0 0 20 0 28 0 3876793 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335971256720 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20412] ppid=20406 vsize=13801768 CPUtime=56.17 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20412/stat : 20412 (java) S 20406 20406 8571 0 -1 1077944384 21597 0 0 0 5172 445 0 0 20 0 28 0 3876793 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335970204176 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20413] ppid=20406 vsize=13801768 CPUtime=56.32 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20413/stat : 20413 (java) S 20406 20406 8571 0 -1 1077944384 19021 0 0 0 5177 455 0 0 20 0 28 0 3876793 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335969151632 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20414] ppid=20406 vsize=13801768 CPUtime=55.9 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20414/stat : 20414 (java) S 20406 20406 8571 0 -1 1077944384 20217 0 0 0 5172 418 0 0 20 0 28 0 3876793 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335968099088 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20415] ppid=20406 vsize=13801768 CPUtime=55.91 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20415/stat : 20415 (java) S 20406 20406 8571 0 -1 1077944384 17897 0 0 0 5153 438 0 0 20 0 28 0 3876793 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335967046544 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20416] ppid=20406 vsize=13801768 CPUtime=55.98 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20416/stat : 20416 (java) S 20406 20406 8571 0 -1 1077944384 16923 0 0 0 5192 406 0 0 20 0 28 0 3876793 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335965994000 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20417] ppid=20406 vsize=13801768 CPUtime=56.18 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20417/stat : 20417 (java) S 20406 20406 8571 0 -1 1077944384 21030 0 0 0 5170 448 0 0 20 0 28 0 3876793 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335964941456 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20418] ppid=20406 vsize=13801768 CPUtime=6.06 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20418/stat : 20418 (java) S 20406 20406 8571 0 -1 1077944384 22600 0 0 0 599 7 0 0 20 0 28 0 3876795 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335835482096 140336373250690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20419] ppid=20406 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20419/stat : 20419 (java) S 20406 20406 8571 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 3876796 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335834428384 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20420] ppid=20406 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20420/stat : 20420 (java) S 20406 20406 8571 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 28 0 3876796 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335833375744 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20421] ppid=20406 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20421/stat : 20421 (java) S 20406 20406 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3876800 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335832324304 140336373258139 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20422] ppid=20406 vsize=13801768 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20422/stat : 20422 (java) S 20406 20406 8571 0 -1 1077944384 12404 0 0 0 330 2 0 0 20 0 28 0 3876800 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335831271920 140336373250690 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20423] ppid=20406 vsize=13801768 CPUtime=4.13 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20423/stat : 20423 (java) S 20406 20406 8571 0 -1 1077944384 16218 0 0 0 410 3 0 0 20 0 28 0 3876800 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335830219376 140336373250690 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 11 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20424] ppid=20406 vsize=13801768 CPUtime=3.47 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20424/stat : 20424 (java) S 20406 20406 8571 0 -1 1077944384 12839 0 0 0 345 2 0 0 20 0 28 0 3876800 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335829166832 140336373250690 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 10 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20425] ppid=20406 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20425/stat : 20425 (java) S 20406 20406 8571 0 -1 1077944384 11895 0 0 0 115 3 0 0 20 0 28 0 3876800 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335828114288 140336373250690 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 5 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20426] ppid=20406 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20426/stat : 20426 (java) S 20406 20406 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3876800 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335827060960 140336373249749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20427] ppid=20406 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20427/stat : 20427 (java) S 20406 20406 8571 0 -1 1077944384 1083 0 0 0 10 10 0 0 20 0 28 0 3876801 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335826008496 140336373250690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20429] ppid=20406 vsize=13801768 CPUtime=240.76 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20429/stat : 20429 (java) R 20406 20406 8571 0 -1 4202560 4420 0 0 0 24072 4 0 0 20 0 28 0 3883093 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335817992848 140335995073180 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20430] ppid=20406 vsize=13801768 CPUtime=238.93 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20430/stat : 20430 (java) R 20406 20406 8571 0 -1 4202560 2743 0 0 0 23892 1 0 0 20 0 28 0 3883093 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335816941560 140335995355337 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20431] ppid=20406 vsize=13801768 CPUtime=240.03 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20431/stat : 20431 (java) R 20406 20406 8571 0 -1 4202560 3806 0 0 0 24002 1 0 0 20 0 28 0 3883093 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335815888712 140336000495153 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20432] ppid=20406 vsize=13801768 CPUtime=240.84 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20432/stat : 20432 (java) R 20406 20406 8571 0 -1 4202560 7083 0 0 0 24083 1 0 0 20 0 28 0 3883093 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335814836600 140335999266709 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20433] ppid=20406 vsize=13801768 CPUtime=240 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20433/stat : 20433 (java) R 20406 20406 8571 0 -1 4202560 3203 0 0 0 23999 1 0 0 20 0 28 0 3883093 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335813783944 140335998753557 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20434] ppid=20406 vsize=13801768 CPUtime=239.92 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20434/stat : 20434 (java) R 20406 20406 8571 0 -1 4202560 2439 0 0 0 23991 1 0 0 20 0 28 0 3883093 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335812731400 140335995355352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20435] ppid=20406 vsize=13801768 CPUtime=240.94 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20435/stat : 20435 (java) R 20406 20406 8571 0 -1 4202560 10486 0 0 0 24091 3 0 0 20 0 28 0 3883093 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335811680704 140335996246815 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
[pid=20407/tid=20436] ppid=20406 vsize=13801768 CPUtime=240.8 cores=0,2,4,6,8,10,12,14
/proc/20407/task/20436/stat : 20436 (java) R 20406 20406 8571 0 -1 4202560 6248 0 0 0 24078 2 0 0 20 0 28 0 3883094 14133010432 2158256 33554432000 4194304 4196468 140736337973408 140335810625352 140335995784135 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24571904 140736337978556 140736337978732 140736337978732 140736337981391 0
Current children cumulated CPU time (s) 2400.4
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 20407 sig 9
??? kill 20406 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 20406 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=3355
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.003355
# while last known CPU time is 2400.4
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 316.412
CPU time (s): 2400.4
CPU user time (s): 2364.89
CPU system time (s): 35.51
CPU usage (%): 758.63
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.003355
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= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.46853 second user time and 4.62014 second system time

The end

Launcher Data 

Begin job on node126 at 2017-07-22 03:14:50
IDJOB=4245524
IDBENCH=122940
IDSOLVER=2626
FILE ID=node126/4245524-1500686090
RUNJOBID= node126-1500683384-8602
PBS_JOBID= 20623339
Free space on /tmp= 61976 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-46-350-100.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-4245524-1500686090/watcher-4245524-1500686090 -o /tmp/evaluation-result-4245524-1500686090/solver-4245524-1500686090 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8602 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1640136744 HOME/instance-4245524-1500686090.xml

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

MD5SUM BENCH= 1db4b6436defe3ea79c47113dddab962
RANDOM SEED=1640136744

node126.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.50
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		: 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	: 5333.50
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.50
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.50
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		: 1867.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.50
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.50
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.50
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		: 1600.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.50
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:        30607988 kB
MemAvailable:   30657916 kB
Buffers:           49748 kB
Cached:           311304 kB
SwapCached:            0 kB
Active:          1536732 kB
Inactive:         251888 kB
Active(anon):    1430744 kB
Inactive(anon):     8668 kB
Active(file):     105988 kB
Inactive(file):   243220 kB
Unevictable:        5884 kB
Mlocked:            5884 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7788 kB
Writeback:             8 kB
AnonPages:       1432968 kB
Mapped:            42468 kB
Shmem:              8872 kB
Slab:              66468 kB
SReclaimable:      33112 kB
SUnreclaim:        33356 kB
KernelStack:        4720 kB
PageTables:         8232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3188320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1302528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61968 MiB
End job on node126 at 2017-07-22 03:20:07