Trace number 4399076

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 2019-09-16UNSAT 372.336 98.5168

General information on the benchmark

NameRandom/Random-m1-7-40-8t/
rand-7-40-8-40-22500-0.xml
MD5SUMbec643ae272751fbe4415f184f63255d
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 benchmark64.9451
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints40
Number of domains1
Minimum domain size8
Maximum domain size8
Distribution of domain sizes[{"size":8,"count":40}]
Minimum variable degree2
Maximum variable degree14
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":4},{"degree":4,"count":2},{"degree":5,"count":1},{"degree":6,"count":8},{"degree":7,"count":8},{"degree":8,"count":8},{"degree":9,"count":4},{"degree":11,"count":2},{"degree":13,"count":1},{"degree":14,"count":1}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":40}]
Number of extensional constraints40
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":40}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399076-1568693622.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4399076-1568693622.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
13.53/8.38	c solve instance...
371.92/98.50	s UNSATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399076-1568693622/watcher-4399076-1568693622 -o /tmp/evaluation-result-4399076-1568693622/solver-4399076-1568693622 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21538 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 47054814 HOME/instance-4399076-1568693622.xml 

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

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


[startup+0.100058 s]*
/proc/loadavg: 5.35 2.56 1.63 7/234 21943
/proc/meminfo: memFree=23688152/32770624 swapFree=66976952/67108860
[pid=21927] ppid=21924 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21927/stat : 21927 (xcsp3-exec) S 21924 21927 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445624907 115843072 363 33554432000 4194304 5098028 140733027306192 140733027304296 140564121363068 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18886656 140733027312508 140733027312749 140733027312749 140733027315658 0
/proc/21927/statm: 28282 363 304 221 0 87 0
[pid=21929] ppid=21927 vsize=15144776 memory=30008 CPUtime=0.13 cores=1,3,5,7
/proc/21929/stat : 21929 (java) S 21927 21927 21506 0 -1 1077944320 5923 0 0 0 12 1 0 0 20 0 15 0 445624907 15508250624 7502 33554432000 4194304 4196468 140736741435360 140736741417904 140305306717943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
/proc/21929/statm: 3786194 7502 3162 1 0 3748377 0
[pid=21929/tid=21930] ppid=21927 vsize=15144776 memory=7682489639022458387 CPUtime=0.09 cores=1,3,5,7
/proc/21929/task/21930/stat : 21930 (java) R 21927 21927 21506 0 -1 4202560 3822 0 0 0 8 1 0 0 20 0 15 0 445624908 15508250624 7502 33554432000 4194304 4196468 140736741435360 140305310949088 140305306739869 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21931] ppid=21927 vsize=15144776 memory=3472468794941240528 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21931/stat : 21931 (java) S 21927 21927 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445624908 15508250624 7502 33554432000 4194304 4196468 140736741435360 140305242954768 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21932] ppid=21927 vsize=15144776 memory=140666046088832 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21932/stat : 21932 (java) S 21927 21927 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445624908 15508250624 7502 33554432000 4194304 4196468 140736741435360 140305241902224 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21933] ppid=21927 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21933/stat : 21933 (java) S 21927 21927 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445624908 15508250624 7502 33554432000 4194304 4196468 140736741435360 140304896809744 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21934] ppid=21927 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21934/stat : 21934 (java) S 21927 21927 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445624908 15508250624 7502 33554432000 4194304 4196468 140736741435360 140304895757200 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21935] ppid=21927 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21935/stat : 21935 (java) S 21927 21927 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445624910 15508250624 7502 33554432000 4194304 4196468 140736741435360 140304842508528 140305306729090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21936] ppid=21927 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21936/stat : 21936 (java) S 21927 21927 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445624910 15508250624 7502 33554432000 4194304 4196468 140736741435360 140304841454752 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21937] ppid=21927 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21937/stat : 21937 (java) S 21927 21927 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445624910 15508250624 7502 33554432000 4194304 4196468 140736741435360 140304840401648 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21938] ppid=21927 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21938/stat : 21938 (java) S 21927 21927 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445624913 15508250624 7502 33554432000 4194304 4196468 140736741435360 140304839350224 140305306736539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21939] ppid=21927 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21939/stat : 21939 (java) R 21927 21927 21506 0 -1 4202560 445 0 0 0 0 0 0 0 20 0 15 0 445624913 15508250624 7502 33554432000 4194304 4196468 140736741435360 140304770394864 140305284550800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21940] ppid=21927 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21940/stat : 21940 (java) R 21927 21927 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445624913 15508250624 7502 33554432000 4194304 4196468 140736741435360 140304769342320 140305306729090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21941] ppid=21927 vsize=15144776 memory=140666046088832 CPUtime=0.02 cores=1,3,5,7
/proc/21929/task/21941/stat : 21941 (java) R 21927 21927 21506 0 -1 4202560 369 0 0 0 2 0 0 0 20 0 15 0 445624913 15508250624 7502 33554432000 4194304 4196468 140736741435360 140304768289264 140305306739290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21942] ppid=21927 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21942/stat : 21942 (java) S 21927 21927 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445624913 15508250624 7502 33554432000 4194304 4196468 140736741435360 140304767236960 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21943] ppid=21927 vsize=15144776 memory=140666046088832 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21943/stat : 21943 (java) S 21927 21927 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445624913 15508250624 7502 33554432000 4194304 4196468 140736741435360 140304766183984 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31460 KiB

[startup+0.210791 s]*
/proc/loadavg: 5.35 2.56 1.63 7/234 21943
/proc/meminfo: memFree=23674912/32770624 swapFree=66976952/67108860
[pid=21927] ppid=21924 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21927/stat : 21927 (xcsp3-exec) S 21924 21927 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445624907 115843072 363 33554432000 4194304 5098028 140733027306192 140733027304296 140564121363068 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18886656 140733027312508 140733027312749 140733027312749 140733027315658 0
/proc/21927/statm: 28282 363 304 221 0 87 0
[pid=21929] ppid=21927 vsize=15144776 memory=41004 CPUtime=0.34 cores=1,3,5,7
/proc/21929/stat : 21929 (java) S 21927 21927 21506 0 -1 1077944320 9452 0 0 0 31 3 0 0 20 0 15 0 445624907 15508250624 10251 33554432000 4194304 4196468 140736741435360 140736741417904 140305306717943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
/proc/21929/statm: 3786194 10251 3310 1 0 3748377 0
[pid=21929/tid=21930] ppid=21927 vsize=15144776 memory=7682489639022458387 CPUtime=0.2 cores=1,3,5,7
/proc/21929/task/21930/stat : 21930 (java) R 21927 21927 21506 0 -1 4202560 6648 0 0 0 18 2 0 0 20 0 15 0 445624908 15508250624 10251 33554432000 4194304 4196468 140736741435360 140305310951824 140305290798430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21931] ppid=21927 vsize=15144776 memory=3472468794941240528 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21931/stat : 21931 (java) S 21927 21927 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445624908 15508250624 10251 33554432000 4194304 4196468 140736741435360 140305242954768 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21932] ppid=21927 vsize=15144776 memory=140666046088832 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21932/stat : 21932 (java) S 21927 21927 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445624908 15508250624 10251 33554432000 4194304 4196468 140736741435360 140305241902224 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21933] ppid=21927 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21933/stat : 21933 (java) S 21927 21927 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445624908 15508250624 10251 33554432000 4194304 4196468 140736741435360 140304896809744 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21934] ppid=21927 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21934/stat : 21934 (java) S 21927 21927 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445624908 15508250624 10251 33554432000 4194304 4196468 140736741435360 140304895757200 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21935] ppid=21927 vsize=15144776 memory=140666046088832 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21935/stat : 21935 (java) S 21927 21927 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445624910 15508250624 10251 33554432000 4194304 4196468 140736741435360 140304842508528 140305306729090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21936] ppid=21927 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21936/stat : 21936 (java) S 21927 21927 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445624910 15508250624 10251 33554432000 4194304 4196468 140736741435360 140304841454752 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21937] ppid=21927 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21937/stat : 21937 (java) S 21927 21927 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445624910 15508250624 10251 33554432000 4194304 4196468 140736741435360 140304840401648 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21938] ppid=21927 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21938/stat : 21938 (java) S 21927 21927 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445624913 15508250624 10251 33554432000 4194304 4196468 140736741435360 140304839350224 140305306736539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21939] ppid=21927 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21929/task/21939/stat : 21939 (java) S 21927 21927 21506 0 -1 1077944384 492 0 0 0 2 0 0 0 20 0 15 0 445624913 15508250624 10251 33554432000 4194304 4196468 140736741435360 140304770394864 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21940] ppid=21927 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21929/task/21940/stat : 21940 (java) R 21927 21927 21506 0 -1 1077944384 242 0 0 0 2 0 0 0 20 0 15 0 445624913 15508250624 10251 33554432000 4194304 4196468 140736741435360 140304769342320 140305306729090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21941] ppid=21927 vsize=15144776 memory=140666046088832 CPUtime=0.08 cores=1,3,5,7
/proc/21929/task/21941/stat : 21941 (java) R 21927 21927 21506 0 -1 4202560 765 0 0 0 8 0 0 0 20 0 15 0 445624913 15508250624 10251 33554432000 4194304 4196468 140736741435360 140304768289264 140305306729878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21942] ppid=21927 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21942/stat : 21942 (java) S 21927 21927 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445624913 15508250624 10251 33554432000 4194304 4196468 140736741435360 140304767236960 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21943] ppid=21927 vsize=15144776 memory=140666046088832 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21943/stat : 21943 (java) S 21927 21927 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445624913 15508250624 10251 33554432000 4194304 4196468 140736741435360 140304766183984 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42456 KiB

[startup+0.311195 s]*
/proc/loadavg: 5.35 2.56 1.63 8/234 21943
/proc/meminfo: memFree=23667764/32770624 swapFree=66976952/67108860
[pid=21927] ppid=21924 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21927/stat : 21927 (xcsp3-exec) S 21924 21927 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445624907 115843072 363 33554432000 4194304 5098028 140733027306192 140733027304296 140564121363068 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18886656 140733027312508 140733027312749 140733027312749 140733027315658 0
/proc/21927/statm: 28282 363 304 221 0 87 0
[pid=21929] ppid=21927 vsize=15149032 memory=50320 CPUtime=0.54 cores=1,3,5,7
/proc/21929/stat : 21929 (java) S 21927 21927 21506 0 -1 1077944320 10874 0 0 0 50 4 0 0 20 0 15 0 445624907 15512608768 12580 33554432000 4194304 4196468 140736741435360 140736741417904 140305306717943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
/proc/21929/statm: 3787258 12580 3358 1 0 3748377 0
[pid=21929/tid=21930] ppid=21927 vsize=15149032 memory=-8439527450518781933 CPUtime=0.3 cores=1,3,5,7
/proc/21929/task/21930/stat : 21930 (java) R 21927 21927 21506 0 -1 4202560 7840 0 0 0 27 3 0 0 20 0 15 0 445624908 15512608768 12584 33554432000 4194304 4196468 140736741435360 140305310951728 140305290798430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21931] ppid=21927 vsize=15149032 memory=3472468794941240528 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21931/stat : 21931 (java) S 21927 21927 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445624908 15512608768 12584 33554432000 4194304 4196468 140736741435360 140305242954768 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21932] ppid=21927 vsize=15149032 memory=281331929397632 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21932/stat : 21932 (java) S 21927 21927 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445624908 15512608768 12584 33554432000 4194304 4196468 140736741435360 140305241902224 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21933] ppid=21927 vsize=15149032 memory=281331766649888 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21933/stat : 21933 (java) S 21927 21927 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445624908 15512608768 12584 33554432000 4194304 4196468 140736741435360 140304896809744 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21934] ppid=21927 vsize=15149032 memory=140665883308815 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21934/stat : 21934 (java) S 21927 21927 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445624908 15512608768 12584 33554432000 4194304 4196468 140736741435360 140304895757200 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21935] ppid=21927 vsize=15149032 memory=281331929404544 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21935/stat : 21935 (java) S 21927 21927 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445624910 15512608768 12584 33554432000 4194304 4196468 140736741435360 140304842508528 140305306729090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21936] ppid=21927 vsize=15149032 memory=140665883313423 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21936/stat : 21936 (java) S 21927 21927 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445624910 15512608768 12584 33554432000 4194304 4196468 140736741435360 140304841454752 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21937] ppid=21927 vsize=15149032 memory=140665883337266 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21937/stat : 21937 (java) S 21927 21927 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445624910 15512608768 12584 33554432000 4194304 4196468 140736741435360 140304840401648 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21938] ppid=21927 vsize=15149032 memory=140665883339592 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21938/stat : 21938 (java) S 21927 21927 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445624913 15512608768 12584 33554432000 4194304 4196468 140736741435360 140304839350224 140305306736539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21939] ppid=21927 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21929/task/21939/stat : 21939 (java) S 21927 21927 21506 0 -1 1077944384 504 0 0 0 4 0 0 0 20 0 15 0 445624913 15512608768 12584 33554432000 4194304 4196468 140736741435360 140304770394864 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21940] ppid=21927 vsize=15149032 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/21929/task/21940/stat : 21940 (java) R 21927 21927 21506 0 -1 4202560 375 0 0 0 5 0 0 0 20 0 15 0 445624913 15512608768 12584 33554432000 4194304 4196468 140736741435360 140304769323336 140305285961968 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21941] ppid=21927 vsize=15149032 memory=140666046088832 CPUtime=0.12 cores=1,3,5,7
/proc/21929/task/21941/stat : 21941 (java) S 21927 21927 21506 0 -1 1077944384 856 0 0 0 12 0 0 0 20 0 15 0 445624913 15512608768 12584 33554432000 4194304 4196468 140736741435360 140304768289264 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21942] ppid=21927 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21942/stat : 21942 (java) S 21927 21927 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445624913 15512608768 12584 33554432000 4194304 4196468 140736741435360 140304767236960 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21943] ppid=21927 vsize=15149032 memory=140666046090284 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21943/stat : 21943 (java) S 21927 21927 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445624913 15512608768 12584 33554432000 4194304 4196468 140736741435360 140304766183984 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51772 KiB

[startup+0.712544 s]
/proc/loadavg: 5.35 2.56 1.63 8/234 21943
/proc/meminfo: memFree=23618348/32770624 swapFree=66976952/67108860
[pid=21927] ppid=21924 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21927/stat : 21927 (xcsp3-exec) S 21924 21927 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445624907 115843072 363 33554432000 4194304 5098028 140733027306192 140733027304296 140564121363068 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18886656 140733027312508 140733027312749 140733027312749 140733027315658 0
/proc/21927/statm: 28282 363 304 221 0 87 0
[pid=21929] ppid=21927 vsize=15151156 memory=209188 CPUtime=1.65 cores=1,3,5,7
/proc/21929/stat : 21929 (java) S 21927 21927 21506 0 -1 1077944320 15445 0 0 0 156 9 0 0 20 0 15 0 445624907 15514783744 52297 33554432000 4194304 4196468 140736741435360 140736741417904 140305306717943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
/proc/21929/statm: 3787789 52297 3437 1 0 3748889 0
[pid=21929/tid=21930] ppid=21927 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/21929/task/21930/stat : 21930 (java) S 21927 21927 21506 0 -1 1077944384 8315 0 0 0 62 5 0 0 20 0 15 0 445624908 15514783744 52297 33554432000 4194304 4196468 140736741435360 140305310955584 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21931] ppid=21927 vsize=15151156 memory=128 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21931/stat : 21931 (java) R 21927 21927 21506 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 445624908 15514783744 52297 33554432000 4194304 4196468 140736741435360 140305242954968 140305299820936 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21932] ppid=21927 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21932/stat : 21932 (java) R 21927 21927 21506 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 15 0 445624908 15514783744 52297 33554432000 4194304 4196468 140736741435360 140305241902224 140305299820936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21933] ppid=21927 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21933/stat : 21933 (java) R 21927 21927 21506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 445624908 15514783744 52297 33554432000 4194304 4196468 140736741435360 140304896809744 140305299814416 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21934] ppid=21927 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21934/stat : 21934 (java) R 21927 21927 21506 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 15 0 445624908 15514783744 52297 33554432000 4194304 4196468 140736741435360 140304895757400 140305299821001 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21935] ppid=21927 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21935/stat : 21935 (java) S 21927 21927 21506 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 445624910 15514783744 52297 33554432000 4194304 4196468 140736741435360 140304842507040 140305306728149 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21936] ppid=21927 vsize=15151156 memory=756 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21936/stat : 21936 (java) S 21927 21927 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445624910 15514783744 52297 33554432000 4194304 4196468 140736741435360 140304841454752 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21937] ppid=21927 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21937/stat : 21937 (java) S 21927 21927 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445624910 15514783744 52297 33554432000 4194304 4196468 140736741435360 140304840401648 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21938] ppid=21927 vsize=15151156 memory=7872 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21938/stat : 21938 (java) S 21927 21927 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445624913 15514783744 52297 33554432000 4194304 4196468 140736741435360 140304839350224 140305306736539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21939] ppid=21927 vsize=15151156 memory=1164 CPUtime=0.32 cores=1,3,5,7
/proc/21929/task/21939/stat : 21939 (java) S 21927 21927 21506 0 -1 1077944384 1909 0 0 0 32 0 0 0 20 0 15 0 445624913 15514783744 52297 33554432000 4194304 4196468 140736741435360 140304770380224 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21940] ppid=21927 vsize=15151156 memory=9448 CPUtime=0.33 cores=1,3,5,7
/proc/21929/task/21940/stat : 21940 (java) R 21927 21927 21506 0 -1 4202560 2369 0 0 0 33 0 0 0 20 0 15 0 445624913 15514783744 52297 33554432000 4194304 4196468 140736741435360 140304769323336 140305287909976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21941] ppid=21927 vsize=15151156 memory=14008 CPUtime=0.24 cores=1,3,5,7
/proc/21929/task/21941/stat : 21941 (java) S 21927 21927 21506 0 -1 1077944384 1483 0 0 0 24 0 0 0 20 0 15 0 445624913 15514783744 52297 33554432000 4194304 4196468 140736741435360 140304768289264 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21942] ppid=21927 vsize=15151156 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21942/stat : 21942 (java) S 21927 21927 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445624913 15514783744 52297 33554432000 4194304 4196468 140736741435360 140304767236960 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21943] ppid=21927 vsize=15151156 memory=11976 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21943/stat : 21943 (java) S 21927 21927 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445624913 15514783744 52297 33554432000 4194304 4196468 140736741435360 140304766183984 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 210640 KiB

[startup+1.50084 s]
/proc/loadavg: 5.35 2.56 1.63 8/234 21943
/proc/meminfo: memFree=23443476/32770624 swapFree=66976952/67108860
[pid=21927] ppid=21924 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21927/stat : 21927 (xcsp3-exec) S 21924 21927 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445624907 115843072 363 33554432000 4194304 5098028 140733027306192 140733027304296 140564121363068 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18886656 140733027312508 140733027312749 140733027312749 140733027315658 0
/proc/21927/statm: 28282 363 304 221 0 87 0

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

/proc/21929/task/21934/stat : 21934 (java) S 21927 21927 21506 0 -1 1077944384 1171 0 0 0 74 25 0 0 20 0 19 0 445624908 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304895757200 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21935] ppid=21927 vsize=15417412 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/21929/task/21935/stat : 21935 (java) S 21927 21927 21506 0 -1 1077944384 3694 0 0 0 15 1 0 0 20 0 19 0 445624910 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304842508528 140305306729090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21936] ppid=21927 vsize=15417412 memory=2618516 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21936/stat : 21936 (java) S 21927 21927 21506 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 445624910 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304841454816 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21937] ppid=21927 vsize=15417412 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21937/stat : 21937 (java) S 21927 21927 21506 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445624910 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304840401664 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21938] ppid=21927 vsize=15417412 memory=756 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21938/stat : 21938 (java) S 21927 21927 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445624913 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304839350224 140305306736539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21939] ppid=21927 vsize=15417412 memory=1548 CPUtime=2.07 cores=1,3,5,7
/proc/21929/task/21939/stat : 21939 (java) S 21927 21927 21506 0 -1 1077944384 13459 0 0 0 206 1 0 0 20 0 19 0 445624913 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304770394864 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21940] ppid=21927 vsize=15417412 memory=7872 CPUtime=2.03 cores=1,3,5,7
/proc/21929/task/21940/stat : 21940 (java) S 21927 21927 21506 0 -1 1077944384 13259 0 0 0 202 1 0 0 20 0 19 0 445624913 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304769342320 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21941] ppid=21927 vsize=15417412 memory=1164 CPUtime=0.67 cores=1,3,5,7
/proc/21929/task/21941/stat : 21941 (java) S 21927 21927 21506 0 -1 1077944384 5934 0 0 0 66 1 0 0 20 0 19 0 445624913 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304768289264 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21942] ppid=21927 vsize=15417412 memory=9448 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21942/stat : 21942 (java) S 21927 21927 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445624913 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304767236960 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21943] ppid=21927 vsize=15417412 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7
/proc/21929/task/21943/stat : 21943 (java) S 21927 21927 21506 0 -1 1077944384 1211 0 0 0 2 1 0 0 20 0 19 0 445624913 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304766183984 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21944] ppid=21927 vsize=15417412 memory=1440 CPUtime=87.24 cores=1,3,5,7
/proc/21929/task/21944/stat : 21944 (java) R 21927 21927 21506 0 -1 4202560 1144 0 0 0 8724 0 0 0 20 0 19 0 445625746 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304757202040 140304927174974 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21945] ppid=21927 vsize=15417412 memory=904 CPUtime=88.74 cores=1,3,5,7
/proc/21929/task/21945/stat : 21945 (java) R 21927 21927 21506 0 -1 4202560 3075 0 0 0 8874 0 0 0 20 0 19 0 445625746 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304756150136 140304927173458 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21946] ppid=21927 vsize=15417412 memory=1984 CPUtime=88.57 cores=1,3,5,7
/proc/21929/task/21946/stat : 21946 (java) R 21927 21927 21506 0 -1 4202560 978 0 0 0 8857 0 0 0 20 0 19 0 445625746 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304755097384 140304927175388 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21947] ppid=21927 vsize=15417412 memory=2528 CPUtime=88.27 cores=1,3,5,7
/proc/21929/task/21947/stat : 21947 (java) R 21927 21927 21506 0 -1 4202560 2295 0 0 0 8827 0 0 0 20 0 19 0 445625746 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304754045296 140304926813692 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
Current children cumulated CPU time: 368.73 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2619968 KiB

[startup+98.0015 s]*
/proc/loadavg: 8.51 4.43 2.39 9/238 21954
/proc/meminfo: memFree=21091020/32770624 swapFree=66976952/67108860
[pid=21927] ppid=21924 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21927/stat : 21927 (xcsp3-exec) S 21924 21927 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445624907 115843072 363 33554432000 4194304 5098028 140733027306192 140733027304296 140564121363068 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18886656 140733027312508 140733027312749 140733027312749 140733027315658 0
/proc/21927/statm: 28282 363 304 221 0 87 0
[pid=21929] ppid=21927 vsize=15417412 memory=2618516 CPUtime=370.36 cores=1,3,5,7
/proc/21929/stat : 21929 (java) S 21927 21927 21506 0 -1 1077944320 64425 0 0 0 36897 139 0 0 20 0 19 0 445624907 15787429888 654629 33554432000 4194304 4196468 140736741435360 140736741417904 140305306717943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
/proc/21929/statm: 3854353 654629 3526 1 0 3815453 0
[pid=21929/tid=21930] ppid=21927 vsize=15417412 memory=8317482817917895235 CPUtime=6.84 cores=1,3,5,7
/proc/21929/task/21930/stat : 21930 (java) S 21927 21927 21506 0 -1 1077944384 13916 0 0 0 656 28 0 0 20 0 19 0 445624908 15787429888 654629 33554432000 4194304 4196468 140736741435360 140305310958720 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21931] ppid=21927 vsize=15417412 memory=-7003737579269690708 CPUtime=1.01 cores=1,3,5,7
/proc/21929/task/21931/stat : 21931 (java) S 21927 21927 21506 0 -1 1077944384 847 0 0 0 75 26 0 0 20 0 19 0 445624908 15787429888 654629 33554432000 4194304 4196468 140736741435360 140305242954768 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21932] ppid=21927 vsize=15417412 memory=2120 CPUtime=1 cores=1,3,5,7
/proc/21929/task/21932/stat : 21932 (java) S 21927 21927 21506 0 -1 1077944384 882 0 0 0 74 26 0 0 20 0 19 0 445624908 15787429888 654629 33554432000 4194304 4196468 140736741435360 140305241902224 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21933] ppid=21927 vsize=15417412 memory=11976 CPUtime=0.98 cores=1,3,5,7
/proc/21929/task/21933/stat : 21933 (java) S 21927 21927 21506 0 -1 1077944384 1221 0 0 0 73 25 0 0 20 0 19 0 445624908 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304896809744 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21934] ppid=21927 vsize=15417412 memory=6791534058613427641 CPUtime=0.99 cores=1,3,5,7
/proc/21929/task/21934/stat : 21934 (java) S 21927 21927 21506 0 -1 1077944384 1171 0 0 0 74 25 0 0 20 0 19 0 445624908 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304895757200 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21935] ppid=21927 vsize=15417412 memory=2616452 CPUtime=0.16 cores=1,3,5,7
/proc/21929/task/21935/stat : 21935 (java) S 21927 21927 21506 0 -1 1077944384 3694 0 0 0 15 1 0 0 20 0 19 0 445624910 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304842508528 140305306729090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21936] ppid=21927 vsize=15417412 memory=15252640887999028 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21936/stat : 21936 (java) S 21927 21927 21506 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 445624910 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304841454816 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21937] ppid=21927 vsize=15417412 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21937/stat : 21937 (java) S 21927 21927 21506 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445624910 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304840401664 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21938] ppid=21927 vsize=15417412 memory=9448 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21938/stat : 21938 (java) S 21927 21927 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445624913 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304839350224 140305306736539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21939] ppid=21927 vsize=15417412 memory=14008 CPUtime=2.07 cores=1,3,5,7
/proc/21929/task/21939/stat : 21939 (java) S 21927 21927 21506 0 -1 1077944384 13459 0 0 0 206 1 0 0 20 0 19 0 445624913 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304770394864 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21940] ppid=21927 vsize=15417412 memory=2120 CPUtime=2.03 cores=1,3,5,7
/proc/21929/task/21940/stat : 21940 (java) S 21927 21927 21506 0 -1 1077944384 13259 0 0 0 202 1 0 0 20 0 19 0 445624913 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304769342320 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21941] ppid=21927 vsize=15417412 memory=11976 CPUtime=0.67 cores=1,3,5,7
/proc/21929/task/21941/stat : 21941 (java) S 21927 21927 21506 0 -1 1077944384 5934 0 0 0 66 1 0 0 20 0 19 0 445624913 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304768289264 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21942] ppid=21927 vsize=15417412 memory=11376 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21942/stat : 21942 (java) S 21927 21927 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445624913 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304767236960 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21943] ppid=21927 vsize=15417412 memory=512 CPUtime=0.03 cores=1,3,5,7
/proc/21929/task/21943/stat : 21943 (java) S 21927 21927 21506 0 -1 1077944384 1211 0 0 0 2 1 0 0 20 0 19 0 445624913 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304766183984 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21944] ppid=21927 vsize=15417412 memory=1564 CPUtime=87.64 cores=1,3,5,7
/proc/21929/task/21944/stat : 21944 (java) R 21927 21927 21506 0 -1 4202560 1144 0 0 0 8764 0 0 0 20 0 19 0 445625746 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304757202040 140304927174315 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21945] ppid=21927 vsize=15417412 memory=928 CPUtime=89.15 cores=1,3,5,7
/proc/21929/task/21945/stat : 21945 (java) R 21927 21927 21506 0 -1 4202560 3076 0 0 0 8915 0 0 0 20 0 19 0 445625746 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304756150136 140304927174125 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21946] ppid=21927 vsize=15417412 memory=3784 CPUtime=88.98 cores=1,3,5,7
/proc/21929/task/21946/stat : 21946 (java) R 21927 21927 21506 0 -1 4202560 978 0 0 0 8898 0 0 0 20 0 19 0 445625746 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304755097384 140304926813007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21947] ppid=21927 vsize=15417412 memory=1440 CPUtime=88.68 cores=1,3,5,7
/proc/21929/task/21947/stat : 21947 (java) R 21927 21927 21506 0 -1 4202560 2295 0 0 0 8868 0 0 0 20 0 19 0 445625746 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304754045296 140304926813490 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
Current children cumulated CPU time: 370.36 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2619968 KiB

[startup+98.4015 s]
/proc/loadavg: 8.51 4.43 2.39 9/238 21954
/proc/meminfo: memFree=21091020/32770624 swapFree=66976952/67108860
[pid=21927] ppid=21924 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21927/stat : 21927 (xcsp3-exec) S 21924 21927 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445624907 115843072 363 33554432000 4194304 5098028 140733027306192 140733027304296 140564121363068 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18886656 140733027312508 140733027312749 140733027312749 140733027315658 0
/proc/21927/statm: 28282 363 304 221 0 87 0
[pid=21929] ppid=21927 vsize=15417412 memory=2618516 CPUtime=371.92 cores=1,3,5,7
/proc/21929/stat : 21929 (java) S 21927 21927 21506 0 -1 1077944320 64425 0 0 0 37053 139 0 0 20 0 19 0 445624907 15787429888 654629 33554432000 4194304 4196468 140736741435360 140736741417904 140305306717943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
/proc/21929/statm: 3854353 654629 3526 1 0 3815453 0
[pid=21929/tid=21930] ppid=21927 vsize=15417412 memory=1452 CPUtime=6.84 cores=1,3,5,7
/proc/21929/task/21930/stat : 21930 (java) S 21927 21927 21506 0 -1 1077944384 13916 0 0 0 656 28 0 0 20 0 19 0 445624908 15787429888 654629 33554432000 4194304 4196468 140736741435360 140305310958720 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21931] ppid=21927 vsize=15417412 memory=6791534058613427641 CPUtime=1.01 cores=1,3,5,7
/proc/21929/task/21931/stat : 21931 (java) S 21927 21927 21506 0 -1 1077944384 847 0 0 0 75 26 0 0 20 0 19 0 445624908 15787429888 654629 33554432000 4194304 4196468 140736741435360 140305242954768 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21932] ppid=21927 vsize=15417412 memory=1452 CPUtime=1 cores=1,3,5,7
/proc/21929/task/21932/stat : 21932 (java) S 21927 21927 21506 0 -1 1077944384 882 0 0 0 74 26 0 0 20 0 19 0 445624908 15787429888 654629 33554432000 4194304 4196468 140736741435360 140305241902224 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21933] ppid=21927 vsize=15417412 memory=2616468 CPUtime=0.98 cores=1,3,5,7
/proc/21929/task/21933/stat : 21933 (java) S 21927 21927 21506 0 -1 1077944384 1221 0 0 0 73 25 0 0 20 0 19 0 445624908 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304896809744 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21934] ppid=21927 vsize=15417412 memory=1452 CPUtime=0.99 cores=1,3,5,7
/proc/21929/task/21934/stat : 21934 (java) S 21927 21927 21506 0 -1 1077944384 1171 0 0 0 74 25 0 0 20 0 19 0 445624908 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304895757200 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21935] ppid=21927 vsize=15417412 memory=6791534058613427641 CPUtime=0.16 cores=1,3,5,7
/proc/21929/task/21935/stat : 21935 (java) S 21927 21927 21506 0 -1 1077944384 3694 0 0 0 15 1 0 0 20 0 19 0 445624910 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304842508528 140305306729090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21936] ppid=21927 vsize=15417412 memory=780 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21936/stat : 21936 (java) S 21927 21927 21506 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 445624910 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304841454816 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21937] ppid=21927 vsize=15417412 memory=4088 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21937/stat : 21937 (java) S 21927 21927 21506 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445624910 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304840401664 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21938] ppid=21927 vsize=15417412 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21938/stat : 21938 (java) S 21927 21927 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445624913 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304839350224 140305306736539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21939] ppid=21927 vsize=15417412 memory=1028 CPUtime=2.07 cores=1,3,5,7
/proc/21929/task/21939/stat : 21939 (java) S 21927 21927 21506 0 -1 1077944384 13459 0 0 0 206 1 0 0 20 0 19 0 445624913 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304770394864 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21940] ppid=21927 vsize=15417412 memory=1452 CPUtime=2.03 cores=1,3,5,7
/proc/21929/task/21940/stat : 21940 (java) S 21927 21927 21506 0 -1 1077944384 13259 0 0 0 202 1 0 0 20 0 19 0 445624913 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304769342320 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21941] ppid=21927 vsize=15417412 memory=2618516 CPUtime=0.67 cores=1,3,5,7
/proc/21929/task/21941/stat : 21941 (java) S 21927 21927 21506 0 -1 1077944384 5934 0 0 0 66 1 0 0 20 0 19 0 445624913 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304768289264 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21942] ppid=21927 vsize=15417412 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21942/stat : 21942 (java) S 21927 21927 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445624913 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304767236960 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21943] ppid=21927 vsize=15417412 memory=1028 CPUtime=0.03 cores=1,3,5,7
/proc/21929/task/21943/stat : 21943 (java) S 21927 21927 21506 0 -1 1077944384 1211 0 0 0 2 1 0 0 20 0 19 0 445624913 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304766183984 140305306729090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21944] ppid=21927 vsize=15417412 memory=1060 CPUtime=88.02 cores=1,3,5,7
/proc/21929/task/21944/stat : 21944 (java) R 21927 21927 21506 0 -1 4202560 1144 0 0 0 8802 0 0 0 20 0 19 0 445625746 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304757202040 140304927094512 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21945] ppid=21927 vsize=15417412 memory=6791534058613427641 CPUtime=89.54 cores=1,3,5,7
/proc/21929/task/21945/stat : 21945 (java) R 21927 21927 21506 0 -1 4202560 3076 0 0 0 8954 0 0 0 20 0 19 0 445625746 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304756150136 140304926813855 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21946] ppid=21927 vsize=15417412 memory=2618516 CPUtime=89.37 cores=1,3,5,7
/proc/21929/task/21946/stat : 21946 (java) R 21927 21927 21506 0 -1 4202560 978 0 0 0 8937 0 0 0 20 0 19 0 445625746 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304755097384 140304926813579 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21947] ppid=21927 vsize=15417412 memory=1548 CPUtime=89.07 cores=1,3,5,7
/proc/21929/task/21947/stat : 21947 (java) R 21927 21927 21506 0 -1 4202560 2295 0 0 0 8907 0 0 0 20 0 19 0 445625746 15787429888 654629 33554432000 4194304 4196468 140736741435360 140304754045296 140304927174061 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
Current children cumulated CPU time: 371.92 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2619968 KiB

[startup+98.5018 s]
/proc/loadavg: 8.51 4.43 2.39 9/238 21954
/proc/meminfo: memFree=21091020/32770624 swapFree=66976952/67108860
[pid=21927] ppid=21924 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21927/stat : 21927 (xcsp3-exec) S 21924 21927 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445624907 115843072 363 33554432000 4194304 5098028 140733027306192 140733027304296 140564121363068 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18886656 140733027312508 140733027312749 140733027312749 140733027315658 0
/proc/21927/statm: 28282 363 304 221 0 87 0
[pid=21929] ppid=21927 vsize=15417412 memory=2618360 CPUtime=372.31 cores=1,3,5,7
/proc/21929/stat : 21929 (java) S 21927 21927 21506 0 -1 1077944320 65287 0 0 0 37092 139 0 0 20 0 14 0 445624907 15787429888 654590 33554432000 4194304 4196468 140736741435360 140736741417904 140305306717943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
/proc/21929/statm: 3854353 654590 3528 1 0 3815453 0
[pid=21929/tid=21930] ppid=21927 vsize=15417412 memory=2618516 CPUtime=6.84 cores=1,3,5,7
/proc/21929/task/21930/stat : 21930 (java) R 21927 21927 21506 0 -1 4202560 14493 0 0 0 656 28 0 0 20 0 13 0 445624908 15787429888 654590 33554432000 4194304 4196468 140736741435360 140305310960784 140305299403575 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21931] ppid=21927 vsize=15417412 memory=1452 CPUtime=1.01 cores=1,3,5,7
/proc/21929/task/21931/stat : 21931 (java) S 21927 21927 21506 0 -1 1077944384 847 0 0 0 75 26 0 0 20 0 13 0 445624908 15787429888 654562 33554432000 4194304 4196468 140736741435360 140305242954768 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21932] ppid=21927 vsize=15417412 memory=2618516 CPUtime=1 cores=1,3,5,7
/proc/21929/task/21932/stat : 21932 (java) S 21927 21927 21506 0 -1 1077944384 882 0 0 0 74 26 0 0 20 0 12 0 445624908 15787429888 654562 33554432000 4194304 4196468 140736741435360 140305241902224 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21933] ppid=21927 vsize=15417412 memory=1452 CPUtime=0.98 cores=1,3,5,7
/proc/21929/task/21933/stat : 21933 (java) S 21927 21927 21506 0 -1 1077944384 1221 0 0 0 73 25 0 0 20 0 12 0 445624908 15787429888 654562 33554432000 4194304 4196468 140736741435360 140304896809744 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21934] ppid=21927 vsize=15417412 memory=2614404 CPUtime=0.99 cores=1,3,5,7
/proc/21929/task/21934/stat : 21934 (java) S 21927 21927 21506 0 -1 1077944384 1171 0 0 0 74 25 0 0 20 0 12 0 445624908 15787429888 654562 33554432000 4194304 4196468 140736741435360 140304895757200 140305306728149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21936] ppid=21927 vsize=15417412 memory=7523655051988200042 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21936/stat : 21936 (java) R 21927 21927 21506 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 12 0 445624910 15787429888 654603 33554432000 4194304 4196468 140736741435360 140304841454816 140305306728149 256 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
[pid=21929/tid=21937] ppid=21927 vsize=0 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21937/stat : 21937 (java) X 21927 21927 21506 0 -1 4195396 60 0 0 0 0 0 0 0 20 0 10 0 445624910 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
[pid=21929/tid=21938] ppid=21927 vsize=0 memory=115 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21938/stat : 21938 (java) R 21927 21927 21506 0 -1 4195396 28 0 0 0 0 0 0 0 20 0 6 0 445624913 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0
[pid=21929/tid=21942] ppid=21927 vsize=15417412 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/21929/task/21942/stat : 21942 (java) R 21927 21927 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 3 0 445624913 15787429888 654713 33554432000 4194304 4196468 140736741435360 140304767236960 140305306728149 256 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14974976 140736741442543 140736741442714 140736741442714 140736741445583 0
Current children cumulated CPU time: 372.31 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2619812 KiB

Child status: 0
Real time (s): 98.5168
CPU time (s): 372.336
CPU user time (s): 370.924
CPU system time (s): 1.41185
CPU usage (%): 377.942
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 2619968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 370.924
system time used= 1.41185
maximum resident set size= 2619048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65893
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4902
involuntary context switches= 8338


# summary of solver processes directly reported to runsolver:
#   pid: 21927
#   total CPU time (s): 372.336
#   total CPU user time (s): 370.924
#   total CPU system time (s): 1.41185

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.669413 second user time and 1.14322 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-17 06:13:00
IDJOB=4399076
IDBENCH=121212
IDSOLVER=2853
FILE ID=node121/4399076-1568693622
RUNJOBID= node121-1568693400-21538
PBS_JOBID= 21703800
Free space on /tmp= 61368 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP17/Random/Random-m1-7-40-8t/rand-7-40-8-40-22500-0.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399076-1568693622/watcher-4399076-1568693622 -o /tmp/evaluation-result-4399076-1568693622/solver-4399076-1568693622 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21538 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 47054814 HOME/instance-4399076-1568693622.xml

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

MD5SUM BENCH= bec643ae272751fbe4415f184f63255d
RANDOM SEED=47054814

node121.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.75
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.75
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.75
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.75
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:        23704832 kB
MemAvailable:   23919884 kB
Buffers:           56252 kB
Cached:           456576 kB
SwapCached:        10660 kB
Active:          8215992 kB
Inactive:         299900 kB
Active(anon):    7993076 kB
Inactive(anon):    42060 kB
Active(file):     222916 kB
Inactive(file):   257840 kB
Unevictable:      109148 kB
Mlocked:          109148 kB
SwapTotal:      67108860 kB
SwapFree:       66976952 kB
Dirty:             39352 kB
Writeback:             0 kB
AnonPages:       8101580 kB
Mapped:            55104 kB
Shmem:             23756 kB
Slab:             129540 kB
SReclaimable:     100260 kB
SUnreclaim:        29280 kB
KernelStack:        3808 kB
PageTables:        21544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   11014148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7692288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61344 MiB
End job on node121 at 2019-09-17 06:14:39