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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24	SAT (TO)	13	2520.1	2512.61
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 (3539 MiB free)
  memory of node 1: 16384 MiB (12009 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406266-1569397665/watcher-4406266-1569397665 -o /var/tmp/evaluation-result-4406266-1569397665/solver-4406266-1569397665 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1569392969-18884 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4406266-1569397665.xml 

running on 4 cores: 1,3,5,7

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

solver pid=19331, runsolver pid=19328

[startup+0.100063 s]*
/proc/loadavg: 1.72 1.67 1.14 4/228 19347
/proc/meminfo: memFree=15905440/32770624 swapFree=66956944/67108860
[pid=19331] ppid=19328 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19331/stat : 19331 (xcsp3-exec) S 19328 19331 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516024225 115843072 363 33554432000 4194304 5098028 140723798982080 140723798980184 140101606621820 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29351936 140723798987606 140723798987865 140723798987865 140723798990790 0
/proc/19331/statm: 28282 363 304 221 0 87 0
[pid=19333] ppid=19331 vsize=15144776 memory=29740 CPUtime=0.12 cores=1,3,5,7
/proc/19333/stat : 19333 (java) S 19331 19331 18852 0 -1 1077944320 5877 0 0 0 11 1 0 0 20 0 15 0 516024225 15508250624 7435 33554432000 4194304 4196468 140729811478528 140729811461072 139957345648375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
/proc/19333/statm: 3786194 7435 3138 1 0 3748377 0
[pid=19333/tid=19334] ppid=19331 vsize=15144776 memory=-2698085374278620574 CPUtime=0.08 cores=1,3,5,7
/proc/19333/task/19334/stat : 19334 (java) S 19331 19331 18852 0 -1 1077944384 3798 0 0 0 8 0 0 0 20 0 15 0 516024225 15508250624 7435 33554432000 4194304 4196468 140729811478528 139957349877728 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19335] ppid=19331 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19335/stat : 19335 (java) S 19331 19331 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516024226 15508250624 7435 33554432000 4194304 4196468 140729811478528 139957281884688 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19336] ppid=19331 vsize=15144776 memory=140349626410624 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19336/stat : 19336 (java) S 19331 19331 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516024226 15508250624 7435 33554432000 4194304 4196468 140729811478528 139956937349776 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19337] ppid=19331 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19337/stat : 19337 (java) S 19331 19331 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516024226 15508250624 7435 33554432000 4194304 4196468 140729811478528 139956936296720 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19338] ppid=19331 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19338/stat : 19338 (java) S 19331 19331 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516024226 15508250624 7435 33554432000 4194304 4196468 140729811478528 139956935244176 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19339] ppid=19331 vsize=15144776 memory=140349626410624 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19339/stat : 19339 (java) S 19331 19331 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516024227 15508250624 7435 33554432000 4194304 4196468 140729811478528 139956488297200 139957345659522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19340] ppid=19331 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19340/stat : 19340 (java) S 19331 19331 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516024228 15508250624 7435 33554432000 4194304 4196468 140729811478528 139956487243424 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19341] ppid=19331 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19341/stat : 19341 (java) S 19331 19331 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516024228 15508250624 7435 33554432000 4194304 4196468 140729811478528 139956486190320 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19342] ppid=19331 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19342/stat : 19342 (java) S 19331 19331 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516024231 15508250624 7435 33554432000 4194304 4196468 140729811478528 139956485138896 139957345666971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19343] ppid=19331 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19343/stat : 19343 (java) R 19331 19331 18852 0 -1 4202560 346 0 0 0 0 0 0 0 20 0 15 0 516024231 15508250624 7435 33554432000 4194304 4196468 140729811478528 139956484086000 139957323481232 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19344] ppid=19331 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19344/stat : 19344 (java) R 19331 19331 18852 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 516024231 15508250624 7435 33554432000 4194304 4196468 140729811478528 139956483033456 139957345659522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19345] ppid=19331 vsize=15144776 memory=140349626410624 CPUtime=0.02 cores=1,3,5,7
/proc/19333/task/19345/stat : 19345 (java) S 19331 19331 18852 0 -1 1077944384 323 0 0 0 2 0 0 0 20 0 15 0 516024231 15508250624 7435 33554432000 4194304 4196468 140729811478528 139956481980400 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19346] ppid=19331 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19346/stat : 19346 (java) S 19331 19331 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516024231 15508250624 7435 33554432000 4194304 4196468 140729811478528 139956480928096 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19347] ppid=19331 vsize=15144776 memory=140349626410624 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19347/stat : 19347 (java) S 19331 19331 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516024231 15508250624 7435 33554432000 4194304 4196468 140729811478528 139956479876144 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31192 KiB

[startup+0.210789 s]*
/proc/loadavg: 1.72 1.67 1.14 4/228 19347
/proc/meminfo: memFree=15892348/32770624 swapFree=66956944/67108860
[pid=19331] ppid=19328 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19331/stat : 19331 (xcsp3-exec) S 19328 19331 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516024225 115843072 363 33554432000 4194304 5098028 140723798982080 140723798980184 140101606621820 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29351936 140723798987606 140723798987865 140723798987865 140723798990790 0
/proc/19331/statm: 28282 363 304 221 0 87 0
[pid=19333] ppid=19331 vsize=15144776 memory=40996 CPUtime=0.34 cores=1,3,5,7
/proc/19333/stat : 19333 (java) S 19331 19331 18852 0 -1 1077944320 9484 0 0 0 31 3 0 0 20 0 15 0 516024225 15508250624 10249 33554432000 4194304 4196468 140729811478528 140729811461072 139957345648375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
/proc/19333/statm: 3786194 10249 3299 1 0 3748377 0
[pid=19333/tid=19334] ppid=19331 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/19333/task/19334/stat : 19334 (java) R 19331 19331 18852 0 -1 4202560 6632 0 0 0 18 2 0 0 20 0 15 0 516024225 15508250624 10249 33554432000 4194304 4196468 140729811478528 139957349885424 139957329728862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19335] ppid=19331 vsize=15144776 memory=1899191 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19335/stat : 19335 (java) S 19331 19331 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516024226 15508250624 10249 33554432000 4194304 4196468 140729811478528 139957281884688 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19336] ppid=19331 vsize=15144776 memory=288370725778122368 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19336/stat : 19336 (java) S 19331 19331 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516024226 15508250624 10249 33554432000 4194304 4196468 140729811478528 139956937349776 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19337] ppid=19331 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19337/stat : 19337 (java) S 19331 19331 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516024226 15508250624 10249 33554432000 4194304 4196468 140729811478528 139956936296720 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19338] ppid=19331 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19338/stat : 19338 (java) S 19331 19331 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516024226 15508250624 10249 33554432000 4194304 4196468 140729811478528 139956935244176 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19339] ppid=19331 vsize=15144776 memory=140349626410624 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19339/stat : 19339 (java) S 19331 19331 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516024227 15508250624 10249 33554432000 4194304 4196468 140729811478528 139956488297200 139957345659522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19340] ppid=19331 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19340/stat : 19340 (java) S 19331 19331 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516024228 15508250624 10249 33554432000 4194304 4196468 140729811478528 139956487243424 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19341] ppid=19331 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19341/stat : 19341 (java) S 19331 19331 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516024228 15508250624 10249 33554432000 4194304 4196468 140729811478528 139956486190320 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19342] ppid=19331 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19342/stat : 19342 (java) S 19331 19331 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516024231 15508250624 10249 33554432000 4194304 4196468 140729811478528 139956485138896 139957345666971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19343] ppid=19331 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19333/task/19343/stat : 19343 (java) S 19331 19331 18852 0 -1 1077944384 590 0 0 0 2 0 0 0 20 0 15 0 516024231 15508250624 10249 33554432000 4194304 4196468 140729811478528 139956484086000 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19344] ppid=19331 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/19333/task/19344/stat : 19344 (java) S 19331 19331 18852 0 -1 1077944384 190 0 0 0 2 0 0 0 20 0 15 0 516024231 15508250624 10249 33554432000 4194304 4196468 140729811478528 139956483033456 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19345] ppid=19331 vsize=15144776 memory=140349626410624 CPUtime=0.08 cores=1,3,5,7
/proc/19333/task/19345/stat : 19345 (java) S 19331 19331 18852 0 -1 1077944384 766 0 0 0 8 0 0 0 20 0 15 0 516024231 15508250624 10249 33554432000 4194304 4196468 140729811478528 139956481980400 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19346] ppid=19331 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19346/stat : 19346 (java) S 19331 19331 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516024231 15508250624 10249 33554432000 4194304 4196468 140729811478528 139956480928096 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19347] ppid=19331 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19347/stat : 19347 (java) S 19331 19331 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516024231 15508250624 10249 33554432000 4194304 4196468 140729811478528 139956479876144 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42448 KiB

[startup+0.310711 s]*
/proc/loadavg: 1.72 1.67 1.14 4/228 19347
/proc/meminfo: memFree=15885924/32770624 swapFree=66956944/67108860
[pid=19331] ppid=19328 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19331/stat : 19331 (xcsp3-exec) S 19328 19331 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516024225 115843072 363 33554432000 4194304 5098028 140723798982080 140723798980184 140101606621820 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29351936 140723798987606 140723798987865 140723798987865 140723798990790 0
/proc/19331/statm: 28282 363 304 221 0 87 0
[pid=19333] ppid=19331 vsize=15149032 memory=50264 CPUtime=0.53 cores=1,3,5,7
/proc/19333/stat : 19333 (java) S 19331 19331 18852 0 -1 1077944320 10882 0 0 0 49 4 0 0 20 0 15 0 516024225 15512608768 12566 33554432000 4194304 4196468 140729811478528 140729811461072 139957345648375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
/proc/19333/statm: 3787258 12566 3362 1 0 3748377 0
[pid=19333/tid=19334] ppid=19331 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/19333/task/19334/stat : 19334 (java) R 19331 19331 18852 0 -1 4202560 7831 0 0 0 27 3 0 0 20 0 15 0 516024225 15512608768 12566 33554432000 4194304 4196468 140729811478528 139957349879488 139957329728862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19335] ppid=19331 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19335/stat : 19335 (java) S 19331 19331 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516024226 15512608768 12566 33554432000 4194304 4196468 140729811478528 139957281884688 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19336] ppid=19331 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19336/stat : 19336 (java) S 19331 19331 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516024226 15512608768 12566 33554432000 4194304 4196468 140729811478528 139956937349776 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19337] ppid=19331 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19337/stat : 19337 (java) S 19331 19331 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516024226 15512608768 12566 33554432000 4194304 4196468 140729811478528 139956936296720 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19338] ppid=19331 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19338/stat : 19338 (java) S 19331 19331 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516024226 15512608768 12566 33554432000 4194304 4196468 140729811478528 139956935244176 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19339] ppid=19331 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19339/stat : 19339 (java) S 19331 19331 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516024227 15512608768 12566 33554432000 4194304 4196468 140729811478528 139956488297200 139957345659522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19340] ppid=19331 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19340/stat : 19340 (java) S 19331 19331 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516024228 15512608768 12566 33554432000 4194304 4196468 140729811478528 139956487243424 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19341] ppid=19331 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19341/stat : 19341 (java) S 19331 19331 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516024228 15512608768 12566 33554432000 4194304 4196468 140729811478528 139956486190320 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19342] ppid=19331 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19342/stat : 19342 (java) S 19331 19331 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516024231 15512608768 12566 33554432000 4194304 4196468 140729811478528 139956485138896 139957345666971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19343] ppid=19331 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/19333/task/19343/stat : 19343 (java) S 19331 19331 18852 0 -1 1077944384 603 0 0 0 4 0 0 0 20 0 15 0 516024231 15512608768 12566 33554432000 4194304 4196468 140729811478528 139956484086000 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19344] ppid=19331 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/19333/task/19344/stat : 19344 (java) R 19331 19331 18852 0 -1 4202560 305 0 0 0 5 0 0 0 20 0 15 0 516024231 15512608768 12566 33554432000 4194304 4196468 140729811478528 139956483033456 139957325471961 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19345] ppid=19331 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/19333/task/19345/stat : 19345 (java) S 19331 19331 18852 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 15 0 516024231 15512608768 12566 33554432000 4194304 4196468 140729811478528 139956481980400 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19346] ppid=19331 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19346/stat : 19346 (java) S 19331 19331 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516024231 15512608768 12566 33554432000 4194304 4196468 140729811478528 139956480928096 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19347] ppid=19331 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19347/stat : 19347 (java) S 19331 19331 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516024231 15512608768 12566 33554432000 4194304 4196468 140729811478528 139956479876144 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51716 KiB

[startup+0.700856 s]
/proc/loadavg: 1.72 1.67 1.14 5/228 19347
/proc/meminfo: memFree=15861528/32770624 swapFree=66956944/67108860
[pid=19331] ppid=19328 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19331/stat : 19331 (xcsp3-exec) S 19328 19331 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516024225 115843072 363 33554432000 4194304 5098028 140723798982080 140723798980184 140101606621820 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29351936 140723798987606 140723798987865 140723798987865 140723798990790 0
/proc/19331/statm: 28282 363 304 221 0 87 0
[pid=19333] ppid=19331 vsize=15151156 memory=113300 CPUtime=1.69 cores=1,3,5,7
/proc/19333/stat : 19333 (java) S 19331 19331 18852 0 -1 1077944320 13867 0 0 0 163 6 0 0 20 0 15 0 516024225 15514783744 28325 33554432000 4194304 4196468 140729811478528 140729811461072 139957345648375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
/proc/19333/statm: 3787789 28325 3440 1 0 3748889 0
[pid=19333/tid=19334] ppid=19331 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/19333/task/19334/stat : 19334 (java) R 19331 19331 18852 0 -1 4202560 8283 0 0 0 63 4 0 0 20 0 15 0 516024225 15514783744 28325 33554432000 4194304 4196468 140729811478528 139957349884640 139956965649191 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19335] ppid=19331 vsize=15151156 memory=55084 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19335/stat : 19335 (java) S 19331 19331 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516024226 15514783744 28325 33554432000 4194304 4196468 140729811478528 139957281884688 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19336] ppid=19331 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19336/stat : 19336 (java) S 19331 19331 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516024226 15514783744 28325 33554432000 4194304 4196468 140729811478528 139956937349776 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19337] ppid=19331 vsize=15151156 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19337/stat : 19337 (java) S 19331 19331 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516024226 15514783744 28325 33554432000 4194304 4196468 140729811478528 139956936296720 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19338] ppid=19331 vsize=15151156 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19338/stat : 19338 (java) S 19331 19331 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516024226 15514783744 28325 33554432000 4194304 4196468 140729811478528 139956935244176 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19339] ppid=19331 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19339/stat : 19339 (java) S 19331 19331 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516024227 15514783744 28325 33554432000 4194304 4196468 140729811478528 139956488297200 139957345659522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19340] ppid=19331 vsize=15151156 memory=7552 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19340/stat : 19340 (java) S 19331 19331 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516024228 15514783744 28325 33554432000 4194304 4196468 140729811478528 139956487243424 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19341] ppid=19331 vsize=15151156 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19341/stat : 19341 (java) S 19331 19331 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516024228 15514783744 28325 33554432000 4194304 4196468 140729811478528 139956486190320 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19342] ppid=19331 vsize=15151156 memory=616 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19342/stat : 19342 (java) S 19331 19331 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516024231 15514783744 28325 33554432000 4194304 4196468 140729811478528 139956485138896 139957345666971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19343] ppid=19331 vsize=15151156 memory=2832 CPUtime=0.35 cores=1,3,5,7
/proc/19333/task/19343/stat : 19343 (java) R 19331 19331 18852 0 -1 4202560 1481 0 0 0 35 0 0 0 20 0 15 0 516024231 15514783744 28325 33554432000 4194304 4196468 140729811478528 139956484071880 139957324894865 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19344] ppid=19331 vsize=15151156 memory=1620 CPUtime=0.35 cores=1,3,5,7
/proc/19333/task/19344/stat : 19344 (java) R 19331 19331 18852 0 -1 4202560 1256 0 0 0 35 0 0 0 20 0 15 0 516024231 15514783744 28325 33554432000 4194304 4196468 140729811478528 139956483023376 139957327192098 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19345] ppid=19331 vsize=15151156 memory=1136 CPUtime=0.28 cores=1,3,5,7
/proc/19333/task/19345/stat : 19345 (java) S 19331 19331 18852 0 -1 1077944384 1543 0 0 0 28 0 0 0 20 0 15 0 516024231 15514783744 28325 33554432000 4194304 4196468 140729811478528 139956481980400 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19346] ppid=19331 vsize=15151156 memory=1072 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19346/stat : 19346 (java) S 19331 19331 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516024231 15514783744 28325 33554432000 4194304 4196468 140729811478528 139956480928096 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19347] ppid=19331 vsize=15151156 memory=6196 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19347/stat : 19347 (java) S 19331 19331 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516024231 15514783744 28325 33554432000 4194304 4196468 140729811478528 139956479876144 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 114752 KiB

[startup+1.50086 s]
/proc/loadavg: 1.72 1.67 1.14 5/228 19347
/proc/meminfo: memFree=15737660/32770624 swapFree=66956944/67108860
[pid=19331] ppid=19328 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19331/stat : 19331 (xcsp3-exec) S 19328 19331 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516024225 115843072 363 33554432000 4194304 5098028 140723798982080 140723798980184 140101606621820 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29351936 140723798987606 140723798987865 140723798987865 140723798990790 0
/proc/19331/statm: 28282 363 304 221 0 87 0

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

/proc/19333/task/19341/stat : 19341 (java) S 19331 19331 18852 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 516024228 15514783744 100359 33554432000 4194304 4196468 140729811478528 139956486190336 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19342] ppid=19331 vsize=15151156 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19342/stat : 19342 (java) S 19331 19331 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516024231 15514783744 100359 33554432000 4194304 4196468 140729811478528 139956485138896 139957345666971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19343] ppid=19331 vsize=15151156 memory=55152 CPUtime=2.5 cores=1,3,5,7
/proc/19333/task/19343/stat : 19343 (java) S 19331 19331 18852 0 -1 1077944384 13280 0 0 0 249 1 0 0 20 0 15 0 516024231 15514783744 100359 33554432000 4194304 4196468 140729811478528 139956484086000 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19344] ppid=19331 vsize=15151156 memory=401436 CPUtime=2.82 cores=1,3,5,7
/proc/19333/task/19344/stat : 19344 (java) S 19331 19331 18852 0 -1 1077944384 14022 0 0 0 281 1 0 0 20 0 15 0 516024231 15514783744 100359 33554432000 4194304 4196468 140729811478528 139956483033456 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19345] ppid=19331 vsize=15151156 memory=1452 CPUtime=0.73 cores=1,3,5,7
/proc/19333/task/19345/stat : 19345 (java) S 19331 19331 18852 0 -1 1077944384 7582 0 0 0 71 2 0 0 20 0 15 0 516024231 15514783744 100359 33554432000 4194304 4196468 140729811478528 139956481980400 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19346] ppid=19331 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19346/stat : 19346 (java) S 19331 19331 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516024231 15514783744 100359 33554432000 4194304 4196468 140729811478528 139956480928096 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19347] ppid=19331 vsize=15151156 memory=401436 CPUtime=0.64 cores=1,3,5,7
/proc/19333/task/19347/stat : 19347 (java) S 19331 19331 18852 0 -1 1077944384 1157 0 0 0 25 39 0 0 20 0 15 0 516024231 15514783744 100359 33554432000 4194304 4196468 140729811478528 139956479876144 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
Current children cumulated CPU time: 2389.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 402888 KiB

[startup+2442.3 s]
/proc/loadavg: 1.67 1.72 1.81 3/228 19900
/proc/meminfo: memFree=25543908/32770624 swapFree=66956948/67108860
[pid=19331] ppid=19328 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19331/stat : 19331 (xcsp3-exec) S 19328 19331 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516024225 115843072 363 33554432000 4194304 5098028 140723798982080 140723798980184 140101606621820 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29351936 140723798987606 140723798987865 140723798987865 140723798990790 0
/proc/19331/statm: 28282 363 304 221 0 87 0
[pid=19333] ppid=19331 vsize=15151156 memory=397844 CPUtime=2449.74 cores=1,3,5,7
/proc/19333/stat : 19333 (java) S 19331 19331 18852 0 -1 1077944320 72653 0 0 0 244907 67 0 0 20 0 15 0 516024225 15514783744 99461 33554432000 4194304 4196468 140729811478528 140729811461072 139957345648375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
/proc/19333/statm: 3787789 99461 3522 1 0 3748889 0
[pid=19333/tid=19334] ppid=19331 vsize=15151156 memory=397844 CPUtime=2442.39 cores=1,3,5,7
/proc/19333/task/19334/stat : 19334 (java) R 19331 19331 18852 0 -1 4202560 20666 0 0 0 244226 13 0 0 20 0 15 0 516024225 15514783744 99461 33554432000 4194304 4196468 140729811478528 139957349887696 139956969668569 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19335] ppid=19331 vsize=15151156 memory=397844 CPUtime=0.12 cores=1,3,5,7
/proc/19333/task/19335/stat : 19335 (java) S 19331 19331 18852 0 -1 1077944384 3879 0 0 0 9 3 0 0 20 0 15 0 516024226 15514783744 99461 33554432000 4194304 4196468 140729811478528 139957281884688 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19336] ppid=19331 vsize=15151156 memory=397844 CPUtime=0.13 cores=1,3,5,7
/proc/19333/task/19336/stat : 19336 (java) S 19331 19331 18852 0 -1 1077944384 3293 0 0 0 10 3 0 0 20 0 15 0 516024226 15514783744 99461 33554432000 4194304 4196468 140729811478528 139956937349776 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19337] ppid=19331 vsize=15151156 memory=397844 CPUtime=0.11 cores=1,3,5,7
/proc/19333/task/19337/stat : 19337 (java) S 19331 19331 18852 0 -1 1077944384 2247 0 0 0 9 2 0 0 20 0 15 0 516024226 15514783744 99461 33554432000 4194304 4196468 140729811478528 139956936296720 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19338] ppid=19331 vsize=15151156 memory=397844 CPUtime=0.11 cores=1,3,5,7
/proc/19333/task/19338/stat : 19338 (java) S 19331 19331 18852 0 -1 1077944384 2036 0 0 0 9 2 0 0 20 0 15 0 516024226 15514783744 99461 33554432000 4194304 4196468 140729811478528 139956935244176 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19339] ppid=19331 vsize=15151156 memory=397844 CPUtime=0.08 cores=1,3,5,7
/proc/19333/task/19339/stat : 19339 (java) S 19331 19331 18852 0 -1 1077944384 3140 0 0 0 5 3 0 0 20 0 15 0 516024227 15514783744 99461 33554432000 4194304 4196468 140729811478528 139956488297200 139957345659522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19340] ppid=19331 vsize=15151156 memory=397844 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19340/stat : 19340 (java) S 19331 19331 18852 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 516024228 15514783744 99461 33554432000 4194304 4196468 140729811478528 139956487243488 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19341] ppid=19331 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19341/stat : 19341 (java) S 19331 19331 18852 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 516024228 15514783744 99461 33554432000 4194304 4196468 140729811478528 139956486190336 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19342] ppid=19331 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19342/stat : 19342 (java) S 19331 19331 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516024231 15514783744 99461 33554432000 4194304 4196468 140729811478528 139956485138896 139957345666971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19343] ppid=19331 vsize=15151156 memory=1452 CPUtime=2.5 cores=1,3,5,7
/proc/19333/task/19343/stat : 19343 (java) S 19331 19331 18852 0 -1 1077944384 13280 0 0 0 249 1 0 0 20 0 15 0 516024231 15514783744 99461 33554432000 4194304 4196468 140729811478528 139956484086000 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19344] ppid=19331 vsize=15151156 memory=1452 CPUtime=2.82 cores=1,3,5,7
/proc/19333/task/19344/stat : 19344 (java) S 19331 19331 18852 0 -1 1077944384 14022 0 0 0 281 1 0 0 20 0 15 0 516024231 15514783744 99461 33554432000 4194304 4196468 140729811478528 139956483033456 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19345] ppid=19331 vsize=15151156 memory=516 CPUtime=0.73 cores=1,3,5,7
/proc/19333/task/19345/stat : 19345 (java) S 19331 19331 18852 0 -1 1077944384 7582 0 0 0 71 2 0 0 20 0 15 0 516024231 15514783744 99461 33554432000 4194304 4196468 140729811478528 139956481980400 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19346] ppid=19331 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19346/stat : 19346 (java) S 19331 19331 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516024231 15514783744 99461 33554432000 4194304 4196468 140729811478528 139956480928096 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19347] ppid=19331 vsize=15151156 memory=1452 CPUtime=0.66 cores=1,3,5,7
/proc/19333/task/19347/stat : 19347 (java) S 19331 19331 18852 0 -1 1077944384 1177 0 0 0 26 40 0 0 20 0 15 0 516024231 15514783744 99461 33554432000 4194304 4196468 140729811478528 139956479876144 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
Current children cumulated CPU time: 2449.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 399296 KiB

[startup+2502.3 s]
/proc/loadavg: 1.80 1.74 1.81 3/229 19906
/proc/meminfo: memFree=25534668/32770624 swapFree=66956948/67108860
[pid=19331] ppid=19328 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19331/stat : 19331 (xcsp3-exec) S 19328 19331 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516024225 115843072 363 33554432000 4194304 5098028 140723798982080 140723798980184 140101606621820 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29351936 140723798987606 140723798987865 140723798987865 140723798990790 0
/proc/19331/statm: 28282 363 304 221 0 87 0
[pid=19333] ppid=19331 vsize=15151156 memory=396308 CPUtime=2509.77 cores=1,3,5,7
/proc/19333/stat : 19333 (java) S 19331 19331 18852 0 -1 1077944320 72812 0 0 0 250909 68 0 0 20 0 15 0 516024225 15514783744 99077 33554432000 4194304 4196468 140729811478528 140729811461072 139957345648375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
/proc/19333/statm: 3787789 99077 3522 1 0 3748889 0
[pid=19333/tid=19334] ppid=19331 vsize=15151156 memory=396308 CPUtime=2502.4 cores=1,3,5,7
/proc/19333/task/19334/stat : 19334 (java) R 19331 19331 18852 0 -1 4202560 20810 0 0 0 250227 13 0 0 20 0 15 0 516024225 15514783744 99077 33554432000 4194304 4196468 140729811478528 139957349887888 139956969668846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19335] ppid=19331 vsize=15151156 memory=396308 CPUtime=0.12 cores=1,3,5,7
/proc/19333/task/19335/stat : 19335 (java) S 19331 19331 18852 0 -1 1077944384 3879 0 0 0 9 3 0 0 20 0 15 0 516024226 15514783744 99077 33554432000 4194304 4196468 140729811478528 139957281884688 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19336] ppid=19331 vsize=15151156 memory=396308 CPUtime=0.13 cores=1,3,5,7
/proc/19333/task/19336/stat : 19336 (java) S 19331 19331 18852 0 -1 1077944384 3293 0 0 0 10 3 0 0 20 0 15 0 516024226 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956937349776 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19337] ppid=19331 vsize=15151156 memory=1452 CPUtime=0.11 cores=1,3,5,7
/proc/19333/task/19337/stat : 19337 (java) S 19331 19331 18852 0 -1 1077944384 2247 0 0 0 9 2 0 0 20 0 15 0 516024226 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956936296720 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19338] ppid=19331 vsize=15151156 memory=1452 CPUtime=0.11 cores=1,3,5,7
/proc/19333/task/19338/stat : 19338 (java) S 19331 19331 18852 0 -1 1077944384 2036 0 0 0 9 2 0 0 20 0 15 0 516024226 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956935244176 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19339] ppid=19331 vsize=15151156 memory=396308 CPUtime=0.08 cores=1,3,5,7
/proc/19333/task/19339/stat : 19339 (java) S 19331 19331 18852 0 -1 1077944384 3143 0 0 0 5 3 0 0 20 0 15 0 516024227 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956488297200 139957345659522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19340] ppid=19331 vsize=15151156 memory=396308 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19340/stat : 19340 (java) S 19331 19331 18852 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 516024228 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956487243488 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19341] ppid=19331 vsize=15151156 memory=396308 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19341/stat : 19341 (java) S 19331 19331 18852 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 516024228 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956486190336 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19342] ppid=19331 vsize=15151156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19342/stat : 19342 (java) S 19331 19331 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516024231 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956485138896 139957345666971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19343] ppid=19331 vsize=15151156 memory=288230621803970871 CPUtime=2.5 cores=1,3,5,7
/proc/19333/task/19343/stat : 19343 (java) S 19331 19331 18852 0 -1 1077944384 13282 0 0 0 249 1 0 0 20 0 15 0 516024231 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956484086000 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19344] ppid=19331 vsize=15151156 memory=396308 CPUtime=2.82 cores=1,3,5,7
/proc/19333/task/19344/stat : 19344 (java) S 19331 19331 18852 0 -1 1077944384 14024 0 0 0 281 1 0 0 20 0 15 0 516024231 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956483033456 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19345] ppid=19331 vsize=15151156 memory=1452 CPUtime=0.73 cores=1,3,5,7
/proc/19333/task/19345/stat : 19345 (java) S 19331 19331 18852 0 -1 1077944384 7584 0 0 0 71 2 0 0 20 0 15 0 516024231 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956481980400 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19346] ppid=19331 vsize=15151156 memory=396308 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19346/stat : 19346 (java) S 19331 19331 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516024231 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956480928096 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19347] ppid=19331 vsize=15151156 memory=3624 CPUtime=0.67 cores=1,3,5,7
/proc/19333/task/19347/stat : 19347 (java) S 19331 19331 18852 0 -1 1077944384 1183 0 0 0 26 41 0 0 20 0 15 0 516024231 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956479876144 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
Current children cumulated CPU time: 2509.77 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 397760 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2512.6 s]
/proc/loadavg: 1.83 1.75 1.81 3/228 19906
/proc/meminfo: memFree=25528872/32770624 swapFree=66956948/67108860
[pid=19331] ppid=19328 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19331/stat : 19331 (xcsp3-exec) S 19328 19331 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516024225 115843072 363 33554432000 4194304 5098028 140723798982080 140723798980184 140101606621820 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29351936 140723798987606 140723798987865 140723798987865 140723798990790 0
/proc/19331/statm: 28282 363 304 221 0 87 0
[pid=19333] ppid=19331 vsize=15151156 memory=396308 CPUtime=2520.07 cores=1,3,5,7
/proc/19333/stat : 19333 (java) S 19331 19331 18852 0 -1 1077944320 73332 0 0 0 251939 68 0 0 20 0 15 0 516024225 15514783744 99077 33554432000 4194304 4196468 140729811478528 140729811461072 139957345648375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
/proc/19333/statm: 3787789 99077 3522 1 0 3748889 0
[pid=19333/tid=19334] ppid=19331 vsize=15151156 memory=1452 CPUtime=2512.7 cores=1,3,5,7
/proc/19333/task/19334/stat : 19334 (java) R 19331 19331 18852 0 -1 4202560 20841 0 0 0 251257 13 0 0 20 0 15 0 516024225 15514783744 99077 33554432000 4194304 4196468 140729811478528 139957349885752 139956968560791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19335] ppid=19331 vsize=15151156 memory=6791534058613427641 CPUtime=0.12 cores=1,3,5,7
/proc/19333/task/19335/stat : 19335 (java) S 19331 19331 18852 0 -1 1077944384 3886 0 0 0 9 3 0 0 20 0 15 0 516024226 15514783744 99077 33554432000 4194304 4196468 140729811478528 139957281884688 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19336] ppid=19331 vsize=15151156 memory=2116 CPUtime=0.13 cores=1,3,5,7
/proc/19333/task/19336/stat : 19336 (java) S 19331 19331 18852 0 -1 1077944384 3605 0 0 0 10 3 0 0 20 0 15 0 516024226 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956937349776 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19337] ppid=19331 vsize=15151156 memory=516 CPUtime=0.11 cores=1,3,5,7
/proc/19333/task/19337/stat : 19337 (java) S 19331 19331 18852 0 -1 1077944384 2252 0 0 0 9 2 0 0 20 0 15 0 516024226 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956936296720 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19338] ppid=19331 vsize=15151156 memory=1556 CPUtime=0.11 cores=1,3,5,7
/proc/19333/task/19338/stat : 19338 (java) S 19331 19331 18852 0 -1 1077944384 2056 0 0 0 9 2 0 0 20 0 15 0 516024226 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956935244176 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19339] ppid=19331 vsize=15151156 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/19333/task/19339/stat : 19339 (java) S 19331 19331 18852 0 -1 1077944384 3230 0 0 0 5 3 0 0 20 0 15 0 516024227 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956488297200 139957345659522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19340] ppid=19331 vsize=15151156 memory=1772 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19340/stat : 19340 (java) S 19331 19331 18852 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 516024228 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956487243488 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19341] ppid=19331 vsize=15151156 memory=900 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19341/stat : 19341 (java) S 19331 19331 18852 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 516024228 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956486190336 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19342] ppid=19331 vsize=15151156 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19342/stat : 19342 (java) S 19331 19331 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516024231 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956485138896 139957345666971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19343] ppid=19331 vsize=15151156 memory=1976 CPUtime=2.5 cores=1,3,5,7
/proc/19333/task/19343/stat : 19343 (java) S 19331 19331 18852 0 -1 1077944384 13282 0 0 0 249 1 0 0 20 0 15 0 516024231 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956484086000 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19344] ppid=19331 vsize=15151156 memory=2580 CPUtime=2.82 cores=1,3,5,7
/proc/19333/task/19344/stat : 19344 (java) S 19331 19331 18852 0 -1 1077944384 14024 0 0 0 281 1 0 0 20 0 15 0 516024231 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956483033456 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19345] ppid=19331 vsize=15151156 memory=1760 CPUtime=0.73 cores=1,3,5,7
/proc/19333/task/19345/stat : 19345 (java) S 19331 19331 18852 0 -1 1077944384 7642 0 0 0 71 2 0 0 20 0 15 0 516024231 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956481980400 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19346] ppid=19331 vsize=15151156 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/19333/task/19346/stat : 19346 (java) S 19331 19331 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516024231 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956480928096 139957345658581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
[pid=19333/tid=19347] ppid=19331 vsize=15151156 memory=804 CPUtime=0.68 cores=1,3,5,7
/proc/19333/task/19347/stat : 19347 (java) S 19331 19331 18852 0 -1 1077944384 1183 0 0 0 27 41 0 0 20 0 15 0 516024231 15514783744 99077 33554432000 4194304 4196468 140729811478528 139956479876144 139957345659522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 10338304 140729811485659 140729811485834 140729811485834 140729811488719 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 397760 KiB

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

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

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

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

Child status: 143
Real time (s): 2512.61
CPU time (s): 2520.1
CPU user time (s): 2519.41
CPU system time (s): 0.690149
CPU usage (%): 100.298
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 630060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.41
system time used= 0.690149
maximum resident set size= 634752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74205
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58164
involuntary context switches= 796


# summary of solver processes directly reported to runsolver:
#   pid: 19331,19333
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2519.41
#   total CPU system time (s): 0.690149

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0038 second user time and 25.2109 second system time

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

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
