Trace number 4269686

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)SAT 71.564796 68.437401

General information on the benchmark

NameQueenAttacking/QueenAttacking-xcsp2-s1/
QueenAttacking-07_X2.xml
MD5SUMbe036177e118ca84375e398cb8709600
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark9.9911203
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints1191
Number of domains2
Minimum domain size10
Maximum domain size49
Distribution of domain sizes[{"size":10,"count":1},{"size":49,"count":49}]
Minimum variable degree15
Maximum variable degree49
Distribution of variable degrees[{"degree":15,"count":1},{"degree":48,"count":34},{"degree":49,"count":15}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1191}]
Number of extensional constraints0
Number of intensional constraints1191
Distribution of constraint types[{"type":"intension","count":1191}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269686-1502799125.xml"  -tl '2520s' -p 1 -x 0
0.11/0.26	c [HOME/instance-4269686-1502799125.xml, -tl, 2520s, -p, 1, -x, 0]
0.31/0.32	c simple solver
0.31/0.39	c parse instance...
1.83/0.99	c solve instance...
71.52/68.42	s SATISFIABLE
71.52/68.42	v <instantiation>
71.52/68.42	v 	<list>w0 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] </list>
71.52/68.42	v 	<values>16 6 19 32 23 14 1 10 5 18 13 4 9 0 15 24 11 2 17 8 3 16 7 22 31 46 41 26 39 48 33 20 25 34 47 38 43 28 37 42 29 44 35 30 21 36 45 40 27 12 </values>
71.52/68.42	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269686-1502799125/watcher-4269686-1502799125 -o /tmp/evaluation-result-4269686-1502799125/solver-4269686-1502799125 -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 721127214 HOME/instance-4269686-1502799125.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=7610, runsolver pid=7607


[startup+0.100062 s]*
/proc/loadavg: 1.61 1.54 1.63 3/202 7617
/proc/meminfo: memFree=31360308/32770624 swapFree=67108860/67108860
[pid=7610] ppid=7607 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7610/stat : 7610 (xcsp3-exec) S 7607 7610 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 68253166 9740288 345 18446744073709551615 4194304 5098028 140733861696080 140733861694184 140684616290940 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32288768 140733861704057 140733861704261 140733861704261 140733861707755 0
/proc/7610/statm: 2378 345 289 221 0 87 0
[pid=7612] ppid=7610 vsize=13441356 memory=16940 CPUtime=0.01 cores=1,3,5,7
/proc/7612/stat : 7612 (java) S 7610 7610 11586 0 -1 1077944320 3487 0 0 0 1 0 0 0 20 0 7 0 68253174 13763948544 4235 18446744073709551615 4194304 4196468 140728940466864 140728940449408 140058167910135 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
/proc/7612/statm: 3360339 4235 1983 1 0 3349836 0
[pid=7612/tid=7613] ppid=7610 vsize=13441356 memory=1404226546319073930 CPUtime=0.01 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (java) R 7610 7610 11586 0 -1 4202560 2270 0 0 0 1 0 0 0 20 0 7 0 68253175 13763948544 4235 18446744073709551615 4194304 4196468 140728940466864 140058172152592 140058150383856 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7614] ppid=7610 vsize=13441356 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (java) S 7610 7610 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 68253175 13763948544 4235 18446744073709551615 4194304 4196468 140728940466864 140058087324304 140058167920341 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7615] ppid=7610 vsize=13441356 memory=139889655813760 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (java) S 7610 7610 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 68253175 13763948544 4235 18446744073709551615 4194304 4196468 140728940466864 140058086271504 140058167920341 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7616] ppid=7610 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7616/stat : 7616 (java) S 7610 7610 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 68253175 13763948544 4235 18446744073709551615 4194304 4196468 140728940466864 140058085218704 140058167920341 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7617] ppid=7610 vsize=13441356 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7617/stat : 7617 (java) S 7610 7610 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 68253175 13763948544 4235 18446744073709551615 4194304 4196468 140728940466864 140058084165904 140058167920341 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7618] ppid=7610 vsize=13441356 memory=139889655813760 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7618/stat : 7618 (java) S 7610 7610 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 68253177 13763948544 4235 18446744073709551615 4194304 4196468 140728940466864 140057645661040 140058167921282 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 18320 KiB

[startup+0.219185 s]*
/proc/loadavg: 1.61 1.54 1.63 3/211 7626
/proc/meminfo: memFree=31350920/32770624 swapFree=67108860/67108860
[pid=7610] ppid=7607 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7610/stat : 7610 (xcsp3-exec) S 7607 7610 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 68253166 9740288 345 18446744073709551615 4194304 5098028 140733861696080 140733861694184 140684616290940 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32288768 140733861704057 140733861704261 140733861704261 140733861707755 0
/proc/7610/statm: 2378 345 289 221 0 87 0
[pid=7612] ppid=7610 vsize=13974352 memory=28432 CPUtime=0.11 cores=1,3,5,7
/proc/7612/stat : 7612 (java) S 7610 7610 11586 0 -1 1077944320 5095 0 0 0 10 1 0 0 20 0 15 0 68253174 14309736448 7108 18446744073709551615 4194304 4196468 140728940466864 140728940449408 140058167910135 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
/proc/7612/statm: 3493588 7108 2809 1 0 3482964 0
[pid=7612/tid=7613] ppid=7610 vsize=13974352 memory=7022364594140610616 CPUtime=0.08 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (java) R 7610 7610 11586 0 -1 4202560 3121 0 0 0 8 0 0 0 20 0 15 0 68253175 14309736448 7108 18446744073709551615 4194304 4196468 140728940466864 140058172126112 140058167922070 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7614] ppid=7610 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (java) S 7610 7610 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68253175 14309736448 7108 18446744073709551615 4194304 4196468 140728940466864 140058087324304 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7615] ppid=7610 vsize=13974352 memory=15392547807565464 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (java) S 7610 7610 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68253175 14309736448 7108 18446744073709551615 4194304 4196468 140728940466864 140058086271504 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7616] ppid=7610 vsize=13974352 memory=139889655813760 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7616/stat : 7616 (java) S 7610 7610 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68253175 14309736448 7108 18446744073709551615 4194304 4196468 140728940466864 140058085218704 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7617] ppid=7610 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7617/stat : 7617 (java) S 7610 7610 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 68253175 14309736448 7108 18446744073709551615 4194304 4196468 140728940466864 140058084165904 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7618] ppid=7610 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7618/stat : 7618 (java) S 7610 7610 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 68253177 14309736448 7108 18446744073709551615 4194304 4196468 140728940466864 140057645661040 140058167921282 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7619] ppid=7610 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7619/stat : 7619 (java) S 7610 7610 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 68253177 14309736448 7108 18446744073709551615 4194304 4196468 140728940466864 140057644607008 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7620] ppid=7610 vsize=13974352 memory=139889655813760 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7620/stat : 7620 (java) S 7610 7610 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 68253177 14309736448 7108 18446744073709551615 4194304 4196468 140728940466864 140057643554160 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7621] ppid=7610 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7621/stat : 7621 (java) S 7610 7610 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68253180 14309736448 7108 18446744073709551615 4194304 4196468 140728940466864 140057642502480 140058167928731 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7622] ppid=7610 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7622/stat : 7622 (java) S 7610 7610 11586 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 68253180 14309736448 7108 18446744073709551615 4194304 4196468 140728940466864 140057641449840 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7623] ppid=7610 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7623/stat : 7623 (java) S 7610 7610 11586 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 68253180 14309736448 7108 18446744073709551615 4194304 4196468 140728940466864 140057640397040 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7624] ppid=7610 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/7612/task/7624/stat : 7624 (java) R 7610 7610 11586 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 15 0 68253180 14309736448 7108 18446744073709551615 4194304 4196468 140728940466864 140057639344240 140058149473710 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7625] ppid=7610 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7625/stat : 7625 (java) S 7610 7610 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68253180 14309736448 7108 18446744073709551615 4194304 4196468 140728940466864 140057638291680 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7626] ppid=7610 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7626/stat : 7626 (java) S 7610 7610 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68253184 14309736448 7108 18446744073709551615 4194304 4196468 140728940466864 140057637239984 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29812 KiB

[startup+0.313524 s]*
/proc/loadavg: 1.61 1.54 1.63 3/211 7626
/proc/meminfo: memFree=31340236/32770624 swapFree=67108860/67108860
[pid=7610] ppid=7607 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7610/stat : 7610 (xcsp3-exec) S 7607 7610 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 68253166 9740288 345 18446744073709551615 4194304 5098028 140733861696080 140733861694184 140684616290940 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32288768 140733861704057 140733861704261 140733861704261 140733861707755 0
/proc/7610/statm: 2378 345 289 221 0 87 0
[pid=7612] ppid=7610 vsize=13974352 memory=40084 CPUtime=0.31 cores=1,3,5,7
/proc/7612/stat : 7612 (java) S 7610 7610 11586 0 -1 1077944320 8669 0 0 0 28 3 0 0 20 0 15 0 68253174 14309736448 10021 18446744073709551615 4194304 4196468 140728940466864 140728940449408 140058167910135 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
/proc/7612/statm: 3493588 10021 3037 1 0 3482964 0
[pid=7612/tid=7613] ppid=7610 vsize=13974352 memory=6933928925625698159 CPUtime=0.18 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (java) R 7610 7610 11586 0 -1 4202560 5838 0 0 0 16 2 0 0 20 0 15 0 68253175 14309736448 10021 18446744073709551615 4194304 4196468 140728940466864 140058172128224 140058150317233 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7614] ppid=7610 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (java) S 7610 7610 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68253175 14309736448 10021 18446744073709551615 4194304 4196468 140728940466864 140058087324304 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7615] ppid=7610 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (java) S 7610 7610 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68253175 14309736448 10021 18446744073709551615 4194304 4196468 140728940466864 140058086271504 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7616] ppid=7610 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7616/stat : 7616 (java) S 7610 7610 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68253175 14309736448 10021 18446744073709551615 4194304 4196468 140728940466864 140058085218704 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7617] ppid=7610 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7617/stat : 7617 (java) S 7610 7610 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 68253175 14309736448 10021 18446744073709551615 4194304 4196468 140728940466864 140058084165904 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7618] ppid=7610 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7618/stat : 7618 (java) S 7610 7610 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 68253177 14309736448 10021 18446744073709551615 4194304 4196468 140728940466864 140057645661040 140058167921282 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7619] ppid=7610 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7619/stat : 7619 (java) S 7610 7610 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 68253177 14309736448 10021 18446744073709551615 4194304 4196468 140728940466864 140057644607008 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7620] ppid=7610 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7620/stat : 7620 (java) S 7610 7610 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 68253177 14309736448 10021 18446744073709551615 4194304 4196468 140728940466864 140057643554160 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7621] ppid=7610 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7621/stat : 7621 (java) S 7610 7610 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68253180 14309736448 10021 18446744073709551615 4194304 4196468 140728940466864 140057642502480 140058167928731 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7622] ppid=7610 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7612/task/7622/stat : 7622 (java) R 7610 7610 11586 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 15 0 68253180 14309736448 10021 18446744073709551615 4194304 4196468 140728940466864 140057641449840 140058167921282 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7623] ppid=7610 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7612/task/7623/stat : 7623 (java) S 7610 7610 11586 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 15 0 68253180 14309736448 10021 18446744073709551615 4194304 4196468 140728940466864 140057640397040 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7624] ppid=7610 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/7612/task/7624/stat : 7624 (java) R 7610 7610 11586 0 -1 4202560 718 0 0 0 6 0 0 0 20 0 15 0 68253180 14309736448 10021 18446744073709551615 4194304 4196468 140728940466864 140057639344240 140058147044839 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7625] ppid=7610 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7625/stat : 7625 (java) S 7610 7610 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68253180 14309736448 10021 18446744073709551615 4194304 4196468 140728940466864 140057638291680 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7626] ppid=7610 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7626/stat : 7626 (java) S 7610 7610 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68253184 14309736448 10021 18446744073709551615 4194304 4196468 140728940466864 140057637239984 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41464 KiB

[startup+0.700816 s]
/proc/loadavg: 1.61 1.54 1.63 6/211 7626
/proc/meminfo: memFree=31329528/32770624 swapFree=67108860/67108860
[pid=7610] ppid=7607 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7610/stat : 7610 (xcsp3-exec) S 7607 7610 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 68253166 9740288 345 18446744073709551615 4194304 5098028 140733861696080 140733861694184 140684616290940 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32288768 140733861704057 140733861704261 140733861704261 140733861707755 0
/proc/7610/statm: 2378 345 289 221 0 87 0
[pid=7612] ppid=7610 vsize=13980732 memory=65136 CPUtime=1.17 cores=1,3,5,7
/proc/7612/stat : 7612 (java) S 7610 7610 11586 0 -1 1077944320 11890 0 0 0 112 5 0 0 20 0 15 0 68253174 14316269568 16284 18446744073709551615 4194304 4196468 140728940466864 140728940449408 140058167910135 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
/proc/7612/statm: 3495183 16284 3162 1 0 3483476 0
[pid=7612/tid=7613] ppid=7610 vsize=13980732 memory=164 CPUtime=0.55 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (java) R 7610 7610 11586 0 -1 4202560 7945 0 0 0 52 3 0 0 20 0 15 0 68253175 14316269568 16284 18446744073709551615 4194304 4196468 140728940466864 140058172146320 140058167922070 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7614] ppid=7610 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (java) S 7610 7610 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68253175 14316269568 16284 18446744073709551615 4194304 4196468 140728940466864 140058087324304 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7615] ppid=7610 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (java) S 7610 7610 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68253175 14316269568 16284 18446744073709551615 4194304 4196468 140728940466864 140058086271504 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7616] ppid=7610 vsize=13980732 memory=1400504754925836930 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7616/stat : 7616 (java) S 7610 7610 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68253175 14316269568 16284 18446744073709551615 4194304 4196468 140728940466864 140058085218704 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7617] ppid=7610 vsize=13980732 memory=170926128 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7617/stat : 7617 (java) S 7610 7610 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 68253175 14316269568 16284 18446744073709551615 4194304 4196468 140728940466864 140058084165904 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7618] ppid=7610 vsize=13980732 memory=7660742144744843625 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7618/stat : 7618 (java) S 7610 7610 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 68253177 14316269568 16284 18446744073709551615 4194304 4196468 140728940466864 140057645661040 140058167921282 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7619] ppid=7610 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7619/stat : 7619 (java) S 7610 7610 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 68253177 14316269568 16284 18446744073709551615 4194304 4196468 140728940466864 140057644607008 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7620] ppid=7610 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7620/stat : 7620 (java) S 7610 7610 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 68253177 14316269568 16284 18446744073709551615 4194304 4196468 140728940466864 140057643554160 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7621] ppid=7610 vsize=13980732 memory=139889500758640 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7621/stat : 7621 (java) S 7610 7610 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68253180 14316269568 16284 18446744073709551615 4194304 4196468 140728940466864 140057642502480 140058167928731 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7622] ppid=7610 vsize=13980732 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/7612/task/7622/stat : 7622 (java) S 7610 7610 11586 0 -1 1077944384 684 0 0 0 13 0 0 0 20 0 15 0 68253180 14316269568 16284 18446744073709551615 4194304 4196468 140728940466864 140057641449840 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7623] ppid=7610 vsize=13980732 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/7612/task/7623/stat : 7623 (java) R 7610 7610 11586 0 -1 4202560 651 0 0 0 14 0 0 0 20 0 15 0 68253180 14316269568 16284 18446744073709551615 4194304 4196468 140728940466864 140057640383152 140058167931482 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7624] ppid=7610 vsize=13980732 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/7612/task/7624/stat : 7624 (java) R 7610 7610 11586 0 -1 4202560 1304 0 0 0 32 0 0 0 20 0 15 0 68253180 14316269568 16284 18446744073709551615 4194304 4196468 140728940466864 140057639344240 140058161006971 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7625] ppid=7610 vsize=13980732 memory=7809523229951467568 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7625/stat : 7625 (java) S 7610 7610 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68253180 14316269568 16284 18446744073709551615 4194304 4196468 140728940466864 140057638291680 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7626] ppid=7610 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7626/stat : 7626 (java) S 7610 7610 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68253184 14316269568 16284 18446744073709551615 4194304 4196468 140728940466864 140057637239984 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66516 KiB

[startup+1.50088 s]
/proc/loadavg: 1.61 1.54 1.63 8/211 7626
/proc/meminfo: memFree=31263096/32770624 swapFree=67108860/67108860
[pid=7610] ppid=7607 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7610/stat : 7610 (xcsp3-exec) S 7607 7610 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 68253166 9740288 345 18446744073709551615 4194304 5098028 140733861696080 140733861694184 140684616290940 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32288768 140733861704057 140733861704261 140733861704261 140733861707755 0
/proc/7610/statm: 2378 345 289 221 0 87 0
[pid=7612] ppid=7610 vsize=13980732 memory=131528 CPUtime=3.72 cores=1,3,5,7
/proc/7612/stat : 7612 (java) S 7610 7610 11586 0 -1 1077944320 40432 0 0 0 362 10 0 0 20 0 15 0 68253174 14316269568 32882 18446744073709551615 4194304 4196468 140728940466864 140728940449408 140058167910135 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
/proc/7612/statm: 3495183 32882 3188 1 0 3483476 0
[pid=7612/tid=7613] ppid=7610 vsize=13980732 memory=-3621219715169225006 CPUtime=1.35 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (java) R 7610 7610 11586 0 -1 4202560 8379 0 0 0 131 4 0 0 20 0 15 0 68253175 14316269568 32882 18446744073709551615 4194304 4196468 140728940466864 140058172147408 140057765253620 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7614] ppid=7610 vsize=13980732 memory=-7751062316387021378 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (java) S 7610 7610 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68253175 14316269568 32882 18446744073709551615 4194304 4196468 140728940466864 140058087324304 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7615] ppid=7610 vsize=13980732 memory=164 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (java) S 7610 7610 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68253175 14316269568 32882 18446744073709551615 4194304 4196468 140728940466864 140058086271504 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7616] ppid=7610 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7616/stat : 7616 (java) S 7610 7610 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68253175 14316269568 32882 18446744073709551615 4194304 4196468 140728940466864 140058085218704 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7617] ppid=7610 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7617/stat : 7617 (java) S 7610 7610 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 68253175 14316269568 32882 18446744073709551615 4194304 4196468 140728940466864 140058084165904 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7618] ppid=7610 vsize=13980732 memory=1400504754925836930 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7618/stat : 7618 (java) S 7610 7610 11586 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 68253177 14316269568 32882 18446744073709551615 4194304 4196468 140728940466864 140057645661040 140058167921282 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7619] ppid=7610 vsize=13980732 memory=170926128 CPUtime=0 cores=1,3,5,7

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

/proc/7610/stat : 7610 (xcsp3-exec) S 7607 7610 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 68253166 9740288 345 18446744073709551615 4194304 5098028 140733861696080 140733861694184 140684616290940 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32288768 140733861704057 140733861704261 140733861704261 140733861707755 0
/proc/7610/statm: 2378 345 289 221 0 87 0
[pid=7612] ppid=7610 vsize=13980732 memory=231680 CPUtime=68.7 cores=1,3,5,7
/proc/7612/stat : 7612 (java) S 7610 7610 11586 0 -1 1077944320 58619 0 0 0 6857 13 0 0 20 0 15 0 68253174 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140728940449408 140058167910135 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
/proc/7612/statm: 3495183 57920 3225 1 0 3483476 0
[pid=7612/tid=7613] ppid=7610 vsize=13980732 memory=231680 CPUtime=65.43 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (java) R 7610 7610 11586 0 -1 4202560 11072 0 0 0 6538 5 0 0 20 0 15 0 68253175 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140058172146936 140057763265691 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7614] ppid=7610 vsize=13980732 memory=178684 CPUtime=0.01 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (java) S 7610 7610 11586 0 -1 1077944384 1492 0 0 0 1 0 0 0 20 0 15 0 68253175 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140058087324304 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7615] ppid=7610 vsize=13980732 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (java) S 7610 7610 11586 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 68253175 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140058086271504 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7616] ppid=7610 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7616/stat : 7616 (java) S 7610 7610 11586 0 -1 1077944384 675 0 0 0 0 0 0 0 20 0 15 0 68253175 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140058085218704 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7617] ppid=7610 vsize=13980732 memory=231668 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7617/stat : 7617 (java) S 7610 7610 11586 0 -1 1077944384 865 0 0 0 0 0 0 0 20 0 15 0 68253175 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140058084165904 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7618] ppid=7610 vsize=13980732 memory=55 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7618/stat : 7618 (java) S 7610 7610 11586 0 -1 1077944384 942 0 0 0 0 0 0 0 20 0 15 0 68253177 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140057645661040 140058167921282 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7619] ppid=7610 vsize=13980732 memory=3054156605368933524 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7619/stat : 7619 (java) S 7610 7610 11586 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 68253177 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140057644607008 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7620] ppid=7610 vsize=13980732 memory=8514726395715218844 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7620/stat : 7620 (java) S 7610 7610 11586 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 68253177 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140057643554160 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7621] ppid=7610 vsize=13980732 memory=8514726395715218844 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7621/stat : 7621 (java) S 7610 7610 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68253180 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140057642502480 140058167928731 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7622] ppid=7610 vsize=13980732 memory=5450916488555034154 CPUtime=1.33 cores=1,3,5,7
/proc/7612/task/7622/stat : 7622 (java) S 7610 7610 11586 0 -1 1077944384 15811 0 0 0 131 2 0 0 20 0 15 0 68253180 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140057641449840 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7623] ppid=7610 vsize=13980732 memory=5450909908396308010 CPUtime=1.17 cores=1,3,5,7
/proc/7612/task/7623/stat : 7623 (java) S 7610 7610 11586 0 -1 1077944384 16420 0 0 0 116 1 0 0 20 0 15 0 68253180 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140057640397040 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7624] ppid=7610 vsize=13980732 memory=-8814538831020006773 CPUtime=0.66 cores=1,3,5,7
/proc/7612/task/7624/stat : 7624 (java) S 7610 7610 11586 0 -1 1077944384 8168 0 0 0 65 1 0 0 20 0 15 0 68253180 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140057639344240 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7625] ppid=7610 vsize=13980732 memory=7898351070516488779 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7625/stat : 7625 (java) S 7610 7610 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68253180 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140057638291680 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7626] ppid=7610 vsize=13980732 memory=2384 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7626/stat : 7626 (java) S 7610 7610 11586 0 -1 1077944384 1585 0 0 0 0 0 0 0 20 0 15 0 68253184 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140057637239984 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
Current children cumulated CPU time: 68.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 233060 KiB

[startup+67.2007 s]
/proc/loadavg: 1.69 1.57 1.64 3/211 7706
/proc/meminfo: memFree=31146720/32770624 swapFree=67108860/67108860
[pid=7610] ppid=7607 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7610/stat : 7610 (xcsp3-exec) S 7607 7610 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 68253166 9740288 345 18446744073709551615 4194304 5098028 140733861696080 140733861694184 140684616290940 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32288768 140733861704057 140733861704261 140733861704261 140733861707755 0
/proc/7610/statm: 2378 345 289 221 0 87 0
[pid=7612] ppid=7610 vsize=13980732 memory=231680 CPUtime=70.3 cores=1,3,5,7
/proc/7612/stat : 7612 (java) S 7610 7610 11586 0 -1 1077944320 58620 0 0 0 7017 13 0 0 20 0 15 0 68253174 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140728940449408 140058167910135 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
/proc/7612/statm: 3495183 57920 3225 1 0 3483476 0
[pid=7612/tid=7613] ppid=7610 vsize=13980732 memory=231668 CPUtime=67.03 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (java) R 7610 7610 11586 0 -1 4202560 11073 0 0 0 6698 5 0 0 20 0 15 0 68253175 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140058172146936 140057765254103 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7614] ppid=7610 vsize=13980732 memory=1156 CPUtime=0.01 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (java) S 7610 7610 11586 0 -1 1077944384 1492 0 0 0 1 0 0 0 20 0 15 0 68253175 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140058087324304 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7615] ppid=7610 vsize=13980732 memory=38308 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (java) S 7610 7610 11586 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 68253175 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140058086271504 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7616] ppid=7610 vsize=13980732 memory=2384 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7616/stat : 7616 (java) S 7610 7610 11586 0 -1 1077944384 675 0 0 0 0 0 0 0 20 0 15 0 68253175 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140058085218704 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7617] ppid=7610 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7617/stat : 7617 (java) S 7610 7610 11586 0 -1 1077944384 865 0 0 0 0 0 0 0 20 0 15 0 68253175 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140058084165904 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7618] ppid=7610 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7618/stat : 7618 (java) S 7610 7610 11586 0 -1 1077944384 942 0 0 0 0 0 0 0 20 0 15 0 68253177 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140057645661040 140058167921282 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7619] ppid=7610 vsize=13980732 memory=231668 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7619/stat : 7619 (java) S 7610 7610 11586 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 68253177 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140057644607008 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7620] ppid=7610 vsize=13980732 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7620/stat : 7620 (java) S 7610 7610 11586 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 68253177 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140057643554160 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7621] ppid=7610 vsize=13980732 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7621/stat : 7621 (java) S 7610 7610 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68253180 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140057642502480 140058167928731 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7622] ppid=7610 vsize=13980732 memory=7680170660397595203 CPUtime=1.33 cores=1,3,5,7
/proc/7612/task/7622/stat : 7622 (java) S 7610 7610 11586 0 -1 1077944384 15811 0 0 0 131 2 0 0 20 0 15 0 68253180 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140057641449840 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7623] ppid=7610 vsize=13980732 memory=231680 CPUtime=1.17 cores=1,3,5,7
/proc/7612/task/7623/stat : 7623 (java) S 7610 7610 11586 0 -1 1077944384 16420 0 0 0 116 1 0 0 20 0 15 0 68253180 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140057640397040 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7624] ppid=7610 vsize=13980732 memory=1716 CPUtime=0.66 cores=1,3,5,7
/proc/7612/task/7624/stat : 7624 (java) S 7610 7610 11586 0 -1 1077944384 8168 0 0 0 65 1 0 0 20 0 15 0 68253180 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140057639344240 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7625] ppid=7610 vsize=13980732 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7625/stat : 7625 (java) S 7610 7610 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68253180 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140057638291680 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7626] ppid=7610 vsize=13980732 memory=2384 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7626/stat : 7626 (java) S 7610 7610 11586 0 -1 1077944384 1585 0 0 0 0 0 0 0 20 0 15 0 68253184 14316269568 57920 18446744073709551615 4194304 4196468 140728940466864 140057637239984 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
Current children cumulated CPU time: 70.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 233060 KiB

[startup+68.0007 s]*
/proc/loadavg: 1.69 1.57 1.64 3/211 7706
/proc/meminfo: memFree=31150256/32770624 swapFree=67108860/67108860
[pid=7610] ppid=7607 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7610/stat : 7610 (xcsp3-exec) S 7607 7610 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 68253166 9740288 345 18446744073709551615 4194304 5098028 140733861696080 140733861694184 140684616290940 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32288768 140733861704057 140733861704261 140733861704261 140733861707755 0
/proc/7610/statm: 2378 345 289 221 0 87 0
[pid=7612] ppid=7610 vsize=13980732 memory=228096 CPUtime=71.12 cores=1,3,5,7
/proc/7612/stat : 7612 (java) S 7610 7610 11586 0 -1 1077944320 59235 0 0 0 7098 14 0 0 20 0 15 0 68253174 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140728940449408 140058167910135 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
/proc/7612/statm: 3495183 57024 3225 1 0 3483476 0
[pid=7612/tid=7613] ppid=7610 vsize=13980732 memory=6933928925625698159 CPUtime=67.83 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (java) R 7610 7610 11586 0 -1 4202560 11326 0 0 0 6778 5 0 0 20 0 15 0 68253175 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140058172148960 140057765002834 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7614] ppid=7610 vsize=13980732 memory=4126316290023845779 CPUtime=0.01 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (java) S 7610 7610 11586 0 -1 1077944384 1565 0 0 0 1 0 0 0 20 0 15 0 68253175 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140058087324304 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7615] ppid=7610 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (java) S 7610 7610 11586 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 15 0 68253175 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140058086271504 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7616] ppid=7610 vsize=13980732 memory=207780 CPUtime=0.01 cores=1,3,5,7
/proc/7612/task/7616/stat : 7616 (java) S 7610 7610 11586 0 -1 1077944384 730 0 0 0 1 0 0 0 20 0 15 0 68253175 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140058085218704 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7617] ppid=7610 vsize=13980732 memory=3908 CPUtime=0.01 cores=1,3,5,7
/proc/7612/task/7617/stat : 7617 (java) S 7610 7610 11586 0 -1 1077944384 1063 0 0 0 1 0 0 0 20 0 15 0 68253175 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140058084165904 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7618] ppid=7610 vsize=13980732 memory=2756 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7618/stat : 7618 (java) S 7610 7610 11586 0 -1 1077944384 966 0 0 0 0 0 0 0 20 0 15 0 68253177 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140057645661040 140058167921282 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7619] ppid=7610 vsize=13980732 memory=2760 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7619/stat : 7619 (java) S 7610 7610 11586 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 68253177 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140057644607008 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7620] ppid=7610 vsize=13980732 memory=6933928925625698159 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7620/stat : 7620 (java) S 7610 7610 11586 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 68253177 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140057643554160 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7621] ppid=7610 vsize=13980732 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7621/stat : 7621 (java) S 7610 7610 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68253180 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140057642502480 140058167928731 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7622] ppid=7610 vsize=13980732 memory=6083640075028424801 CPUtime=1.33 cores=1,3,5,7
/proc/7612/task/7622/stat : 7622 (java) S 7610 7610 11586 0 -1 1077944384 15811 0 0 0 131 2 0 0 20 0 15 0 68253180 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140057641449840 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7623] ppid=7610 vsize=13980732 memory=6872598998417432672 CPUtime=1.17 cores=1,3,5,7
/proc/7612/task/7623/stat : 7623 (java) S 7610 7610 11586 0 -1 1077944384 16420 0 0 0 116 1 0 0 20 0 15 0 68253180 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140057640397040 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7624] ppid=7610 vsize=13980732 memory=2321940959126891113 CPUtime=0.66 cores=1,3,5,7
/proc/7612/task/7624/stat : 7624 (java) S 7610 7610 11586 0 -1 1077944384 8168 0 0 0 65 1 0 0 20 0 15 0 68253180 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140057639344240 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7625] ppid=7610 vsize=13980732 memory=4642480282181577321 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7625/stat : 7625 (java) S 7610 7610 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68253180 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140057638291680 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7626] ppid=7610 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7626/stat : 7626 (java) S 7610 7610 11586 0 -1 1077944384 1587 0 0 0 0 0 0 0 20 0 15 0 68253184 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140057637239984 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
Current children cumulated CPU time: 71.12 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 229476 KiB

[startup+68.4007 s]
/proc/loadavg: 1.69 1.57 1.64 3/211 7706
/proc/meminfo: memFree=31150256/32770624 swapFree=67108860/67108860
[pid=7610] ppid=7607 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7610/stat : 7610 (xcsp3-exec) S 7607 7610 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 68253166 9740288 345 18446744073709551615 4194304 5098028 140733861696080 140733861694184 140684616290940 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32288768 140733861704057 140733861704261 140733861704261 140733861707755 0
/proc/7610/statm: 2378 345 289 221 0 87 0
[pid=7612] ppid=7610 vsize=13980732 memory=228096 CPUtime=71.52 cores=1,3,5,7
/proc/7612/stat : 7612 (java) S 7610 7610 11586 0 -1 1077944320 59237 0 0 0 7138 14 0 0 20 0 15 0 68253174 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140728940449408 140058167910135 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
/proc/7612/statm: 3495183 57024 3225 1 0 3483476 0
[pid=7612/tid=7613] ppid=7610 vsize=13980732 memory=7680170660397595203 CPUtime=68.22 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (java) R 7610 7610 11586 0 -1 4202560 11328 0 0 0 6817 5 0 0 20 0 15 0 68253175 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140058172148848 140057765076871 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7614] ppid=7610 vsize=13980732 memory=1996 CPUtime=0.01 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (java) S 7610 7610 11586 0 -1 1077944384 1565 0 0 0 1 0 0 0 20 0 15 0 68253175 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140058087324304 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7615] ppid=7610 vsize=13980732 memory=231680 CPUtime=0.01 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (java) S 7610 7610 11586 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 15 0 68253175 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140058086271504 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7616] ppid=7610 vsize=13980732 memory=231680 CPUtime=0.01 cores=1,3,5,7
/proc/7612/task/7616/stat : 7616 (java) S 7610 7610 11586 0 -1 1077944384 730 0 0 0 1 0 0 0 20 0 15 0 68253175 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140058085218704 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7617] ppid=7610 vsize=13980732 memory=1716 CPUtime=0.01 cores=1,3,5,7
/proc/7612/task/7617/stat : 7617 (java) S 7610 7610 11586 0 -1 1077944384 1063 0 0 0 1 0 0 0 20 0 15 0 68253175 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140058084165904 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7618] ppid=7610 vsize=13980732 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7618/stat : 7618 (java) S 7610 7610 11586 0 -1 1077944384 966 0 0 0 0 0 0 0 20 0 15 0 68253177 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140057645661040 140058167921282 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7619] ppid=7610 vsize=13980732 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7619/stat : 7619 (java) S 7610 7610 11586 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 68253177 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140057644607008 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7620] ppid=7610 vsize=13980732 memory=8964 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7620/stat : 7620 (java) S 7610 7610 11586 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 68253177 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140057643554160 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7621] ppid=7610 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7621/stat : 7621 (java) S 7610 7610 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68253180 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140057642502480 140058167928731 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7622] ppid=7610 vsize=13980732 memory=1440 CPUtime=1.33 cores=1,3,5,7
/proc/7612/task/7622/stat : 7622 (java) S 7610 7610 11586 0 -1 1077944384 15811 0 0 0 131 2 0 0 20 0 15 0 68253180 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140057641449840 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7623] ppid=7610 vsize=13980732 memory=1204 CPUtime=1.17 cores=1,3,5,7
/proc/7612/task/7623/stat : 7623 (java) S 7610 7610 11586 0 -1 1077944384 16420 0 0 0 116 1 0 0 20 0 15 0 68253180 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140057640397040 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7624] ppid=7610 vsize=13980732 memory=15880 CPUtime=0.66 cores=1,3,5,7
/proc/7612/task/7624/stat : 7624 (java) S 7610 7610 11586 0 -1 1077944384 8168 0 0 0 65 1 0 0 20 0 15 0 68253180 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140057639344240 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7625] ppid=7610 vsize=13980732 memory=16240 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7625/stat : 7625 (java) S 7610 7610 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68253180 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140057638291680 140058167920341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
[pid=7612/tid=7626] ppid=7610 vsize=13980732 memory=21612 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7626/stat : 7626 (java) S 7610 7610 11586 0 -1 1077944384 1587 0 0 0 0 0 0 0 20 0 15 0 68253184 14316269568 57024 18446744073709551615 4194304 4196468 140728940466864 140057637239984 140058167921282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140728940470705 140728940470881 140728940470881 140728940474319 0
Current children cumulated CPU time: 71.52 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 229476 KiB

Child status: 0
Real time (s): 68.4374
CPU time (s): 71.5648
CPU user time (s): 71.4173
CPU system time (s): 0.147534
CPU usage (%): 104.57
Max. virtual memory (cumulated for all children) (KiB): 13995092
Max. memory (cumulated for all children) (KiB): 233060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.4173
system time used= 0.147534
maximum resident set size= 231720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60351
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4147
involuntary context switches= 46


# summary of solver processes directly reported to runsolver:
#   pid: 7610
#   total CPU time (s): 71.5648
#   total CPU user time (s): 71.4173
#   total CPU system time (s): 0.147534

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.470332 second user time and 0.568909 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-15 13:57:49
IDJOB=4269686
IDBENCH=130602
IDSOLVER=2660
FILE ID=node124/4269686-1502799125
RUNJOBID= node124-1502673801-14690
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-xcsp2-s1/QueenAttacking-07_X2.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-4269686-1502799125/watcher-4269686-1502799125 -o /tmp/evaluation-result-4269686-1502799125/solver-4269686-1502799125 -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 721127214 HOME/instance-4269686-1502799125.xml

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

MD5SUM BENCH= be036177e118ca84375e398cb8709600
RANDOM SEED=721127214

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:        31367956 kB
MemAvailable:   31790960 kB
Buffers:          239940 kB
Cached:           470312 kB
SwapCached:            0 kB
Active:           663036 kB
Inactive:         291720 kB
Active(anon):     196200 kB
Inactive(anon):    81948 kB
Active(file):     466836 kB
Inactive(file):   209772 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7888 kB
Writeback:             0 kB
AnonPages:        254976 kB
Mapped:            59724 kB
Shmem:             33512 kB
Slab:             151136 kB
SReclaimable:     124460 kB
SUnreclaim:        26676 kB
KernelStack:        3712 kB
PageTables:         5912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1148748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 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= 62016 MiB
End job on node124 at 2017-08-15 13:58:58