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-16	SAT (TO)	310	2400.48	603.508
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 (15117 MiB free)
  memory of node 1: 16384 MiB (15024 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400506-1568694636/watcher-4400506-1568694636 -o /tmp/evaluation-result-4400506-1568694636/solver-4400506-1568694636 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568694456-7913 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1105869946 HOME/instance-4400506-1568694636.xml 

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

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=10855, runsolver pid=10852

[startup+0.10937 s]*
/proc/loadavg: 7.73 3.61 1.89 11/233 10871
/proc/meminfo: memFree=30845116/32770624 swapFree=66988556/67108860
[pid=10855] ppid=10852 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10855/stat : 10855 (xcsp3-exec) S 10852 10855 7881 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445731354 115843072 362 33554432000 4194304 5098028 140726877598128 140726877596232 140472880079484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8052736 140726877606778 140726877607021 140726877607021 140726877609930 0
/proc/10855/statm: 28282 362 304 221 0 87 0
[pid=10857] ppid=10855 vsize=15144776 memory=31040 CPUtime=0.15 cores=1,3,5,7
/proc/10857/stat : 10857 (java) S 10855 10855 7881 0 -1 1077944320 5722 0 0 0 14 1 0 0 20 0 15 0 445731354 15508250624 7760 33554432000 4194304 4196468 140731774832032 140731774814576 139822253244151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
/proc/10857/statm: 3786194 7760 3186 1 0 3748377 0
[pid=10857/tid=10858] ppid=10855 vsize=15144776 memory=8324486588775410251 CPUtime=0.1 cores=1,3,5,7
/proc/10857/task/10858/stat : 10858 (java) R 10855 10855 7881 0 -1 4202560 3585 0 0 0 9 1 0 0 20 0 15 0 445731355 15508250624 7891 33554432000 4194304 4196468 140731774832032 139822257475152 139821871884880 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10859] ppid=10855 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10859/stat : 10859 (java) S 10855 10855 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731355 15508250624 7891 33554432000 4194304 4196468 140731774832032 139822205864976 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10860] ppid=10855 vsize=15144776 memory=140203942872704 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10860/stat : 10860 (java) S 10855 10855 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731355 15508250624 7891 33554432000 4194304 4196468 140731774832032 139822204812432 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10861] ppid=10855 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10861/stat : 10861 (java) S 10855 10855 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731355 15508250624 7891 33554432000 4194304 4196468 140731774832032 139822203759376 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10862] ppid=10855 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10862/stat : 10862 (java) S 10855 10855 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731355 15508250624 7891 33554432000 4194304 4196468 140731774832032 139822202706832 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10863] ppid=10855 vsize=15144776 memory=140203942872704 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10863/stat : 10863 (java) S 10855 10855 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731357 15508250624 7891 33554432000 4194304 4196468 140731774832032 139821789030640 139822253255298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10864] ppid=10855 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10864/stat : 10864 (java) S 10855 10855 7881 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 445731357 15508250624 7891 33554432000 4194304 4196468 140731774832032 139821059138720 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10865] ppid=10855 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10865/stat : 10865 (java) S 10855 10855 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445731357 15508250624 7891 33554432000 4194304 4196468 140731774832032 139821058085616 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10866] ppid=10855 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10866/stat : 10866 (java) S 10855 10855 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731360 15508250624 7891 33554432000 4194304 4196468 140731774832032 139821057034192 139822253262747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10867] ppid=10855 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10867/stat : 10867 (java) S 10855 10855 7881 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 445731360 15508250624 7891 33554432000 4194304 4196468 140731774832032 139821055982320 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10868] ppid=10855 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10868/stat : 10868 (java) S 10855 10855 7881 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 445731360 15508250624 7891 33554432000 4194304 4196468 140731774832032 139821054929776 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10869] ppid=10855 vsize=15144776 memory=140203942872704 CPUtime=0.03 cores=1,3,5,7
/proc/10857/task/10869/stat : 10869 (java) R 10855 10855 7881 0 -1 4202560 508 0 0 0 3 0 0 0 20 0 15 0 445731360 15508250624 7891 33554432000 4194304 4196468 140731774832032 139821053873464 139822231769581 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10870] ppid=10855 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10870/stat : 10870 (java) S 10855 10855 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731360 15508250624 7891 33554432000 4194304 4196468 140731774832032 139821052824416 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10871] ppid=10855 vsize=15144776 memory=140203942872704 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10871/stat : 10871 (java) S 10855 10855 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731360 15508250624 7891 33554432000 4194304 4196468 140731774832032 139821051771440 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 32488 KiB

[startup+0.212598 s]*
/proc/loadavg: 7.73 3.61 1.89 9/233 10871
/proc/meminfo: memFree=30831820/32770624 swapFree=66988556/67108860
[pid=10855] ppid=10852 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10855/stat : 10855 (xcsp3-exec) S 10852 10855 7881 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445731354 115843072 362 33554432000 4194304 5098028 140726877598128 140726877596232 140472880079484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8052736 140726877606778 140726877607021 140726877607021 140726877609930 0
/proc/10855/statm: 28282 362 304 221 0 87 0
[pid=10857] ppid=10855 vsize=15144776 memory=43088 CPUtime=0.35 cores=1,3,5,7
/proc/10857/stat : 10857 (java) S 10855 10855 7881 0 -1 1077944320 9443 0 0 0 32 3 0 0 20 0 15 0 445731354 15508250624 10772 33554432000 4194304 4196468 140731774832032 140731774814576 139822253244151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
/proc/10857/statm: 3786194 10772 3306 1 0 3748377 0
[pid=10857/tid=10858] ppid=10855 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/10857/task/10858/stat : 10858 (java) R 10855 10855 7881 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 15 0 445731355 15508250624 10772 33554432000 4194304 4196468 140731774832032 139822257480848 139822253256086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10859] ppid=10855 vsize=15144776 memory=8996 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10859/stat : 10859 (java) S 10855 10855 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731355 15508250624 10772 33554432000 4194304 4196468 140731774832032 139822205864976 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10860] ppid=10855 vsize=15144776 memory=3545942265198937760 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10860/stat : 10860 (java) S 10855 10855 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731355 15508250624 10772 33554432000 4194304 4196468 140731774832032 139822204812432 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10861] ppid=10855 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10861/stat : 10861 (java) S 10855 10855 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731355 15508250624 10772 33554432000 4194304 4196468 140731774832032 139822203759376 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10862] ppid=10855 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10862/stat : 10862 (java) S 10855 10855 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731355 15508250624 10772 33554432000 4194304 4196468 140731774832032 139822202706832 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10863] ppid=10855 vsize=15144776 memory=140203942872704 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10863/stat : 10863 (java) S 10855 10855 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445731357 15508250624 10772 33554432000 4194304 4196468 140731774832032 139821789030640 139822253255298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10864] ppid=10855 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10864/stat : 10864 (java) S 10855 10855 7881 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 445731357 15508250624 10772 33554432000 4194304 4196468 140731774832032 139821059138720 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10865] ppid=10855 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10865/stat : 10865 (java) S 10855 10855 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445731357 15508250624 10772 33554432000 4194304 4196468 140731774832032 139821058085616 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10866] ppid=10855 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10866/stat : 10866 (java) S 10855 10855 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731360 15508250624 10772 33554432000 4194304 4196468 140731774832032 139821057034192 139822253262747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10867] ppid=10855 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10857/task/10867/stat : 10867 (java) S 10855 10855 7881 0 -1 1077944384 485 0 0 0 2 0 0 0 20 0 15 0 445731360 15508250624 10772 33554432000 4194304 4196468 140731774832032 139821055982320 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10868] ppid=10855 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/10857/task/10868/stat : 10868 (java) S 10855 10855 7881 0 -1 1077944384 267 0 0 0 3 0 0 0 20 0 15 0 445731360 15508250624 10772 33554432000 4194304 4196468 140731774832032 139821054929776 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10869] ppid=10855 vsize=15144776 memory=140203942872704 CPUtime=0.08 cores=1,3,5,7
/proc/10857/task/10869/stat : 10869 (java) R 10855 10855 7881 0 -1 4202560 799 0 0 0 8 0 0 0 20 0 15 0 445731360 15508250624 10772 33554432000 4194304 4196468 140731774832032 139821053876720 139822253265498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10870] ppid=10855 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10870/stat : 10870 (java) S 10855 10855 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731360 15508250624 10772 33554432000 4194304 4196468 140731774832032 139821052824416 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10871] ppid=10855 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10871/stat : 10871 (java) S 10855 10855 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731360 15508250624 10772 33554432000 4194304 4196468 140731774832032 139821051771440 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 44536 KiB

[startup+0.310648 s]*
/proc/loadavg: 7.73 3.61 1.89 8/233 10871
/proc/meminfo: memFree=30824280/32770624 swapFree=66988556/67108860
[pid=10855] ppid=10852 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10855/stat : 10855 (xcsp3-exec) S 10852 10855 7881 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445731354 115843072 362 33554432000 4194304 5098028 140726877598128 140726877596232 140472880079484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8052736 140726877606778 140726877607021 140726877607021 140726877609930 0
/proc/10855/statm: 28282 362 304 221 0 87 0
[pid=10857] ppid=10855 vsize=15149032 memory=52400 CPUtime=0.53 cores=1,3,5,7
/proc/10857/stat : 10857 (java) S 10855 10855 7881 0 -1 1077944320 10856 0 0 0 50 3 0 0 20 0 15 0 445731354 15512608768 13100 33554432000 4194304 4196468 140731774832032 140731774814576 139822253244151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
/proc/10857/statm: 3787258 13100 3361 1 0 3748377 0
[pid=10857/tid=10858] ppid=10855 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/10857/task/10858/stat : 10858 (java) R 10855 10855 7881 0 -1 4202560 7800 0 0 0 27 3 0 0 20 0 15 0 445731355 15512608768 13100 33554432000 4194304 4196468 140731774832032 139822257477456 139822237324638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10859] ppid=10855 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10859/stat : 10859 (java) S 10855 10855 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731355 15512608768 13100 33554432000 4194304 4196468 140731774832032 139822205864976 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10860] ppid=10855 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10860/stat : 10860 (java) S 10855 10855 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731355 15512608768 13100 33554432000 4194304 4196468 140731774832032 139822204812432 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10861] ppid=10855 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10861/stat : 10861 (java) S 10855 10855 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731355 15512608768 13100 33554432000 4194304 4196468 140731774832032 139822203759376 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10862] ppid=10855 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10862/stat : 10862 (java) S 10855 10855 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731355 15512608768 13100 33554432000 4194304 4196468 140731774832032 139822202706832 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10863] ppid=10855 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10863/stat : 10863 (java) S 10855 10855 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445731357 15512608768 13100 33554432000 4194304 4196468 140731774832032 139821789030640 139822253255298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10864] ppid=10855 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10864/stat : 10864 (java) S 10855 10855 7881 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 445731357 15512608768 13100 33554432000 4194304 4196468 140731774832032 139821059138720 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10865] ppid=10855 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10865/stat : 10865 (java) S 10855 10855 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445731357 15512608768 13100 33554432000 4194304 4196468 140731774832032 139821058085616 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10866] ppid=10855 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10866/stat : 10866 (java) S 10855 10855 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731360 15512608768 13100 33554432000 4194304 4196468 140731774832032 139821057034192 139822253262747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10867] ppid=10855 vsize=15149032 memory=4426089072227881875 CPUtime=0.05 cores=1,3,5,7
/proc/10857/task/10867/stat : 10867 (java) S 10855 10855 7881 0 -1 1077944384 602 0 0 0 5 0 0 0 20 0 15 0 445731360 15512608768 13100 33554432000 4194304 4196468 140731774832032 139821055982320 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10868] ppid=10855 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10857/task/10868/stat : 10868 (java) S 10855 10855 7881 0 -1 1077944384 279 0 0 0 4 0 0 0 20 0 15 0 445731360 15512608768 13100 33554432000 4194304 4196468 140731774832032 139821054929776 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10869] ppid=10855 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/10857/task/10869/stat : 10869 (java) S 10855 10855 7881 0 -1 1077944384 904 0 0 0 13 0 0 0 20 0 15 0 445731360 15512608768 13100 33554432000 4194304 4196468 140731774832032 139821053876720 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10870] ppid=10855 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10870/stat : 10870 (java) S 10855 10855 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731360 15512608768 13100 33554432000 4194304 4196468 140731774832032 139821052824416 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10871] ppid=10855 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10871/stat : 10871 (java) S 10855 10855 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731360 15512608768 13100 33554432000 4194304 4196468 140731774832032 139821051771440 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 53848 KiB

[startup+0.700805 s]
/proc/loadavg: 7.73 3.61 1.89 10/233 10871
/proc/meminfo: memFree=30802184/32770624 swapFree=66988556/67108860
[pid=10855] ppid=10852 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10855/stat : 10855 (xcsp3-exec) S 10852 10855 7881 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445731354 115843072 362 33554432000 4194304 5098028 140726877598128 140726877596232 140472880079484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8052736 140726877606778 140726877607021 140726877607021 140726877609930 0
/proc/10855/statm: 28282 362 304 221 0 87 0
[pid=10857] ppid=10855 vsize=15151156 memory=119076 CPUtime=1.8 cores=1,3,5,7
/proc/10857/stat : 10857 (java) S 10855 10855 7881 0 -1 1077944320 14282 0 0 0 174 6 0 0 20 0 15 0 445731354 15514783744 29769 33554432000 4194304 4196468 140731774832032 140731774814576 139822253244151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
/proc/10857/statm: 3787789 29769 3451 1 0 3748889 0
[pid=10857/tid=10858] ppid=10855 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/10857/task/10858/stat : 10858 (java) R 10855 10855 7881 0 -1 4202560 8414 0 0 0 63 4 0 0 20 0 15 0 445731355 15514783744 29769 33554432000 4194304 4196468 140731774832032 139822257481616 139822253266077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10859] ppid=10855 vsize=15151156 memory=33 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10859/stat : 10859 (java) S 10855 10855 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731355 15514783744 29769 33554432000 4194304 4196468 140731774832032 139822205864976 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10860] ppid=10855 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10860/stat : 10860 (java) S 10855 10855 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731355 15514783744 29769 33554432000 4194304 4196468 140731774832032 139822204812432 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10861] ppid=10855 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10861/stat : 10861 (java) S 10855 10855 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731355 15514783744 29769 33554432000 4194304 4196468 140731774832032 139822203759376 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10862] ppid=10855 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10862/stat : 10862 (java) S 10855 10855 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731355 15514783744 29769 33554432000 4194304 4196468 140731774832032 139822202706832 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10863] ppid=10855 vsize=15151156 memory=38644 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10863/stat : 10863 (java) S 10855 10855 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445731357 15514783744 29769 33554432000 4194304 4196468 140731774832032 139821789030640 139822253255298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10864] ppid=10855 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10864/stat : 10864 (java) S 10855 10855 7881 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 445731357 15514783744 29769 33554432000 4194304 4196468 140731774832032 139821059138720 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10865] ppid=10855 vsize=15151156 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10865/stat : 10865 (java) S 10855 10855 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445731357 15514783744 29769 33554432000 4194304 4196468 140731774832032 139821058085616 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10866] ppid=10855 vsize=15151156 memory=1212 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10866/stat : 10866 (java) S 10855 10855 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731360 15514783744 29769 33554432000 4194304 4196468 140731774832032 139821057034192 139822253262747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10867] ppid=10855 vsize=15151156 memory=1060 CPUtime=0.38 cores=1,3,5,7
/proc/10857/task/10867/stat : 10867 (java) R 10855 10855 7881 0 -1 4202560 1364 0 0 0 38 0 0 0 20 0 15 0 445731360 15514783744 29769 33554432000 4194304 4196468 140731774832032 139821055970880 139822231480537 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10868] ppid=10855 vsize=15151156 memory=740 CPUtime=0.38 cores=1,3,5,7
/proc/10857/task/10868/stat : 10868 (java) R 10855 10855 7881 0 -1 4202560 1431 0 0 0 38 0 0 0 20 0 15 0 445731360 15514783744 29769 33554432000 4194304 4196468 140731774832032 139821054910792 139822231095840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10869] ppid=10855 vsize=15151156 memory=1228 CPUtime=0.33 cores=1,3,5,7
/proc/10857/task/10869/stat : 10869 (java) S 10855 10855 7881 0 -1 1077944384 1788 0 0 0 33 0 0 0 20 0 15 0 445731360 15514783744 29769 33554432000 4194304 4196468 140731774832032 139821053876720 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10870] ppid=10855 vsize=15152180 memory=9520 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10870/stat : 10870 (java) S 10855 10855 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731360 15515832320 29769 33554432000 4194304 4196468 140731774832032 139821052824416 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10871] ppid=10855 vsize=15152180 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10871/stat : 10871 (java) S 10855 10855 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731360 15515832320 29834 33554432000 4194304 4196468 140731774832032 139821051771440 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 120524 KiB

[startup+1.50139 s]
/proc/loadavg: 7.73 3.61 1.89 8/233 10871
/proc/meminfo: memFree=30601620/32770624 swapFree=66988556/67108860
[pid=10855] ppid=10852 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10855/stat : 10855 (xcsp3-exec) S 10852 10855 7881 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445731354 115843072 362 33554432000 4194304 5098028 140726877598128 140726877596232 140472880079484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8052736 140726877606778 140726877607021 140726877607021 140726877609930 0
/proc/10855/statm: 28282 362 304 221 0 87 0

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

/proc/10857/stat : 10857 (java) S 10855 10855 7881 0 -1 1077944320 88045 0 0 0 231561 58 0 0 20 0 19 0 445731354 15991914496 210712 33554432000 4194304 4196468 140731774832032 140731774814576 139822253244151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
/proc/10857/statm: 3904276 210712 3525 1 0 3865376 0
[pid=10857/tid=10858] ppid=10855 vsize=15617104 memory=1398722017469774279 CPUtime=1.4 cores=1,3,5,7
/proc/10857/task/10858/stat : 10858 (java) S 10855 10855 7881 0 -1 1077944384 9442 0 0 0 134 6 0 0 20 0 19 0 445731355 15991914496 210712 33554432000 4194304 4196468 140731774832032 139822257484928 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10859] ppid=10855 vsize=15617104 memory=4126316290023845779 CPUtime=0.16 cores=1,3,5,7
/proc/10857/task/10859/stat : 10859 (java) S 10855 10855 7881 0 -1 1077944384 3214 0 0 0 13 3 0 0 20 0 19 0 445731355 15991914496 210712 33554432000 4194304 4196468 140731774832032 139822205864976 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10860] ppid=10855 vsize=15617104 memory=6791534058613427641 CPUtime=0.15 cores=1,3,5,7
/proc/10857/task/10860/stat : 10860 (java) S 10855 10855 7881 0 -1 1077944384 2643 0 0 0 12 3 0 0 20 0 19 0 445731355 15991914496 210712 33554432000 4194304 4196468 140731774832032 139822204812432 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10861] ppid=10855 vsize=15617104 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/10857/task/10861/stat : 10861 (java) S 10855 10855 7881 0 -1 1077944384 2883 0 0 0 14 3 0 0 20 0 19 0 445731355 15991914496 210712 33554432000 4194304 4196468 140731774832032 139822203759376 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10862] ppid=10855 vsize=15617104 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/10857/task/10862/stat : 10862 (java) S 10855 10855 7881 0 -1 1077944384 1935 0 0 0 14 3 0 0 20 0 19 0 445731355 15991914496 210712 33554432000 4194304 4196468 140731774832032 139822202706832 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10863] ppid=10855 vsize=15617104 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10857/task/10863/stat : 10863 (java) S 10855 10855 7881 0 -1 1077944384 3476 0 0 0 5 2 0 0 20 0 19 0 445731357 15991914496 210712 33554432000 4194304 4196468 140731774832032 139821789030640 139822253255298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10864] ppid=10855 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10864/stat : 10864 (java) S 10855 10855 7881 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 445731357 15991914496 210712 33554432000 4194304 4196468 140731774832032 139821059138784 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10865] ppid=10855 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10865/stat : 10865 (java) S 10855 10855 7881 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 445731357 15991914496 210712 33554432000 4194304 4196468 140731774832032 139821058085632 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10866] ppid=10855 vsize=15617104 memory=7595993038721609317 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10866/stat : 10866 (java) S 10855 10855 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731360 15991914496 210712 33554432000 4194304 4196468 140731774832032 139821057034192 139822253262747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10867] ppid=10855 vsize=15617104 memory=280407678367824 CPUtime=3.29 cores=1,3,5,7
/proc/10857/task/10867/stat : 10867 (java) S 10855 10855 7881 0 -1 1077944384 21070 0 0 0 327 2 0 0 20 0 19 0 445731360 15991914496 210712 33554432000 4194304 4196468 140731774832032 139821055982320 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10868] ppid=10855 vsize=15617104 memory=6296429582468601189 CPUtime=2.62 cores=1,3,5,7
/proc/10857/task/10868/stat : 10868 (java) S 10855 10855 7881 0 -1 1077944384 14148 0 0 0 261 1 0 0 20 0 19 0 445731360 15991914496 210712 33554432000 4194304 4196468 140731774832032 139821054929776 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10869] ppid=10855 vsize=15617104 memory=6296429582468601189 CPUtime=0.8 cores=1,3,5,7
/proc/10857/task/10869/stat : 10869 (java) S 10855 10855 7881 0 -1 1077944384 9221 0 0 0 79 1 0 0 20 0 19 0 445731360 15991914496 210712 33554432000 4194304 4196468 140731774832032 139821053876720 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10870] ppid=10855 vsize=15617104 memory=6296429582468601189 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10870/stat : 10870 (java) S 10855 10855 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731360 15991914496 210712 33554432000 4194304 4196468 140731774832032 139821052824416 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10871] ppid=10855 vsize=15617104 memory=6296429582468601189 CPUtime=0.21 cores=1,3,5,7
/proc/10857/task/10871/stat : 10871 (java) S 10855 10855 7881 0 -1 1077944384 1287 0 0 0 0 21 0 0 20 0 19 0 445731360 15991914496 210712 33554432000 4194304 4196468 140731774832032 139821051771440 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=11049] ppid=10855 vsize=15617104 memory=6296429582468601189 CPUtime=514.93 cores=1,3,5,7
/proc/10857/task/11049/stat : 11049 (java) R 10855 10855 7881 0 -1 4202560 758 0 0 0 51491 2 0 0 20 0 19 0 445737737 15991914496 210712 33554432000 4194304 4196468 140731774832032 139820731214824 139821878748953 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=11050] ppid=10855 vsize=15617104 memory=6296429582468601189 CPUtime=516.02 cores=1,3,5,7
/proc/10857/task/11050/stat : 11050 (java) R 10855 10855 7881 0 -1 4202560 5806 0 0 0 51598 4 0 0 20 0 19 0 445737737 15991914496 210712 33554432000 4194304 4196468 140731774832032 139820728060160 139821878748875 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=11051] ppid=10855 vsize=15617104 memory=6296429582468601189 CPUtime=515.34 cores=1,3,5,7
/proc/10857/task/11051/stat : 11051 (java) R 10855 10855 7881 0 -1 4202560 935 0 0 0 51531 3 0 0 20 0 19 0 445737737 15991914496 210712 33554432000 4194304 4196468 140731774832032 139820732268376 139821878748940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=11052] ppid=10855 vsize=15617104 memory=845412 CPUtime=515.61 cores=1,3,5,7
/proc/10857/task/11052/stat : 11052 (java) R 10855 10855 7881 0 -1 4202560 3347 0 0 0 51554 7 0 0 20 0 19 0 445737737 15991914496 210712 33554432000 4194304 4196468 140731774832032 139820730163424 139821874787956 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
Current children cumulated CPU time: 2316.19 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 844296 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+603.416 s]
/proc/loadavg: 8.73 7.95 5.07 9/239 12033
/proc/meminfo: memFree=27028172/32770624 swapFree=66988572/67108860
[pid=10855] ppid=10852 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10855/stat : 10855 (xcsp3-exec) S 10852 10855 7881 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445731354 115843072 362 33554432000 4194304 5098028 140726877598128 140726877596232 140472880079484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8052736 140726877606778 140726877607021 140726877607021 140726877609930 0
/proc/10855/statm: 28282 362 304 221 0 87 0
[pid=10857] ppid=10855 vsize=15617104 memory=840280 CPUtime=2400.13 cores=1,3,5,7
/proc/10857/stat : 10857 (java) S 10855 10855 7881 0 -1 1077944320 88808 0 0 0 239954 59 0 0 20 0 19 0 445731354 15991914496 210070 33554432000 4194304 4196468 140731774832032 140731774814576 139822253244151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
/proc/10857/statm: 3904276 210070 3525 1 0 3865376 0
[pid=10857/tid=10858] ppid=10855 vsize=15617104 memory=840280 CPUtime=1.4 cores=1,3,5,7
/proc/10857/task/10858/stat : 10858 (java) S 10855 10855 7881 0 -1 1077944384 9442 0 0 0 134 6 0 0 20 0 19 0 445731355 15991914496 210070 33554432000 4194304 4196468 140731774832032 139822257484928 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10859] ppid=10855 vsize=15617104 memory=838744 CPUtime=0.17 cores=1,3,5,7
/proc/10857/task/10859/stat : 10859 (java) S 10855 10855 7881 0 -1 1077944384 3266 0 0 0 14 3 0 0 20 0 19 0 445731355 15991914496 210070 33554432000 4194304 4196468 140731774832032 139822205864976 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10860] ppid=10855 vsize=15617104 memory=840280 CPUtime=0.16 cores=1,3,5,7
/proc/10857/task/10860/stat : 10860 (java) S 10855 10855 7881 0 -1 1077944384 2658 0 0 0 13 3 0 0 20 0 19 0 445731355 15991914496 210070 33554432000 4194304 4196468 140731774832032 139822204812432 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10861] ppid=10855 vsize=15617104 memory=1448 CPUtime=0.18 cores=1,3,5,7
/proc/10857/task/10861/stat : 10861 (java) S 10855 10855 7881 0 -1 1077944384 3010 0 0 0 15 3 0 0 20 0 19 0 445731355 15991914496 210070 33554432000 4194304 4196468 140731774832032 139822203759376 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10862] ppid=10855 vsize=15617104 memory=840796 CPUtime=0.18 cores=1,3,5,7
/proc/10857/task/10862/stat : 10862 (java) S 10855 10855 7881 0 -1 1077944384 1948 0 0 0 15 3 0 0 20 0 19 0 445731355 15991914496 210070 33554432000 4194304 4196468 140731774832032 139822202706832 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10863] ppid=10855 vsize=15617104 memory=1448 CPUtime=0.07 cores=1,3,5,7
/proc/10857/task/10863/stat : 10863 (java) S 10855 10855 7881 0 -1 1077944384 3702 0 0 0 5 2 0 0 20 0 19 0 445731357 15991914496 210070 33554432000 4194304 4196468 140731774832032 139821789030640 139822253255298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10864] ppid=10855 vsize=15617104 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10864/stat : 10864 (java) S 10855 10855 7881 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 445731357 15991914496 210070 33554432000 4194304 4196468 140731774832032 139821059138784 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10865] ppid=10855 vsize=15617104 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10865/stat : 10865 (java) S 10855 10855 7881 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 445731357 15991914496 210070 33554432000 4194304 4196468 140731774832032 139821058085632 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10866] ppid=10855 vsize=15617104 memory=1212 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10866/stat : 10866 (java) S 10855 10855 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731360 15991914496 210070 33554432000 4194304 4196468 140731774832032 139821057034192 139822253262747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10867] ppid=10855 vsize=15617104 memory=1448 CPUtime=3.29 cores=1,3,5,7
/proc/10857/task/10867/stat : 10867 (java) S 10855 10855 7881 0 -1 1077944384 21071 0 0 0 327 2 0 0 20 0 19 0 445731360 15991914496 210070 33554432000 4194304 4196468 140731774832032 139821055982320 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10868] ppid=10855 vsize=15617104 memory=842848 CPUtime=2.62 cores=1,3,5,7
/proc/10857/task/10868/stat : 10868 (java) S 10855 10855 7881 0 -1 1077944384 14149 0 0 0 261 1 0 0 20 0 19 0 445731360 15991914496 210070 33554432000 4194304 4196468 140731774832032 139821054929776 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10869] ppid=10855 vsize=15617104 memory=1448 CPUtime=0.8 cores=1,3,5,7
/proc/10857/task/10869/stat : 10869 (java) S 10855 10855 7881 0 -1 1077944384 9227 0 0 0 79 1 0 0 20 0 19 0 445731360 15991914496 210070 33554432000 4194304 4196468 140731774832032 139821053876720 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10870] ppid=10855 vsize=15617104 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10870/stat : 10870 (java) S 10855 10855 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731360 15991914496 210070 33554432000 4194304 4196468 140731774832032 139821052824416 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10871] ppid=10855 vsize=15617104 memory=839256 CPUtime=0.22 cores=1,3,5,7
/proc/10857/task/10871/stat : 10871 (java) S 10855 10855 7881 0 -1 1077944384 1304 0 0 0 0 22 0 0 20 0 19 0 445731360 15991914496 210070 33554432000 4194304 4196468 140731774832032 139821051771440 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=11049] ppid=10855 vsize=15617104 memory=1448 CPUtime=535.88 cores=1,3,5,7
/proc/10857/task/11049/stat : 11049 (java) R 10855 10855 7881 0 -1 4202560 801 0 0 0 53586 2 0 0 20 0 19 0 445737737 15991914496 210070 33554432000 4194304 4196468 140731774832032 139820731214576 139821878748997 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=11050] ppid=10855 vsize=15617104 memory=1448 CPUtime=536.99 cores=1,3,5,7
/proc/10857/task/11050/stat : 11050 (java) R 10855 10855 7881 0 -1 4202560 5997 0 0 0 53695 4 0 0 20 0 19 0 445737737 15991914496 210070 33554432000 4194304 4196468 140731774832032 139820728057640 139821878749050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=11051] ppid=10855 vsize=15617104 memory=1448 CPUtime=536.24 cores=1,3,5,7
/proc/10857/task/11051/stat : 11051 (java) R 10855 10855 7881 0 -1 4202560 963 0 0 0 53621 3 0 0 20 0 19 0 445737737 15991914496 210070 33554432000 4194304 4196468 140731774832032 139820732268376 139821878748953 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=11052] ppid=10855 vsize=15617104 memory=838744 CPUtime=536.67 cores=1,3,5,7
/proc/10857/task/11052/stat : 11052 (java) R 10855 10855 7881 0 -1 4202560 3390 0 0 0 53660 7 0 0 20 0 19 0 445737737 15991914496 210070 33554432000 4194304 4196468 140731774832032 139820730166272 139821878488390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
Current children cumulated CPU time: 2400.13 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 841728 KiB

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

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

[startup+603.508 s]
# the end of solver process 10857 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.87 s, system=0.605997 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+603.416 s]
/proc/loadavg: 8.73 7.95 5.07 9/239 12033
/proc/meminfo: memFree=27028172/32770624 swapFree=66988572/67108860
[pid=10855] ppid=10852 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10855/stat : 10855 (xcsp3-exec) S 10852 10855 7881 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445731354 115843072 362 33554432000 4194304 5098028 140726877598128 140726877596232 140472880079484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8052736 140726877606778 140726877607021 140726877607021 140726877609930 0
/proc/10855/statm: 28282 362 304 221 0 87 0
[pid=10857] ppid=10855 vsize=15617104 memory=840280 CPUtime=2400.13 cores=1,3,5,7
/proc/10857/stat : 10857 (java) S 10855 10855 7881 0 -1 1077944320 88808 0 0 0 239954 59 0 0 20 0 19 0 445731354 15991914496 210070 33554432000 4194304 4196468 140731774832032 140731774814576 139822253244151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
/proc/10857/statm: 3904276 210070 3525 1 0 3865376 0
[pid=10857/tid=10858] ppid=10855 vsize=15617104 memory=840280 CPUtime=1.4 cores=1,3,5,7
/proc/10857/task/10858/stat : 10858 (java) S 10855 10855 7881 0 -1 1077944384 9442 0 0 0 134 6 0 0 20 0 19 0 445731355 15991914496 210070 33554432000 4194304 4196468 140731774832032 139822257484928 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10859] ppid=10855 vsize=15617104 memory=838744 CPUtime=0.17 cores=1,3,5,7
/proc/10857/task/10859/stat : 10859 (java) S 10855 10855 7881 0 -1 1077944384 3266 0 0 0 14 3 0 0 20 0 19 0 445731355 15991914496 210070 33554432000 4194304 4196468 140731774832032 139822205864976 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10860] ppid=10855 vsize=15617104 memory=840280 CPUtime=0.16 cores=1,3,5,7
/proc/10857/task/10860/stat : 10860 (java) S 10855 10855 7881 0 -1 1077944384 2658 0 0 0 13 3 0 0 20 0 19 0 445731355 15991914496 210070 33554432000 4194304 4196468 140731774832032 139822204812432 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10861] ppid=10855 vsize=15617104 memory=1448 CPUtime=0.18 cores=1,3,5,7
/proc/10857/task/10861/stat : 10861 (java) S 10855 10855 7881 0 -1 1077944384 3010 0 0 0 15 3 0 0 20 0 19 0 445731355 15991914496 210070 33554432000 4194304 4196468 140731774832032 139822203759376 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10862] ppid=10855 vsize=15617104 memory=840796 CPUtime=0.18 cores=1,3,5,7
/proc/10857/task/10862/stat : 10862 (java) S 10855 10855 7881 0 -1 1077944384 1948 0 0 0 15 3 0 0 20 0 19 0 445731355 15991914496 210070 33554432000 4194304 4196468 140731774832032 139822202706832 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10863] ppid=10855 vsize=15617104 memory=1448 CPUtime=0.07 cores=1,3,5,7
/proc/10857/task/10863/stat : 10863 (java) S 10855 10855 7881 0 -1 1077944384 3702 0 0 0 5 2 0 0 20 0 19 0 445731357 15991914496 210070 33554432000 4194304 4196468 140731774832032 139821789030640 139822253255298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10864] ppid=10855 vsize=15617104 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10864/stat : 10864 (java) S 10855 10855 7881 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 445731357 15991914496 210070 33554432000 4194304 4196468 140731774832032 139821059138784 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10865] ppid=10855 vsize=15617104 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10865/stat : 10865 (java) S 10855 10855 7881 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 445731357 15991914496 210070 33554432000 4194304 4196468 140731774832032 139821058085632 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10866] ppid=10855 vsize=15617104 memory=1212 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10866/stat : 10866 (java) S 10855 10855 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731360 15991914496 210070 33554432000 4194304 4196468 140731774832032 139821057034192 139822253262747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10867] ppid=10855 vsize=15617104 memory=1448 CPUtime=3.29 cores=1,3,5,7
/proc/10857/task/10867/stat : 10867 (java) S 10855 10855 7881 0 -1 1077944384 21071 0 0 0 327 2 0 0 20 0 19 0 445731360 15991914496 210070 33554432000 4194304 4196468 140731774832032 139821055982320 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10868] ppid=10855 vsize=15617104 memory=842848 CPUtime=2.62 cores=1,3,5,7
/proc/10857/task/10868/stat : 10868 (java) S 10855 10855 7881 0 -1 1077944384 14149 0 0 0 261 1 0 0 20 0 19 0 445731360 15991914496 210070 33554432000 4194304 4196468 140731774832032 139821054929776 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10869] ppid=10855 vsize=15617104 memory=1448 CPUtime=0.8 cores=1,3,5,7
/proc/10857/task/10869/stat : 10869 (java) S 10855 10855 7881 0 -1 1077944384 9227 0 0 0 79 1 0 0 20 0 19 0 445731360 15991914496 210070 33554432000 4194304 4196468 140731774832032 139821053876720 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10870] ppid=10855 vsize=15617104 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10857/task/10870/stat : 10870 (java) S 10855 10855 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731360 15991914496 210070 33554432000 4194304 4196468 140731774832032 139821052824416 139822253254357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=10871] ppid=10855 vsize=15617104 memory=839256 CPUtime=0.22 cores=1,3,5,7
/proc/10857/task/10871/stat : 10871 (java) S 10855 10855 7881 0 -1 1077944384 1304 0 0 0 0 22 0 0 20 0 19 0 445731360 15991914496 210070 33554432000 4194304 4196468 140731774832032 139821051771440 139822253255298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=11049] ppid=10855 vsize=15617104 memory=1448 CPUtime=535.88 cores=1,3,5,7
/proc/10857/task/11049/stat : 11049 (java) R 10855 10855 7881 0 -1 4202560 801 0 0 0 53586 2 0 0 20 0 19 0 445737737 15991914496 210070 33554432000 4194304 4196468 140731774832032 139820731214576 139821878748997 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=11050] ppid=10855 vsize=15617104 memory=1448 CPUtime=536.99 cores=1,3,5,7
/proc/10857/task/11050/stat : 11050 (java) R 10855 10855 7881 0 -1 4202560 5997 0 0 0 53695 4 0 0 20 0 19 0 445737737 15991914496 210070 33554432000 4194304 4196468 140731774832032 139820728057640 139821878749050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=11051] ppid=10855 vsize=15617104 memory=1448 CPUtime=536.24 cores=1,3,5,7
/proc/10857/task/11051/stat : 11051 (java) R 10855 10855 7881 0 -1 4202560 963 0 0 0 53621 3 0 0 20 0 19 0 445737737 15991914496 210070 33554432000 4194304 4196468 140731774832032 139820732268376 139821878748953 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
[pid=10857/tid=11052] ppid=10855 vsize=15617104 memory=838744 CPUtime=536.67 cores=1,3,5,7
/proc/10857/task/11052/stat : 11052 (java) R 10855 10855 7881 0 -1 4202560 3390 0 0 0 53660 7 0 0 20 0 19 0 445737737 15991914496 210070 33554432000 4194304 4196468 140731774832032 139820730166272 139821878488390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7983104 140731774833647 140731774833818 140731774833818 140731774836687 0
Current children cumulated CPU time: 2400.13 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 841728 KiB

Child status: 143
Real time (s): 603.508
CPU time (s): 2400.48
CPU user time (s): 2399.87
CPU system time (s): 0.605997
CPU usage (%): 397.754
Max. virtual memory (cumulated for all children) (KiB): 15731956
Max. memory (cumulated for all children) (KiB): 1129432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.87
system time used= 0.605997
maximum resident set size= 1141884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90311
page faults= 0
swaps= 0
block input operations= 0
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17682
involuntary context switches= 39981


# summary of solver processes directly reported to runsolver:
#   pid: 10855,10857
#   total CPU time (s): 2400.48
#   total CPU user time (s): 2399.87
#   total CPU system time (s): 0.605997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.80118 second user time and 6.94245 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32e3.xml
MD5SUM	bcb3f3ceeead4664bdf41fd123f1defa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	310
Best CPU time to get the best result obtained on this benchmark	91.9577
Satisfiable
(Un)Satisfiability was proved
Number of variables	660
Number of constraints	5350
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":660}]
Minimum variable degree	3
Maximum variable degree	107
Distribution of variable degrees	[{"degree":3,"count":138},{"degree":12,"count":3},{"degree":13,"count":3},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":3},{"degree":18,"count":3},{"degree":19,"count":3},{"degree":20,"count":6},{"degree":21,"count":15},{"degree":22,"count":3},{"degree":23,"count":9},{"degree":24,"count":30},{"degree":25,"count":3},{"degree":26,"count":18},{"degree":27,"count":3},{"degree":28,"count":30},{"degree":29,"count":9},{"degree":30,"count":3},{"degree":31,"count":15},{"degree":32,"count":6},{"degree":33,"count":3},{"degree":34,"count":141},{"degree":36,"count":3},{"degree":37,"count":3},"...",{"degree":71,"count":3}, {"degree":72,"count":3}, {"degree":73,"count":6}, {"degree":74,"count":12}, {"degree":75,"count":6}, {"degree":76,"count":3}, {"degree":77,"count":12}, {"degree":78,"count":18}, {"degree":79,"count":12}, {"degree":80,"count":18}, {"degree":81,"count":12}, {"degree":82,"count":3}, {"degree":83,"count":6}, {"degree":84,"count":12}, {"degree":85,"count":6}, {"degree":86,"count":3}, {"degree":87,"count":3}, {"degree":89,"count":3}, {"degree":91,"count":3}, {"degree":92,"count":6}, {"degree":93,"count":3}, {"degree":94,"count":3}, {"degree":95,"count":3}, {"degree":96,"count":3}, {"degree":107,"count":3}]
Minimum constraint arity	2
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":2,"count":4842},{"arity":3,"count":46},{"arity":32,"count":462}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":5350}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4400506

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
