2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	SAT	3.4041	1.06194
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 (13464 MiB free)
  memory of node 1: 16384 MiB (14013 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297824-1532709092/watcher-4297824-1532709092 -o /tmp/evaluation-result-4297824-1532709092/solver-4297824-1532709092 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532704044-11171 --watchdog 2580 HOME/xcsp3-exec -seed 676446639 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297824-1532709092.xml 

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

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

solver pid=12022, runsolver pid=12019

[startup+0.100138 s]*
/proc/loadavg: 7.69 8.10 8.16 3/200 12043
/proc/meminfo: memFree=28121540/32770624 swapFree=67108436/67108860
[pid=12022] ppid=12019 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12022/stat : 12022 (xcsp3-exec) S 12019 12022 11144 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88472416 115843072 364 33554432000 4194304 5098028 140721529755392 140721529753496 139997827842684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29593600 140721529758774 140721529758976 140721529758976 140721529761738 0
/proc/12022/statm: 28282 364 306 221 0 87 0
[pid=12024] ppid=12022 vsize=26104152 memory=27280 CPUtime=0.11 cores=0-7
/proc/12024/stat : 12024 (java) S 12022 12022 11144 0 -1 1077944320 5749 0 0 0 10 1 0 0 20 0 20 0 88472416 26730651648 6820 33554432000 4194304 4196468 140731495180800 140731495163344 139642379316983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
/proc/12024/statm: 6526038 6820 3002 1 0 6488315 0
[pid=12024/tid=12025] ppid=12022 vsize=26104152 memory=7680496022642924953 CPUtime=0.08 cores=0-7
/proc/12024/task/12025/stat : 12025 (java) R 12022 12022 11144 0 -1 4202560 3759 0 0 0 8 0 0 0 20 0 20 0 88472417 26730651648 6820 33554432000 4194304 4196468 140731495180800 139642383543232 139642379328918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12026] ppid=12022 vsize=26104152 memory=732369834327362533 CPUtime=0 cores=0-7
/proc/12024/task/12026/stat : 12026 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26730651648 6820 33554432000 4194304 4196468 140731495180800 139642340277392 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12027] ppid=12022 vsize=26104152 memory=139695989909120 CPUtime=0 cores=0-7
/proc/12024/task/12027/stat : 12027 (java) S 12022 12022 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472417 26730651648 6820 33554432000 4194304 4196468 140731495180800 139641936591888 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12028] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12028/stat : 12028 (java) S 12022 12022 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472417 26730651648 6820 33554432000 4194304 4196468 140731495180800 139641935539088 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12029] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12029/stat : 12029 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26730651648 6820 33554432000 4194304 4196468 140731495180800 139641934486288 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12030] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12030/stat : 12030 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26730651648 6820 33554432000 4194304 4196468 140731495180800 139641933433488 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12031] ppid=12022 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/12024/task/12031/stat : 12031 (java) S 12022 12022 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472417 26730651648 6820 33554432000 4194304 4196468 140731495180800 139641932380688 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12032] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12032/stat : 12032 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26730651648 6820 33554432000 4194304 4196468 140731495180800 139641931327888 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12033] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12033/stat : 12033 (java) S 12022 12022 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472417 26730651648 6820 33554432000 4194304 4196468 140731495180800 139641930275088 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12034] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12034/stat : 12034 (java) S 12022 12022 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472419 26730651648 6820 33554432000 4194304 4196468 140731495180800 139641506769776 139642379328130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12035] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12035/stat : 12035 (java) S 12022 12022 11144 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88472419 26730651648 6820 33554432000 4194304 4196468 140731495180800 139641505715744 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12036] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12036/stat : 12036 (java) S 12022 12022 11144 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88472419 26730651648 6820 33554432000 4194304 4196468 140731495180800 139641504662896 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12037] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12037/stat : 12037 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472422 26730651648 6820 33554432000 4194304 4196468 140731495180800 139641503611216 139642379335579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12038] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12038/stat : 12038 (java) S 12022 12022 11144 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 88472422 26730651648 6820 33554432000 4194304 4196468 140731495180800 139641502558576 139642379328130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12039] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12039/stat : 12039 (java) S 12022 12022 11144 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 88472422 26730651648 6820 33554432000 4194304 4196468 140731495180800 139641501505776 139642379328130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12040] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12040/stat : 12040 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472422 26730651648 6820 33554432000 4194304 4196468 140731495180800 139641500452976 139642379328130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12041] ppid=12022 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/12024/task/12041/stat : 12041 (java) R 12022 12022 11144 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 20 0 88472422 26730651648 6820 33554432000 4194304 4196468 140731495180800 139641499400176 139642358001787 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12042] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12042/stat : 12042 (java) S 12022 12022 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472422 26730651648 6820 33554432000 4194304 4196468 140731495180800 139641498348640 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12043] ppid=12022 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/12024/task/12043/stat : 12043 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472422 26730651648 6820 33554432000 4194304 4196468 140731495180800 139641497295920 139642379328130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28736 KiB

[startup+0.210515 s]*
/proc/loadavg: 7.69 8.10 8.16 3/200 12043
/proc/meminfo: memFree=28110748/32770624 swapFree=67108436/67108860
[pid=12022] ppid=12019 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12022/stat : 12022 (xcsp3-exec) S 12019 12022 11144 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88472416 115843072 364 33554432000 4194304 5098028 140721529755392 140721529753496 139997827842684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29593600 140721529758774 140721529758976 140721529758976 140721529761738 0
/proc/12022/statm: 28282 364 306 221 0 87 0
[pid=12024] ppid=12022 vsize=26104152 memory=39128 CPUtime=0.33 cores=0-7
/proc/12024/stat : 12024 (java) S 12022 12022 11144 0 -1 1077944320 8383 0 0 0 31 2 0 0 20 0 20 0 88472416 26730651648 9782 33554432000 4194304 4196468 140731495180800 140731495163344 139642379316983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
/proc/12024/statm: 6526038 9782 3165 1 0 6488315 0
[pid=12024/tid=12025] ppid=12022 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/12024/task/12025/stat : 12025 (java) R 12022 12022 11144 0 -1 4202560 5594 0 0 0 18 1 0 0 20 0 20 0 88472417 26730651648 9782 33554432000 4194304 4196468 140731495180800 139642383548896 139642363397470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12026] ppid=12022 vsize=26104152 memory=732369834327362533 CPUtime=0 cores=0-7
/proc/12024/task/12026/stat : 12026 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26730651648 9782 33554432000 4194304 4196468 140731495180800 139642340277392 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12027] ppid=12022 vsize=26104152 memory=139695989909120 CPUtime=0 cores=0-7
/proc/12024/task/12027/stat : 12027 (java) S 12022 12022 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472417 26730651648 9782 33554432000 4194304 4196468 140731495180800 139641936591888 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12028] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12028/stat : 12028 (java) S 12022 12022 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472417 26730651648 9782 33554432000 4194304 4196468 140731495180800 139641935539088 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12029] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12029/stat : 12029 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26730651648 9782 33554432000 4194304 4196468 140731495180800 139641934486288 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12030] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12030/stat : 12030 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26730651648 9782 33554432000 4194304 4196468 140731495180800 139641933433488 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12031] ppid=12022 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/12024/task/12031/stat : 12031 (java) S 12022 12022 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472417 26730651648 9782 33554432000 4194304 4196468 140731495180800 139641932380688 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12032] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12032/stat : 12032 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26730651648 9782 33554432000 4194304 4196468 140731495180800 139641931327888 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12033] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12033/stat : 12033 (java) S 12022 12022 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472417 26730651648 9782 33554432000 4194304 4196468 140731495180800 139641930275088 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12034] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12034/stat : 12034 (java) S 12022 12022 11144 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88472419 26730651648 9782 33554432000 4194304 4196468 140731495180800 139641506769776 139642379328130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12035] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12035/stat : 12035 (java) S 12022 12022 11144 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88472419 26730651648 9782 33554432000 4194304 4196468 140731495180800 139641505715744 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12036] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12036/stat : 12036 (java) S 12022 12022 11144 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88472419 26730651648 9782 33554432000 4194304 4196468 140731495180800 139641504662896 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12037] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12037/stat : 12037 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472422 26730651648 9782 33554432000 4194304 4196468 140731495180800 139641503611216 139642379335579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12038] ppid=12022 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/12024/task/12038/stat : 12038 (java) S 12022 12022 11144 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 20 0 88472422 26730651648 9782 33554432000 4194304 4196468 140731495180800 139641502558576 139642379328130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12039] ppid=12022 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/12024/task/12039/stat : 12039 (java) S 12022 12022 11144 0 -1 1077944384 283 0 0 0 2 0 0 0 20 0 20 0 88472422 26730651648 9782 33554432000 4194304 4196468 140731495180800 139641501505776 139642379328130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12040] ppid=12022 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/12024/task/12040/stat : 12040 (java) S 12022 12022 11144 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 20 0 88472422 26730651648 9782 33554432000 4194304 4196468 140731495180800 139641500452976 139642379328130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12041] ppid=12022 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7
/proc/12024/task/12041/stat : 12041 (java) S 12022 12022 11144 0 -1 1077944384 761 0 0 0 8 0 0 0 20 0 20 0 88472422 26730651648 9782 33554432000 4194304 4196468 140731495180800 139641499400176 139642379328130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12042] ppid=12022 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12042/stat : 12042 (java) S 12022 12022 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472422 26730651648 9782 33554432000 4194304 4196468 140731495180800 139641498348640 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12043] ppid=12022 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/12024/task/12043/stat : 12043 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472422 26730651648 9782 33554432000 4194304 4196468 140731495180800 139641497295920 139642379328130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40584 KiB

[startup+0.315144 s]*
/proc/loadavg: 7.69 8.10 8.16 3/200 12043
/proc/meminfo: memFree=28104296/32770624 swapFree=67108436/67108860
[pid=12022] ppid=12019 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12022/stat : 12022 (xcsp3-exec) S 12019 12022 11144 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88472416 115843072 364 33554432000 4194304 5098028 140721529755392 140721529753496 139997827842684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29593600 140721529758774 140721529758976 140721529758976 140721529761738 0
/proc/12022/statm: 28282 364 306 221 0 87 0
[pid=12024] ppid=12022 vsize=26108408 memory=46220 CPUtime=0.52 cores=0-7
/proc/12024/stat : 12024 (java) S 12022 12022 11144 0 -1 1077944320 9312 0 0 0 49 3 0 0 20 0 20 0 88472416 26735009792 11555 33554432000 4194304 4196468 140731495180800 140731495163344 139642379316983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
/proc/12024/statm: 6527102 11555 3224 1 0 6488315 0
[pid=12024/tid=12025] ppid=12022 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12024/task/12025/stat : 12025 (java) R 12022 12022 11144 0 -1 4202560 6334 0 0 0 27 2 0 0 20 0 20 0 88472417 26735009792 11555 33554432000 4194304 4196468 140731495180800 139642383550768 139642363397470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12026] ppid=12022 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12026/stat : 12026 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26735009792 11555 33554432000 4194304 4196468 140731495180800 139642340277392 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12027] ppid=12022 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12027/stat : 12027 (java) S 12022 12022 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472417 26735009792 11555 33554432000 4194304 4196468 140731495180800 139641936591888 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12028] ppid=12022 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12028/stat : 12028 (java) S 12022 12022 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472417 26735009792 11555 33554432000 4194304 4196468 140731495180800 139641935539088 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12029] ppid=12022 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12029/stat : 12029 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26735009792 11555 33554432000 4194304 4196468 140731495180800 139641934486288 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12030] ppid=12022 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/12024/task/12030/stat : 12030 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26735009792 11555 33554432000 4194304 4196468 140731495180800 139641933433488 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12031] ppid=12022 vsize=26108408 memory=139695891772335 CPUtime=0 cores=0-7
/proc/12024/task/12031/stat : 12031 (java) S 12022 12022 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472417 26735009792 11555 33554432000 4194304 4196468 140731495180800 139641932380688 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12032] ppid=12022 vsize=26108408 memory=139695891774640 CPUtime=0 cores=0-7
/proc/12024/task/12032/stat : 12032 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26735009792 11555 33554432000 4194304 4196468 140731495180800 139641931327888 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12033] ppid=12022 vsize=26108408 memory=139695891776944 CPUtime=0 cores=0-7
/proc/12024/task/12033/stat : 12033 (java) S 12022 12022 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472417 26735009792 11555 33554432000 4194304 4196468 140731495180800 139641930275088 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12034] ppid=12022 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12034/stat : 12034 (java) S 12022 12022 11144 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88472419 26735009792 11555 33554432000 4194304 4196468 140731495180800 139641506769776 139642379328130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12035] ppid=12022 vsize=26108408 memory=279391783560848 CPUtime=0 cores=0-7
/proc/12024/task/12035/stat : 12035 (java) S 12022 12022 11144 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88472419 26735009792 11555 33554432000 4194304 4196468 140731495180800 139641505715744 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12036] ppid=12022 vsize=26108408 memory=279391783567760 CPUtime=0 cores=0-7
/proc/12024/task/12036/stat : 12036 (java) S 12022 12022 11144 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88472419 26735009792 11555 33554432000 4194304 4196468 140731495180800 139641504662896 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12037] ppid=12022 vsize=26108408 memory=279391783509040 CPUtime=0 cores=0-7
/proc/12024/task/12037/stat : 12037 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472422 26735009792 11555 33554432000 4194304 4196468 140731495180800 139641503611216 139642379335579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12038] ppid=12022 vsize=26108408 memory=279391783581584 CPUtime=0.01 cores=0-7
/proc/12024/task/12038/stat : 12038 (java) S 12022 12022 11144 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 20 0 88472422 26735009792 11555 33554432000 4194304 4196468 140731495180800 139641502558576 139642379328130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12039] ppid=12022 vsize=26108408 memory=279391783588496 CPUtime=0.05 cores=0-7
/proc/12024/task/12039/stat : 12039 (java) S 12022 12022 11144 0 -1 1077944384 366 0 0 0 5 0 0 0 20 0 20 0 88472422 26735009792 11555 33554432000 4194304 4196468 140731495180800 139641501505776 139642379328130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12040] ppid=12022 vsize=26108408 memory=279391783586192 CPUtime=0.02 cores=0-7
/proc/12024/task/12040/stat : 12040 (java) S 12022 12022 11144 0 -1 1077944384 63 0 0 0 2 0 0 0 20 0 20 0 88472422 26735009792 11555 33554432000 4194304 4196468 140731495180800 139641500452976 139642379328130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12041] ppid=12022 vsize=26108408 memory=279391783602352 CPUtime=0.12 cores=0-7
/proc/12024/task/12041/stat : 12041 (java) S 12022 12022 11144 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 20 0 88472422 26735009792 11555 33554432000 4194304 4196468 140731495180800 139641499400176 139642379328130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12042] ppid=12022 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12042/stat : 12042 (java) S 12022 12022 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472422 26735009792 11555 33554432000 4194304 4196468 140731495180800 139641498348640 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12043] ppid=12022 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/12024/task/12043/stat : 12043 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472422 26735009792 11555 33554432000 4194304 4196468 140731495180800 139641497295920 139642379328130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47676 KiB

[startup+0.70275 s]
/proc/loadavg: 7.69 8.10 8.16 5/200 12043
/proc/meminfo: memFree=28090544/32770624 swapFree=67108436/67108860
[pid=12022] ppid=12019 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12022/stat : 12022 (xcsp3-exec) S 12019 12022 11144 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88472416 115843072 364 33554432000 4194304 5098028 140721529755392 140721529753496 139997827842684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29593600 140721529758774 140721529758976 140721529758976 140721529761738 0
/proc/12022/statm: 28282 364 306 221 0 87 0
[pid=12024] ppid=12022 vsize=26110532 memory=92968 CPUtime=1.78 cores=0-7
/proc/12024/stat : 12024 (java) S 12022 12022 11144 0 -1 1077944320 12981 0 0 0 172 6 0 0 20 0 20 0 88472416 26737184768 23242 33554432000 4194304 4196468 140731495180800 140731495163344 139642379316983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
/proc/12024/statm: 6527633 23242 3361 1 0 6488827 0
[pid=12024/tid=12025] ppid=12022 vsize=26110532 memory=279391783897280 CPUtime=0.67 cores=0-7
/proc/12024/task/12025/stat : 12025 (java) R 12022 12022 11144 0 -1 4202560 7112 0 0 0 64 3 0 0 20 0 20 0 88472417 26737184768 23242 33554432000 4194304 4196468 140731495180800 139642383552912 139642379338909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12026] ppid=12022 vsize=26110532 memory=5752 CPUtime=0 cores=0-7
/proc/12024/task/12026/stat : 12026 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26737184768 23242 33554432000 4194304 4196468 140731495180800 139642340277392 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12027] ppid=12022 vsize=26110532 memory=4588 CPUtime=0 cores=0-7
/proc/12024/task/12027/stat : 12027 (java) S 12022 12022 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472417 26737184768 23242 33554432000 4194304 4196468 140731495180800 139641936591888 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12028] ppid=12022 vsize=26110532 memory=1612 CPUtime=0 cores=0-7
/proc/12024/task/12028/stat : 12028 (java) S 12022 12022 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472417 26737184768 23242 33554432000 4194304 4196468 140731495180800 139641935539088 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12029] ppid=12022 vsize=26110532 memory=1228 CPUtime=0 cores=0-7
/proc/12024/task/12029/stat : 12029 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26737184768 23242 33554432000 4194304 4196468 140731495180800 139641934486288 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12030] ppid=12022 vsize=26110532 memory=1852 CPUtime=0 cores=0-7
/proc/12024/task/12030/stat : 12030 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26737184768 23242 33554432000 4194304 4196468 140731495180800 139641933433488 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12031] ppid=12022 vsize=26110532 memory=872 CPUtime=0 cores=0-7
/proc/12024/task/12031/stat : 12031 (java) S 12022 12022 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472417 26737184768 23242 33554432000 4194304 4196468 140731495180800 139641932380688 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12032] ppid=12022 vsize=26110532 memory=8064 CPUtime=0 cores=0-7
/proc/12024/task/12032/stat : 12032 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26737184768 23242 33554432000 4194304 4196468 140731495180800 139641931327888 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12033] ppid=12022 vsize=26110532 memory=11648 CPUtime=0 cores=0-7
/proc/12024/task/12033/stat : 12033 (java) S 12022 12022 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472417 26737184768 23242 33554432000 4194304 4196468 140731495180800 139641930275088 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12034] ppid=12022 vsize=26110532 memory=796 CPUtime=0 cores=0-7
/proc/12024/task/12034/stat : 12034 (java) S 12022 12022 11144 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88472419 26737184768 23242 33554432000 4194304 4196468 140731495180800 139641506769776 139642379328130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12035] ppid=12022 vsize=26110532 memory=1388 CPUtime=0 cores=0-7
/proc/12024/task/12035/stat : 12035 (java) S 12022 12022 11144 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88472419 26737184768 23242 33554432000 4194304 4196468 140731495180800 139641505715744 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12036] ppid=12022 vsize=26110532 memory=1136 CPUtime=0 cores=0-7
/proc/12024/task/12036/stat : 12036 (java) S 12022 12022 11144 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88472419 26737184768 23242 33554432000 4194304 4196468 140731495180800 139641504662896 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12037] ppid=12022 vsize=26110532 memory=15872 CPUtime=0 cores=0-7
/proc/12024/task/12037/stat : 12037 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472422 26737184768 23242 33554432000 4194304 4196468 140731495180800 139641503611216 139642379335579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12038] ppid=12022 vsize=26110532 memory=14856 CPUtime=0.22 cores=0-7
/proc/12024/task/12038/stat : 12038 (java) R 12022 12022 11144 0 -1 4202560 1193 0 0 0 22 0 0 0 20 0 20 0 88472422 26737184768 23242 33554432000 4194304 4196468 140731495180800 139641502544456 139642371606432 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12039] ppid=12022 vsize=26110532 memory=16148 CPUtime=0.25 cores=0-7
/proc/12024/task/12039/stat : 12039 (java) R 12022 12022 11144 0 -1 4202560 920 0 0 0 25 0 0 0 20 0 20 0 88472422 26737184768 23242 33554432000 4194304 4196468 140731495180800 139641501485880 139642362854516 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12040] ppid=12022 vsize=26110532 memory=4004 CPUtime=0.22 cores=0-7
/proc/12024/task/12040/stat : 12040 (java) R 12022 12022 11144 0 -1 4202560 786 0 0 0 22 0 0 0 20 0 20 0 88472422 26737184768 23242 33554432000 4194304 4196468 140731495180800 139641500442768 139642365339185 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12041] ppid=12022 vsize=26110532 memory=636 CPUtime=0.39 cores=0-7
/proc/12024/task/12041/stat : 12041 (java) R 12022 12022 11144 0 -1 4202560 1665 0 0 0 38 1 0 0 20 0 20 0 88472422 26737184768 23242 33554432000 4194304 4196468 140731495180800 139641499400176 139642363564281 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12042] ppid=12022 vsize=26110532 memory=1780 CPUtime=0 cores=0-7
/proc/12024/task/12042/stat : 12042 (java) S 12022 12022 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472422 26737184768 23242 33554432000 4194304 4196468 140731495180800 139641498348640 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12043] ppid=12022 vsize=26110532 memory=1236 CPUtime=0 cores=0-7
/proc/12024/task/12043/stat : 12043 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472422 26737184768 23242 33554432000 4194304 4196468 140731495180800 139641497295920 139642379328130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 26223660 KiB
Current children cumulated memory: 94424 KiB

[startup+1.06189 s]
# the end of solver process 12022 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.2742 s, system=0.1299 s

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

[startup+0.80119 s]
/proc/loadavg: 7.69 8.10 8.16 5/200 12043
/proc/meminfo: memFree=28090544/32770624 swapFree=67108436/67108860
[pid=12022] ppid=12019 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12022/stat : 12022 (xcsp3-exec) S 12019 12022 11144 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88472416 115843072 364 33554432000 4194304 5098028 140721529755392 140721529753496 139997827842684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29593600 140721529758774 140721529758976 140721529758976 140721529761738 0
/proc/12022/statm: 28282 364 306 221 0 87 0
[pid=12024] ppid=12022 vsize=26110532 memory=125508 CPUtime=2.19 cores=0-7
/proc/12024/stat : 12024 (java) S 12022 12022 11144 0 -1 1077944320 14885 0 0 0 212 7 0 0 20 0 20 0 88472416 26737184768 31377 33554432000 4194304 4196468 140731495180800 140731495163344 139642379316983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
/proc/12024/statm: 6527633 31377 3368 1 0 6488827 0
[pid=12024/tid=12025] ppid=12022 vsize=26110532 memory=6791534058613427641 CPUtime=0.77 cores=0-7
/proc/12024/task/12025/stat : 12025 (java) R 12022 12022 11144 0 -1 4202560 7124 0 0 0 73 4 0 0 20 0 20 0 88472417 26737184768 31377 33554432000 4194304 4196468 140731495180800 139642383552912 139642020028751 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12026] ppid=12022 vsize=26110532 memory=6504 CPUtime=0 cores=0-7
/proc/12024/task/12026/stat : 12026 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26737184768 31377 33554432000 4194304 4196468 140731495180800 139642340277392 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12027] ppid=12022 vsize=26110532 memory=1576 CPUtime=0 cores=0-7
/proc/12024/task/12027/stat : 12027 (java) S 12022 12022 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472417 26737184768 31377 33554432000 4194304 4196468 140731495180800 139641936591888 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12028] ppid=12022 vsize=26110532 memory=932 CPUtime=0 cores=0-7
/proc/12024/task/12028/stat : 12028 (java) S 12022 12022 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472417 26737184768 31377 33554432000 4194304 4196468 140731495180800 139641935539088 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12029] ppid=12022 vsize=26110532 memory=2244 CPUtime=0 cores=0-7
/proc/12024/task/12029/stat : 12029 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26737184768 31377 33554432000 4194304 4196468 140731495180800 139641934486288 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12030] ppid=12022 vsize=26110532 memory=4132 CPUtime=0 cores=0-7
/proc/12024/task/12030/stat : 12030 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26737184768 31377 33554432000 4194304 4196468 140731495180800 139641933433488 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12031] ppid=12022 vsize=26110532 memory=2200 CPUtime=0 cores=0-7
/proc/12024/task/12031/stat : 12031 (java) S 12022 12022 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472417 26737184768 31377 33554432000 4194304 4196468 140731495180800 139641932380688 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12032] ppid=12022 vsize=26110532 memory=7532 CPUtime=0 cores=0-7
/proc/12024/task/12032/stat : 12032 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472417 26737184768 31377 33554432000 4194304 4196468 140731495180800 139641931327888 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12033] ppid=12022 vsize=26110532 memory=840 CPUtime=0 cores=0-7
/proc/12024/task/12033/stat : 12033 (java) S 12022 12022 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472417 26737184768 31377 33554432000 4194304 4196468 140731495180800 139641930275088 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12034] ppid=12022 vsize=26110532 memory=1796 CPUtime=0 cores=0-7
/proc/12024/task/12034/stat : 12034 (java) S 12022 12022 11144 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88472419 26737184768 31377 33554432000 4194304 4196468 140731495180800 139641506769776 139642379328130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12035] ppid=12022 vsize=26110532 memory=22244 CPUtime=0 cores=0-7
/proc/12024/task/12035/stat : 12035 (java) S 12022 12022 11144 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88472419 26737184768 31377 33554432000 4194304 4196468 140731495180800 139641505715744 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12036] ppid=12022 vsize=26110532 memory=-7749696028082845524 CPUtime=0 cores=0-7
/proc/12024/task/12036/stat : 12036 (java) S 12022 12022 11144 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88472419 26737184768 31889 33554432000 4194304 4196468 140731495180800 139641504662896 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12037] ppid=12022 vsize=26110532 memory=6933690279252828305 CPUtime=0 cores=0-7
/proc/12024/task/12037/stat : 12037 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472422 26737184768 31889 33554432000 4194304 4196468 140731495180800 139641503611216 139642379335579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12038] ppid=12022 vsize=26110532 memory=-7384994778349280928 CPUtime=0.32 cores=0-7
/proc/12024/task/12038/stat : 12038 (java) R 12022 12022 11144 0 -1 4202560 1561 0 0 0 32 0 0 0 20 0 20 0 88472422 26737184768 31889 33554432000 4194304 4196468 140731495180800 139641502539592 139642358550379 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12039] ppid=12022 vsize=26110532 memory=0 CPUtime=0.35 cores=0-7
/proc/12024/task/12039/stat : 12039 (java) R 12022 12022 11144 0 -1 4202560 1506 0 0 0 35 0 0 0 20 0 20 0 88472422 26737184768 31889 33554432000 4194304 4196468 140731495180800 139641501498264 139642362815852 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12040] ppid=12022 vsize=26110532 memory=0 CPUtime=0.32 cores=0-7
/proc/12024/task/12040/stat : 12040 (java) R 12022 12022 11144 0 -1 4202560 1360 0 0 0 32 0 0 0 20 0 20 0 88472422 26737184768 31889 33554432000 4194304 4196468 140731495180800 139641500438856 139642364212254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12041] ppid=12022 vsize=26110532 memory=0 CPUtime=0.4 cores=0-7
/proc/12024/task/12041/stat : 12041 (java) S 12022 12022 11144 0 -1 1077944384 2020 0 0 0 39 1 0 0 20 0 20 0 88472422 26737184768 31889 33554432000 4194304 4196468 140731495180800 139641499400176 139642379328130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12042] ppid=12022 vsize=26110532 memory=56 CPUtime=0 cores=0-7
/proc/12024/task/12042/stat : 12042 (java) S 12022 12022 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472422 26737184768 31889 33554432000 4194304 4196468 140731495180800 139641498348640 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12043] ppid=12022 vsize=26110532 memory=11722 CPUtime=0 cores=0-7
/proc/12024/task/12043/stat : 12043 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472422 26737184768 31889 33554432000 4194304 4196468 140731495180800 139641497295920 139642379328130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
Current children cumulated CPU time: 2.19 s
Current children cumulated vsize: 26223660 KiB
Current children cumulated memory: 126964 KiB

[startup+1.00087 s]*
/proc/loadavg: 7.69 8.10 8.16 12/208 12051
/proc/meminfo: memFree=27941892/32770624 swapFree=67108436/67108860
[pid=12022] ppid=12019 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12022/stat : 12022 (xcsp3-exec) S 12019 12022 11144 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88472416 115843072 364 33554432000 4194304 5098028 140721529755392 140721529753496 139997827842684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29593600 140721529758774 140721529758976 140721529758976 140721529761738 0
/proc/12022/statm: 28282 364 306 221 0 87 0
[pid=12024] ppid=12022 vsize=26643044 memory=209368 CPUtime=3.13 cores=0-7
/proc/12024/stat : 12024 (java) S 12022 12022 11144 0 -1 1077944320 16920 0 0 0 302 11 0 0 20 0 28 0 88472416 27282477056 52342 33554432000 4194304 4196468 140731495180800 140731495163344 139642379316983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
/proc/12024/statm: 6660761 52342 3388 1 0 6621955 0
[pid=12024/tid=12025] ppid=12022 vsize=26643044 memory=279391783354608 CPUtime=0.94 cores=0-7
/proc/12024/task/12025/stat : 12025 (java) S 12022 12022 11144 0 -1 1077944384 7207 0 0 0 89 5 0 0 20 0 28 0 88472417 27282477056 52342 33554432000 4194304 4196468 140731495180800 139642383557760 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12026] ppid=12022 vsize=26643044 memory=732369834327362533 CPUtime=0 cores=0-7
/proc/12024/task/12026/stat : 12026 (java) S 12022 12022 11144 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 88472417 27282477056 52342 33554432000 4194304 4196468 140731495180800 139642340277392 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12027] ppid=12022 vsize=26643044 memory=2308580187477922774 CPUtime=0 cores=0-7
/proc/12024/task/12027/stat : 12027 (java) S 12022 12022 11144 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 88472417 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641936591888 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12028] ppid=12022 vsize=26643044 memory=-7737605721172012177 CPUtime=0 cores=0-7
/proc/12024/task/12028/stat : 12028 (java) S 12022 12022 11144 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 88472417 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641935539088 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12029] ppid=12022 vsize=26643044 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/12024/task/12029/stat : 12029 (java) S 12022 12022 11144 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 88472417 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641934486288 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12030] ppid=12022 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12030/stat : 12030 (java) S 12022 12022 11144 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 88472417 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641933433488 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12031] ppid=12022 vsize=26643044 memory=-1 CPUtime=0 cores=0-7
/proc/12024/task/12031/stat : 12031 (java) S 12022 12022 11144 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 88472417 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641932380688 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12032] ppid=12022 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12032/stat : 12032 (java) S 12022 12022 11144 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 88472417 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641931327888 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12033] ppid=12022 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12033/stat : 12033 (java) S 12022 12022 11144 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 88472417 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641930275088 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12034] ppid=12022 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12034/stat : 12034 (java) S 12022 12022 11144 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 88472419 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641506769776 139642379328130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12035] ppid=12022 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12035/stat : 12035 (java) S 12022 12022 11144 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 88472419 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641505715744 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12036] ppid=12022 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12036/stat : 12036 (java) S 12022 12022 11144 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 88472419 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641504662896 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12037] ppid=12022 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12037/stat : 12037 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88472422 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641503611216 139642379335579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12038] ppid=12022 vsize=26643044 memory=0 CPUtime=0.51 cores=0-7
/proc/12024/task/12038/stat : 12038 (java) R 12022 12022 11144 0 -1 4202560 2581 0 0 0 51 0 0 0 20 0 28 0 88472422 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641502544456 139642360836668 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12039] ppid=12022 vsize=26643044 memory=0 CPUtime=0.54 cores=0-7
/proc/12024/task/12039/stat : 12039 (java) R 12022 12022 11144 0 -1 4202560 1592 0 0 0 54 0 0 0 20 0 28 0 88472422 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641501495888 139642360860774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12040] ppid=12022 vsize=26643044 memory=0 CPUtime=0.5 cores=0-7
/proc/12024/task/12040/stat : 12040 (java) R 12022 12022 11144 0 -1 4202560 1552 0 0 0 50 0 0 0 20 0 28 0 88472422 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641500452976 139642363704119 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12041] ppid=12022 vsize=26643044 memory=0 CPUtime=0.43 cores=0-7
/proc/12024/task/12041/stat : 12041 (java) R 12022 12022 11144 0 -1 4202560 2175 0 0 0 42 1 0 0 20 0 28 0 88472422 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641499396544 139642372413819 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12042] ppid=12022 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12042/stat : 12042 (java) S 12022 12022 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88472422 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641498348640 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12043] ppid=12022 vsize=26643044 memory=-1 CPUtime=0 cores=0-7
/proc/12024/task/12043/stat : 12043 (java) S 12022 12022 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88472422 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641497295920 139642379328130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12044] ppid=12022 vsize=26643044 memory=-1 CPUtime=0.01 cores=0-7
/proc/12024/task/12044/stat : 12044 (java) S 12022 12022 11144 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 28 0 88472513 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641488512336 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12045] ppid=12022 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12045/stat : 12045 (java) S 12022 12022 11144 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 88472513 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641487460528 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12046] ppid=12022 vsize=26643044 memory=139700284876415 CPUtime=0.01 cores=0-7
/proc/12024/task/12046/stat : 12046 (java) R 12022 12022 11144 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 28 0 88472513 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641486405536 139642020934641 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12047] ppid=12022 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12047/stat : 12047 (java) R 12022 12022 11144 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 88472515 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641485351264 139642379327189 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12048] ppid=12022 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12048/stat : 12048 (java) R 12022 12022 11144 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 28 0 88472515 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641484304856 139642015767341 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12049] ppid=12022 vsize=26643044 memory=0 CPUtime=0.01 cores=0-7
/proc/12024/task/12049/stat : 12049 (java) R 12022 12022 11144 0 -1 4202560 26 0 0 0 1 0 0 0 20 0 28 0 88472515 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641483248000 139642020932807 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12050] ppid=12022 vsize=26643044 memory=0 CPUtime=0.01 cores=0-7
/proc/12024/task/12050/stat : 12050 (java) S 12022 12022 11144 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 28 0 88472515 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641482197888 139642379327189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
[pid=12024/tid=12051] ppid=12022 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/12024/task/12051/stat : 12051 (java) R 12022 12022 11144 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 88472515 27282477056 52342 33554432000 4194304 4196468 140731495180800 139641481145088 139642379327189 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10846208 140731495187585 140731495187757 140731495187757 140731495190479 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 210824 KiB

Child status: 0
Real time (s): 1.06194
CPU time (s): 3.4041
CPU user time (s): 3.2742
CPU system time (s): 0.1299
CPU usage (%): 320.554
Max. virtual memory (cumulated for all children) (KiB): 26756172
Max. memory (cumulated for all children) (KiB): 210824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.2742
system time used= 0.1299
maximum resident set size= 212508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17789
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2725
involuntary context switches= 11


# summary of solver processes directly reported to runsolver:
#   pid: 12022
#   total CPU time (s): 3.4041
#   total CPU user time (s): 3.2742
#   total CPU system time (s): 0.1299

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032597 second user time and 0.055007 second system time

The end
Name	PseudoBoolean-dec/ Pb-fpga25-25-sat_c18.xml
MD5SUM	ac52d6c4be7f254c8b8f2a5f4d50567d
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	3.4041
Satisfiable
(Un)Satisfiability was proved
Number of variables	938
Number of constraints	700
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":938}]
Minimum variable degree	3
Maximum variable degree	26
Distribution of variable degrees	[{"degree":3,"count":625},{"degree":26,"count":313}]
Minimum constraint arity	12
Maximum constraint arity	25
Distribution of constraint arities	[{"arity":12,"count":12},{"arity":13,"count":313},{"arity":14,"count":325},{"arity":25,"count":50}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":700}]
Optimization problem	NO
Type of objective
Trace number 4297824

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
