Trace number 4271673

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 NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)SAT (TO)13 1937.08 252.11501

General information on the benchmark

NameQueenAttacking/QueenAttacking-m1-s1/
QueenAttacking-11.xml
MD5SUM021605e3a27b06e16b3134987a511561
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark1937.08
Satisfiable
(Un)Satisfiability was proved
Number of variables152
Number of constraints151
Number of domains2
Minimum domain size2
Maximum domain size121
Distribution of domain sizes[{"size":2,"count":30},{"size":121,"count":122}]
Minimum variable degree2
Maximum variable degree30
Distribution of variable degrees[{"degree":2,"count":32},{"degree":3,"count":89},{"degree":4,"count":30},{"degree":30,"count":1}]
Minimum constraint arity2
Maximum constraint arity121
Distribution of constraint arities[{"arity":2,"count":120},{"arity":3,"count":30},{"arity":121,"count":1}]
Number of extensional constraints0
Number of intensional constraints150
Distribution of constraint types[{"type":"intension","count":150},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271673-1502643861.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271673-1502643861.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
13.99/10.51	c solve instance...
234.60/38.47	o 19 
234.80/38.52	o 18 
234.80/38.53	o 16 
234.80/38.56	o 14 
678.39/94.26	o 13 
1936.33/252.08	s SATISFIABLE
1936.33/252.08	v <instantiation>
1936.33/252.08	v 	<list>q 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] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] </list>
1936.33/252.08	v 	<values>60 54 75 84 61 38 59 82 105 118 109 96 119 106 85 98 107 120 97 76 63 50 27 4 17 8 21 42 19 10 31 40 49 26 3 12 33 56 77 90 103 116 95 74 53 32 9 18 5 28 7 16 39 62 83 92 69 46 23 0 13 36 15 6 29 52 65 86 73 60 47 24 1 22 45 66 79 70 93 72 51 30 43 20 41 64 87 108 117 104 113 100 91 114 101 80 67 88 111 102 115 94 71 48 25 2 11 34 57 44 35 14 37 58 81 68 55 78 99 112 89 110 1 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 </values>
1936.33/252.08	v </instantiation>
1936.33/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	13

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271673-1502643861/watcher-4271673-1502643861 -o /tmp/evaluation-result-4271673-1502643861/solver-4271673-1502643861 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502640088-19295 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1903402079 HOME/instance-4271673-1502643861.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22696, runsolver pid=22693
Current StackSize limit: 8192 KiB


[startup+0.100152 s]*
/proc/loadavg: 2.08 4.35 5.39 2/201 22717
/proc/meminfo: memFree=28814204/32770624 swapFree=67108860/67108860
[pid=22696] ppid=22693 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22696/stat : 22696 (xcsp3-exec) S 22693 22696 19268 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97467127 9740288 346 33554432000 4194304 5098028 140721080597696 140721080595800 140712583938684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21450752 140721080603754 140721080603964 140721080603964 140721080606699 0
/proc/22696/statm: 2378 346 289 221 0 87 0
[pid=22698] ppid=22696 vsize=25999808 memory=27164 CPUtime=0.11 cores=0-7
/proc/22698/stat : 22698 (java) S 22696 22696 19268 0 -1 1077944320 5217 0 0 0 10 1 0 0 20 0 20 0 97467127 26623803392 6791 33554432000 4194304 4196468 140736224143648 140736224126192 140148015668983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
/proc/22698/statm: 6499952 6791 2840 1 0 6488269 0
[pid=22698/tid=22699] ppid=22696 vsize=25999808 memory=8112842686382121376 CPUtime=0.08 cores=0-7
/proc/22698/task/22699/stat : 22699 (java) R 22696 22696 19268 0 -1 4202560 3224 0 0 0 8 0 0 0 20 0 20 0 97467127 26623803392 6791 33554432000 4194304 4196468 140736224143648 140148019895584 140147618294920 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22700] ppid=22696 vsize=25999808 memory=732369940318919653 CPUtime=0 cores=0-7
/proc/22698/task/22700/stat : 22700 (java) S 22696 22696 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97467128 26623803392 6791 33554432000 4194304 4196468 140736224143648 140147938249616 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22701] ppid=22696 vsize=25999808 memory=139801981466240 CPUtime=0 cores=0-7
/proc/22698/task/22701/stat : 22701 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97467128 26623803392 6791 33554432000 4194304 4196468 140736224143648 140147573152528 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22702] ppid=22696 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22702/stat : 22702 (java) S 22696 22696 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97467128 26623803392 6791 33554432000 4194304 4196468 140736224143648 140147572100240 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22703] ppid=22696 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22703/stat : 22703 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97467128 26623803392 6791 33554432000 4194304 4196468 140736224143648 140147571047440 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22704] ppid=22696 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22704/stat : 22704 (java) S 22696 22696 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97467128 26623803392 6791 33554432000 4194304 4196468 140736224143648 140147569994128 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22705] ppid=22696 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22698/task/22705/stat : 22705 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97467128 26623803392 6791 33554432000 4194304 4196468 140736224143648 140147568941328 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22706] ppid=22696 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22706/stat : 22706 (java) S 22696 22696 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97467128 26623803392 6791 33554432000 4194304 4196468 140736224143648 140147567889040 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22707] ppid=22696 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22707/stat : 22707 (java) S 22696 22696 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97467128 26623803392 6791 33554432000 4194304 4196468 140736224143648 140147566836240 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22708] ppid=22696 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22708/stat : 22708 (java) S 22696 22696 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97467130 26623803392 6791 33554432000 4194304 4196468 140736224143648 140146690648688 140148015680130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22709] ppid=22696 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22709/stat : 22709 (java) S 22696 22696 19268 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97467130 26623803392 6791 33554432000 4194304 4196468 140736224143648 140146689594656 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22710] ppid=22696 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22710/stat : 22710 (java) S 22696 22696 19268 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97467130 26623803392 6791 33554432000 4194304 4196468 140736224143648 140146688542320 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22711] ppid=22696 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22711/stat : 22711 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97467133 26623803392 6791 33554432000 4194304 4196468 140736224143648 140146687490640 140148015687579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22712] ppid=22696 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22712/stat : 22712 (java) S 22696 22696 19268 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 97467133 26623803392 6791 33554432000 4194304 4196468 140736224143648 140146686437488 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22713] ppid=22696 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22713/stat : 22713 (java) S 22696 22696 19268 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 97467133 26623803392 6791 33554432000 4194304 4196468 140736224143648 140146685384688 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22714] ppid=22696 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22714/stat : 22714 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97467133 26623803392 6791 33554432000 4194304 4196468 140736224143648 140146684332400 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22715] ppid=22696 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/22698/task/22715/stat : 22715 (java) S 22696 22696 19268 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 20 0 97467133 26623803392 6791 33554432000 4194304 4196468 140736224143648 140146683279600 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22716] ppid=22696 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22716/stat : 22716 (java) S 22696 22696 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97467133 26623803392 6791 33554432000 4194304 4196468 140736224143648 140146682227552 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22717] ppid=22696 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22698/task/22717/stat : 22717 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97467133 26623803392 6791 33554432000 4194304 4196468 140736224143648 140146681174832 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28548 KiB

[startup+0.210218 s]*
/proc/loadavg: 2.08 4.35 5.39 3/201 22717
/proc/meminfo: memFree=28804148/32770624 swapFree=67108860/67108860
[pid=22696] ppid=22693 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22696/stat : 22696 (xcsp3-exec) S 22693 22696 19268 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97467127 9740288 346 33554432000 4194304 5098028 140721080597696 140721080595800 140712583938684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21450752 140721080603754 140721080603964 140721080603964 140721080606699 0
/proc/22696/statm: 2378 346 289 221 0 87 0
[pid=22698] ppid=22696 vsize=26004064 memory=38820 CPUtime=0.32 cores=0-7
/proc/22698/stat : 22698 (java) S 22696 22696 19268 0 -1 1077944320 7855 0 0 0 30 2 0 0 20 0 20 0 97467127 26628161536 9705 33554432000 4194304 4196468 140736224143648 140736224126192 140148015668983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
/proc/22698/statm: 6501016 9705 3036 1 0 6488269 0
[pid=22698/tid=22699] ppid=22696 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/22698/task/22699/stat : 22699 (java) R 22696 22696 19268 0 -1 4202560 4946 0 0 0 18 1 0 0 20 0 20 0 97467127 26628161536 9705 33554432000 4194304 4196468 140736224143648 140148019891024 140148015690909 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22700] ppid=22696 vsize=26004064 memory=732369940318919653 CPUtime=0 cores=0-7
/proc/22698/task/22700/stat : 22700 (java) S 22696 22696 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97467128 26628161536 9705 33554432000 4194304 4196468 140736224143648 140147938249616 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22701] ppid=22696 vsize=26004064 memory=139801981466240 CPUtime=0 cores=0-7
/proc/22698/task/22701/stat : 22701 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97467128 26628161536 9705 33554432000 4194304 4196468 140736224143648 140147573152528 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22702] ppid=22696 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22702/stat : 22702 (java) S 22696 22696 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97467128 26628161536 9705 33554432000 4194304 4196468 140736224143648 140147572100240 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22703] ppid=22696 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22703/stat : 22703 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97467128 26628161536 9705 33554432000 4194304 4196468 140736224143648 140147571047440 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22704] ppid=22696 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22704/stat : 22704 (java) S 22696 22696 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97467128 26628161536 9705 33554432000 4194304 4196468 140736224143648 140147569994128 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22705] ppid=22696 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22698/task/22705/stat : 22705 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97467128 26628161536 9705 33554432000 4194304 4196468 140736224143648 140147568941328 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22706] ppid=22696 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22706/stat : 22706 (java) S 22696 22696 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97467128 26628161536 9705 33554432000 4194304 4196468 140736224143648 140147567889040 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22707] ppid=22696 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22707/stat : 22707 (java) S 22696 22696 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97467128 26628161536 9705 33554432000 4194304 4196468 140736224143648 140147566836240 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22708] ppid=22696 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22708/stat : 22708 (java) S 22696 22696 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97467130 26628161536 9705 33554432000 4194304 4196468 140736224143648 140146690648688 140148015680130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22709] ppid=22696 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22709/stat : 22709 (java) S 22696 22696 19268 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97467130 26628161536 9705 33554432000 4194304 4196468 140736224143648 140146689594656 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22710] ppid=22696 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22710/stat : 22710 (java) S 22696 22696 19268 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97467130 26628161536 9705 33554432000 4194304 4196468 140736224143648 140146688542320 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22711] ppid=22696 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22711/stat : 22711 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97467133 26628161536 9705 33554432000 4194304 4196468 140736224143648 140146687490640 140148015687579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22712] ppid=22696 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22698/task/22712/stat : 22712 (java) S 22696 22696 19268 0 -1 1077944384 384 0 0 0 1 0 0 0 20 0 20 0 97467133 26628161536 9705 33554432000 4194304 4196468 140736224143648 140146686437488 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22713] ppid=22696 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/22698/task/22713/stat : 22713 (java) S 22696 22696 19268 0 -1 1077944384 378 0 0 0 2 0 0 0 20 0 20 0 97467133 26628161536 9705 33554432000 4194304 4196468 140736224143648 140146685384688 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22714] ppid=22696 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22714/stat : 22714 (java) S 22696 22696 19268 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 97467133 26628161536 9705 33554432000 4194304 4196468 140736224143648 140146684332400 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22715] ppid=22696 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/22698/task/22715/stat : 22715 (java) R 22696 22696 19268 0 -1 4202560 710 0 0 0 7 0 0 0 20 0 20 0 97467133 26628161536 9705 33554432000 4194304 4196468 140736224143648 140146683279600 140147994348360 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22716] ppid=22696 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22716/stat : 22716 (java) S 22696 22696 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97467133 26628161536 9705 33554432000 4194304 4196468 140736224143648 140146682227552 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22717] ppid=22696 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22698/task/22717/stat : 22717 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97467133 26628161536 9705 33554432000 4194304 4196468 140736224143648 140146681174832 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40204 KiB

[startup+0.309613 s]*
/proc/loadavg: 2.08 4.35 5.39 3/201 22717
/proc/meminfo: memFree=28797208/32770624 swapFree=67108860/67108860
[pid=22696] ppid=22693 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22696/stat : 22696 (xcsp3-exec) S 22693 22696 19268 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97467127 9740288 346 33554432000 4194304 5098028 140721080597696 140721080595800 140712583938684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21450752 140721080603754 140721080603964 140721080603964 140721080606699 0
/proc/22696/statm: 2378 346 289 221 0 87 0
[pid=22698] ppid=22696 vsize=26004064 memory=45992 CPUtime=0.49 cores=0-7
/proc/22698/stat : 22698 (java) S 22696 22696 19268 0 -1 1077944320 8742 0 0 0 46 3 0 0 20 0 20 0 97467127 26628161536 11498 33554432000 4194304 4196468 140736224143648 140736224126192 140148015668983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
/proc/22698/statm: 6501016 11498 3062 1 0 6488269 0
[pid=22698/tid=22699] ppid=22696 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22698/task/22699/stat : 22699 (java) R 22696 22696 19268 0 -1 4202560 5666 0 0 0 27 2 0 0 20 0 20 0 97467127 26628161536 11498 33554432000 4194304 4196468 140736224143648 140148019903904 140147997254154 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22700] ppid=22696 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22700/stat : 22700 (java) S 22696 22696 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97467128 26628161536 11498 33554432000 4194304 4196468 140736224143648 140147938249616 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22701] ppid=22696 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22701/stat : 22701 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97467128 26628161536 11498 33554432000 4194304 4196468 140736224143648 140147573152528 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22702] ppid=22696 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22702/stat : 22702 (java) S 22696 22696 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97467128 26628161536 11498 33554432000 4194304 4196468 140736224143648 140147572100240 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22703] ppid=22696 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22703/stat : 22703 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97467128 26628161536 11498 33554432000 4194304 4196468 140736224143648 140147571047440 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22704] ppid=22696 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/22698/task/22704/stat : 22704 (java) S 22696 22696 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97467128 26628161536 11498 33554432000 4194304 4196468 140736224143648 140147569994128 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22705] ppid=22696 vsize=26004064 memory=139801856668591 CPUtime=0 cores=0-7
/proc/22698/task/22705/stat : 22705 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97467128 26628161536 11498 33554432000 4194304 4196468 140736224143648 140147568941328 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22706] ppid=22696 vsize=26004064 memory=139801856670896 CPUtime=0 cores=0-7
/proc/22698/task/22706/stat : 22706 (java) S 22696 22696 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97467128 26628161536 11498 33554432000 4194304 4196468 140736224143648 140147567889040 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22707] ppid=22696 vsize=26004064 memory=139801856673200 CPUtime=0 cores=0-7
/proc/22698/task/22707/stat : 22707 (java) S 22696 22696 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97467128 26628161536 11498 33554432000 4194304 4196468 140736224143648 140147566836240 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22708] ppid=22696 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22708/stat : 22708 (java) S 22696 22696 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97467130 26628161536 11498 33554432000 4194304 4196468 140736224143648 140146690648688 140148015680130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22709] ppid=22696 vsize=26004064 memory=279603713353360 CPUtime=0 cores=0-7
/proc/22698/task/22709/stat : 22709 (java) S 22696 22696 19268 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97467130 26628161536 11498 33554432000 4194304 4196468 140736224143648 140146689594656 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22710] ppid=22696 vsize=26004064 memory=279603713360272 CPUtime=0 cores=0-7
/proc/22698/task/22710/stat : 22710 (java) S 22696 22696 19268 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97467130 26628161536 11498 33554432000 4194304 4196468 140736224143648 140146688542320 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22711] ppid=22696 vsize=26004064 memory=279603713301552 CPUtime=0 cores=0-7
/proc/22698/task/22711/stat : 22711 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97467133 26628161536 11498 33554432000 4194304 4196468 140736224143648 140146687490640 140148015687579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22712] ppid=22696 vsize=26004064 memory=279603713374096 CPUtime=0.01 cores=0-7
/proc/22698/task/22712/stat : 22712 (java) S 22696 22696 19268 0 -1 1077944384 392 0 0 0 1 0 0 0 20 0 20 0 97467133 26628161536 11498 33554432000 4194304 4196468 140736224143648 140146686437488 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22713] ppid=22696 vsize=26004064 memory=279603713381008 CPUtime=0.03 cores=0-7
/proc/22698/task/22713/stat : 22713 (java) S 22696 22696 19268 0 -1 1077944384 391 0 0 0 3 0 0 0 20 0 20 0 97467133 26628161536 11498 33554432000 4194304 4196468 140736224143648 140146685384688 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22714] ppid=22696 vsize=26004064 memory=279603713378704 CPUtime=0.01 cores=0-7
/proc/22698/task/22714/stat : 22714 (java) S 22696 22696 19268 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 20 0 97467133 26628161536 11498 33554432000 4194304 4196468 140736224143648 140146684332400 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22715] ppid=22696 vsize=26004064 memory=279603713394864 CPUtime=0.12 cores=0-7
/proc/22698/task/22715/stat : 22715 (java) S 22696 22696 19268 0 -1 1077944384 816 0 0 0 12 0 0 0 20 0 20 0 97467133 26628161536 11498 33554432000 4194304 4196468 140736224143648 140146683279600 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22716] ppid=22696 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22698/task/22716/stat : 22716 (java) S 22696 22696 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97467133 26628161536 11498 33554432000 4194304 4196468 140736224143648 140146682227552 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22717] ppid=22696 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22698/task/22717/stat : 22717 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97467133 26628161536 11498 33554432000 4194304 4196468 140736224143648 140146681174832 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47376 KiB

[startup+0.701008 s]
/proc/loadavg: 2.08 4.35 5.39 5/201 22717
/proc/meminfo: memFree=28781624/32770624 swapFree=67108860/67108860
[pid=22696] ppid=22693 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22696/stat : 22696 (xcsp3-exec) S 22693 22696 19268 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97467127 9740288 346 33554432000 4194304 5098028 140721080597696 140721080595800 140712583938684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21450752 140721080603754 140721080603964 140721080603964 140721080606699 0
/proc/22696/statm: 2378 346 289 221 0 87 0
[pid=22698] ppid=22696 vsize=26006188 memory=95816 CPUtime=1.77 cores=0-7
/proc/22698/stat : 22698 (java) S 22696 22696 19268 0 -1 1077944320 19244 0 0 0 171 6 0 0 20 0 20 0 97467127 26630336512 23954 33554432000 4194304 4196468 140736224143648 140736224126192 140148015668983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
/proc/22698/statm: 6501547 23954 3202 1 0 6488781 0
[pid=22698/tid=22699] ppid=22696 vsize=26006188 memory=279603713689792 CPUtime=0.66 cores=0-7
/proc/22698/task/22699/stat : 22699 (java) R 22696 22696 19268 0 -1 4202560 6250 0 0 0 64 2 0 0 20 0 20 0 97467127 26630336512 23954 33554432000 4194304 4196468 140736224143648 140148019904864 140147621290569 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22700] ppid=22696 vsize=26006188 memory=12064 CPUtime=0 cores=0-7
/proc/22698/task/22700/stat : 22700 (java) S 22696 22696 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97467128 26630336512 23954 33554432000 4194304 4196468 140736224143648 140147938249616 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22701] ppid=22696 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/22698/task/22701/stat : 22701 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97467128 26630336512 23954 33554432000 4194304 4196468 140736224143648 140147573152528 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22702] ppid=22696 vsize=26006188 memory=1228 CPUtime=0 cores=0-7
/proc/22698/task/22702/stat : 22702 (java) S 22696 22696 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97467128 26630336512 23954 33554432000 4194304 4196468 140736224143648 140147572100240 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0

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

[pid=22698/tid=22765] ppid=22696 vsize=26538700 memory=1384 CPUtime=67.75 cores=0-7
/proc/22698/task/22765/stat : 22765 (java) R 22696 22696 19268 0 -1 4202560 4615 0 0 0 6769 6 0 0 20 0 28 0 97476555 27175628800 410513 33554432000 4194304 4196468 140736224143648 140146668953560 140147626113830 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
Current children cumulated CPU time: 1221.01 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1643436 KiB

[startup+222.301 s]
/proc/loadavg: 7.90 6.15 5.89 9/209 22765
/proc/meminfo: memFree=27091792/32770624 swapFree=67108860/67108860
[pid=22696] ppid=22693 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22696/stat : 22696 (xcsp3-exec) S 22693 22696 19268 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97467127 9740288 346 33554432000 4194304 5098028 140721080597696 140721080595800 140712583938684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21450752 140721080603754 140721080603964 140721080603964 140721080606699 0
/proc/22696/statm: 2378 346 289 221 0 87 0
[pid=22698] ppid=22696 vsize=26538700 memory=1752992 CPUtime=1699.45 cores=0-7
/proc/22698/stat : 22698 (java) S 22696 22696 19268 0 -1 1077944320 217947 0 0 0 169632 313 0 0 20 0 28 0 97467127 27175628800 438248 33554432000 4194304 4196468 140736224143648 140736224126192 140148015668983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
/proc/22698/statm: 6634675 438248 3306 1 0 6621909 0
[pid=22698/tid=22699] ppid=22696 vsize=26538700 memory=1746844 CPUtime=10.35 cores=0-7
/proc/22698/task/22699/stat : 22699 (java) S 22696 22696 19268 0 -1 1077944384 9404 0 0 0 1030 5 0 0 20 0 28 0 97467127 27175628800 438248 33554432000 4194304 4196468 140736224143648 140148019909760 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22700] ppid=22696 vsize=26538700 memory=1726280 CPUtime=0.6 cores=0-7
/proc/22698/task/22700/stat : 22700 (java) S 22696 22696 19268 0 -1 1077944384 6314 0 0 0 40 20 0 0 20 0 28 0 97467128 27175628800 438248 33554432000 4194304 4196468 140736224143648 140147938249616 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22701] ppid=22696 vsize=26538700 memory=1734472 CPUtime=0.59 cores=0-7
/proc/22698/task/22701/stat : 22701 (java) S 22696 22696 19268 0 -1 1077944384 4757 0 0 0 40 19 0 0 20 0 28 0 97467128 27175628800 438248 33554432000 4194304 4196468 140736224143648 140147573152528 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22702] ppid=22696 vsize=26538700 memory=1742684 CPUtime=0.58 cores=0-7
/proc/22698/task/22702/stat : 22702 (java) S 22696 22696 19268 0 -1 1077944384 3755 0 0 0 38 20 0 0 20 0 28 0 97467128 27175628800 438248 33554432000 4194304 4196468 140736224143648 140147572100240 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22703] ppid=22696 vsize=26538700 memory=1746844 CPUtime=0.59 cores=0-7
/proc/22698/task/22703/stat : 22703 (java) S 22696 22696 19268 0 -1 1077944384 5681 0 0 0 39 20 0 0 20 0 28 0 97467128 27175628800 438248 33554432000 4194304 4196468 140736224143648 140147571047440 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22704] ppid=22696 vsize=26538700 memory=1752992 CPUtime=0.59 cores=0-7
/proc/22698/task/22704/stat : 22704 (java) S 22696 22696 19268 0 -1 1077944384 5112 0 0 0 40 19 0 0 20 0 28 0 97467128 27175628800 438248 33554432000 4194304 4196468 140736224143648 140147569994128 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22705] ppid=22696 vsize=26538700 memory=1752992 CPUtime=0.6 cores=0-7
/proc/22698/task/22705/stat : 22705 (java) S 22696 22696 19268 0 -1 1077944384 3586 0 0 0 40 20 0 0 20 0 28 0 97467128 27175628800 438248 33554432000 4194304 4196468 140736224143648 140147568941328 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22706] ppid=22696 vsize=26538700 memory=0 CPUtime=0.6 cores=0-7
/proc/22698/task/22706/stat : 22706 (java) S 22696 22696 19268 0 -1 1077944384 4101 0 0 0 41 19 0 0 20 0 28 0 97467128 27175628800 438248 33554432000 4194304 4196468 140736224143648 140147567889040 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22707] ppid=22696 vsize=26538700 memory=6943526294502006880 CPUtime=0.59 cores=0-7
/proc/22698/task/22707/stat : 22707 (java) S 22696 22696 19268 0 -1 1077944384 4274 0 0 0 38 21 0 0 20 0 28 0 97467128 27175628800 438248 33554432000 4194304 4196468 140736224143648 140147566836240 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22708] ppid=22696 vsize=26538700 memory=-6800859132029471843 CPUtime=0.18 cores=0-7
/proc/22698/task/22708/stat : 22708 (java) S 22696 22696 19268 0 -1 1077944384 11554 0 0 0 16 2 0 0 20 0 28 0 97467130 27175628800 438248 33554432000 4194304 4196468 140736224143648 140146690648688 140148015680130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22709] ppid=22696 vsize=26538700 memory=-9174445032661854264 CPUtime=0 cores=0-7
/proc/22698/task/22709/stat : 22709 (java) S 22696 22696 19268 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 97467130 27175628800 438248 33554432000 4194304 4196468 140736224143648 140146689594720 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22710] ppid=22696 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/22698/task/22710/stat : 22710 (java) S 22696 22696 19268 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 97467130 27175628800 438248 33554432000 4194304 4196468 140736224143648 140146688542336 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22711] ppid=22696 vsize=26538700 memory=4096 CPUtime=0 cores=0-7
/proc/22698/task/22711/stat : 22711 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97467133 27175628800 438248 33554432000 4194304 4196468 140736224143648 140146687490640 140148015687579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22712] ppid=22696 vsize=26538700 memory=0 CPUtime=2.68 cores=0-7
/proc/22698/task/22712/stat : 22712 (java) S 22696 22696 19268 0 -1 1077944384 20911 0 0 0 264 4 0 0 20 0 28 0 97467133 27175628800 438248 33554432000 4194304 4196468 140736224143648 140146686437488 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22713] ppid=22696 vsize=26538700 memory=5787495379333370144 CPUtime=2.55 cores=0-7
/proc/22698/task/22713/stat : 22713 (java) S 22696 22696 19268 0 -1 1077944384 17251 0 0 0 252 3 0 0 20 0 28 0 97467133 27175628800 438248 33554432000 4194304 4196468 140736224143648 140146685384688 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22714] ppid=22696 vsize=26538700 memory=1384 CPUtime=2.46 cores=0-7
/proc/22698/task/22714/stat : 22714 (java) S 22696 22696 19268 0 -1 1077944384 15613 0 0 0 242 4 0 0 20 0 28 0 97467133 27175628800 438248 33554432000 4194304 4196468 140736224143648 140146684332400 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22715] ppid=22696 vsize=26538700 memory=1742684 CPUtime=0.93 cores=0-7
/proc/22698/task/22715/stat : 22715 (java) S 22696 22696 19268 0 -1 1077944384 17119 0 0 0 89 4 0 0 20 0 28 0 97467133 27175628800 438248 33554432000 4194304 4196468 140736224143648 140146683279600 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22716] ppid=22696 vsize=26538700 memory=279603713727568 CPUtime=0 cores=0-7
/proc/22698/task/22716/stat : 22716 (java) S 22696 22696 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97467133 27175628800 438248 33554432000 4194304 4196468 140736224143648 140146682227552 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22717] ppid=22696 vsize=26538700 memory=99661092226026 CPUtime=0.09 cores=0-7
/proc/22698/task/22717/stat : 22717 (java) S 22696 22696 19268 0 -1 1077944384 3121 0 0 0 0 9 0 0 20 0 28 0 97467133 27175628800 438248 33554432000 4194304 4196468 140736224143648 140146681174832 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22758] ppid=22696 vsize=26538700 memory=1384 CPUtime=127.77 cores=0-7
/proc/22698/task/22758/stat : 22758 (java) R 22696 22696 19268 0 -1 4202560 4567 0 0 0 12768 9 0 0 20 0 28 0 97476553 27175628800 438248 33554432000 4194304 4196468 140736224143648 140146671058648 140147625872505 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22759] ppid=22696 vsize=26538700 memory=1683172 CPUtime=127.33 cores=0-7
/proc/22698/task/22759/stat : 22759 (java) R 22696 22696 19268 0 -1 4202560 4669 0 0 0 12726 7 0 0 20 0 28 0 97476553 27175628800 438248 33554432000 4194304 4196468 140736224143648 140146673164968 140147626009282 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22760] ppid=22696 vsize=26538700 memory=1584 CPUtime=127.83 cores=0-7
/proc/22698/task/22760/stat : 22760 (java) R 22696 22696 19268 0 -1 4202560 5349 0 0 0 12776 7 0 0 20 0 28 0 97476553 27175628800 438248 33554432000 4194304 4196468 140736224143648 140146665795472 140147626177792 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22761] ppid=22696 vsize=26538700 memory=2196 CPUtime=127.6 cores=0-7
/proc/22698/task/22761/stat : 22761 (java) R 22696 22696 19268 0 -1 4202560 4783 0 0 0 12755 5 0 0 20 0 28 0 97476553 27175628800 438248 33554432000 4194304 4196468 140736224143648 140146666850064 140147625627006 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22762] ppid=22696 vsize=26538700 memory=0 CPUtime=127.71 cores=0-7
/proc/22698/task/22762/stat : 22762 (java) R 22696 22696 19268 0 -1 4202560 7267 0 0 0 12762 9 0 0 20 0 28 0 97476553 27175628800 438248 33554432000 4194304 4196468 140736224143648 140146667901208 140147626715266 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22763] ppid=22696 vsize=26538700 memory=139805480452510 CPUtime=126.56 cores=0-7
/proc/22698/task/22763/stat : 22763 (java) R 22696 22696 19268 0 -1 4202560 4655 0 0 0 12649 7 0 0 20 0 28 0 97476553 27175628800 438248 33554432000 4194304 4196468 140736224143648 140146672111768 140147625872423 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22764] ppid=22696 vsize=26538700 memory=139805480452521 CPUtime=127.13 cores=0-7
/proc/22698/task/22764/stat : 22764 (java) R 22696 22696 19268 0 -1 4202560 4591 0 0 0 12707 6 0 0 20 0 28 0 97476554 27175628800 438248 33554432000 4194304 4196468 140736224143648 140146670006984 140147624834013 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22765] ppid=22696 vsize=26538700 memory=1384 CPUtime=127.41 cores=0-7
/proc/22698/task/22765/stat : 22765 (java) R 22696 22696 19268 0 -1 4202560 6020 0 0 0 12734 7 0 0 20 0 28 0 97476555 27175628800 438248 33554432000 4194304 4196468 140736224143648 140146668954008 140147626281478 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
Current children cumulated CPU time: 1699.45 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1754376 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 7.94 6.33 5.95 9/209 22765
/proc/meminfo: memFree=27039148/32770624 swapFree=67108860/67108860
[pid=22696] ppid=22693 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22696/stat : 22696 (xcsp3-exec) S 22693 22696 19268 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97467127 9740288 346 33554432000 4194304 5098028 140721080597696 140721080595800 140712583938684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21450752 140721080603754 140721080603964 140721080603964 140721080606699 0
/proc/22696/statm: 2378 346 289 221 0 87 0
[pid=22698] ppid=22696 vsize=26538700 memory=1803788 CPUtime=1936.33 cores=0-7
/proc/22698/stat : 22698 (java) S 22696 22696 19268 0 -1 1077944320 241699 0 0 0 193298 335 0 0 20 0 28 0 97467127 27175628800 450947 33554432000 4194304 4196468 140736224143648 140736224126192 140148015668983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
/proc/22698/statm: 6634675 450947 3306 1 0 6621909 0
[pid=22698/tid=22699] ppid=22696 vsize=26538700 memory=6791534058613427641 CPUtime=10.35 cores=0-7
/proc/22698/task/22699/stat : 22699 (java) S 22696 22696 19268 0 -1 1077944384 9404 0 0 0 1030 5 0 0 20 0 28 0 97467127 27175628800 450947 33554432000 4194304 4196468 140736224143648 140148019909760 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22700] ppid=22696 vsize=26538700 memory=932 CPUtime=0.62 cores=0-7
/proc/22698/task/22700/stat : 22700 (java) S 22696 22696 19268 0 -1 1077944384 6814 0 0 0 41 21 0 0 20 0 28 0 97467128 27175628800 450947 33554432000 4194304 4196468 140736224143648 140147938249616 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22701] ppid=22696 vsize=26538700 memory=1584 CPUtime=0.62 cores=0-7
/proc/22698/task/22701/stat : 22701 (java) S 22696 22696 19268 0 -1 1077944384 5807 0 0 0 42 20 0 0 20 0 28 0 97467128 27175628800 450947 33554432000 4194304 4196468 140736224143648 140147573152528 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22702] ppid=22696 vsize=26538700 memory=2196 CPUtime=0.6 cores=0-7
/proc/22698/task/22702/stat : 22702 (java) S 22696 22696 19268 0 -1 1077944384 4789 0 0 0 40 20 0 0 20 0 28 0 97467128 27175628800 450947 33554432000 4194304 4196468 140736224143648 140147572100240 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22703] ppid=22696 vsize=26538700 memory=-7003737579269690708 CPUtime=0.61 cores=0-7
/proc/22698/task/22703/stat : 22703 (java) S 22696 22696 19268 0 -1 1077944384 6697 0 0 0 40 21 0 0 20 0 28 0 97467128 27175628800 450947 33554432000 4194304 4196468 140736224143648 140147571047440 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22704] ppid=22696 vsize=26538700 memory=4100 CPUtime=0.62 cores=0-7
/proc/22698/task/22704/stat : 22704 (java) S 22696 22696 19268 0 -1 1077944384 6116 0 0 0 42 20 0 0 20 0 28 0 97467128 27175628800 450947 33554432000 4194304 4196468 140736224143648 140147569994128 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22705] ppid=22696 vsize=26538700 memory=1156 CPUtime=0.62 cores=0-7
/proc/22698/task/22705/stat : 22705 (java) S 22696 22696 19268 0 -1 1077944384 4054 0 0 0 41 21 0 0 20 0 28 0 97467128 27175628800 450947 33554432000 4194304 4196468 140736224143648 140147568941328 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22706] ppid=22696 vsize=26538700 memory=3524 CPUtime=0.62 cores=0-7
/proc/22698/task/22706/stat : 22706 (java) S 22696 22696 19268 0 -1 1077944384 4972 0 0 0 42 20 0 0 20 0 28 0 97467128 27175628800 450947 33554432000 4194304 4196468 140736224143648 140147567889040 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22707] ppid=22696 vsize=26538700 memory=1384 CPUtime=0.62 cores=0-7
/proc/22698/task/22707/stat : 22707 (java) S 22696 22696 19268 0 -1 1077944384 4752 0 0 0 40 22 0 0 20 0 28 0 97467128 27175628800 450947 33554432000 4194304 4196468 140736224143648 140147566836240 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22708] ppid=22696 vsize=26538700 memory=1803788 CPUtime=0.18 cores=0-7
/proc/22698/task/22708/stat : 22708 (java) S 22696 22696 19268 0 -1 1077944384 13157 0 0 0 16 2 0 0 20 0 28 0 97467130 27175628800 450947 33554432000 4194304 4196468 140736224143648 140146690648688 140148015680130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22709] ppid=22696 vsize=26538700 memory=1752992 CPUtime=0 cores=0-7
/proc/22698/task/22709/stat : 22709 (java) S 22696 22696 19268 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 97467130 27175628800 450947 33554432000 4194304 4196468 140736224143648 140146689594720 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22710] ppid=22696 vsize=26538700 memory=4096 CPUtime=0 cores=0-7
/proc/22698/task/22710/stat : 22710 (java) S 22696 22696 19268 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 97467130 27175628800 450947 33554432000 4194304 4196468 140736224143648 140146688542336 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22711] ppid=22696 vsize=26538700 memory=195515501294032 CPUtime=0 cores=0-7
/proc/22698/task/22711/stat : 22711 (java) S 22696 22696 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97467133 27175628800 450947 33554432000 4194304 4196468 140736224143648 140146687490640 140148015687579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22712] ppid=22696 vsize=26538700 memory=6944656592387989600 CPUtime=2.68 cores=0-7
/proc/22698/task/22712/stat : 22712 (java) S 22696 22696 19268 0 -1 1077944384 21688 0 0 0 264 4 0 0 20 0 28 0 97467133 27175628800 450947 33554432000 4194304 4196468 140736224143648 140146686437488 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22713] ppid=22696 vsize=26538700 memory=6655300316396806240 CPUtime=2.55 cores=0-7
/proc/22698/task/22713/stat : 22713 (java) S 22696 22696 19268 0 -1 1077944384 17272 0 0 0 252 3 0 0 20 0 28 0 97467133 27175628800 450947 33554432000 4194304 4196468 140736224143648 140146685384688 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22714] ppid=22696 vsize=26538700 memory=7739265970825488491 CPUtime=2.48 cores=0-7
/proc/22698/task/22714/stat : 22714 (java) S 22696 22696 19268 0 -1 1077944384 16209 0 0 0 244 4 0 0 20 0 28 0 97467133 27175628800 450947 33554432000 4194304 4196468 140736224143648 140146684332400 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22715] ppid=22696 vsize=26538700 memory=7740394069756826210 CPUtime=0.93 cores=0-7
/proc/22698/task/22715/stat : 22715 (java) S 22696 22696 19268 0 -1 1077944384 17737 0 0 0 89 4 0 0 20 0 28 0 97467133 27175628800 450947 33554432000 4194304 4196468 140736224143648 140146683279600 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22716] ppid=22696 vsize=26538700 memory=7740394069756826210 CPUtime=0 cores=0-7
/proc/22698/task/22716/stat : 22716 (java) S 22696 22696 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97467133 27175628800 450947 33554432000 4194304 4196468 140736224143648 140146682227552 140148015679189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22717] ppid=22696 vsize=26538700 memory=7740394069756826210 CPUtime=0.11 cores=0-7
/proc/22698/task/22717/stat : 22717 (java) S 22696 22696 19268 0 -1 1077944384 3254 0 0 0 0 11 0 0 20 0 28 0 97467133 27175628800 450947 33554432000 4194304 4196468 140736224143648 140146681174832 140148015680130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22758] ppid=22696 vsize=26538700 memory=5938114217728370021 CPUtime=157.44 cores=0-7
/proc/22698/task/22758/stat : 22758 (java) R 22696 22696 19268 0 -1 4202560 5901 0 0 0 15733 11 0 0 20 0 28 0 97476553 27175628800 450947 33554432000 4194304 4196468 140736224143648 140146671058648 140147627219596 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22759] ppid=22696 vsize=26538700 memory=7739265970825488491 CPUtime=156.64 cores=0-7
/proc/22698/task/22759/stat : 22759 (java) R 22696 22696 19268 0 -1 4202560 5737 0 0 0 15654 10 0 0 20 0 28 0 97476553 27175628800 450947 33554432000 4194304 4196468 140736224143648 140146673167312 140147625627184 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22760] ppid=22696 vsize=26538700 memory=8046186993342713441 CPUtime=157.49 cores=0-7
/proc/22698/task/22760/stat : 22760 (java) R 22696 22696 19268 0 -1 4202560 6604 0 0 0 15740 9 0 0 20 0 28 0 97476553 27175628800 450947 33554432000 4194304 4196468 140736224143648 140146665795608 140147626373203 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22761] ppid=22696 vsize=26538700 memory=7971542655782669194 CPUtime=157.27 cores=0-7
/proc/22698/task/22761/stat : 22761 (java) R 22696 22696 19268 0 -1 4202560 6696 0 0 0 15719 8 0 0 20 0 28 0 97476553 27175628800 450947 33554432000 4194304 4196468 140736224143648 140146666847896 140147624706775 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22762] ppid=22696 vsize=26538700 memory=8257237230706253920 CPUtime=157.38 cores=0-7
/proc/22698/task/22762/stat : 22762 (java) R 22696 22696 19268 0 -1 4202560 9843 0 0 0 15728 10 0 0 20 0 28 0 97476553 27175628800 450947 33554432000 4194304 4196468 140736224143648 140146667900840 140147626176576 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22763] ppid=22696 vsize=26538700 memory=-7233780906022716832 CPUtime=156.01 cores=0-7
/proc/22698/task/22763/stat : 22763 (java) R 22696 22696 19268 0 -1 4202560 6279 0 0 0 15592 9 0 0 20 0 28 0 97476553 27175628800 450947 33554432000 4194304 4196468 140736224143648 140146672111320 140147625872440 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22764] ppid=22696 vsize=26538700 memory=8257237230052613020 CPUtime=156.79 cores=0-7
/proc/22698/task/22764/stat : 22764 (java) R 22696 22696 19268 0 -1 4202560 6768 0 0 0 15671 8 0 0 20 0 28 0 97476554 27175628800 450947 33554432000 4194304 4196468 140736224143648 140146670006112 140147625627290 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
[pid=22698/tid=22765] ppid=22696 vsize=26538700 memory=-7173504570862900581 CPUtime=157.03 cores=0-7
/proc/22698/task/22765/stat : 22765 (java) R 22696 22696 19268 0 -1 4202560 7656 0 0 0 15693 10 0 0 20 0 28 0 97476555 27175628800 450947 33554432000 4194304 4196468 140736224143648 140146668953352 140147627219034 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 11042816 140736224150680 140736224150856 140736224150856 140736224153551 0
Current children cumulated CPU time: 1936.33 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1805172 KiB

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

[startup+252.039 s]
# the end of solver process 22696 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001915 s, system=0 s

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

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

Child status: 143
Real time (s): 252.115
CPU time (s): 1937.08
CPU user time (s): 1933.71
CPU system time (s): 3.37296
CPU usage (%): 768.333
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1805172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1933.71
system time used= 3.37296
maximum resident set size= 1804432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243082
page faults= 0
swaps= 0
block input operations= 0
block output operations= 560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17513
involuntary context switches= 21084


# summary of solver processes directly reported to runsolver:
#   pid: 22696,22698
#   total CPU time (s): 1937.08
#   total CPU user time (s): 1933.71
#   total CPU system time (s): 3.37296

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.85453 second user time and 3.29303 second system time

The end

Launcher Data 

Begin job on node148 at 2017-08-13 18:50:02
IDJOB=4271673
IDBENCH=130616
IDSOLVER=2663
FILE ID=node148/4271673-1502643861
RUNJOBID= node148-1502640088-19295
PBS_JOBID= 20628333
Free space on /tmp= 61616 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-11.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271673-1502643861/watcher-4271673-1502643861 -o /tmp/evaluation-result-4271673-1502643861/solver-4271673-1502643861 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502640088-19295 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1903402079 HOME/instance-4271673-1502643861.xml

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

MD5SUM BENCH= 021605e3a27b06e16b3134987a511561
RANDOM SEED=1903402079

node148.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.19
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.19
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.19
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.19
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:        28831748 kB
MemAvailable:   31990716 kB
Buffers:          208456 kB
Cached:          3238872 kB
SwapCached:            0 kB
Active:           797440 kB
Inactive:        2703248 kB
Active(anon):       4252 kB
Inactive(anon):    76688 kB
Active(file):     793188 kB
Inactive(file):  2626560 kB
Unevictable:        6208 kB
Mlocked:            6208 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8028 kB
Writeback:             4 kB
AnonPages:         58948 kB
Mapped:            43812 kB
Shmem:             25224 kB
Slab:             136656 kB
SReclaimable:     110108 kB
SUnreclaim:        26548 kB
KernelStack:        3264 kB
PageTables:         4344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61608 MiB
End job on node148 at 2017-08-13 18:54:14