Trace number 4269654

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 seq (2017-08-09)UNSAT 13.1263 10.4483

General information on the benchmark

NameQRandom/QRandom-bdd-18-21-2/
bdd-18-21-2-133-78-24.xml
MD5SUM12e2e274c64cbf9c8a04283668281b9c
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 benchmark12.5897
Satisfiable
(Un)Satisfiability was proved
Number of variables21
Number of constraints133
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":21}]
Minimum variable degree101
Maximum variable degree123
Distribution of variable degrees[{"degree":101,"count":1},{"degree":106,"count":1},{"degree":110,"count":2},{"degree":111,"count":2},{"degree":112,"count":1},{"degree":113,"count":3},{"degree":114,"count":1},{"degree":115,"count":1},{"degree":116,"count":2},{"degree":117,"count":2},{"degree":118,"count":1},{"degree":119,"count":2},{"degree":120,"count":1},{"degree":123,"count":1}]
Minimum constraint arity18
Maximum constraint arity18
Distribution of constraint arities[{"arity":18,"count":133}]
Number of extensional constraints133
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":133}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.05	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269654-1502770700.xml"  -tl '2520s' -p 1 -x 0
0.13/0.25	c [HOME/instance-4269654-1502770700.xml, -tl, 2520s, -p, 1, -x, 0]
0.13/0.31	c simple solver
0.33/0.37	c parse instance...
5.83/4.55	c solve instance...
13.07/10.44	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 (13918 MiB free)
  memory of node 1: 16384 MiB (15581 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269654-1502770700/watcher-4269654-1502770700 -o /tmp/evaluation-result-4269654-1502770700/solver-4269654-1502770700 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1044170617 HOME/instance-4269654-1502770700.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
Current StackSize limit: 8192 KiB

solver pid=2410, runsolver pid=2407

[startup+0.100108 s]*
/proc/loadavg: 1.81 1.74 1.66 3/205 2420
/proc/meminfo: memFree=30199248/32770624 swapFree=67108860/67108860
[pid=2410] ppid=2407 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2410/stat : 2410 (xcsp3-exec) S 2407 2410 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 65410598 9740288 345 18446744073709551615 4194304 5098028 140721609258016 140721609256120 140127188427388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 34578432 140721609265528 140721609265733 140721609265733 140721609269227 0
/proc/2410/statm: 2378 345 289 221 0 87 0
[pid=2412] ppid=2410 vsize=13574484 memory=19988 CPUtime=0.04 cores=1,3,5,7
/proc/2412/stat : 2412 (java) S 2410 2410 11586 0 -1 1077944320 4349 0 0 0 4 0 0 0 20 0 9 0 65410604 13900271616 4997 18446744073709551615 4194304 4196468 140726173877680 140726173860224 140576794201847 0 0 1 16800970 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
/proc/2412/statm: 3393621 4997 2136 1 0 3383118 0
[pid=2412/tid=2413] ppid=2410 vsize=13574484 memory=-6871798056524144002 CPUtime=0.04 cores=1,3,5,7
/proc/2412/task/2413/stat : 2413 (java) R 2410 2410 11586 0 -1 4202560 3067 0 0 0 4 0 0 0 20 0 9 0 65410604 13900271616 4997 18446744073709551615 4194304 4196468 140726173877680 140576798437240 140576794223773 0 4 1 16800970 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2414] ppid=2410 vsize=13574484 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2414/stat : 2414 (java) S 2410 2410 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 65410605 13900271616 4997 18446744073709551615 4194304 4196468 140726173877680 140576763914896 140576794212053 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2415] ppid=2410 vsize=13574484 memory=140450315945600 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2415/stat : 2415 (java) S 2410 2410 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 65410605 13900271616 4997 18446744073709551615 4194304 4196468 140726173877680 140576393554448 140576794212053 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2416] ppid=2410 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2416/stat : 2416 (java) S 2410 2410 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 65410605 13900271616 4997 18446744073709551615 4194304 4196468 140726173877680 140576392501648 140576794212053 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2417] ppid=2410 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2417/stat : 2417 (java) S 2410 2410 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 65410605 13900271616 4997 18446744073709551615 4194304 4196468 140726173877680 140576391448848 140576794212053 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2418] ppid=2410 vsize=13574484 memory=140450315945600 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2418/stat : 2418 (java) S 2410 2410 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 65410606 13900271616 4997 18446744073709551615 4194304 4196468 140726173877680 140575710980976 140576794212994 0 0 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2419] ppid=2410 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2419/stat : 2419 (java) S 2410 2410 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 65410606 13900271616 4997 18446744073709551615 4194304 4196468 140726173877680 140575709926944 140576794212053 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2420] ppid=2410 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2420/stat : 2420 (java) S 2410 2410 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 65410607 13900271616 4997 18446744073709551615 4194304 4196468 140726173877680 140575708874096 140576794212053 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 21368 KiB

[startup+0.209713 s]*
/proc/loadavg: 1.81 1.74 1.66 4/211 2426
/proc/meminfo: memFree=30191024/32770624 swapFree=67108860/67108860
[pid=2410] ppid=2407 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2410/stat : 2410 (xcsp3-exec) S 2407 2410 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 65410598 9740288 345 18446744073709551615 4194304 5098028 140721609258016 140721609256120 140127188427388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 34578432 140721609265528 140721609265733 140721609265733 140721609269227 0
/proc/2410/statm: 2378 345 289 221 0 87 0
[pid=2412] ppid=2410 vsize=13974352 memory=28648 CPUtime=0.13 cores=1,3,5,7
/proc/2412/stat : 2412 (java) S 2410 2410 11586 0 -1 1077944320 5632 0 0 0 13 0 0 0 20 0 15 0 65410604 14309736448 7162 18446744073709551615 4194304 4196468 140726173877680 140726173860224 140576794201847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
/proc/2412/statm: 3493588 7162 2843 1 0 3482964 0
[pid=2412/tid=2413] ppid=2410 vsize=13974352 memory=7311146985107750967 CPUtime=0.1 cores=1,3,5,7
/proc/2412/task/2413/stat : 2413 (java) R 2410 2410 11586 0 -1 4202560 3569 0 0 0 10 0 0 0 20 0 15 0 65410604 14309736448 7162 18446744073709551615 4194304 4196468 140726173877680 140576798431616 140576435144737 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2414] ppid=2410 vsize=13974352 memory=1358 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2414/stat : 2414 (java) S 2410 2410 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65410605 14309736448 7162 18446744073709551615 4194304 4196468 140726173877680 140576763914896 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2415] ppid=2410 vsize=13974352 memory=140450316633081 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2415/stat : 2415 (java) S 2410 2410 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65410605 14309736448 7162 18446744073709551615 4194304 4196468 140726173877680 140576393554448 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2416] ppid=2410 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2416/stat : 2416 (java) S 2410 2410 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65410605 14309736448 7162 18446744073709551615 4194304 4196468 140726173877680 140576392501648 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2417] ppid=2410 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2417/stat : 2417 (java) S 2410 2410 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65410605 14309736448 7162 18446744073709551615 4194304 4196468 140726173877680 140576391448848 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2418] ppid=2410 vsize=13974352 memory=140450315945600 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2418/stat : 2418 (java) S 2410 2410 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65410606 14309736448 7162 18446744073709551615 4194304 4196468 140726173877680 140575710980976 140576794212994 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2419] ppid=2410 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2419/stat : 2419 (java) S 2410 2410 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65410606 14309736448 7162 18446744073709551615 4194304 4196468 140726173877680 140575709926944 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2420] ppid=2410 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2420/stat : 2420 (java) S 2410 2410 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65410607 14309736448 7162 18446744073709551615 4194304 4196468 140726173877680 140575708874096 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2421] ppid=2410 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2421/stat : 2421 (java) S 2410 2410 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65410609 14309736448 7162 18446744073709551615 4194304 4196468 140726173877680 140575707822416 140576794220443 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2422] ppid=2410 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2422/stat : 2422 (java) S 2410 2410 11586 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 65410609 14309736448 7162 18446744073709551615 4194304 4196468 140726173877680 140575706769776 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2423] ppid=2410 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2423/stat : 2423 (java) S 2410 2410 11586 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 65410609 14309736448 7162 18446744073709551615 4194304 4196468 140726173877680 140575705716976 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2424] ppid=2410 vsize=13974352 memory=140450315945600 CPUtime=0.02 cores=1,3,5,7
/proc/2412/task/2424/stat : 2424 (java) R 2410 2410 11586 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 65410609 14309736448 7162 18446744073709551615 4194304 4196468 140726173877680 140575704664176 140576786438974 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2425] ppid=2410 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2425/stat : 2425 (java) S 2410 2410 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65410609 14309736448 7162 18446744073709551615 4194304 4196468 140726173877680 140575703611616 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2426] ppid=2410 vsize=13974352 memory=140450315945600 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2426/stat : 2426 (java) S 2410 2410 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65410614 14309736448 7162 18446744073709551615 4194304 4196468 140726173877680 140575702559920 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30028 KiB

[startup+0.31024 s]*
/proc/loadavg: 1.81 1.74 1.66 3/211 2426
/proc/meminfo: memFree=30178488/32770624 swapFree=67108860/67108860
[pid=2410] ppid=2407 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2410/stat : 2410 (xcsp3-exec) S 2407 2410 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 65410598 9740288 345 18446744073709551615 4194304 5098028 140721609258016 140721609256120 140127188427388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 34578432 140721609265528 140721609265733 140721609265733 140721609269227 0
/proc/2410/statm: 2378 345 289 221 0 87 0
[pid=2412] ppid=2410 vsize=13978608 memory=39892 CPUtime=0.33 cores=1,3,5,7
/proc/2412/stat : 2412 (java) S 2410 2410 11586 0 -1 1077944320 9235 0 0 0 32 1 0 0 20 0 15 0 65410604 14314094592 9973 18446744073709551615 4194304 4196468 140726173877680 140726173860224 140576794201847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
/proc/2412/statm: 3494652 9973 3025 1 0 3482964 0
[pid=2412/tid=2413] ppid=2410 vsize=13978608 memory=-8774313645642428999 CPUtime=0.2 cores=1,3,5,7
/proc/2412/task/2413/stat : 2413 (java) R 2410 2410 11586 0 -1 4202560 6499 0 0 0 19 1 0 0 20 0 15 0 65410604 14314094592 9973 18446744073709551615 4194304 4196468 140726173877680 140576798422840 140576778282334 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2414] ppid=2410 vsize=13978608 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2414/stat : 2414 (java) S 2410 2410 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65410605 14314094592 9973 18446744073709551615 4194304 4196468 140726173877680 140576763914896 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2415] ppid=2410 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2415/stat : 2415 (java) S 2410 2410 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65410605 14314094592 9973 18446744073709551615 4194304 4196468 140726173877680 140576393554448 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2416] ppid=2410 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2416/stat : 2416 (java) S 2410 2410 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65410605 14314094592 9973 18446744073709551615 4194304 4196468 140726173877680 140576392501648 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2417] ppid=2410 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2417/stat : 2417 (java) S 2410 2410 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65410605 14314094592 9973 18446744073709551615 4194304 4196468 140726173877680 140576391448848 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2418] ppid=2410 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2418/stat : 2418 (java) S 2410 2410 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65410606 14314094592 9973 18446744073709551615 4194304 4196468 140726173877680 140575710980976 140576794212994 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2419] ppid=2410 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2419/stat : 2419 (java) S 2410 2410 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65410606 14314094592 9973 18446744073709551615 4194304 4196468 140726173877680 140575709926944 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2420] ppid=2410 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2420/stat : 2420 (java) S 2410 2410 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65410607 14314094592 9973 18446744073709551615 4194304 4196468 140726173877680 140575708874096 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2421] ppid=2410 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2421/stat : 2421 (java) S 2410 2410 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65410609 14314094592 9973 18446744073709551615 4194304 4196468 140726173877680 140575707822416 140576794220443 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2422] ppid=2410 vsize=13978608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2412/task/2422/stat : 2422 (java) S 2410 2410 11586 0 -1 1077944384 447 0 0 0 1 0 0 0 20 0 15 0 65410609 14314094592 9973 18446744073709551615 4194304 4196468 140726173877680 140575706769776 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2423] ppid=2410 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2412/task/2423/stat : 2423 (java) S 2410 2410 11586 0 -1 1077944384 299 0 0 0 3 0 0 0 20 0 15 0 65410609 14314094592 9973 18446744073709551615 4194304 4196468 140726173877680 140575705716976 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2424] ppid=2410 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2412/task/2424/stat : 2424 (java) S 2410 2410 11586 0 -1 1077944384 702 0 0 0 7 0 0 0 20 0 15 0 65410609 14314094592 9973 18446744073709551615 4194304 4196468 140726173877680 140575704664176 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2425] ppid=2410 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2425/stat : 2425 (java) S 2410 2410 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65410609 14314094592 9973 18446744073709551615 4194304 4196468 140726173877680 140575703611616 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2426] ppid=2410 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2426/stat : 2426 (java) S 2410 2410 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65410614 14314094592 9973 18446744073709551615 4194304 4196468 140726173877680 140575702559920 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41272 KiB

[startup+0.704213 s]
/proc/loadavg: 1.81 1.74 1.66 4/211 2426
/proc/meminfo: memFree=30165240/32770624 swapFree=67108860/67108860
[pid=2410] ppid=2407 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2410/stat : 2410 (xcsp3-exec) S 2407 2410 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 65410598 9740288 345 18446744073709551615 4194304 5098028 140721609258016 140721609256120 140127188427388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 34578432 140721609265528 140721609265733 140721609265733 140721609269227 0
/proc/2410/statm: 2378 345 289 221 0 87 0
[pid=2412] ppid=2410 vsize=13978684 memory=135284 CPUtime=1.28 cores=1,3,5,7
/proc/2412/stat : 2412 (java) S 2410 2410 11586 0 -1 1077944320 13157 0 0 0 123 5 0 0 20 0 15 0 65410604 14314172416 33821 18446744073709551615 4194304 4196468 140726173877680 140726173860224 140576794201847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
/proc/2412/statm: 3494671 33821 3160 1 0 3482964 0
[pid=2412/tid=2413] ppid=2410 vsize=13978684 memory=4644 CPUtime=0.58 cores=1,3,5,7
/proc/2412/task/2413/stat : 2413 (java) R 2410 2410 11586 0 -1 4202560 7979 0 0 0 55 3 0 0 20 0 15 0 65410604 14314172416 33821 18446744073709551615 4194304 4196468 140726173877680 140576798439480 140576438057880 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2414] ppid=2410 vsize=13978684 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2414/stat : 2414 (java) S 2410 2410 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65410605 14314172416 33821 18446744073709551615 4194304 4196468 140726173877680 140576763914896 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2415] ppid=2410 vsize=13978684 memory=280900390642880 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2415/stat : 2415 (java) S 2410 2410 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65410605 14314172416 33821 18446744073709551615 4194304 4196468 140726173877680 140576393554448 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2416] ppid=2410 vsize=13978684 memory=280900390649648 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2416/stat : 2416 (java) S 2410 2410 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65410605 14314172416 33821 18446744073709551615 4194304 4196468 140726173877680 140576392501648 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2417] ppid=2410 vsize=13978684 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2417/stat : 2417 (java) S 2410 2410 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65410605 14314172416 33821 18446744073709551615 4194304 4196468 140726173877680 140576391448848 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2418] ppid=2410 vsize=13978684 memory=280900390658736 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2418/stat : 2418 (java) S 2410 2410 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65410606 14314172416 33821 18446744073709551615 4194304 4196468 140726173877680 140575710980976 140576794212994 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2419] ppid=2410 vsize=13978684 memory=280900390656464 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2419/stat : 2419 (java) S 2410 2410 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65410606 14314172416 33821 18446744073709551615 4194304 4196468 140726173877680 140575709926944 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2420] ppid=2410 vsize=13978684 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2420/stat : 2420 (java) S 2410 2410 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65410607 14314172416 33821 18446744073709551615 4194304 4196468 140726173877680 140575708874096 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2421] ppid=2410 vsize=13978684 memory=140450195338096 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2421/stat : 2421 (java) S 2410 2410 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65410609 14314172416 33821 18446744073709551615 4194304 4196468 140726173877680 140575707822416 140576794220443 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2422] ppid=2410 vsize=13978684 memory=280900390680944 CPUtime=0.22 cores=1,3,5,7
/proc/2412/task/2422/stat : 2422 (java) R 2410 2410 11586 0 -1 4202560 1342 0 0 0 22 0 0 0 20 0 15 0 65410609 14314172416 33821 18446744073709551615 4194304 4196468 140726173877680 140575706756560 140576777414100 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2423] ppid=2410 vsize=13978684 memory=4449 CPUtime=0.23 cores=1,3,5,7
/proc/2412/task/2423/stat : 2423 (java) R 2410 2410 11586 0 -1 4202560 1212 0 0 0 23 0 0 0 20 0 15 0 65410609 14314172416 33821 18446744073709551615 4194304 4196468 140726173877680 140575705702856 140576771796865 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2424] ppid=2410 vsize=13978684 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/2412/task/2424/stat : 2424 (java) S 2410 2410 11586 0 -1 1077944384 1320 0 0 0 22 0 0 0 20 0 15 0 65410609 14314172416 33821 18446744073709551615 4194304 4196468 140726173877680 140575704664176 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2425] ppid=2410 vsize=13978684 memory=5364 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2425/stat : 2425 (java) S 2410 2410 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65410609 14314172416 33821 18446744073709551615 4194304 4196468 140726173877680 140575703611616 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2426] ppid=2410 vsize=13978684 memory=-8484933932002684077 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2426/stat : 2426 (java) S 2410 2410 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65410614 14314172416 33821 18446744073709551615 4194304 4196468 140726173877680 140575702559920 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 136664 KiB

[startup+1.50089 s]
/proc/loadavg: 1.81 1.74 1.66 3/211 2426
/proc/meminfo: memFree=30017392/32770624 swapFree=67108860/67108860
[pid=2410] ppid=2407 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2410/stat : 2410 (xcsp3-exec) S 2407 2410 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 65410598 9740288 345 18446744073709551615 4194304 5098028 140721609258016 140721609256120 140127188427388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 34578432 140721609265528 140721609265733 140721609265733 140721609269227 0
/proc/2410/statm: 2378 345 289 221 0 87 0
[pid=2412] ppid=2410 vsize=13978684 memory=204148 CPUtime=2.56 cores=1,3,5,7
/proc/2412/stat : 2412 (java) S 2410 2410 11586 0 -1 1077944320 13658 0 0 0 249 7 0 0 20 0 15 0 65410604 14314172416 51037 18446744073709551615 4194304 4196468 140726173877680 140726173860224 140576794201847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
/proc/2412/statm: 3494671 51037 3188 1 0 3482964 0
[pid=2412/tid=2413] ppid=2410 vsize=13978684 memory=3184097924370935855 CPUtime=1.36 cores=1,3,5,7
/proc/2412/task/2413/stat : 2413 (java) R 2410 2410 11586 0 -1 4202560 8115 0 0 0 132 4 0 0 20 0 15 0 65410604 14314172416 51037 18446744073709551615 4194304 4196468 140726173877680 140576798439184 140576438772583 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2414] ppid=2410 vsize=13978684 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2414/stat : 2414 (java) S 2410 2410 11586 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 65410605 14314172416 51037 18446744073709551615 4194304 4196468 140726173877680 140576763914896 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2415] ppid=2410 vsize=13978684 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2415/stat : 2415 (java) S 2410 2410 11586 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 65410605 14314172416 51037 18446744073709551615 4194304 4196468 140726173877680 140576393554448 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2416] ppid=2410 vsize=13978684 memory=7100839870106017661 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2416/stat : 2416 (java) S 2410 2410 11586 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 65410605 14314172416 51037 18446744073709551615 4194304 4196468 140726173877680 140576392501648 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2417] ppid=2410 vsize=13978684 memory=-8412652177828189043 CPUtime=0 cores=1,3,5,7

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

/proc/2410/stat : 2410 (xcsp3-exec) S 2407 2410 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 65410598 9740288 345 18446744073709551615 4194304 5098028 140721609258016 140721609256120 140127188427388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 34578432 140721609265528 140721609265733 140721609265733 140721609269227 0
/proc/2410/statm: 2378 345 289 221 0 87 0
[pid=2412] ppid=2410 vsize=13980732 memory=266796 CPUtime=10.41 cores=1,3,5,7
/proc/2412/stat : 2412 (java) S 2410 2410 11586 0 -1 1077944320 23410 0 0 0 1028 13 0 0 20 0 15 0 65410604 14316269568 66699 18446744073709551615 4194304 4196468 140726173877680 140726173860224 140576794201847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
/proc/2412/statm: 3495183 66699 3210 1 0 3483476 0
[pid=2412/tid=2413] ppid=2410 vsize=13980732 memory=590024538737082486 CPUtime=7.83 cores=1,3,5,7
/proc/2412/task/2413/stat : 2413 (java) R 2410 2410 11586 0 -1 4202560 10592 0 0 0 778 5 0 0 20 0 15 0 65410604 14316269568 66699 18446744073709551615 4194304 4196468 140726173877680 140576798439120 140576439513194 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2414] ppid=2410 vsize=13980732 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2412/task/2414/stat : 2414 (java) S 2410 2410 11586 0 -1 1077944384 106 0 0 0 4 0 0 0 20 0 15 0 65410605 14316269568 66699 18446744073709551615 4194304 4196468 140726173877680 140576763914896 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2415] ppid=2410 vsize=13980732 memory=3689775159536043680 CPUtime=0.04 cores=1,3,5,7
/proc/2412/task/2415/stat : 2415 (java) S 2410 2410 11586 0 -1 1077944384 77 0 0 0 3 1 0 0 20 0 15 0 65410605 14316269568 66699 18446744073709551615 4194304 4196468 140726173877680 140576393554448 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2416] ppid=2410 vsize=13980732 memory=1414355462422710185 CPUtime=0.04 cores=1,3,5,7
/proc/2412/task/2416/stat : 2416 (java) S 2410 2410 11586 0 -1 1077944384 37 0 0 0 3 1 0 0 20 0 15 0 65410605 14316269568 66699 18446744073709551615 4194304 4196468 140726173877680 140576392501648 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2417] ppid=2410 vsize=13980732 memory=-3039135443232236825 CPUtime=0.04 cores=1,3,5,7
/proc/2412/task/2417/stat : 2417 (java) S 2410 2410 11586 0 -1 1077944384 47 0 0 0 3 1 0 0 20 0 15 0 65410605 14316269568 66699 18446744073709551615 4194304 4196468 140726173877680 140576391448848 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2418] ppid=2410 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2418/stat : 2418 (java) S 2410 2410 11586 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 65410606 14316269568 66699 18446744073709551615 4194304 4196468 140726173877680 140575710980976 140576794212994 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2419] ppid=2410 vsize=13980732 memory=3184097920075968559 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2419/stat : 2419 (java) S 2410 2410 11586 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 65410606 14316269568 66699 18446744073709551615 4194304 4196468 140726173877680 140575709927008 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2420] ppid=2410 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2420/stat : 2420 (java) S 2410 2410 11586 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 65410607 14316269568 66699 18446744073709551615 4194304 4196468 140726173877680 140575708874112 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2421] ppid=2410 vsize=13980732 memory=-3253322038155611931 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2421/stat : 2421 (java) S 2410 2410 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65410609 14316269568 66699 18446744073709551615 4194304 4196468 140726173877680 140575707822416 140576794220443 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2422] ppid=2410 vsize=13980732 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/2412/task/2422/stat : 2422 (java) R 2410 2410 11586 0 -1 4202560 3549 0 0 0 90 1 0 0 20 0 15 0 65410609 14316269568 66699 18446744073709551615 4194304 4196468 140726173877680 140575706755832 140576771797264 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2423] ppid=2410 vsize=13980732 memory=3467824627930116396 CPUtime=1 cores=1,3,5,7
/proc/2412/task/2423/stat : 2423 (java) R 2410 2410 11586 0 -1 4202560 4746 0 0 0 99 1 0 0 20 0 15 0 65410609 14316269568 66699 18446744073709551615 4194304 4196468 140726173877680 140575705701304 140576775721941 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2424] ppid=2410 vsize=13980732 memory=280900511507544 CPUtime=0.42 cores=1,3,5,7
/proc/2412/task/2424/stat : 2424 (java) S 2410 2410 11586 0 -1 1077944384 2405 0 0 0 42 0 0 0 20 0 15 0 65410609 14316269568 66699 18446744073709551615 4194304 4196468 140726173877680 140575704664176 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2425] ppid=2410 vsize=13980732 memory=3474588905136797233 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2425/stat : 2425 (java) S 2410 2410 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65410609 14316269568 66699 18446744073709551615 4194304 4196468 140726173877680 140575703611616 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2426] ppid=2410 vsize=13980732 memory=3472468746476517040 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2426/stat : 2426 (java) S 2410 2410 11586 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 15 0 65410614 14316269568 66699 18446744073709551615 4194304 4196468 140726173877680 140575702559920 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
Current children cumulated CPU time: 10.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 268176 KiB

[startup+9.60084 s]
/proc/loadavg: 1.90 1.77 1.67 3/211 2426
/proc/meminfo: memFree=29950596/32770624 swapFree=67108860/67108860
[pid=2410] ppid=2407 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2410/stat : 2410 (xcsp3-exec) S 2407 2410 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 65410598 9740288 345 18446744073709551615 4194304 5098028 140721609258016 140721609256120 140127188427388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 34578432 140721609265528 140721609265733 140721609265733 140721609269227 0
/proc/2410/statm: 2378 345 289 221 0 87 0
[pid=2412] ppid=2410 vsize=13980732 memory=268908 CPUtime=12.26 cores=1,3,5,7
/proc/2412/stat : 2412 (java) S 2410 2410 11586 0 -1 1077944320 24177 0 0 0 1213 13 0 0 20 0 15 0 65410604 14316269568 67227 18446744073709551615 4194304 4196468 140726173877680 140726173860224 140576794201847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
/proc/2412/statm: 3495183 67227 3210 1 0 3483476 0
[pid=2412/tid=2413] ppid=2410 vsize=13980732 memory=204184 CPUtime=9.43 cores=1,3,5,7
/proc/2412/task/2413/stat : 2413 (java) R 2410 2410 11586 0 -1 4202560 10845 0 0 0 938 5 0 0 20 0 15 0 65410604 14316269568 67227 18446744073709551615 4194304 4196468 140726173877680 140576798438608 140576439808722 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2414] ppid=2410 vsize=13980732 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2412/task/2414/stat : 2414 (java) S 2410 2410 11586 0 -1 1077944384 106 0 0 0 4 0 0 0 20 0 15 0 65410605 14316269568 67227 18446744073709551615 4194304 4196468 140726173877680 140576763914896 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2415] ppid=2410 vsize=13980732 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2412/task/2415/stat : 2415 (java) S 2410 2410 11586 0 -1 1077944384 77 0 0 0 3 1 0 0 20 0 15 0 65410605 14316269568 67227 18446744073709551615 4194304 4196468 140726173877680 140576393554448 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2416] ppid=2410 vsize=13980732 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2412/task/2416/stat : 2416 (java) S 2410 2410 11586 0 -1 1077944384 37 0 0 0 3 1 0 0 20 0 15 0 65410605 14316269568 67227 18446744073709551615 4194304 4196468 140726173877680 140576392501648 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2417] ppid=2410 vsize=13980732 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2412/task/2417/stat : 2417 (java) S 2410 2410 11586 0 -1 1077944384 47 0 0 0 3 1 0 0 20 0 15 0 65410605 14316269568 67227 18446744073709551615 4194304 4196468 140726173877680 140576391448848 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2418] ppid=2410 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2418/stat : 2418 (java) S 2410 2410 11586 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 15 0 65410606 14316269568 67227 18446744073709551615 4194304 4196468 140726173877680 140575710980976 140576794212994 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2419] ppid=2410 vsize=13980732 memory=140450195488976 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2419/stat : 2419 (java) S 2410 2410 11586 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 65410606 14316269568 67227 18446744073709551615 4194304 4196468 140726173877680 140575709927008 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2420] ppid=2410 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2420/stat : 2420 (java) S 2410 2410 11586 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 65410607 14316269568 67227 18446744073709551615 4194304 4196468 140726173877680 140575708874112 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2421] ppid=2410 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2421/stat : 2421 (java) S 2410 2410 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65410609 14316269568 67227 18446744073709551615 4194304 4196468 140726173877680 140575707822416 140576794220443 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2422] ppid=2410 vsize=13980732 memory=7236229500900889449 CPUtime=0.98 cores=1,3,5,7
/proc/2412/task/2422/stat : 2422 (java) S 2410 2410 11586 0 -1 1077944384 3558 0 0 0 97 1 0 0 20 0 15 0 65410609 14316269568 67227 18446744073709551615 4194304 4196468 140726173877680 140575706769776 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2423] ppid=2410 vsize=13980732 memory=268908 CPUtime=1.18 cores=1,3,5,7
/proc/2412/task/2423/stat : 2423 (java) S 2410 2410 11586 0 -1 1077944384 5231 0 0 0 117 1 0 0 20 0 15 0 65410609 14316269568 67227 18446744073709551615 4194304 4196468 140726173877680 140575705716976 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2424] ppid=2410 vsize=13980732 memory=1380 CPUtime=0.43 cores=1,3,5,7
/proc/2412/task/2424/stat : 2424 (java) S 2410 2410 11586 0 -1 1077944384 2406 0 0 0 43 0 0 0 20 0 15 0 65410609 14316269568 67227 18446744073709551615 4194304 4196468 140726173877680 140575704664176 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2425] ppid=2410 vsize=13980732 memory=254172 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2425/stat : 2425 (java) S 2410 2410 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65410609 14316269568 67227 18446744073709551615 4194304 4196468 140726173877680 140575703611616 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2426] ppid=2410 vsize=13980732 memory=956 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2426/stat : 2426 (java) S 2410 2410 11586 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 65410614 14316269568 67227 18446744073709551615 4194304 4196468 140726173877680 140575702559920 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
Current children cumulated CPU time: 12.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 270288 KiB

[startup+10.0008 s]*
/proc/loadavg: 1.83 1.75 1.66 3/211 2426
/proc/meminfo: memFree=29951092/32770624 swapFree=67108860/67108860
[pid=2410] ppid=2407 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2410/stat : 2410 (xcsp3-exec) S 2407 2410 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 65410598 9740288 345 18446744073709551615 4194304 5098028 140721609258016 140721609256120 140127188427388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 34578432 140721609265528 140721609265733 140721609265733 140721609269227 0
/proc/2410/statm: 2378 345 289 221 0 87 0
[pid=2412] ppid=2410 vsize=13980732 memory=268980 CPUtime=12.67 cores=1,3,5,7
/proc/2412/stat : 2412 (java) S 2410 2410 11586 0 -1 1077944320 24310 0 0 0 1254 13 0 0 20 0 15 0 65410604 14316269568 67245 18446744073709551615 4194304 4196468 140726173877680 140726173860224 140576794201847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
/proc/2412/statm: 3495183 67245 3210 1 0 3483476 0
[pid=2412/tid=2413] ppid=2410 vsize=13980732 memory=6083360768523856748 CPUtime=9.83 cores=1,3,5,7
/proc/2412/task/2413/stat : 2413 (java) R 2410 2410 11586 0 -1 4202560 10861 0 0 0 978 5 0 0 20 0 15 0 65410604 14316269568 67245 18446744073709551615 4194304 4196468 140726173877680 140576798438608 140576439513153 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2414] ppid=2410 vsize=13980732 memory=4050197454257337143 CPUtime=0.04 cores=1,3,5,7
/proc/2412/task/2414/stat : 2414 (java) S 2410 2410 11586 0 -1 1077944384 106 0 0 0 4 0 0 0 20 0 15 0 65410605 14316269568 67245 18446744073709551615 4194304 4196468 140726173877680 140576763914896 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2415] ppid=2410 vsize=13980732 memory=140450315945627 CPUtime=0.04 cores=1,3,5,7
/proc/2412/task/2415/stat : 2415 (java) S 2410 2410 11586 0 -1 1077944384 77 0 0 0 3 1 0 0 20 0 15 0 65410605 14316269568 67245 18446744073709551615 4194304 4196468 140726173877680 140576393554448 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2416] ppid=2410 vsize=13980732 memory=288292155783643526 CPUtime=0.04 cores=1,3,5,7
/proc/2412/task/2416/stat : 2416 (java) S 2410 2410 11586 0 -1 1077944384 37 0 0 0 3 1 0 0 20 0 15 0 65410605 14316269568 67245 18446744073709551615 4194304 4196468 140726173877680 140576392501648 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2417] ppid=2410 vsize=13980732 memory=30758 CPUtime=0.04 cores=1,3,5,7
/proc/2412/task/2417/stat : 2417 (java) S 2410 2410 11586 0 -1 1077944384 47 0 0 0 3 1 0 0 20 0 15 0 65410605 14316269568 67245 18446744073709551615 4194304 4196468 140726173877680 140576391448848 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2418] ppid=2410 vsize=13980732 memory=2315000805198737350 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2418/stat : 2418 (java) S 2410 2410 11586 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 15 0 65410606 14316269568 67245 18446744073709551615 4194304 4196468 140726173877680 140575710980976 140576794212994 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2419] ppid=2410 vsize=13980732 memory=2308440525531605074 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2419/stat : 2419 (java) S 2410 2410 11586 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 65410606 14316269568 67245 18446744073709551615 4194304 4196468 140726173877680 140575709927008 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2420] ppid=2410 vsize=13980732 memory=-8412661042843906680 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2420/stat : 2420 (java) S 2410 2410 11586 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 65410607 14316269568 67245 18446744073709551615 4194304 4196468 140726173877680 140575708874112 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2421] ppid=2410 vsize=13980732 memory=7308752928116373402 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2421/stat : 2421 (java) S 2410 2410 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65410609 14316269568 67245 18446744073709551615 4194304 4196468 140726173877680 140575707822416 140576794220443 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2422] ppid=2410 vsize=13980732 memory=0 CPUtime=0.98 cores=1,3,5,7
/proc/2412/task/2422/stat : 2422 (java) S 2410 2410 11586 0 -1 1077944384 3615 0 0 0 97 1 0 0 20 0 15 0 65410609 14316269568 67245 18446744073709551615 4194304 4196468 140726173877680 140575706769776 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2423] ppid=2410 vsize=13980732 memory=3618133446627500085 CPUtime=1.18 cores=1,3,5,7
/proc/2412/task/2423/stat : 2423 (java) S 2410 2410 11586 0 -1 1077944384 5289 0 0 0 117 1 0 0 20 0 15 0 65410609 14316269568 67245 18446744073709551615 4194304 4196468 140726173877680 140575705716976 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2424] ppid=2410 vsize=13980732 memory=3761832745020751537 CPUtime=0.43 cores=1,3,5,7
/proc/2412/task/2424/stat : 2424 (java) S 2410 2410 11586 0 -1 1077944384 2408 0 0 0 43 0 0 0 20 0 15 0 65410609 14316269568 67245 18446744073709551615 4194304 4196468 140726173877680 140575704664176 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2425] ppid=2410 vsize=13980732 memory=2320256744174401586 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2425/stat : 2425 (java) S 2410 2410 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65410609 14316269568 67245 18446744073709551615 4194304 4196468 140726173877680 140575703611616 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2426] ppid=2410 vsize=13980732 memory=140450315945600 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2426/stat : 2426 (java) S 2410 2410 11586 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 65410614 14316269568 67245 18446744073709551615 4194304 4196468 140726173877680 140575702559920 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 270360 KiB

[startup+10.4008 s]
/proc/loadavg: 1.83 1.75 1.66 3/211 2426
/proc/meminfo: memFree=29951092/32770624 swapFree=67108860/67108860
[pid=2410] ppid=2407 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2410/stat : 2410 (xcsp3-exec) S 2407 2410 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 65410598 9740288 345 18446744073709551615 4194304 5098028 140721609258016 140721609256120 140127188427388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 34578432 140721609265528 140721609265733 140721609265733 140721609269227 0
/proc/2410/statm: 2378 345 289 221 0 87 0
[pid=2412] ppid=2410 vsize=13980732 memory=264792 CPUtime=13.07 cores=1,3,5,7
/proc/2412/stat : 2412 (java) S 2410 2410 11586 0 -1 1077944320 24848 0 0 0 1294 13 0 0 20 0 15 0 65410604 14316269568 66198 18446744073709551615 4194304 4196468 140726173877680 140726173860224 140576794201847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
/proc/2412/statm: 3495183 66198 3210 1 0 3483476 0
[pid=2412/tid=2413] ppid=2410 vsize=13980732 memory=7680170660397595203 CPUtime=10.23 cores=1,3,5,7
/proc/2412/task/2413/stat : 2413 (java) R 2410 2410 11586 0 -1 4202560 10862 0 0 0 1018 5 0 0 20 0 15 0 65410604 14316269568 66198 18446744073709551615 4194304 4196468 140726173877680 140576798439192 140576439471050 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2414] ppid=2410 vsize=13980732 memory=1296 CPUtime=0.04 cores=1,3,5,7
/proc/2412/task/2414/stat : 2414 (java) S 2410 2410 11586 0 -1 1077944384 106 0 0 0 4 0 0 0 20 0 15 0 65410605 14316269568 66198 18446744073709551615 4194304 4196468 140726173877680 140576763914896 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2415] ppid=2410 vsize=13980732 memory=1728 CPUtime=0.04 cores=1,3,5,7
/proc/2412/task/2415/stat : 2415 (java) S 2410 2410 11586 0 -1 1077944384 77 0 0 0 3 1 0 0 20 0 15 0 65410605 14316269568 66198 18446744073709551615 4194304 4196468 140726173877680 140576393554448 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2416] ppid=2410 vsize=13980732 memory=5788 CPUtime=0.04 cores=1,3,5,7
/proc/2412/task/2416/stat : 2416 (java) S 2410 2410 11586 0 -1 1077944384 37 0 0 0 3 1 0 0 20 0 15 0 65410605 14316269568 66198 18446744073709551615 4194304 4196468 140726173877680 140576392501648 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2417] ppid=2410 vsize=13980732 memory=1996 CPUtime=0.04 cores=1,3,5,7
/proc/2412/task/2417/stat : 2417 (java) S 2410 2410 11586 0 -1 1077944384 47 0 0 0 3 1 0 0 20 0 15 0 65410605 14316269568 66198 18446744073709551615 4194304 4196468 140726173877680 140576391448848 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2418] ppid=2410 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2418/stat : 2418 (java) S 2410 2410 11586 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 15 0 65410606 14316269568 66198 18446744073709551615 4194304 4196468 140726173877680 140575710980976 140576794212994 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2419] ppid=2410 vsize=13980732 memory=9992 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2419/stat : 2419 (java) S 2410 2410 11586 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 65410606 14316269568 66198 18446744073709551615 4194304 4196468 140726173877680 140575709927008 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2420] ppid=2410 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2420/stat : 2420 (java) S 2410 2410 11586 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 65410607 14316269568 66198 18446744073709551615 4194304 4196468 140726173877680 140575708874112 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2421] ppid=2410 vsize=13980732 memory=268980 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2421/stat : 2421 (java) S 2410 2410 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65410609 14316269568 66198 18446744073709551615 4194304 4196468 140726173877680 140575707822416 140576794220443 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2422] ppid=2410 vsize=13980732 memory=4284 CPUtime=0.98 cores=1,3,5,7
/proc/2412/task/2422/stat : 2422 (java) S 2410 2410 11586 0 -1 1077944384 3615 0 0 0 97 1 0 0 20 0 15 0 65410609 14316269568 66198 18446744073709551615 4194304 4196468 140726173877680 140575706769776 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2423] ppid=2410 vsize=13980732 memory=928 CPUtime=1.18 cores=1,3,5,7
/proc/2412/task/2423/stat : 2423 (java) S 2410 2410 11586 0 -1 1077944384 5289 0 0 0 117 1 0 0 20 0 15 0 65410609 14316269568 66198 18446744073709551615 4194304 4196468 140726173877680 140575705716976 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2424] ppid=2410 vsize=13980732 memory=280900391069952 CPUtime=0.43 cores=1,3,5,7
/proc/2412/task/2424/stat : 2424 (java) S 2410 2410 11586 0 -1 1077944384 2416 0 0 0 43 0 0 0 20 0 15 0 65410609 14316269568 66198 18446744073709551615 4194304 4196468 140726173877680 140575704664176 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2425] ppid=2410 vsize=13980732 memory=140450195347088 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2425/stat : 2425 (java) S 2410 2410 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65410609 14316269568 66198 18446744073709551615 4194304 4196468 140726173877680 140575703611616 140576794212053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
[pid=2412/tid=2426] ppid=2410 vsize=13980732 memory=3472468746423026400 CPUtime=0 cores=1,3,5,7
/proc/2412/task/2426/stat : 2426 (java) S 2410 2410 11586 0 -1 1077944384 647 0 0 0 0 0 0 0 20 0 15 0 65410614 14316269568 66198 18446744073709551615 4194304 4196468 140726173877680 140575702559920 140576794212994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37130240 140726173880753 140726173880929 140726173880929 140726173884367 0
Current children cumulated CPU time: 13.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 266172 KiB

Child status: 0
Real time (s): 10.4483
CPU time (s): 13.1263
CPU user time (s): 12.9832
CPU system time (s): 0.143059
CPU usage (%): 125.631
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 270360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.9832
system time used= 0.143059
maximum resident set size= 268980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25755
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2731
involuntary context switches= 29


# summary of solver processes directly reported to runsolver:
#   pid: 2410
#   total CPU time (s): 13.1263
#   total CPU user time (s): 12.9832
#   total CPU system time (s): 0.143059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.087789 second user time and 0.143902 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-15 06:04:03
IDJOB=4269654
IDBENCH=125997
IDSOLVER=2660
FILE ID=node124/4269654-1502770700
RUNJOBID= node124-1502673801-14690
PBS_JOBID= 
Free space on /tmp= 62020 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-24.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4269654-1502770700/watcher-4269654-1502770700 -o /tmp/evaluation-result-4269654-1502770700/solver-4269654-1502770700 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1044170617 HOME/instance-4269654-1502770700.xml

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

MD5SUM BENCH= 12e2e274c64cbf9c8a04283668281b9c
RANDOM SEED=1044170617

node124.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.51
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.51
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.51
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.51
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:        30208456 kB
MemAvailable:   30614300 kB
Buffers:          232520 kB
Cached:           460728 kB
SwapCached:            0 kB
Active:          1830576 kB
Inactive:         280396 kB
Active(anon):    1369276 kB
Inactive(anon):    81952 kB
Active(file):     461300 kB
Inactive(file):   198444 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              9864 kB
Writeback:             0 kB
AnonPages:       1417396 kB
Mapped:            58912 kB
Shmem:             33512 kB
Slab:             150720 kB
SReclaimable:     123872 kB
SUnreclaim:        26848 kB
KernelStack:        3456 kB
PageTables:         7808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1995468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1337344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62012 MiB
End job on node124 at 2017-08-15 06:04:14