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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-06-14	SAT	6.21994	1.85697
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 (15035 MiB free)
  memory of node 1: 16384 MiB (15690 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392972-1568315302/watcher-4392972-1568315302 -o /tmp/evaluation-result-4392972-1568315302/solver-4392972-1568315302 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6785 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1219953817 HOME/instance-4392972-1568315302.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=10847, runsolver pid=10844

[startup+0.100114 s]*
/proc/loadavg: 6.43 6.76 7.06 5/233 10863
/proc/meminfo: memFree=31443740/32770624 swapFree=66979412/67108860
[pid=10847] ppid=10844 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10847/stat : 10847 (xcsp3-exec) S 10844 10847 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407792841 115843072 363 33554432000 4194304 5098028 140736191518256 140736191516360 140413948965500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21114880 140736191525754 140736191525997 140736191525997 140736191528906 0
/proc/10847/statm: 28282 363 304 221 0 87 0
[pid=10849] ppid=10847 vsize=15144768 memory=32032 CPUtime=0.13 cores=1,3,5,7
/proc/10849/stat : 10849 (java) S 10847 10847 6753 0 -1 1077944320 5930 0 0 0 12 1 0 0 20 0 15 0 407792841 15508242432 8008 33554432000 4194304 4196468 140730728130400 140730728112944 139773600505591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
/proc/10849/statm: 3786192 8008 3147 1 0 3748377 0
[pid=10849/tid=10850] ppid=10847 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/10849/task/10850/stat : 10850 (java) R 10847 10847 6753 0 -1 4202560 3824 0 0 0 8 1 0 0 20 0 15 0 407792841 15508242432 8008 33554432000 4194304 4196468 140730728130400 139773604736592 139773600517526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10851] ppid=10847 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10851/stat : 10851 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792842 15508242432 8008 33554432000 4194304 4196468 140730728130400 139773193280528 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10852] ppid=10847 vsize=15144768 memory=140360421492352 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10852/stat : 10852 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792842 15508242432 8008 33554432000 4194304 4196468 140730728130400 139773192227984 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10853] ppid=10847 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10853/stat : 10853 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792842 15508242432 8008 33554432000 4194304 4196468 140730728130400 139773191174928 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10854] ppid=10847 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10854/stat : 10854 (java) S 10847 10847 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407792842 15508242432 8008 33554432000 4194304 4196468 140730728130400 139773190122384 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10855] ppid=10847 vsize=15144768 memory=140360421492352 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10855/stat : 10855 (java) S 10847 10847 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407792843 15508242432 8008 33554432000 4194304 4196468 140730728130400 139773136255216 139773600516738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10856] ppid=10847 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10856/stat : 10856 (java) S 10847 10847 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407792844 15508242432 8008 33554432000 4194304 4196468 140730728130400 139773135201440 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10857] ppid=10847 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10857/stat : 10857 (java) S 10847 10847 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407792844 15508242432 8008 33554432000 4194304 4196468 140730728130400 139772539429616 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10858] ppid=10847 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10858/stat : 10858 (java) S 10847 10847 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407792846 15508242432 8008 33554432000 4194304 4196468 140730728130400 139772538378192 139773600524187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10859] ppid=10847 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10859/stat : 10859 (java) S 10847 10847 6753 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 15 0 407792846 15508242432 8008 33554432000 4194304 4196468 140730728130400 139772537326320 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10860] ppid=10847 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10860/stat : 10860 (java) S 10847 10847 6753 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 407792846 15508242432 8008 33554432000 4194304 4196468 140730728130400 139772536273776 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10861] ppid=10847 vsize=15144768 memory=140360421492352 CPUtime=0.02 cores=1,3,5,7
/proc/10849/task/10861/stat : 10861 (java) R 10847 10847 6753 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 407792846 15508242432 8008 33554432000 4194304 4196468 140730728130400 139772535220720 139773592742718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10862] ppid=10847 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10862/stat : 10862 (java) S 10847 10847 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407792847 15508242432 8008 33554432000 4194304 4196468 140730728130400 139772534168416 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10863] ppid=10847 vsize=15144768 memory=140360421492352 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10863/stat : 10863 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792847 15508242432 8008 33554432000 4194304 4196468 140730728130400 139772533115440 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 33484 KiB

[startup+0.210849 s]*
/proc/loadavg: 6.43 6.76 7.06 6/233 10867
/proc/meminfo: memFree=31430816/32770624 swapFree=66979412/67108860
[pid=10847] ppid=10844 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10847/stat : 10847 (xcsp3-exec) S 10844 10847 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407792841 115843072 363 33554432000 4194304 5098028 140736191518256 140736191516360 140413948965500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21114880 140736191525754 140736191525997 140736191525997 140736191528906 0
/proc/10847/statm: 28282 363 304 221 0 87 0
[pid=10849] ppid=10847 vsize=15144768 memory=42868 CPUtime=0.34 cores=1,3,5,7
/proc/10849/stat : 10849 (java) S 10847 10847 6753 0 -1 1077944320 9441 0 0 0 31 3 0 0 20 0 15 0 407792841 15508242432 10717 33554432000 4194304 4196468 140730728130400 140730728112944 139773600505591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
/proc/10849/statm: 3786192 10717 3267 1 0 3748377 0
[pid=10849/tid=10850] ppid=10847 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/10849/task/10850/stat : 10850 (java) R 10847 10847 6753 0 -1 4202560 6668 0 0 0 18 2 0 0 20 0 15 0 407792841 15508242432 10717 33554432000 4194304 4196468 140730728130400 139773604740576 139773584586078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10851] ppid=10847 vsize=15144768 memory=2995868 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10851/stat : 10851 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792842 15508242432 10717 33554432000 4194304 4196468 140730728130400 139773193280528 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10852] ppid=10847 vsize=15144768 memory=140360421502857 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10852/stat : 10852 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792842 15508242432 10717 33554432000 4194304 4196468 140730728130400 139773192227984 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10853] ppid=10847 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10853/stat : 10853 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792842 15508242432 10717 33554432000 4194304 4196468 140730728130400 139773191174928 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10854] ppid=10847 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10854/stat : 10854 (java) S 10847 10847 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407792842 15508242432 10717 33554432000 4194304 4196468 140730728130400 139773190122384 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10855] ppid=10847 vsize=15144768 memory=140360421492352 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10855/stat : 10855 (java) S 10847 10847 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407792843 15508242432 10717 33554432000 4194304 4196468 140730728130400 139773136255216 139773600516738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10856] ppid=10847 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10856/stat : 10856 (java) S 10847 10847 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407792844 15508242432 10717 33554432000 4194304 4196468 140730728130400 139773135201440 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10857] ppid=10847 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10857/stat : 10857 (java) S 10847 10847 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407792844 15508242432 10717 33554432000 4194304 4196468 140730728130400 139772539429616 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10858] ppid=10847 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10858/stat : 10858 (java) S 10847 10847 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407792846 15508242432 10717 33554432000 4194304 4196468 140730728130400 139772538378192 139773600524187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10859] ppid=10847 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10849/task/10859/stat : 10859 (java) S 10847 10847 6753 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 15 0 407792846 15508242432 10717 33554432000 4194304 4196468 140730728130400 139772537326320 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10860] ppid=10847 vsize=15144768 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/10849/task/10860/stat : 10860 (java) S 10847 10847 6753 0 -1 1077944384 264 0 0 0 3 0 0 0 20 0 15 0 407792846 15508242432 10717 33554432000 4194304 4196468 140730728130400 139772536273776 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10861] ppid=10847 vsize=15144768 memory=140360421492352 CPUtime=0.08 cores=1,3,5,7
/proc/10849/task/10861/stat : 10861 (java) S 10847 10847 6753 0 -1 1077944384 758 0 0 0 8 0 0 0 20 0 15 0 407792846 15508242432 10717 33554432000 4194304 4196468 140730728130400 139772535220720 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10862] ppid=10847 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10862/stat : 10862 (java) S 10847 10847 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407792847 15508242432 10780 33554432000 4194304 4196468 140730728130400 139772534168416 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10863] ppid=10847 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10863/stat : 10863 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792847 15508242432 10780 33554432000 4194304 4196468 140730728130400 139772533115440 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 44320 KiB

[startup+0.310636 s]*
/proc/loadavg: 6.43 6.76 7.06 7/233 10867
/proc/meminfo: memFree=31424424/32770624 swapFree=66979412/67108860
[pid=10847] ppid=10844 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10847/stat : 10847 (xcsp3-exec) S 10844 10847 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407792841 115843072 363 33554432000 4194304 5098028 140736191518256 140736191516360 140413948965500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21114880 140736191525754 140736191525997 140736191525997 140736191528906 0
/proc/10847/statm: 28282 363 304 221 0 87 0
[pid=10849] ppid=10847 vsize=15149024 memory=52500 CPUtime=0.53 cores=1,3,5,7
/proc/10849/stat : 10849 (java) S 10847 10847 6753 0 -1 1077944320 10907 0 0 0 49 4 0 0 20 0 15 0 407792841 15512600576 13125 33554432000 4194304 4196468 140730728130400 140730728112944 139773600505591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
/proc/10849/statm: 3787256 13125 3371 1 0 3748377 0
[pid=10849/tid=10850] ppid=10847 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/10849/task/10850/stat : 10850 (java) R 10847 10847 6753 0 -1 4202560 7880 0 0 0 27 3 0 0 20 0 15 0 407792841 15512600576 13125 33554432000 4194304 4196468 140730728130400 139773604736704 139773600527517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10851] ppid=10847 vsize=15149024 memory=2996209 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10851/stat : 10851 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792842 15512600576 13125 33554432000 4194304 4196468 140730728130400 139773193280528 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10852] ppid=10847 vsize=15149024 memory=3155436 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10852/stat : 10852 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792842 15512600576 13125 33554432000 4194304 4196468 140730728130400 139773192227984 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10853] ppid=10847 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10853/stat : 10853 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792842 15512600576 13125 33554432000 4194304 4196468 140730728130400 139773191174928 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10854] ppid=10847 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10854/stat : 10854 (java) S 10847 10847 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407792842 15512600576 13125 33554432000 4194304 4196468 140730728130400 139773190122384 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10855] ppid=10847 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10855/stat : 10855 (java) S 10847 10847 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407792843 15512600576 13125 33554432000 4194304 4196468 140730728130400 139773136255216 139773600516738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10856] ppid=10847 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10856/stat : 10856 (java) S 10847 10847 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407792844 15512600576 13125 33554432000 4194304 4196468 140730728130400 139773135201440 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10857] ppid=10847 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10857/stat : 10857 (java) S 10847 10847 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407792844 15512600576 13125 33554432000 4194304 4196468 140730728130400 139772539429616 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10858] ppid=10847 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10858/stat : 10858 (java) S 10847 10847 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407792846 15512600576 13125 33554432000 4194304 4196468 140730728130400 139772538378192 139773600524187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10859] ppid=10847 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10849/task/10859/stat : 10859 (java) S 10847 10847 6753 0 -1 1077944384 532 0 0 0 3 0 0 0 20 0 15 0 407792846 15512600576 13125 33554432000 4194304 4196468 140730728130400 139772537326320 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10860] ppid=10847 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/10849/task/10860/stat : 10860 (java) S 10847 10847 6753 0 -1 1077944384 350 0 0 0 5 0 0 0 20 0 15 0 407792846 15512600576 13125 33554432000 4194304 4196468 140730728130400 139772536273776 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10861] ppid=10847 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10849/task/10861/stat : 10861 (java) S 10847 10847 6753 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 15 0 407792846 15512600576 13125 33554432000 4194304 4196468 140730728130400 139772535220720 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10862] ppid=10847 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10862/stat : 10862 (java) S 10847 10847 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407792847 15512600576 13125 33554432000 4194304 4196468 140730728130400 139772534168416 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10863] ppid=10847 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10863/stat : 10863 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792847 15512600576 13125 33554432000 4194304 4196468 140730728130400 139772533115440 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 53952 KiB

[startup+0.700767 s]
/proc/loadavg: 6.43 6.76 7.06 8/233 10867
/proc/meminfo: memFree=31402772/32770624 swapFree=66979412/67108860
[pid=10847] ppid=10844 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10847/stat : 10847 (xcsp3-exec) S 10844 10847 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407792841 115843072 363 33554432000 4194304 5098028 140736191518256 140736191516360 140413948965500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21114880 140736191525754 140736191525997 140736191525997 140736191528906 0
/proc/10847/statm: 28282 363 304 221 0 87 0
[pid=10849] ppid=10847 vsize=15417404 memory=96380 CPUtime=1.7 cores=1,3,5,7
/proc/10849/stat : 10849 (java) S 10847 10847 6753 0 -1 1077944320 14275 0 0 0 164 6 0 0 20 0 19 0 407792841 15787421696 24095 33554432000 4194304 4196468 140730728130400 140730728112944 139773600505591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
/proc/10849/statm: 3854351 24095 3448 1 0 3815453 0
[pid=10849/tid=10850] ppid=10847 vsize=15417404 memory=1787444593921 CPUtime=0.53 cores=1,3,5,7
/proc/10849/task/10850/stat : 10850 (java) S 10847 10847 6753 0 -1 1077944384 9024 0 0 0 49 4 0 0 20 0 19 0 407792841 15787421696 24095 33554432000 4194304 4196468 140730728130400 139773604746368 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10851] ppid=10847 vsize=15417404 memory=512 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10851/stat : 10851 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407792842 15787421696 24109 33554432000 4194304 4196468 140730728130400 139773193280528 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10852] ppid=10847 vsize=15417404 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10852/stat : 10852 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407792842 15787421696 24109 33554432000 4194304 4196468 140730728130400 139773192227984 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10853] ppid=10847 vsize=15417404 memory=928 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10853/stat : 10853 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407792842 15787421696 24109 33554432000 4194304 4196468 140730728130400 139773191174928 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10854] ppid=10847 vsize=15417404 memory=3772 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10854/stat : 10854 (java) S 10847 10847 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407792842 15787421696 24109 33554432000 4194304 4196468 140730728130400 139773190122384 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10855] ppid=10847 vsize=15417404 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10855/stat : 10855 (java) S 10847 10847 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 407792843 15787421696 24109 33554432000 4194304 4196468 140730728130400 139773136255216 139773600516738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10856] ppid=10847 vsize=15417404 memory=920 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10856/stat : 10856 (java) S 10847 10847 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407792844 15787421696 24109 33554432000 4194304 4196468 140730728130400 139773135201440 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10857] ppid=10847 vsize=15417404 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10857/stat : 10857 (java) S 10847 10847 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407792844 15787421696 24109 33554432000 4194304 4196468 140730728130400 139772539429616 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10858] ppid=10847 vsize=15417404 memory=2404 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10858/stat : 10858 (java) S 10847 10847 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407792846 15787421696 24109 33554432000 4194304 4196468 140730728130400 139772538378192 139773600524187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10859] ppid=10847 vsize=15417404 memory=1764 CPUtime=0.28 cores=1,3,5,7
/proc/10849/task/10859/stat : 10859 (java) R 10847 10847 6753 0 -1 4202560 1456 0 0 0 28 0 0 0 20 0 19 0 407792846 15787421696 24109 33554432000 4194304 4196468 140730728130400 139772537318808 139773593605438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10860] ppid=10847 vsize=15417404 memory=111632 CPUtime=0.25 cores=1,3,5,7
/proc/10849/task/10860/stat : 10860 (java) R 10847 10847 6753 0 -1 4202560 875 0 0 0 25 0 0 0 20 0 19 0 407792846 15787421696 24109 33554432000 4194304 4196468 140730728130400 139772536272912 139773581141524 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10861] ppid=10847 vsize=15417404 memory=804 CPUtime=0.28 cores=1,3,5,7
/proc/10849/task/10861/stat : 10861 (java) S 10847 10847 6753 0 -1 1077944384 1443 0 0 0 28 0 0 0 20 0 19 0 407792846 15787421696 24109 33554432000 4194304 4196468 140730728130400 139772535220720 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10862] ppid=10847 vsize=15417404 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10862/stat : 10862 (java) S 10847 10847 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407792847 15787421696 24109 33554432000 4194304 4196468 140730728130400 139772534168416 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10863] ppid=10847 vsize=15417404 memory=924 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10863/stat : 10863 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407792847 15787421696 24109 33554432000 4194304 4196468 140730728130400 139772533115440 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 97832 KiB

[startup+1.5009 s]
/proc/loadavg: 6.43 6.76 7.06 12/237 10871
/proc/meminfo: memFree=31328720/32770624 swapFree=66979412/67108860
[pid=10847] ppid=10844 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10847/stat : 10847 (xcsp3-exec) S 10844 10847 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407792841 115843072 363 33554432000 4194304 5098028 140736191518256 140736191516360 140413948965500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21114880 140736191525754 140736191525997 140736191525997 140736191528906 0
/proc/10847/statm: 28282 363 304 221 0 87 0
[pid=10849] ppid=10847 vsize=15417404 memory=196752 CPUtime=4.87 cores=1,3,5,7
/proc/10849/stat : 10849 (java) S 10847 10847 6753 0 -1 1077944320 18962 0 0 0 479 8 0 0 20 0 19 0 407792841 15787421696 49188 33554432000 4194304 4196468 140730728130400 140730728112944 139773600505591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
/proc/10849/statm: 3854351 49188 3453 1 0 3815453 0
[pid=10849/tid=10850] ppid=10847 vsize=15417404 memory=6944656591801718422 CPUtime=0.53 cores=1,3,5,7
/proc/10849/task/10850/stat : 10850 (java) S 10847 10847 6753 0 -1 1077944384 9024 0 0 0 49 4 0 0 20 0 19 0 407792841 15787421696 49188 33554432000 4194304 4196468 140730728130400 139773604746368 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10851] ppid=10847 vsize=15417404 memory=6944656425122961013 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10851/stat : 10851 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407792842 15787421696 49188 33554432000 4194304 4196468 140730728130400 139773193280528 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10852] ppid=10847 vsize=15417404 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10852/stat : 10852 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407792842 15787421696 49188 33554432000 4194304 4196468 140730728130400 139773192227984 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10853] ppid=10847 vsize=15417404 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10853/stat : 10853 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407792842 15787421696 49188 33554432000 4194304 4196468 140730728130400 139773191174928 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10854] ppid=10847 vsize=15417404 memory=-7035114785800479027 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10854/stat : 10854 (java) S 10847 10847 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407792842 15787421696 49188 33554432000 4194304 4196468 140730728130400 139773190122384 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10855] ppid=10847 vsize=15417404 memory=-6733704525061579059 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10855/stat : 10855 (java) S 10847 10847 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 407792843 15787421696 49188 33554432000 4194304 4196468 140730728130400 139773136255216 139773600516738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10856] ppid=10847 vsize=15417404 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10856/stat : 10856 (java) S 10847 10847 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407792844 15787421696 49188 33554432000 4194304 4196468 140730728130400 139773135201440 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10857] ppid=10847 vsize=15417404 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10857/stat : 10857 (java) S 10847 10847 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407792844 15787421696 49188 33554432000 4194304 4196468 140730728130400 139772539429616 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10858] ppid=10847 vsize=15417404 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10858/stat : 10858 (java) S 10847 10847 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407792846 15787421696 49188 33554432000 4194304 4196468 140730728130400 139772538378192 139773600524187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10859] ppid=10847 vsize=15417404 memory=6791534058613427641 CPUtime=0.76 cores=1,3,5,7
/proc/10849/task/10859/stat : 10859 (java) R 10847 10847 6753 0 -1 4202560 3703 0 0 0 76 0 0 0 20 0 19 0 407792846 15787421696 49188 33554432000 4194304 4196468 140730728130400 139772537312864 139773585613269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10860] ppid=10847 vsize=15417404 memory=140360421501937 CPUtime=0.74 cores=1,3,5,7
/proc/10849/task/10860/stat : 10860 (java) R 10847 10847 6753 0 -1 4202560 2584 0 0 0 74 0 0 0 20 0 19 0 407792846 15787421696 49188 33554432000 4194304 4196468 140730728130400 139772536260320 139773582023479 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10861] ppid=10847 vsize=15417404 memory=7593730226780925026 CPUtime=0.34 cores=1,3,5,7
/proc/10849/task/10861/stat : 10861 (java) S 10847 10847 6753 0 -1 1077944384 2098 0 0 0 34 0 0 0 20 0 19 0 407792846 15787421696 49188 33554432000 4194304 4196468 140730728130400 139772535220720 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10862] ppid=10847 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10862/stat : 10862 (java) S 10847 10847 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407792847 15787421696 49188 33554432000 4194304 4196468 140730728130400 139772534168416 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10863] ppid=10847 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10863/stat : 10863 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407792847 15787421696 49188 33554432000 4194304 4196468 140730728130400 139772533115440 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10868] ppid=10847 vsize=15417404 memory=6791534058613427641 CPUtime=0.51 cores=1,3,5,7
/proc/10849/task/10868/stat : 10868 (java) R 10847 10847 6753 0 -1 4202560 69 0 0 0 51 0 0 0 20 0 19 0 407792896 15787421696 49188 33554432000 4194304 4196468 140730728130400 139772081910352 139773222209681 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10869] ppid=10847 vsize=15417404 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/10849/task/10869/stat : 10869 (java) R 10847 10847 6753 0 -1 4202560 100 0 0 0 67 0 0 0 20 0 19 0 407792896 15787421696 49188 33554432000 4194304 4196468 140730728130400 139772080860952 139773218016109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10870] ppid=10847 vsize=15417404 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/10849/task/10870/stat : 10870 (java) R 10847 10847 6753 0 -1 4202560 49 0 0 0 63 0 0 0 20 0 19 0 407792896 15787421696 49188 33554432000 4194304 4196468 140730728130400 139772079810312 139773221631179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10871] ppid=10847 vsize=15417404 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/10849/task/10871/stat : 10871 (java) R 10847 10847 6753 0 -1 4202560 47 0 0 0 62 0 0 0 20 0 19 0 407792896 15787421696 49188 33554432000 4194304 4196468 140730728130400 139772078755536 139773218007898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
Current children cumulated CPU time: 4.87 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 198204 KiB

[startup+1.85692 s]
# the end of solver process 10847 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.09682 s, system=0.123114 s

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

[startup+1.7089 s]
/proc/loadavg: 6.43 6.76 7.06 12/237 10871
/proc/meminfo: memFree=31328720/32770624 swapFree=66979412/67108860
[pid=10847] ppid=10844 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10847/stat : 10847 (xcsp3-exec) S 10844 10847 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407792841 115843072 363 33554432000 4194304 5098028 140736191518256 140736191516360 140413948965500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21114880 140736191525754 140736191525997 140736191525997 140736191528906 0
/proc/10847/statm: 28282 363 304 221 0 87 0
[pid=10849] ppid=10847 vsize=15417404 memory=240816 CPUtime=5.69 cores=1,3,5,7
/proc/10849/stat : 10849 (java) S 10847 10847 6753 0 -1 1077944320 19342 0 0 0 558 11 0 0 20 0 19 0 407792841 15787421696 60204 33554432000 4194304 4196468 140730728130400 140730728112944 139773600505591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
/proc/10849/statm: 3854351 60204 3470 1 0 3815453 0
[pid=10849/tid=10850] ppid=10847 vsize=15417404 memory=6791534058613427641 CPUtime=0.53 cores=1,3,5,7
/proc/10849/task/10850/stat : 10850 (java) S 10847 10847 6753 0 -1 1077944384 9024 0 0 0 49 4 0 0 20 0 19 0 407792841 15787421696 60204 33554432000 4194304 4196468 140730728130400 139773604746368 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10851] ppid=10847 vsize=15417404 memory=140363826201015 CPUtime=0.01 cores=1,3,5,7
/proc/10849/task/10851/stat : 10851 (java) S 10847 10847 6753 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 19 0 407792842 15787421696 60204 33554432000 4194304 4196468 140730728130400 139773193280528 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10852] ppid=10847 vsize=15417404 memory=140363826201123 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10852/stat : 10852 (java) S 10847 10847 6753 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 407792842 15787421696 60204 33554432000 4194304 4196468 140730728130400 139773192227984 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10853] ppid=10847 vsize=15417404 memory=140363826201144 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10853/stat : 10853 (java) S 10847 10847 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407792842 15787421696 60204 33554432000 4194304 4196468 140730728130400 139773191174928 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10854] ppid=10847 vsize=15417404 memory=140363826201145 CPUtime=0.01 cores=1,3,5,7
/proc/10849/task/10854/stat : 10854 (java) S 10847 10847 6753 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 19 0 407792842 15787421696 60204 33554432000 4194304 4196468 140730728130400 139773190122384 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10855] ppid=10847 vsize=15417404 memory=140363826201147 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10855/stat : 10855 (java) S 10847 10847 6753 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 407792843 15787421696 60204 33554432000 4194304 4196468 140730728130400 139773136255216 139773600516738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10856] ppid=10847 vsize=15417404 memory=140363826201152 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10856/stat : 10856 (java) S 10847 10847 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407792844 15787421696 60204 33554432000 4194304 4196468 140730728130400 139773135201440 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10857] ppid=10847 vsize=15417404 memory=140363826201158 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10857/stat : 10857 (java) S 10847 10847 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407792844 15787421696 60204 33554432000 4194304 4196468 140730728130400 139772539429616 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10858] ppid=10847 vsize=15417404 memory=140363826201160 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10858/stat : 10858 (java) S 10847 10847 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407792846 15787421696 60204 33554432000 4194304 4196468 140730728130400 139772538378192 139773600524187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10859] ppid=10847 vsize=15417404 memory=140363826201163 CPUtime=0.95 cores=1,3,5,7
/proc/10849/task/10859/stat : 10859 (java) R 10847 10847 6753 0 -1 4202560 3886 0 0 0 95 0 0 0 20 0 19 0 407792846 15787421696 60204 33554432000 4194304 4196468 140730728130400 139772537312416 139773584907780 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10860] ppid=10847 vsize=15417404 memory=140363826201173 CPUtime=0.83 cores=1,3,5,7
/proc/10849/task/10860/stat : 10860 (java) R 10847 10847 6753 0 -1 4202560 2607 0 0 0 83 0 0 0 20 0 19 0 407792846 15787421696 60204 33554432000 4194304 4196468 140730728130400 139772536266264 139773583980641 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10861] ppid=10847 vsize=15417404 memory=140363826201174 CPUtime=0.35 cores=1,3,5,7
/proc/10849/task/10861/stat : 10861 (java) S 10847 10847 6753 0 -1 1077944384 2115 0 0 0 35 0 0 0 20 0 19 0 407792846 15787421696 60204 33554432000 4194304 4196468 140730728130400 139772535220720 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10862] ppid=10847 vsize=15417404 memory=140363826201176 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10862/stat : 10862 (java) S 10847 10847 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407792847 15787421696 60204 33554432000 4194304 4196468 140730728130400 139772534168416 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10863] ppid=10847 vsize=15417404 memory=140363826201183 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10863/stat : 10863 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407792847 15787421696 60204 33554432000 4194304 4196468 140730728130400 139772533115440 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10868] ppid=10847 vsize=15417404 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/10849/task/10868/stat : 10868 (java) R 10847 10847 6753 0 -1 4202560 71 0 0 0 69 0 0 0 20 0 19 0 407792896 15787421696 60204 33554432000 4194304 4196468 140730728130400 139772081912728 139773222209876 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10869] ppid=10847 vsize=15417404 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/10849/task/10869/stat : 10869 (java) R 10847 10847 6753 0 -1 4202560 100 0 0 0 76 0 0 0 20 0 19 0 407792896 15787421696 60204 33554432000 4194304 4196468 140730728130400 139772080862920 139773221676023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10870] ppid=10847 vsize=15417404 memory=8514701219881978528 CPUtime=0.71 cores=1,3,5,7
/proc/10849/task/10870/stat : 10870 (java) R 10847 10847 6753 0 -1 4202560 49 0 0 0 71 0 0 0 20 0 19 0 407792896 15787421696 60204 33554432000 4194304 4196468 140730728130400 139772079808424 139773221800701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10871] ppid=10847 vsize=15417404 memory=-7022074515825631275 CPUtime=0.71 cores=1,3,5,7
/proc/10849/task/10871/stat : 10871 (java) R 10847 10847 6753 0 -1 4202560 47 0 0 0 71 0 0 0 20 0 19 0 407792896 15787421696 60204 33554432000 4194304 4196468 140730728130400 139772078758808 139773222209978 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
Current children cumulated CPU time: 5.69 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 242268 KiB

[startup+1.8079 s]
/proc/loadavg: 6.43 6.76 7.06 12/237 10871
/proc/meminfo: memFree=31328720/32770624 swapFree=66979412/67108860
[pid=10847] ppid=10844 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10847/stat : 10847 (xcsp3-exec) S 10844 10847 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407792841 115843072 363 33554432000 4194304 5098028 140736191518256 140736191516360 140413948965500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21114880 140736191525754 140736191525997 140736191525997 140736191528906 0
/proc/10847/statm: 28282 363 304 221 0 87 0
[pid=10849] ppid=10847 vsize=15417404 memory=240844 CPUtime=6.09 cores=1,3,5,7
/proc/10849/stat : 10849 (java) S 10847 10847 6753 0 -1 1077944320 19385 0 0 0 598 11 0 0 20 0 19 0 407792841 15787421696 60211 33554432000 4194304 4196468 140730728130400 140730728112944 139773600505591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
/proc/10849/statm: 3854351 60211 3470 1 0 3815453 0
[pid=10849/tid=10850] ppid=10847 vsize=15417404 memory=16688 CPUtime=0.53 cores=1,3,5,7
/proc/10849/task/10850/stat : 10850 (java) S 10847 10847 6753 0 -1 1077944384 9024 0 0 0 49 4 0 0 20 0 19 0 407792841 15787421696 60211 33554432000 4194304 4196468 140730728130400 139773604746368 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10851] ppid=10847 vsize=15417404 memory=178932 CPUtime=0.01 cores=1,3,5,7
/proc/10849/task/10851/stat : 10851 (java) S 10847 10847 6753 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 19 0 407792842 15787421696 60211 33554432000 4194304 4196468 140730728130400 139773193280528 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10852] ppid=10847 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10852/stat : 10852 (java) S 10847 10847 6753 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 407792842 15787421696 60211 33554432000 4194304 4196468 140730728130400 139773192227984 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10853] ppid=10847 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10853/stat : 10853 (java) S 10847 10847 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407792842 15787421696 60211 33554432000 4194304 4196468 140730728130400 139773191174928 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10854] ppid=10847 vsize=15417404 memory=-1597696148014137171 CPUtime=0.01 cores=1,3,5,7
/proc/10849/task/10854/stat : 10854 (java) S 10847 10847 6753 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 19 0 407792842 15787421696 60211 33554432000 4194304 4196468 140730728130400 139773190122384 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10855] ppid=10847 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10855/stat : 10855 (java) S 10847 10847 6753 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 407792843 15787421696 60211 33554432000 4194304 4196468 140730728130400 139773136255216 139773600516738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10856] ppid=10847 vsize=15417404 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10856/stat : 10856 (java) S 10847 10847 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407792844 15787421696 60211 33554432000 4194304 4196468 140730728130400 139773135201440 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10857] ppid=10847 vsize=15417404 memory=7976406965554101975 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10857/stat : 10857 (java) S 10847 10847 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407792844 15787421696 60211 33554432000 4194304 4196468 140730728130400 139772539429616 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10858] ppid=10847 vsize=15417404 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10858/stat : 10858 (java) S 10847 10847 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407792846 15787421696 60211 33554432000 4194304 4196468 140730728130400 139772538378192 139773600524187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10859] ppid=10847 vsize=15417404 memory=-4695043397844020537 CPUtime=1.03 cores=1,3,5,7
/proc/10849/task/10859/stat : 10859 (java) R 10847 10847 6753 0 -1 4202560 3899 0 0 0 103 0 0 0 20 0 19 0 407792846 15787421696 60211 33554432000 4194304 4196468 140730728130400 139772537326616 139773584401368 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10860] ppid=10847 vsize=15417404 memory=-2605811476043407915 CPUtime=0.88 cores=1,3,5,7
/proc/10849/task/10860/stat : 10860 (java) R 10847 10847 6753 0 -1 1077944384 2620 0 0 0 87 1 0 0 20 0 19 0 407792846 15787421696 60211 33554432000 4194304 4196468 140730728130400 139772536273776 139773600516738 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10861] ppid=10847 vsize=15417404 memory=-4695043397844020537 CPUtime=0.36 cores=1,3,5,7
/proc/10849/task/10861/stat : 10861 (java) S 10847 10847 6753 0 -1 1077944384 2122 0 0 0 36 0 0 0 20 0 19 0 407792846 15787421696 60211 33554432000 4194304 4196468 140730728130400 139772535220720 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10862] ppid=10847 vsize=15417404 memory=-2672971630408907303 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10862/stat : 10862 (java) S 10847 10847 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407792847 15787421696 60211 33554432000 4194304 4196468 140730728130400 139772534168416 139773600515797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10863] ppid=10847 vsize=15417404 memory=-2892745056948402235 CPUtime=0 cores=1,3,5,7
/proc/10849/task/10863/stat : 10863 (java) S 10847 10847 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407792847 15787421696 60211 33554432000 4194304 4196468 140730728130400 139772533115440 139773600516738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10868] ppid=10847 vsize=15417404 memory=-3756611412707075625 CPUtime=0.74 cores=1,3,5,7
/proc/10849/task/10868/stat : 10868 (java) R 10847 10847 6753 0 -1 4202560 72 0 0 0 74 0 0 0 20 0 19 0 407792896 15787421696 60211 33554432000 4194304 4196468 140730728130400 139772081911680 139773222512875 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10869] ppid=10847 vsize=15417404 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/10849/task/10869/stat : 10869 (java) R 10847 10847 6753 0 -1 4202560 101 0 0 0 82 0 0 0 20 0 19 0 407792896 15787421696 60211 33554432000 4194304 4196468 140730728130400 139772080862664 139773221562868 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10870] ppid=10847 vsize=15417404 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/10849/task/10870/stat : 10870 (java) R 10847 10847 6753 0 -1 4202560 53 0 0 0 81 0 0 0 20 0 19 0 407792896 15787421696 60211 33554432000 4194304 4196468 140730728130400 139772079805696 139773222207250 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
[pid=10849/tid=10871] ppid=10847 vsize=15417404 memory=1808 CPUtime=0.76 cores=1,3,5,7
/proc/10849/task/10871/stat : 10871 (java) R 10847 10847 6753 0 -1 4202560 51 0 0 0 76 0 0 0 20 0 19 0 407792896 15787421696 60211 33554432000 4194304 4196468 140730728130400 139772078756440 139773222209995 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140730728137711 140730728137882 140730728137882 140730728140751 0
Current children cumulated CPU time: 6.09 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 242296 KiB

Child status: 0
Real time (s): 1.85697
CPU time (s): 6.21994
CPU user time (s): 6.09682
CPU system time (s): 0.123114
CPU usage (%): 334.951
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 242296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.09682
system time used= 0.123114
maximum resident set size= 242016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20002
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2035
involuntary context switches= 455


# summary of solver processes directly reported to runsolver:
#   pid: 10847
#   total CPU time (s): 6.21994
#   total CPU user time (s): 6.09682
#   total CPU system time (s): 0.123114

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023577 second user time and 0.071804 second system time

The end
Name	MagicSequence/MagicSequence-card-s1/ MagicSequence-800-ca.xml
MD5SUM	bba643cbf375a501e11ba296082ede1c
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	2.78579
Satisfiable
(Un)Satisfiability was proved
Number of variables	800
Number of constraints	3
Number of domains	1
Minimum domain size	800
Maximum domain size	800
Distribution of domain sizes	[{"size":800,"count":800}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":800}]
Minimum constraint arity	800
Maximum constraint arity	800
Distribution of constraint arities	[{"arity":800,"count":3}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"cardinality","count":1}]
Optimization problem	NO
Type of objective
Trace number 4392972

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
