Trace number 4280930

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
choco-solver 4.0.5 par (2017-08-18)? (TO) 20094.699 2520.1399

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-sptate/
Pb-Tate-K108.xml
MD5SUM2a47884be513939e719b7a1148b6038b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables7344
Number of constraints7562
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":7344}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":185},{"degree":5,"count":1300},{"degree":6,"count":2879},{"degree":7,"count":1808},{"degree":8,"count":745},{"degree":9,"count":214},{"degree":10,"count":212}]
Minimum constraint arity1
Maximum constraint arity108
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":1391},{"arity":3,"count":2889},{"arity":4,"count":1926},{"arity":5,"count":642},{"arity":6,"count":214},{"arity":7,"count":214},{"arity":68,"count":216},{"arity":108,"count":68}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":7562}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280930-1503158143.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280930-1503158143.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
6.75/2.10	c solve instance...
20093.90/2520.09	s UNKNOWN
20093.90/2520.09	c Unexpected resolution interruption!

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280930-1503158143/watcher-4280930-1503158143 -o /tmp/evaluation-result-4280930-1503158143/solver-4280930-1503158143 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503157283-24749 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 421086247 HOME/instance-4280930-1503158143.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=24766, runsolver pid=24763

[startup+0.100144 s]*
/proc/loadavg: 7.87 8.03 8.14 2/200 24787
/proc/meminfo: memFree=27041308/32770624 swapFree=67108860/67108860
[pid=24766] ppid=24763 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24766/stat : 24766 (xcsp3-exec) S 24763 24766 24722 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148902243 9740288 345 33554432000 4194304 5098028 140731943111568 140731943109672 140382235791996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40534016 140731943117925 140731943118135 140731943118135 140731943120875 0
/proc/24766/statm: 2378 345 289 221 0 87 0
[pid=24768] ppid=24766 vsize=25999808 memory=26348 CPUtime=0.11 cores=0-7
/proc/24768/stat : 24768 (java) S 24766 24766 24722 0 -1 1077944320 5528 0 0 0 10 1 0 0 20 0 20 0 148902243 26623803392 6587 33554432000 4194304 4196468 140724585172448 140724585154992 140356443901687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
/proc/24768/statm: 6499952 6587 2846 1 0 6488269 0
[pid=24768/tid=24769] ppid=24766 vsize=25999808 memory=8185463230373470621 CPUtime=0.09 cores=0-7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24766 24722 0 -1 4202560 3528 0 0 0 8 1 0 0 20 0 20 0 148902244 26623803392 6587 33554432000 4194304 4196468 140724585172448 140356448134960 140356443913622 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24770] ppid=24766 vsize=25999808 memory=732370463156108261 CPUtime=0 cores=0-7
/proc/24768/task/24770/stat : 24770 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26623803392 6587 33554432000 4194304 4196468 140724585172448 140356396522640 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24771] ppid=24766 vsize=25999808 memory=140324818654848 CPUtime=0 cores=0-7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24766 24722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148902245 26623803392 6587 33554432000 4194304 4196468 140724585172448 140356395469840 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24772] ppid=24766 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24766 24722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148902245 26623803392 6587 33554432000 4194304 4196468 140724585172448 140356394417040 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24773] ppid=24766 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24773/stat : 24773 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26623803392 6587 33554432000 4194304 4196468 140724585172448 140356393364240 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24774] ppid=24766 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24774/stat : 24774 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26623803392 6587 33554432000 4194304 4196468 140724585172448 140356392311440 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24775] ppid=24766 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24768/task/24775/stat : 24775 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26623803392 6587 33554432000 4194304 4196468 140724585172448 140356391258640 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24776] ppid=24766 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24776/stat : 24776 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26623803392 6587 33554432000 4194304 4196468 140724585172448 140356390205840 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24777] ppid=24766 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26623803392 6587 33554432000 4194304 4196468 140724585172448 140356389153040 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24778] ppid=24766 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24778/stat : 24778 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902246 26623803392 6587 33554432000 4194304 4196468 140724585172448 140355118832496 140356443912834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24779] ppid=24766 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24779/stat : 24779 (java) S 24766 24766 24722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148902246 26623803392 6587 33554432000 4194304 4196468 140724585172448 140355117778464 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24780] ppid=24766 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24780/stat : 24780 (java) S 24766 24766 24722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148902247 26623803392 6587 33554432000 4194304 4196468 140724585172448 140355116725616 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24781] ppid=24766 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24781/stat : 24781 (java) S 24766 24766 24722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148902249 26623803392 6587 33554432000 4194304 4196468 140724585172448 140355115673936 140356443920283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24782] ppid=24766 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24782/stat : 24782 (java) S 24766 24766 24722 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 148902249 26623803392 6587 33554432000 4194304 4196468 140724585172448 140355114621296 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24783] ppid=24766 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24783/stat : 24783 (java) S 24766 24766 24722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148902249 26623803392 6587 33554432000 4194304 4196468 140724585172448 140355113568496 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24784] ppid=24766 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24784/stat : 24784 (java) S 24766 24766 24722 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 148902249 26623803392 6587 33554432000 4194304 4196468 140724585172448 140355112515696 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24785] ppid=24766 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/24768/task/24785/stat : 24785 (java) S 24766 24766 24722 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 148902249 26623803392 6587 33554432000 4194304 4196468 140724585172448 140355111462896 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24786] ppid=24766 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24786/stat : 24786 (java) S 24766 24766 24722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148902249 26623803392 6587 33554432000 4194304 4196468 140724585172448 140355110411360 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24787] ppid=24766 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24768/task/24787/stat : 24787 (java) S 24766 24766 24722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148902250 26623803392 6587 33554432000 4194304 4196468 140724585172448 140355109358640 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27728 KiB

[startup+0.209737 s]*
/proc/loadavg: 7.87 8.03 8.14 3/200 24787
/proc/meminfo: memFree=27030704/32770624 swapFree=67108860/67108860
[pid=24766] ppid=24763 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24766/stat : 24766 (xcsp3-exec) S 24763 24766 24722 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148902243 9740288 345 33554432000 4194304 5098028 140731943111568 140731943109672 140382235791996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40534016 140731943117925 140731943118135 140731943118135 140731943120875 0
/proc/24766/statm: 2378 345 289 221 0 87 0
[pid=24768] ppid=24766 vsize=26004064 memory=38900 CPUtime=0.32 cores=0-7
/proc/24768/stat : 24768 (java) S 24766 24766 24722 0 -1 1077944320 8343 0 0 0 30 2 0 0 20 0 20 0 148902243 26628161536 9725 33554432000 4194304 4196468 140724585172448 140724585154992 140356443901687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
/proc/24768/statm: 6501016 9725 3074 1 0 6488269 0
[pid=24768/tid=24769] ppid=24766 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24766 24722 0 -1 4202560 5405 0 0 0 18 1 0 0 20 0 20 0 148902244 26628161536 9725 33554432000 4194304 4196468 140724585172448 140356448122512 140356427982174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24770] ppid=24766 vsize=26004064 memory=732370463156108261 CPUtime=0 cores=0-7
/proc/24768/task/24770/stat : 24770 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26628161536 9725 33554432000 4194304 4196468 140724585172448 140356396522640 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24771] ppid=24766 vsize=26004064 memory=140324818654848 CPUtime=0 cores=0-7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24766 24722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148902245 26628161536 9725 33554432000 4194304 4196468 140724585172448 140356395469840 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24772] ppid=24766 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24766 24722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148902245 26628161536 9725 33554432000 4194304 4196468 140724585172448 140356394417040 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24773] ppid=24766 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24773/stat : 24773 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26628161536 9725 33554432000 4194304 4196468 140724585172448 140356393364240 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24774] ppid=24766 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24774/stat : 24774 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26628161536 9725 33554432000 4194304 4196468 140724585172448 140356392311440 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24775] ppid=24766 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24768/task/24775/stat : 24775 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26628161536 9725 33554432000 4194304 4196468 140724585172448 140356391258640 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24776] ppid=24766 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24776/stat : 24776 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26628161536 9725 33554432000 4194304 4196468 140724585172448 140356390205840 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24777] ppid=24766 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26628161536 9725 33554432000 4194304 4196468 140724585172448 140356389153040 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24778] ppid=24766 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24778/stat : 24778 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902246 26628161536 9725 33554432000 4194304 4196468 140724585172448 140355118832496 140356443912834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24779] ppid=24766 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24779/stat : 24779 (java) S 24766 24766 24722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148902246 26628161536 9725 33554432000 4194304 4196468 140724585172448 140355117778464 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24780] ppid=24766 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24780/stat : 24780 (java) S 24766 24766 24722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148902247 26628161536 9725 33554432000 4194304 4196468 140724585172448 140355116725616 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24781] ppid=24766 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24781/stat : 24781 (java) S 24766 24766 24722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148902249 26628161536 9725 33554432000 4194304 4196468 140724585172448 140355115673936 140356443920283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24782] ppid=24766 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24782/stat : 24782 (java) S 24766 24766 24722 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 148902249 26628161536 9725 33554432000 4194304 4196468 140724585172448 140355114621296 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24783] ppid=24766 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/24768/task/24783/stat : 24783 (java) S 24766 24766 24722 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 20 0 148902249 26628161536 9725 33554432000 4194304 4196468 140724585172448 140355113568496 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24784] ppid=24766 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/24768/task/24784/stat : 24784 (java) S 24766 24766 24722 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 20 0 148902249 26628161536 9725 33554432000 4194304 4196468 140724585172448 140355112515696 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24785] ppid=24766 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/24768/task/24785/stat : 24785 (java) R 24766 24766 24722 0 -1 4202560 765 0 0 0 7 0 0 0 20 0 20 0 148902249 26628161536 9725 33554432000 4194304 4196468 140724585172448 140355111462896 140356443923034 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24786] ppid=24766 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24786/stat : 24786 (java) S 24766 24766 24722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148902249 26628161536 9725 33554432000 4194304 4196468 140724585172448 140355110411360 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24787] ppid=24766 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24768/task/24787/stat : 24787 (java) S 24766 24766 24722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148902250 26628161536 9725 33554432000 4194304 4196468 140724585172448 140355109358640 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40280 KiB

[startup+0.309382 s]*
/proc/loadavg: 7.87 8.03 8.14 3/200 24787
/proc/meminfo: memFree=27026844/32770624 swapFree=67108860/67108860
[pid=24766] ppid=24763 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24766/stat : 24766 (xcsp3-exec) S 24763 24766 24722 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148902243 9740288 345 33554432000 4194304 5098028 140731943111568 140731943109672 140382235791996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40534016 140731943117925 140731943118135 140731943118135 140731943120875 0
/proc/24766/statm: 2378 345 289 221 0 87 0
[pid=24768] ppid=24766 vsize=26004064 memory=46640 CPUtime=0.5 cores=0-7
/proc/24768/stat : 24768 (java) S 24766 24766 24722 0 -1 1077944320 9424 0 0 0 47 3 0 0 20 0 20 0 148902243 26628161536 11660 33554432000 4194304 4196468 140724585172448 140724585154992 140356443901687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
/proc/24768/statm: 6501016 11660 3117 1 0 6488269 0
[pid=24768/tid=24769] ppid=24766 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24766 24722 0 -1 4202560 6080 0 0 0 27 1 0 0 20 0 20 0 148902244 26628161536 11660 33554432000 4194304 4196468 140724585172448 140356448132816 140356058481168 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24770] ppid=24766 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24770/stat : 24770 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26628161536 11660 33554432000 4194304 4196468 140724585172448 140356396522640 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24771] ppid=24766 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24766 24722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148902245 26628161536 11660 33554432000 4194304 4196468 140724585172448 140356395469840 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24772] ppid=24766 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24766 24722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148902245 26628161536 11660 33554432000 4194304 4196468 140724585172448 140356394417040 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24773] ppid=24766 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24773/stat : 24773 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26628161536 11660 33554432000 4194304 4196468 140724585172448 140356393364240 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24774] ppid=24766 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/24768/task/24774/stat : 24774 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26628161536 11660 33554432000 4194304 4196468 140724585172448 140356392311440 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24775] ppid=24766 vsize=26004064 memory=140324701828015 CPUtime=0 cores=0-7
/proc/24768/task/24775/stat : 24775 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26628161536 11660 33554432000 4194304 4196468 140724585172448 140356391258640 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24776] ppid=24766 vsize=26004064 memory=140324701830320 CPUtime=0 cores=0-7
/proc/24768/task/24776/stat : 24776 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26628161536 11660 33554432000 4194304 4196468 140724585172448 140356390205840 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24777] ppid=24766 vsize=26004064 memory=140324701832624 CPUtime=0 cores=0-7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26628161536 11660 33554432000 4194304 4196468 140724585172448 140356389153040 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24778] ppid=24766 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24778/stat : 24778 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902246 26628161536 11660 33554432000 4194304 4196468 140724585172448 140355118832496 140356443912834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24779] ppid=24766 vsize=26004064 memory=280649403672208 CPUtime=0 cores=0-7
/proc/24768/task/24779/stat : 24779 (java) S 24766 24766 24722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148902246 26628161536 11660 33554432000 4194304 4196468 140724585172448 140355117778464 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24780] ppid=24766 vsize=26004064 memory=280649403679120 CPUtime=0 cores=0-7
/proc/24768/task/24780/stat : 24780 (java) S 24766 24766 24722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148902247 26628161536 11660 33554432000 4194304 4196468 140724585172448 140355116725616 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24781] ppid=24766 vsize=26004064 memory=280649403620400 CPUtime=0 cores=0-7
/proc/24768/task/24781/stat : 24781 (java) S 24766 24766 24722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148902249 26628161536 11660 33554432000 4194304 4196468 140724585172448 140355115673936 140356443920283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24782] ppid=24766 vsize=26004064 memory=280649403692944 CPUtime=0 cores=0-7
/proc/24768/task/24782/stat : 24782 (java) S 24766 24766 24722 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 20 0 148902249 26628161536 11660 33554432000 4194304 4196468 140724585172448 140355114621296 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24783] ppid=24766 vsize=26004064 memory=280649403699856 CPUtime=0.03 cores=0-7
/proc/24768/task/24783/stat : 24783 (java) R 24766 24766 24722 0 -1 4202560 501 0 0 0 3 0 0 0 20 0 20 0 148902249 26628161536 11660 33554432000 4194304 4196468 140724585172448 140355113549512 140356424601984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24784] ppid=24766 vsize=26004064 memory=280649403697552 CPUtime=0.03 cores=0-7
/proc/24768/task/24784/stat : 24784 (java) S 24766 24766 24722 0 -1 1077944384 292 0 0 0 3 0 0 0 20 0 20 0 148902249 26628161536 11660 33554432000 4194304 4196468 140724585172448 140355112515696 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24785] ppid=24766 vsize=26004064 memory=280649403713712 CPUtime=0.12 cores=0-7
/proc/24768/task/24785/stat : 24785 (java) R 24766 24766 24722 0 -1 4202560 920 0 0 0 12 0 0 0 20 0 20 0 148902249 26628161536 11660 33554432000 4194304 4196468 140724585172448 140355111457240 140356422816736 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24786] ppid=24766 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24786/stat : 24786 (java) S 24766 24766 24722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148902249 26628161536 11660 33554432000 4194304 4196468 140724585172448 140355110411360 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24787] ppid=24766 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24768/task/24787/stat : 24787 (java) S 24766 24766 24722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148902250 26628161536 11660 33554432000 4194304 4196468 140724585172448 140355109358640 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 48020 KiB

[startup+0.701053 s]
/proc/loadavg: 7.40 7.93 8.11 6/200 24787
/proc/meminfo: memFree=26994708/32770624 swapFree=67108860/67108860
[pid=24766] ppid=24763 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24766/stat : 24766 (xcsp3-exec) S 24763 24766 24722 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148902243 9740288 345 33554432000 4194304 5098028 140731943111568 140731943109672 140382235791996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40534016 140731943117925 140731943118135 140731943118135 140731943120875 0
/proc/24766/statm: 2378 345 289 221 0 87 0
[pid=24768] ppid=24766 vsize=26004140 memory=142976 CPUtime=2.16 cores=0-7
/proc/24768/stat : 24768 (java) S 24766 24766 24722 0 -1 1077944320 13449 0 0 0 211 5 0 0 20 0 20 0 148902243 26628239360 35744 33554432000 4194304 4196468 140724585172448 140724585154992 140356443901687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
/proc/24768/statm: 6501035 35744 3206 1 0 6488269 0
[pid=24768/tid=24769] ppid=24766 vsize=26004140 memory=280649404008640 CPUtime=0.67 cores=0-7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24766 24722 0 -1 4202560 6483 0 0 0 65 2 0 0 20 0 20 0 148902244 26628239360 35744 33554432000 4194304 4196468 140724585172448 140356448137472 140356062376564 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24770] ppid=24766 vsize=26004140 memory=5089536246941 CPUtime=0 cores=0-7
/proc/24768/task/24770/stat : 24770 (java) S 24766 24766 24722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148902245 26628239360 35744 33554432000 4194304 4196468 140724585172448 140356396522640 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24771] ppid=24766 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24766 24722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148902245 26628239360 35744 33554432000 4194304 4196468 140724585172448 140356395469840 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24772] ppid=24766 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24766 24722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148902245 26628239360 35744 33554432000 4194304 4196468 140724585172448 140356394417040 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0

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

[pid=24768/tid=24795] ppid=24766 vsize=26538700 memory=1380 CPUtime=2438.44 cores=0-7
/proc/24768/task/24795/stat : 24795 (java) R 24766 24766 24722 0 -1 4202560 31966 0 0 0 243683 161 0 0 20 0 28 0 148902457 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140354892300528 140356065542415 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
Current children cumulated CPU time: 19473.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5528480 KiB

[startup+2502.3 s]
/proc/loadavg: 8.35 8.21 8.23 9/209 24853
/proc/meminfo: memFree=21535936/32770624 swapFree=67108860/67108860
[pid=24766] ppid=24763 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24766/stat : 24766 (xcsp3-exec) S 24763 24766 24722 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148902243 9740288 345 33554432000 4194304 5098028 140731943111568 140731943109672 140382235791996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40534016 140731943117925 140731943118135 140731943118135 140731943120875 0
/proc/24766/statm: 2378 345 289 221 0 87 0
[pid=24768] ppid=24766 vsize=26538700 memory=5527100 CPUtime=19952.6 cores=0-7
/proc/24768/stat : 24768 (java) S 24766 24766 24722 0 -1 1077944320 190276 0 0 0 1994598 663 0 0 20 0 28 0 148902243 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140724585154992 140356443901687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
/proc/24768/statm: 6634675 1381775 3286 1 0 6621909 0
[pid=24768/tid=24769] ppid=24766 vsize=26538700 memory=5527100 CPUtime=1.97 cores=0-7
/proc/24768/task/24769/stat : 24769 (java) S 24766 24766 24722 0 -1 1077944384 6948 0 0 0 192 5 0 0 20 0 28 0 148902244 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140356448142464 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24770] ppid=24766 vsize=26538700 memory=5527100 CPUtime=0.43 cores=0-7
/proc/24768/task/24770/stat : 24770 (java) S 24766 24766 24722 0 -1 1077944384 3010 0 0 0 26 17 0 0 20 0 28 0 148902245 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140356396522640 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24771] ppid=24766 vsize=26538700 memory=5527100 CPUtime=0.43 cores=0-7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24766 24722 0 -1 1077944384 2039 0 0 0 28 15 0 0 20 0 28 0 148902245 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140356395469840 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24772] ppid=24766 vsize=26538700 memory=33 CPUtime=0.41 cores=0-7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24766 24722 0 -1 1077944384 1723 0 0 0 25 16 0 0 20 0 28 0 148902245 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140356394417040 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24773] ppid=24766 vsize=26538700 memory=280649406668864 CPUtime=0.43 cores=0-7
/proc/24768/task/24773/stat : 24773 (java) S 24766 24766 24722 0 -1 1077944384 1482 0 0 0 26 17 0 0 20 0 28 0 148902245 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140356393364240 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24774] ppid=24766 vsize=26538700 memory=280649404894072 CPUtime=0.41 cores=0-7
/proc/24768/task/24774/stat : 24774 (java) S 24766 24766 24722 0 -1 1077944384 1166 0 0 0 25 16 0 0 20 0 28 0 148902245 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140356392311440 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24775] ppid=24766 vsize=26538700 memory=5527100 CPUtime=0.43 cores=0-7
/proc/24768/task/24775/stat : 24775 (java) S 24766 24766 24722 0 -1 1077944384 1460 0 0 0 27 16 0 0 20 0 28 0 148902245 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140356391258640 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24776] ppid=24766 vsize=26538700 memory=1380 CPUtime=0.42 cores=0-7
/proc/24768/task/24776/stat : 24776 (java) S 24766 24766 24722 0 -1 1077944384 2896 0 0 0 27 15 0 0 20 0 28 0 148902245 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140356390205840 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24777] ppid=24766 vsize=26538700 memory=5527100 CPUtime=0.43 cores=0-7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24766 24722 0 -1 1077944384 810 0 0 0 26 17 0 0 20 0 28 0 148902245 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140356389153040 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24778] ppid=24766 vsize=26538700 memory=1196 CPUtime=0.27 cores=0-7
/proc/24768/task/24778/stat : 24778 (java) S 24766 24766 24722 0 -1 1077944384 6500 0 0 0 12 15 0 0 20 0 28 0 148902246 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355118832496 140356443912834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24779] ppid=24766 vsize=26538700 memory=4612 CPUtime=0 cores=0-7
/proc/24768/task/24779/stat : 24779 (java) S 24766 24766 24722 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 148902246 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355117778528 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24780] ppid=24766 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/24768/task/24780/stat : 24780 (java) S 24766 24766 24722 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 148902247 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355116725632 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24781] ppid=24766 vsize=26538700 memory=5527100 CPUtime=0 cores=0-7
/proc/24768/task/24781/stat : 24781 (java) S 24766 24766 24722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148902249 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355115673936 140356443920283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24782] ppid=24766 vsize=26538700 memory=41 CPUtime=2.25 cores=0-7
/proc/24768/task/24782/stat : 24782 (java) S 24766 24766 24722 0 -1 1077944384 10560 0 0 0 223 2 0 0 20 0 28 0 148902249 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355114621296 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24783] ppid=24766 vsize=26538700 memory=1798 CPUtime=2.24 cores=0-7
/proc/24768/task/24783/stat : 24783 (java) S 24766 24766 24722 0 -1 1077944384 13339 0 0 0 221 3 0 0 20 0 28 0 148902249 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355113568496 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24784] ppid=24766 vsize=26538700 memory=1380 CPUtime=2.31 cores=0-7
/proc/24768/task/24784/stat : 24784 (java) S 24766 24766 24722 0 -1 1077944384 9219 0 0 0 229 2 0 0 20 0 28 0 148902249 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355112515696 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24785] ppid=24766 vsize=26538700 memory=1380 CPUtime=0.8 cores=0-7
/proc/24768/task/24785/stat : 24785 (java) S 24766 24766 24722 0 -1 1077944384 8106 0 0 0 79 1 0 0 20 0 28 0 148902249 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355111462896 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24786] ppid=24766 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/24768/task/24786/stat : 24786 (java) S 24766 24766 24722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148902249 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355110411360 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24787] ppid=24766 vsize=26538700 memory=1380 CPUtime=0.86 cores=0-7
/proc/24768/task/24787/stat : 24787 (java) S 24766 24766 24722 0 -1 1077944384 3098 0 0 0 43 43 0 0 20 0 28 0 148902250 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355109358640 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24788] ppid=24766 vsize=26538700 memory=5527100 CPUtime=2489.57 cores=0-7
/proc/24768/task/24788/stat : 24788 (java) R 24766 24766 24722 0 -1 4202560 4395 0 0 0 248954 3 0 0 20 0 28 0 148902456 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355103444088 140356066390733 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24789] ppid=24766 vsize=26538700 memory=41424 CPUtime=2498.56 cores=0-7
/proc/24768/task/24789/stat : 24789 (java) R 24766 24766 24722 0 -1 4202560 3537 0 0 0 249854 2 0 0 20 0 28 0 148902457 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140354898616872 140356066390603 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24790] ppid=24766 vsize=26538700 memory=1292 CPUtime=2485.78 cores=0-7
/proc/24768/task/24790/stat : 24790 (java) R 24766 24766 24722 0 -1 4202560 21183 0 0 0 248488 90 0 0 20 0 28 0 148902457 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140354897564072 140356066125447 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24791] ppid=24766 vsize=26538700 memory=2428 CPUtime=2482.99 cores=0-7
/proc/24768/task/24791/stat : 24791 (java) R 24766 24766 24722 0 -1 4202560 28411 0 0 0 248151 148 0 0 20 0 28 0 148902457 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140354896511272 140356068082950 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24792] ppid=24766 vsize=26538700 memory=1728 CPUtime=2493.97 cores=0-7
/proc/24768/task/24792/stat : 24792 (java) R 24766 24766 24722 0 -1 4202560 19121 0 0 0 249310 87 0 0 20 0 28 0 148902457 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140354895454712 140356060766513 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24793] ppid=24766 vsize=26538700 memory=5527100 CPUtime=2490.46 cores=0-7
/proc/24768/task/24793/stat : 24793 (java) R 24766 24766 24722 0 -1 4202560 3359 0 0 0 249043 3 0 0 20 0 28 0 148902457 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140354894401000 140356066117942 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24794] ppid=24766 vsize=26538700 memory=0 CPUtime=2498.54 cores=0-7
/proc/24768/task/24794/stat : 24794 (java) R 24766 24766 24722 0 -1 4202560 3679 0 0 0 249853 1 0 0 20 0 28 0 148902457 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140354893349592 140356066390633 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24795] ppid=24766 vsize=26538700 memory=2 CPUtime=2498.43 cores=0-7
/proc/24768/task/24795/stat : 24795 (java) R 24766 24766 24722 0 -1 4202560 32938 0 0 0 249678 165 0 0 20 0 28 0 148902457 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140354892300528 140356068102254 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
Current children cumulated CPU time: 19952.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5528480 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.50 8.25 8.24 9/209 24853
/proc/meminfo: memFree=21536176/32770624 swapFree=67108860/67108860
[pid=24766] ppid=24763 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24766/stat : 24766 (xcsp3-exec) S 24763 24766 24722 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148902243 9740288 345 33554432000 4194304 5098028 140731943111568 140731943109672 140382235791996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40534016 140731943117925 140731943118135 140731943118135 140731943120875 0
/proc/24766/statm: 2378 345 289 221 0 87 0
[pid=24768] ppid=24766 vsize=26538700 memory=5527100 CPUtime=20093.9 cores=0-7
/proc/24768/stat : 24768 (java) S 24766 24766 24722 0 -1 1077944320 191269 0 0 0 2008724 666 0 0 20 0 28 0 148902243 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140724585154992 140356443901687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
/proc/24768/statm: 6634675 1381775 3286 1 0 6621909 0
[pid=24768/tid=24769] ppid=24766 vsize=26538700 memory=1004 CPUtime=1.97 cores=0-7
/proc/24768/task/24769/stat : 24769 (java) S 24766 24766 24722 0 -1 1077944384 6948 0 0 0 192 5 0 0 20 0 28 0 148902244 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140356448142464 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24770] ppid=24766 vsize=26538700 memory=5788 CPUtime=0.43 cores=0-7
/proc/24768/task/24770/stat : 24770 (java) S 24766 24766 24722 0 -1 1077944384 3010 0 0 0 26 17 0 0 20 0 28 0 148902245 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140356396522640 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24771] ppid=24766 vsize=26538700 memory=1196 CPUtime=0.43 cores=0-7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24766 24722 0 -1 1077944384 2039 0 0 0 28 15 0 0 20 0 28 0 148902245 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140356395469840 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24772] ppid=24766 vsize=26538700 memory=-7003737579269690708 CPUtime=0.41 cores=0-7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24766 24722 0 -1 1077944384 1723 0 0 0 25 16 0 0 20 0 28 0 148902245 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140356394417040 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24773] ppid=24766 vsize=26538700 memory=15876 CPUtime=0.43 cores=0-7
/proc/24768/task/24773/stat : 24773 (java) S 24766 24766 24722 0 -1 1077944384 1482 0 0 0 26 17 0 0 20 0 28 0 148902245 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140356393364240 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24774] ppid=24766 vsize=26538700 memory=18448 CPUtime=0.41 cores=0-7
/proc/24768/task/24774/stat : 24774 (java) S 24766 24766 24722 0 -1 1077944384 1166 0 0 0 25 16 0 0 20 0 28 0 148902245 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140356392311440 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24775] ppid=24766 vsize=26538700 memory=23216 CPUtime=0.43 cores=0-7
/proc/24768/task/24775/stat : 24775 (java) S 24766 24766 24722 0 -1 1077944384 1460 0 0 0 27 16 0 0 20 0 28 0 148902245 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140356391258640 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24776] ppid=24766 vsize=26538700 memory=4044 CPUtime=0.42 cores=0-7
/proc/24768/task/24776/stat : 24776 (java) S 24766 24766 24722 0 -1 1077944384 2896 0 0 0 27 15 0 0 20 0 28 0 148902245 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140356390205840 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24777] ppid=24766 vsize=26538700 memory=1792 CPUtime=0.43 cores=0-7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24766 24722 0 -1 1077944384 810 0 0 0 26 17 0 0 20 0 28 0 148902245 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140356389153040 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24778] ppid=24766 vsize=26538700 memory=636 CPUtime=0.27 cores=0-7
/proc/24768/task/24778/stat : 24778 (java) S 24766 24766 24722 0 -1 1077944384 6507 0 0 0 12 15 0 0 20 0 28 0 148902246 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355118832496 140356443912834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24779] ppid=24766 vsize=26538700 memory=956 CPUtime=0 cores=0-7
/proc/24768/task/24779/stat : 24779 (java) S 24766 24766 24722 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 148902246 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355117778528 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24780] ppid=24766 vsize=26538700 memory=2424 CPUtime=0 cores=0-7
/proc/24768/task/24780/stat : 24780 (java) S 24766 24766 24722 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 148902247 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355116725632 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24781] ppid=24766 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/24768/task/24781/stat : 24781 (java) S 24766 24766 24722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148902249 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355115673936 140356443920283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24782] ppid=24766 vsize=26538700 memory=2200 CPUtime=2.25 cores=0-7
/proc/24768/task/24782/stat : 24782 (java) S 24766 24766 24722 0 -1 1077944384 10563 0 0 0 223 2 0 0 20 0 28 0 148902249 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355114621296 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24783] ppid=24766 vsize=26538700 memory=7792 CPUtime=2.24 cores=0-7
/proc/24768/task/24783/stat : 24783 (java) S 24766 24766 24722 0 -1 1077944384 13347 0 0 0 221 3 0 0 20 0 28 0 148902249 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355113568496 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24784] ppid=24766 vsize=26538700 memory=840 CPUtime=2.31 cores=0-7
/proc/24768/task/24784/stat : 24784 (java) S 24766 24766 24722 0 -1 1077944384 9222 0 0 0 229 2 0 0 20 0 28 0 148902249 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355112515696 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24785] ppid=24766 vsize=26538700 memory=1692 CPUtime=0.8 cores=0-7
/proc/24768/task/24785/stat : 24785 (java) S 24766 24766 24722 0 -1 1077944384 8110 0 0 0 79 1 0 0 20 0 28 0 148902249 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355111462896 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24786] ppid=24766 vsize=26538700 memory=916 CPUtime=0 cores=0-7
/proc/24768/task/24786/stat : 24786 (java) S 24766 24766 24722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148902249 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355110411360 140356443911893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24787] ppid=24766 vsize=26538700 memory=3888 CPUtime=0.86 cores=0-7
/proc/24768/task/24787/stat : 24787 (java) S 24766 24766 24722 0 -1 1077944384 3126 0 0 0 43 43 0 0 20 0 28 0 148902250 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355109358640 140356443912834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24788] ppid=24766 vsize=26538700 memory=1152 CPUtime=2507.28 cores=0-7
/proc/24768/task/24788/stat : 24788 (java) R 24766 24766 24722 0 -1 4202560 4478 0 0 0 250725 3 0 0 20 0 28 0 148902456 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140355103444088 140356066392511 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24789] ppid=24766 vsize=26538700 memory=3820 CPUtime=2516.26 cores=0-7
/proc/24768/task/24789/stat : 24789 (java) R 24766 24766 24722 0 -1 4202560 3571 0 0 0 251624 2 0 0 20 0 28 0 148902457 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140354898616872 140356066344491 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24790] ppid=24766 vsize=26538700 memory=1380 CPUtime=2503.12 cores=0-7
/proc/24768/task/24790/stat : 24790 (java) R 24766 24766 24722 0 -1 4202560 21400 0 0 0 250221 91 0 0 20 0 28 0 148902457 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140354897564072 140356066125506 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24791] ppid=24766 vsize=26538700 memory=5527100 CPUtime=2500.7 cores=0-7
/proc/24768/task/24791/stat : 24791 (java) R 24766 24766 24722 0 -1 4202560 28520 0 0 0 249922 148 0 0 20 0 28 0 148902457 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140354896511272 140356066465407 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24792] ppid=24766 vsize=26538700 memory=5527100 CPUtime=2511.68 cores=0-7
/proc/24768/task/24792/stat : 24792 (java) R 24766 24766 24722 0 -1 4202560 19271 0 0 0 251081 87 0 0 20 0 28 0 148902457 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140354895457904 140356066086963 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24793] ppid=24766 vsize=26538700 memory=5527100 CPUtime=2508.17 cores=0-7
/proc/24768/task/24793/stat : 24793 (java) R 24766 24766 24722 0 -1 4202560 3398 0 0 0 250814 3 0 0 20 0 28 0 148902457 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140354894401000 140356066344795 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24794] ppid=24766 vsize=26538700 memory=6944613755495348631 CPUtime=2516.25 cores=0-7
/proc/24768/task/24794/stat : 24794 (java) R 24766 24766 24722 0 -1 4202560 3708 0 0 0 251624 1 0 0 20 0 28 0 148902457 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140354893349592 140356066392193 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
[pid=24768/tid=24795] ppid=24766 vsize=26538700 memory=7681905605394137875 CPUtime=2516.12 cores=0-7
/proc/24768/task/24795/stat : 24795 (java) R 24766 24766 24722 0 -1 4202560 33217 0 0 0 251447 165 0 0 20 0 28 0 148902457 27175628800 1381775 33554432000 4194304 4196468 140724585172448 140354892300528 140356068102191 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 34451456 140724585174162 140724585174339 140724585174339 140724585177039 0
Current children cumulated CPU time: 20093.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5528480 KiB

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

[startup+2520.05 s]
# the end of solver process 24766 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000924 s, system=0.000924 s

[startup+2520.14 s]
# the end of solver process 24768 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20088 s, system=6.69615 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2520.14
CPU time (s): 20094.7
CPU user time (s): 20088
CPU system time (s): 6.69615
CPU usage (%): 797.365
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 5568692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20088
system time used= 6.69615
maximum resident set size= 5583696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192568
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60204
involuntary context switches= 201903


# summary of solver processes directly reported to runsolver:
#   pid: 24766,24768
#   total CPU time (s): 20094.7
#   total CPU user time (s): 20088
#   total CPU system time (s): 6.69615

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0805 second user time and 30.9232 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-19 17:41:23
IDJOB=4280930
IDBENCH=135029
IDSOLVER=2675
FILE ID=node107/4280930-1503158143
RUNJOBID= node107-1503157283-24749
PBS_JOBID= 20630820
Free space on /tmp= 61868 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K108.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280930-1503158143/watcher-4280930-1503158143 -o /tmp/evaluation-result-4280930-1503158143/solver-4280930-1503158143 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503157283-24749 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 421086247 HOME/instance-4280930-1503158143.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 2a47884be513939e719b7a1148b6038b
RANDOM SEED=421086247

node107.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.84
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.84
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.84
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.84
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:        27056832 kB
MemAvailable:   31974480 kB
Buffers:          266164 kB
Cached:          4945272 kB
SwapCached:            0 kB
Active:           831076 kB
Inactive:        4432620 kB
Active(anon):      54964 kB
Inactive(anon):    33392 kB
Active(file):     776112 kB
Inactive(file):  4399228 kB
Unevictable:        7640 kB
Mlocked:            7640 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7884 kB
Writeback:             4 kB
AnonPages:         59948 kB
Mapped:            50844 kB
Shmem:             33420 kB
Slab:             142332 kB
SReclaimable:     116288 kB
SUnreclaim:        26044 kB
KernelStack:        3152 kB
PageTables:         4476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61860 MiB
End job on node107 at 2017-08-19 18:23:23