2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	OPT	4	10.6606	3.44828
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 (15051 MiB free)
  memory of node 1: 16384 MiB (13212 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394136-1568327739/watcher-4394136-1568327739 -o /tmp/evaluation-result-4394136-1568327739/solver-4394136-1568327739 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25331 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 142276873 HOME/instance-4394136-1568327739.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=31509, runsolver pid=31506
Current StackSize limit: 8192 KiB


[startup+0.100105 s]*
/proc/loadavg: 9.04 8.79 7.88 7/233 31525
/proc/meminfo: memFree=28926680/32770624 swapFree=66933612/67108860
[pid=31509] ppid=31506 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31509/stat : 31509 (xcsp3-exec) S 31506 31509 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409045396 115843072 363 33554432000 4194304 5098028 140721529095376 140721529093480 140495820526204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24006656 140721529099131 140721529099373 140721529099373 140721529102282 0
/proc/31509/statm: 28282 363 304 221 0 87 0
[pid=31511] ppid=31509 vsize=15144768 memory=29272 CPUtime=0.13 cores=0,2,4,6
/proc/31511/stat : 31511 (java) S 31509 31509 25300 0 -1 1077944320 5741 0 0 0 12 1 0 0 20 0 15 0 409045396 15508242432 7318 33554432000 4194304 4196468 140736178948096 140736178930640 140441983786743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
/proc/31511/statm: 3786192 7318 3157 1 0 3748377 0
[pid=31511/tid=31512] ppid=31509 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/31511/task/31512/stat : 31512 (java) R 31509 31509 25300 0 -1 4202560 3630 0 0 0 9 0 0 0 20 0 15 0 409045396 15508242432 7318 33554432000 4194304 4196468 140736178948096 140441988017888 140441983808090 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31513] ppid=31509 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31513/stat : 31513 (java) S 31509 31509 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409045397 15508242432 7318 33554432000 4194304 4196468 140736178948096 140441942546704 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31514] ppid=31509 vsize=15144768 memory=140300307895936 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31514/stat : 31514 (java) S 31509 31509 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409045397 15508242432 7318 33554432000 4194304 4196468 140736178948096 140441575041424 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31515] ppid=31509 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31515/stat : 31515 (java) S 31509 31509 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409045397 15508242432 7318 33554432000 4194304 4196468 140736178948096 140441573988880 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31516] ppid=31509 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31516/stat : 31516 (java) S 31509 31509 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409045397 15508242432 7318 33554432000 4194304 4196468 140736178948096 140441572936336 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31517] ppid=31509 vsize=15144768 memory=140300307895936 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31517/stat : 31517 (java) S 31509 31509 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409045399 15508242432 7318 33554432000 4194304 4196468 140736178948096 140440857692656 140441983797890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31518] ppid=31509 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31518/stat : 31518 (java) S 31509 31509 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409045399 15508242432 7318 33554432000 4194304 4196468 140736178948096 140440856638880 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31519] ppid=31509 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31519/stat : 31519 (java) S 31509 31509 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409045399 15508242432 7318 33554432000 4194304 4196468 140736178948096 140440855586288 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31520] ppid=31509 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31520/stat : 31520 (java) S 31509 31509 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409045402 15508242432 7318 33554432000 4194304 4196468 140736178948096 140440854534864 140441983805339 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31521] ppid=31509 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31521/stat : 31521 (java) R 31509 31509 25300 0 -1 4202560 434 0 0 0 0 0 0 0 20 0 15 0 409045402 15508242432 7318 33554432000 4194304 4196468 140736178948096 140440853481456 140441969452896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31522] ppid=31509 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31522/stat : 31522 (java) R 31509 31509 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409045402 15508242432 7318 33554432000 4194304 4196468 140736178948096 140440852428912 140441983797890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31523] ppid=31509 vsize=15144768 memory=140300307895936 CPUtime=0.02 cores=0,2,4,6
/proc/31511/task/31523/stat : 31523 (java) S 31509 31509 25300 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 15 0 409045402 15508242432 7318 33554432000 4194304 4196468 140736178948096 140440851376368 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31524] ppid=31509 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31524/stat : 31524 (java) S 31509 31509 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409045402 15508242432 7318 33554432000 4194304 4196468 140736178948096 140440850324064 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31525] ppid=31509 vsize=15144768 memory=140300307895936 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31525/stat : 31525 (java) S 31509 31509 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409045402 15508242432 7318 33554432000 4194304 4196468 140736178948096 140440849271600 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30724 KiB

[startup+0.212965 s]*
/proc/loadavg: 9.04 8.79 7.88 6/233 31525
/proc/meminfo: memFree=28914092/32770624 swapFree=66933612/67108860
[pid=31509] ppid=31506 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31509/stat : 31509 (xcsp3-exec) S 31506 31509 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409045396 115843072 363 33554432000 4194304 5098028 140721529095376 140721529093480 140495820526204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24006656 140721529099131 140721529099373 140721529099373 140721529102282 0
/proc/31509/statm: 28282 363 304 221 0 87 0
[pid=31511] ppid=31509 vsize=15144768 memory=41324 CPUtime=0.34 cores=0,2,4,6
/proc/31511/stat : 31511 (java) S 31509 31509 25300 0 -1 1077944320 9547 0 0 0 32 2 0 0 20 0 15 0 409045396 15508242432 10331 33554432000 4194304 4196468 140736178948096 140736178930640 140441983786743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
/proc/31511/statm: 3786192 10331 3303 1 0 3748377 0
[pid=31511/tid=31512] ppid=31509 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/31511/task/31512/stat : 31512 (java) R 31509 31509 25300 0 -1 4202560 6668 0 0 0 18 2 0 0 20 0 15 0 409045396 15508242432 10393 33554432000 4194304 4196468 140736178948096 140441988021728 140441967867230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31513] ppid=31509 vsize=15144768 memory=2964501 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31513/stat : 31513 (java) S 31509 31509 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409045397 15508242432 10393 33554432000 4194304 4196468 140736178948096 140441942546704 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31514] ppid=31509 vsize=15144768 memory=288370676459607680 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31514/stat : 31514 (java) S 31509 31509 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409045397 15508242432 10393 33554432000 4194304 4196468 140736178948096 140441575041424 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31515] ppid=31509 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31515/stat : 31515 (java) S 31509 31509 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409045397 15508242432 10393 33554432000 4194304 4196468 140736178948096 140441573988880 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31516] ppid=31509 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31516/stat : 31516 (java) S 31509 31509 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409045397 15508242432 10393 33554432000 4194304 4196468 140736178948096 140441572936336 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31517] ppid=31509 vsize=15144768 memory=140300307895936 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31517/stat : 31517 (java) S 31509 31509 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409045399 15508242432 10393 33554432000 4194304 4196468 140736178948096 140440857692656 140441983797890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31518] ppid=31509 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31518/stat : 31518 (java) S 31509 31509 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409045399 15508242432 10393 33554432000 4194304 4196468 140736178948096 140440856638880 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31519] ppid=31509 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31519/stat : 31519 (java) S 31509 31509 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409045399 15508242432 10393 33554432000 4194304 4196468 140736178948096 140440855586288 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31520] ppid=31509 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31520/stat : 31520 (java) S 31509 31509 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409045402 15508242432 10393 33554432000 4194304 4196468 140736178948096 140440854534864 140441983805339 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31521] ppid=31509 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31511/task/31521/stat : 31521 (java) S 31509 31509 25300 0 -1 1077944384 547 0 0 0 2 0 0 0 20 0 15 0 409045402 15508242432 10393 33554432000 4194304 4196468 140736178948096 140440853481456 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31522] ppid=31509 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/31511/task/31522/stat : 31522 (java) S 31509 31509 25300 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 15 0 409045402 15508242432 10393 33554432000 4194304 4196468 140736178948096 140440852428912 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31523] ppid=31509 vsize=15144768 memory=140300307895936 CPUtime=0.08 cores=0,2,4,6
/proc/31511/task/31523/stat : 31523 (java) S 31509 31509 25300 0 -1 1077944384 732 0 0 0 8 0 0 0 20 0 15 0 409045402 15508242432 10393 33554432000 4194304 4196468 140736178948096 140440851376368 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31524] ppid=31509 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31524/stat : 31524 (java) S 31509 31509 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409045402 15508242432 10393 33554432000 4194304 4196468 140736178948096 140440850324064 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31525] ppid=31509 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31525/stat : 31525 (java) S 31509 31509 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409045402 15508242432 10393 33554432000 4194304 4196468 140736178948096 140440849271600 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42776 KiB

[startup+0.318191 s]*
/proc/loadavg: 9.04 8.79 7.88 7/233 31525
/proc/meminfo: memFree=28906812/32770624 swapFree=66933612/67108860
[pid=31509] ppid=31506 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31509/stat : 31509 (xcsp3-exec) S 31506 31509 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409045396 115843072 363 33554432000 4194304 5098028 140721529095376 140721529093480 140495820526204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24006656 140721529099131 140721529099373 140721529099373 140721529102282 0
/proc/31509/statm: 28282 363 304 221 0 87 0
[pid=31511] ppid=31509 vsize=15149024 memory=50588 CPUtime=0.54 cores=0,2,4,6
/proc/31511/stat : 31511 (java) S 31509 31509 25300 0 -1 1077944320 10979 0 0 0 51 3 0 0 20 0 15 0 409045396 15512600576 12647 33554432000 4194304 4196468 140736178948096 140736178930640 140441983786743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
/proc/31511/statm: 3787256 12647 3359 1 0 3748377 0
[pid=31511/tid=31512] ppid=31509 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/31511/task/31512/stat : 31512 (java) R 31509 31509 25300 0 -1 4202560 7929 0 0 0 28 2 0 0 20 0 15 0 409045396 15512600576 12647 33554432000 4194304 4196468 140736178948096 140441988021584 140441983808669 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31513] ppid=31509 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31513/stat : 31513 (java) S 31509 31509 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409045397 15512600576 12647 33554432000 4194304 4196468 140736178948096 140441942546704 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31514] ppid=31509 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31514/stat : 31514 (java) S 31509 31509 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409045397 15512600576 12647 33554432000 4194304 4196468 140736178948096 140441575041424 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31515] ppid=31509 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31515/stat : 31515 (java) S 31509 31509 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409045397 15512600576 12647 33554432000 4194304 4196468 140736178948096 140441573988880 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31516] ppid=31509 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31516/stat : 31516 (java) S 31509 31509 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409045397 15512600576 12647 33554432000 4194304 4196468 140736178948096 140441572936336 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31517] ppid=31509 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31517/stat : 31517 (java) S 31509 31509 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409045399 15512600576 12647 33554432000 4194304 4196468 140736178948096 140440857692656 140441983797890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31518] ppid=31509 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31518/stat : 31518 (java) S 31509 31509 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409045399 15512600576 12647 33554432000 4194304 4196468 140736178948096 140440856638880 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31519] ppid=31509 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31519/stat : 31519 (java) S 31509 31509 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409045399 15512600576 12647 33554432000 4194304 4196468 140736178948096 140440855586288 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31520] ppid=31509 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31520/stat : 31520 (java) S 31509 31509 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409045402 15512600576 12647 33554432000 4194304 4196468 140736178948096 140440854534864 140441983805339 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31521] ppid=31509 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/31511/task/31521/stat : 31521 (java) S 31509 31509 25300 0 -1 1077944384 558 0 0 0 4 0 0 0 20 0 15 0 409045402 15512600576 12647 33554432000 4194304 4196468 140736178948096 140440853481456 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31522] ppid=31509 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/31511/task/31522/stat : 31522 (java) S 31509 31509 25300 0 -1 1077944384 396 0 0 0 4 0 0 0 20 0 15 0 409045402 15512600576 12647 33554432000 4194304 4196468 140736178948096 140440852428912 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31523] ppid=31509 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/31511/task/31523/stat : 31523 (java) S 31509 31509 25300 0 -1 1077944384 794 0 0 0 12 0 0 0 20 0 15 0 409045402 15512600576 12647 33554432000 4194304 4196468 140736178948096 140440851376368 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31524] ppid=31509 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31524/stat : 31524 (java) S 31509 31509 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409045402 15512600576 12647 33554432000 4194304 4196468 140736178948096 140440850324064 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31525] ppid=31509 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31525/stat : 31525 (java) S 31509 31509 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409045402 15512600576 12647 33554432000 4194304 4196468 140736178948096 140440849271600 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52040 KiB

[startup+0.701213 s]
/proc/loadavg: 9.04 8.79 7.88 8/233 31525
/proc/meminfo: memFree=28887860/32770624 swapFree=66933612/67108860
[pid=31509] ppid=31506 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31509/stat : 31509 (xcsp3-exec) S 31506 31509 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409045396 115843072 363 33554432000 4194304 5098028 140721529095376 140721529093480 140495820526204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24006656 140721529099131 140721529099373 140721529099373 140721529102282 0
/proc/31509/statm: 28282 363 304 221 0 87 0
[pid=31511] ppid=31509 vsize=15151148 memory=109344 CPUtime=1.68 cores=0,2,4,6
/proc/31511/stat : 31511 (java) S 31509 31509 25300 0 -1 1077944320 14426 0 0 0 164 4 0 0 20 0 15 0 409045396 15514775552 27336 33554432000 4194304 4196468 140736178948096 140736178930640 140441983786743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
/proc/31511/statm: 3787787 27336 3444 1 0 3748889 0
[pid=31511/tid=31512] ppid=31509 vsize=15151148 memory=20180 CPUtime=0.67 cores=0,2,4,6
/proc/31511/task/31512/stat : 31512 (java) R 31509 31509 25300 0 -1 4202560 8328 0 0 0 64 3 0 0 20 0 15 0 409045396 15514775552 27336 33554432000 4194304 4196468 140736178948096 140441988019904 140441620042128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31513] ppid=31509 vsize=15151148 memory=984 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31513/stat : 31513 (java) S 31509 31509 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409045397 15514775552 27336 33554432000 4194304 4196468 140736178948096 140441942546704 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31514] ppid=31509 vsize=15151148 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31514/stat : 31514 (java) S 31509 31509 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409045397 15514775552 27336 33554432000 4194304 4196468 140736178948096 140441575041424 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31515] ppid=31509 vsize=15151148 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31515/stat : 31515 (java) S 31509 31509 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409045397 15514775552 27336 33554432000 4194304 4196468 140736178948096 140441573988880 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31516] ppid=31509 vsize=15151148 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31516/stat : 31516 (java) S 31509 31509 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409045397 15514775552 27336 33554432000 4194304 4196468 140736178948096 140441572936336 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31517] ppid=31509 vsize=15151148 memory=976 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31517/stat : 31517 (java) S 31509 31509 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409045399 15514775552 27336 33554432000 4194304 4196468 140736178948096 140440857692656 140441983797890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31518] ppid=31509 vsize=15151148 memory=772 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31518/stat : 31518 (java) S 31509 31509 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409045399 15514775552 27336 33554432000 4194304 4196468 140736178948096 140440856638880 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31519] ppid=31509 vsize=15151148 memory=3932 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31519/stat : 31519 (java) S 31509 31509 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409045399 15514775552 27336 33554432000 4194304 4196468 140736178948096 140440855586288 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31520] ppid=31509 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31520/stat : 31520 (java) S 31509 31509 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409045402 15514775552 27336 33554432000 4194304 4196468 140736178948096 140440854534864 140441983805339 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31521] ppid=31509 vsize=15151148 memory=1548 CPUtime=0.34 cores=0,2,4,6
/proc/31511/task/31521/stat : 31521 (java) R 31509 31509 25300 0 -1 4202560 1661 0 0 0 34 0 0 0 20 0 15 0 409045402 15514775552 27336 33554432000 4194304 4196468 140736178948096 140440853474480 140441968211692 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31522] ppid=31509 vsize=15151148 memory=1056 CPUtime=0.35 cores=0,2,4,6
/proc/31511/task/31522/stat : 31522 (java) R 31509 31509 25300 0 -1 4202560 1541 0 0 0 35 0 0 0 20 0 15 0 409045402 15514775552 27336 33554432000 4194304 4196468 140736178948096 140440852414936 140441965307949 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31523] ppid=31509 vsize=15151148 memory=744 CPUtime=0.29 cores=0,2,4,6
/proc/31511/task/31523/stat : 31523 (java) S 31509 31509 25300 0 -1 1077944384 1590 0 0 0 29 0 0 0 20 0 15 0 409045402 15514775552 27336 33554432000 4194304 4196468 140736178948096 140440851376368 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31524] ppid=31509 vsize=15151148 memory=8296 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31524/stat : 31524 (java) S 31509 31509 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409045402 15514775552 27336 33554432000 4194304 4196468 140736178948096 140440850324064 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31525] ppid=31509 vsize=15151148 memory=5952 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31525/stat : 31525 (java) S 31509 31509 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409045402 15514775552 27336 33554432000 4194304 4196468 140736178948096 140440849271600 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 110796 KiB

[startup+1.50119 s]
/proc/loadavg: 9.04 8.79 7.88 6/233 31525
/proc/meminfo: memFree=28801884/32770624 swapFree=66933612/67108860
[pid=31509] ppid=31506 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31509/stat : 31509 (xcsp3-exec) S 31506 31509 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409045396 115843072 363 33554432000 4194304 5098028 140721529095376 140721529093480 140495820526204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24006656 140721529099131 140721529099373 140721529099373 140721529102282 0
/proc/31509/statm: 28282 363 304 221 0 87 0

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

/proc/31511/task/31525/stat : 31525 (java) S 31509 31509 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409045402 15514775552 54308 33554432000 4194304 4196468 140736178948096 140440849271600 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
Current children cumulated CPU time: 4.1 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 216636 KiB

[startup+3.11119 s]
/proc/loadavg: 9.04 8.79 7.88 11/237 31533
/proc/meminfo: memFree=28553616/32770624 swapFree=66933612/67108860
[pid=31509] ppid=31506 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31509/stat : 31509 (xcsp3-exec) S 31506 31509 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409045396 115843072 363 33554432000 4194304 5098028 140721529095376 140721529093480 140495820526204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24006656 140721529099131 140721529099373 140721529099373 140721529102282 0
/proc/31509/statm: 28282 363 304 221 0 87 0
[pid=31511] ppid=31509 vsize=15419452 memory=401160 CPUtime=9.48 cores=0,2,4,6
/proc/31511/stat : 31511 (java) S 31509 31509 25300 0 -1 1077944320 32907 0 0 0 933 15 0 0 20 0 19 0 409045396 15789518848 100290 33554432000 4194304 4196468 140736178948096 140736178930640 140441983786743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
/proc/31511/statm: 3854863 100290 3530 1 0 3815965 0
[pid=31511/tid=31512] ppid=31509 vsize=15419452 memory=0 CPUtime=2.49 cores=0,2,4,6
/proc/31511/task/31512/stat : 31512 (java) S 31509 31509 25300 0 -1 1077944384 11194 0 0 0 242 7 0 0 20 0 19 0 409045396 15789518848 100290 33554432000 4194304 4196468 140736178948096 140441988027520 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31513] ppid=31509 vsize=15419452 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/31511/task/31513/stat : 31513 (java) S 31509 31509 25300 0 -1 1077944384 331 0 0 0 5 1 0 0 20 0 19 0 409045397 15789518848 100290 33554432000 4194304 4196468 140736178948096 140441942546704 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31514] ppid=31509 vsize=15419452 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/31511/task/31514/stat : 31514 (java) S 31509 31509 25300 0 -1 1077944384 172 0 0 0 5 1 0 0 20 0 19 0 409045397 15789518848 100290 33554432000 4194304 4196468 140736178948096 140441575041424 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31515] ppid=31509 vsize=15419452 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/31511/task/31515/stat : 31515 (java) S 31509 31509 25300 0 -1 1077944384 142 0 0 0 3 1 0 0 20 0 19 0 409045397 15789518848 100290 33554432000 4194304 4196468 140736178948096 140441573988880 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31516] ppid=31509 vsize=15419452 memory=128720 CPUtime=0.06 cores=0,2,4,6
/proc/31511/task/31516/stat : 31516 (java) S 31509 31509 25300 0 -1 1077944384 501 0 0 0 5 1 0 0 20 0 19 0 409045397 15789518848 100290 33554432000 4194304 4196468 140736178948096 140441572936336 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31517] ppid=31509 vsize=15419452 memory=280600413998480 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31517/stat : 31517 (java) S 31509 31509 25300 0 -1 1077944384 399 0 0 0 0 0 0 0 20 0 19 0 409045399 15789518848 100290 33554432000 4194304 4196468 140736178948096 140440857692656 140441983797890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31518] ppid=31509 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31518/stat : 31518 (java) S 31509 31509 25300 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 409045399 15789518848 100290 33554432000 4194304 4196468 140736178948096 140440856638944 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31519] ppid=31509 vsize=15419452 memory=226172 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31519/stat : 31519 (java) S 31509 31509 25300 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 409045399 15789518848 100290 33554432000 4194304 4196468 140736178948096 140440855586304 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31520] ppid=31509 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31520/stat : 31520 (java) S 31509 31509 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409045402 15789518848 100290 33554432000 4194304 4196468 140736178948096 140440854534864 140441983805339 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31521] ppid=31509 vsize=15419452 memory=0 CPUtime=2.44 cores=0,2,4,6
/proc/31511/task/31521/stat : 31521 (java) R 31509 31509 25300 0 -1 4202560 6842 0 0 0 243 1 0 0 20 0 19 0 409045402 15789518848 100290 33554432000 4194304 4196468 140736178948096 140440853468000 140441963033281 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31522] ppid=31509 vsize=15419452 memory=3620 CPUtime=2.33 cores=0,2,4,6
/proc/31511/task/31522/stat : 31522 (java) R 31509 31509 25300 0 -1 1077944384 7418 0 0 0 232 1 0 0 20 0 19 0 409045402 15789518848 100290 33554432000 4194304 4196468 140736178948096 140440852421936 140441983796949 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31523] ppid=31509 vsize=15419452 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/31511/task/31523/stat : 31523 (java) S 31509 31509 25300 0 -1 1077944384 4255 0 0 0 72 0 0 0 20 0 19 0 409045402 15789518848 100290 33554432000 4194304 4196468 140736178948096 140440851376368 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31524] ppid=31509 vsize=15419452 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31524/stat : 31524 (java) S 31509 31509 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409045402 15789518848 100290 33554432000 4194304 4196468 140736178948096 140440850324064 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31525] ppid=31509 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31525/stat : 31525 (java) S 31509 31509 25300 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 409045402 15789518848 100290 33554432000 4194304 4196468 140736178948096 140440849271600 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31530] ppid=31509 vsize=15419452 memory=280600414162208 CPUtime=0.26 cores=0,2,4,6
/proc/31511/task/31530/stat : 31530 (java) R 31509 31509 25300 0 -1 4202560 20 0 0 0 26 0 0 0 20 0 19 0 409045669 15789518848 100290 33554432000 4194304 4196468 140736178948096 140440840058160 140441628291247 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31531] ppid=31509 vsize=15419452 memory=370984 CPUtime=0.2 cores=0,2,4,6
/proc/31511/task/31531/stat : 31531 (java) S 31509 31509 25300 0 -1 1077944384 48 0 0 0 20 0 0 0 20 0 19 0 409045669 15789518848 100290 33554432000 4194304 4196468 140736178948096 140440836904160 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31532] ppid=31509 vsize=15419452 memory=288230617509003574 CPUtime=0.22 cores=0,2,4,6
/proc/31511/task/31532/stat : 31532 (java) R 31509 31509 25300 0 -1 4202560 18 0 0 0 22 0 0 0 20 0 19 0 409045669 15789518848 100290 33554432000 4194304 4196468 140736178948096 140440837955624 140441628290727 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31533] ppid=31509 vsize=15419452 memory=15260333157648136 CPUtime=0.23 cores=0,2,4,6
/proc/31511/task/31533/stat : 31533 (java) R 31509 31509 25300 0 -1 4202560 25 0 0 0 23 0 0 0 20 0 19 0 409045670 15789518848 100290 33554432000 4194304 4196468 140736178948096 140440839010224 140441627943020 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
Current children cumulated CPU time: 9.48 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 402612 KiB

[startup+3.44822 s]
# the end of solver process 31509 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=10.4944 s, system=0.166152 s

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

[startup+3.20104 s]
/proc/loadavg: 9.04 8.79 7.88 11/237 31533
/proc/meminfo: memFree=28553616/32770624 swapFree=66933612/67108860
[pid=31509] ppid=31506 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31509/stat : 31509 (xcsp3-exec) S 31506 31509 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409045396 115843072 363 33554432000 4194304 5098028 140721529095376 140721529093480 140495820526204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24006656 140721529099131 140721529099373 140721529099373 140721529102282 0
/proc/31509/statm: 28282 363 304 221 0 87 0
[pid=31511] ppid=31509 vsize=15419452 memory=401332 CPUtime=9.84 cores=0,2,4,6
/proc/31511/stat : 31511 (java) S 31509 31509 25300 0 -1 1077944320 32940 0 0 0 969 15 0 0 20 0 19 0 409045396 15789518848 100333 33554432000 4194304 4196468 140736178948096 140736178930640 140441983786743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
/proc/31511/statm: 3854863 100333 3531 1 0 3815965 0
[pid=31511/tid=31512] ppid=31509 vsize=15419452 memory=6791534058613427641 CPUtime=2.49 cores=0,2,4,6
/proc/31511/task/31512/stat : 31512 (java) S 31509 31509 25300 0 -1 1077944384 11194 0 0 0 242 7 0 0 20 0 19 0 409045396 15789518848 100333 33554432000 4194304 4196468 140736178948096 140441988027520 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31513] ppid=31509 vsize=15419452 memory=1564 CPUtime=0.06 cores=0,2,4,6
/proc/31511/task/31513/stat : 31513 (java) S 31509 31509 25300 0 -1 1077944384 331 0 0 0 5 1 0 0 20 0 19 0 409045397 15789518848 100333 33554432000 4194304 4196468 140736178948096 140441942546704 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31514] ppid=31509 vsize=15419452 memory=976 CPUtime=0.06 cores=0,2,4,6
/proc/31511/task/31514/stat : 31514 (java) S 31509 31509 25300 0 -1 1077944384 172 0 0 0 5 1 0 0 20 0 19 0 409045397 15789518848 100333 33554432000 4194304 4196468 140736178948096 140441575041424 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31515] ppid=31509 vsize=15419452 memory=772 CPUtime=0.04 cores=0,2,4,6
/proc/31511/task/31515/stat : 31515 (java) S 31509 31509 25300 0 -1 1077944384 142 0 0 0 3 1 0 0 20 0 19 0 409045397 15789518848 100333 33554432000 4194304 4196468 140736178948096 140441573988880 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31516] ppid=31509 vsize=15419452 memory=3932 CPUtime=0.06 cores=0,2,4,6
/proc/31511/task/31516/stat : 31516 (java) S 31509 31509 25300 0 -1 1077944384 501 0 0 0 5 1 0 0 20 0 19 0 409045397 15789518848 100333 33554432000 4194304 4196468 140736178948096 140441572936336 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31517] ppid=31509 vsize=15419452 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31517/stat : 31517 (java) S 31509 31509 25300 0 -1 1077944384 399 0 0 0 0 0 0 0 20 0 19 0 409045399 15789518848 100333 33554432000 4194304 4196468 140736178948096 140440857692656 140441983797890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31518] ppid=31509 vsize=15419452 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31518/stat : 31518 (java) S 31509 31509 25300 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 409045399 15789518848 100333 33554432000 4194304 4196468 140736178948096 140440856638944 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31519] ppid=31509 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31519/stat : 31519 (java) S 31509 31509 25300 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 409045399 15789518848 100333 33554432000 4194304 4196468 140736178948096 140440855586304 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31520] ppid=31509 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31520/stat : 31520 (java) S 31509 31509 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409045402 15789518848 100333 33554432000 4194304 4196468 140736178948096 140440854534864 140441983805339 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31521] ppid=31509 vsize=15419452 memory=0 CPUtime=2.49 cores=0,2,4,6
/proc/31511/task/31521/stat : 31521 (java) R 31509 31509 25300 0 -1 4202560 6842 0 0 0 248 1 0 0 20 0 19 0 409045402 15789518848 100333 33554432000 4194304 4196468 140736178948096 140440853468000 140441968912924 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31522] ppid=31509 vsize=15419452 memory=0 CPUtime=2.39 cores=0,2,4,6
/proc/31511/task/31522/stat : 31522 (java) R 31509 31509 25300 0 -1 4202560 7428 0 0 0 238 1 0 0 20 0 19 0 409045402 15789518848 100333 33554432000 4194304 4196468 140736178948096 140440852421400 140441965306507 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31523] ppid=31509 vsize=15419452 memory=0 CPUtime=0.73 cores=0,2,4,6
/proc/31511/task/31523/stat : 31523 (java) R 31509 31509 25300 0 -1 1077944384 4278 0 0 0 73 0 0 0 20 0 19 0 409045402 15789518848 100333 33554432000 4194304 4196468 140736178948096 140440851376368 140441983797890 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31524] ppid=31509 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31524/stat : 31524 (java) S 31509 31509 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409045402 15789518848 100333 33554432000 4194304 4196468 140736178948096 140440850324064 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31525] ppid=31509 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31525/stat : 31525 (java) S 31509 31509 25300 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 409045402 15789518848 100333 33554432000 4194304 4196468 140736178948096 140440849271600 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31530] ppid=31509 vsize=15419452 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/31511/task/31530/stat : 31530 (java) R 31509 31509 25300 0 -1 4202560 20 0 0 0 34 0 0 0 20 0 19 0 409045669 15789518848 100333 33554432000 4194304 4196468 140736178948096 140440840058048 140441627479040 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31531] ppid=31509 vsize=15419452 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/31511/task/31531/stat : 31531 (java) R 31509 31509 25300 0 -1 4202560 48 0 0 0 24 0 0 0 20 0 19 0 409045669 15789518848 100333 33554432000 4194304 4196468 140736178948096 140440836902792 140441627781792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31532] ppid=31509 vsize=15419452 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/31511/task/31532/stat : 31532 (java) R 31509 31509 25300 0 -1 4202560 18 0 0 0 30 0 0 0 20 0 19 0 409045669 15789518848 100333 33554432000 4194304 4196468 140736178948096 140440837955624 140441627654695 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31533] ppid=31509 vsize=15419452 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/31511/task/31533/stat : 31533 (java) R 31509 31509 25300 0 -1 4202560 25 0 0 0 27 0 0 0 20 0 19 0 409045670 15789518848 100333 33554432000 4194304 4196468 140736178948096 140440839010392 140441627943033 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
Current children cumulated CPU time: 9.84 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 402784 KiB

[startup+3.40087 s]
/proc/loadavg: 9.04 8.79 7.88 11/237 31533
/proc/meminfo: memFree=28553616/32770624 swapFree=66933612/67108860
[pid=31509] ppid=31506 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31509/stat : 31509 (xcsp3-exec) S 31506 31509 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409045396 115843072 363 33554432000 4194304 5098028 140721529095376 140721529093480 140495820526204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24006656 140721529099131 140721529099373 140721529099373 140721529102282 0
/proc/31509/statm: 28282 363 304 221 0 87 0
[pid=31511] ppid=31509 vsize=15419452 memory=401480 CPUtime=10.56 cores=0,2,4,6
/proc/31511/stat : 31511 (java) S 31509 31509 25300 0 -1 1077944320 33043 0 0 0 1041 15 0 0 20 0 19 0 409045396 15789518848 100370 33554432000 4194304 4196468 140736178948096 140736178930640 140441983786743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
/proc/31511/statm: 3854863 100370 3532 1 0 3815965 0
[pid=31511/tid=31512] ppid=31509 vsize=15419452 memory=6791534058613427641 CPUtime=2.49 cores=0,2,4,6
/proc/31511/task/31512/stat : 31512 (java) S 31509 31509 25300 0 -1 1077944384 11194 0 0 0 242 7 0 0 20 0 19 0 409045396 15789518848 100370 33554432000 4194304 4196468 140736178948096 140441988027520 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31513] ppid=31509 vsize=15419452 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/31511/task/31513/stat : 31513 (java) S 31509 31509 25300 0 -1 1077944384 331 0 0 0 5 1 0 0 20 0 19 0 409045397 15789518848 100370 33554432000 4194304 4196468 140736178948096 140441942546704 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31514] ppid=31509 vsize=15419452 memory=4580 CPUtime=0.06 cores=0,2,4,6
/proc/31511/task/31514/stat : 31514 (java) S 31509 31509 25300 0 -1 1077944384 172 0 0 0 5 1 0 0 20 0 19 0 409045397 15789518848 100370 33554432000 4194304 4196468 140736178948096 140441575041424 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31515] ppid=31509 vsize=15419452 memory=7305792226048239461 CPUtime=0.04 cores=0,2,4,6
/proc/31511/task/31515/stat : 31515 (java) S 31509 31509 25300 0 -1 1077944384 142 0 0 0 3 1 0 0 20 0 19 0 409045397 15789518848 100370 33554432000 4194304 4196468 140736178948096 140441573988880 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31516] ppid=31509 vsize=15419452 memory=6081665364610805863 CPUtime=0.06 cores=0,2,4,6
/proc/31511/task/31516/stat : 31516 (java) S 31509 31509 25300 0 -1 1077944384 501 0 0 0 5 1 0 0 20 0 19 0 409045397 15789518848 100370 33554432000 4194304 4196468 140736178948096 140441572936336 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31517] ppid=31509 vsize=15419452 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31517/stat : 31517 (java) S 31509 31509 25300 0 -1 1077944384 399 0 0 0 0 0 0 0 20 0 19 0 409045399 15789518848 100370 33554432000 4194304 4196468 140736178948096 140440857692656 140441983797890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31518] ppid=31509 vsize=15419452 memory=720703919365952536 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31518/stat : 31518 (java) S 31509 31509 25300 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 409045399 15789518848 100370 33554432000 4194304 4196468 140736178948096 140440856638944 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31519] ppid=31509 vsize=15419452 memory=288230604640878911 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31519/stat : 31519 (java) S 31509 31509 25300 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 409045399 15789518848 100370 33554432000 4194304 4196468 140736178948096 140440855586304 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31520] ppid=31509 vsize=15419452 memory=14975568252766856 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31520/stat : 31520 (java) S 31509 31509 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409045402 15789518848 100370 33554432000 4194304 4196468 140736178948096 140440854534864 140441983805339 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31521] ppid=31509 vsize=15419452 memory=0 CPUtime=2.62 cores=0,2,4,6
/proc/31511/task/31521/stat : 31521 (java) R 31509 31509 25300 0 -1 4202560 6890 0 0 0 261 1 0 0 20 0 19 0 409045402 15789518848 100370 33554432000 4194304 4196468 140736178948096 140440853470688 140441967692932 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31522] ppid=31509 vsize=15419452 memory=0 CPUtime=2.5 cores=0,2,4,6
/proc/31511/task/31522/stat : 31522 (java) S 31509 31509 25300 0 -1 1077944384 7472 0 0 0 249 1 0 0 20 0 19 0 409045402 15789518848 100370 33554432000 4194304 4196468 140736178948096 140440852428912 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31523] ppid=31509 vsize=15419452 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/31511/task/31523/stat : 31523 (java) S 31509 31509 25300 0 -1 1077944384 4289 0 0 0 74 0 0 0 20 0 19 0 409045402 15789518848 100370 33554432000 4194304 4196468 140736178948096 140440851376368 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31524] ppid=31509 vsize=15419452 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31524/stat : 31524 (java) S 31509 31509 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409045402 15789518848 100370 33554432000 4194304 4196468 140736178948096 140440850324064 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31525] ppid=31509 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31511/task/31525/stat : 31525 (java) S 31509 31509 25300 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 409045402 15789518848 100370 33554432000 4194304 4196468 140736178948096 140440849271600 140441983797890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31530] ppid=31509 vsize=15419452 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/31511/task/31530/stat : 31530 (java) S 31509 31509 25300 0 -1 1077944384 20 0 0 0 48 0 0 0 20 0 19 0 409045669 15789518848 100370 33554432000 4194304 4196468 140736178948096 140440840064448 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31531] ppid=31509 vsize=15419452 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/31511/task/31531/stat : 31531 (java) S 31509 31509 25300 0 -1 1077944384 48 0 0 0 31 0 0 0 20 0 19 0 409045669 15789518848 100370 33554432000 4194304 4196468 140736178948096 140440836907984 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31532] ppid=31509 vsize=15419452 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/31511/task/31532/stat : 31532 (java) S 31509 31509 25300 0 -1 1077944384 18 0 0 0 37 0 0 0 20 0 19 0 409045669 15789518848 100370 33554432000 4194304 4196468 140736178948096 140440837960784 140441983796949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
[pid=31511/tid=31533] ppid=31509 vsize=15419452 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/31511/task/31533/stat : 31533 (java) R 31509 31509 25300 0 -1 4202560 25 0 0 0 47 0 0 0 20 0 19 0 409045670 15789518848 100370 33554432000 4194304 4196468 140736178948096 140440839007616 140441627942993 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30040064 140736178951151 140736178951322 140736178951322 140736178954191 0
Current children cumulated CPU time: 10.56 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 402932 KiB

Child status: 0
Real time (s): 3.44828
CPU time (s): 10.6606
CPU user time (s): 10.4944
CPU system time (s): 0.166152
CPU usage (%): 309.157
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 402932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.4945
system time used= 0.166152
maximum resident set size= 402380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33654
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= 2366
involuntary context switches= 212


# summary of solver processes directly reported to runsolver:
#   pid: 31509
#   total CPU time (s): 10.6606
#   total CPU user time (s): 10.4944
#   total CPU system time (s): 0.166152

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054173 second user time and 0.070658 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05d.xml
MD5SUM	368e26568da76f7c30ce4b17b57b0014
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2.19767
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	9757
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	30
Maximum variable degree	69
Distribution of variable degrees	[{"degree":30,"count":2},{"degree":32,"count":5},{"degree":33,"count":14},{"degree":34,"count":7},{"degree":35,"count":13},{"degree":36,"count":18},{"degree":37,"count":13},{"degree":38,"count":17},{"degree":39,"count":17},{"degree":40,"count":27},{"degree":41,"count":16},{"degree":42,"count":32},{"degree":43,"count":28},{"degree":44,"count":28},{"degree":45,"count":29},{"degree":46,"count":24},{"degree":47,"count":22},{"degree":48,"count":17},{"degree":49,"count":23},{"degree":50,"count":15},{"degree":51,"count":17},{"degree":52,"count":14},{"degree":53,"count":14},{"degree":54,"count":11},{"degree":55,"count":9},{"degree":56,"count":4},{"degree":57,"count":4},{"degree":58,"count":2},{"degree":59,"count":2},{"degree":60,"count":1},{"degree":62,"count":1},{"degree":65,"count":2},{"degree":66,"count":1},{"degree":69,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":9757}]
Number of extensional constraints	0
Number of intensional constraints	9757
Distribution of constraint types	[{"type":"intension","count":9757}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4394136

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
