Trace number 4293102

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
Concrete 3.8-SuperNG 2018-06-13? (TO) 2528.15 802.773

General information on the benchmark

NamePseudoBoolean-opt/
Pb-garden-100x100_c18.xml
MD5SUMe5dfb30e0194585ed3b6739089de139d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2675
Best CPU time to get the best result obtained on this benchmark2519.94
Satisfiable
(Un)Satisfiability was proved
Number of variables10000
Number of constraints10000
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":10000}]
Minimum variable degree4
Maximum variable degree6
Distribution of variable degrees[{"degree":4,"count":4},{"degree":5,"count":392},{"degree":6,"count":9604}]
Minimum constraint arity3
Maximum constraint arity5
Distribution of constraint arities[{"arity":3,"count":4},{"arity":4,"count":392},{"arity":5,"count":9604}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":10000}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.99/0.74	c Concrete v3.8.1528841891564 running

Verifier Data 

One s line expected

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 (14246 MiB free)
  memory of node 1: 16384 MiB (13203 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293102-1532307804/watcher-4293102-1532307804 -o /tmp/evaluation-result-4293102-1532307804/solver-4293102-1532307804 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3499 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2096213559 -superng HOME/instance-4293102-1532307804.xml 

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

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


[startup+0.100144 s]*
/proc/loadavg: 1.34 1.38 1.43 3/208 5058
/proc/meminfo: memFree=28099768/32770624 swapFree=67108860/67108860
[pid=5001] ppid=4998 vsize=9972712 memory=17204 CPUtime=0.08 cores=0,2,4,6
/proc/5001/stat : 5001 (java) S 4998 5001 3468 0 -1 1077944320 4475 12882 0 0 1 0 5 2 20 0 6 0 48343641 10212057088 4301 33554432000 4194304 4196468 140731049936096 140731049918640 140038279896823 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
/proc/5001/statm: 2493178 4301 1934 1 0 2481616 0
[pid=5001/tid=5054] ppid=4998 vsize=9988792 memory=4718545630382498451 CPUtime=0.08 cores=0,2,4,6
/proc/5001/task/5054/stat : 5054 (java) R 4998 5001 3468 0 -1 4202560 2360 12882 0 0 1 0 5 2 20 0 6 0 48343649 10228523008 4433 33554432000 4194304 4196468 140731049936096 140038251733584 140038258018553 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5055] ppid=4998 vsize=9988792 memory=5793855217368226233 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5055/stat : 5055 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 6 0 48343650 10228523008 4433 33554432000 4194304 4196468 140731049936096 140038284139536 140038279907029 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5056] ppid=4998 vsize=9988792 memory=139966358333056 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5056/stat : 5056 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 6 0 48343650 10228523008 4433 33554432000 4194304 4196468 140731049936096 140038216051856 140038279907029 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5057] ppid=4998 vsize=9988792 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5057/stat : 5057 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 6 0 48343650 10228523008 4433 33554432000 4194304 4196468 140731049936096 140037851581200 140038279907029 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5058] ppid=4998 vsize=9988792 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5058/stat : 5058 (java) S 4998 5001 3468 0 -1 1077944384 2 12882 0 0 0 0 5 2 20 0 6 0 48343650 10228523008 4433 33554432000 4194304 4196468 140731049936096 140037850528656 140038279907029 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17204 KiB

[startup+0.210038 s]*
/proc/loadavg: 1.34 1.38 1.43 3/217 5067
/proc/meminfo: memFree=28077244/32770624 swapFree=67108860/67108860
[pid=5001] ppid=4998 vsize=10818904 memory=48372 CPUtime=0.25 cores=0,2,4,6
/proc/5001/stat : 5001 (java) S 4998 5001 3468 0 -1 1077944320 9451 12882 0 0 16 2 5 2 20 0 15 0 48343641 11078557696 12093 33554432000 4194304 4196468 140731049936096 140731049918640 140038279896823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
/proc/5001/statm: 2704726 12093 2974 1 0 2667149 0
[pid=5001/tid=5054] ppid=4998 vsize=10818904 memory=-2899909650764262549 CPUtime=0.18 cores=0,2,4,6
/proc/5001/task/5054/stat : 5054 (java) R 4998 5001 3468 0 -1 4202560 6013 12882 0 0 10 1 5 2 20 0 15 0 48343649 11078557696 12093 33554432000 4194304 4196468 140731049936096 140038251721632 140038263977310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5055] ppid=4998 vsize=10818904 memory=4211973692563123594 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5055/stat : 5055 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 15 0 48343650 11078557696 12093 33554432000 4194304 4196468 140731049936096 140038284139536 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5056] ppid=4998 vsize=10818904 memory=139966358333056 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5056/stat : 5056 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 15 0 48343650 11078557696 12093 33554432000 4194304 4196468 140731049936096 140038216051856 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5057] ppid=4998 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5057/stat : 5057 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 15 0 48343650 11078557696 12093 33554432000 4194304 4196468 140731049936096 140037851581200 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5058] ppid=4998 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5058/stat : 5058 (java) S 4998 5001 3468 0 -1 1077944384 2 12882 0 0 0 0 5 2 20 0 15 0 48343650 11078557696 12093 33554432000 4194304 4196468 140731049936096 140037850528656 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5059] ppid=4998 vsize=10818904 memory=139966358333056 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5059/stat : 5059 (java) S 4998 5001 3468 0 -1 1077944384 2 12882 0 0 0 0 5 2 20 0 15 0 48343652 11078557696 12093 33554432000 4194304 4196468 140731049936096 140037738961136 140038279907970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5060] ppid=4998 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5060/stat : 5060 (java) S 4998 5001 3468 0 -1 1077944384 33 12882 0 0 0 0 5 2 20 0 15 0 48343652 11078557696 12093 33554432000 4194304 4196468 140731049936096 140037737907360 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5061] ppid=4998 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5061/stat : 5061 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 15 0 48343652 11078557696 12093 33554432000 4194304 4196468 140731049936096 140037610005232 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5062] ppid=4998 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5062/stat : 5062 (java) S 4998 5001 3468 0 -1 1077944384 2 12882 0 0 0 0 5 2 20 0 15 0 48343655 11078557696 12093 33554432000 4194304 4196468 140731049936096 140037006026704 140038279915419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5063] ppid=4998 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5001/task/5063/stat : 5063 (java) S 4998 5001 3468 0 -1 1077944384 534 12882 0 0 1 0 5 2 20 0 15 0 48343655 11078557696 12093 33554432000 4194304 4196468 140731049936096 140037704350448 140038279907970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5064] ppid=4998 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5064/stat : 5064 (java) S 4998 5001 3468 0 -1 1077944384 59 12882 0 0 0 0 5 2 20 0 15 0 48343655 11078557696 12093 33554432000 4194304 4196468 140731049936096 140037703297904 140038279907970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5065] ppid=4998 vsize=10818904 memory=139966358333056 CPUtime=0.1 cores=0,2,4,6
/proc/5001/task/5065/stat : 5065 (java) R 4998 5001 3468 0 -1 4202560 617 12882 0 0 3 0 5 2 20 0 15 0 48343655 11078557696 12093 33554432000 4194304 4196468 140731049936096 140037702244848 140038258701890 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5066] ppid=4998 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5066/stat : 5066 (java) S 4998 5001 3468 0 -1 1077944384 3 12882 0 0 0 0 5 2 20 0 15 0 48343655 11078557696 12093 33554432000 4194304 4196468 140731049936096 140036536265568 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5067] ppid=4998 vsize=10818904 memory=139966358333056 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5067/stat : 5067 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 15 0 48343655 11078557696 12093 33554432000 4194304 4196468 140731049936096 140037701192240 140038279907970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 48372 KiB

[startup+0.310742 s]*
/proc/loadavg: 1.31 1.37 1.42 3/217 5067
/proc/meminfo: memFree=28064072/32770624 swapFree=67108860/67108860
[pid=5001] ppid=4998 vsize=10819352 memory=56260 CPUtime=0.39 cores=0,2,4,6
/proc/5001/stat : 5001 (java) S 4998 5001 3468 0 -1 1077944320 10690 12882 0 0 29 3 5 2 20 0 15 0 48343641 11079016448 14065 33554432000 4194304 4196468 140731049936096 140731049918640 140038279896823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
/proc/5001/statm: 2704838 14065 3093 1 0 2667149 0
[pid=5001/tid=5054] ppid=4998 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/5001/task/5054/stat : 5054 (java) R 4998 5001 3468 0 -1 4202560 7204 12882 0 0 20 2 5 2 20 0 15 0 48343649 11079016448 14065 33554432000 4194304 4196468 140731049936096 140038251691568 140038261460379 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5055] ppid=4998 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5055/stat : 5055 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 15 0 48343650 11079016448 14065 33554432000 4194304 4196468 140731049936096 140038284139536 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5056] ppid=4998 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5056/stat : 5056 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 15 0 48343650 11079016448 14065 33554432000 4194304 4196468 140731049936096 140038216051856 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5057] ppid=4998 vsize=10819352 memory=4294967295 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5057/stat : 5057 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 15 0 48343650 11079016448 14065 33554432000 4194304 4196468 140731049936096 140037851581200 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5058] ppid=4998 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5058/stat : 5058 (java) S 4998 5001 3468 0 -1 1077944384 2 12882 0 0 0 0 5 2 20 0 15 0 48343650 11079016448 14065 33554432000 4194304 4196468 140731049936096 140037850528656 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5059] ppid=4998 vsize=10819352 memory=139966358333055 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5059/stat : 5059 (java) S 4998 5001 3468 0 -1 1077944384 2 12882 0 0 0 0 5 2 20 0 15 0 48343652 11079016448 14065 33554432000 4194304 4196468 140731049936096 140037738961136 140038279907970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5060] ppid=4998 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5060/stat : 5060 (java) S 4998 5001 3468 0 -1 1077944384 33 12882 0 0 0 0 5 2 20 0 15 0 48343652 11079016448 14065 33554432000 4194304 4196468 140731049936096 140037737907360 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5061] ppid=4998 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5061/stat : 5061 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 15 0 48343652 11079016448 14065 33554432000 4194304 4196468 140731049936096 140037610005232 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5062] ppid=4998 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5062/stat : 5062 (java) S 4998 5001 3468 0 -1 1077944384 2 12882 0 0 0 0 5 2 20 0 15 0 48343655 11079016448 14065 33554432000 4194304 4196468 140731049936096 140037006026704 140038279915419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5063] ppid=4998 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5001/task/5063/stat : 5063 (java) S 4998 5001 3468 0 -1 1077944384 542 12882 0 0 2 0 5 2 20 0 15 0 48343655 11079016448 14065 33554432000 4194304 4196468 140731049936096 140037704350448 140038279907970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5064] ppid=4998 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5001/task/5064/stat : 5064 (java) S 4998 5001 3468 0 -1 1077944384 62 12882 0 0 1 0 5 2 20 0 15 0 48343655 11079016448 14065 33554432000 4194304 4196468 140731049936096 140037703297904 140038279907970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5065] ppid=4998 vsize=10819352 memory=139966358333056 CPUtime=0.12 cores=0,2,4,6
/proc/5001/task/5065/stat : 5065 (java) S 4998 5001 3468 0 -1 1077944384 649 12882 0 0 5 0 5 2 20 0 15 0 48343655 11079016448 14065 33554432000 4194304 4196468 140731049936096 140037702244848 140038279907970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5066] ppid=4998 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5066/stat : 5066 (java) S 4998 5001 3468 0 -1 1077944384 3 12882 0 0 0 0 5 2 20 0 15 0 48343655 11079016448 14065 33554432000 4194304 4196468 140731049936096 140036536265568 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5067] ppid=4998 vsize=10819352 memory=139966358333056 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5067/stat : 5067 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 15 0 48343655 11079016448 14065 33554432000 4194304 4196468 140731049936096 140037701192240 140038279907970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 56260 KiB

[startup+0.700768 s]
/proc/loadavg: 1.31 1.37 1.42 3/217 5067
/proc/meminfo: memFree=28054892/32770624 swapFree=67108860/67108860
[pid=5001] ppid=4998 vsize=10819352 memory=89960 CPUtime=0.99 cores=0,2,4,6
/proc/5001/stat : 5001 (java) S 4998 5001 3468 0 -1 1077944320 17067 12882 0 0 87 5 5 2 20 0 15 0 48343641 11079016448 22490 33554432000 4194304 4196468 140731049936096 140731049918640 140038279896823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
/proc/5001/statm: 2704838 22490 3238 1 0 2667149 0
[pid=5001/tid=5054] ppid=4998 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/5001/task/5054/stat : 5054 (java) R 4998 5001 3468 0 -1 4202560 12320 12882 0 0 56 3 5 2 20 0 15 0 48343649 11079016448 22490 33554432000 4194304 4196468 140731049936096 140038251717648 140038260172040 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5055] ppid=4998 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5055/stat : 5055 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 15 0 48343650 11079016448 22490 33554432000 4194304 4196468 140731049936096 140038284139536 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5056] ppid=4998 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5056/stat : 5056 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 15 0 48343650 11079016448 22490 33554432000 4194304 4196468 140731049936096 140038216051856 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5057] ppid=4998 vsize=10819352 memory=3472468261625602099 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5057/stat : 5057 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 15 0 48343650 11079016448 22490 33554432000 4194304 4196468 140731049936096 140037851581200 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5058] ppid=4998 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5058/stat : 5058 (java) S 4998 5001 3468 0 -1 1077944384 2 12882 0 0 0 0 5 2 20 0 15 0 48343650 11079016448 22490 33554432000 4194304 4196468 140731049936096 140037850528656 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5059] ppid=4998 vsize=10819352 memory=279932412654848 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5059/stat : 5059 (java) S 4998 5001 3468 0 -1 1077944384 5 12882 0 0 0 0 5 2 20 0 15 0 48343652 11079016448 22490 33554432000 4194304 4196468 140731049936096 140037738961136 140038279907970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5060] ppid=4998 vsize=10819352 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5060/stat : 5060 (java) S 4998 5001 3468 0 -1 1077944384 33 12882 0 0 0 0 5 2 20 0 15 0 48343652 11079016448 22490 33554432000 4194304 4196468 140731049936096 140037737907360 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5061] ppid=4998 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5061/stat : 5061 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 15 0 48343652 11079016448 22490 33554432000 4194304 4196468 140731049936096 140037610005232 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5062] ppid=4998 vsize=10819352 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5062/stat : 5062 (java) S 4998 5001 3468 0 -1 1077944384 2 12882 0 0 0 0 5 2 20 0 15 0 48343655 11079016448 22490 33554432000 4194304 4196468 140731049936096 140037006026704 140038279915419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5063] ppid=4998 vsize=10819352 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/5001/task/5063/stat : 5063 (java) S 4998 5001 3468 0 -1 1077944384 970 12882 0 0 7 0 5 2 20 0 15 0 48343655 11079016448 22490 33554432000 4194304 4196468 140731049936096 140037704350448 140038279907970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5064] ppid=4998 vsize=10819352 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/5001/task/5064/stat : 5064 (java) S 4998 5001 3468 0 -1 1077944384 676 12882 0 0 8 0 5 2 20 0 15 0 48343655 11079016448 22490 33554432000 4194304 4196468 140731049936096 140037703297904 140038279907970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5065] ppid=4998 vsize=10819352 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/5001/task/5065/stat : 5065 (java) S 4998 5001 3468 0 -1 1077944384 865 12882 0 0 13 0 5 2 20 0 15 0 48343655 11079016448 22490 33554432000 4194304 4196468 140731049936096 140037702244848 140038279907970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5066] ppid=4998 vsize=10819352 memory=30305 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5066/stat : 5066 (java) S 4998 5001 3468 0 -1 1077944384 3 12882 0 0 0 0 5 2 20 0 15 0 48343655 11079016448 22490 33554432000 4194304 4196468 140731049936096 140036536265568 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5067] ppid=4998 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5067/stat : 5067 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 15 0 48343655 11079016448 22490 33554432000 4194304 4196468 140731049936096 140037701192240 140038279907970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 89960 KiB

[startup+1.50069 s]
/proc/loadavg: 1.31 1.37 1.42 4/217 5067
/proc/meminfo: memFree=28008932/32770624 swapFree=67108860/67108860
[pid=5001] ppid=4998 vsize=10828108 memory=235924 CPUtime=3.03 cores=0,2,4,6
/proc/5001/stat : 5001 (java) S 4998 5001 3468 0 -1 1077944320 23217 12882 0 0 287 9 5 2 20 0 15 0 48343641 11087982592 58981 33554432000 4194304 4196468 140731049936096 140731049918640 140038279896823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
/proc/5001/statm: 2707027 58981 3469 1 0 2668685 0
[pid=5001/tid=5054] ppid=4998 vsize=10828108 memory=3467830228619376192 CPUtime=1.44 cores=0,2,4,6
/proc/5001/task/5054/stat : 5054 (java) R 4998 5001 3468 0 -1 4202560 15081 12882 0 0 130 7 5 2 20 0 15 0 48343649 11087982592 58981 33554432000 4194304 4196468 140731049936096 140038251731792 140037886705919 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5055] ppid=4998 vsize=10828108 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5055/stat : 5055 (java) S 4998 5001 3468 0 -1 1077944384 224 12882 0 0 0 0 5 2 20 0 15 0 48343650 11087982592 58981 33554432000 4194304 4196468 140731049936096 140038284139536 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5056] ppid=4998 vsize=10828108 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/5001/task/5056/stat : 5056 (java) S 4998 5001 3468 0 -1 1077944384 75 12882 0 0 1 0 5 2 20 0 15 0 48343650 11087982592 58981 33554432000 4194304 4196468 140731049936096 140038216051856 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5057] ppid=4998 vsize=10828108 memory=6660 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5057/stat : 5057 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 15 0 48343650 11087982592 58981 33554432000 4194304 4196468 140731049936096 140037851581200 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5058] ppid=4998 vsize=10828108 memory=-7745171288847261353 CPUtime=0.08 cores=0,2,4,6
/proc/5001/task/5058/stat : 5058 (java) S 4998 5001 3468 0 -1 1077944384 55 12882 0 0 1 0 5 2 20 0 15 0 48343650 11087982592 58981 33554432000 4194304 4196468 140731049936096 140037850528656 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5059] ppid=4998 vsize=10828108 memory=2867664589567282 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5059/stat : 5059 (java) S 4998 5001 3468 0 -1 1077944384 95 12882 0 0 0 0 5 2 20 0 15 0 48343652 11087982592 58981 33554432000 4194304 4196468 140731049936096 140037738961136 140038279907970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5060] ppid=4998 vsize=10828108 memory=55 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5060/stat : 5060 (java) S 4998 5001 3468 0 -1 1077944384 33 12882 0 0 0 0 5 2 20 0 15 0 48343652 11087982592 58981 33554432000 4194304 4196468 140731049936096 140037737907360 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5061] ppid=4998 vsize=10828108 memory=9168 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5061/stat : 5061 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 15 0 48343652 11087982592 58981 33554432000 4194304 4196468 140731049936096 140037610005232 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5062] ppid=4998 vsize=10828108 memory=25281 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5062/stat : 5062 (java) S 4998 5001 3468 0 -1 1077944384 2 12882 0 0 0 0 5 2 20 0 15 0 48343655 11087982592 58981 33554432000 4194304 4196468 140731049936096 140037006026704 140038279915419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5063] ppid=4998 vsize=10828108 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/5001/task/5063/stat : 5063 (java) R 4998 5001 3468 0 -1 4202560 1879 12882 0 0 54 0 5 2 20 0 15 0 48343655 11087982592 58981 33554432000 4194304 4196468 140731049936096 140037704330512 140038263393392 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5064] ppid=4998 vsize=10828108 memory=-9174445032661854264 CPUtime=0.63 cores=0,2,4,6
/proc/5001/task/5064/stat : 5064 (java) R 4998 5001 3468 0 -1 4202560 1966 12882 0 0 56 0 5 2 20 0 15 0 48343655 11087982592 58981 33554432000 4194304 4196468 140731049936096 140037703289184 140038258063304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5065] ppid=4998 vsize=10828108 memory=6944656575208382560 CPUtime=0.48 cores=0,2,4,6
/proc/5001/task/5065/stat : 5065 (java) S 4998 5001 3468 0 -1 1077944384 1616 12882 0 0 41 0 5 2 20 0 15 0 48343655 11087982592 58981 33554432000 4194304 4196468 140731049936096 140037702244848 140038279907970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5066] ppid=4998 vsize=10828108 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5066/stat : 5066 (java) S 4998 5001 3468 0 -1 1077944384 3 12882 0 0 0 0 5 2 20 0 15 0 48343655 11087982592 58981 33554432000 4194304 4196468 140731049936096 140036536265568 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5067] ppid=4998 vsize=10828108 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5067/stat : 5067 (java) S 4998 5001 3468 0 -1 1077944384 1 12882 0 0 0 0 5 2 20 0 15 0 48343655 11087982592 58981 33554432000 4194304 4196468 140731049936096 140037701192240 140038279907970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10828108 KiB

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


[startup+802.773 s]
# the end of solver process 5001 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.63 s, system=14.5204 s

Solver just ended.
Dumping a history of the last processes samples

[startup+801.601 s]
/proc/loadavg: 4.57 4.03 2.89 6/216 5215
/proc/meminfo: memFree=19115852/32770624 swapFree=67108860/67108860
[pid=5001] ppid=4998 vsize=10910048 memory=8579492 CPUtime=2523.64 cores=0,2,4,6
/proc/5001/stat : 5001 (java) S 4998 5001 3468 0 -1 1077944320 1270355 12882 0 0 250914 1443 5 2 20 0 15 0 48343641 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140731049918640 140038279896823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
/proc/5001/statm: 2727512 2144873 3527 1 0 2689165 0
[pid=5001/tid=5054] ppid=4998 vsize=10910048 memory=16060 CPUtime=195.74 cores=0,2,4,6
/proc/5001/task/5054/stat : 5054 (java) S 4998 5001 3468 0 -1 1077944384 262245 12882 0 0 19538 29 5 2 20 0 15 0 48343649 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140038251730960 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5055] ppid=4998 vsize=10910048 memory=1296 CPUtime=576.44 cores=0,2,4,6
/proc/5001/task/5055/stat : 5055 (java) R 4998 5001 3468 0 -1 4202560 207708 12882 0 0 57296 341 5 2 20 0 15 0 48343650 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140038284139736 140038264893227 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5056] ppid=4998 vsize=10910048 memory=2344 CPUtime=573.43 cores=0,2,4,6
/proc/5001/task/5056/stat : 5056 (java) R 4998 5001 3468 0 -1 4202560 100407 12882 0 0 56979 357 5 2 20 0 15 0 48343650 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140038216051744 140038264893230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5057] ppid=4998 vsize=10910048 memory=8112282956445269571 CPUtime=575.21 cores=0,2,4,6
/proc/5001/task/5057/stat : 5057 (java) R 4998 5001 3468 0 -1 4202560 116849 12882 0 0 57169 345 5 2 20 0 15 0 48343650 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037851581400 140038264893233 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5058] ppid=4998 vsize=10910048 memory=1792 CPUtime=579.07 cores=0,2,4,6
/proc/5001/task/5058/stat : 5058 (java) R 4998 5001 3468 0 -1 4202560 248196 12882 0 0 57561 339 5 2 20 0 15 0 48343650 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037850528856 140038264893230 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5059] ppid=4998 vsize=10910048 memory=956 CPUtime=14.03 cores=0,2,4,6
/proc/5001/task/5059/stat : 5059 (java) S 4998 5001 3468 0 -1 1077944384 291383 12882 0 0 1380 16 5 2 20 0 15 0 48343652 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037738959680 140038279907029 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5060] ppid=4998 vsize=10910048 memory=2340 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5060/stat : 5060 (java) S 4998 5001 3468 0 -1 1077944384 52 12882 0 0 0 0 5 2 20 0 15 0 48343652 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037737907424 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5061] ppid=4998 vsize=10910048 memory=932 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5061/stat : 5061 (java) S 4998 5001 3468 0 -1 1077944384 2 12882 0 0 0 0 5 2 20 0 15 0 48343652 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037610005248 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5062] ppid=4998 vsize=10910048 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5062/stat : 5062 (java) S 4998 5001 3468 0 -1 1077944384 12 12882 0 0 0 0 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037006026352 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5063] ppid=4998 vsize=10910048 memory=4616 CPUtime=4.11 cores=0,2,4,6
/proc/5001/task/5063/stat : 5063 (java) S 4998 5001 3468 0 -1 1077944384 12522 12882 0 0 402 2 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037704350496 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5064] ppid=4998 vsize=10910048 memory=8579488 CPUtime=3.93 cores=0,2,4,6
/proc/5001/task/5064/stat : 5064 (java) S 4998 5001 3468 0 -1 1077944384 9261 12882 0 0 385 1 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037703297952 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5065] ppid=4998 vsize=10910048 memory=1228 CPUtime=1.8 cores=0,2,4,6
/proc/5001/task/5065/stat : 5065 (java) S 4998 5001 3468 0 -1 1077944384 18140 12882 0 0 170 3 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037702244608 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5066] ppid=4998 vsize=10910048 memory=15872 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5066/stat : 5066 (java) S 4998 5001 3468 0 -1 1077944384 3 12882 0 0 0 0 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140036536265568 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5067] ppid=4998 vsize=10910048 memory=8112282956445269571 CPUtime=0.4 cores=0,2,4,6
/proc/5001/task/5067/stat : 5067 (java) S 4998 5001 3468 0 -1 1077944384 1387 12882 0 0 21 12 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037701192240 140038279907970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
Current children cumulated CPU time: 2523.64 s
Current children cumulated vsize: 10910048 KiB
Current children cumulated memory: 8579492 KiB

[startup+802.401 s]
/proc/loadavg: 4.57 4.03 2.89 6/216 5215
/proc/meminfo: memFree=19115976/32770624 swapFree=67108860/67108860
[pid=5001] ppid=4998 vsize=10910048 memory=8579492 CPUtime=2526.83 cores=0,2,4,6
/proc/5001/stat : 5001 (java) S 4998 5001 3468 0 -1 1077944320 1270460 12882 0 0 251233 1443 5 2 20 0 15 0 48343641 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140731049918640 140038279896823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
/proc/5001/statm: 2727512 2144873 3527 1 0 2689165 0
[pid=5001/tid=5054] ppid=4998 vsize=10910048 memory=8579488 CPUtime=195.74 cores=0,2,4,6
/proc/5001/task/5054/stat : 5054 (java) S 4998 5001 3468 0 -1 1077944384 262245 12882 0 0 19538 29 5 2 20 0 15 0 48343649 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140038251730960 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5055] ppid=4998 vsize=10910048 memory=8579488 CPUtime=577.24 cores=0,2,4,6
/proc/5001/task/5055/stat : 5055 (java) R 4998 5001 3468 0 -1 4202560 207726 12882 0 0 57376 341 5 2 20 0 15 0 48343650 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140038284139736 140038264597300 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5056] ppid=4998 vsize=10910048 memory=1450176 CPUtime=574.23 cores=0,2,4,6
/proc/5001/task/5056/stat : 5056 (java) R 4998 5001 3468 0 -1 4202560 100410 12882 0 0 57059 357 5 2 20 0 15 0 48343650 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140038216051744 140038261506578 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5057] ppid=4998 vsize=10910048 memory=8112282956445269571 CPUtime=576.01 cores=0,2,4,6
/proc/5001/task/5057/stat : 5057 (java) R 4998 5001 3468 0 -1 4202560 116930 12882 0 0 57249 345 5 2 20 0 15 0 48343650 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037851581400 140038264893316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5058] ppid=4998 vsize=10910048 memory=6791534058613427641 CPUtime=579.86 cores=0,2,4,6
/proc/5001/task/5058/stat : 5058 (java) R 4998 5001 3468 0 -1 4202560 248199 12882 0 0 57640 339 5 2 20 0 15 0 48343650 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037850528856 140038264893434 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5059] ppid=4998 vsize=10910048 memory=3848 CPUtime=14.03 cores=0,2,4,6
/proc/5001/task/5059/stat : 5059 (java) S 4998 5001 3468 0 -1 1077944384 291383 12882 0 0 1380 16 5 2 20 0 15 0 48343652 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037738959680 140038279907029 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5060] ppid=4998 vsize=10910048 memory=2600 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5060/stat : 5060 (java) S 4998 5001 3468 0 -1 1077944384 52 12882 0 0 0 0 5 2 20 0 15 0 48343652 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037737907424 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5061] ppid=4998 vsize=10910048 memory=2624 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5061/stat : 5061 (java) S 4998 5001 3468 0 -1 1077944384 2 12882 0 0 0 0 5 2 20 0 15 0 48343652 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037610005248 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5062] ppid=4998 vsize=10910048 memory=8579492 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5062/stat : 5062 (java) S 4998 5001 3468 0 -1 1077944384 12 12882 0 0 0 0 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037006026352 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5063] ppid=4998 vsize=10910048 memory=916 CPUtime=4.11 cores=0,2,4,6
/proc/5001/task/5063/stat : 5063 (java) S 4998 5001 3468 0 -1 1077944384 12522 12882 0 0 402 2 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037704350496 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5064] ppid=4998 vsize=10910048 memory=3848 CPUtime=3.93 cores=0,2,4,6
/proc/5001/task/5064/stat : 5064 (java) S 4998 5001 3468 0 -1 1077944384 9261 12882 0 0 385 1 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037703297952 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5065] ppid=4998 vsize=10910048 memory=8579488 CPUtime=1.8 cores=0,2,4,6
/proc/5001/task/5065/stat : 5065 (java) S 4998 5001 3468 0 -1 1077944384 18140 12882 0 0 170 3 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037702244608 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5066] ppid=4998 vsize=10910048 memory=2624 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5066/stat : 5066 (java) S 4998 5001 3468 0 -1 1077944384 3 12882 0 0 0 0 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140036536265568 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5067] ppid=4998 vsize=10910048 memory=8579492 CPUtime=0.4 cores=0,2,4,6
/proc/5001/task/5067/stat : 5067 (java) S 4998 5001 3468 0 -1 1077944384 1387 12882 0 0 21 12 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037701192240 140038279907970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
Current children cumulated CPU time: 2526.83 s
Current children cumulated vsize: 10910048 KiB
Current children cumulated memory: 8579492 KiB

[startup+802.601 s]
/proc/loadavg: 4.57 4.03 2.89 6/216 5215
/proc/meminfo: memFree=19115976/32770624 swapFree=67108860/67108860
[pid=5001] ppid=4998 vsize=10910048 memory=8579492 CPUtime=2527.63 cores=0,2,4,6
/proc/5001/stat : 5001 (java) S 4998 5001 3468 0 -1 1077944320 1270506 12882 0 0 251313 1443 5 2 20 0 15 0 48343641 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140731049918640 140038279896823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
/proc/5001/statm: 2727512 2144873 3527 1 0 2689165 0
[pid=5001/tid=5054] ppid=4998 vsize=10910048 memory=732 CPUtime=195.74 cores=0,2,4,6
/proc/5001/task/5054/stat : 5054 (java) S 4998 5001 3468 0 -1 1077944384 262245 12882 0 0 19538 29 5 2 20 0 15 0 48343649 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140038251730960 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5055] ppid=4998 vsize=10910048 memory=1408 CPUtime=577.44 cores=0,2,4,6
/proc/5001/task/5055/stat : 5055 (java) R 4998 5001 3468 0 -1 4202560 207726 12882 0 0 57396 341 5 2 20 0 15 0 48343650 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140038284139736 140038264597504 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5056] ppid=4998 vsize=10910048 memory=3240 CPUtime=574.43 cores=0,2,4,6
/proc/5001/task/5056/stat : 5056 (java) R 4998 5001 3468 0 -1 4202560 100446 12882 0 0 57079 357 5 2 20 0 15 0 48343650 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140038216051744 140038264893204 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5057] ppid=4998 vsize=10910048 memory=8579488 CPUtime=576.21 cores=0,2,4,6
/proc/5001/task/5057/stat : 5057 (java) R 4998 5001 3468 0 -1 4202560 116939 12882 0 0 57269 345 5 2 20 0 15 0 48343650 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037851581400 140038261506432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5058] ppid=4998 vsize=10910048 memory=139966358332081 CPUtime=580.05 cores=0,2,4,6
/proc/5001/task/5058/stat : 5058 (java) R 4998 5001 3468 0 -1 4202560 248200 12882 0 0 57659 339 5 2 20 0 15 0 48343650 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037850528856 140038261506606 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5059] ppid=4998 vsize=10910048 memory=6944656592455360604 CPUtime=14.03 cores=0,2,4,6
/proc/5001/task/5059/stat : 5059 (java) S 4998 5001 3468 0 -1 1077944384 291383 12882 0 0 1380 16 5 2 20 0 15 0 48343652 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037738959680 140038279907029 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5060] ppid=4998 vsize=10910048 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5060/stat : 5060 (java) S 4998 5001 3468 0 -1 1077944384 52 12882 0 0 0 0 5 2 20 0 15 0 48343652 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037737907424 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5061] ppid=4998 vsize=10910048 memory=6655300316396806240 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5061/stat : 5061 (java) S 4998 5001 3468 0 -1 1077944384 2 12882 0 0 0 0 5 2 20 0 15 0 48343652 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037610005248 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5062] ppid=4998 vsize=10910048 memory=32 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5062/stat : 5062 (java) S 4998 5001 3468 0 -1 1077944384 12 12882 0 0 0 0 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037006026352 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5063] ppid=4998 vsize=10910048 memory=7446535301883836240 CPUtime=4.11 cores=0,2,4,6
/proc/5001/task/5063/stat : 5063 (java) S 4998 5001 3468 0 -1 1077944384 12522 12882 0 0 402 2 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037704350496 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5064] ppid=4998 vsize=10910048 memory=796 CPUtime=3.93 cores=0,2,4,6
/proc/5001/task/5064/stat : 5064 (java) S 4998 5001 3468 0 -1 1077944384 9261 12882 0 0 385 1 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037703297952 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5065] ppid=4998 vsize=10910048 memory=1712 CPUtime=1.8 cores=0,2,4,6
/proc/5001/task/5065/stat : 5065 (java) S 4998 5001 3468 0 -1 1077944384 18140 12882 0 0 170 3 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037702244608 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5066] ppid=4998 vsize=10910048 memory=1956 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5066/stat : 5066 (java) S 4998 5001 3468 0 -1 1077944384 3 12882 0 0 0 0 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140036536265568 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5067] ppid=4998 vsize=10910048 memory=1196 CPUtime=0.4 cores=0,2,4,6
/proc/5001/task/5067/stat : 5067 (java) S 4998 5001 3468 0 -1 1077944384 1387 12882 0 0 21 12 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037701192240 140038279907970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
Current children cumulated CPU time: 2527.63 s
Current children cumulated vsize: 10910048 KiB
Current children cumulated memory: 8579492 KiB

[startup+802.701 s]
/proc/loadavg: 4.57 4.03 2.89 6/216 5215
/proc/meminfo: memFree=19115976/32770624 swapFree=67108860/67108860
[pid=5001] ppid=4998 vsize=10910048 memory=8579492 CPUtime=2528.03 cores=0,2,4,6
/proc/5001/stat : 5001 (java) S 4998 5001 3468 0 -1 1077944320 1270533 12882 0 0 251353 1443 5 2 20 0 15 0 48343641 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140731049918640 140038279896823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
/proc/5001/statm: 2727512 2144873 3527 1 0 2689165 0
[pid=5001/tid=5054] ppid=4998 vsize=10910048 memory=8579488 CPUtime=195.74 cores=0,2,4,6
/proc/5001/task/5054/stat : 5054 (java) S 4998 5001 3468 0 -1 1077944384 262245 12882 0 0 19538 29 5 2 20 0 15 0 48343649 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140038251730960 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5055] ppid=4998 vsize=10910048 memory=8579420 CPUtime=577.54 cores=0,2,4,6
/proc/5001/task/5055/stat : 5055 (java) R 4998 5001 3468 0 -1 4202560 207727 12882 0 0 57406 341 5 2 20 0 15 0 48343650 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140038284139736 140038261506611 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5056] ppid=4998 vsize=10910048 memory=8579400 CPUtime=574.53 cores=0,2,4,6
/proc/5001/task/5056/stat : 5056 (java) R 4998 5001 3468 0 -1 4202560 100467 12882 0 0 57089 357 5 2 20 0 15 0 48343650 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140038216051744 140038264893485 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5057] ppid=4998 vsize=10910048 memory=8579488 CPUtime=576.31 cores=0,2,4,6
/proc/5001/task/5057/stat : 5057 (java) R 4998 5001 3468 0 -1 4202560 116939 12882 0 0 57279 345 5 2 20 0 15 0 48343650 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037851581400 140038264893459 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5058] ppid=4998 vsize=10910048 memory=8579488 CPUtime=580.15 cores=0,2,4,6
/proc/5001/task/5058/stat : 5058 (java) R 4998 5001 3468 0 -1 4202560 248205 12882 0 0 57669 339 5 2 20 0 15 0 48343650 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037850528856 140038264893247 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5059] ppid=4998 vsize=10910048 memory=8579492 CPUtime=14.03 cores=0,2,4,6
/proc/5001/task/5059/stat : 5059 (java) S 4998 5001 3468 0 -1 1077944384 291383 12882 0 0 1380 16 5 2 20 0 15 0 48343652 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037738959680 140038279907029 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5060] ppid=4998 vsize=10910048 memory=279932412673664 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5060/stat : 5060 (java) S 4998 5001 3468 0 -1 1077944384 52 12882 0 0 0 0 5 2 20 0 15 0 48343652 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037737907424 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5061] ppid=4998 vsize=10910048 memory=8579400 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5061/stat : 5061 (java) S 4998 5001 3468 0 -1 1077944384 2 12882 0 0 0 0 5 2 20 0 15 0 48343652 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037610005248 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5062] ppid=4998 vsize=10910048 memory=1724 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5062/stat : 5062 (java) S 4998 5001 3468 0 -1 1077944384 12 12882 0 0 0 0 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037006026352 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5063] ppid=4998 vsize=10910048 memory=1004 CPUtime=4.11 cores=0,2,4,6
/proc/5001/task/5063/stat : 5063 (java) S 4998 5001 3468 0 -1 1077944384 12522 12882 0 0 402 2 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037704350496 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5064] ppid=4998 vsize=10910048 memory=1240 CPUtime=3.93 cores=0,2,4,6
/proc/5001/task/5064/stat : 5064 (java) S 4998 5001 3468 0 -1 1077944384 9261 12882 0 0 385 1 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037703297952 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5065] ppid=4998 vsize=10910048 memory=640 CPUtime=1.8 cores=0,2,4,6
/proc/5001/task/5065/stat : 5065 (java) S 4998 5001 3468 0 -1 1077944384 18140 12882 0 0 170 3 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037702244608 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5066] ppid=4998 vsize=10910048 memory=8579488 CPUtime=0.07 cores=0,2,4,6
/proc/5001/task/5066/stat : 5066 (java) S 4998 5001 3468 0 -1 1077944384 3 12882 0 0 0 0 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140036536265568 140038279907029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
[pid=5001/tid=5067] ppid=4998 vsize=10910048 memory=8579488 CPUtime=0.4 cores=0,2,4,6
/proc/5001/task/5067/stat : 5067 (java) S 4998 5001 3468 0 -1 1077944384 1387 12882 0 0 21 12 5 2 20 0 15 0 48343655 11171889152 2144873 33554432000 4194304 4196468 140731049936096 140037701192240 140038279907970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7888896 140731049937067 140731049940316 140731049940316 140731049942991 0
Current children cumulated CPU time: 2528.03 s
Current children cumulated vsize: 10910048 KiB
Current children cumulated memory: 8579492 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 802.773
CPU time (s): 2528.15
CPU user time (s): 2513.63
CPU system time (s): 14.5204
CPU usage (%): 314.927
Max. virtual memory (cumulated for all children) (KiB): 10975584
Max. memory (cumulated for all children) (KiB): 8579492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.63
system time used= 14.5204
maximum resident set size= 8579740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1283427
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73948
involuntary context switches= 43768


# summary of solver processes directly reported to runsolver:
#   pid: 5001
#   total CPU time (s): 2528.15
#   total CPU user time (s): 2513.63
#   total CPU system time (s): 14.5204

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.18236 second user time and 7.5499 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-23 03:03:24
IDJOB=4293102
IDBENCH=141120
IDSOLVER=2751
FILE ID=node149/4293102-1532307804
RUNJOBID= node149-1532298084-3499
PBS_JOBID= 21018995
Free space on /tmp= 51816 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/PseudoBoolean-opt/Pb-garden-100x100_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293102-1532307804/watcher-4293102-1532307804 -o /tmp/evaluation-result-4293102-1532307804/solver-4293102-1532307804 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3499 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2096213559 -superng HOME/instance-4293102-1532307804.xml

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

MD5SUM BENCH= e5dfb30e0194585ed3b6739089de139d
RANDOM SEED=2096213559

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:        28109264 kB
MemAvailable:   30943104 kB
Buffers:          139616 kB
Cached:          2953632 kB
SwapCached:            0 kB
Active:          2668240 kB
Inactive:        1508440 kB
Active(anon):    1033108 kB
Inactive(anon):    70184 kB
Active(file):    1635132 kB
Inactive(file):  1438256 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26828 kB
Writeback:             0 kB
AnonPages:       1092908 kB
Mapped:            49356 kB
Shmem:             17064 kB
Slab:             180452 kB
SReclaimable:     152576 kB
SUnreclaim:        27876 kB
KernelStack:        3680 kB
PageTables:         7656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1913412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    993280 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= 51788 MiB
End job on node149 at 2018-07-23 03:16:47