2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16	SAT (TO)	13	2520.34	634.692
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 (15241 MiB free)
  memory of node 1: 16384 MiB (15070 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399366-1568688171/watcher-4399366-1568688171 -o /tmp/evaluation-result-4399366-1568688171/solver-4399366-1568688171 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15014 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1237813267 HOME/instance-4399366-1568688171.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100391 s]*
/proc/loadavg: 8.07 8.33 8.40 7/235 22266
/proc/meminfo: memFree=31023736/32770624 swapFree=66997372/67108860
[pid=22250] ppid=22247 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22250/stat : 22250 (xcsp3-exec) S 22247 22250 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445070134 115843072 362 33554432000 4194304 5098028 140732250931456 140732250929560 140401420620412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28766208 140732250940282 140732250940525 140732250940525 140732250943434 0
/proc/22250/statm: 28282 362 304 221 0 87 0
[pid=22252] ppid=22250 vsize=15144776 memory=29308 CPUtime=0.12 cores=0,2,4,6
/proc/22252/stat : 22252 (java) S 22250 22250 14983 0 -1 1077944320 5725 0 0 0 11 1 0 0 20 0 15 0 445070135 15508250624 7327 33554432000 4194304 4196468 140730918360496 140730918343040 139918397804279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
/proc/22252/statm: 3786194 7327 3151 1 0 3748377 0
[pid=22252/tid=22253] ppid=22250 vsize=15144776 memory=7100839870104831090 CPUtime=0.08 cores=0,2,4,6
/proc/22252/task/22253/stat : 22253 (java) R 22250 22250 14983 0 -1 4202560 3646 0 0 0 8 0 0 0 20 0 15 0 445070135 15508250624 7327 33554432000 4194304 4196468 140730918360496 139918402037072 139918034483536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22254] ppid=22250 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22254/stat : 22254 (java) S 22250 22250 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445070136 15508250624 7327 33554432000 4194304 4196468 140730918360496 139918358764176 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22255] ppid=22250 vsize=15144776 memory=139638254855808 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22255/stat : 22255 (java) S 22250 22250 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445070136 15508250624 7327 33554432000 4194304 4196468 140730918360496 139917989485072 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22256] ppid=22250 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22256/stat : 22256 (java) S 22250 22250 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445070136 15508250624 7327 33554432000 4194304 4196468 140730918360496 139917988432272 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22257] ppid=22250 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22257/stat : 22257 (java) S 22250 22250 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445070136 15508250624 7327 33554432000 4194304 4196468 140730918360496 139917987379472 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22258] ppid=22250 vsize=15144776 memory=139638254855808 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22258/stat : 22258 (java) S 22250 22250 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445070137 15508250624 7327 33554432000 4194304 4196468 140730918360496 139917271960432 139918397815426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22259] ppid=22250 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22259/stat : 22259 (java) S 22250 22250 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445070138 15508250624 7327 33554432000 4194304 4196468 140730918360496 139917270906400 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22260] ppid=22250 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22260/stat : 22260 (java) S 22250 22250 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445070138 15508250624 7327 33554432000 4194304 4196468 140730918360496 139917269853552 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22261] ppid=22250 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22261/stat : 22261 (java) S 22250 22250 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445070140 15508250624 7327 33554432000 4194304 4196468 140730918360496 139917268801872 139918397822875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22262] ppid=22250 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22262/stat : 22262 (java) R 22250 22250 14983 0 -1 4202560 420 0 0 0 0 0 0 0 20 0 15 0 445070140 15508250624 7327 33554432000 4194304 4196468 140730918360496 139917267749232 139918379156592 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22263] ppid=22250 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22263/stat : 22263 (java) R 22250 22250 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445070140 15508250624 7327 33554432000 4194304 4196468 140730918360496 139917266696432 139918397815426 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22264] ppid=22250 vsize=15144776 memory=139638254855808 CPUtime=0.02 cores=0,2,4,6
/proc/22252/task/22264/stat : 22264 (java) R 22250 22250 14983 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 15 0 445070140 15508250624 7327 33554432000 4194304 4196468 140730918360496 139917265643632 139918376938980 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22265] ppid=22250 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22265/stat : 22265 (java) S 22250 22250 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445070141 15508250624 7327 33554432000 4194304 4196468 140730918360496 139917264591072 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22266] ppid=22250 vsize=15144776 memory=139638254855808 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22266/stat : 22266 (java) S 22250 22250 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445070141 15508250624 7327 33554432000 4194304 4196468 140730918360496 139917263539376 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30756 KiB

[startup+0.210813 s]*
/proc/loadavg: 8.07 8.33 8.40 6/235 22266
/proc/meminfo: memFree=31010708/32770624 swapFree=66997372/67108860
[pid=22250] ppid=22247 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22250/stat : 22250 (xcsp3-exec) S 22247 22250 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445070134 115843072 362 33554432000 4194304 5098028 140732250931456 140732250929560 140401420620412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28766208 140732250940282 140732250940525 140732250940525 140732250943434 0
/proc/22250/statm: 28282 362 304 221 0 87 0
[pid=22252] ppid=22250 vsize=15144776 memory=40584 CPUtime=0.34 cores=0,2,4,6
/proc/22252/stat : 22252 (java) S 22250 22250 14983 0 -1 1077944320 9367 0 0 0 31 3 0 0 20 0 15 0 445070135 15508250624 10146 33554432000 4194304 4196468 140730918360496 140730918343040 139918397804279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
/proc/22252/statm: 3786194 10146 3318 1 0 3748377 0
[pid=22252/tid=22253] ppid=22250 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/22252/task/22253/stat : 22253 (java) R 22250 22250 14983 0 -1 4202560 6639 0 0 0 18 2 0 0 20 0 15 0 445070135 15508250624 10146 33554432000 4194304 4196468 140730918360496 139918402037008 139918397816214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22254] ppid=22250 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22254/stat : 22254 (java) S 22250 22250 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445070136 15508250624 10146 33554432000 4194304 4196468 140730918360496 139918358764176 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22255] ppid=22250 vsize=15144776 memory=288370014406567552 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22255/stat : 22255 (java) S 22250 22250 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445070136 15508250624 10146 33554432000 4194304 4196468 140730918360496 139917989485072 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22256] ppid=22250 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22256/stat : 22256 (java) S 22250 22250 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445070136 15508250624 10146 33554432000 4194304 4196468 140730918360496 139917988432272 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22257] ppid=22250 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22257/stat : 22257 (java) S 22250 22250 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445070136 15508250624 10146 33554432000 4194304 4196468 140730918360496 139917987379472 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22258] ppid=22250 vsize=15144776 memory=139638254855808 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22258/stat : 22258 (java) S 22250 22250 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445070137 15508250624 10146 33554432000 4194304 4196468 140730918360496 139917271960432 139918397815426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22259] ppid=22250 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22259/stat : 22259 (java) S 22250 22250 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445070138 15508250624 10146 33554432000 4194304 4196468 140730918360496 139917270906400 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22260] ppid=22250 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22260/stat : 22260 (java) S 22250 22250 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445070138 15508250624 10146 33554432000 4194304 4196468 140730918360496 139917269853552 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22261] ppid=22250 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22261/stat : 22261 (java) S 22250 22250 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445070140 15508250624 10146 33554432000 4194304 4196468 140730918360496 139917268801872 139918397822875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22262] ppid=22250 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22252/task/22262/stat : 22262 (java) R 22250 22250 14983 0 -1 1077944384 553 0 0 0 2 0 0 0 20 0 15 0 445070140 15508250624 10146 33554432000 4194304 4196468 140730918360496 139917267749232 139918397815426 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22263] ppid=22250 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22252/task/22263/stat : 22263 (java) S 22250 22250 14983 0 -1 1077944384 81 0 0 0 2 0 0 0 20 0 15 0 445070140 15508250624 10146 33554432000 4194304 4196468 140730918360496 139917266696432 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22264] ppid=22250 vsize=15144776 memory=139638254855808 CPUtime=0.08 cores=0,2,4,6
/proc/22252/task/22264/stat : 22264 (java) R 22250 22250 14983 0 -1 4202560 791 0 0 0 8 0 0 0 20 0 15 0 445070140 15508250624 10146 33554432000 4194304 4196468 140730918360496 139917265643632 139918397816214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22265] ppid=22250 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22265/stat : 22265 (java) S 22250 22250 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445070141 15508250624 10146 33554432000 4194304 4196468 140730918360496 139917264591072 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22266] ppid=22250 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22266/stat : 22266 (java) S 22250 22250 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445070141 15508250624 10146 33554432000 4194304 4196468 140730918360496 139917263539376 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42032 KiB

[startup+0.314827 s]*
/proc/loadavg: 8.07 8.33 8.40 7/235 22266
/proc/meminfo: memFree=31002924/32770624 swapFree=66997372/67108860
[pid=22250] ppid=22247 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22250/stat : 22250 (xcsp3-exec) S 22247 22250 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445070134 115843072 362 33554432000 4194304 5098028 140732250931456 140732250929560 140401420620412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28766208 140732250940282 140732250940525 140732250940525 140732250943434 0
/proc/22250/statm: 28282 362 304 221 0 87 0
[pid=22252] ppid=22250 vsize=15149032 memory=49996 CPUtime=0.53 cores=0,2,4,6
/proc/22252/stat : 22252 (java) S 22250 22250 14983 0 -1 1077944320 10809 0 0 0 50 3 0 0 20 0 15 0 445070135 15512608768 12499 33554432000 4194304 4196468 140730918360496 140730918343040 139918397804279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
/proc/22252/statm: 3787258 12499 3367 1 0 3748377 0
[pid=22252/tid=22253] ppid=22250 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/22252/task/22253/stat : 22253 (java) R 22250 22250 14983 0 -1 4202560 7806 0 0 0 28 2 0 0 20 0 15 0 445070135 15512608768 12499 33554432000 4194304 4196468 140730918360496 139918402035392 139918381884766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22254] ppid=22250 vsize=15149032 memory=9461 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22254/stat : 22254 (java) S 22250 22250 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445070136 15512608768 12499 33554432000 4194304 4196468 140730918360496 139918358764176 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22255] ppid=22250 vsize=15149032 memory=288230376155155389 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22255/stat : 22255 (java) S 22250 22250 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445070136 15512608768 12499 33554432000 4194304 4196468 140730918360496 139917989485072 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22256] ppid=22250 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22256/stat : 22256 (java) S 22250 22250 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445070136 15512608768 12499 33554432000 4194304 4196468 140730918360496 139917988432272 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22257] ppid=22250 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22257/stat : 22257 (java) S 22250 22250 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445070136 15512608768 12499 33554432000 4194304 4196468 140730918360496 139917987379472 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22258] ppid=22250 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22258/stat : 22258 (java) S 22250 22250 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445070137 15512608768 12499 33554432000 4194304 4196468 140730918360496 139917271960432 139918397815426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22259] ppid=22250 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22259/stat : 22259 (java) S 22250 22250 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445070138 15512608768 12499 33554432000 4194304 4196468 140730918360496 139917270906400 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22260] ppid=22250 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22260/stat : 22260 (java) S 22250 22250 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445070138 15512608768 12499 33554432000 4194304 4196468 140730918360496 139917269853552 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22261] ppid=22250 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22261/stat : 22261 (java) S 22250 22250 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445070140 15512608768 12499 33554432000 4194304 4196468 140730918360496 139917268801872 139918397822875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22262] ppid=22250 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/22252/task/22262/stat : 22262 (java) R 22250 22250 14983 0 -1 4202560 704 0 0 0 5 0 0 0 20 0 15 0 445070140 15512608768 12499 33554432000 4194304 4196468 140730918360496 139917267730248 139918390093745 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22263] ppid=22250 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22252/task/22263/stat : 22263 (java) S 22250 22250 14983 0 -1 1077944384 96 0 0 0 3 0 0 0 20 0 15 0 445070140 15512608768 12499 33554432000 4194304 4196468 140730918360496 139917266696432 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22264] ppid=22250 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/22252/task/22264/stat : 22264 (java) S 22250 22250 14983 0 -1 1077944384 919 0 0 0 12 0 0 0 20 0 15 0 445070140 15512608768 12499 33554432000 4194304 4196468 140730918360496 139917265643632 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22265] ppid=22250 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22265/stat : 22265 (java) S 22250 22250 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445070141 15512608768 12499 33554432000 4194304 4196468 140730918360496 139917264591072 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22266] ppid=22250 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22266/stat : 22266 (java) S 22250 22250 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445070141 15512608768 12499 33554432000 4194304 4196468 140730918360496 139917263539376 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51444 KiB

[startup+0.701429 s]
/proc/loadavg: 8.07 8.33 8.40 7/235 22266
/proc/meminfo: memFree=30982164/32770624 swapFree=66997372/67108860
[pid=22250] ppid=22247 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22250/stat : 22250 (xcsp3-exec) S 22247 22250 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445070134 115843072 362 33554432000 4194304 5098028 140732250931456 140732250929560 140401420620412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28766208 140732250940282 140732250940525 140732250940525 140732250943434 0
/proc/22250/statm: 28282 362 304 221 0 87 0
[pid=22252] ppid=22250 vsize=15151156 memory=111960 CPUtime=1.68 cores=0,2,4,6
/proc/22252/stat : 22252 (java) S 22250 22250 14983 0 -1 1077944320 13971 0 0 0 163 5 0 0 20 0 15 0 445070135 15514783744 27990 33554432000 4194304 4196468 140730918360496 140730918343040 139918397804279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
/proc/22252/statm: 3787789 27990 3444 1 0 3748889 0
[pid=22252/tid=22253] ppid=22250 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/22252/task/22253/stat : 22253 (java) R 22250 22250 14983 0 -1 4202560 8316 0 0 0 64 3 0 0 20 0 15 0 445070135 15514783744 27990 33554432000 4194304 4196468 140730918360496 139918402037952 139918397816214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22254] ppid=22250 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22254/stat : 22254 (java) S 22250 22250 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445070136 15514783744 27990 33554432000 4194304 4196468 140730918360496 139918358764176 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22255] ppid=22250 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22255/stat : 22255 (java) S 22250 22250 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445070136 15514783744 27990 33554432000 4194304 4196468 140730918360496 139917989485072 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22256] ppid=22250 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22256/stat : 22256 (java) S 22250 22250 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445070136 15514783744 27990 33554432000 4194304 4196468 140730918360496 139917988432272 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22257] ppid=22250 vsize=15151156 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22257/stat : 22257 (java) S 22250 22250 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445070136 15514783744 27990 33554432000 4194304 4196468 140730918360496 139917987379472 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22258] ppid=22250 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22258/stat : 22258 (java) S 22250 22250 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445070137 15514783744 27990 33554432000 4194304 4196468 140730918360496 139917271960432 139918397815426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22259] ppid=22250 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22259/stat : 22259 (java) S 22250 22250 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445070138 15514783744 27990 33554432000 4194304 4196468 140730918360496 139917270906400 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22260] ppid=22250 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22260/stat : 22260 (java) S 22250 22250 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445070138 15514783744 27990 33554432000 4194304 4196468 140730918360496 139917269853552 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22261] ppid=22250 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22261/stat : 22261 (java) S 22250 22250 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445070140 15514783744 27990 33554432000 4194304 4196468 140730918360496 139917268801872 139918397822875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22262] ppid=22250 vsize=15151156 memory=1764 CPUtime=0.36 cores=0,2,4,6
/proc/22252/task/22262/stat : 22262 (java) R 22250 22250 14983 0 -1 4202560 1603 0 0 0 36 0 0 0 20 0 15 0 445070140 15514783744 27990 33554432000 4194304 4196468 140730918360496 139917267735328 139918382912034 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22263] ppid=22250 vsize=15151156 memory=111628 CPUtime=0.32 cores=0,2,4,6
/proc/22252/task/22263/stat : 22263 (java) R 22250 22250 14983 0 -1 4202560 1035 0 0 0 32 0 0 0 20 0 15 0 445070140 15514783744 27990 33554432000 4194304 4196468 140730918360496 139917266682232 139918381361660 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22264] ppid=22250 vsize=15151156 memory=796 CPUtime=0.29 cores=0,2,4,6
/proc/22252/task/22264/stat : 22264 (java) S 22250 22250 14983 0 -1 1077944384 1711 0 0 0 29 0 0 0 20 0 15 0 445070140 15514783744 27990 33554432000 4194304 4196468 140730918360496 139917265643632 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22265] ppid=22250 vsize=15151156 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22265/stat : 22265 (java) S 22250 22250 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445070141 15514783744 27990 33554432000 4194304 4196468 140730918360496 139917264591072 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22266] ppid=22250 vsize=15151156 memory=920 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22266/stat : 22266 (java) S 22250 22250 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445070141 15514783744 27990 33554432000 4194304 4196468 140730918360496 139917263539376 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 113408 KiB

[startup+1.50639 s]
/proc/loadavg: 8.07 8.33 8.40 8/235 22266
/proc/meminfo: memFree=30874928/32770624 swapFree=66997372/67108860
[pid=22250] ppid=22247 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22250/stat : 22250 (xcsp3-exec) S 22247 22250 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445070134 115843072 362 33554432000 4194304 5098028 140732250931456 140732250929560 140401420620412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28766208 140732250940282 140732250940525 140732250940525 140732250943434 0
/proc/22250/statm: 28282 362 304 221 0 87 0

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

/proc/22252/stat : 22252 (java) S 22250 22250 14983 0 -1 1077944320 85053 0 0 0 207196 95 0 0 20 0 19 0 445070135 15859793920 835073 33554432000 4194304 4196468 140730918360496 140730918343040 139918397804279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
/proc/22252/statm: 3872020 835073 3541 1 0 3833120 0
[pid=22252/tid=22253] ppid=22250 vsize=15488080 memory=3341316 CPUtime=3.27 cores=0,2,4,6
/proc/22252/task/22253/stat : 22253 (java) S 22250 22250 14983 0 -1 1077944384 9558 0 0 0 317 10 0 0 20 0 19 0 445070135 15859793920 835073 33554432000 4194304 4196468 140730918360496 139918402045056 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22254] ppid=22250 vsize=15488080 memory=3340292 CPUtime=0.23 cores=0,2,4,6
/proc/22252/task/22254/stat : 22254 (java) S 22250 22250 14983 0 -1 1077944384 2112 0 0 0 18 5 0 0 20 0 19 0 445070136 15859793920 835073 33554432000 4194304 4196468 140730918360496 139918358764176 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22255] ppid=22250 vsize=15488080 memory=3340292 CPUtime=0.24 cores=0,2,4,6
/proc/22252/task/22255/stat : 22255 (java) S 22250 22250 14983 0 -1 1077944384 1186 0 0 0 18 6 0 0 20 0 19 0 445070136 15859793920 835073 33554432000 4194304 4196468 140730918360496 139917989485072 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22256] ppid=22250 vsize=15488080 memory=3340292 CPUtime=0.23 cores=0,2,4,6
/proc/22252/task/22256/stat : 22256 (java) S 22250 22250 14983 0 -1 1077944384 3126 0 0 0 17 6 0 0 20 0 19 0 445070136 15859793920 835073 33554432000 4194304 4196468 140730918360496 139917988432272 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22257] ppid=22250 vsize=15488080 memory=3340292 CPUtime=0.23 cores=0,2,4,6
/proc/22252/task/22257/stat : 22257 (java) S 22250 22250 14983 0 -1 1077944384 2530 0 0 0 16 7 0 0 20 0 19 0 445070136 15859793920 835073 33554432000 4194304 4196468 140730918360496 139917987379472 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22258] ppid=22250 vsize=15488080 memory=1448 CPUtime=0.03 cores=0,2,4,6
/proc/22252/task/22258/stat : 22258 (java) S 22250 22250 14983 0 -1 1077944384 3890 0 0 0 2 1 0 0 20 0 19 0 445070137 15859793920 835073 33554432000 4194304 4196468 140730918360496 139917271960432 139918397815426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22259] ppid=22250 vsize=15488080 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22259/stat : 22259 (java) S 22250 22250 14983 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 445070138 15859793920 835073 33554432000 4194304 4196468 140730918360496 139917270906464 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22260] ppid=22250 vsize=15488080 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22260/stat : 22260 (java) S 22250 22250 14983 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445070138 15859793920 835073 33554432000 4194304 4196468 140730918360496 139917269853568 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22261] ppid=22250 vsize=15488080 memory=3340292 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22261/stat : 22261 (java) S 22250 22250 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445070140 15859793920 835073 33554432000 4194304 4196468 140730918360496 139917268801872 139918397822875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22262] ppid=22250 vsize=15488080 memory=1448 CPUtime=3.57 cores=0,2,4,6
/proc/22252/task/22262/stat : 22262 (java) S 22250 22250 14983 0 -1 1077944384 11716 0 0 0 356 1 0 0 20 0 19 0 445070140 15859793920 835073 33554432000 4194304 4196468 140730918360496 139917267749232 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22263] ppid=22250 vsize=15488080 memory=1448 CPUtime=3.7 cores=0,2,4,6
/proc/22252/task/22263/stat : 22263 (java) S 22250 22250 14983 0 -1 1077944384 12092 0 0 0 368 2 0 0 20 0 19 0 445070140 15859793920 835073 33554432000 4194304 4196468 140730918360496 139917266696432 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22264] ppid=22250 vsize=15488080 memory=1448 CPUtime=0.83 cores=0,2,4,6
/proc/22252/task/22264/stat : 22264 (java) S 22250 22250 14983 0 -1 1077944384 8188 0 0 0 82 1 0 0 20 0 19 0 445070140 15859793920 835073 33554432000 4194304 4196468 140730918360496 139917265643632 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22265] ppid=22250 vsize=15488080 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22265/stat : 22265 (java) S 22250 22250 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445070141 15859793920 835073 33554432000 4194304 4196468 140730918360496 139917264591072 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22266] ppid=22250 vsize=15488080 memory=1448 CPUtime=0.15 cores=0,2,4,6
/proc/22252/task/22266/stat : 22266 (java) S 22250 22250 14983 0 -1 1077944384 596 0 0 0 0 15 0 0 20 0 19 0 445070141 15859793920 835073 33554432000 4194304 4196468 140730918360496 139917263539376 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22279] ppid=22250 vsize=15488080 memory=3340292 CPUtime=514.86 cores=0,2,4,6
/proc/22252/task/22279/stat : 22279 (java) R 22250 22250 14983 0 -1 4202560 1278 0 0 0 51484 2 0 0 20 0 19 0 445070554 15859793920 835073 33554432000 4194304 4196468 140730918360496 139917253266256 139918044593928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22280] ppid=22250 vsize=15488080 memory=932 CPUtime=515.61 cores=0,2,4,6
/proc/22252/task/22280/stat : 22280 (java) R 22250 22250 14983 0 -1 4202560 19624 0 0 0 51519 42 0 0 20 0 19 0 445070554 15859793920 835073 33554432000 4194304 4196468 140730918360496 139917250112048 139918042958650 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22281] ppid=22250 vsize=15488080 memory=3768 CPUtime=515.29 cores=0,2,4,6
/proc/22252/task/22281/stat : 22281 (java) R 22250 22250 14983 0 -1 4202560 1363 0 0 0 51528 1 0 0 20 0 19 0 445070554 15859793920 835073 33554432000 4194304 4196468 140730918360496 139917249056664 139918044494543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22282] ppid=22250 vsize=15488080 memory=1448 CPUtime=513.78 cores=0,2,4,6
/proc/22252/task/22282/stat : 22282 (java) R 22250 22250 14983 0 -1 4202560 6094 0 0 0 51372 6 0 0 20 0 19 0 445070554 15859793920 835073 33554432000 4194304 4196468 140730918360496 139917248004824 139918042734986 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
Current children cumulated CPU time: 2072.91 s
Current children cumulated vsize: 15601208 KiB
Current children cumulated memory: 3341740 KiB

[startup+582.301 s]
/proc/loadavg: 8.47 8.40 8.40 9/238 22814
/proc/meminfo: memFree=27438268/32770624 swapFree=66997372/67108860
[pid=22250] ppid=22247 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22250/stat : 22250 (xcsp3-exec) S 22247 22250 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445070134 115843072 362 33554432000 4194304 5098028 140732250931456 140732250929560 140401420620412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28766208 140732250940282 140732250940525 140732250940525 140732250943434 0
/proc/22250/statm: 28282 362 304 221 0 87 0
[pid=22252] ppid=22250 vsize=15488080 memory=3297712 CPUtime=2311.78 cores=0,2,4,6
/proc/22252/stat : 22252 (java) S 22250 22250 14983 0 -1 1077944320 89378 0 0 0 231081 97 0 0 20 0 19 0 445070135 15859793920 824428 33554432000 4194304 4196468 140730918360496 140730918343040 139918397804279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
/proc/22252/statm: 3872020 824428 3541 1 0 3833120 0
[pid=22252/tid=22253] ppid=22250 vsize=15488080 memory=3297712 CPUtime=3.27 cores=0,2,4,6
/proc/22252/task/22253/stat : 22253 (java) S 22250 22250 14983 0 -1 1077944384 9558 0 0 0 317 10 0 0 20 0 19 0 445070135 15859793920 824428 33554432000 4194304 4196468 140730918360496 139918402045056 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22254] ppid=22250 vsize=15488080 memory=3297712 CPUtime=0.23 cores=0,2,4,6
/proc/22252/task/22254/stat : 22254 (java) S 22250 22250 14983 0 -1 1077944384 2478 0 0 0 18 5 0 0 20 0 19 0 445070136 15859793920 824428 33554432000 4194304 4196468 140730918360496 139918358764176 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22255] ppid=22250 vsize=15488080 memory=3297712 CPUtime=0.24 cores=0,2,4,6
/proc/22252/task/22255/stat : 22255 (java) S 22250 22250 14983 0 -1 1077944384 1258 0 0 0 18 6 0 0 20 0 19 0 445070136 15859793920 824428 33554432000 4194304 4196468 140730918360496 139917989485072 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22256] ppid=22250 vsize=15488080 memory=3297712 CPUtime=0.23 cores=0,2,4,6
/proc/22252/task/22256/stat : 22256 (java) S 22250 22250 14983 0 -1 1077944384 3181 0 0 0 17 6 0 0 20 0 19 0 445070136 15859793920 824428 33554432000 4194304 4196468 140730918360496 139917988432272 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22257] ppid=22250 vsize=15488080 memory=1448 CPUtime=0.23 cores=0,2,4,6
/proc/22252/task/22257/stat : 22257 (java) S 22250 22250 14983 0 -1 1077944384 2689 0 0 0 16 7 0 0 20 0 19 0 445070136 15859793920 824428 33554432000 4194304 4196468 140730918360496 139917987379472 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22258] ppid=22250 vsize=15488080 memory=1448 CPUtime=0.03 cores=0,2,4,6
/proc/22252/task/22258/stat : 22258 (java) S 22250 22250 14983 0 -1 1077944384 4137 0 0 0 2 1 0 0 20 0 19 0 445070137 15859793920 824428 33554432000 4194304 4196468 140730918360496 139917271960432 139918397815426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22259] ppid=22250 vsize=15488080 memory=3298224 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22259/stat : 22259 (java) S 22250 22250 14983 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 445070138 15859793920 824428 33554432000 4194304 4196468 140730918360496 139917270906464 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22260] ppid=22250 vsize=15488080 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22260/stat : 22260 (java) S 22250 22250 14983 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445070138 15859793920 824428 33554432000 4194304 4196468 140730918360496 139917269853568 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22261] ppid=22250 vsize=15488080 memory=5780771016648362554 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22261/stat : 22261 (java) S 22250 22250 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445070140 15859793920 824428 33554432000 4194304 4196468 140730918360496 139917268801872 139918397822875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22262] ppid=22250 vsize=15488080 memory=6944656592455097440 CPUtime=3.57 cores=0,2,4,6
/proc/22252/task/22262/stat : 22262 (java) S 22250 22250 14983 0 -1 1077944384 11719 0 0 0 356 1 0 0 20 0 19 0 445070140 15859793920 824428 33554432000 4194304 4196468 140730918360496 139917267749232 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22263] ppid=22250 vsize=15488080 memory=1448 CPUtime=3.7 cores=0,2,4,6
/proc/22252/task/22263/stat : 22263 (java) S 22250 22250 14983 0 -1 1077944384 12711 0 0 0 368 2 0 0 20 0 19 0 445070140 15859793920 824428 33554432000 4194304 4196468 140730918360496 139917266696432 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22264] ppid=22250 vsize=15488080 memory=1448 CPUtime=0.83 cores=0,2,4,6
/proc/22252/task/22264/stat : 22264 (java) S 22250 22250 14983 0 -1 1077944384 8197 0 0 0 82 1 0 0 20 0 19 0 445070140 15859793920 824428 33554432000 4194304 4196468 140730918360496 139917265643632 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22265] ppid=22250 vsize=15488080 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22265/stat : 22265 (java) S 22250 22250 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445070141 15859793920 824428 33554432000 4194304 4196468 140730918360496 139917264591072 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22266] ppid=22250 vsize=15488080 memory=1448 CPUtime=0.17 cores=0,2,4,6
/proc/22252/task/22266/stat : 22266 (java) S 22250 22250 14983 0 -1 1077944384 624 0 0 0 0 17 0 0 20 0 19 0 445070141 15859793920 824428 33554432000 4194304 4196468 140730918360496 139917263539376 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22279] ppid=22250 vsize=15488080 memory=1448 CPUtime=574.58 cores=0,2,4,6
/proc/22252/task/22279/stat : 22279 (java) R 22250 22250 14983 0 -1 4202560 1413 0 0 0 57456 2 0 0 20 0 19 0 445070554 15859793920 824428 33554432000 4194304 4196468 140730918360496 139917253266096 139918044494133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22280] ppid=22250 vsize=15488080 memory=3298224 CPUtime=575.38 cores=0,2,4,6
/proc/22252/task/22280/stat : 22280 (java) R 22250 22250 14983 0 -1 4202560 21688 0 0 0 57495 43 0 0 20 0 19 0 445070554 15859793920 824428 33554432000 4194304 4196468 140730918360496 139917250109464 139918044580370 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22281] ppid=22250 vsize=15488080 memory=1764 CPUtime=574.77 cores=0,2,4,6
/proc/22252/task/22281/stat : 22281 (java) R 22250 22250 14983 0 -1 4202560 1538 0 0 0 57476 1 0 0 20 0 19 0 445070554 15859793920 824428 33554432000 4194304 4196468 140730918360496 139917249056472 139918042784103 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22282] ppid=22250 vsize=15488080 memory=3504 CPUtime=573.63 cores=0,2,4,6
/proc/22252/task/22282/stat : 22282 (java) R 22250 22250 14983 0 -1 4202560 6487 0 0 0 57357 6 0 0 20 0 19 0 445070554 15859793920 824428 33554432000 4194304 4196468 140730918360496 139917248007312 139918042734937 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
Current children cumulated CPU time: 2311.78 s
Current children cumulated vsize: 15601208 KiB
Current children cumulated memory: 3299160 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+634.601 s]
/proc/loadavg: 8.69 8.47 8.42 9/238 22818
/proc/meminfo: memFree=27337392/32770624 swapFree=66997372/67108860
[pid=22250] ppid=22247 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22250/stat : 22250 (xcsp3-exec) S 22247 22250 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445070134 115843072 362 33554432000 4194304 5098028 140732250931456 140732250929560 140401420620412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28766208 140732250940282 140732250940525 140732250940525 140732250943434 0
/proc/22250/statm: 28282 362 304 221 0 87 0
[pid=22252] ppid=22250 vsize=15488080 memory=3260772 CPUtime=2520.02 cores=0,2,4,6
/proc/22252/stat : 22252 (java) S 22250 22250 14983 0 -1 1077944320 93682 0 0 0 251904 98 0 0 20 0 19 0 445070135 15859793920 815193 33554432000 4194304 4196468 140730918360496 140730918343040 139918397804279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
/proc/22252/statm: 3872020 815193 3541 1 0 3833120 0
[pid=22252/tid=22253] ppid=22250 vsize=15488080 memory=776 CPUtime=3.27 cores=0,2,4,6
/proc/22252/task/22253/stat : 22253 (java) S 22250 22250 14983 0 -1 1077944384 9558 0 0 0 317 10 0 0 20 0 19 0 445070135 15859793920 815193 33554432000 4194304 4196468 140730918360496 139918402045056 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22254] ppid=22250 vsize=15488080 memory=3992 CPUtime=0.23 cores=0,2,4,6
/proc/22252/task/22254/stat : 22254 (java) S 22250 22250 14983 0 -1 1077944384 2517 0 0 0 18 5 0 0 20 0 19 0 445070136 15859793920 815193 33554432000 4194304 4196468 140730918360496 139918358764176 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22255] ppid=22250 vsize=15488080 memory=2828 CPUtime=0.25 cores=0,2,4,6
/proc/22252/task/22255/stat : 22255 (java) S 22250 22250 14983 0 -1 1077944384 1299 0 0 0 19 6 0 0 20 0 19 0 445070136 15859793920 815193 33554432000 4194304 4196468 140730918360496 139917989485072 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22256] ppid=22250 vsize=15488080 memory=676 CPUtime=0.24 cores=0,2,4,6
/proc/22252/task/22256/stat : 22256 (java) S 22250 22250 14983 0 -1 1077944384 3225 0 0 0 18 6 0 0 20 0 19 0 445070136 15859793920 815193 33554432000 4194304 4196468 140730918360496 139917988432272 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22257] ppid=22250 vsize=15488080 memory=6791534058613427641 CPUtime=0.23 cores=0,2,4,6
/proc/22252/task/22257/stat : 22257 (java) S 22250 22250 14983 0 -1 1077944384 3183 0 0 0 16 7 0 0 20 0 19 0 445070136 15859793920 815193 33554432000 4194304 4196468 140730918360496 139917987379472 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22258] ppid=22250 vsize=15488080 memory=500 CPUtime=0.04 cores=0,2,4,6
/proc/22252/task/22258/stat : 22258 (java) S 22250 22250 14983 0 -1 1077944384 4353 0 0 0 3 1 0 0 20 0 19 0 445070137 15859793920 815193 33554432000 4194304 4196468 140730918360496 139917271960432 139918397815426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22259] ppid=22250 vsize=15488080 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22259/stat : 22259 (java) S 22250 22250 14983 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 445070138 15859793920 815193 33554432000 4194304 4196468 140730918360496 139917270906464 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22260] ppid=22250 vsize=15488080 memory=932 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22260/stat : 22260 (java) S 22250 22250 14983 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445070138 15859793920 815193 33554432000 4194304 4196468 140730918360496 139917269853568 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22261] ppid=22250 vsize=15488080 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22261/stat : 22261 (java) S 22250 22250 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445070140 15859793920 815193 33554432000 4194304 4196468 140730918360496 139917268801872 139918397822875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22262] ppid=22250 vsize=15488080 memory=1980 CPUtime=3.57 cores=0,2,4,6
/proc/22252/task/22262/stat : 22262 (java) S 22250 22250 14983 0 -1 1077944384 11722 0 0 0 356 1 0 0 20 0 19 0 445070140 15859793920 815193 33554432000 4194304 4196468 140730918360496 139917267749232 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22263] ppid=22250 vsize=15488080 memory=2512 CPUtime=3.7 cores=0,2,4,6
/proc/22252/task/22263/stat : 22263 (java) S 22250 22250 14983 0 -1 1077944384 12718 0 0 0 368 2 0 0 20 0 19 0 445070140 15859793920 815193 33554432000 4194304 4196468 140730918360496 139917266696432 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22264] ppid=22250 vsize=15488080 memory=1436 CPUtime=0.84 cores=0,2,4,6
/proc/22252/task/22264/stat : 22264 (java) S 22250 22250 14983 0 -1 1077944384 9438 0 0 0 83 1 0 0 20 0 19 0 445070140 15859793920 815193 33554432000 4194304 4196468 140730918360496 139917265643632 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22265] ppid=22250 vsize=15488080 memory=812 CPUtime=0 cores=0,2,4,6
/proc/22252/task/22265/stat : 22265 (java) S 22250 22250 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445070141 15859793920 815193 33554432000 4194304 4196468 140730918360496 139917264591072 139918397814485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22266] ppid=22250 vsize=15488080 memory=1764 CPUtime=0.18 cores=0,2,4,6
/proc/22252/task/22266/stat : 22266 (java) S 22250 22250 14983 0 -1 1077944384 657 0 0 0 0 18 0 0 20 0 19 0 445070141 15859793920 815193 33554432000 4194304 4196468 140730918360496 139917263539376 139918397815426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22279] ppid=22250 vsize=15488080 memory=920 CPUtime=626.85 cores=0,2,4,6
/proc/22252/task/22279/stat : 22279 (java) R 22250 22250 14983 0 -1 4202560 1563 0 0 0 62683 2 0 0 20 0 19 0 445070554 15859793920 815193 33554432000 4194304 4196468 140730918360496 139917253266080 139918042688484 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22280] ppid=22250 vsize=15488080 memory=3844 CPUtime=627.08 cores=0,2,4,6
/proc/22252/task/22280/stat : 22280 (java) R 22250 22250 14983 0 -1 4202560 23188 0 0 0 62665 43 0 0 20 0 19 0 445070554 15859793920 815193 33554432000 4194304 4196468 140730918360496 139917250109384 139918042934950 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22281] ppid=22250 vsize=15488080 memory=2612 CPUtime=626.71 cores=0,2,4,6
/proc/22252/task/22281/stat : 22281 (java) R 22250 22250 14983 0 -1 4202560 1672 0 0 0 62670 1 0 0 20 0 19 0 445070554 15859793920 815193 33554432000 4194304 4196468 140730918360496 139917249056584 139918042811063 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
[pid=22252/tid=22282] ppid=22250 vsize=15488080 memory=2596 CPUtime=625.92 cores=0,2,4,6
/proc/22252/task/22282/stat : 22282 (java) R 22250 22250 14983 0 -1 4202560 6889 0 0 0 62586 6 0 0 20 0 19 0 445070554 15859793920 815193 33554432000 4194304 4196468 140730918360496 139917248006560 139918044494076 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9723904 140730918368239 140730918368410 140730918368410 140730918371279 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 15601208 KiB
Current children cumulated memory: 3262220 KiB

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

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

[startup+634.692 s]
# the end of solver process 22252 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.34 s, system=0.999025 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): 634.692
CPU time (s): 2520.34
CPU user time (s): 2519.34
CPU system time (s): 0.999025
CPU usage (%): 397.096
Max. virtual memory (cumulated for all children) (KiB): 15601208
Max. memory (cumulated for all children) (KiB): 3433228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.34
system time used= 0.999025
maximum resident set size= 3431780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94861
page faults= 0
swaps= 0
block input operations= 0
block output operations= 736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17025
involuntary context switches= 33302


# summary of solver processes directly reported to runsolver:
#   pid: 22250,22252
#   total CPU time (s): 2520.34
#   total CPU user time (s): 2519.34
#   total CPU system time (s): 0.999025

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.92273 second user time and 7.24856 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-school1.xml
MD5SUM	9dec5151d217f705456bb861c341cf0d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	13
Best CPU time to get the best result obtained on this benchmark	68.3294
Satisfiable
(Un)Satisfiability was proved
Number of variables	385
Number of constraints	19095
Number of domains	1
Minimum domain size	385
Maximum domain size	385
Distribution of domain sizes	[{"size":385,"count":385}]
Minimum variable degree	2
Maximum variable degree	283
Distribution of variable degrees	[{"degree":2,"count":8},{"degree":3,"count":2},{"degree":4,"count":3},{"degree":5,"count":2},{"degree":6,"count":1},{"degree":8,"count":1},{"degree":9,"count":4},{"degree":10,"count":1},{"degree":12,"count":1},{"degree":13,"count":4},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":22,"count":1},{"degree":24,"count":3},{"degree":25,"count":5},{"degree":26,"count":2},{"degree":27,"count":1},{"degree":29,"count":2},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":35,"count":2},{"degree":39,"count":1},"...",{"degree":150,"count":2}, {"degree":154,"count":3}, {"degree":155,"count":1}, {"degree":156,"count":2}, {"degree":160,"count":2}, {"degree":161,"count":3}, {"degree":163,"count":1}, {"degree":164,"count":1}, {"degree":167,"count":1}, {"degree":168,"count":1}, {"degree":172,"count":1}, {"degree":175,"count":1}, {"degree":177,"count":1}, {"degree":230,"count":2}, {"degree":246,"count":1}, {"degree":247,"count":1}, {"degree":252,"count":1}, {"degree":257,"count":1}, {"degree":260,"count":1}, {"degree":263,"count":1}, {"degree":265,"count":1}, {"degree":269,"count":2}, {"degree":271,"count":1}, {"degree":273,"count":1}, {"degree":283,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":19095}]
Number of extensional constraints	0
Number of intensional constraints	19095
Distribution of constraint types	[{"type":"intension","count":19095}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4399366

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
