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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	SAT	2.4964399	1.05782
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 (13930 MiB free)
  memory of node 1: 16384 MiB (15598 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269769-1502742691/watcher-4269769-1502742691 -o /tmp/evaluation-result-4269769-1502742691/solver-4269769-1502742691 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1074056235 HOME/instance-4269769-1502742691.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
solver pid=28342, runsolver pid=28339
Current StackSize limit: 8192 KiB


[startup+0.100114 s]*
/proc/loadavg: 2.41 2.00 1.84 3/205 28352
/proc/meminfo: memFree=30226792/32770624 swapFree=67108860/67108860
[pid=28342] ppid=28339 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28342/stat : 28342 (xcsp3-exec) S 28339 28342 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62609783 9740288 345 18446744073709551615 4194304 5098028 140734890576160 140734890574264 139722039247484 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 34762752 140734890578296 140734890578501 140734890578501 140734890581995 0
/proc/28342/statm: 2378 345 289 221 0 87 0
[pid=28344] ppid=28342 vsize=13574484 memory=19248 CPUtime=0.03 cores=1,3,5,7
/proc/28344/stat : 28344 (java) S 28342 28342 11586 0 -1 1077944320 4123 0 0 0 2 1 0 0 20 0 9 0 62609790 13900271616 4812 18446744073709551615 4194304 4196468 140726750546384 140726750528928 140491185200887 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
/proc/28344/statm: 3393621 4812 2099 1 0 3383118 0
[pid=28344/tid=28345] ppid=28342 vsize=13574484 memory=4206989191851631162 CPUtime=0.03 cores=1,3,5,7
/proc/28344/task/28345/stat : 28345 (java) R 28342 28342 11586 0 -1 4202560 2826 0 0 0 2 1 0 0 20 0 9 0 62609790 13900271616 4812 18446744073709551615 4194304 4196468 140726750546384 140491189437400 140491166852446 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28346] ppid=28342 vsize=13574484 memory=3461491024038078089 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28346/stat : 28346 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 62609791 13900271616 4812 18446744073709551615 4194304 4196468 140726750546384 140491142167696 140491185211093 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28347] ppid=28342 vsize=13574484 memory=140419408393856 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28347/stat : 28347 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 62609791 13900271616 4812 18446744073709551615 4194304 4196468 140726750546384 140491141114896 140491185211093 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28348] ppid=28342 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28348/stat : 28348 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 62609791 13900271616 4812 18446744073709551615 4194304 4196468 140726750546384 140491140062096 140491185211093 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28349] ppid=28342 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28349/stat : 28349 (java) S 28342 28342 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 62609791 13900271616 4812 18446744073709551615 4194304 4196468 140726750546384 140491139009296 140491185211093 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28350] ppid=28342 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28350/stat : 28350 (java) S 28342 28342 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 62609792 13900271616 4812 18446744073709551615 4194304 4196468 140726750546384 140490730789232 140491185212034 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28351] ppid=28342 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28351/stat : 28351 (java) S 28342 28342 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 62609793 13900271616 4812 18446744073709551615 4194304 4196468 140726750546384 140490661946400 140491185211093 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28352] ppid=28342 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28352/stat : 28352 (java) S 28342 28342 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 62609793 13900271616 4812 18446744073709551615 4194304 4196468 140726750546384 140490660893616 140491185211093 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20628 KiB

[startup+0.215 s]*
/proc/loadavg: 2.41 2.00 1.84 4/211 28358
/proc/meminfo: memFree=30214452/32770624 swapFree=67108860/67108860
[pid=28342] ppid=28339 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28342/stat : 28342 (xcsp3-exec) S 28339 28342 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62609783 9740288 345 18446744073709551615 4194304 5098028 140734890576160 140734890574264 139722039247484 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 34762752 140734890578296 140734890578501 140734890578501 140734890581995 0
/proc/28342/statm: 2378 345 289 221 0 87 0
[pid=28344] ppid=28342 vsize=13974352 memory=27712 CPUtime=0.12 cores=1,3,5,7
/proc/28344/stat : 28344 (java) S 28342 28342 11586 0 -1 1077944320 5447 0 0 0 10 2 0 0 20 0 15 0 62609790 14309736448 6928 18446744073709551615 4194304 4196468 140726750546384 140726750528928 140491185200887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
/proc/28344/statm: 3493588 6928 2818 1 0 3482964 0
[pid=28344/tid=28345] ppid=28342 vsize=13974352 memory=-6442228209218064741 CPUtime=0.08 cores=1,3,5,7
/proc/28344/task/28345/stat : 28345 (java) R 28342 28342 11586 0 -1 4202560 3452 0 0 0 7 1 0 0 20 0 15 0 62609790 14309736448 6928 18446744073709551615 4194304 4196468 140726750546384 140491189434160 140491185212822 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28346] ppid=28342 vsize=13974352 memory=3461491024038078089 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28346/stat : 28346 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609791 14309736448 6928 18446744073709551615 4194304 4196468 140726750546384 140491142167696 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28347] ppid=28342 vsize=13974352 memory=140419408393856 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28347/stat : 28347 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609791 14309736448 6928 18446744073709551615 4194304 4196468 140726750546384 140491141114896 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28348] ppid=28342 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28348/stat : 28348 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609791 14309736448 6928 18446744073709551615 4194304 4196468 140726750546384 140491140062096 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28349] ppid=28342 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28349/stat : 28349 (java) S 28342 28342 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62609791 14309736448 6928 18446744073709551615 4194304 4196468 140726750546384 140491139009296 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28350] ppid=28342 vsize=13974352 memory=140419408393856 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28350/stat : 28350 (java) S 28342 28342 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62609792 14309736448 6928 18446744073709551615 4194304 4196468 140726750546384 140490730789232 140491185212034 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28351] ppid=28342 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28351/stat : 28351 (java) S 28342 28342 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62609793 14309736448 6928 18446744073709551615 4194304 4196468 140726750546384 140490661946400 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28352] ppid=28342 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28352/stat : 28352 (java) S 28342 28342 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62609793 14309736448 6928 18446744073709551615 4194304 4196468 140726750546384 140490660893552 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28353] ppid=28342 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28353/stat : 28353 (java) S 28342 28342 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609796 14309736448 6928 18446744073709551615 4194304 4196468 140726750546384 140490659841872 140491185219483 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28354] ppid=28342 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28354/stat : 28354 (java) S 28342 28342 11586 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 62609796 14309736448 6928 18446744073709551615 4194304 4196468 140726750546384 140490658790256 140491185212034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28355] ppid=28342 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28355/stat : 28355 (java) S 28342 28342 11586 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 62609796 14309736448 6928 18446744073709551615 4194304 4196468 140726750546384 140490657737456 140491185212034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28356] ppid=28342 vsize=13974352 memory=140419408393856 CPUtime=0.01 cores=1,3,5,7
/proc/28344/task/28356/stat : 28356 (java) R 28342 28342 11586 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 15 0 62609796 14309736448 6928 18446744073709551615 4194304 4196468 140726750546384 140490656684656 140491185212822 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28357] ppid=28342 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28357/stat : 28357 (java) S 28342 28342 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609796 14309736448 6928 18446744073709551615 4194304 4196468 140726750546384 140490655632096 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28358] ppid=28342 vsize=13974352 memory=140419408393856 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28358/stat : 28358 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609801 14309736448 6928 18446744073709551615 4194304 4196468 140726750546384 140490654579376 140491185212034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29092 KiB

[startup+0.31149 s]*
/proc/loadavg: 2.41 2.00 1.84 5/211 28358
/proc/meminfo: memFree=30199288/32770624 swapFree=67108860/67108860
[pid=28342] ppid=28339 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28342/stat : 28342 (xcsp3-exec) S 28339 28342 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62609783 9740288 345 18446744073709551615 4194304 5098028 140734890576160 140734890574264 139722039247484 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 34762752 140734890578296 140734890578501 140734890578501 140734890581995 0
/proc/28342/statm: 2378 345 289 221 0 87 0
[pid=28344] ppid=28342 vsize=13974352 memory=39760 CPUtime=0.31 cores=1,3,5,7
/proc/28344/stat : 28344 (java) S 28342 28342 11586 0 -1 1077944320 9009 0 0 0 28 3 0 0 20 0 15 0 62609790 14309736448 9940 18446744073709551615 4194304 4196468 140726750546384 140726750528928 140491185200887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
/proc/28344/statm: 3493588 9940 3031 1 0 3482964 0
[pid=28344/tid=28345] ppid=28342 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/28344/task/28345/stat : 28345 (java) R 28342 28342 11586 0 -1 4202560 6135 0 0 0 16 2 0 0 20 0 15 0 62609790 14309736448 9940 18446744073709551615 4194304 4196468 140726750546384 140491189437936 140490813041232 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28346] ppid=28342 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28346/stat : 28346 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609791 14309736448 9940 18446744073709551615 4194304 4196468 140726750546384 140491142167696 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28347] ppid=28342 vsize=13974352 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28347/stat : 28347 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609791 14309736448 9940 18446744073709551615 4194304 4196468 140726750546384 140491141114896 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28348] ppid=28342 vsize=13974352 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28348/stat : 28348 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609791 14309736448 9940 18446744073709551615 4194304 4196468 140726750546384 140491140062096 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28349] ppid=28342 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28349/stat : 28349 (java) S 28342 28342 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62609791 14309736448 9940 18446744073709551615 4194304 4196468 140726750546384 140491139009296 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28350] ppid=28342 vsize=13974352 memory=140419408400849 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28350/stat : 28350 (java) S 28342 28342 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62609792 14309736448 9940 18446744073709551615 4194304 4196468 140726750546384 140490730789232 140491185212034 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28351] ppid=28342 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28351/stat : 28351 (java) S 28342 28342 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62609793 14309736448 9940 18446744073709551615 4194304 4196468 140726750546384 140490661946400 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28352] ppid=28342 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28352/stat : 28352 (java) S 28342 28342 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62609793 14309736448 9940 18446744073709551615 4194304 4196468 140726750546384 140490660893552 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28353] ppid=28342 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28353/stat : 28353 (java) S 28342 28342 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609796 14309736448 9940 18446744073709551615 4194304 4196468 140726750546384 140490659841872 140491185219483 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28354] ppid=28342 vsize=13974352 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28344/task/28354/stat : 28354 (java) S 28342 28342 11586 0 -1 1077944384 462 0 0 0 3 0 0 0 20 0 15 0 62609796 14309736448 9940 18446744073709551615 4194304 4196468 140726750546384 140490658790256 140491185212034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28355] ppid=28342 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28344/task/28355/stat : 28355 (java) S 28342 28342 11586 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 62609796 14309736448 10005 18446744073709551615 4194304 4196468 140726750546384 140490657737456 140491185212034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28356] ppid=28342 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/28344/task/28356/stat : 28356 (java) R 28342 28342 11586 0 -1 4202560 736 0 0 0 6 0 0 0 20 0 15 0 62609796 14309736448 10005 18446744073709551615 4194304 4196468 140726750546384 140490656684656 140491169281374 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28357] ppid=28342 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28357/stat : 28357 (java) S 28342 28342 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609796 14309736448 10005 18446744073709551615 4194304 4196468 140726750546384 140490655632096 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28358] ppid=28342 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28358/stat : 28358 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609801 14309736448 10005 18446744073709551615 4194304 4196468 140726750546384 140490654579376 140491185212034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41140 KiB

[startup+0.700806 s]
/proc/loadavg: 2.41 2.00 1.84 5/211 28358
/proc/meminfo: memFree=30180644/32770624 swapFree=67108860/67108860
[pid=28342] ppid=28339 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28342/stat : 28342 (xcsp3-exec) S 28339 28342 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62609783 9740288 345 18446744073709551615 4194304 5098028 140734890576160 140734890574264 139722039247484 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 34762752 140734890578296 140734890578501 140734890578501 140734890581995 0
/proc/28342/statm: 2378 345 289 221 0 87 0
[pid=28344] ppid=28342 vsize=13980732 memory=75612 CPUtime=1.35 cores=1,3,5,7
/proc/28344/stat : 28344 (java) S 28342 28342 11586 0 -1 1077944320 13917 0 0 0 130 5 0 0 20 0 15 0 62609790 14316269568 18903 18446744073709551615 4194304 4196468 140726750546384 140726750528928 140491185200887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
/proc/28344/statm: 3495183 18903 3167 1 0 3483476 0
[pid=28344/tid=28345] ppid=28342 vsize=13980732 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/28344/task/28345/stat : 28345 (java) R 28342 28342 11586 0 -1 4202560 8391 0 0 0 52 4 0 0 20 0 15 0 62609790 14316269568 18903 18446744073709551615 4194304 4196468 140726750546384 140491189437520 140490813238752 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28346] ppid=28342 vsize=13980732 memory=4644490224168293976 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28346/stat : 28346 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609791 14316269568 18903 18446744073709551615 4194304 4196468 140726750546384 140491142167696 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28347] ppid=28342 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28347/stat : 28347 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609791 14316269568 18903 18446744073709551615 4194304 4196468 140726750546384 140491141114896 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28348] ppid=28342 vsize=13980732 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28348/stat : 28348 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609791 14316269568 18903 18446744073709551615 4194304 4196468 140726750546384 140491140062096 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28349] ppid=28342 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28349/stat : 28349 (java) S 28342 28342 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62609791 14316269568 18903 18446744073709551615 4194304 4196468 140726750546384 140491139009296 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28350] ppid=28342 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28350/stat : 28350 (java) S 28342 28342 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62609792 14316269568 18903 18446744073709551615 4194304 4196468 140726750546384 140490730789232 140491185212034 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28351] ppid=28342 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28351/stat : 28351 (java) S 28342 28342 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62609793 14316269568 18903 18446744073709551615 4194304 4196468 140726750546384 140490661946400 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28352] ppid=28342 vsize=13980732 memory=2 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28352/stat : 28352 (java) S 28342 28342 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62609793 14316269568 18903 18446744073709551615 4194304 4196468 140726750546384 140490660893552 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28353] ppid=28342 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28353/stat : 28353 (java) S 28342 28342 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609796 14316269568 18903 18446744073709551615 4194304 4196468 140726750546384 140490659841872 140491185219483 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28354] ppid=28342 vsize=13980732 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/28344/task/28354/stat : 28354 (java) S 28342 28342 11586 0 -1 1077944384 1008 0 0 0 21 0 0 0 20 0 15 0 62609796 14316269568 18903 18446744073709551615 4194304 4196468 140726750546384 140490658790256 140491185212034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28355] ppid=28342 vsize=13980732 memory=13 CPUtime=0.25 cores=1,3,5,7
/proc/28344/task/28355/stat : 28355 (java) S 28342 28342 11586 0 -1 1077944384 1309 0 0 0 25 0 0 0 20 0 15 0 62609796 14316269568 18903 18446744073709551615 4194304 4196468 140726750546384 140490657737456 140491185212034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28356] ppid=28342 vsize=13980732 memory=3 CPUtime=0.3 cores=1,3,5,7
/proc/28344/task/28356/stat : 28356 (java) S 28342 28342 11586 0 -1 1077944384 1902 0 0 0 30 0 0 0 20 0 15 0 62609796 14316269568 18903 18446744073709551615 4194304 4196468 140726750546384 140490656684656 140491185212034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28357] ppid=28342 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28357/stat : 28357 (java) S 28342 28342 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609796 14316269568 18903 18446744073709551615 4194304 4196468 140726750546384 140490655632096 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28358] ppid=28342 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28358/stat : 28358 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609801 14316269568 18903 18446744073709551615 4194304 4196468 140726750546384 140490654579376 140491185212034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 76992 KiB

[startup+1.05776 s]
# the end of solver process 28342 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2.42597 s, system=0.070474 s

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

[startup+0.804643 s]
/proc/loadavg: 2.41 2.00 1.84 5/211 28358
/proc/meminfo: memFree=30180644/32770624 swapFree=67108860/67108860
[pid=28342] ppid=28339 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28342/stat : 28342 (xcsp3-exec) S 28339 28342 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62609783 9740288 345 18446744073709551615 4194304 5098028 140734890576160 140734890574264 139722039247484 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 34762752 140734890578296 140734890578501 140734890578501 140734890581995 0
/proc/28342/statm: 2378 345 289 221 0 87 0
[pid=28344] ppid=28342 vsize=13980732 memory=89252 CPUtime=1.7 cores=1,3,5,7
/proc/28344/stat : 28344 (java) S 28342 28342 11586 0 -1 1077944320 14308 0 0 0 165 5 0 0 20 0 15 0 62609790 14316269568 22313 18446744073709551615 4194304 4196468 140726750546384 140726750528928 140491185200887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
/proc/28344/statm: 3495183 22313 3170 1 0 3483476 0
[pid=28344/tid=28345] ppid=28342 vsize=13980732 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/28344/task/28345/stat : 28345 (java) R 28342 28342 11586 0 -1 4202560 8440 0 0 0 62 4 0 0 20 0 15 0 62609790 14316269568 22313 18446744073709551615 4194304 4196468 140726750546384 140491189439776 140491169281374 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28346] ppid=28342 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28346/stat : 28346 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609791 14316269568 22313 18446744073709551615 4194304 4196468 140726750546384 140491142167696 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28347] ppid=28342 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28347/stat : 28347 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609791 14316269568 22313 18446744073709551615 4194304 4196468 140726750546384 140491141114896 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28348] ppid=28342 vsize=13980732 memory=7809523229951467568 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28348/stat : 28348 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609791 14316269568 22313 18446744073709551615 4194304 4196468 140726750546384 140491140062096 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28349] ppid=28342 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28349/stat : 28349 (java) S 28342 28342 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62609791 14316269568 22313 18446744073709551615 4194304 4196468 140726750546384 140491139009296 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28350] ppid=28342 vsize=13980732 memory=-6223833200970833705 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28350/stat : 28350 (java) S 28342 28342 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62609792 14316269568 22313 18446744073709551615 4194304 4196468 140726750546384 140490730789232 140491185212034 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28351] ppid=28342 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28351/stat : 28351 (java) S 28342 28342 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62609793 14316269568 22313 18446744073709551615 4194304 4196468 140726750546384 140490661946400 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28352] ppid=28342 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28352/stat : 28352 (java) S 28342 28342 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62609793 14316269568 22313 18446744073709551615 4194304 4196468 140726750546384 140490660893552 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28353] ppid=28342 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28353/stat : 28353 (java) S 28342 28342 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609796 14316269568 22313 18446744073709551615 4194304 4196468 140726750546384 140490659841872 140491185219483 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28354] ppid=28342 vsize=13980732 memory=4068 CPUtime=0.29 cores=1,3,5,7
/proc/28344/task/28354/stat : 28354 (java) R 28342 28342 11586 0 -1 4202560 1049 0 0 0 29 0 0 0 20 0 15 0 62609796 14316269568 22313 18446744073709551615 4194304 4196468 140726750546384 140490658780640 140491166380010 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28355] ppid=28342 vsize=13980732 memory=1152 CPUtime=0.34 cores=1,3,5,7
/proc/28344/task/28355/stat : 28355 (java) R 28342 28342 11586 0 -1 4202560 1323 0 0 0 34 0 0 0 20 0 15 0 62609796 14316269568 22313 18446744073709551615 4194304 4196468 140726750546384 140490657737456 140491170316133 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28356] ppid=28342 vsize=13980732 memory=2716 CPUtime=0.38 cores=1,3,5,7
/proc/28344/task/28356/stat : 28356 (java) S 28342 28342 11586 0 -1 1077944384 2188 0 0 0 38 0 0 0 20 0 15 0 62609796 14316269568 22313 18446744073709551615 4194304 4196468 140726750546384 140490656684656 140491185212034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28357] ppid=28342 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28357/stat : 28357 (java) S 28342 28342 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609796 14316269568 22313 18446744073709551615 4194304 4196468 140726750546384 140490655632096 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28358] ppid=28342 vsize=13980732 memory=1373092 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28358/stat : 28358 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609801 14316269568 22313 18446744073709551615 4194304 4196468 140726750546384 140490654579376 140491185212034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 90632 KiB

[startup+1.00074 s]*
/proc/loadavg: 2.41 2.00 1.84 5/211 28358
/proc/meminfo: memFree=30124992/32770624 swapFree=67108860/67108860
[pid=28342] ppid=28339 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28342/stat : 28342 (xcsp3-exec) S 28339 28342 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62609783 9740288 345 18446744073709551615 4194304 5098028 140734890576160 140734890574264 139722039247484 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 34762752 140734890578296 140734890578501 140734890578501 140734890581995 0
/proc/28342/statm: 2378 345 289 221 0 87 0
[pid=28344] ppid=28342 vsize=13980732 memory=100300 CPUtime=2.37 cores=1,3,5,7
/proc/28344/stat : 28344 (java) S 28342 28342 11586 0 -1 1077944320 16569 0 0 0 231 6 0 0 20 0 15 0 62609790 14316269568 25075 18446744073709551615 4194304 4196468 140726750546384 140726750528928 140491185200887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
/proc/28344/statm: 3495183 25075 3175 1 0 3483476 0
[pid=28344/tid=28345] ppid=28342 vsize=13980732 memory=-6442228209218064741 CPUtime=0.87 cores=1,3,5,7
/proc/28344/task/28345/stat : 28345 (java) R 28342 28342 11586 0 -1 4202560 8516 0 0 0 83 4 0 0 20 0 15 0 62609790 14316269568 25075 18446744073709551615 4194304 4196468 140726750546384 140491189440112 140490817888576 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28346] ppid=28342 vsize=13980732 memory=3461491024038078089 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28346/stat : 28346 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609791 14316269568 25075 18446744073709551615 4194304 4196468 140726750546384 140491142167696 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28347] ppid=28342 vsize=13980732 memory=3467965047288179104 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28347/stat : 28347 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609791 14316269568 25075 18446744073709551615 4194304 4196468 140726750546384 140491141114896 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28348] ppid=28342 vsize=13980732 memory=2369 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28348/stat : 28348 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609791 14316269568 25075 18446744073709551615 4194304 4196468 140726750546384 140491140062096 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28349] ppid=28342 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28349/stat : 28349 (java) S 28342 28342 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62609791 14316269568 25075 18446744073709551615 4194304 4196468 140726750546384 140491139009296 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28350] ppid=28342 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28350/stat : 28350 (java) S 28342 28342 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62609792 14316269568 25075 18446744073709551615 4194304 4196468 140726750546384 140490730789232 140491185212034 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28351] ppid=28342 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28351/stat : 28351 (java) S 28342 28342 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62609793 14316269568 25075 18446744073709551615 4194304 4196468 140726750546384 140490661946400 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28352] ppid=28342 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28352/stat : 28352 (java) S 28342 28342 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62609793 14316269568 25075 18446744073709551615 4194304 4196468 140726750546384 140490660893552 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28353] ppid=28342 vsize=13980732 memory=280838516764816 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28353/stat : 28353 (java) S 28342 28342 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609796 14316269568 25075 18446744073709551615 4194304 4196468 140726750546384 140490659841872 140491185219483 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28354] ppid=28342 vsize=13980732 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/28344/task/28354/stat : 28354 (java) R 28342 28342 11586 0 -1 4202560 1887 0 0 0 49 0 0 0 20 0 15 0 62609796 14316269568 25075 18446744073709551615 4194304 4196468 140726750546384 140490658775720 140491165901993 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28355] ppid=28342 vsize=13980732 memory=67 CPUtime=0.54 cores=1,3,5,7
/proc/28344/task/28355/stat : 28355 (java) R 28342 28342 11586 0 -1 4202560 2280 0 0 0 54 0 0 0 20 0 15 0 62609796 14316269568 25075 18446744073709551615 4194304 4196468 140726750546384 140490657718472 140491170308569 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28356] ppid=28342 vsize=13980732 memory=280838666780864 CPUtime=0.45 cores=1,3,5,7
/proc/28344/task/28356/stat : 28356 (java) R 28342 28342 11586 0 -1 1077944384 2578 0 0 0 45 0 0 0 20 0 15 0 62609796 14316269568 25075 18446744073709551615 4194304 4196468 140726750546384 140490656684656 140491185212034 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28357] ppid=28342 vsize=13980732 memory=67 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28357/stat : 28357 (java) S 28342 28342 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609796 14316269568 25075 18446744073709551615 4194304 4196468 140726750546384 140490655632096 140491185211093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
[pid=28344/tid=28358] ppid=28342 vsize=13980732 memory=280838666785448 CPUtime=0 cores=1,3,5,7
/proc/28344/task/28358/stat : 28358 (java) S 28342 28342 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609801 14316269568 25075 18446744073709551615 4194304 4196468 140726750546384 140490654579376 140491185212034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16228352 140726750548401 140726750548577 140726750548577 140726750552015 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 101680 KiB

Child status: 0
Real time (s): 1.05782
CPU time (s): 2.49644
CPU user time (s): 2.42597
CPU system time (s): 0.070474
CPU usage (%): 235.999
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 101680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.42597
system time used= 0.070474
maximum resident set size= 103644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17286
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= 1739
involuntary context switches= 9


# summary of solver processes directly reported to runsolver:
#   pid: 28342
#   total CPU time (s): 2.49644
#   total CPU user time (s): 2.42597
#   total CPU system time (s): 0.070474

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030833 second user time and 0.053636 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-24-sum.xml
MD5SUM	e3989d840e6da5d4ed83bf18c49d4f4f
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.131742
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	2237
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":600}]
Minimum variable degree	3
Maximum variable degree	11
Distribution of variable degrees	[{"degree":3,"count":3},{"degree":4,"count":21},{"degree":5,"count":45},{"degree":6,"count":90},{"degree":7,"count":90},{"degree":8,"count":129},{"degree":9,"count":111},{"degree":10,"count":66},{"degree":11,"count":45}]
Minimum constraint arity	2
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":2,"count":2037},{"arity":3,"count":200}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2237}]
Optimization problem	NO
Type of objective
Trace number 4269769

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
