Trace number 4310097

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
OscaR - Conflict Ordering with restarts 2018-08-14? (TO) 252.072 245.516

General information on the benchmark

NameTemplateDesign/
TemplateDesign-m1-magazine_c18.xml
MD5SUM22697061c475ce526fb64da13536656d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables5100
Number of constraints2701
Number of domains27
Minimum domain size2
Maximum domain size445
Distribution of domain sizes[{"size":2,"count":50},{"size":41,"count":2500},{"size":55,"count":50},{"size":58,"count":50},{"size":60,"count":50},{"size":66,"count":50},{"size":93,"count":50},{"size":99,"count":50},{"size":110,"count":100},{"size":115,"count":50},{"size":121,"count":50},{"size":150,"count":50},{"size":154,"count":150},{"size":165,"count":400},{"size":184,"count":50},{"size":187,"count":100},{"size":214,"count":100},{"size":220,"count":150},{"size":231,"count":100},{"size":247,"count":50},{"size":253,"count":150},{"size":275,"count":400},{"size":291,"count":50},{"size":297,"count":100},{"size":406,"count":50},{"size":412,"count":100},{"size":445,"count":50}]
Minimum variable degree2
Maximum variable degree52
Distribution of variable degrees[{"degree":2,"count":4950},{"degree":3,"count":100},{"degree":52,"count":50}]
Minimum constraint arity2
Maximum constraint arity50
Distribution of constraint arities[{"arity":2,"count":100},{"arity":3,"count":2500},{"arity":50,"count":101}]
Number of extensional constraints0
Number of intensional constraints2600
Distribution of constraint types[{"type":"intension","count":2600},{"type":"ordered","count":1},{"type":"sum","count":100}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 210001146
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
6.62/3.76	c Parsing done, starting search...
252.05/245.50	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12328 MiB free)
  memory of node 1: 16384 MiB (9918 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310097-1534331866/watcher-4310097-1534331866 -o /tmp/evaluation-result-4310097-1534331866/solver-4310097-1534331866 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534329313-21853 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 210001146 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310097-1534331866.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23996, runsolver pid=23993

[startup+0.108189 s]*
/proc/loadavg: 1.27 1.59 1.69 3/215 24011
/proc/meminfo: memFree=22762848/32770624 swapFree=67105356/67108860
[pid=23996] ppid=23993 vsize=14082736 memory=33156 CPUtime=0.13 cores=0,2,4,6
/proc/23996/stat : 23996 (java) S 23993 23996 21822 0 -1 1077944320 7190 0 0 0 12 1 0 0 20 0 15 0 250749790 14420721664 8289 33554432000 4194304 4196468 140736150202272 140736150184816 140045278535415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
/proc/23996/statm: 3520684 8289 3168 1 0 3482761 0
[pid=23996/tid=23998] ppid=23993 vsize=14082736 memory=-8557575366716199042 CPUtime=0.1 cores=0,2,4,6
/proc/23996/task/23998/stat : 23998 (java) R 23993 23996 21822 0 -1 4202560 5232 0 0 0 9 1 0 0 20 0 15 0 250749790 14420721664 8289 33554432000 4194304 4196468 140736150202272 140045282750208 140045262615902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=23999] ppid=23993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23996/task/23999/stat : 23999 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749791 14420721664 8289 33554432000 4194304 4196468 140736150202272 140044874541712 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24000] ppid=23993 vsize=14082736 memory=140612439062144 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24000/stat : 24000 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749791 14420721664 8289 33554432000 4194304 4196468 140736150202272 140044873488912 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24001] ppid=23993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24001/stat : 24001 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749791 14420721664 8289 33554432000 4194304 4196468 140736150202272 140044872436112 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24002] ppid=23993 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24002/stat : 24002 (java) S 23993 23996 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250749791 14420721664 8289 33554432000 4194304 4196468 140736150202272 140044871383312 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24003] ppid=23993 vsize=14082736 memory=140612439062144 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24003/stat : 24003 (java) S 23993 23996 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250749792 14420721664 8289 33554432000 4194304 4196468 140736150202272 140044753390448 140045278546562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24004] ppid=23993 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24004/stat : 24004 (java) S 23993 23996 21822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250749793 14420721664 8289 33554432000 4194304 4196468 140736150202272 140044752336416 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24005] ppid=23993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24005/stat : 24005 (java) S 23993 23996 21822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250749793 14420721664 8289 33554432000 4194304 4196468 140736150202272 140044751283568 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24006] ppid=23993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24006/stat : 24006 (java) S 23993 23996 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250749795 14420721664 8289 33554432000 4194304 4196468 140736150202272 140044750231888 140045278554011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24007] ppid=23993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24007/stat : 24007 (java) S 23993 23996 21822 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 250749795 14420721664 8289 33554432000 4194304 4196468 140736150202272 140044749179248 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24008] ppid=23993 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24008/stat : 24008 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749795 14420721664 8289 33554432000 4194304 4196468 140736150202272 140044748126448 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24009] ppid=23993 vsize=14082736 memory=140612439062144 CPUtime=0.01 cores=0,2,4,6
/proc/23996/task/24009/stat : 24009 (java) S 23993 23996 21822 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 250749795 14420721664 8289 33554432000 4194304 4196468 140736150202272 140044747073648 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24010] ppid=23993 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24010/stat : 24010 (java) S 23993 23996 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250749795 14420721664 8289 33554432000 4194304 4196468 140736150202272 140044746021088 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24011] ppid=23993 vsize=14082736 memory=140612439062144 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24011/stat : 24011 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749795 14420721664 8289 33554432000 4194304 4196468 140736150202272 140044744969392 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33156 KiB

[startup+0.211316 s]*
/proc/loadavg: 1.27 1.59 1.69 5/215 24011
/proc/meminfo: memFree=22747980/32770624 swapFree=67105356/67108860
[pid=23996] ppid=23993 vsize=14082736 memory=46648 CPUtime=0.3 cores=0,2,4,6
/proc/23996/stat : 23996 (java) S 23993 23996 21822 0 -1 1077944320 10352 0 0 0 28 2 0 0 20 0 15 0 250749790 14420721664 11662 33554432000 4194304 4196468 140736150202272 140736150184816 140045278535415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
/proc/23996/statm: 3520684 11662 3324 1 0 3482761 0
[pid=23996/tid=23998] ppid=23993 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/23996/task/23998/stat : 23998 (java) R 23993 23996 21822 0 -1 4202560 8070 0 0 0 19 1 0 0 20 0 15 0 250749790 14420721664 11662 33554432000 4194304 4196468 140736150202272 140045282762864 140045262615902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=23999] ppid=23993 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/23996/task/23999/stat : 23999 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749791 14420721664 11662 33554432000 4194304 4196468 140736150202272 140044874541712 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24000] ppid=23993 vsize=14082736 memory=288370988590773888 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24000/stat : 24000 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749791 14420721664 11662 33554432000 4194304 4196468 140736150202272 140044873488912 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24001] ppid=23993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24001/stat : 24001 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749791 14420721664 11662 33554432000 4194304 4196468 140736150202272 140044872436112 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24002] ppid=23993 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24002/stat : 24002 (java) S 23993 23996 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250749791 14420721664 11662 33554432000 4194304 4196468 140736150202272 140044871383312 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24003] ppid=23993 vsize=14082736 memory=140612439062144 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24003/stat : 24003 (java) S 23993 23996 21822 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250749792 14420721664 11728 33554432000 4194304 4196468 140736150202272 140044753390448 140045278546562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24004] ppid=23993 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24004/stat : 24004 (java) S 23993 23996 21822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250749793 14420721664 11728 33554432000 4194304 4196468 140736150202272 140044752336416 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24005] ppid=23993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24005/stat : 24005 (java) S 23993 23996 21822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250749793 14420721664 11728 33554432000 4194304 4196468 140736150202272 140044751283568 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24006] ppid=23993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24006/stat : 24006 (java) S 23993 23996 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250749795 14420721664 11728 33554432000 4194304 4196468 140736150202272 140044750231888 140045278554011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24007] ppid=23993 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23996/task/24007/stat : 24007 (java) R 23993 23996 21822 0 -1 4202560 531 0 0 0 2 0 0 0 20 0 15 0 250749795 14420721664 11728 33554432000 4194304 4196468 140736150202272 140044749160264 140045260053757 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24008] ppid=23993 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24008/stat : 24008 (java) R 23993 23996 21822 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 250749795 14420721664 11728 33554432000 4194304 4196468 140736150202272 140044748126448 140045278546562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24009] ppid=23993 vsize=14082736 memory=140612439062144 CPUtime=0.06 cores=0,2,4,6
/proc/23996/task/24009/stat : 24009 (java) R 23993 23996 21822 0 -1 4202560 321 0 0 0 6 0 0 0 20 0 15 0 250749795 14420721664 11728 33554432000 4194304 4196468 140736150202272 140044747073648 140045257200097 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24010] ppid=23993 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24010/stat : 24010 (java) S 23993 23996 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250749795 14420721664 11728 33554432000 4194304 4196468 140736150202272 140044746021088 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24011] ppid=23993 vsize=14082736 memory=140612439062144 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24011/stat : 24011 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749795 14420721664 11728 33554432000 4194304 4196468 140736150202272 140044744969392 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46648 KiB

[startup+0.310389 s]*
/proc/loadavg: 1.27 1.59 1.69 4/215 24011
/proc/meminfo: memFree=22744196/32770624 swapFree=67105356/67108860
[pid=23996] ppid=23993 vsize=14082736 memory=50716 CPUtime=0.44 cores=0,2,4,6
/proc/23996/stat : 23996 (java) S 23993 23996 21822 0 -1 1077944320 10775 0 0 0 42 2 0 0 20 0 15 0 250749790 14420721664 12679 33554432000 4194304 4196468 140736150202272 140736150184816 140045278535415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
/proc/23996/statm: 3520684 12679 3422 1 0 3482761 0
[pid=23996/tid=23998] ppid=23993 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/23996/task/23998/stat : 23998 (java) R 23993 23996 21822 0 -1 4202560 8429 0 0 0 28 1 0 0 20 0 15 0 250749790 14420721664 12679 33554432000 4194304 4196468 140736150202272 140045282743248 140045270772542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=23999] ppid=23993 vsize=14082736 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/23996/task/23999/stat : 23999 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749791 14420721664 12679 33554432000 4194304 4196468 140736150202272 140044874541712 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24000] ppid=23993 vsize=14082736 memory=288370988590773888 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24000/stat : 24000 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749791 14420721664 12679 33554432000 4194304 4196468 140736150202272 140044873488912 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24001] ppid=23993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24001/stat : 24001 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749791 14420721664 12731 33554432000 4194304 4196468 140736150202272 140044872436112 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24002] ppid=23993 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24002/stat : 24002 (java) S 23993 23996 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250749791 14420721664 12731 33554432000 4194304 4196468 140736150202272 140044871383312 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24003] ppid=23993 vsize=14082736 memory=140612439062144 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24003/stat : 24003 (java) S 23993 23996 21822 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250749792 14420721664 12731 33554432000 4194304 4196468 140736150202272 140044753390448 140045278546562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24004] ppid=23993 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24004/stat : 24004 (java) S 23993 23996 21822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250749793 14420721664 12731 33554432000 4194304 4196468 140736150202272 140044752336416 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24005] ppid=23993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24005/stat : 24005 (java) S 23993 23996 21822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250749793 14420721664 12731 33554432000 4194304 4196468 140736150202272 140044751283568 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24006] ppid=23993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24006/stat : 24006 (java) S 23993 23996 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250749795 14420721664 12731 33554432000 4194304 4196468 140736150202272 140044750231888 140045278554011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24007] ppid=23993 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23996/task/24007/stat : 24007 (java) S 23993 23996 21822 0 -1 1077944384 552 0 0 0 3 0 0 0 20 0 15 0 250749795 14420721664 12731 33554432000 4194304 4196468 140736150202272 140044749179248 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24008] ppid=23993 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/23996/task/24008/stat : 24008 (java) S 23993 23996 21822 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 15 0 250749795 14420721664 12731 33554432000 4194304 4196468 140736150202272 140044748126448 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24009] ppid=23993 vsize=14082736 memory=140612439062144 CPUtime=0.08 cores=0,2,4,6
/proc/23996/task/24009/stat : 24009 (java) S 23993 23996 21822 0 -1 1077944384 343 0 0 0 8 0 0 0 20 0 15 0 250749795 14420721664 12731 33554432000 4194304 4196468 140736150202272 140044747073648 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24010] ppid=23993 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24010/stat : 24010 (java) S 23993 23996 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250749795 14420721664 12731 33554432000 4194304 4196468 140736150202272 140044746021088 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24011] ppid=23993 vsize=14082736 memory=140612439062144 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24011/stat : 24011 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749795 14420721664 12731 33554432000 4194304 4196468 140736150202272 140044744969392 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50716 KiB

[startup+0.700703 s]
/proc/loadavg: 1.27 1.59 1.69 3/215 24011
/proc/meminfo: memFree=22720508/32770624 swapFree=67105356/67108860
[pid=23996] ppid=23993 vsize=14084804 memory=88784 CPUtime=0.98 cores=0,2,4,6
/proc/23996/stat : 23996 (java) S 23993 23996 21822 0 -1 1077944320 17618 0 0 0 94 4 0 0 20 0 15 0 250749790 14422839296 22196 33554432000 4194304 4196468 140736150202272 140736150184816 140045278535415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
/proc/23996/statm: 3521201 22196 3499 1 0 3483273 0
[pid=23996/tid=23998] ppid=23993 vsize=14084804 memory=1752 CPUtime=0.67 cores=0,2,4,6
/proc/23996/task/23998/stat : 23998 (java) R 23993 23996 21822 0 -1 4202560 14867 0 0 0 64 3 0 0 20 0 15 0 250749790 14422839296 22196 33554432000 4194304 4196468 140736150202272 140045282758016 140045278557341 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=23999] ppid=23993 vsize=14084804 memory=856 CPUtime=0 cores=0,2,4,6
/proc/23996/task/23999/stat : 23999 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749791 14422839296 22196 33554432000 4194304 4196468 140736150202272 140044874541712 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24000] ppid=23993 vsize=14084804 memory=12468 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24000/stat : 24000 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749791 14422839296 22196 33554432000 4194304 4196468 140736150202272 140044873488912 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24001] ppid=23993 vsize=14084804 memory=752 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24001/stat : 24001 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749791 14422839296 22196 33554432000 4194304 4196468 140736150202272 140044872436112 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24002] ppid=23993 vsize=14084804 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24002/stat : 24002 (java) S 23993 23996 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250749791 14422839296 22196 33554432000 4194304 4196468 140736150202272 140044871383312 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24003] ppid=23993 vsize=14084804 memory=1812 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24003/stat : 24003 (java) S 23993 23996 21822 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250749792 14422839296 22196 33554432000 4194304 4196468 140736150202272 140044753390448 140045278546562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24004] ppid=23993 vsize=14084804 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24004/stat : 24004 (java) S 23993 23996 21822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250749793 14422839296 22196 33554432000 4194304 4196468 140736150202272 140044752336416 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24005] ppid=23993 vsize=14084804 memory=6404 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24005/stat : 24005 (java) S 23993 23996 21822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250749793 14422839296 22196 33554432000 4194304 4196468 140736150202272 140044751283568 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24006] ppid=23993 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24006/stat : 24006 (java) S 23993 23996 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250749795 14422839296 22196 33554432000 4194304 4196468 140736150202272 140044750231888 140045278554011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24007] ppid=23993 vsize=14084804 memory=7525326301224851042 CPUtime=0.09 cores=0,2,4,6
/proc/23996/task/24007/stat : 24007 (java) S 23993 23996 21822 0 -1 1077944384 697 0 0 0 9 0 0 0 20 0 15 0 250749795 14422839296 22196 33554432000 4194304 4196468 140736150202272 140044749179248 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24008] ppid=23993 vsize=14084804 memory=5787213827131598673 CPUtime=0.05 cores=0,2,4,6
/proc/23996/task/24008/stat : 24008 (java) S 23993 23996 21822 0 -1 1077944384 236 0 0 0 5 0 0 0 20 0 15 0 250749795 14422839296 22196 33554432000 4194304 4196468 140736150202272 140044748126448 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24009] ppid=23993 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/23996/task/24009/stat : 24009 (java) S 23993 23996 21822 0 -1 1077944384 437 0 0 0 15 0 0 0 20 0 15 0 250749795 14422839296 22196 33554432000 4194304 4196468 140736150202272 140044747073648 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24010] ppid=23993 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24010/stat : 24010 (java) S 23993 23996 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250749795 14422839296 22196 33554432000 4194304 4196468 140736150202272 140044746021088 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24011] ppid=23993 vsize=14084804 memory=33 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24011/stat : 24011 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749795 14422839296 22196 33554432000 4194304 4196468 140736150202272 140044744969392 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88784 KiB

[startup+1.50077 s]
/proc/loadavg: 1.27 1.59 1.69 5/215 24011
/proc/meminfo: memFree=22670844/32770624 swapFree=67105356/67108860
[pid=23996] ppid=23993 vsize=14088900 memory=203256 CPUtime=3.56 cores=0,2,4,6
/proc/23996/stat : 23996 (java) S 23993 23996 21822 0 -1 1077944320 29429 0 0 0 348 8 0 0 20 0 15 0 250749790 14427033600 50814 33554432000 4194304 4196468 140736150202272 140736150184816 140045278535415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
/proc/23996/statm: 3522225 50814 3552 1 0 3484297 0
[pid=23996/tid=23998] ppid=23993 vsize=14088900 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/23996/task/23998/stat : 23998 (java) R 23993 23996 21822 0 -1 4202560 20821 0 0 0 141 6 0 0 20 0 15 0 250749790 14427033600 50814 33554432000 4194304 4196468 140736150202272 140045282772448 140044875678579 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=23999] ppid=23993 vsize=14088900 memory=-8253362762724047225 CPUtime=0 cores=0,2,4,6
/proc/23996/task/23999/stat : 23999 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749791 14427033600 50814 33554432000 4194304 4196468 140736150202272 140044874541712 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24000] ppid=23993 vsize=14088900 memory=-8609294068986781045 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24000/stat : 24000 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749791 14427033600 50814 33554432000 4194304 4196468 140736150202272 140044873488912 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24001] ppid=23993 vsize=14088900 memory=-6517102902069810590 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24001/stat : 24001 (java) S 23993 23996 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250749791 14427033600 50814 33554432000 4194304 4196468 140736150202272 140044872436112 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24002] ppid=23993 vsize=14088900 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24002/stat : 24002 (java) S 23993 23996 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250749791 14427033600 50814 33554432000 4194304 4196468 140736150202272 140044871383312 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24003] ppid=23993 vsize=14088900 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24003/stat : 24003 (java) S 23993 23996 21822 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 250749792 14427033600 50814 33554432000 4194304 4196468 140736150202272 140044753390448 140045278546562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0

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

/proc/23996/task/23998/stat : 23998 (java) R 23993 23996 21822 0 -1 4202560 27955 0 0 0 16167 9 0 0 20 0 15 0 250749790 14429130752 46738 33554432000 4194304 4196468 140736150202272 140045282773792 140044884538838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=23999] ppid=23993 vsize=14090948 memory=186852 CPUtime=0.2 cores=0,2,4,6
/proc/23996/task/23999/stat : 23999 (java) S 23993 23996 21822 0 -1 1077944384 1198 0 0 0 18 2 0 0 20 0 15 0 250749791 14429130752 46738 33554432000 4194304 4196468 140736150202272 140044874541712 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24000] ppid=23993 vsize=14090948 memory=186852 CPUtime=0.21 cores=0,2,4,6
/proc/23996/task/24000/stat : 24000 (java) S 23993 23996 21822 0 -1 1077944384 688 0 0 0 19 2 0 0 20 0 15 0 250749791 14429130752 46738 33554432000 4194304 4196468 140736150202272 140044873488912 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24001] ppid=23993 vsize=14090948 memory=186952 CPUtime=0.22 cores=0,2,4,6
/proc/23996/task/24001/stat : 24001 (java) S 23993 23996 21822 0 -1 1077944384 944 0 0 0 20 2 0 0 20 0 15 0 250749791 14429130752 46738 33554432000 4194304 4196468 140736150202272 140044872436112 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24002] ppid=23993 vsize=14090948 memory=186952 CPUtime=0.21 cores=0,2,4,6
/proc/23996/task/24002/stat : 24002 (java) S 23993 23996 21822 0 -1 1077944384 3714 0 0 0 19 2 0 0 20 0 15 0 250749791 14429130752 46738 33554432000 4194304 4196468 140736150202272 140044871383312 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24003] ppid=23993 vsize=14090948 memory=186952 CPUtime=0.18 cores=0,2,4,6
/proc/23996/task/24003/stat : 24003 (java) S 23993 23996 21822 0 -1 1077944384 1840 0 0 0 17 1 0 0 20 0 15 0 250749792 14429130752 46738 33554432000 4194304 4196468 140736150202272 140044753390448 140045278546562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24004] ppid=23993 vsize=14090948 memory=186952 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24004/stat : 24004 (java) S 23993 23996 21822 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 250749793 14429130752 46738 33554432000 4194304 4196468 140736150202272 140044752336480 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24005] ppid=23993 vsize=14090948 memory=186952 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24005/stat : 24005 (java) S 23993 23996 21822 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 250749793 14429130752 46738 33554432000 4194304 4196468 140736150202272 140044751283584 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24006] ppid=23993 vsize=14090948 memory=186952 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24006/stat : 24006 (java) S 23993 23996 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250749795 14429130752 46738 33554432000 4194304 4196468 140736150202272 140044750231888 140045278554011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24007] ppid=23993 vsize=14090948 memory=186952 CPUtime=2.53 cores=0,2,4,6
/proc/23996/task/24007/stat : 24007 (java) S 23993 23996 21822 0 -1 1077944384 7953 0 0 0 252 1 0 0 20 0 15 0 250749795 14429130752 46738 33554432000 4194304 4196468 140736150202272 140044749179248 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24008] ppid=23993 vsize=14090948 memory=186952 CPUtime=2.09 cores=0,2,4,6
/proc/23996/task/24008/stat : 24008 (java) S 23993 23996 21822 0 -1 1077944384 8950 0 0 0 208 1 0 0 20 0 15 0 250749795 14429130752 46738 33554432000 4194304 4196468 140736150202272 140044748126448 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24009] ppid=23993 vsize=14090948 memory=186952 CPUtime=0.88 cores=0,2,4,6
/proc/23996/task/24009/stat : 24009 (java) S 23993 23996 21822 0 -1 1077944384 10736 0 0 0 87 1 0 0 20 0 15 0 250749795 14429130752 46738 33554432000 4194304 4196468 140736150202272 140044747073648 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24010] ppid=23993 vsize=14090948 memory=186952 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24010/stat : 24010 (java) S 23993 23996 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250749795 14429130752 46738 33554432000 4194304 4196468 140736150202272 140044746021088 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24011] ppid=23993 vsize=14090948 memory=186952 CPUtime=0.04 cores=0,2,4,6
/proc/23996/task/24011/stat : 24011 (java) S 23993 23996 21822 0 -1 1077944384 206 0 0 0 2 2 0 0 20 0 15 0 250749795 14429130752 46738 33554432000 4194304 4196468 140736150202272 140044744969392 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
Current children cumulated CPU time: 168.44 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 186952 KiB

[startup+222.301 s]
/proc/loadavg: 1.51 1.55 1.66 3/216 24101
/proc/meminfo: memFree=23453952/32770624 swapFree=67105356/67108860
[pid=23996] ppid=23993 vsize=14090948 memory=191232 CPUtime=228.76 cores=0,2,4,6
/proc/23996/stat : 23996 (java) S 23993 23996 21822 0 -1 1077944320 69632 0 0 0 22847 29 0 0 20 0 15 0 250749790 14429130752 47808 33554432000 4194304 4196468 140736150202272 140736150184816 140045278535415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
/proc/23996/statm: 3522737 47808 3583 1 0 3484809 0
[pid=23996/tid=23998] ppid=23993 vsize=14090948 memory=191232 CPUtime=221.48 cores=0,2,4,6
/proc/23996/task/23998/stat : 23998 (java) R 23993 23996 21822 0 -1 4202560 28502 0 0 0 22139 9 0 0 20 0 15 0 250749790 14429130752 47808 33554432000 4194304 4196468 140736150202272 140045282773488 140044884162581 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=23999] ppid=23993 vsize=14090948 memory=191232 CPUtime=0.3 cores=0,2,4,6
/proc/23996/task/23999/stat : 23999 (java) S 23993 23996 21822 0 -1 1077944384 1266 0 0 0 27 3 0 0 20 0 15 0 250749791 14429130752 47808 33554432000 4194304 4196468 140736150202272 140044874541712 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24000] ppid=23993 vsize=14090948 memory=191232 CPUtime=0.32 cores=0,2,4,6
/proc/23996/task/24000/stat : 24000 (java) S 23993 23996 21822 0 -1 1077944384 904 0 0 0 29 3 0 0 20 0 15 0 250749791 14429130752 47808 33554432000 4194304 4196468 140736150202272 140044873488912 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24001] ppid=23993 vsize=14090948 memory=191232 CPUtime=0.32 cores=0,2,4,6
/proc/23996/task/24001/stat : 24001 (java) S 23993 23996 21822 0 -1 1077944384 1044 0 0 0 30 2 0 0 20 0 15 0 250749791 14429130752 47808 33554432000 4194304 4196468 140736150202272 140044872436112 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24002] ppid=23993 vsize=14090948 memory=191232 CPUtime=0.31 cores=0,2,4,6
/proc/23996/task/24002/stat : 24002 (java) S 23993 23996 21822 0 -1 1077944384 4444 0 0 0 28 3 0 0 20 0 15 0 250749791 14429130752 47808 33554432000 4194304 4196468 140736150202272 140044871383312 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24003] ppid=23993 vsize=14090948 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/23996/task/24003/stat : 24003 (java) S 23993 23996 21822 0 -1 1077944384 2116 0 0 0 27 2 0 0 20 0 15 0 250749792 14429130752 47808 33554432000 4194304 4196468 140736150202272 140044753390448 140045278546562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24004] ppid=23993 vsize=14090948 memory=191232 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24004/stat : 24004 (java) S 23993 23996 21822 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 250749793 14429130752 47808 33554432000 4194304 4196468 140736150202272 140044752336480 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24005] ppid=23993 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24005/stat : 24005 (java) S 23993 23996 21822 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 250749793 14429130752 47808 33554432000 4194304 4196468 140736150202272 140044751283584 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24006] ppid=23993 vsize=14090948 memory=191232 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24006/stat : 24006 (java) S 23993 23996 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250749795 14429130752 47808 33554432000 4194304 4196468 140736150202272 140044750231888 140045278554011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24007] ppid=23993 vsize=14090948 memory=3812 CPUtime=2.56 cores=0,2,4,6
/proc/23996/task/24007/stat : 24007 (java) S 23993 23996 21822 0 -1 1077944384 8620 0 0 0 255 1 0 0 20 0 15 0 250749795 14429130752 47808 33554432000 4194304 4196468 140736150202272 140044749179248 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24008] ppid=23993 vsize=14090948 memory=68032 CPUtime=2.13 cores=0,2,4,6
/proc/23996/task/24008/stat : 24008 (java) S 23993 23996 21822 0 -1 1077944384 9864 0 0 0 212 1 0 0 20 0 15 0 250749795 14429130752 47808 33554432000 4194304 4196468 140736150202272 140044748126448 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24009] ppid=23993 vsize=14090948 memory=191232 CPUtime=0.88 cores=0,2,4,6
/proc/23996/task/24009/stat : 24009 (java) S 23993 23996 21822 0 -1 1077944384 11218 0 0 0 87 1 0 0 20 0 15 0 250749795 14429130752 47808 33554432000 4194304 4196468 140736150202272 140044747073648 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24010] ppid=23993 vsize=14090948 memory=68032 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24010/stat : 24010 (java) S 23993 23996 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250749795 14429130752 47808 33554432000 4194304 4196468 140736150202272 140044746021088 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24011] ppid=23993 vsize=14090948 memory=1268 CPUtime=0.06 cores=0,2,4,6
/proc/23996/task/24011/stat : 24011 (java) S 23993 23996 21822 0 -1 1077944384 227 0 0 0 3 3 0 0 20 0 15 0 250749795 14429130752 47808 33554432000 4194304 4196468 140736150202272 140044744969392 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
Current children cumulated CPU time: 228.76 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 191232 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+245.501 s]
/proc/loadavg: 1.48 1.54 1.65 3/216 24101
/proc/meminfo: memFree=23468312/32770624 swapFree=67105356/67108860
[pid=23996] ppid=23993 vsize=14090948 memory=193468 CPUtime=252.05 cores=0,2,4,6
/proc/23996/stat : 23996 (java) S 23993 23996 21822 0 -1 1077944320 70043 0 0 0 25174 31 0 0 20 0 15 0 250749790 14429130752 48367 33554432000 4194304 4196468 140736150202272 140736150184816 140045278535415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
/proc/23996/statm: 3522737 48367 3583 1 0 3484809 0
[pid=23996/tid=23998] ppid=23993 vsize=14090948 memory=193468 CPUtime=244.59 cores=0,2,4,6
/proc/23996/task/23998/stat : 23998 (java) R 23993 23996 21822 0 -1 4202560 28780 0 0 0 24450 9 0 0 20 0 15 0 250749790 14429130752 48367 33554432000 4194304 4196468 140736150202272 140045282773472 140044884302750 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=23999] ppid=23993 vsize=14090948 memory=193468 CPUtime=0.34 cores=0,2,4,6
/proc/23996/task/23999/stat : 23999 (java) S 23993 23996 21822 0 -1 1077944384 1331 0 0 0 30 4 0 0 20 0 15 0 250749791 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044874541712 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24000] ppid=23993 vsize=14090948 memory=193468 CPUtime=0.36 cores=0,2,4,6
/proc/23996/task/24000/stat : 24000 (java) S 23993 23996 21822 0 -1 1077944384 928 0 0 0 32 4 0 0 20 0 15 0 250749791 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044873488912 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24001] ppid=23993 vsize=14090948 memory=193468 CPUtime=0.35 cores=0,2,4,6
/proc/23996/task/24001/stat : 24001 (java) S 23993 23996 21822 0 -1 1077944384 1059 0 0 0 33 2 0 0 20 0 15 0 250749791 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044872436112 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24002] ppid=23993 vsize=14090948 memory=193468 CPUtime=0.35 cores=0,2,4,6
/proc/23996/task/24002/stat : 24002 (java) S 23993 23996 21822 0 -1 1077944384 4468 0 0 0 32 3 0 0 20 0 15 0 250749791 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044871383312 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24003] ppid=23993 vsize=14090948 memory=193468 CPUtime=0.32 cores=0,2,4,6
/proc/23996/task/24003/stat : 24003 (java) S 23993 23996 21822 0 -1 1077944384 2119 0 0 0 29 3 0 0 20 0 15 0 250749792 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044753390448 140045278546562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24004] ppid=23993 vsize=14090948 memory=193468 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24004/stat : 24004 (java) S 23993 23996 21822 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 250749793 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044752336480 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24005] ppid=23993 vsize=14090948 memory=193468 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24005/stat : 24005 (java) S 23993 23996 21822 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 250749793 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044751283584 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24006] ppid=23993 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24006/stat : 24006 (java) S 23993 23996 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250749795 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044750231888 140045278554011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24007] ppid=23993 vsize=14090948 memory=193468 CPUtime=2.56 cores=0,2,4,6
/proc/23996/task/24007/stat : 24007 (java) S 23993 23996 21822 0 -1 1077944384 8620 0 0 0 255 1 0 0 20 0 15 0 250749795 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044749179248 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24008] ppid=23993 vsize=14090948 memory=3812 CPUtime=2.13 cores=0,2,4,6
/proc/23996/task/24008/stat : 24008 (java) S 23993 23996 21822 0 -1 1077944384 9864 0 0 0 212 1 0 0 20 0 15 0 250749795 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044748126448 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24009] ppid=23993 vsize=14090948 memory=193468 CPUtime=0.88 cores=0,2,4,6
/proc/23996/task/24009/stat : 24009 (java) S 23993 23996 21822 0 -1 1077944384 11218 0 0 0 87 1 0 0 20 0 15 0 250749795 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044747073648 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24010] ppid=23993 vsize=14090948 memory=193468 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24010/stat : 24010 (java) S 23993 23996 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250749795 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044746021088 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24011] ppid=23993 vsize=14090948 memory=193468 CPUtime=0.07 cores=0,2,4,6
/proc/23996/task/24011/stat : 24011 (java) S 23993 23996 21822 0 -1 1077944384 229 0 0 0 4 3 0 0 20 0 15 0 250749795 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044744969392 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 193468 KiB

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

[startup+245.516 s]
# the end of solver process 23996 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.75 s, system=0.321462 s

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

[startup+245.501 s]
/proc/loadavg: 1.48 1.54 1.65 3/216 24101
/proc/meminfo: memFree=23468312/32770624 swapFree=67105356/67108860
[pid=23996] ppid=23993 vsize=14090948 memory=193468 CPUtime=252.05 cores=0,2,4,6
/proc/23996/stat : 23996 (java) S 23993 23996 21822 0 -1 1077944320 70043 0 0 0 25174 31 0 0 20 0 15 0 250749790 14429130752 48367 33554432000 4194304 4196468 140736150202272 140736150184816 140045278535415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
/proc/23996/statm: 3522737 48367 3583 1 0 3484809 0
[pid=23996/tid=23998] ppid=23993 vsize=14090948 memory=193468 CPUtime=244.59 cores=0,2,4,6
/proc/23996/task/23998/stat : 23998 (java) R 23993 23996 21822 0 -1 4202560 28780 0 0 0 24450 9 0 0 20 0 15 0 250749790 14429130752 48367 33554432000 4194304 4196468 140736150202272 140045282773472 140044884302750 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=23999] ppid=23993 vsize=14090948 memory=193468 CPUtime=0.34 cores=0,2,4,6
/proc/23996/task/23999/stat : 23999 (java) S 23993 23996 21822 0 -1 1077944384 1331 0 0 0 30 4 0 0 20 0 15 0 250749791 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044874541712 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24000] ppid=23993 vsize=14090948 memory=193468 CPUtime=0.36 cores=0,2,4,6
/proc/23996/task/24000/stat : 24000 (java) S 23993 23996 21822 0 -1 1077944384 928 0 0 0 32 4 0 0 20 0 15 0 250749791 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044873488912 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24001] ppid=23993 vsize=14090948 memory=193468 CPUtime=0.35 cores=0,2,4,6
/proc/23996/task/24001/stat : 24001 (java) S 23993 23996 21822 0 -1 1077944384 1059 0 0 0 33 2 0 0 20 0 15 0 250749791 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044872436112 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24002] ppid=23993 vsize=14090948 memory=193468 CPUtime=0.35 cores=0,2,4,6
/proc/23996/task/24002/stat : 24002 (java) S 23993 23996 21822 0 -1 1077944384 4468 0 0 0 32 3 0 0 20 0 15 0 250749791 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044871383312 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24003] ppid=23993 vsize=14090948 memory=193468 CPUtime=0.32 cores=0,2,4,6
/proc/23996/task/24003/stat : 24003 (java) S 23993 23996 21822 0 -1 1077944384 2119 0 0 0 29 3 0 0 20 0 15 0 250749792 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044753390448 140045278546562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24004] ppid=23993 vsize=14090948 memory=193468 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24004/stat : 24004 (java) S 23993 23996 21822 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 250749793 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044752336480 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24005] ppid=23993 vsize=14090948 memory=193468 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24005/stat : 24005 (java) S 23993 23996 21822 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 250749793 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044751283584 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24006] ppid=23993 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24006/stat : 24006 (java) S 23993 23996 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250749795 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044750231888 140045278554011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24007] ppid=23993 vsize=14090948 memory=193468 CPUtime=2.56 cores=0,2,4,6
/proc/23996/task/24007/stat : 24007 (java) S 23993 23996 21822 0 -1 1077944384 8620 0 0 0 255 1 0 0 20 0 15 0 250749795 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044749179248 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24008] ppid=23993 vsize=14090948 memory=3812 CPUtime=2.13 cores=0,2,4,6
/proc/23996/task/24008/stat : 24008 (java) S 23993 23996 21822 0 -1 1077944384 9864 0 0 0 212 1 0 0 20 0 15 0 250749795 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044748126448 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24009] ppid=23993 vsize=14090948 memory=193468 CPUtime=0.88 cores=0,2,4,6
/proc/23996/task/24009/stat : 24009 (java) S 23993 23996 21822 0 -1 1077944384 11218 0 0 0 87 1 0 0 20 0 15 0 250749795 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044747073648 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24010] ppid=23993 vsize=14090948 memory=193468 CPUtime=0 cores=0,2,4,6
/proc/23996/task/24010/stat : 24010 (java) S 23993 23996 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250749795 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044746021088 140045278545621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
[pid=23996/tid=24011] ppid=23993 vsize=14090948 memory=193468 CPUtime=0.07 cores=0,2,4,6
/proc/23996/task/24011/stat : 24011 (java) S 23993 23996 21822 0 -1 1077944384 229 0 0 0 4 3 0 0 20 0 15 0 250749795 14429130752 48367 33554432000 4194304 4196468 140736150202272 140044744969392 140045278546562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140736150205519 140736150205710 140736150205710 140736150208463 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 193468 KiB

Child status: 143
Real time (s): 245.516
CPU time (s): 252.072
CPU user time (s): 251.75
CPU system time (s): 0.321462
CPU usage (%): 102.67
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 258204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.75
system time used= 0.321462
maximum resident set size= 259736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70516
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16205
involuntary context switches= 590


# summary of solver processes directly reported to runsolver:
#   pid: 23996
#   total CPU time (s): 252.072
#   total CPU user time (s): 251.75
#   total CPU system time (s): 0.321462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.56425 second user time and 2.14693 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-15 13:17:46
IDJOB=4310097
IDBENCH=141361
IDSOLVER=2795
FILE ID=node149/4310097-1534331866
RUNJOBID= node149-1534329313-21853
PBS_JOBID= 21038162
Free space on /tmp= 41680 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/TemplateDesign/TemplateDesign-m1-magazine_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310097-1534331866/watcher-4310097-1534331866 -o /tmp/evaluation-result-4310097-1534331866/solver-4310097-1534331866 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534329313-21853 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 210001146 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310097-1534331866.xml

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

MD5SUM BENCH= 22697061c475ce526fb64da13536656d
RANDOM SEED=210001146

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22781796 kB
MemAvailable:   30872116 kB
Buffers:          165676 kB
Cached:          8126728 kB
SwapCached:         1704 kB
Active:          4749676 kB
Inactive:        4619008 kB
Active(anon):    1024660 kB
Inactive(anon):   112364 kB
Active(file):    3725016 kB
Inactive(file):  4506644 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67105356 kB
Dirty:             35664 kB
Writeback:             0 kB
AnonPages:       1081756 kB
Mapped:            68512 kB
Shmem:             57760 kB
Slab:             315640 kB
SReclaimable:     287120 kB
SUnreclaim:        28520 kB
KernelStack:        3568 kB
PageTables:         8084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2106796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    958464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 41648 MiB
End job on node149 at 2018-08-15 13:21:52