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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-09)	SAT	5.9080901	1.21504
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 (15323 MiB free)
  memory of node 1: 16384 MiB (15466 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270916-1502817438/watcher-4270916-1502817438 -o /tmp/evaluation-result-4270916-1502817438/solver-4270916-1502817438 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502815183-30951 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1798474055 HOME/instance-4270916-1502817438.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=31317, runsolver pid=31314
Current StackSize limit: 8192 KiB


[startup+0.100109 s]*
/proc/loadavg: 6.26 7.14 5.69 3/201 31338
/proc/meminfo: memFree=31513312/32770624 swapFree=67108860/67108860
[pid=31317] ppid=31314 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31317/stat : 31317 (xcsp3-exec) S 31314 31317 30924 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114831502 9740288 345 33554432000 4194304 5098028 140733558434944 140733558433048 139837593686652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37548032 140733558436964 140733558437175 140733558437175 140733558439915 0
/proc/31317/statm: 2378 345 289 221 0 87 0
[pid=31319] ppid=31317 vsize=25999808 memory=27240 CPUtime=0.12 cores=0-7
/proc/31319/stat : 31319 (java) S 31317 31317 30924 0 -1 1077944320 5673 0 0 0 10 2 0 0 20 0 20 0 114831503 26623803392 6810 33554432000 4194304 4196468 140734639860416 140734639842960 140310014418679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
/proc/31319/statm: 6499952 6810 2863 1 0 6488269 0
[pid=31319/tid=31320] ppid=31317 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/31319/task/31320/stat : 31320 (java) R 31317 31317 30924 0 -1 4202560 3682 0 0 0 8 1 0 0 20 0 20 0 114831503 26623803392 6810 33554432000 4194304 4196468 140734639860416 140310018645024 140309998462309 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31321] ppid=31317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31321/stat : 31321 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114831504 26623803392 6810 33554432000 4194304 4196468 140734639860416 140309967038736 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31322] ppid=31317 vsize=25999808 memory=140095158793856 CPUtime=0 cores=0-7
/proc/31319/task/31322/stat : 31322 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114831504 26623803392 6810 33554432000 4194304 4196468 140734639860416 140309965986192 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31323] ppid=31317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31323/stat : 31323 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114831504 26623803392 6810 33554432000 4194304 4196468 140734639860416 140309964933648 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31324] ppid=31317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31324/stat : 31324 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114831504 26623803392 6810 33554432000 4194304 4196468 140734639860416 140309963881104 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31325] ppid=31317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31325/stat : 31325 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114831504 26623803392 6810 33554432000 4194304 4196468 140734639860416 140309962828560 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31326] ppid=31317 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/31319/task/31326/stat : 31326 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114831504 26623803392 6810 33554432000 4194304 4196468 140734639860416 140309961776016 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31327] ppid=31317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31327/stat : 31327 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114831504 26623803392 6810 33554432000 4194304 4196468 140734639860416 140309960723472 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31328] ppid=31317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31328/stat : 31328 (java) S 31317 31317 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114831504 26623803392 6810 33554432000 4194304 4196468 140734639860416 140309959670928 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31329] ppid=31317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31329/stat : 31329 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114831505 26623803392 6810 33554432000 4194304 4196468 140734639860416 140309410191344 140310014429826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31330] ppid=31317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31330/stat : 31330 (java) S 31317 31317 30924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114831506 26623803392 6810 33554432000 4194304 4196468 140734639860416 140309409137568 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31331] ppid=31317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31331/stat : 31331 (java) S 31317 31317 30924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114831506 26623803392 6810 33554432000 4194304 4196468 140734639860416 140309408084976 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31332] ppid=31317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31332/stat : 31332 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114831508 26623803392 6810 33554432000 4194304 4196468 140734639860416 140309407033552 140310014437275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31333] ppid=31317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31333/stat : 31333 (java) S 31317 31317 30924 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 20 0 114831508 26623803392 6810 33554432000 4194304 4196468 140734639860416 140309405981168 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31334] ppid=31317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31334/stat : 31334 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114831508 26623803392 6810 33554432000 4194304 4196468 140734639860416 140309404928624 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31335] ppid=31317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31335/stat : 31335 (java) S 31317 31317 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114831509 26623803392 6810 33554432000 4194304 4196468 140734639860416 140309403876080 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31336] ppid=31317 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/31319/task/31336/stat : 31336 (java) R 31317 31317 30924 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 20 0 114831509 26623803392 6810 33554432000 4194304 4196468 140734639860416 140309402823536 140309993031445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31337] ppid=31317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31337/stat : 31337 (java) S 31317 31317 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114831509 26623803392 6810 33554432000 4194304 4196468 140734639860416 140309199579360 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31338] ppid=31317 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/31319/task/31338/stat : 31338 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114831509 26623803392 6810 33554432000 4194304 4196468 140734639860416 140309198526896 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28620 KiB

[startup+0.210182 s]*
/proc/loadavg: 6.26 7.14 5.69 3/201 31338
/proc/meminfo: memFree=31502024/32770624 swapFree=67108860/67108860
[pid=31317] ppid=31314 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31317/stat : 31317 (xcsp3-exec) S 31314 31317 30924 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114831502 9740288 345 33554432000 4194304 5098028 140733558434944 140733558433048 139837593686652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37548032 140733558436964 140733558437175 140733558437175 140733558439915 0
/proc/31317/statm: 2378 345 289 221 0 87 0
[pid=31319] ppid=31317 vsize=26004064 memory=38744 CPUtime=0.33 cores=0-7
/proc/31319/stat : 31319 (java) S 31317 31317 30924 0 -1 1077944320 8334 0 0 0 30 3 0 0 20 0 20 0 114831503 26628161536 9686 33554432000 4194304 4196468 140734639860416 140734639842960 140310014418679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
/proc/31319/statm: 6501016 9686 3050 1 0 6488269 0
[pid=31319/tid=31320] ppid=31317 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/31319/task/31320/stat : 31320 (java) R 31317 31317 30924 0 -1 4202560 5428 0 0 0 18 2 0 0 20 0 20 0 114831503 26628161536 9686 33554432000 4194304 4196468 140734639860416 140310018631696 140310014440605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31321] ppid=31317 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/31319/task/31321/stat : 31321 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114831504 26628161536 9686 33554432000 4194304 4196468 140734639860416 140309967038736 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31322] ppid=31317 vsize=26004064 memory=288370471310505600 CPUtime=0 cores=0-7
/proc/31319/task/31322/stat : 31322 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114831504 26628161536 9686 33554432000 4194304 4196468 140734639860416 140309965986192 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31323] ppid=31317 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31319/task/31323/stat : 31323 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114831504 26628161536 9686 33554432000 4194304 4196468 140734639860416 140309964933648 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31324] ppid=31317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31324/stat : 31324 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114831504 26628161536 9686 33554432000 4194304 4196468 140734639860416 140309963881104 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31325] ppid=31317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31325/stat : 31325 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114831504 26628161536 9686 33554432000 4194304 4196468 140734639860416 140309962828560 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31326] ppid=31317 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31319/task/31326/stat : 31326 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114831504 26628161536 9686 33554432000 4194304 4196468 140734639860416 140309961776016 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31327] ppid=31317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31327/stat : 31327 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114831504 26628161536 9686 33554432000 4194304 4196468 140734639860416 140309960723472 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31328] ppid=31317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31328/stat : 31328 (java) S 31317 31317 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114831504 26628161536 9686 33554432000 4194304 4196468 140734639860416 140309959670928 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31329] ppid=31317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31329/stat : 31329 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114831505 26628161536 9686 33554432000 4194304 4196468 140734639860416 140309410191344 140310014429826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31330] ppid=31317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31330/stat : 31330 (java) S 31317 31317 30924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114831506 26628161536 9686 33554432000 4194304 4196468 140734639860416 140309409137568 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31331] ppid=31317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31331/stat : 31331 (java) S 31317 31317 30924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114831506 26628161536 9686 33554432000 4194304 4196468 140734639860416 140309408084976 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31332] ppid=31317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31332/stat : 31332 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114831508 26628161536 9686 33554432000 4194304 4196468 140734639860416 140309407033552 140310014437275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31333] ppid=31317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31333/stat : 31333 (java) S 31317 31317 30924 0 -1 1077944384 525 0 0 0 0 0 0 0 20 0 20 0 114831508 26628161536 9686 33554432000 4194304 4196468 140734639860416 140309405981168 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31334] ppid=31317 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/31319/task/31334/stat : 31334 (java) S 31317 31317 30924 0 -1 1077944384 293 0 0 0 1 0 0 0 20 0 20 0 114831508 26628161536 9686 33554432000 4194304 4196468 140734639860416 140309404928624 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31335] ppid=31317 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/31319/task/31335/stat : 31335 (java) S 31317 31317 30924 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 20 0 114831509 26628161536 9686 33554432000 4194304 4196468 140734639860416 140309403876080 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31336] ppid=31317 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/31319/task/31336/stat : 31336 (java) S 31317 31317 30924 0 -1 1077944384 715 0 0 0 7 0 0 0 20 0 20 0 114831509 26628161536 9686 33554432000 4194304 4196468 140734639860416 140309402823536 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31337] ppid=31317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31337/stat : 31337 (java) S 31317 31317 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114831509 26628161536 9686 33554432000 4194304 4196468 140734639860416 140309199579360 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31338] ppid=31317 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31319/task/31338/stat : 31338 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114831509 26628161536 9686 33554432000 4194304 4196468 140734639860416 140309198526896 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40124 KiB

[startup+0.309499 s]*
/proc/loadavg: 6.26 7.14 5.69 3/201 31338
/proc/meminfo: memFree=31491020/32770624 swapFree=67108860/67108860
[pid=31317] ppid=31314 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31317/stat : 31317 (xcsp3-exec) S 31314 31317 30924 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114831502 9740288 345 33554432000 4194304 5098028 140733558434944 140733558433048 139837593686652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37548032 140733558436964 140733558437175 140733558437175 140733558439915 0
/proc/31317/statm: 2378 345 289 221 0 87 0
[pid=31319] ppid=31317 vsize=26004064 memory=45776 CPUtime=0.49 cores=0-7
/proc/31319/stat : 31319 (java) S 31317 31317 30924 0 -1 1077944320 9203 0 0 0 45 4 0 0 20 0 20 0 114831503 26628161536 11444 33554432000 4194304 4196468 140734639860416 140734639842960 140310014418679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
/proc/31319/statm: 6501016 11444 3076 1 0 6488269 0
[pid=31319/tid=31320] ppid=31317 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31319/task/31320/stat : 31320 (java) R 31317 31317 30924 0 -1 4194368 6193 0 0 0 27 2 0 0 20 0 20 0 114831503 26628161536 11444 33554432000 4194304 4196468 140734639860416 140310018653616 140309998996944 0 2147221247 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31321] ppid=31317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31321/stat : 31321 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114831504 26628161536 11444 33554432000 4194304 4196468 140734639860416 140309967038736 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31322] ppid=31317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31322/stat : 31322 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114831504 26628161536 11444 33554432000 4194304 4196468 140734639860416 140309965986192 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31323] ppid=31317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31323/stat : 31323 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114831504 26628161536 11444 33554432000 4194304 4196468 140734639860416 140309964933648 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31324] ppid=31317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31324/stat : 31324 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114831504 26628161536 11444 33554432000 4194304 4196468 140734639860416 140309963881104 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31325] ppid=31317 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/31319/task/31325/stat : 31325 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114831504 26628161536 11444 33554432000 4194304 4196468 140734639860416 140309962828560 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31326] ppid=31317 vsize=26004064 memory=140095055295407 CPUtime=0 cores=0-7
/proc/31319/task/31326/stat : 31326 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114831504 26628161536 11444 33554432000 4194304 4196468 140734639860416 140309961776016 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31327] ppid=31317 vsize=26004064 memory=140095055297712 CPUtime=0 cores=0-7
/proc/31319/task/31327/stat : 31327 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114831504 26628161536 11444 33554432000 4194304 4196468 140734639860416 140309960723472 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31328] ppid=31317 vsize=26004064 memory=140095055300016 CPUtime=0 cores=0-7
/proc/31319/task/31328/stat : 31328 (java) S 31317 31317 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114831504 26628161536 11444 33554432000 4194304 4196468 140734639860416 140309959670928 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31329] ppid=31317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31329/stat : 31329 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114831505 26628161536 11444 33554432000 4194304 4196468 140734639860416 140309410191344 140310014429826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31330] ppid=31317 vsize=26004064 memory=280190110606992 CPUtime=0 cores=0-7
/proc/31319/task/31330/stat : 31330 (java) S 31317 31317 30924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114831506 26628161536 11444 33554432000 4194304 4196468 140734639860416 140309409137568 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31331] ppid=31317 vsize=26004064 memory=280190110613904 CPUtime=0 cores=0-7
/proc/31319/task/31331/stat : 31331 (java) S 31317 31317 30924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114831506 26628161536 11444 33554432000 4194304 4196468 140734639860416 140309408084976 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31332] ppid=31317 vsize=26004064 memory=280190110555056 CPUtime=0 cores=0-7
/proc/31319/task/31332/stat : 31332 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114831508 26628161536 11444 33554432000 4194304 4196468 140734639860416 140309407033552 140310014437275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31333] ppid=31317 vsize=26004064 memory=280190110627728 CPUtime=0.02 cores=0-7
/proc/31319/task/31333/stat : 31333 (java) S 31317 31317 30924 0 -1 1077944384 552 0 0 0 2 0 0 0 20 0 20 0 114831508 26628161536 11444 33554432000 4194304 4196468 140734639860416 140309405981168 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31334] ppid=31317 vsize=26004064 memory=280190110634640 CPUtime=0.02 cores=0-7
/proc/31319/task/31334/stat : 31334 (java) S 31317 31317 30924 0 -1 1077944384 297 0 0 0 2 0 0 0 20 0 20 0 114831508 26628161536 11444 33554432000 4194304 4196468 140734639860416 140309404928624 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31335] ppid=31317 vsize=26004064 memory=280190110632336 CPUtime=0.02 cores=0-7
/proc/31319/task/31335/stat : 31335 (java) S 31317 31317 30924 0 -1 1077944384 64 0 0 0 2 0 0 0 20 0 20 0 114831509 26628161536 11444 33554432000 4194304 4196468 140734639860416 140309403876080 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31336] ppid=31317 vsize=26004064 memory=280190110648496 CPUtime=0.11 cores=0-7
/proc/31319/task/31336/stat : 31336 (java) R 31317 31317 30924 0 -1 4202560 786 0 0 0 11 0 0 0 20 0 20 0 114831509 26628161536 11444 33554432000 4194304 4196468 140734639860416 140309402823536 140310014440026 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31337] ppid=31317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31337/stat : 31337 (java) S 31317 31317 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114831509 26628161536 11444 33554432000 4194304 4196468 140734639860416 140309199579360 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31338] ppid=31317 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31319/task/31338/stat : 31338 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114831509 26628161536 11444 33554432000 4194304 4196468 140734639860416 140309198526896 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47156 KiB

[startup+0.704553 s]
/proc/loadavg: 6.26 7.14 5.69 5/201 31338
/proc/meminfo: memFree=31466120/32770624 swapFree=67108860/67108860
[pid=31317] ppid=31314 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31317/stat : 31317 (xcsp3-exec) S 31314 31317 30924 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114831502 9740288 345 33554432000 4194304 5098028 140733558434944 140733558433048 139837593686652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37548032 140733558436964 140733558437175 140733558437175 140733558439915 0
/proc/31317/statm: 2378 345 289 221 0 87 0
[pid=31319] ppid=31317 vsize=26538700 memory=112332 CPUtime=2.26 cores=0-7
/proc/31319/stat : 31319 (java) S 31317 31317 30924 0 -1 1077944320 12326 0 0 0 219 7 0 0 20 0 28 0 114831503 27175628800 28083 33554432000 4194304 4196468 140734639860416 140734639842960 140310014418679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
/proc/31319/statm: 6634675 28083 3186 1 0 6621909 0
[pid=31319/tid=31320] ppid=31317 vsize=26538700 memory=280190111006384 CPUtime=0.54 cores=0-7
/proc/31319/task/31320/stat : 31320 (java) S 31317 31317 30924 0 -1 1077944384 6805 0 0 0 51 3 0 0 20 0 28 0 114831503 27175628800 28083 33554432000 4194304 4196468 140734639860416 140310018659456 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31321] ppid=31317 vsize=26538700 memory=140095055504240 CPUtime=0 cores=0-7
/proc/31319/task/31321/stat : 31321 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 114831504 27175628800 28083 33554432000 4194304 4196468 140734639860416 140309967038736 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31322] ppid=31317 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31322/stat : 31322 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 114831504 27175628800 28083 33554432000 4194304 4196468 140734639860416 140309965986192 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31323] ppid=31317 vsize=26538700 memory=10928 CPUtime=0 cores=0-7
/proc/31319/task/31323/stat : 31323 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114831504 27175628800 28083 33554432000 4194304 4196468 140734639860416 140309964933648 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31324] ppid=31317 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/31319/task/31324/stat : 31324 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 114831504 27175628800 28083 33554432000 4194304 4196468 140734639860416 140309963881104 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31325] ppid=31317 vsize=26538700 memory=1424 CPUtime=0 cores=0-7
/proc/31319/task/31325/stat : 31325 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 114831504 27175628800 28083 33554432000 4194304 4196468 140734639860416 140309962828560 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31326] ppid=31317 vsize=26538700 memory=15872 CPUtime=0 cores=0-7
/proc/31319/task/31326/stat : 31326 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114831504 27175628800 28083 33554432000 4194304 4196468 140734639860416 140309961776016 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31327] ppid=31317 vsize=26538700 memory=4052 CPUtime=0 cores=0-7
/proc/31319/task/31327/stat : 31327 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114831504 27175628800 28083 33554432000 4194304 4196468 140734639860416 140309960723472 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31328] ppid=31317 vsize=26538700 memory=19036 CPUtime=0 cores=0-7
/proc/31319/task/31328/stat : 31328 (java) S 31317 31317 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 114831504 27175628800 28083 33554432000 4194304 4196468 140734639860416 140309959670928 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31329] ppid=31317 vsize=26538700 memory=18444 CPUtime=0 cores=0-7
/proc/31319/task/31329/stat : 31329 (java) S 31317 31317 30924 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 114831505 27175628800 28083 33554432000 4194304 4196468 140734639860416 140309410191344 140310014429826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31330] ppid=31317 vsize=26538700 memory=1788 CPUtime=0 cores=0-7
/proc/31319/task/31330/stat : 31330 (java) S 31317 31317 30924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 114831506 27175628800 28083 33554432000 4194304 4196468 140734639860416 140309409137568 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31331] ppid=31317 vsize=26538700 memory=640 CPUtime=0 cores=0-7
/proc/31319/task/31331/stat : 31331 (java) S 31317 31317 30924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 114831506 27175628800 28083 33554432000 4194304 4196468 140734639860416 140309408084976 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31332] ppid=31317 vsize=26538700 memory=952 CPUtime=0 cores=0-7
/proc/31319/task/31332/stat : 31332 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114831508 27175628800 28083 33554432000 4194304 4196468 140734639860416 140309407033552 140310014437275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31333] ppid=31317 vsize=26538700 memory=22244 CPUtime=0.19 cores=0-7
/proc/31319/task/31333/stat : 31333 (java) S 31317 31317 30924 0 -1 1077944384 1051 0 0 0 19 0 0 0 20 0 28 0 114831508 27175628800 28083 33554432000 4194304 4196468 140734639860416 140309405981168 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31334] ppid=31317 vsize=26538700 memory=1008 CPUtime=0.22 cores=0-7
/proc/31319/task/31334/stat : 31334 (java) S 31317 31317 30924 0 -1 1077944384 804 0 0 0 22 0 0 0 20 0 28 0 114831508 27175628800 28083 33554432000 4194304 4196468 140734639860416 140309404928624 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31335] ppid=31317 vsize=26538700 memory=1928 CPUtime=0.18 cores=0-7
/proc/31319/task/31335/stat : 31335 (java) S 31317 31317 30924 0 -1 1077944384 810 0 0 0 18 0 0 0 20 0 28 0 114831509 27175628800 28083 33554432000 4194304 4196468 140734639860416 140309403876080 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31336] ppid=31317 vsize=26538700 memory=1200 CPUtime=0.25 cores=0-7
/proc/31319/task/31336/stat : 31336 (java) S 31317 31317 30924 0 -1 1077944384 1246 0 0 0 25 0 0 0 20 0 28 0 114831509 27175628800 28083 33554432000 4194304 4196468 140734639860416 140309402823536 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31337] ppid=31317 vsize=26538700 memory=8632 CPUtime=0 cores=0-7
/proc/31319/task/31337/stat : 31337 (java) S 31317 31317 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 114831509 27175628800 28083 33554432000 4194304 4196468 140734639860416 140309199579360 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31338] ppid=31317 vsize=26538700 memory=5664 CPUtime=0 cores=0-7
/proc/31319/task/31338/stat : 31338 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114831509 27175628800 28083 33554432000 4194304 4196468 140734639860416 140309198526896 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
Current children cumulated CPU time: 2.26 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 113712 KiB

[startup+1.21498 s]
# the end of solver process 31317 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.8225 s, system=0.085589 s

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

[startup+0.801553 s]
/proc/loadavg: 6.26 7.14 5.69 5/201 31338
/proc/meminfo: memFree=31466120/32770624 swapFree=67108860/67108860
[pid=31317] ppid=31314 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31317/stat : 31317 (xcsp3-exec) S 31314 31317 30924 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114831502 9740288 345 33554432000 4194304 5098028 140733558434944 140733558433048 139837593686652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37548032 140733558436964 140733558437175 140733558437175 140733558439915 0
/proc/31317/statm: 2378 345 289 221 0 87 0
[pid=31319] ppid=31317 vsize=26538700 memory=112376 CPUtime=3.03 cores=0-7
/proc/31319/stat : 31319 (java) S 31317 31317 30924 0 -1 1077944320 12357 0 0 0 296 7 0 0 20 0 28 0 114831503 27175628800 28094 33554432000 4194304 4196468 140734639860416 140734639842960 140310014418679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
/proc/31319/statm: 6634675 28094 3187 1 0 6621909 0
[pid=31319/tid=31320] ppid=31317 vsize=26538700 memory=10928 CPUtime=0.54 cores=0-7
/proc/31319/task/31320/stat : 31320 (java) S 31317 31317 30924 0 -1 1077944384 6805 0 0 0 51 3 0 0 20 0 28 0 114831503 27175628800 28094 33554432000 4194304 4196468 140734639860416 140310018659456 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31321] ppid=31317 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/31319/task/31321/stat : 31321 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 114831504 27175628800 28094 33554432000 4194304 4196468 140734639860416 140309967038736 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31322] ppid=31317 vsize=26538700 memory=1424 CPUtime=0 cores=0-7
/proc/31319/task/31322/stat : 31322 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 114831504 27175628800 28094 33554432000 4194304 4196468 140734639860416 140309965986192 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31323] ppid=31317 vsize=26538700 memory=15872 CPUtime=0 cores=0-7
/proc/31319/task/31323/stat : 31323 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114831504 27175628800 28094 33554432000 4194304 4196468 140734639860416 140309964933648 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31324] ppid=31317 vsize=26538700 memory=4052 CPUtime=0 cores=0-7
/proc/31319/task/31324/stat : 31324 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 114831504 27175628800 28094 33554432000 4194304 4196468 140734639860416 140309963881104 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31325] ppid=31317 vsize=26538700 memory=19036 CPUtime=0 cores=0-7
/proc/31319/task/31325/stat : 31325 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 114831504 27175628800 28094 33554432000 4194304 4196468 140734639860416 140309962828560 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31326] ppid=31317 vsize=26538700 memory=18444 CPUtime=0 cores=0-7
/proc/31319/task/31326/stat : 31326 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114831504 27175628800 28094 33554432000 4194304 4196468 140734639860416 140309961776016 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31327] ppid=31317 vsize=26538700 memory=31140 CPUtime=0 cores=0-7
/proc/31319/task/31327/stat : 31327 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114831504 27175628800 28094 33554432000 4194304 4196468 140734639860416 140309960723472 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31328] ppid=31317 vsize=26538700 memory=4572432629712724375 CPUtime=0 cores=0-7
/proc/31319/task/31328/stat : 31328 (java) S 31317 31317 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 114831504 27175628800 28094 33554432000 4194304 4196468 140734639860416 140309959670928 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31329] ppid=31317 vsize=26538700 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/31319/task/31329/stat : 31329 (java) S 31317 31317 30924 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 114831505 27175628800 28094 33554432000 4194304 4196468 140734639860416 140309410191344 140310014429826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31330] ppid=31317 vsize=26538700 memory=164 CPUtime=0 cores=0-7
/proc/31319/task/31330/stat : 31330 (java) S 31317 31317 30924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 114831506 27175628800 28094 33554432000 4194304 4196468 140734639860416 140309409137568 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31331] ppid=31317 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31331/stat : 31331 (java) S 31317 31317 30924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 114831506 27175628800 28094 33554432000 4194304 4196468 140734639860416 140309408084976 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31332] ppid=31317 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31332/stat : 31332 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114831508 27175628800 28094 33554432000 4194304 4196468 140734639860416 140309407033552 140310014437275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31333] ppid=31317 vsize=26538700 memory=0 CPUtime=0.23 cores=0-7
/proc/31319/task/31333/stat : 31333 (java) S 31317 31317 30924 0 -1 1077944384 1055 0 0 0 23 0 0 0 20 0 28 0 114831508 27175628800 28094 33554432000 4194304 4196468 140734639860416 140309405981168 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31334] ppid=31317 vsize=26538700 memory=0 CPUtime=0.25 cores=0-7
/proc/31319/task/31334/stat : 31334 (java) S 31317 31317 30924 0 -1 1077944384 810 0 0 0 25 0 0 0 20 0 28 0 114831508 27175628800 28094 33554432000 4194304 4196468 140734639860416 140309404928624 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31335] ppid=31317 vsize=26538700 memory=0 CPUtime=0.25 cores=0-7
/proc/31319/task/31335/stat : 31335 (java) S 31317 31317 30924 0 -1 1077944384 822 0 0 0 25 0 0 0 20 0 28 0 114831509 27175628800 28094 33554432000 4194304 4196468 140734639860416 140309403876080 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31336] ppid=31317 vsize=26538700 memory=0 CPUtime=0.25 cores=0-7
/proc/31319/task/31336/stat : 31336 (java) R 31317 31317 30924 0 -1 1077944384 1251 0 0 0 25 0 0 0 20 0 28 0 114831509 27175628800 28094 33554432000 4194304 4196468 140734639860416 140309402823536 140310014429826 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31337] ppid=31317 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31337/stat : 31337 (java) S 31317 31317 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 114831509 27175628800 28094 33554432000 4194304 4196468 140734639860416 140309199579360 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31338] ppid=31317 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31338/stat : 31338 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114831509 27175628800 28094 33554432000 4194304 4196468 140734639860416 140309198526896 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 113756 KiB

[startup+1.20117 s]
/proc/loadavg: 6.26 7.14 5.69 12/209 31346
/proc/meminfo: memFree=31423144/32770624 swapFree=67108860/67108860
[pid=31317] ppid=31314 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31317/stat : 31317 (xcsp3-exec) S 31314 31317 30924 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114831502 9740288 345 33554432000 4194304 5098028 140733558434944 140733558433048 139837593686652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37548032 140733558436964 140733558437175 140733558437175 140733558439915 0
/proc/31317/statm: 2378 345 289 221 0 87 0
[pid=31319] ppid=31317 vsize=26538700 memory=141552 CPUtime=5.89 cores=0-7
/proc/31319/stat : 31319 (java) S 31317 31317 30924 0 -1 1077944320 12850 0 0 0 582 7 0 0 20 0 19 0 114831503 27175628800 35388 33554432000 4194304 4196468 140734639860416 140734639842960 140310014418679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
/proc/31319/statm: 6634675 35388 3201 1 0 6621909 0
[pid=31319/tid=31320] ppid=31317 vsize=26538700 memory=0 CPUtime=0.54 cores=0-7
/proc/31319/task/31320/stat : 31320 (java) S 31317 31317 30924 0 -1 1077944384 6813 0 0 0 51 3 0 0 20 0 19 0 114831503 27175628800 35388 33554432000 4194304 4196468 140734639860416 140310018661520 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31321] ppid=31317 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31321/stat : 31321 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 114831504 27175628800 35388 33554432000 4194304 4196468 140734639860416 140309967038736 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31322] ppid=31317 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31322/stat : 31322 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 114831504 27175628800 35388 33554432000 4194304 4196468 140734639860416 140309965986192 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31323] ppid=31317 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31323/stat : 31323 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 114831504 27175628800 35388 33554432000 4194304 4196468 140734639860416 140309964933648 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31324] ppid=31317 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31324/stat : 31324 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 114831504 27175628800 35388 33554432000 4194304 4196468 140734639860416 140309963881104 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31325] ppid=31317 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31325/stat : 31325 (java) S 31317 31317 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 114831504 27175628800 35388 33554432000 4194304 4196468 140734639860416 140309962828560 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31326] ppid=31317 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31326/stat : 31326 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 114831504 27175628800 35388 33554432000 4194304 4196468 140734639860416 140309961776016 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31327] ppid=31317 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31327/stat : 31327 (java) S 31317 31317 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 114831504 27175628800 35388 33554432000 4194304 4196468 140734639860416 140309960723472 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31328] ppid=31317 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31328/stat : 31328 (java) S 31317 31317 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 114831504 27175628800 35388 33554432000 4194304 4196468 140734639860416 140309959670928 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31329] ppid=31317 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31329/stat : 31329 (java) S 31317 31317 30924 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 114831505 27175628800 35388 33554432000 4194304 4196468 140734639860416 140309410191552 140310014429826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31330] ppid=31317 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31319/task/31330/stat : 31330 (java) S 31317 31317 30924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 114831506 27175628800 35388 33554432000 4194304 4196468 140734639860416 140309409137568 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31331] ppid=31317 vsize=26538700 memory=303711698211307546 CPUtime=0 cores=0-7
/proc/31319/task/31331/stat : 31331 (java) S 31317 31317 30924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 114831506 27175628800 35388 33554432000 4194304 4196468 140734639860416 140309408084976 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31332] ppid=31317 vsize=26538700 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/31319/task/31332/stat : 31332 (java) S 31317 31317 30924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 114831508 27175628800 35388 33554432000 4194304 4196468 140734639860416 140309407032320 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31333] ppid=31317 vsize=26538700 memory=6154008806386986089 CPUtime=0.37 cores=0-7
/proc/31319/task/31333/stat : 31333 (java) S 31317 31317 30924 0 -1 1077944384 1242 0 0 0 37 0 0 0 20 0 19 0 114831508 27175628800 35388 33554432000 4194304 4196468 140734639860416 140309405966128 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31334] ppid=31317 vsize=26538700 memory=1 CPUtime=0.4 cores=0-7
/proc/31319/task/31334/stat : 31334 (java) S 31317 31317 30924 0 -1 1077944384 989 0 0 0 40 0 0 0 20 0 19 0 114831508 27175628800 35388 33554432000 4194304 4196468 140734639860416 140309404913616 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31335] ppid=31317 vsize=26538700 memory=0 CPUtime=0.34 cores=0-7
/proc/31319/task/31335/stat : 31335 (java) S 31317 31317 30924 0 -1 1077944384 841 0 0 0 34 0 0 0 20 0 19 0 114831509 27175628800 35388 33554432000 4194304 4196468 140734639860416 140309403861040 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31336] ppid=31317 vsize=26538700 memory=0 CPUtime=0.28 cores=0-7
/proc/31319/task/31336/stat : 31336 (java) S 31317 31317 30924 0 -1 1077944384 1302 0 0 0 28 0 0 0 20 0 19 0 114831509 27175628800 35388 33554432000 4194304 4196468 140734639860416 140309402823536 140310014429826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
[pid=31319/tid=31337] ppid=31317 vsize=26538700 memory=2618 CPUtime=0 cores=0-7
/proc/31319/task/31337/stat : 31337 (java) S 31317 31317 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 114831509 27175628800 35388 33554432000 4194304 4196468 140734639860416 140309199579360 140310014428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140734639862930 140734639863107 140734639863107 140734639865807 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 142932 KiB

Child status: 0
Real time (s): 1.21504
CPU time (s): 5.90809
CPU user time (s): 5.8225
CPU system time (s): 0.085589
CPU usage (%): 486.247
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 142932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.8225
system time used= 0.085589
maximum resident set size= 142084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13379
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2527
involuntary context switches= 166


# summary of solver processes directly reported to runsolver:
#   pid: 31317
#   total CPU time (s): 5.90809
#   total CPU user time (s): 5.8225
#   total CPU system time (s): 0.085589

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030557 second user time and 0.055597 second system time

The end
Name	Domino/ Domino-m1-s1/Domino-700-100.xml
MD5SUM	afd68c385e5184dcb31c2a6fba91eaef
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.01282
Satisfiable
(Un)Satisfiability was proved
Number of variables	700
Number of constraints	2
Number of domains	1
Minimum domain size	100
Maximum domain size	100
Distribution of domain sizes	[{"size":100,"count":700}]
Minimum variable degree	1
Maximum variable degree	2
Distribution of variable degrees	[{"degree":1,"count":698},{"degree":2,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	700
Distribution of constraint arities	[{"arity":2,"count":1},{"arity":700,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1
Distribution of constraint types	[{"type":"intension","count":1},{"type":"allEqual","count":1}]
Optimization problem	NO
Type of objective
Trace number 4270916

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
