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 (7090 MiB free)
memory of node 1: 16384 MiB (10434 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292767-1532330571/watcher-4292767-1532330571 -o /tmp/evaluation-result-4292767-1532330571/solver-4292767-1532330571 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532328176-15599 --watchdog 2560 HOME/xcsp3-exec -seed 1066339202 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292767-1532330571.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15900, runsolver pid=15897
[startup+0.100142 s]*
/proc/loadavg: 1.91 1.91 1.85 3/218 15916
/proc/meminfo: memFree=17914768/32770624 swapFree=67108860/67108860
[pid=15900] ppid=15897 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15900/stat : 15900 (xcsp3-exec) S 15897 15900 9800 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 50619939 115843072 364 33554432000 4194304 5098028 140734701361488 140734701359592 139778623832700 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39837696 140734701364282 140734701364484 140734701364484 140734701367242 0
/proc/15900/statm: 28282 364 306 221 0 87 0
[pid=15902] ppid=15900 vsize=14082840 memory=28216 CPUtime=0.12 cores=1,3,5,7
/proc/15902/stat : 15902 (java) S 15900 15900 9800 0 -1 1077944320 5491 0 0 0 11 1 0 0 20 0 15 0 50619940 14420828160 7054 33554432000 4194304 4196468 140734317740576 140734317723120 139663722909431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
/proc/15902/statm: 3520710 7054 2973 1 0 3483008 0
[pid=15902/tid=15903] ppid=15900 vsize=14082840 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/15902/task/15903/stat : 15903 (java) R 15900 15900 9800 0 -1 4202560 3490 0 0 0 8 0 0 0 20 0 15 0 50619940 14420828160 7119 33554432000 4194304 4196468 140734317740576 139663727142704 139663360773882 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15904] ppid=15900 vsize=14082840 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15904/stat : 15904 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14420828160 7119 33554432000 4194304 4196468 140734317740576 139663319165328 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15905] ppid=15900 vsize=14082840 memory=140077982541440 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15905/stat : 15905 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14420828160 7119 33554432000 4194304 4196468 140734317740576 139663318112528 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15906] ppid=15900 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15906/stat : 15906 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14420828160 7119 33554432000 4194304 4196468 140734317740576 139663317060240 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15907] ppid=15900 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15907/stat : 15907 (java) S 15900 15900 9800 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50619941 14420828160 7119 33554432000 4194304 4196468 140734317740576 139663316007440 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15908] ppid=15900 vsize=14082840 memory=140077982541440 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15908/stat : 15908 (java) S 15900 15900 9800 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50619942 14420828160 7119 33554432000 4194304 4196468 140734317740576 139662702357104 139663722920578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15909] ppid=15900 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15909/stat : 15909 (java) S 15900 15900 9800 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50619943 14420828160 7119 33554432000 4194304 4196468 140734317740576 139662701303072 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15910] ppid=15900 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15910/stat : 15910 (java) S 15900 15900 9800 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50619943 14420828160 7119 33554432000 4194304 4196468 140734317740576 139662700250736 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15911] ppid=15900 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15911/stat : 15911 (java) S 15900 15900 9800 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50619945 14420828160 7119 33554432000 4194304 4196468 140734317740576 139662699199056 139663722928027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15912] ppid=15900 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15912/stat : 15912 (java) S 15900 15900 9800 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 50619945 14420828160 7119 33554432000 4194304 4196468 140734317740576 139662698145904 139663722920578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15913] ppid=15900 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15913/stat : 15913 (java) S 15900 15900 9800 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 50619945 14420828160 7185 33554432000 4194304 4196468 140734317740576 139662697093104 139663722920578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15914] ppid=15900 vsize=14082840 memory=140077982541440 CPUtime=0.01 cores=1,3,5,7
/proc/15902/task/15914/stat : 15914 (java) R 15900 15900 9800 0 -1 4202560 330 0 0 0 1 0 0 0 20 0 15 0 50619945 14420828160 7185 33554432000 4194304 4196468 140734317740576 139662696040816 139663702876550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15915] ppid=15900 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15915/stat : 15915 (java) S 15900 15900 9800 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50619945 14420828160 7185 33554432000 4194304 4196468 140734317740576 139662694988256 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15916] ppid=15900 vsize=14082840 memory=140077982541440 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15916/stat : 15916 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619946 14420828160 7185 33554432000 4194304 4196468 140734317740576 139662693936048 139663722920578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29672 KiB
[startup+0.211608 s]*
/proc/loadavg: 1.91 1.91 1.85 3/218 15916
/proc/meminfo: memFree=17885172/32770624 swapFree=67108860/67108860
[pid=15900] ppid=15897 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15900/stat : 15900 (xcsp3-exec) S 15897 15900 9800 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 50619939 115843072 364 33554432000 4194304 5098028 140734701361488 140734701359592 139778623832700 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39837696 140734701364282 140734701364484 140734701364484 140734701367242 0
/proc/15900/statm: 28282 364 306 221 0 87 0
[pid=15902] ppid=15900 vsize=14087096 memory=40728 CPUtime=0.34 cores=1,3,5,7
/proc/15902/stat : 15902 (java) S 15900 15900 9800 0 -1 1077944320 8243 0 0 0 32 2 0 0 20 0 15 0 50619940 14425186304 10182 33554432000 4194304 4196468 140734317740576 140734317723120 139663722909431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
/proc/15902/statm: 3521774 10182 3198 1 0 3483008 0
[pid=15902/tid=15903] ppid=15900 vsize=14087096 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/15902/task/15903/stat : 15903 (java) R 15900 15900 9800 0 -1 4202560 5447 0 0 0 19 1 0 0 20 0 15 0 50619940 14425186304 10182 33554432000 4194304 4196468 140734317740576 139663727132704 139663715587445 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15904] ppid=15900 vsize=14087096 memory=12627 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15904/stat : 15904 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14425186304 10182 33554432000 4194304 4196468 140734317740576 139663319165328 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15905] ppid=15900 vsize=14087096 memory=140077982557543 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15905/stat : 15905 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14425186304 10182 33554432000 4194304 4196468 140734317740576 139663318112528 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15906] ppid=15900 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15906/stat : 15906 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14425186304 10182 33554432000 4194304 4196468 140734317740576 139663317060240 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15907] ppid=15900 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15907/stat : 15907 (java) S 15900 15900 9800 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50619941 14425186304 10182 33554432000 4194304 4196468 140734317740576 139663316007440 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15908] ppid=15900 vsize=14087096 memory=140077982541440 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15908/stat : 15908 (java) S 15900 15900 9800 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50619942 14425186304 10182 33554432000 4194304 4196468 140734317740576 139662702357104 139663722920578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15909] ppid=15900 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15909/stat : 15909 (java) S 15900 15900 9800 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50619943 14425186304 10182 33554432000 4194304 4196468 140734317740576 139662701303072 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15910] ppid=15900 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15910/stat : 15910 (java) S 15900 15900 9800 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50619943 14425186304 10182 33554432000 4194304 4196468 140734317740576 139662700250736 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15911] ppid=15900 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15911/stat : 15911 (java) S 15900 15900 9800 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50619945 14425186304 10182 33554432000 4194304 4196468 140734317740576 139662699199056 139663722928027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15912] ppid=15900 vsize=14087096 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15902/task/15912/stat : 15912 (java) S 15900 15900 9800 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 15 0 50619945 14425186304 10182 33554432000 4194304 4196468 140734317740576 139662698145904 139663722920578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15913] ppid=15900 vsize=14087096 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15902/task/15913/stat : 15913 (java) S 15900 15900 9800 0 -1 1077944384 281 0 0 0 2 0 0 0 20 0 15 0 50619945 14425186304 10182 33554432000 4194304 4196468 140734317740576 139662697093104 139663722920578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15914] ppid=15900 vsize=14087096 memory=140077982541440 CPUtime=0.07 cores=1,3,5,7
/proc/15902/task/15914/stat : 15914 (java) R 15900 15900 9800 0 -1 4202560 791 0 0 0 7 0 0 0 20 0 15 0 50619945 14425186304 10182 33554432000 4194304 4196468 140734317740576 139662696040816 139663722930778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15915] ppid=15900 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15915/stat : 15915 (java) S 15900 15900 9800 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50619945 14425186304 10182 33554432000 4194304 4196468 140734317740576 139662694988256 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15916] ppid=15900 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15916/stat : 15916 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619946 14425186304 10182 33554432000 4194304 4196468 140734317740576 139662693936048 139663722920578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42184 KiB
[startup+0.311962 s]*
/proc/loadavg: 1.91 1.91 1.85 6/218 15916
/proc/meminfo: memFree=17829756/32770624 swapFree=67108860/67108860
[pid=15900] ppid=15897 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15900/stat : 15900 (xcsp3-exec) S 15897 15900 9800 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 50619939 115843072 364 33554432000 4194304 5098028 140734701361488 140734701359592 139778623832700 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39837696 140734701364282 140734701364484 140734701364484 140734701367242 0
/proc/15900/statm: 28282 364 306 221 0 87 0
[pid=15902] ppid=15900 vsize=14087096 memory=47772 CPUtime=0.51 cores=1,3,5,7
/proc/15902/stat : 15902 (java) S 15900 15900 9800 0 -1 1077944320 9086 0 0 0 48 3 0 0 20 0 15 0 50619940 14425186304 11943 33554432000 4194304 4196468 140734317740576 140734317723120 139663722909431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
/proc/15902/statm: 3521774 11943 3231 1 0 3483008 0
[pid=15902/tid=15903] ppid=15900 vsize=14087096 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/15902/task/15903/stat : 15903 (java) R 15900 15900 9800 0 -1 4202560 6153 0 0 0 28 2 0 0 20 0 15 0 50619940 14425186304 11943 33554432000 4194304 4196468 140734317740576 139663727144272 139663706989918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15904] ppid=15900 vsize=14087096 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15904/stat : 15904 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14425186304 11943 33554432000 4194304 4196468 140734317740576 139663319165328 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15905] ppid=15900 vsize=14087096 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15905/stat : 15905 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14425186304 11943 33554432000 4194304 4196468 140734317740576 139663318112528 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15906] ppid=15900 vsize=14087096 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15906/stat : 15906 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14425186304 11943 33554432000 4194304 4196468 140734317740576 139663317060240 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15907] ppid=15900 vsize=14087096 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15907/stat : 15907 (java) S 15900 15900 9800 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50619941 14425186304 11943 33554432000 4194304 4196468 140734317740576 139663316007440 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15908] ppid=15900 vsize=14087096 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15908/stat : 15908 (java) S 15900 15900 9800 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50619942 14425186304 11943 33554432000 4194304 4196468 140734317740576 139662702357104 139663722920578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15909] ppid=15900 vsize=14087096 memory=4498404016631593313 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15909/stat : 15909 (java) S 15900 15900 9800 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50619943 14425186304 11943 33554432000 4194304 4196468 140734317740576 139662701303072 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15910] ppid=15900 vsize=14087096 memory=-6519613052471072158 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15910/stat : 15910 (java) S 15900 15900 9800 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50619943 14425186304 11943 33554432000 4194304 4196468 140734317740576 139662700250736 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15911] ppid=15900 vsize=14087096 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15911/stat : 15911 (java) S 15900 15900 9800 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50619945 14425186304 11943 33554432000 4194304 4196468 140734317740576 139662699199056 139663722928027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15912] ppid=15900 vsize=14087096 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/15902/task/15912/stat : 15912 (java) S 15900 15900 9800 0 -1 1077944384 430 0 0 0 4 0 0 0 20 0 15 0 50619945 14425186304 11943 33554432000 4194304 4196468 140734317740576 139662698145904 139663722920578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15913] ppid=15900 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15902/task/15913/stat : 15913 (java) S 15900 15900 9800 0 -1 1077944384 287 0 0 0 3 0 0 0 20 0 15 0 50619945 14425186304 11943 33554432000 4194304 4196468 140734317740576 139662697093104 139663722920578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15914] ppid=15900 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15902/task/15914/stat : 15914 (java) S 15900 15900 9800 0 -1 1077944384 923 0 0 0 12 0 0 0 20 0 15 0 50619945 14425186304 11943 33554432000 4194304 4196468 140734317740576 139662696040816 139663722920578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15915] ppid=15900 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15915/stat : 15915 (java) S 15900 15900 9800 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50619945 14425186304 11943 33554432000 4194304 4196468 140734317740576 139662694988256 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15916] ppid=15900 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15916/stat : 15916 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619946 14425186304 11943 33554432000 4194304 4196468 140734317740576 139662693936048 139663722920578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49228 KiB
[startup+0.700837 s]
/proc/loadavg: 1.91 1.91 1.85 6/218 15916
/proc/meminfo: memFree=17765724/32770624 swapFree=67108860/67108860
[pid=15900] ppid=15897 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15900/stat : 15900 (xcsp3-exec) S 15897 15900 9800 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 50619939 115843072 364 33554432000 4194304 5098028 140734701361488 140734701359592 139778623832700 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39837696 140734701364282 140734701364484 140734701364484 140734701367242 0
/proc/15900/statm: 28282 364 306 221 0 87 0
[pid=15902] ppid=15900 vsize=14089220 memory=91728 CPUtime=1.63 cores=1,3,5,7
/proc/15902/stat : 15902 (java) S 15900 15900 9800 0 -1 1077944320 12508 0 0 0 158 5 0 0 20 0 15 0 50619940 14427361280 22932 33554432000 4194304 4196468 140734317740576 140734317723120 139663722909431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
/proc/15902/statm: 3522305 22932 3334 1 0 3483520 0
[pid=15902/tid=15903] ppid=15900 vsize=14089220 memory=33 CPUtime=0.65 cores=1,3,5,7
/proc/15902/task/15903/stat : 15903 (java) R 15900 15900 9800 0 -1 4202560 6995 0 0 0 62 3 0 0 20 0 15 0 50619940 14427361280 22932 33554432000 4194304 4196468 140734317740576 139663727147712 139663722921366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15904] ppid=15900 vsize=14089220 memory=288230613197271346 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15904/stat : 15904 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14427361280 22932 33554432000 4194304 4196468 140734317740576 139663319165328 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15905] ppid=15900 vsize=14089220 memory=15262540770860192 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15905/stat : 15905 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14427361280 22932 33554432000 4194304 4196468 140734317740576 139663318112528 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15906] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15906/stat : 15906 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14427361280 22932 33554432000 4194304 4196468 140734317740576 139663317060240 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15907] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15907/stat : 15907 (java) S 15900 15900 9800 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50619941 14427361280 22932 33554432000 4194304 4196468 140734317740576 139663316007440 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15908] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15908/stat : 15908 (java) S 15900 15900 9800 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50619942 14427361280 22932 33554432000 4194304 4196468 140734317740576 139662702357104 139663722920578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15909] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15909/stat : 15909 (java) S 15900 15900 9800 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50619943 14427361280 22932 33554432000 4194304 4196468 140734317740576 139662701303072 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15910] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15910/stat : 15910 (java) S 15900 15900 9800 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50619943 14427361280 22932 33554432000 4194304 4196468 140734317740576 139662700250736 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15911] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15911/stat : 15911 (java) S 15900 15900 9800 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50619945 14427361280 22932 33554432000 4194304 4196468 140734317740576 139662699199056 139663722928027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15912] ppid=15900 vsize=14089220 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/15902/task/15912/stat : 15912 (java) S 15900 15900 9800 0 -1 1077944384 1345 0 0 0 33 0 0 0 20 0 15 0 50619945 14427361280 22932 33554432000 4194304 4196468 140734317740576 139662698145904 139663722920578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15913] ppid=15900 vsize=14089220 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/15902/task/15913/stat : 15913 (java) R 15900 15900 9800 0 -1 4202560 1205 0 0 0 31 0 0 0 20 0 15 0 50619945 14427361280 22932 33554432000 4194304 4196468 140734317740576 139662697070464 139663706296653 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15914] ppid=15900 vsize=14089220 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/15902/task/15914/stat : 15914 (java) R 15900 15900 9800 0 -1 1077944384 1655 0 0 0 30 0 0 0 20 0 15 0 50619945 14427361280 22932 33554432000 4194304 4196468 140734317740576 139662696040000 139663722919637 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15915] ppid=15900 vsize=14089220 memory=7235994222290298984 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15915/stat : 15915 (java) S 15900 15900 9800 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50619945 14427361280 22932 33554432000 4194304 4196468 140734317740576 139662694988256 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15916] ppid=15900 vsize=14089220 memory=7883665971270673753 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15916/stat : 15916 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619946 14427361280 22932 33554432000 4194304 4196468 140734317740576 139662693936048 139663722920578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 93184 KiB
[startup+1.15097 s]
# the end of solver process 15900 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.9637 s, system=0.06982 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801 s]
/proc/loadavg: 1.91 1.91 1.85 6/218 15916
/proc/meminfo: memFree=17765724/32770624 swapFree=67108860/67108860
[pid=15900] ppid=15897 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15900/stat : 15900 (xcsp3-exec) S 15897 15900 9800 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 50619939 115843072 364 33554432000 4194304 5098028 140734701361488 140734701359592 139778623832700 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39837696 140734701364282 140734701364484 140734701364484 140734701367242 0
/proc/15900/statm: 28282 364 306 221 0 87 0
[pid=15902] ppid=15900 vsize=14089220 memory=95836 CPUtime=1.96 cores=1,3,5,7
/proc/15902/stat : 15902 (java) S 15900 15900 9800 0 -1 1077944320 13601 0 0 0 191 5 0 0 20 0 15 0 50619940 14427361280 23959 33554432000 4194304 4196468 140734317740576 140734317723120 139663722909431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
/proc/15902/statm: 3522305 23959 3345 1 0 3483520 0
[pid=15902/tid=15903] ppid=15900 vsize=14089220 memory=1952 CPUtime=0.75 cores=1,3,5,7
/proc/15902/task/15903/stat : 15903 (java) R 15900 15900 9800 0 -1 4202560 7001 0 0 0 72 3 0 0 20 0 15 0 50619940 14427361280 23959 33554432000 4194304 4196468 140734317740576 139663727148496 139663364779197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15904] ppid=15900 vsize=14089220 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15904/stat : 15904 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14427361280 23959 33554432000 4194304 4196468 140734317740576 139663319165328 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15905] ppid=15900 vsize=14089220 memory=792 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15905/stat : 15905 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14427361280 23959 33554432000 4194304 4196468 140734317740576 139663318112528 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15906] ppid=15900 vsize=14089220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15906/stat : 15906 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14427361280 23959 33554432000 4194304 4196468 140734317740576 139663317060240 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15907] ppid=15900 vsize=14089220 memory=8392 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15907/stat : 15907 (java) S 15900 15900 9800 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50619941 14427361280 23959 33554432000 4194304 4196468 140734317740576 139663316007440 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15908] ppid=15900 vsize=14089220 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15908/stat : 15908 (java) S 15900 15900 9800 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50619942 14427361280 23959 33554432000 4194304 4196468 140734317740576 139662702357104 139663722920578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15909] ppid=15900 vsize=14089220 memory=5668 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15909/stat : 15909 (java) S 15900 15900 9800 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50619943 14427361280 23959 33554432000 4194304 4196468 140734317740576 139662701303072 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15910] ppid=15900 vsize=14089220 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15910/stat : 15910 (java) S 15900 15900 9800 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50619943 14427361280 23959 33554432000 4194304 4196468 140734317740576 139662700250736 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15911] ppid=15900 vsize=14089220 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15911/stat : 15911 (java) S 15900 15900 9800 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50619945 14427361280 23959 33554432000 4194304 4196468 140734317740576 139662699199056 139663722928027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15912] ppid=15900 vsize=14089220 memory=1204 CPUtime=0.42 cores=1,3,5,7
/proc/15902/task/15912/stat : 15912 (java) R 15900 15900 9800 0 -1 4202560 1753 0 0 0 42 0 0 0 20 0 15 0 50619945 14427361280 23959 33554432000 4194304 4196468 140734317740576 139662698146032 139663708017134 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15913] ppid=15900 vsize=14089220 memory=15872 CPUtime=0.41 cores=1,3,5,7
/proc/15902/task/15913/stat : 15913 (java) R 15900 15900 9800 0 -1 4202560 1794 0 0 0 41 0 0 0 20 0 15 0 50619945 14427361280 23959 33554432000 4194304 4196468 140734317740576 139662697083024 139663702155321 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15914] ppid=15900 vsize=14089220 memory=4008 CPUtime=0.34 cores=1,3,5,7
/proc/15902/task/15914/stat : 15914 (java) S 15900 15900 9800 0 -1 1077944384 1745 0 0 0 34 0 0 0 20 0 15 0 50619945 14427361280 23959 33554432000 4194304 4196468 140734317740576 139662696040816 139663722920578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15915] ppid=15900 vsize=14089220 memory=31076 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15915/stat : 15915 (java) S 15900 15900 9800 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50619945 14427361280 23959 33554432000 4194304 4196468 140734317740576 139662694988256 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15916] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15916/stat : 15916 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619946 14427361280 23959 33554432000 4194304 4196468 140734317740576 139662693936048 139663722920578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
Current children cumulated CPU time: 1.96 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 97292 KiB
[startup+1.00087 s]*
/proc/loadavg: 1.91 1.91 1.85 5/218 15916
/proc/meminfo: memFree=17746556/32770624 swapFree=67108860/67108860
[pid=15900] ppid=15897 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15900/stat : 15900 (xcsp3-exec) S 15897 15900 9800 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 50619939 115843072 364 33554432000 4194304 5098028 140734701361488 140734701359592 139778623832700 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39837696 140734701364282 140734701364484 140734701364484 140734701367242 0
/proc/15900/statm: 28282 364 306 221 0 87 0
[pid=15902] ppid=15900 vsize=14089220 memory=97980 CPUtime=2.61 cores=1,3,5,7
/proc/15902/stat : 15902 (java) S 15900 15900 9800 0 -1 1077944320 14078 0 0 0 256 5 0 0 20 0 15 0 50619940 14427361280 24495 33554432000 4194304 4196468 140734317740576 140734317723120 139663722909431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
/proc/15902/statm: 3522305 24495 3347 1 0 3483520 0
[pid=15902/tid=15903] ppid=15900 vsize=14089220 memory=6791534058613427641 CPUtime=0.96 cores=1,3,5,7
/proc/15902/task/15903/stat : 15903 (java) R 15900 15900 9800 0 -1 4202560 7002 0 0 0 93 3 0 0 20 0 15 0 50619940 14427361280 24495 33554432000 4194304 4196468 140734317740576 139663727145776 139663365056149 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15904] ppid=15900 vsize=14089220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15904/stat : 15904 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14427361280 24495 33554432000 4194304 4196468 140734317740576 139663319165328 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15905] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15905/stat : 15905 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14427361280 24495 33554432000 4194304 4196468 140734317740576 139663318112528 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15906] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15906/stat : 15906 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14427361280 24495 33554432000 4194304 4196468 140734317740576 139663317060240 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15907] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15907/stat : 15907 (java) S 15900 15900 9800 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50619941 14427361280 24495 33554432000 4194304 4196468 140734317740576 139663316007440 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15908] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15908/stat : 15908 (java) S 15900 15900 9800 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50619942 14427361280 24495 33554432000 4194304 4196468 140734317740576 139662702357104 139663722920578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15909] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15909/stat : 15909 (java) S 15900 15900 9800 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50619943 14427361280 24495 33554432000 4194304 4196468 140734317740576 139662701303072 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15910] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15910/stat : 15910 (java) S 15900 15900 9800 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50619943 14427361280 24495 33554432000 4194304 4196468 140734317740576 139662700250736 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15911] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15911/stat : 15911 (java) S 15900 15900 9800 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50619945 14427361280 24495 33554432000 4194304 4196468 140734317740576 139662699199056 139663722928027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15912] ppid=15900 vsize=14089220 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/15902/task/15912/stat : 15912 (java) R 15900 15900 9800 0 -1 4202560 1905 0 0 0 63 0 0 0 20 0 15 0 50619945 14427361280 24495 33554432000 4194304 4196468 140734317740576 139662698131784 139663702761459 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15913] ppid=15900 vsize=14089220 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/15902/task/15913/stat : 15913 (java) R 15900 15900 9800 0 -1 4202560 1975 0 0 0 62 0 0 0 20 0 15 0 50619945 14427361280 24495 33554432000 4194304 4196468 140734317740576 139662697092288 139663706409637 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15914] ppid=15900 vsize=14089220 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/15902/task/15914/stat : 15914 (java) R 15900 15900 9800 0 -1 1077944384 1888 0 0 0 36 0 0 0 20 0 15 0 50619945 14427361280 24495 33554432000 4194304 4196468 140734317740576 139662696040816 139663722920578 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15915] ppid=15900 vsize=14089220 memory=-2317720213663851332 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15915/stat : 15915 (java) S 15900 15900 9800 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50619945 14427361280 24495 33554432000 4194304 4196468 140734317740576 139662694988256 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15916] ppid=15900 vsize=14089220 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15916/stat : 15916 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619946 14427361280 24495 33554432000 4194304 4196468 140734317740576 139662693936048 139663722920578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 99436 KiB
[startup+1.11059 s]
/proc/loadavg: 1.91 1.91 1.85 5/218 15916
/proc/meminfo: memFree=17746556/32770624 swapFree=67108860/67108860
[pid=15900] ppid=15897 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15900/stat : 15900 (xcsp3-exec) S 15897 15900 9800 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 50619939 115843072 364 33554432000 4194304 5098028 140734701361488 140734701359592 139778623832700 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39837696 140734701364282 140734701364484 140734701364484 140734701367242 0
/proc/15900/statm: 28282 364 306 221 0 87 0
[pid=15902] ppid=15900 vsize=14089220 memory=102728 CPUtime=2.94 cores=1,3,5,7
/proc/15902/stat : 15902 (java) S 15900 15900 9800 0 -1 1077944320 18920 0 0 0 288 6 0 0 20 0 15 0 50619940 14427361280 25682 33554432000 4194304 4196468 140734317740576 140734317723120 139663722909431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
/proc/15902/statm: 3522305 25682 3347 1 0 3483520 0
[pid=15902/tid=15903] ppid=15900 vsize=14089220 memory=33 CPUtime=1.06 cores=1,3,5,7
/proc/15902/task/15903/stat : 15903 (java) R 15900 15900 9800 0 -1 4202560 7377 0 0 0 103 3 0 0 20 0 15 0 50619940 14427361280 25682 33554432000 4194304 4196468 140734317740576 139663727144784 139663364864464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15904] ppid=15900 vsize=14089220 memory=288230613197271346 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15904/stat : 15904 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14427361280 25682 33554432000 4194304 4196468 140734317740576 139663319165328 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15905] ppid=15900 vsize=14089220 memory=15262540770860192 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15905/stat : 15905 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14427361280 25682 33554432000 4194304 4196468 140734317740576 139663318112528 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15906] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15906/stat : 15906 (java) S 15900 15900 9800 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50619941 14427361280 25682 33554432000 4194304 4196468 140734317740576 139663317060240 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15907] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15907/stat : 15907 (java) S 15900 15900 9800 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50619941 14427361280 25682 33554432000 4194304 4196468 140734317740576 139663316007440 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15908] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15908/stat : 15908 (java) S 15900 15900 9800 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 50619942 14427361280 25682 33554432000 4194304 4196468 140734317740576 139662702357104 139663722920578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15909] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15909/stat : 15909 (java) S 15900 15900 9800 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50619943 14427361280 25682 33554432000 4194304 4196468 140734317740576 139662701303072 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15910] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15910/stat : 15910 (java) S 15900 15900 9800 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50619943 14427361280 25682 33554432000 4194304 4196468 140734317740576 139662700250736 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15911] ppid=15900 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15911/stat : 15911 (java) S 15900 15900 9800 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50619945 14427361280 25682 33554432000 4194304 4196468 140734317740576 139662699199056 139663722928027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15912] ppid=15900 vsize=14089220 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/15902/task/15912/stat : 15912 (java) R 15900 15900 9800 0 -1 4202560 3782 0 0 0 73 0 0 0 20 0 15 0 50619945 14427361280 25682 33554432000 4194304 4196468 140734317740576 139662698129408 139663708016903 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15913] ppid=15900 vsize=14089220 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/15902/task/15913/stat : 15913 (java) R 15900 15900 9800 0 -1 4202560 4253 0 0 0 72 0 0 0 20 0 15 0 50619945 14427361280 25682 33554432000 4194304 4196468 140734317740576 139662697079128 139663704454977 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15914] ppid=15900 vsize=14089220 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/15902/task/15914/stat : 15914 (java) S 15900 15900 9800 0 -1 1077944384 2188 0 0 0 38 1 0 0 20 0 15 0 50619945 14427361280 25682 33554432000 4194304 4196468 140734317740576 139662696040816 139663722920578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15915] ppid=15900 vsize=14089220 memory=7235994222290298984 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15915/stat : 15915 (java) S 15900 15900 9800 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50619945 14427361280 25682 33554432000 4194304 4196468 140734317740576 139662694988256 139663722919637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
[pid=15902/tid=15916] ppid=15900 vsize=14089220 memory=7883665971270673753 CPUtime=0 cores=1,3,5,7
/proc/15902/task/15916/stat : 15916 (java) S 15900 15900 9800 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50619946 14427361280 25682 33554432000 4194304 4196468 140734317740576 139662693936048 139663722920578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28205056 140734317749377 140734317749553 140734317749553 140734317752271 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 104184 KiB
Child status: 0
Real time (s): 1.15101
CPU time (s): 3.03352
CPU user time (s): 2.9637
CPU system time (s): 0.06982
CPU usage (%): 263.552
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 104184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.9637
system time used= 0.06982
maximum resident set size= 105300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19751
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= 1697
involuntary context switches= 29
# summary of solver processes directly reported to runsolver:
# pid: 15900
# total CPU time (s): 3.03352
# total CPU user time (s): 2.9637
# total CPU system time (s): 0.06982
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.02588 second user time and 0.06271 second system time
The end