Trace number 4290777

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
OscaR - Conflict Ordering 2018-07-02? (TO) 2400.04 2369.71

General information on the benchmark

NameDubois/
Dubois-030_c18.xml
MD5SUM66307dff53c13fd4d4ac6b074183ea2b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.008853
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of constraints60
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":90}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":90}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":60}]
Number of extensional constraints60
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":60}]
Optimization problemNO
Type of objective

Solver Data 

0.67/0.56	c version: 2018-07-02
0.67/0.56	c seed: 732503606
0.67/0.56	c timeout: 2400
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.59	c Parsing instance...
1.52/1.07	c Parsing done, starting search...
2400.01/2369.70	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 (7046 MiB free)
  memory of node 1: 16384 MiB (10462 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290777-1532243181/watcher-4290777-1532243181 -o /tmp/evaluation-result-4290777-1532243181/solver-4290777-1532243181 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532226506-31900 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 732503606 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290777-1532243181.xml 

running on 4 cores: 1,3,5,7

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

solver pid=1857, runsolver pid=1854

[startup+0.104141 s]*
/proc/loadavg: 1.37 1.44 1.39 5/215 1872
/proc/meminfo: memFree=17912028/32770624 swapFree=67108860/67108860
[pid=1857] ppid=1854 vsize=14082740 memory=29660 CPUtime=0.13 cores=1,3,5,7
/proc/1857/stat : 1857 (java) S 1854 1857 31868 0 -1 1077944320 6894 0 0 0 11 2 0 0 20 0 15 0 41881006 14420725760 7415 33554432000 4194304 4196468 140735982275728 140735982258272 139869331414775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
/proc/1857/statm: 3520685 7415 3146 1 0 3482761 0
[pid=1857/tid=1859] ppid=1854 vsize=14082740 memory=-8171376296011865461 CPUtime=0.1 cores=1,3,5,7
/proc/1857/task/1859/stat : 1859 (java) R 1854 1857 31868 0 -1 4202560 4907 0 0 0 9 1 0 0 20 0 15 0 41881007 14420725760 7480 33554432000 4194304 4196468 140735982275728 139869335637680 139869314601584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1860] ppid=1854 vsize=14082740 memory=7948963741541478447 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1860/stat : 1860 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881008 14420725760 7480 33554432000 4194304 4196468 140735982275728 139868927564816 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1861] ppid=1854 vsize=14082740 memory=140230727992960 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1861/stat : 1861 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881008 14420725760 7480 33554432000 4194304 4196468 140735982275728 139868926512272 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1862] ppid=1854 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1862/stat : 1862 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881008 14420725760 7480 33554432000 4194304 4196468 140735982275728 139868925459216 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1863] ppid=1854 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1863/stat : 1863 (java) S 1854 1857 31868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41881008 14420725760 7480 33554432000 4194304 4196468 140735982275728 139868924406672 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1864] ppid=1854 vsize=14082740 memory=140230727992960 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1864/stat : 1864 (java) S 1854 1857 31868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41881009 14420725760 7480 33554432000 4194304 4196468 140735982275728 139868311628016 139869331425922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1865] ppid=1854 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1865/stat : 1865 (java) S 1854 1857 31868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41881009 14420725760 7480 33554432000 4194304 4196468 140735982275728 139868310574240 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1866] ppid=1854 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1866/stat : 1866 (java) S 1854 1857 31868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41881010 14420725760 7480 33554432000 4194304 4196468 140735982275728 139868309521136 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1867] ppid=1854 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1867/stat : 1867 (java) S 1854 1857 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41881012 14420725760 7480 33554432000 4194304 4196468 140735982275728 139868308469712 139869331433371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1868] ppid=1854 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1868/stat : 1868 (java) S 1854 1857 31868 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 15 0 41881012 14420725760 7480 33554432000 4194304 4196468 140735982275728 139868307417840 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1869] ppid=1854 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1869/stat : 1869 (java) S 1854 1857 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41881012 14420725760 7480 33554432000 4194304 4196468 140735982275728 139868306365296 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1870] ppid=1854 vsize=14082740 memory=140230727992960 CPUtime=0.01 cores=1,3,5,7
/proc/1857/task/1870/stat : 1870 (java) S 1854 1857 31868 0 -1 1077944384 293 0 0 0 1 0 0 0 20 0 15 0 41881012 14420725760 7480 33554432000 4194304 4196468 140735982275728 139868305312240 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1871] ppid=1854 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1871/stat : 1871 (java) S 1854 1857 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41881012 14420725760 7480 33554432000 4194304 4196468 140735982275728 139868304259936 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1872] ppid=1854 vsize=14082740 memory=140230727992960 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1872/stat : 1872 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881012 14420725760 7480 33554432000 4194304 4196468 140735982275728 139868303206960 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 29660 KiB

[startup+0.210413 s]*
/proc/loadavg: 1.37 1.44 1.39 5/215 1872
/proc/meminfo: memFree=17896772/32770624 swapFree=67108860/67108860
[pid=1857] ppid=1854 vsize=14082740 memory=45972 CPUtime=0.29 cores=1,3,5,7
/proc/1857/stat : 1857 (java) S 1854 1857 31868 0 -1 1077944320 10593 0 0 0 27 2 0 0 20 0 15 0 41881006 14420725760 11493 33554432000 4194304 4196468 140735982275728 140735982258272 139869331414775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
/proc/1857/statm: 3520685 11493 3386 1 0 3482761 0
[pid=1857/tid=1859] ppid=1854 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/1857/task/1859/stat : 1859 (java) R 1854 1857 31868 0 -1 4202560 8207 0 0 0 19 1 0 0 20 0 15 0 41881007 14420725760 11493 33554432000 4194304 4196468 140735982275728 139869335640448 139869331436122 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1860] ppid=1854 vsize=14082740 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1860/stat : 1860 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881008 14420725760 11493 33554432000 4194304 4196468 140735982275728 139868927564816 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1861] ppid=1854 vsize=14082740 memory=140230728177952 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1861/stat : 1861 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881008 14420725760 11493 33554432000 4194304 4196468 140735982275728 139868926512272 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1862] ppid=1854 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1862/stat : 1862 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881008 14420725760 11493 33554432000 4194304 4196468 140735982275728 139868925459216 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1863] ppid=1854 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1863/stat : 1863 (java) S 1854 1857 31868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41881008 14420725760 11493 33554432000 4194304 4196468 140735982275728 139868924406672 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1864] ppid=1854 vsize=14082740 memory=140230727992960 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1864/stat : 1864 (java) S 1854 1857 31868 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41881009 14420725760 11493 33554432000 4194304 4196468 140735982275728 139868311628016 139869331425922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1865] ppid=1854 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1865/stat : 1865 (java) S 1854 1857 31868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41881009 14420725760 11493 33554432000 4194304 4196468 140735982275728 139868310574240 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1866] ppid=1854 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1866/stat : 1866 (java) S 1854 1857 31868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41881010 14420725760 11493 33554432000 4194304 4196468 140735982275728 139868309521136 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1867] ppid=1854 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1867/stat : 1867 (java) S 1854 1857 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41881012 14420725760 11493 33554432000 4194304 4196468 140735982275728 139868308469712 139869331433371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1868] ppid=1854 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1857/task/1868/stat : 1868 (java) R 1854 1857 31868 0 -1 4202560 578 0 0 0 2 0 0 0 20 0 15 0 41881012 14420725760 11493 33554432000 4194304 4196468 140735982275728 139868307404688 139869323704064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1869] ppid=1854 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/1857/task/1869/stat : 1869 (java) R 1854 1857 31868 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 15 0 41881012 14420725760 11493 33554432000 4194304 4196468 140735982275728 139868306365392 139869331424981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1870] ppid=1854 vsize=14082740 memory=140230727992960 CPUtime=0.05 cores=1,3,5,7
/proc/1857/task/1870/stat : 1870 (java) R 1854 1857 31868 0 -1 4202560 377 0 0 0 5 0 0 0 20 0 15 0 41881012 14420725760 11493 33554432000 4194304 4196468 140735982275728 139868305310200 139869331426710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1871] ppid=1854 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1871/stat : 1871 (java) S 1854 1857 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41881012 14420725760 11493 33554432000 4194304 4196468 140735982275728 139868304259936 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1872] ppid=1854 vsize=14082740 memory=140230727992960 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1872/stat : 1872 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881012 14420725760 11493 33554432000 4194304 4196468 140735982275728 139868303206960 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 45972 KiB

[startup+0.310574 s]*
/proc/loadavg: 1.37 1.44 1.39 3/215 1872
/proc/meminfo: memFree=17892492/32770624 swapFree=67108860/67108860
[pid=1857] ppid=1854 vsize=14082740 memory=49432 CPUtime=0.44 cores=1,3,5,7
/proc/1857/stat : 1857 (java) S 1854 1857 31868 0 -1 1077944320 11022 0 0 0 41 3 0 0 20 0 15 0 41881006 14420725760 12358 33554432000 4194304 4196468 140735982275728 140735982258272 139869331414775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
/proc/1857/statm: 3520685 12358 3390 1 0 3482761 0
[pid=1857/tid=1859] ppid=1854 vsize=14082740 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/1857/task/1859/stat : 1859 (java) R 1854 1857 31868 0 -1 4202560 8544 0 0 0 28 2 0 0 20 0 15 0 41881007 14420725760 12358 33554432000 4194304 4196468 140735982275728 139869335606256 139869315495262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1860] ppid=1854 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1860/stat : 1860 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881008 14420725760 12358 33554432000 4194304 4196468 140735982275728 139868927564816 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1861] ppid=1854 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1861/stat : 1861 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881008 14420725760 12358 33554432000 4194304 4196468 140735982275728 139868926512272 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1862] ppid=1854 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1862/stat : 1862 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881008 14420725760 12358 33554432000 4194304 4196468 140735982275728 139868925459216 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1863] ppid=1854 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1863/stat : 1863 (java) S 1854 1857 31868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41881008 14420725760 12358 33554432000 4194304 4196468 140735982275728 139868924406672 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1864] ppid=1854 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1864/stat : 1864 (java) S 1854 1857 31868 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41881009 14420725760 12358 33554432000 4194304 4196468 140735982275728 139868311628016 139869331425922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1865] ppid=1854 vsize=14082740 memory=140230615214543 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1865/stat : 1865 (java) S 1854 1857 31868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41881009 14420725760 12358 33554432000 4194304 4196468 140735982275728 139868310574240 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1866] ppid=1854 vsize=14082740 memory=67 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1866/stat : 1866 (java) S 1854 1857 31868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41881010 14420725760 12358 33554432000 4194304 4196468 140735982275728 139868309521136 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1867] ppid=1854 vsize=14082740 memory=51172 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1867/stat : 1867 (java) S 1854 1857 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41881012 14420725760 12358 33554432000 4194304 4196468 140735982275728 139868308469712 139869331433371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1868] ppid=1854 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1857/task/1868/stat : 1868 (java) S 1854 1857 31868 0 -1 1077944384 585 0 0 0 2 0 0 0 20 0 15 0 41881012 14420725760 12358 33554432000 4194304 4196468 140735982275728 139868307417840 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1869] ppid=1854 vsize=14082740 memory=140230615203055 CPUtime=0.02 cores=1,3,5,7
/proc/1857/task/1869/stat : 1869 (java) S 1854 1857 31868 0 -1 1077944384 96 0 0 0 2 0 0 0 20 0 15 0 41881012 14420725760 12358 33554432000 4194304 4196468 140735982275728 139868306365296 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1870] ppid=1854 vsize=14082740 memory=280461343205216 CPUtime=0.07 cores=1,3,5,7
/proc/1857/task/1870/stat : 1870 (java) S 1854 1857 31868 0 -1 1077944384 419 0 0 0 7 0 0 0 20 0 15 0 41881012 14420725760 12358 33554432000 4194304 4196468 140735982275728 139868305312240 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1871] ppid=1854 vsize=14082740 memory=140230615207695 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1871/stat : 1871 (java) S 1854 1857 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41881012 14420725760 12358 33554432000 4194304 4196468 140735982275728 139868304259936 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1872] ppid=1854 vsize=14082740 memory=140230727992971 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1872/stat : 1872 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881012 14420725760 12358 33554432000 4194304 4196468 140735982275728 139868303206960 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 49432 KiB

[startup+0.70073 s]
/proc/loadavg: 1.37 1.44 1.39 3/215 1872
/proc/meminfo: memFree=17868680/32770624 swapFree=67108860/67108860
[pid=1857] ppid=1854 vsize=14084808 memory=88292 CPUtime=0.99 cores=1,3,5,7
/proc/1857/stat : 1857 (java) S 1854 1857 31868 0 -1 1077944320 17930 0 0 0 94 5 0 0 20 0 15 0 41881006 14422843392 22073 33554432000 4194304 4196468 140735982275728 140735982258272 139869331414775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
/proc/1857/statm: 3521202 22073 3504 1 0 3483273 0
[pid=1857/tid=1859] ppid=1854 vsize=14084808 memory=148236434152103 CPUtime=0.67 cores=1,3,5,7
/proc/1857/task/1859/stat : 1859 (java) R 1854 1857 31868 0 -1 4202560 14971 0 0 0 63 4 0 0 20 0 15 0 41881007 14422843392 22073 33554432000 4194304 4196468 140735982275728 139869335632800 139869331436701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1860] ppid=1854 vsize=14084808 memory=239811 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1860/stat : 1860 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881008 14422843392 22073 33554432000 4194304 4196468 140735982275728 139868927564816 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1861] ppid=1854 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1861/stat : 1861 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881008 14422843392 22073 33554432000 4194304 4196468 140735982275728 139868926512272 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1862] ppid=1854 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1862/stat : 1862 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881008 14422843392 22073 33554432000 4194304 4196468 140735982275728 139868925459216 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1863] ppid=1854 vsize=14084808 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1863/stat : 1863 (java) S 1854 1857 31868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41881008 14422843392 22073 33554432000 4194304 4196468 140735982275728 139868924406672 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1864] ppid=1854 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1864/stat : 1864 (java) S 1854 1857 31868 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41881009 14422843392 22073 33554432000 4194304 4196468 140735982275728 139868311628016 139869331425922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1865] ppid=1854 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1865/stat : 1865 (java) S 1854 1857 31868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41881009 14422843392 22073 33554432000 4194304 4196468 140735982275728 139868310574240 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1866] ppid=1854 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1866/stat : 1866 (java) S 1854 1857 31868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41881010 14422843392 22073 33554432000 4194304 4196468 140735982275728 139868309521136 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1867] ppid=1854 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1867/stat : 1867 (java) S 1854 1857 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41881012 14422843392 22073 33554432000 4194304 4196468 140735982275728 139868308469712 139869331433371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1868] ppid=1854 vsize=14084808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1857/task/1868/stat : 1868 (java) R 1854 1857 31868 0 -1 4202560 733 0 0 0 7 0 0 0 20 0 15 0 41881012 14422843392 22073 33554432000 4194304 4196468 140735982275728 139868307417840 139869331425922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1869] ppid=1854 vsize=14084808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1857/task/1869/stat : 1869 (java) S 1854 1857 31868 0 -1 1077944384 268 0 0 0 7 0 0 0 20 0 15 0 41881012 14422843392 22073 33554432000 4194304 4196468 140735982275728 139868306365296 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1870] ppid=1854 vsize=14084808 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/1857/task/1870/stat : 1870 (java) R 1854 1857 31868 0 -1 1077944384 575 0 0 0 14 0 0 0 20 0 15 0 41881012 14422843392 22073 33554432000 4194304 4196468 140735982275728 139868305312240 139869331425922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1871] ppid=1854 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1871/stat : 1871 (java) S 1854 1857 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41881012 14422843392 22073 33554432000 4194304 4196468 140735982275728 139868304259936 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1872] ppid=1854 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1872/stat : 1872 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881012 14422843392 22073 33554432000 4194304 4196468 140735982275728 139868303206960 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88292 KiB

[startup+1.50082 s]
/proc/loadavg: 1.37 1.44 1.39 3/215 1872
/proc/meminfo: memFree=17835176/32770624 swapFree=67108860/67108860
[pid=1857] ppid=1854 vsize=14090952 memory=192132 CPUtime=2.71 cores=1,3,5,7
/proc/1857/stat : 1857 (java) S 1854 1857 31868 0 -1 1077944320 25711 0 0 0 262 9 0 0 20 0 15 0 41881006 14429134848 48033 33554432000 4194304 4196468 140735982275728 140735982258272 139869331414775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
/proc/1857/statm: 3522738 48033 3539 1 0 3484809 0
[pid=1857/tid=1859] ppid=1854 vsize=14090952 memory=280461230675904 CPUtime=1.47 cores=1,3,5,7
/proc/1857/task/1859/stat : 1859 (java) R 1854 1857 31868 0 -1 4202560 19696 0 0 0 140 7 0 0 20 0 15 0 41881007 14429134848 48033 33554432000 4194304 4196468 140735982275728 139869335652336 139868973338286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1860] ppid=1854 vsize=14090952 memory=5860705283049084265 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1860/stat : 1860 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881008 14429134848 48033 33554432000 4194304 4196468 140735982275728 139868927564816 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1861] ppid=1854 vsize=14090952 memory=5864903119641595984 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1861/stat : 1861 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881008 14429134848 48033 33554432000 4194304 4196468 140735982275728 139868926512272 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1862] ppid=1854 vsize=14090952 memory=2212 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1862/stat : 1862 (java) S 1854 1857 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41881008 14429134848 48033 33554432000 4194304 4196468 140735982275728 139868925459216 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1863] ppid=1854 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1863/stat : 1863 (java) S 1854 1857 31868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41881008 14429134848 48033 33554432000 4194304 4196468 140735982275728 139868924406672 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1864] ppid=1854 vsize=14090952 memory=33 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1864/stat : 1864 (java) S 1854 1857 31868 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 41881009 14429134848 48033 33554432000 4194304 4196468 140735982275728 139868311628016 139869331425922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0

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

/proc/1857/task/1859/stat : 1859 (java) R 1854 1857 31868 0 -1 4202560 51562 0 0 0 223888 38 0 0 20 0 15 0 41881007 14429134848 77575 33554432000 4194304 4196468 140735982275728 139869335653072 139868973453604 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1860] ppid=1854 vsize=14090952 memory=310300 CPUtime=9.86 cores=1,3,5,7
/proc/1857/task/1860/stat : 1860 (java) S 1854 1857 31868 0 -1 1077944384 4826 0 0 0 907 79 0 0 20 0 15 0 41881008 14429134848 77575 33554432000 4194304 4196468 140735982275728 139868927564816 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1861] ppid=1854 vsize=14090952 memory=310300 CPUtime=9.91 cores=1,3,5,7
/proc/1857/task/1861/stat : 1861 (java) S 1854 1857 31868 0 -1 1077944384 4844 0 0 0 917 74 0 0 20 0 15 0 41881008 14429134848 77575 33554432000 4194304 4196468 140735982275728 139868926512272 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1862] ppid=1854 vsize=14090952 memory=310300 CPUtime=9.91 cores=1,3,5,7
/proc/1857/task/1862/stat : 1862 (java) S 1854 1857 31868 0 -1 1077944384 3426 0 0 0 918 73 0 0 20 0 15 0 41881008 14429134848 77575 33554432000 4194304 4196468 140735982275728 139868925459216 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1863] ppid=1854 vsize=14090952 memory=308252 CPUtime=9.82 cores=1,3,5,7
/proc/1857/task/1863/stat : 1863 (java) S 1854 1857 31868 0 -1 1077944384 2919 0 0 0 904 78 0 0 20 0 15 0 41881008 14429134848 77575 33554432000 4194304 4196468 140735982275728 139868924406672 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1864] ppid=1854 vsize=14090952 memory=310300 CPUtime=9.77 cores=1,3,5,7
/proc/1857/task/1864/stat : 1864 (java) S 1854 1857 31868 0 -1 1077944384 5658 0 0 0 908 69 0 0 20 0 15 0 41881009 14429134848 77575 33554432000 4194304 4196468 140735982275728 139868311628016 139869331425922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1865] ppid=1854 vsize=14090952 memory=310300 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1865/stat : 1865 (java) S 1854 1857 31868 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 41881009 14429134848 77575 33554432000 4194304 4196468 140735982275728 139868310574304 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1866] ppid=1854 vsize=14090952 memory=14436 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1866/stat : 1866 (java) S 1854 1857 31868 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 41881010 14429134848 77575 33554432000 4194304 4196468 140735982275728 139868309521152 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1867] ppid=1854 vsize=14090952 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1867/stat : 1867 (java) S 1854 1857 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41881012 14429134848 77575 33554432000 4194304 4196468 140735982275728 139868308469712 139869331433371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1868] ppid=1854 vsize=14090952 memory=4140 CPUtime=0.45 cores=1,3,5,7
/proc/1857/task/1868/stat : 1868 (java) S 1854 1857 31868 0 -1 1077944384 1566 0 0 0 45 0 0 0 20 0 15 0 41881012 14429134848 77575 33554432000 4194304 4196468 140735982275728 139868307417840 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1869] ppid=1854 vsize=14090952 memory=308252 CPUtime=0.43 cores=1,3,5,7
/proc/1857/task/1869/stat : 1869 (java) S 1854 1857 31868 0 -1 1077944384 1115 0 0 0 43 0 0 0 20 0 15 0 41881012 14429134848 77575 33554432000 4194304 4196468 140735982275728 139868306365296 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1870] ppid=1854 vsize=14090952 memory=310300 CPUtime=0.4 cores=1,3,5,7
/proc/1857/task/1870/stat : 1870 (java) S 1854 1857 31868 0 -1 1077944384 2733 0 0 0 39 1 0 0 20 0 15 0 41881012 14429134848 77575 33554432000 4194304 4196468 140735982275728 139868305312240 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1871] ppid=1854 vsize=14090952 memory=24922 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1871/stat : 1871 (java) S 1854 1857 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41881012 14429134848 77575 33554432000 4194304 4196468 140735982275728 139868304259936 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1872] ppid=1854 vsize=14090952 memory=310300 CPUtime=1.16 cores=1,3,5,7
/proc/1857/task/1872/stat : 1872 (java) S 1854 1857 31868 0 -1 1077944384 1414 0 0 0 58 58 0 0 20 0 15 0 41881012 14429134848 77575 33554432000 4194304 4196468 140735982275728 139868303206960 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
Current children cumulated CPU time: 2291.08 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 310300 KiB

[startup+2322.3 s]
/proc/loadavg: 1.50 1.58 1.46 3/215 2022
/proc/meminfo: memFree=17658380/32770624 swapFree=67108860/67108860
[pid=1857] ppid=1854 vsize=14090952 memory=312348 CPUtime=2351.95 cores=1,3,5,7
/proc/1857/stat : 1857 (java) S 1854 1857 31868 0 -1 1077944320 82956 0 0 0 234825 370 0 0 20 0 15 0 41881006 14429134848 78087 33554432000 4194304 4196468 140735982275728 140735982258272 139869331414775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
/proc/1857/statm: 3522738 78087 3568 1 0 3484809 0
[pid=1857/tid=1859] ppid=1854 vsize=14090952 memory=1228 CPUtime=2298.63 cores=1,3,5,7
/proc/1857/task/1859/stat : 1859 (java) R 1854 1857 31868 0 -1 4202560 52463 0 0 0 229825 38 0 0 20 0 15 0 41881007 14429134848 78087 33554432000 4194304 4196468 140735982275728 139869335653024 139869315987200 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1860] ppid=1854 vsize=14090952 memory=312348 CPUtime=10.16 cores=1,3,5,7
/proc/1857/task/1860/stat : 1860 (java) S 1854 1857 31868 0 -1 1077944384 4920 0 0 0 935 81 0 0 20 0 15 0 41881008 14429134848 78087 33554432000 4194304 4196468 140735982275728 139868927564816 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1861] ppid=1854 vsize=14090952 memory=312348 CPUtime=10.22 cores=1,3,5,7
/proc/1857/task/1861/stat : 1861 (java) S 1854 1857 31868 0 -1 1077944384 4901 0 0 0 946 76 0 0 20 0 15 0 41881008 14429134848 78087 33554432000 4194304 4196468 140735982275728 139868926512272 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1862] ppid=1854 vsize=14090952 memory=312348 CPUtime=10.22 cores=1,3,5,7
/proc/1857/task/1862/stat : 1862 (java) S 1854 1857 31868 0 -1 1077944384 3539 0 0 0 947 75 0 0 20 0 15 0 41881008 14429134848 78087 33554432000 4194304 4196468 140735982275728 139868925459216 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1863] ppid=1854 vsize=14090952 memory=312348 CPUtime=10.12 cores=1,3,5,7
/proc/1857/task/1863/stat : 1863 (java) S 1854 1857 31868 0 -1 1077944384 3071 0 0 0 932 80 0 0 20 0 15 0 41881008 14429134848 78087 33554432000 4194304 4196468 140735982275728 139868924406672 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1864] ppid=1854 vsize=14090952 memory=312348 CPUtime=10.02 cores=1,3,5,7
/proc/1857/task/1864/stat : 1864 (java) S 1854 1857 31868 0 -1 1077944384 5796 0 0 0 931 71 0 0 20 0 15 0 41881009 14429134848 78087 33554432000 4194304 4196468 140735982275728 139868311628016 139869331425922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1865] ppid=1854 vsize=14090952 memory=312348 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1865/stat : 1865 (java) S 1854 1857 31868 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 41881009 14429134848 78087 33554432000 4194304 4196468 140735982275728 139868310574304 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1866] ppid=1854 vsize=14090952 memory=280461231155744 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1866/stat : 1866 (java) S 1854 1857 31868 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 41881010 14429134848 78087 33554432000 4194304 4196468 140735982275728 139868309521152 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1867] ppid=1854 vsize=14090952 memory=312348 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1867/stat : 1867 (java) S 1854 1857 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41881012 14429134848 78087 33554432000 4194304 4196468 140735982275728 139868308469712 139869331433371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1868] ppid=1854 vsize=14090952 memory=312348 CPUtime=0.45 cores=1,3,5,7
/proc/1857/task/1868/stat : 1868 (java) S 1854 1857 31868 0 -1 1077944384 1568 0 0 0 45 0 0 0 20 0 15 0 41881012 14429134848 78087 33554432000 4194304 4196468 140735982275728 139868307417840 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1869] ppid=1854 vsize=14090952 memory=312348 CPUtime=0.43 cores=1,3,5,7
/proc/1857/task/1869/stat : 1869 (java) S 1854 1857 31868 0 -1 1077944384 1117 0 0 0 43 0 0 0 20 0 15 0 41881012 14429134848 78087 33554432000 4194304 4196468 140735982275728 139868306365296 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1870] ppid=1854 vsize=14090952 memory=312348 CPUtime=0.4 cores=1,3,5,7
/proc/1857/task/1870/stat : 1870 (java) S 1854 1857 31868 0 -1 1077944384 2735 0 0 0 39 1 0 0 20 0 15 0 41881012 14429134848 78087 33554432000 4194304 4196468 140735982275728 139868305312240 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1871] ppid=1854 vsize=14090952 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1871/stat : 1871 (java) S 1854 1857 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41881012 14429134848 78087 33554432000 4194304 4196468 140735982275728 139868304259936 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1872] ppid=1854 vsize=14090952 memory=792 CPUtime=1.2 cores=1,3,5,7
/proc/1857/task/1872/stat : 1872 (java) S 1854 1857 31868 0 -1 1077944384 1421 0 0 0 60 60 0 0 20 0 15 0 41881012 14429134848 78087 33554432000 4194304 4196468 140735982275728 139868303206960 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
Current children cumulated CPU time: 2351.95 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 312348 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2369.7 s]
/proc/loadavg: 1.29 1.50 1.43 3/215 2023
/proc/meminfo: memFree=17654328/32770624 swapFree=67108860/67108860
[pid=1857] ppid=1854 vsize=14090952 memory=314396 CPUtime=2400.01 cores=1,3,5,7
/proc/1857/stat : 1857 (java) S 1854 1857 31868 0 -1 1077944320 84332 0 0 0 239626 375 0 0 20 0 15 0 41881006 14429134848 78599 33554432000 4194304 4196468 140735982275728 140735982258272 139869331414775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
/proc/1857/statm: 3522738 78599 3568 1 0 3484809 0
[pid=1857/tid=1859] ppid=1854 vsize=14090952 memory=314396 CPUtime=2345.54 cores=1,3,5,7
/proc/1857/task/1859/stat : 1859 (java) R 1854 1857 31868 0 -1 4202560 53264 0 0 0 234516 38 0 0 20 0 15 0 41881007 14429134848 78599 33554432000 4194304 4196468 140735982275728 139869335653120 139868973453035 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1860] ppid=1854 vsize=14090952 memory=314396 CPUtime=10.39 cores=1,3,5,7
/proc/1857/task/1860/stat : 1860 (java) S 1854 1857 31868 0 -1 1077944384 4997 0 0 0 957 82 0 0 20 0 15 0 41881008 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868927564816 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1861] ppid=1854 vsize=14090952 memory=1045 CPUtime=10.46 cores=1,3,5,7
/proc/1857/task/1861/stat : 1861 (java) S 1854 1857 31868 0 -1 1077944384 4985 0 0 0 969 77 0 0 20 0 15 0 41881008 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868926512272 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1862] ppid=1854 vsize=14090952 memory=314396 CPUtime=10.45 cores=1,3,5,7
/proc/1857/task/1862/stat : 1862 (java) S 1854 1857 31868 0 -1 1077944384 3748 0 0 0 969 76 0 0 20 0 15 0 41881008 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868925459216 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1863] ppid=1854 vsize=14090952 memory=306204 CPUtime=10.35 cores=1,3,5,7
/proc/1857/task/1863/stat : 1863 (java) S 1854 1857 31868 0 -1 1077944384 3126 0 0 0 955 80 0 0 20 0 15 0 41881008 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868924406672 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1864] ppid=1854 vsize=14090952 memory=314396 CPUtime=10.2 cores=1,3,5,7
/proc/1857/task/1864/stat : 1864 (java) S 1854 1857 31868 0 -1 1077944384 5927 0 0 0 948 72 0 0 20 0 15 0 41881009 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868311628016 139869331425922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1865] ppid=1854 vsize=14090952 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1865/stat : 1865 (java) S 1854 1857 31868 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 41881009 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868310574304 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1866] ppid=1854 vsize=14090952 memory=312348 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1866/stat : 1866 (java) S 1854 1857 31868 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 41881010 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868309521152 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1867] ppid=1854 vsize=14090952 memory=314396 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1867/stat : 1867 (java) S 1854 1857 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41881012 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868308469712 139869331433371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1868] ppid=1854 vsize=14090952 memory=314396 CPUtime=0.45 cores=1,3,5,7
/proc/1857/task/1868/stat : 1868 (java) S 1854 1857 31868 0 -1 1077944384 1570 0 0 0 45 0 0 0 20 0 15 0 41881012 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868307417840 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1869] ppid=1854 vsize=14090952 memory=314396 CPUtime=0.43 cores=1,3,5,7
/proc/1857/task/1869/stat : 1869 (java) S 1854 1857 31868 0 -1 1077944384 1120 0 0 0 43 0 0 0 20 0 15 0 41881012 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868306365296 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1870] ppid=1854 vsize=14090952 memory=1724 CPUtime=0.4 cores=1,3,5,7
/proc/1857/task/1870/stat : 1870 (java) S 1854 1857 31868 0 -1 1077944384 2737 0 0 0 39 1 0 0 20 0 15 0 41881012 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868305312240 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1871] ppid=1854 vsize=14090952 memory=314396 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1871/stat : 1871 (java) S 1854 1857 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41881012 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868304259936 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1872] ppid=1854 vsize=14090952 memory=2408 CPUtime=1.22 cores=1,3,5,7
/proc/1857/task/1872/stat : 1872 (java) S 1854 1857 31868 0 -1 1077944384 1433 0 0 0 61 61 0 0 20 0 15 0 41881012 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868303206960 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 314396 KiB

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

[startup+2369.71 s]
# the end of solver process 1857 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.28 s, system=3.76027 s

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

[startup+2369.7 s]
/proc/loadavg: 1.29 1.50 1.43 3/215 2023
/proc/meminfo: memFree=17654328/32770624 swapFree=67108860/67108860
[pid=1857] ppid=1854 vsize=14090952 memory=314396 CPUtime=2400.01 cores=1,3,5,7
/proc/1857/stat : 1857 (java) S 1854 1857 31868 0 -1 1077944320 84332 0 0 0 239626 375 0 0 20 0 15 0 41881006 14429134848 78599 33554432000 4194304 4196468 140735982275728 140735982258272 139869331414775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
/proc/1857/statm: 3522738 78599 3568 1 0 3484809 0
[pid=1857/tid=1859] ppid=1854 vsize=14090952 memory=314396 CPUtime=2345.54 cores=1,3,5,7
/proc/1857/task/1859/stat : 1859 (java) R 1854 1857 31868 0 -1 4202560 53264 0 0 0 234516 38 0 0 20 0 15 0 41881007 14429134848 78599 33554432000 4194304 4196468 140735982275728 139869335653120 139868973453035 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1860] ppid=1854 vsize=14090952 memory=314396 CPUtime=10.39 cores=1,3,5,7
/proc/1857/task/1860/stat : 1860 (java) S 1854 1857 31868 0 -1 1077944384 4997 0 0 0 957 82 0 0 20 0 15 0 41881008 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868927564816 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1861] ppid=1854 vsize=14090952 memory=1045 CPUtime=10.46 cores=1,3,5,7
/proc/1857/task/1861/stat : 1861 (java) S 1854 1857 31868 0 -1 1077944384 4985 0 0 0 969 77 0 0 20 0 15 0 41881008 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868926512272 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1862] ppid=1854 vsize=14090952 memory=314396 CPUtime=10.45 cores=1,3,5,7
/proc/1857/task/1862/stat : 1862 (java) S 1854 1857 31868 0 -1 1077944384 3748 0 0 0 969 76 0 0 20 0 15 0 41881008 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868925459216 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1863] ppid=1854 vsize=14090952 memory=306204 CPUtime=10.35 cores=1,3,5,7
/proc/1857/task/1863/stat : 1863 (java) S 1854 1857 31868 0 -1 1077944384 3126 0 0 0 955 80 0 0 20 0 15 0 41881008 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868924406672 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1864] ppid=1854 vsize=14090952 memory=314396 CPUtime=10.2 cores=1,3,5,7
/proc/1857/task/1864/stat : 1864 (java) S 1854 1857 31868 0 -1 1077944384 5927 0 0 0 948 72 0 0 20 0 15 0 41881009 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868311628016 139869331425922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1865] ppid=1854 vsize=14090952 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1865/stat : 1865 (java) S 1854 1857 31868 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 41881009 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868310574304 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1866] ppid=1854 vsize=14090952 memory=312348 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1866/stat : 1866 (java) S 1854 1857 31868 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 41881010 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868309521152 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1867] ppid=1854 vsize=14090952 memory=314396 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1867/stat : 1867 (java) S 1854 1857 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41881012 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868308469712 139869331433371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1868] ppid=1854 vsize=14090952 memory=314396 CPUtime=0.45 cores=1,3,5,7
/proc/1857/task/1868/stat : 1868 (java) S 1854 1857 31868 0 -1 1077944384 1570 0 0 0 45 0 0 0 20 0 15 0 41881012 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868307417840 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1869] ppid=1854 vsize=14090952 memory=314396 CPUtime=0.43 cores=1,3,5,7
/proc/1857/task/1869/stat : 1869 (java) S 1854 1857 31868 0 -1 1077944384 1120 0 0 0 43 0 0 0 20 0 15 0 41881012 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868306365296 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1870] ppid=1854 vsize=14090952 memory=1724 CPUtime=0.4 cores=1,3,5,7
/proc/1857/task/1870/stat : 1870 (java) S 1854 1857 31868 0 -1 1077944384 2737 0 0 0 39 1 0 0 20 0 15 0 41881012 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868305312240 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1871] ppid=1854 vsize=14090952 memory=314396 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1871/stat : 1871 (java) S 1854 1857 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41881012 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868304259936 139869331424981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
[pid=1857/tid=1872] ppid=1854 vsize=14090952 memory=2408 CPUtime=1.22 cores=1,3,5,7
/proc/1857/task/1872/stat : 1872 (java) S 1854 1857 31868 0 -1 1077944384 1433 0 0 0 61 61 0 0 20 0 15 0 41881012 14429134848 78599 33554432000 4194304 4196468 140735982275728 139868303206960 139869331425922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28631040 140735982281809 140735982281993 140735982281993 140735982284751 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 314396 KiB

Child status: 143
Real time (s): 2369.71
CPU time (s): 2400.04
CPU user time (s): 2396.28
CPU system time (s): 3.76027
CPU usage (%): 101.28
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 314396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.28
system time used= 3.76027
maximum resident set size= 314880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84516
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 332039
involuntary context switches= 6807


# summary of solver processes directly reported to runsolver:
#   pid: 1857
#   total CPU time (s): 2400.04
#   total CPU user time (s): 2396.28
#   total CPU system time (s): 3.76027

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9936 second user time and 21.7706 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-22 09:06:21
IDJOB=4290777
IDBENCH=141405
IDSOLVER=2744
FILE ID=node106/4290777-1532243181
RUNJOBID= node106-1532226506-31900
PBS_JOBID= 21018948
Free space on /tmp= 52996 MiB

SOLVER NAME= OscaR - Conflict Ordering 2018-07-02
BENCH NAME= XCSP18/Dubois/Dubois-030_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4290777-1532243181/watcher-4290777-1532243181 -o /tmp/evaluation-result-4290777-1532243181/solver-4290777-1532243181 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532226506-31900 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 732503606 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290777-1532243181.xml

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

MD5SUM BENCH= 66307dff53c13fd4d4ac6b074183ea2b
RANDOM SEED=732503606

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        17928756 kB
MemAvailable:   31697888 kB
Buffers:          236540 kB
Cached:         13622516 kB
SwapCached:            0 kB
Active:          1561484 kB
Inactive:       12594056 kB
Active(anon):     299136 kB
Inactive(anon):    17096 kB
Active(file):    1262348 kB
Inactive(file): 12576960 kB
Unevictable:        6920 kB
Mlocked:            6920 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35768 kB
Writeback:             0 kB
AnonPages:        303856 kB
Mapped:            48816 kB
Shmem:             17036 kB
Slab:             385564 kB
SReclaimable:     358284 kB
SUnreclaim:        27280 kB
KernelStack:        3792 kB
PageTables:         5884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1224132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 52960 MiB
End job on node106 at 2018-07-22 09:45:51