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-09-20	SAT (TO)	33	2400.41	605.003
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 (3083 MiB free)
  memory of node 1: 16384 MiB (1702 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404181-1568989736/watcher-4404181-1568989736 -o /var/tmp/evaluation-result-4404181-1568989736/solver-4404181-1568989736 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568988386-31611 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1230236214 HOME/instance-4404181-1568989736.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
Current StackSize limit: 8192 KiB

solver pid=1679, runsolver pid=1676

[startup+0.100058 s]*
/proc/loadavg: 8.74 8.35 6.66 8/233 1695
/proc/meminfo: memFree=4887268/32770624 swapFree=66976740/67108860
[pid=1679] ppid=1676 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1679/stat : 1679 (xcsp3-exec) S 1676 1679 31580 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474913682 115843072 364 33554432000 4194304 5098028 140732743989744 140732743987848 140146169397884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35069952 140732743996246 140732743996505 140732743996505 140732743999430 0
/proc/1679/statm: 28282 364 305 221 0 87 0
[pid=1681] ppid=1679 vsize=15144776 memory=28868 CPUtime=0.12 cores=0,2,4,6
/proc/1681/stat : 1681 (java) S 1679 1679 31580 0 -1 1077944320 5624 0 0 0 11 1 0 0 20 0 15 0 474913682 15508250624 7217 33554432000 4194304 4196468 140734456020736 140734456003280 139964751793911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
/proc/1681/statm: 3786194 7217 3128 1 0 3748377 0
[pid=1681/tid=1682] ppid=1679 vsize=15144776 memory=7031125463459224206 CPUtime=0.08 cores=0,2,4,6
/proc/1681/task/1682/stat : 1682 (java) R 1679 1679 31580 0 -1 4202560 3576 0 0 0 8 0 0 0 20 0 15 0 474913683 15508250624 7217 33554432000 4194304 4196468 140734456020736 139964756025904 139964345165468 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1683] ppid=1679 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1683/stat : 1683 (java) S 1679 1679 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474913683 15508250624 7217 33554432000 4194304 4196468 140734456020736 139964343905296 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1684] ppid=1679 vsize=15144776 memory=140263894406784 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1684/stat : 1684 (java) S 1679 1679 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474913683 15508250624 7217 33554432000 4194304 4196468 140734456020736 139964342852752 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1685] ppid=1679 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1685/stat : 1685 (java) S 1679 1679 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474913683 15508250624 7217 33554432000 4194304 4196468 140734456020736 139964341799696 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1686] ppid=1679 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1686/stat : 1686 (java) S 1679 1679 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474913683 15508250624 7217 33554432000 4194304 4196468 140734456020736 139964340747152 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1687] ppid=1679 vsize=15144776 memory=140263894406784 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1687/stat : 1687 (java) S 1679 1679 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474913685 15508250624 7217 33554432000 4194304 4196468 140734456020736 139964220434672 139964751805058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1688] ppid=1679 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1688/stat : 1688 (java) S 1679 1679 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474913685 15508250624 7217 33554432000 4194304 4196468 140734456020736 139964219380896 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1689] ppid=1679 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1689/stat : 1689 (java) S 1679 1679 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474913685 15508250624 7217 33554432000 4194304 4196468 140734456020736 139964218327792 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1690] ppid=1679 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1690/stat : 1690 (java) S 1679 1679 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474913688 15508250624 7217 33554432000 4194304 4196468 140734456020736 139964217276368 139964751812507 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1691] ppid=1679 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1691/stat : 1691 (java) R 1679 1679 31580 0 -1 4202560 310 0 0 0 0 0 0 0 20 0 15 0 474913688 15508250624 7217 33554432000 4194304 4196468 140734456020736 139964216224496 139964735229649 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1692] ppid=1679 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1692/stat : 1692 (java) R 1679 1679 31580 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 474913688 15508250624 7217 33554432000 4194304 4196468 140734456020736 139964215171952 139964751805058 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1693] ppid=1679 vsize=15144776 memory=140263894406784 CPUtime=0.02 cores=0,2,4,6
/proc/1681/task/1693/stat : 1693 (java) R 1679 1679 31580 0 -1 4202560 334 0 0 0 2 0 0 0 20 0 15 0 474913688 15508250624 7217 33554432000 4194304 4196468 140734456020736 139964214118896 139964736107465 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1694] ppid=1679 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1694/stat : 1694 (java) S 1679 1679 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474913688 15508250624 7217 33554432000 4194304 4196468 140734456020736 139964213066592 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1695] ppid=1679 vsize=15144776 memory=140263894406784 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1695/stat : 1695 (java) S 1679 1679 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474913688 15508250624 7217 33554432000 4194304 4196468 140734456020736 139964212013616 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30324 KiB

[startup+0.21089 s]*
/proc/loadavg: 8.74 8.35 6.66 7/233 1695
/proc/meminfo: memFree=4874904/32770624 swapFree=66976740/67108860
[pid=1679] ppid=1676 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1679/stat : 1679 (xcsp3-exec) S 1676 1679 31580 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474913682 115843072 364 33554432000 4194304 5098028 140732743989744 140732743987848 140146169397884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35069952 140732743996246 140732743996505 140732743996505 140732743999430 0
/proc/1679/statm: 28282 364 305 221 0 87 0
[pid=1681] ppid=1679 vsize=15144776 memory=40128 CPUtime=0.34 cores=0,2,4,6
/proc/1681/stat : 1681 (java) S 1679 1679 31580 0 -1 1077944320 9284 0 0 0 31 3 0 0 20 0 15 0 474913682 15508250624 10032 33554432000 4194304 4196468 140734456020736 140734456003280 139964751793911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
/proc/1681/statm: 3786194 10032 3258 1 0 3748377 0
[pid=1681/tid=1682] ppid=1679 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/1681/task/1682/stat : 1682 (java) R 1679 1679 31580 0 -1 4202560 6538 0 0 0 18 2 0 0 20 0 15 0 474913683 15508250624 10032 33554432000 4194304 4196468 140734456020736 139964756027952 139964751815837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1683] ppid=1679 vsize=15144776 memory=4296933242 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1683/stat : 1683 (java) S 1679 1679 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474913683 15508250624 10032 33554432000 4194304 4196468 140734456020736 139964343905296 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1684] ppid=1679 vsize=15144776 memory=140263897972398 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1684/stat : 1684 (java) S 1679 1679 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474913683 15508250624 10032 33554432000 4194304 4196468 140734456020736 139964342852752 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1685] ppid=1679 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1685/stat : 1685 (java) S 1679 1679 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474913683 15508250624 10032 33554432000 4194304 4196468 140734456020736 139964341799696 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1686] ppid=1679 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1686/stat : 1686 (java) S 1679 1679 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474913683 15508250624 10032 33554432000 4194304 4196468 140734456020736 139964340747152 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1687] ppid=1679 vsize=15144776 memory=140263894406784 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1687/stat : 1687 (java) S 1679 1679 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474913685 15508250624 10032 33554432000 4194304 4196468 140734456020736 139964220434672 139964751805058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1688] ppid=1679 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1688/stat : 1688 (java) S 1679 1679 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474913685 15508250624 10032 33554432000 4194304 4196468 140734456020736 139964219380896 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1689] ppid=1679 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1689/stat : 1689 (java) S 1679 1679 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474913685 15508250624 10032 33554432000 4194304 4196468 140734456020736 139964218327792 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1690] ppid=1679 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1690/stat : 1690 (java) S 1679 1679 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474913688 15508250624 10032 33554432000 4194304 4196468 140734456020736 139964217276368 139964751812507 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1691] ppid=1679 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1681/task/1691/stat : 1691 (java) S 1679 1679 31580 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 15 0 474913688 15508250624 10032 33554432000 4194304 4196468 140734456020736 139964216224496 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1692] ppid=1679 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/1681/task/1692/stat : 1692 (java) S 1679 1679 31580 0 -1 1077944384 258 0 0 0 3 0 0 0 20 0 15 0 474913688 15508250624 10032 33554432000 4194304 4196468 140734456020736 139964215171952 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1693] ppid=1679 vsize=15144776 memory=140263894406784 CPUtime=0.08 cores=0,2,4,6
/proc/1681/task/1693/stat : 1693 (java) S 1679 1679 31580 0 -1 1077944384 818 0 0 0 8 0 0 0 20 0 15 0 474913688 15508250624 10032 33554432000 4194304 4196468 140734456020736 139964214118896 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1694] ppid=1679 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1694/stat : 1694 (java) S 1679 1679 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474913688 15508250624 10032 33554432000 4194304 4196468 140734456020736 139964213066592 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1695] ppid=1679 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1695/stat : 1695 (java) S 1679 1679 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474913688 15508250624 10032 33554432000 4194304 4196468 140734456020736 139964212013616 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41584 KiB

[startup+0.310763 s]*
/proc/loadavg: 8.74 8.35 6.66 6/233 1695
/proc/meminfo: memFree=4867044/32770624 swapFree=66976740/67108860
[pid=1679] ppid=1676 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1679/stat : 1679 (xcsp3-exec) S 1676 1679 31580 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474913682 115843072 364 33554432000 4194304 5098028 140732743989744 140732743987848 140146169397884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35069952 140732743996246 140732743996505 140732743996505 140732743999430 0
/proc/1679/statm: 28282 364 305 221 0 87 0
[pid=1681] ppid=1679 vsize=15149032 memory=48956 CPUtime=0.51 cores=0,2,4,6
/proc/1681/stat : 1681 (java) S 1679 1679 31580 0 -1 1077944320 10605 0 0 0 48 3 0 0 20 0 15 0 474913682 15512608768 12239 33554432000 4194304 4196468 140734456020736 140734456003280 139964751793911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
/proc/1681/statm: 3787258 12239 3293 1 0 3748377 0
[pid=1681/tid=1682] ppid=1679 vsize=15149032 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/1681/task/1682/stat : 1682 (java) R 1679 1679 31580 0 -1 4202560 7711 0 0 0 27 2 0 0 20 0 15 0 474913683 15512608768 12239 33554432000 4194304 4196468 140734456020736 139964756025024 139964735874398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1683] ppid=1679 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1683/stat : 1683 (java) S 1679 1679 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474913683 15512608768 12239 33554432000 4194304 4196468 140734456020736 139964343905296 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1684] ppid=1679 vsize=15149032 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1684/stat : 1684 (java) S 1679 1679 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474913683 15512608768 12239 33554432000 4194304 4196468 140734456020736 139964342852752 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1685] ppid=1679 vsize=15149032 memory=500 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1685/stat : 1685 (java) S 1679 1679 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474913683 15512608768 12239 33554432000 4194304 4196468 140734456020736 139964341799696 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1686] ppid=1679 vsize=15149032 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1686/stat : 1686 (java) S 1679 1679 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474913683 15512608768 12239 33554432000 4194304 4196468 140734456020736 139964340747152 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1687] ppid=1679 vsize=15149032 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1687/stat : 1687 (java) S 1679 1679 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474913685 15512608768 12239 33554432000 4194304 4196468 140734456020736 139964220434672 139964751805058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1688] ppid=1679 vsize=15149032 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1688/stat : 1688 (java) S 1679 1679 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474913685 15512608768 12239 33554432000 4194304 4196468 140734456020736 139964219380896 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1689] ppid=1679 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1689/stat : 1689 (java) S 1679 1679 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474913685 15512608768 12239 33554432000 4194304 4196468 140734456020736 139964218327792 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1690] ppid=1679 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1690/stat : 1690 (java) S 1679 1679 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474913688 15512608768 12239 33554432000 4194304 4196468 140734456020736 139964217276368 139964751812507 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1691] ppid=1679 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1681/task/1691/stat : 1691 (java) S 1679 1679 31580 0 -1 1077944384 391 0 0 0 3 0 0 0 20 0 15 0 474913688 15512608768 12239 33554432000 4194304 4196468 140734456020736 139964216224496 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1692] ppid=1679 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1681/task/1692/stat : 1692 (java) S 1679 1679 31580 0 -1 1077944384 264 0 0 0 4 0 0 0 20 0 15 0 474913688 15512608768 12239 33554432000 4194304 4196468 140734456020736 139964215171952 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1693] ppid=1679 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/1681/task/1693/stat : 1693 (java) S 1679 1679 31580 0 -1 1077944384 974 0 0 0 13 0 0 0 20 0 15 0 474913688 15512608768 12239 33554432000 4194304 4196468 140734456020736 139964214118896 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1694] ppid=1679 vsize=15149032 memory=170985786 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1694/stat : 1694 (java) S 1679 1679 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474913688 15512608768 12239 33554432000 4194304 4196468 140734456020736 139964213066592 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1695] ppid=1679 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1695/stat : 1695 (java) S 1679 1679 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474913688 15512608768 12239 33554432000 4194304 4196468 140734456020736 139964212013616 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50412 KiB

[startup+0.709174 s]
/proc/loadavg: 8.74 8.35 6.66 9/233 1695
/proc/meminfo: memFree=4841608/32770624 swapFree=66976740/67108860
[pid=1679] ppid=1676 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1679/stat : 1679 (xcsp3-exec) S 1676 1679 31580 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474913682 115843072 364 33554432000 4194304 5098028 140732743989744 140732743987848 140146169397884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35069952 140732743996246 140732743996505 140732743996505 140732743999430 0
/proc/1679/statm: 28282 364 305 221 0 87 0
[pid=1681] ppid=1679 vsize=15151156 memory=104256 CPUtime=1.71 cores=0,2,4,6
/proc/1681/stat : 1681 (java) S 1679 1679 31580 0 -1 1077944320 13640 0 0 0 166 5 0 0 20 0 15 0 474913682 15514783744 26064 33554432000 4194304 4196468 140734456020736 140734456003280 139964751793911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
/proc/1681/statm: 3787789 26064 3438 1 0 3748889 0
[pid=1681/tid=1682] ppid=1679 vsize=15151156 memory=56 CPUtime=0.69 cores=0,2,4,6
/proc/1681/task/1682/stat : 1682 (java) R 1679 1679 31580 0 -1 4202560 8227 0 0 0 65 4 0 0 20 0 15 0 474913683 15514783744 26064 33554432000 4194304 4196468 140734456020736 139964756029080 139964347595799 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1683] ppid=1679 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1683/stat : 1683 (java) S 1679 1679 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474913683 15514783744 26064 33554432000 4194304 4196468 140734456020736 139964343905296 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1684] ppid=1679 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1684/stat : 1684 (java) S 1679 1679 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474913683 15514783744 26064 33554432000 4194304 4196468 140734456020736 139964342852752 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1685] ppid=1679 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1685/stat : 1685 (java) S 1679 1679 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474913683 15514783744 26064 33554432000 4194304 4196468 140734456020736 139964341799696 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1686] ppid=1679 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1686/stat : 1686 (java) S 1679 1679 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474913683 15514783744 26064 33554432000 4194304 4196468 140734456020736 139964340747152 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1687] ppid=1679 vsize=15151156 memory=28 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1687/stat : 1687 (java) S 1679 1679 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474913685 15514783744 26064 33554432000 4194304 4196468 140734456020736 139964220434672 139964751805058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1688] ppid=1679 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1688/stat : 1688 (java) S 1679 1679 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474913685 15514783744 26064 33554432000 4194304 4196468 140734456020736 139964219380896 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1689] ppid=1679 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1689/stat : 1689 (java) S 1679 1679 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474913685 15514783744 26064 33554432000 4194304 4196468 140734456020736 139964218327792 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1690] ppid=1679 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1690/stat : 1690 (java) S 1679 1679 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474913688 15514783744 26064 33554432000 4194304 4196468 140734456020736 139964217276368 139964751812507 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1691] ppid=1679 vsize=15151156 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/1681/task/1691/stat : 1691 (java) R 1679 1679 31580 0 -1 4202560 1039 0 0 0 35 0 0 0 20 0 15 0 474913688 15514783744 26064 33554432000 4194304 4196468 140734456020736 139964216205512 139964736186335 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1692] ppid=1679 vsize=15151156 memory=2 CPUtime=0.34 cores=0,2,4,6
/proc/1681/task/1692/stat : 1692 (java) R 1679 1679 31580 0 -1 4202560 1250 0 0 0 34 0 0 0 20 0 15 0 474913688 15514783744 26064 33554432000 4194304 4196468 140734456020736 139964215159744 139964732515806 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1693] ppid=1679 vsize=15151156 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/1681/task/1693/stat : 1693 (java) S 1679 1679 31580 0 -1 1077944384 1815 0 0 0 30 0 0 0 20 0 15 0 474913688 15514783744 26064 33554432000 4194304 4196468 140734456020736 139964214118896 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1694] ppid=1679 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1694/stat : 1694 (java) S 1679 1679 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474913688 15514783744 26064 33554432000 4194304 4196468 140734456020736 139964213066592 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1695] ppid=1679 vsize=15151156 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1695/stat : 1695 (java) S 1679 1679 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474913688 15514783744 26064 33554432000 4194304 4196468 140734456020736 139964212013616 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 105712 KiB

[startup+1.50117 s]
/proc/loadavg: 8.74 8.35 6.66 9/233 1695
/proc/meminfo: memFree=4714232/32770624 swapFree=66976740/67108860
[pid=1679] ppid=1676 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1679/stat : 1679 (xcsp3-exec) S 1676 1679 31580 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474913682 115843072 364 33554432000 4194304 5098028 140732743989744 140732743987848 140146169397884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35069952 140732743996246 140732743996505 140732743996505 140732743999430 0
/proc/1679/statm: 28282 364 305 221 0 87 0

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

/proc/1681/stat : 1681 (java) S 1679 1679 31580 0 -1 1077944320 385103 0 0 0 230748 261 0 0 20 0 19 0 474913682 15789527040 932364 33554432000 4194304 4196468 140734456020736 140734456003280 139964751793911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
/proc/1681/statm: 3854865 932364 3532 1 0 3815965 0
[pid=1681/tid=1682] ppid=1679 vsize=15419460 memory=1456 CPUtime=4.75 cores=0,2,4,6
/proc/1681/task/1682/stat : 1682 (java) S 1679 1679 31580 0 -1 1077944384 10984 0 0 0 460 15 0 0 20 0 19 0 474913683 15789527040 932364 33554432000 4194304 4196468 140734456020736 139964756034688 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1683] ppid=1679 vsize=15419460 memory=3729456 CPUtime=0.59 cores=0,2,4,6
/proc/1681/task/1683/stat : 1683 (java) S 1679 1679 31580 0 -1 1077944384 2256 0 0 0 39 20 0 0 20 0 19 0 474913683 15789527040 932364 33554432000 4194304 4196468 140734456020736 139964343905296 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1684] ppid=1679 vsize=15419460 memory=1456 CPUtime=0.55 cores=0,2,4,6
/proc/1681/task/1684/stat : 1684 (java) S 1679 1679 31580 0 -1 1077944384 3369 0 0 0 39 16 0 0 20 0 19 0 474913683 15789527040 932364 33554432000 4194304 4196468 140734456020736 139964342852752 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1685] ppid=1679 vsize=15419460 memory=3729456 CPUtime=0.56 cores=0,2,4,6
/proc/1681/task/1685/stat : 1685 (java) S 1679 1679 31580 0 -1 1077944384 3441 0 0 0 43 13 0 0 20 0 19 0 474913683 15789527040 932364 33554432000 4194304 4196468 140734456020736 139964341799696 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1686] ppid=1679 vsize=15419460 memory=1456 CPUtime=0.57 cores=0,2,4,6
/proc/1681/task/1686/stat : 1686 (java) S 1679 1679 31580 0 -1 1077944384 4775 0 0 0 45 12 0 0 20 0 19 0 474913683 15789527040 932364 33554432000 4194304 4196468 140734456020736 139964340747152 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1687] ppid=1679 vsize=15419460 memory=3729456 CPUtime=0.07 cores=0,2,4,6
/proc/1681/task/1687/stat : 1687 (java) S 1679 1679 31580 0 -1 1077944384 5163 0 0 0 3 4 0 0 20 0 19 0 474913685 15789527040 932364 33554432000 4194304 4196468 140734456020736 139964220434672 139964751805058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1688] ppid=1679 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1688/stat : 1688 (java) S 1679 1679 31580 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 474913685 15789527040 932364 33554432000 4194304 4196468 140734456020736 139964219380960 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1689] ppid=1679 vsize=15419460 memory=3729456 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1689/stat : 1689 (java) S 1679 1679 31580 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 474913685 15789527040 932364 33554432000 4194304 4196468 140734456020736 139964218327808 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1690] ppid=1679 vsize=15419460 memory=3729456 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1690/stat : 1690 (java) S 1679 1679 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474913688 15789527040 932364 33554432000 4194304 4196468 140734456020736 139964217276368 139964751812507 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1691] ppid=1679 vsize=15419460 memory=1456 CPUtime=4.9 cores=0,2,4,6
/proc/1681/task/1691/stat : 1691 (java) S 1679 1679 31580 0 -1 1077944384 14966 0 0 0 488 2 0 0 20 0 19 0 474913688 15789527040 932364 33554432000 4194304 4196468 140734456020736 139964216224496 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1692] ppid=1679 vsize=15419460 memory=3899260 CPUtime=4.85 cores=0,2,4,6
/proc/1681/task/1692/stat : 1692 (java) S 1679 1679 31580 0 -1 1077944384 17590 0 0 0 484 1 0 0 20 0 19 0 474913688 15789527040 932364 33554432000 4194304 4196468 140734456020736 139964215171952 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1693] ppid=1679 vsize=15419460 memory=1456 CPUtime=1.06 cores=0,2,4,6
/proc/1681/task/1693/stat : 1693 (java) S 1679 1679 31580 0 -1 1077944384 9507 0 0 0 104 2 0 0 20 0 19 0 474913688 15789527040 932364 33554432000 4194304 4196468 140734456020736 139964214118896 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1694] ppid=1679 vsize=15419460 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1694/stat : 1694 (java) S 1679 1679 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474913688 15789527040 932364 33554432000 4194304 4196468 140734456020736 139964213066592 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1695] ppid=1679 vsize=15419460 memory=3729456 CPUtime=0.2 cores=0,2,4,6
/proc/1681/task/1695/stat : 1695 (java) S 1679 1679 31580 0 -1 1077944384 1024 0 0 0 4 16 0 0 20 0 19 0 474913688 15789527040 932364 33554432000 4194304 4196468 140734456020736 139964212013616 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1712] ppid=1679 vsize=15419460 memory=1660 CPUtime=566.2 cores=0,2,4,6
/proc/1681/task/1712/stat : 1712 (java) R 1679 1679 31580 0 -1 4202560 4898 0 0 0 56617 3 0 0 20 0 19 0 474914979 15789527040 932364 33554432000 4194304 4196468 140734456020736 139964201743936 139964353225505 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1713] ppid=1679 vsize=15419460 memory=1436 CPUtime=566.32 cores=0,2,4,6
/proc/1681/task/1713/stat : 1713 (java) R 1679 1679 31580 0 -1 4202560 131784 0 0 0 56578 54 0 0 20 0 19 0 474914979 15789527040 932364 33554432000 4194304 4196468 140734456020736 139964202794448 139964353225521 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1714] ppid=1679 vsize=15419460 memory=580 CPUtime=565.51 cores=0,2,4,6
/proc/1681/task/1714/stat : 1714 (java) R 1679 1679 31580 0 -1 4202560 159347 0 0 0 56447 104 0 0 20 0 19 0 474914979 15789527040 932364 33554432000 4194304 4196468 140734456020736 139964199636504 139964353678367 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1715] ppid=1679 vsize=15419460 memory=1716 CPUtime=566.01 cores=0,2,4,6
/proc/1681/task/1715/stat : 1715 (java) R 1679 1679 31580 0 -1 4202560 11195 0 0 0 56594 7 0 0 20 0 19 0 474914979 15789527040 932364 33554432000 4194304 4196468 140734456020736 139964200690120 139964353003512 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
Current children cumulated CPU time: 2310.09 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 3730912 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+604.901 s]
/proc/loadavg: 8.96 8.75 7.66 10/237 1879
/proc/meminfo: memFree=2181664/32770624 swapFree=66976740/67108860
[pid=1679] ppid=1676 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1679/stat : 1679 (xcsp3-exec) S 1676 1679 31580 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474913682 115843072 364 33554432000 4194304 5098028 140732743989744 140732743987848 140146169397884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35069952 140732743996246 140732743996505 140732743996505 140732743999430 0
/proc/1679/statm: 28282 364 305 221 0 87 0
[pid=1681] ppid=1679 vsize=15419460 memory=3700208 CPUtime=2400.07 cores=0,2,4,6
/proc/1681/stat : 1681 (java) S 1679 1679 31580 0 -1 1077944320 387563 0 0 0 239745 262 0 0 20 0 19 0 474913682 15789527040 925052 33554432000 4194304 4196468 140734456020736 140734456003280 139964751793911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
/proc/1681/statm: 3854865 925052 3532 1 0 3815965 0
[pid=1681/tid=1682] ppid=1679 vsize=15419460 memory=1456 CPUtime=4.75 cores=0,2,4,6
/proc/1681/task/1682/stat : 1682 (java) S 1679 1679 31580 0 -1 1077944384 10984 0 0 0 460 15 0 0 20 0 19 0 474913683 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964756034688 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1683] ppid=1679 vsize=15419460 memory=3700208 CPUtime=0.59 cores=0,2,4,6
/proc/1681/task/1683/stat : 1683 (java) S 1679 1679 31580 0 -1 1077944384 2797 0 0 0 39 20 0 0 20 0 19 0 474913683 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964343905296 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1684] ppid=1679 vsize=15419460 memory=3730476 CPUtime=0.55 cores=0,2,4,6
/proc/1681/task/1684/stat : 1684 (java) S 1679 1679 31580 0 -1 1077944384 3421 0 0 0 39 16 0 0 20 0 19 0 474913683 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964342852752 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1685] ppid=1679 vsize=15419460 memory=3700208 CPUtime=0.56 cores=0,2,4,6
/proc/1681/task/1685/stat : 1685 (java) S 1679 1679 31580 0 -1 1077944384 3471 0 0 0 43 13 0 0 20 0 19 0 474913683 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964341799696 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1686] ppid=1679 vsize=15419460 memory=3700208 CPUtime=0.58 cores=0,2,4,6
/proc/1681/task/1686/stat : 1686 (java) S 1679 1679 31580 0 -1 1077944384 4869 0 0 0 45 13 0 0 20 0 19 0 474913683 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964340747152 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1687] ppid=1679 vsize=15419460 memory=1456 CPUtime=0.07 cores=0,2,4,6
/proc/1681/task/1687/stat : 1687 (java) S 1679 1679 31580 0 -1 1077944384 5431 0 0 0 3 4 0 0 20 0 19 0 474913685 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964220434672 139964751805058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1688] ppid=1679 vsize=15419460 memory=3730476 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1688/stat : 1688 (java) S 1679 1679 31580 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 474913685 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964219380960 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1689] ppid=1679 vsize=15419460 memory=3730476 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1689/stat : 1689 (java) S 1679 1679 31580 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 474913685 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964218327808 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1690] ppid=1679 vsize=15419460 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1690/stat : 1690 (java) S 1679 1679 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474913688 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964217276368 139964751812507 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1691] ppid=1679 vsize=15419460 memory=1456 CPUtime=4.9 cores=0,2,4,6
/proc/1681/task/1691/stat : 1691 (java) S 1679 1679 31580 0 -1 1077944384 14969 0 0 0 488 2 0 0 20 0 19 0 474913688 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964216224496 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1692] ppid=1679 vsize=15419460 memory=3730476 CPUtime=4.85 cores=0,2,4,6
/proc/1681/task/1692/stat : 1692 (java) S 1679 1679 31580 0 -1 1077944384 17592 0 0 0 484 1 0 0 20 0 19 0 474913688 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964215171952 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1693] ppid=1679 vsize=15419460 memory=10604 CPUtime=1.06 cores=0,2,4,6
/proc/1681/task/1693/stat : 1693 (java) S 1679 1679 31580 0 -1 1077944384 9509 0 0 0 104 2 0 0 20 0 19 0 474913688 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964214118896 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1694] ppid=1679 vsize=15419460 memory=3636 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1694/stat : 1694 (java) S 1679 1679 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474913688 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964213066592 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1695] ppid=1679 vsize=15419460 memory=816 CPUtime=0.21 cores=0,2,4,6
/proc/1681/task/1695/stat : 1695 (java) S 1679 1679 31580 0 -1 1077944384 1024 0 0 0 4 17 0 0 20 0 19 0 474913688 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964212013616 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1712] ppid=1679 vsize=15419460 memory=1436 CPUtime=588.4 cores=0,2,4,6
/proc/1681/task/1712/stat : 1712 (java) R 1679 1679 31580 0 -1 4202560 4997 0 0 0 58837 3 0 0 20 0 19 0 474914979 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964201741800 139964349156549 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1713] ppid=1679 vsize=15419460 memory=1456 CPUtime=588.9 cores=0,2,4,6
/proc/1681/task/1713/stat : 1713 (java) R 1679 1679 31580 0 -1 4202560 132548 0 0 0 58836 54 0 0 20 0 19 0 474914979 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964202794400 139964353822228 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1714] ppid=1679 vsize=15419460 memory=1456 CPUtime=588.1 cores=0,2,4,6
/proc/1681/task/1714/stat : 1714 (java) R 1679 1679 31580 0 -1 4202560 159868 0 0 0 58705 105 0 0 20 0 19 0 474914979 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964199638528 139964353490133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1715] ppid=1679 vsize=15419460 memory=1564 CPUtime=588.59 cores=0,2,4,6
/proc/1681/task/1715/stat : 1715 (java) R 1679 1679 31580 0 -1 4202560 11279 0 0 0 58852 7 0 0 20 0 19 0 474914979 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964200690248 139964353003439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 3701664 KiB

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

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

[startup+605.003 s]
# the end of solver process 1681 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.77 s, system=2.64772 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

[startup+604.901 s]
/proc/loadavg: 8.96 8.75 7.66 10/237 1879
/proc/meminfo: memFree=2181664/32770624 swapFree=66976740/67108860
[pid=1679] ppid=1676 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1679/stat : 1679 (xcsp3-exec) S 1676 1679 31580 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474913682 115843072 364 33554432000 4194304 5098028 140732743989744 140732743987848 140146169397884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35069952 140732743996246 140732743996505 140732743996505 140732743999430 0
/proc/1679/statm: 28282 364 305 221 0 87 0
[pid=1681] ppid=1679 vsize=15419460 memory=3700208 CPUtime=2400.07 cores=0,2,4,6
/proc/1681/stat : 1681 (java) S 1679 1679 31580 0 -1 1077944320 387563 0 0 0 239745 262 0 0 20 0 19 0 474913682 15789527040 925052 33554432000 4194304 4196468 140734456020736 140734456003280 139964751793911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
/proc/1681/statm: 3854865 925052 3532 1 0 3815965 0
[pid=1681/tid=1682] ppid=1679 vsize=15419460 memory=1456 CPUtime=4.75 cores=0,2,4,6
/proc/1681/task/1682/stat : 1682 (java) S 1679 1679 31580 0 -1 1077944384 10984 0 0 0 460 15 0 0 20 0 19 0 474913683 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964756034688 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1683] ppid=1679 vsize=15419460 memory=3700208 CPUtime=0.59 cores=0,2,4,6
/proc/1681/task/1683/stat : 1683 (java) S 1679 1679 31580 0 -1 1077944384 2797 0 0 0 39 20 0 0 20 0 19 0 474913683 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964343905296 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1684] ppid=1679 vsize=15419460 memory=3730476 CPUtime=0.55 cores=0,2,4,6
/proc/1681/task/1684/stat : 1684 (java) S 1679 1679 31580 0 -1 1077944384 3421 0 0 0 39 16 0 0 20 0 19 0 474913683 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964342852752 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1685] ppid=1679 vsize=15419460 memory=3700208 CPUtime=0.56 cores=0,2,4,6
/proc/1681/task/1685/stat : 1685 (java) S 1679 1679 31580 0 -1 1077944384 3471 0 0 0 43 13 0 0 20 0 19 0 474913683 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964341799696 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1686] ppid=1679 vsize=15419460 memory=3700208 CPUtime=0.58 cores=0,2,4,6
/proc/1681/task/1686/stat : 1686 (java) S 1679 1679 31580 0 -1 1077944384 4869 0 0 0 45 13 0 0 20 0 19 0 474913683 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964340747152 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1687] ppid=1679 vsize=15419460 memory=1456 CPUtime=0.07 cores=0,2,4,6
/proc/1681/task/1687/stat : 1687 (java) S 1679 1679 31580 0 -1 1077944384 5431 0 0 0 3 4 0 0 20 0 19 0 474913685 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964220434672 139964751805058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1688] ppid=1679 vsize=15419460 memory=3730476 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1688/stat : 1688 (java) S 1679 1679 31580 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 474913685 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964219380960 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1689] ppid=1679 vsize=15419460 memory=3730476 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1689/stat : 1689 (java) S 1679 1679 31580 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 474913685 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964218327808 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1690] ppid=1679 vsize=15419460 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1690/stat : 1690 (java) S 1679 1679 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474913688 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964217276368 139964751812507 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1691] ppid=1679 vsize=15419460 memory=1456 CPUtime=4.9 cores=0,2,4,6
/proc/1681/task/1691/stat : 1691 (java) S 1679 1679 31580 0 -1 1077944384 14969 0 0 0 488 2 0 0 20 0 19 0 474913688 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964216224496 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1692] ppid=1679 vsize=15419460 memory=3730476 CPUtime=4.85 cores=0,2,4,6
/proc/1681/task/1692/stat : 1692 (java) S 1679 1679 31580 0 -1 1077944384 17592 0 0 0 484 1 0 0 20 0 19 0 474913688 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964215171952 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1693] ppid=1679 vsize=15419460 memory=10604 CPUtime=1.06 cores=0,2,4,6
/proc/1681/task/1693/stat : 1693 (java) S 1679 1679 31580 0 -1 1077944384 9509 0 0 0 104 2 0 0 20 0 19 0 474913688 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964214118896 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1694] ppid=1679 vsize=15419460 memory=3636 CPUtime=0 cores=0,2,4,6
/proc/1681/task/1694/stat : 1694 (java) S 1679 1679 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474913688 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964213066592 139964751804117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1695] ppid=1679 vsize=15419460 memory=816 CPUtime=0.21 cores=0,2,4,6
/proc/1681/task/1695/stat : 1695 (java) S 1679 1679 31580 0 -1 1077944384 1024 0 0 0 4 17 0 0 20 0 19 0 474913688 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964212013616 139964751805058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1712] ppid=1679 vsize=15419460 memory=1436 CPUtime=588.4 cores=0,2,4,6
/proc/1681/task/1712/stat : 1712 (java) R 1679 1679 31580 0 -1 4202560 4997 0 0 0 58837 3 0 0 20 0 19 0 474914979 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964201741800 139964349156549 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1713] ppid=1679 vsize=15419460 memory=1456 CPUtime=588.9 cores=0,2,4,6
/proc/1681/task/1713/stat : 1713 (java) R 1679 1679 31580 0 -1 4202560 132548 0 0 0 58836 54 0 0 20 0 19 0 474914979 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964202794400 139964353822228 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1714] ppid=1679 vsize=15419460 memory=1456 CPUtime=588.1 cores=0,2,4,6
/proc/1681/task/1714/stat : 1714 (java) R 1679 1679 31580 0 -1 4202560 159868 0 0 0 58705 105 0 0 20 0 19 0 474914979 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964199638528 139964353490133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
[pid=1681/tid=1715] ppid=1679 vsize=15419460 memory=1564 CPUtime=588.59 cores=0,2,4,6
/proc/1681/task/1715/stat : 1715 (java) R 1679 1679 31580 0 -1 4202560 11279 0 0 0 58852 7 0 0 20 0 19 0 474914979 15789527040 925052 33554432000 4194304 4196468 140734456020736 139964200690248 139964353003439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10547200 140734456026075 140734456026250 140734456026250 140734456029135 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 3701664 KiB

Child status: 143
Real time (s): 605.003
CPU time (s): 2400.41
CPU user time (s): 2397.77
CPU system time (s): 2.64772
CPU usage (%): 396.761
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 4136740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.77
system time used= 2.64772
maximum resident set size= 4135284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 389350
page faults= 0
swaps= 0
block input operations= 0
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17301
involuntary context switches= 38546


# summary of solver processes directly reported to runsolver:
#   pid: 1679,1681
#   total CPU time (s): 2400.41
#   total CPU user time (s): 2397.77
#   total CPU system time (s): 2.64772

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.94503 second user time and 6.80752 second system time

The end
Name	GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o33-h381-bal-1.xml
MD5SUM	2a724879a45d3456306f221189212969
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	33
Best CPU time to get the best result obtained on this benchmark	1964.89
Satisfiable
(Un)Satisfiability was proved
Number of variables	1089
Number of constraints	34849
Number of domains	1
Minimum domain size	1089
Maximum domain size	1089
Distribution of domain sizes	[{"size":1089,"count":1089}]
Minimum variable degree	65
Maximum variable degree	66
Distribution of variable degrees	[{"degree":65,"count":381},{"degree":66,"count":708}]
Minimum constraint arity	2
Maximum constraint arity	708
Distribution of constraint arities	[{"arity":2,"count":34848},{"arity":708,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	34848
Distribution of constraint types	[{"type":"intension","count":34848},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4404181

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
