2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT	2.29133	0.94557
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 (10078 MiB free)
  memory of node 1: 16384 MiB (6207 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306952-1534068700/watcher-4306952-1534068700 -o /tmp/evaluation-result-4306952-1534068700/solver-4306952-1534068700 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534063588-31243 --watchdog 2580 HOME/xcsp3-exec -seed 549583369 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306952-1534068700.xml 

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

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

solver pid=32108, runsolver pid=32105

[startup+0.100764 s]*
/proc/loadavg: 1.94 1.99 1.89 3/217 32124
/proc/meminfo: memFree=16660100/32770624 swapFree=67108844/67108860
[pid=32108] ppid=32105 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32108/stat : 32108 (xcsp3-exec) S 32105 32108 31211 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 224433202 115843072 363 33554432000 4194304 5098028 140735700975568 140735700973672 140154658329212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17559552 140735700976699 140735700976900 140735700976900 140735700979658 0
/proc/32108/statm: 28282 363 306 221 0 87 0
[pid=32110] ppid=32108 vsize=14082940 memory=28540 CPUtime=0.12 cores=1,3,5,7
/proc/32110/stat : 32110 (java) S 32108 32108 31211 0 -1 1077944320 5471 0 0 0 11 1 0 0 20 0 15 0 224433203 14420930560 7135 33554432000 4194304 4196468 140733762298528 140733762281072 139732688633591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
/proc/32110/statm: 3520735 7135 3027 1 0 3483012 0
[pid=32110/tid=32111] ppid=32108 vsize=14082940 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/32110/task/32111/stat : 32111 (java) R 32108 32108 31211 0 -1 4202560 3496 0 0 0 8 0 0 0 20 0 15 0 224433203 14420930560 7135 33554432000 4194304 4196468 140733762298528 139732692859952 139732688645526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32112] ppid=32108 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32112/stat : 32112 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433204 14420930560 7135 33554432000 4194304 4196468 140733762298528 139732603701648 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32113] ppid=32108 vsize=14082940 memory=140606272812672 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32113/stat : 32113 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433204 14420930560 7135 33554432000 4194304 4196468 140733762298528 139732602648848 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32114] ppid=32108 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32114/stat : 32114 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433204 14420930560 7135 33554432000 4194304 4196468 140733762298528 139732601596560 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32115] ppid=32108 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32115/stat : 32115 (java) S 32108 32108 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224433204 14420930560 7135 33554432000 4194304 4196468 140733762298528 139732281453072 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32116] ppid=32108 vsize=14082940 memory=140606272812672 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32116/stat : 32116 (java) S 32108 32108 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224433205 14420930560 7135 33554432000 4194304 4196468 140733762298528 139732162919024 139732688644738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32117] ppid=32108 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32117/stat : 32117 (java) S 32108 32108 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224433206 14420930560 7135 33554432000 4194304 4196468 140733762298528 139732161864992 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32118] ppid=32108 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32118/stat : 32118 (java) S 32108 32108 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224433206 14420930560 7135 33554432000 4194304 4196468 140733762298528 139732160812656 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32119] ppid=32108 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32119/stat : 32119 (java) S 32108 32108 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224433208 14420930560 7135 33554432000 4194304 4196468 140733762298528 139732159760976 139732688652187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32120] ppid=32108 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32120/stat : 32120 (java) S 32108 32108 31211 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 224433208 14420930560 7135 33554432000 4194304 4196468 140733762298528 139732158707824 139732688644738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32121] ppid=32108 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32121/stat : 32121 (java) S 32108 32108 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224433208 14420930560 7135 33554432000 4194304 4196468 140733762298528 139732157655024 139732688644738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32122] ppid=32108 vsize=14082940 memory=140606272812672 CPUtime=0.01 cores=1,3,5,7
/proc/32110/task/32122/stat : 32122 (java) R 32108 32108 31211 0 -1 4202560 248 0 0 0 1 0 0 0 20 0 15 0 224433208 14420930560 7135 33554432000 4194304 4196468 140733762298528 139732156602736 139732667268368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32123] ppid=32108 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32123/stat : 32123 (java) S 32108 32108 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224433208 14420930560 7135 33554432000 4194304 4196468 140733762298528 139732155550176 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32124] ppid=32108 vsize=14082940 memory=140606272812672 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32124/stat : 32124 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433209 14420930560 7135 33554432000 4194304 4196468 140733762298528 139732154497968 139732688644738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29992 KiB

[startup+0.210444 s]*
/proc/loadavg: 1.94 1.99 1.89 4/217 32124
/proc/meminfo: memFree=16648564/32770624 swapFree=67108844/67108860
[pid=32108] ppid=32105 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32108/stat : 32108 (xcsp3-exec) S 32105 32108 31211 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 224433202 115843072 363 33554432000 4194304 5098028 140735700975568 140735700973672 140154658329212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17559552 140735700976699 140735700976900 140735700976900 140735700979658 0
/proc/32108/statm: 28282 363 306 221 0 87 0
[pid=32110] ppid=32108 vsize=14082940 memory=41092 CPUtime=0.33 cores=1,3,5,7
/proc/32110/stat : 32110 (java) S 32108 32108 31211 0 -1 1077944320 8270 0 0 0 31 2 0 0 20 0 15 0 224433203 14420930560 10273 33554432000 4194304 4196468 140733762298528 140733762281072 139732688633591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
/proc/32110/statm: 3520735 10273 3219 1 0 3483012 0
[pid=32110/tid=32111] ppid=32108 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/32110/task/32111/stat : 32111 (java) R 32108 32108 31211 0 -1 4202560 5372 0 0 0 18 1 0 0 20 0 15 0 224433203 14420930560 10273 33554432000 4194304 4196468 140733762298528 139732692867040 139732688655517 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32112] ppid=32108 vsize=14082940 memory=10537 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32112/stat : 32112 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433204 14420930560 10273 33554432000 4194304 4196468 140733762298528 139732603701648 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32113] ppid=32108 vsize=14082940 memory=288370982424524416 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32113/stat : 32113 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433204 14420930560 10273 33554432000 4194304 4196468 140733762298528 139732602648848 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32114] ppid=32108 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32114/stat : 32114 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433204 14420930560 10273 33554432000 4194304 4196468 140733762298528 139732601596560 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32115] ppid=32108 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32115/stat : 32115 (java) S 32108 32108 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224433204 14420930560 10273 33554432000 4194304 4196468 140733762298528 139732281453072 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32116] ppid=32108 vsize=14082940 memory=140606272812672 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32116/stat : 32116 (java) S 32108 32108 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224433205 14420930560 10273 33554432000 4194304 4196468 140733762298528 139732162919024 139732688644738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32117] ppid=32108 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32117/stat : 32117 (java) S 32108 32108 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224433206 14420930560 10273 33554432000 4194304 4196468 140733762298528 139732161864992 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32118] ppid=32108 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32118/stat : 32118 (java) S 32108 32108 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224433206 14420930560 10273 33554432000 4194304 4196468 140733762298528 139732160812656 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32119] ppid=32108 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32119/stat : 32119 (java) S 32108 32108 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224433208 14420930560 10273 33554432000 4194304 4196468 140733762298528 139732159760976 139732688652187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32120] ppid=32108 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32110/task/32120/stat : 32120 (java) S 32108 32108 31211 0 -1 1077944384 739 0 0 0 3 0 0 0 20 0 15 0 224433208 14420930560 10273 33554432000 4194304 4196468 140733762298528 139732158707824 139732688644738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32121] ppid=32108 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32110/task/32121/stat : 32121 (java) S 32108 32108 31211 0 -1 1077944384 55 0 0 0 2 0 0 0 20 0 15 0 224433208 14420930560 10273 33554432000 4194304 4196468 140733762298528 139732157655024 139732688644738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32122] ppid=32108 vsize=14082940 memory=140606272812672 CPUtime=0.08 cores=1,3,5,7
/proc/32110/task/32122/stat : 32122 (java) S 32108 32108 31211 0 -1 1077944384 796 0 0 0 8 0 0 0 20 0 15 0 224433208 14420930560 10273 33554432000 4194304 4196468 140733762298528 139732156602736 139732688644738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32123] ppid=32108 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32123/stat : 32123 (java) S 32108 32108 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224433208 14420930560 10273 33554432000 4194304 4196468 140733762298528 139732155550176 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32124] ppid=32108 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32124/stat : 32124 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433209 14420930560 10273 33554432000 4194304 4196468 140733762298528 139732154497968 139732688644738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42544 KiB

[startup+0.310588 s]*
/proc/loadavg: 1.94 1.99 1.89 5/217 32124
/proc/meminfo: memFree=16642484/32770624 swapFree=67108844/67108860
[pid=32108] ppid=32105 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32108/stat : 32108 (xcsp3-exec) S 32105 32108 31211 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 224433202 115843072 363 33554432000 4194304 5098028 140735700975568 140735700973672 140154658329212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17559552 140735700976699 140735700976900 140735700976900 140735700979658 0
/proc/32108/statm: 28282 363 306 221 0 87 0
[pid=32110] ppid=32108 vsize=14087196 memory=47904 CPUtime=0.52 cores=1,3,5,7
/proc/32110/stat : 32110 (java) S 32108 32108 31211 0 -1 1077944320 9117 0 0 0 50 2 0 0 20 0 15 0 224433203 14425288704 11976 33554432000 4194304 4196468 140733762298528 140733762281072 139732688633591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
/proc/32110/statm: 3521799 11976 3276 1 0 3483012 0
[pid=32110/tid=32111] ppid=32108 vsize=14087196 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/32110/task/32111/stat : 32111 (java) R 32108 32108 31211 0 -1 4202560 6046 0 0 0 27 1 0 0 20 0 15 0 224433203 14425288704 11976 33554432000 4194304 4196468 140733762298528 139732692867376 139732672714078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32112] ppid=32108 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32112/stat : 32112 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433204 14425288704 11976 33554432000 4194304 4196468 140733762298528 139732603701648 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32113] ppid=32108 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32113/stat : 32113 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433204 14425288704 11976 33554432000 4194304 4196468 140733762298528 139732602648848 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32114] ppid=32108 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32114/stat : 32114 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433204 14425288704 11976 33554432000 4194304 4196468 140733762298528 139732601596560 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32115] ppid=32108 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32115/stat : 32115 (java) S 32108 32108 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224433204 14425288704 11976 33554432000 4194304 4196468 140733762298528 139732281453072 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32116] ppid=32108 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32116/stat : 32116 (java) S 32108 32108 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224433205 14425288704 11976 33554432000 4194304 4196468 140733762298528 139732162919024 139732688644738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32117] ppid=32108 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32117/stat : 32117 (java) S 32108 32108 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224433206 14425288704 11976 33554432000 4194304 4196468 140733762298528 139732161864992 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32118] ppid=32108 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32118/stat : 32118 (java) S 32108 32108 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224433206 14425288704 11976 33554432000 4194304 4196468 140733762298528 139732160812656 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32119] ppid=32108 vsize=14087196 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32119/stat : 32119 (java) S 32108 32108 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224433208 14425288704 11976 33554432000 4194304 4196468 140733762298528 139732159760976 139732688652187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32120] ppid=32108 vsize=14087196 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/32110/task/32120/stat : 32120 (java) R 32108 32108 31211 0 -1 4202560 816 0 0 0 5 0 0 0 20 0 15 0 224433208 14425288704 11976 33554432000 4194304 4196468 140733762298528 139732158698208 139732670160696 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32121] ppid=32108 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/32110/task/32121/stat : 32121 (java) S 32108 32108 31211 0 -1 1077944384 76 0 0 0 4 0 0 0 20 0 15 0 224433208 14425288704 11976 33554432000 4194304 4196468 140733762298528 139732157655024 139732688644738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32122] ppid=32108 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/32110/task/32122/stat : 32122 (java) S 32108 32108 31211 0 -1 1077944384 873 0 0 0 12 0 0 0 20 0 15 0 224433208 14425288704 11976 33554432000 4194304 4196468 140733762298528 139732156602736 139732688644738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32123] ppid=32108 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32123/stat : 32123 (java) S 32108 32108 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224433208 14425288704 11976 33554432000 4194304 4196468 140733762298528 139732155550176 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32124] ppid=32108 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32124/stat : 32124 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433209 14425288704 11976 33554432000 4194304 4196468 140733762298528 139732154497968 139732688644738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49356 KiB

[startup+0.701981 s]
/proc/loadavg: 1.94 1.99 1.89 6/217 32124
/proc/meminfo: memFree=16625548/32770624 swapFree=67108844/67108860
[pid=32108] ppid=32105 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32108/stat : 32108 (xcsp3-exec) S 32105 32108 31211 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 224433202 115843072 363 33554432000 4194304 5098028 140735700975568 140735700973672 140154658329212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17559552 140735700976699 140735700976900 140735700976900 140735700979658 0
/proc/32108/statm: 28282 363 306 221 0 87 0
[pid=32110] ppid=32108 vsize=14089320 memory=73280 CPUtime=1.56 cores=1,3,5,7
/proc/32110/stat : 32110 (java) S 32108 32108 31211 0 -1 1077944320 11449 0 0 0 153 3 0 0 20 0 15 0 224433203 14427463680 18320 33554432000 4194304 4196468 140733762298528 140733762281072 139732688633591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
/proc/32110/statm: 3522330 18320 3369 1 0 3483524 0
[pid=32110/tid=32111] ppid=32108 vsize=14089320 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/32110/task/32111/stat : 32111 (java) R 32108 32108 31211 0 -1 4202560 6902 0 0 0 64 2 0 0 20 0 15 0 224433203 14427463680 18320 33554432000 4194304 4196468 140733762298528 139732692872736 139732281555279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32112] ppid=32108 vsize=14089320 memory=288230583149275406 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32112/stat : 32112 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433204 14427463680 18320 33554432000 4194304 4196468 140733762298528 139732603701648 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32113] ppid=32108 vsize=14089320 memory=15261432669297800 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32113/stat : 32113 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433204 14427463680 18320 33554432000 4194304 4196468 140733762298528 139732602648848 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32114] ppid=32108 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32114/stat : 32114 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433204 14427463680 18320 33554432000 4194304 4196468 140733762298528 139732601596560 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32115] ppid=32108 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32115/stat : 32115 (java) S 32108 32108 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224433204 14427463680 18320 33554432000 4194304 4196468 140733762298528 139732281453072 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32116] ppid=32108 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32116/stat : 32116 (java) S 32108 32108 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224433205 14427463680 18320 33554432000 4194304 4196468 140733762298528 139732162919024 139732688644738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32117] ppid=32108 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32117/stat : 32117 (java) S 32108 32108 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224433206 14427463680 18320 33554432000 4194304 4196468 140733762298528 139732161864992 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32118] ppid=32108 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32118/stat : 32118 (java) S 32108 32108 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224433206 14427463680 18320 33554432000 4194304 4196468 140733762298528 139732160812656 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32119] ppid=32108 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32119/stat : 32119 (java) S 32108 32108 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224433208 14427463680 18320 33554432000 4194304 4196468 140733762298528 139732159760976 139732688652187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32120] ppid=32108 vsize=14089320 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/32110/task/32120/stat : 32120 (java) R 32108 32108 31211 0 -1 4202560 1061 0 0 0 26 0 0 0 20 0 15 0 224433208 14427463680 18320 33554432000 4194304 4196468 140733762298528 139732158707824 139732668484072 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32121] ppid=32108 vsize=14089320 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/32110/task/32121/stat : 32121 (java) R 32108 32108 31211 0 -1 4202560 618 0 0 0 25 0 0 0 20 0 15 0 224433208 14427463680 18320 33554432000 4194304 4196468 140733762298528 139732157655024 139732668350727 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32122] ppid=32108 vsize=14089320 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/32110/task/32122/stat : 32122 (java) R 32108 32108 31211 0 -1 1077944384 1561 0 0 0 36 0 0 0 20 0 15 0 224433208 14427463680 18320 33554432000 4194304 4196468 140733762298528 139732156600528 139732688643797 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32123] ppid=32108 vsize=14089320 memory=3476042610792754284 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32123/stat : 32123 (java) S 32108 32108 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224433208 14427463680 18320 33554432000 4194304 4196468 140733762298528 139732155550176 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32124] ppid=32108 vsize=14089320 memory=7812167989726368872 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32124/stat : 32124 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433209 14427463680 18320 33554432000 4194304 4196468 140733762298528 139732154497968 139732688644738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 74732 KiB

[startup+0.94551 s]
# the end of solver process 32108 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2.24356 s, system=0.047772 s

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

[startup+0.800977 s]
/proc/loadavg: 1.94 1.99 1.89 6/217 32124
/proc/meminfo: memFree=16625548/32770624 swapFree=67108844/67108860
[pid=32108] ppid=32105 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32108/stat : 32108 (xcsp3-exec) S 32105 32108 31211 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 224433202 115843072 363 33554432000 4194304 5098028 140735700975568 140735700973672 140154658329212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17559552 140735700976699 140735700976900 140735700976900 140735700979658 0
/proc/32108/statm: 28282 363 306 221 0 87 0
[pid=32110] ppid=32108 vsize=14089320 memory=81980 CPUtime=1.89 cores=1,3,5,7
/proc/32110/stat : 32110 (java) S 32108 32108 31211 0 -1 1077944320 12638 0 0 0 186 3 0 0 20 0 15 0 224433203 14427463680 20495 33554432000 4194304 4196468 140733762298528 140733762281072 139732688633591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
/proc/32110/statm: 3522330 20495 3370 1 0 3483524 0
[pid=32110/tid=32111] ppid=32108 vsize=14089320 memory=3952 CPUtime=0.76 cores=1,3,5,7
/proc/32110/task/32111/stat : 32111 (java) R 32108 32108 31211 0 -1 4202560 6912 0 0 0 74 2 0 0 20 0 15 0 224433203 14427463680 20495 33554432000 4194304 4196468 140733762298528 139732692870848 139732286003981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32112] ppid=32108 vsize=14089320 memory=2724 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32112/stat : 32112 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433204 14427463680 20495 33554432000 4194304 4196468 140733762298528 139732603701648 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32113] ppid=32108 vsize=14089320 memory=1256 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32113/stat : 32113 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433204 14427463680 20495 33554432000 4194304 4196468 140733762298528 139732602648848 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32114] ppid=32108 vsize=14089320 memory=10464 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32114/stat : 32114 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433204 14427463680 20495 33554432000 4194304 4196468 140733762298528 139732601596560 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32115] ppid=32108 vsize=14089320 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32115/stat : 32115 (java) S 32108 32108 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224433204 14427463680 20495 33554432000 4194304 4196468 140733762298528 139732281453072 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32116] ppid=32108 vsize=14089320 memory=1168 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32116/stat : 32116 (java) S 32108 32108 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224433205 14427463680 20495 33554432000 4194304 4196468 140733762298528 139732162919024 139732688644738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32117] ppid=32108 vsize=14089320 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32117/stat : 32117 (java) S 32108 32108 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224433206 14427463680 20495 33554432000 4194304 4196468 140733762298528 139732161864992 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32118] ppid=32108 vsize=14089320 memory=1020 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32118/stat : 32118 (java) S 32108 32108 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224433206 14427463680 20495 33554432000 4194304 4196468 140733762298528 139732160812656 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32119] ppid=32108 vsize=14089320 memory=5776 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32119/stat : 32119 (java) S 32108 32108 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224433208 14427463680 20495 33554432000 4194304 4196468 140733762298528 139732159760976 139732688652187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32120] ppid=32108 vsize=14089320 memory=756 CPUtime=0.36 cores=1,3,5,7
/proc/32110/task/32120/stat : 32120 (java) R 32108 32108 31211 0 -1 4202560 1773 0 0 0 36 0 0 0 20 0 15 0 224433208 14427463680 20495 33554432000 4194304 4196468 140733762298528 139732158693928 139732673742544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32121] ppid=32108 vsize=14089320 memory=14568 CPUtime=0.35 cores=1,3,5,7
/proc/32110/task/32121/stat : 32121 (java) R 32108 32108 31211 0 -1 4202560 870 0 0 0 35 0 0 0 20 0 15 0 224433208 14427463680 20495 33554432000 4194304 4196468 140733762298528 139732157646976 139732673031341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32122] ppid=32108 vsize=14089320 memory=12708 CPUtime=0.39 cores=1,3,5,7
/proc/32110/task/32122/stat : 32122 (java) S 32108 32108 31211 0 -1 1077944384 1775 0 0 0 39 0 0 0 20 0 15 0 224433208 14427463680 20495 33554432000 4194304 4196468 140733762298528 139732156602736 139732688644738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32123] ppid=32108 vsize=14089320 memory=31076 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32123/stat : 32123 (java) S 32108 32108 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224433208 14427463680 20495 33554432000 4194304 4196468 140733762298528 139732155550176 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32124] ppid=32108 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32124/stat : 32124 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433209 14427463680 20495 33554432000 4194304 4196468 140733762298528 139732154497968 139732688644738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
Current children cumulated CPU time: 1.89 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 83432 KiB

[startup+0.900804 s]
/proc/loadavg: 1.94 1.99 1.89 6/217 32124
/proc/meminfo: memFree=16625548/32770624 swapFree=67108844/67108860
[pid=32108] ppid=32105 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32108/stat : 32108 (xcsp3-exec) S 32105 32108 31211 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 224433202 115843072 363 33554432000 4194304 5098028 140735700975568 140735700973672 140154658329212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17559552 140735700976699 140735700976900 140735700976900 140735700979658 0
/proc/32108/statm: 28282 363 306 221 0 87 0
[pid=32110] ppid=32108 vsize=14089320 memory=84928 CPUtime=2.21 cores=1,3,5,7
/proc/32110/stat : 32110 (java) S 32108 32108 31211 0 -1 1077944320 12839 0 0 0 217 4 0 0 20 0 15 0 224433203 14427463680 21232 33554432000 4194304 4196468 140733762298528 140733762281072 139732688633591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
/proc/32110/statm: 3522330 21232 3371 1 0 3483524 0
[pid=32110/tid=32111] ppid=32108 vsize=14089320 memory=0 CPUtime=0.86 cores=1,3,5,7
/proc/32110/task/32111/stat : 32111 (java) R 32108 32108 31211 0 -1 4202560 6913 0 0 0 84 2 0 0 20 0 15 0 224433203 14427463680 21232 33554432000 4194304 4196468 140733762298528 139732692872256 139732286004259 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32112] ppid=32108 vsize=14089320 memory=288230583149275406 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32112/stat : 32112 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433204 14427463680 21232 33554432000 4194304 4196468 140733762298528 139732603701648 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32113] ppid=32108 vsize=14089320 memory=15261432669297800 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32113/stat : 32113 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433204 14427463680 21232 33554432000 4194304 4196468 140733762298528 139732602648848 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32114] ppid=32108 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32114/stat : 32114 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433204 14427463680 21232 33554432000 4194304 4196468 140733762298528 139732601596560 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32115] ppid=32108 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32115/stat : 32115 (java) S 32108 32108 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224433204 14427463680 21232 33554432000 4194304 4196468 140733762298528 139732281453072 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32116] ppid=32108 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32116/stat : 32116 (java) S 32108 32108 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224433205 14427463680 21232 33554432000 4194304 4196468 140733762298528 139732162919024 139732688644738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32117] ppid=32108 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32117/stat : 32117 (java) S 32108 32108 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224433206 14427463680 21232 33554432000 4194304 4196468 140733762298528 139732161864992 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32118] ppid=32108 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32118/stat : 32118 (java) S 32108 32108 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224433206 14427463680 21232 33554432000 4194304 4196468 140733762298528 139732160812656 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32119] ppid=32108 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32119/stat : 32119 (java) S 32108 32108 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224433208 14427463680 21232 33554432000 4194304 4196468 140733762298528 139732159760976 139732688652187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32120] ppid=32108 vsize=14089320 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/32110/task/32120/stat : 32120 (java) R 32108 32108 31211 0 -1 4202560 1840 0 0 0 46 0 0 0 20 0 15 0 224433208 14427463680 21232 33554432000 4194304 4196468 140733762298528 139732158707824 139732670158528 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32121] ppid=32108 vsize=14089320 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/32110/task/32121/stat : 32121 (java) R 32108 32108 31211 0 -1 4202560 976 0 0 0 45 0 0 0 20 0 15 0 224433208 14427463680 21232 33554432000 4194304 4196468 140733762298528 139732157644816 139732673744249 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32122] ppid=32108 vsize=14089320 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/32110/task/32122/stat : 32122 (java) S 32108 32108 31211 0 -1 1077944384 1802 0 0 0 40 0 0 0 20 0 15 0 224433208 14427463680 21232 33554432000 4194304 4196468 140733762298528 139732156602736 139732688644738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32123] ppid=32108 vsize=14089320 memory=3476042610792754284 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32123/stat : 32123 (java) S 32108 32108 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224433208 14427463680 21232 33554432000 4194304 4196468 140733762298528 139732155550176 139732688643797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
[pid=32110/tid=32124] ppid=32108 vsize=14089320 memory=7812167989726368872 CPUtime=0 cores=1,3,5,7
/proc/32110/task/32124/stat : 32124 (java) S 32108 32108 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224433209 14427463680 21232 33554432000 4194304 4196468 140733762298528 139732154497968 139732688644738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10153984 140733762303110 140733762303281 140733762303281 140733762305999 0
Current children cumulated CPU time: 2.21 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 86380 KiB

Child status: 0
Real time (s): 0.94557
CPU time (s): 2.29133
CPU user time (s): 2.24356
CPU system time (s): 0.047772
CPU usage (%): 242.322
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 86380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.24356
system time used= 0.047772
maximum resident set size= 87580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13457
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= 1801
involuntary context switches= 11


# summary of solver processes directly reported to runsolver:
#   pid: 32108
#   total CPU time (s): 2.29133
#   total CPU user time (s): 2.24356
#   total CPU system time (s): 0.047772

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.02744 second user time and 0.049517 second system time

The end
Name	PseudoBoolean-dec/ Pb-robin08_c18.xml
MD5SUM	1bc3f3e5ba546c0eba55cc781441057a
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	0.095834
Satisfiable
(Un)Satisfiability was proved
Number of variables	784
Number of constraints	256
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":784}]
Minimum variable degree	10
Maximum variable degree	10
Distribution of variable degrees	[{"degree":10,"count":784}]
Minimum constraint arity	28
Maximum constraint arity	49
Distribution of constraint arities	[{"arity":28,"count":224},{"arity":49,"count":32}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":256}]
Optimization problem	NO
Type of objective
Trace number 4306952

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
