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 (9877 MiB free)
memory of node 1: 16384 MiB (12010 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282985-1503212955/watcher-4282985-1503212955 -o /tmp/evaluation-result-4282985-1503212955/solver-4282985-1503212955 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node150-1503208459-5116 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1236898330 HOME/instance-4282985-1503212955.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=8190, runsolver pid=8187
Current StackSize limit: 8192 KiB
[startup+0.100643 s]*
/proc/loadavg: 2.33 2.05 1.94 3/217 8206
/proc/meminfo: memFree=22396604/32770624 swapFree=67108860/67108860
[pid=8190] ppid=8187 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8190/stat : 8190 (xcsp3-exec) S 8187 8190 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154376446 9740288 346 33554432000 4194304 5098028 140728035236432 140728035234536 140491978261116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9224192 140728035243124 140728035243328 140728035243328 140728035246059 0
/proc/8190/statm: 2378 346 289 221 0 87 0
[pid=8192] ppid=8190 vsize=13978596 memory=27000 CPUtime=0.12 cores=0,2,4,6
/proc/8192/stat : 8192 (java) S 8190 8190 5085 0 -1 1077944320 5167 0 0 0 11 1 0 0 20 0 15 0 154376446 14314082304 6750 33554432000 4194304 4196468 140725068616960 140725068599504 140257088585463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
/proc/8192/statm: 3494649 6750 2858 1 0 3482966 0
[pid=8192/tid=8193] ppid=8190 vsize=13978596 memory=8116511957895582555 CPUtime=0.09 cores=0,2,4,6
/proc/8192/task/8193/stat : 8193 (java) R 8190 8190 5085 0 -1 4202560 3130 0 0 0 9 0 0 0 20 0 15 0 154376446 14314082304 6750 33554432000 4194304 4196468 140725068616960 140257092818736 140257066582791 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8194] ppid=8190 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8194/stat : 8194 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14314082304 6750 33554432000 4194304 4196468 140725068616960 140256684735632 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8195] ppid=8190 vsize=13978596 memory=140138552604288 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8195/stat : 8195 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14314082304 6750 33554432000 4194304 4196468 140725068616960 140256683682832 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8196] ppid=8190 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8196/stat : 8196 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14314082304 6750 33554432000 4194304 4196468 140725068616960 140256682630032 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8197] ppid=8190 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8197/stat : 8197 (java) S 8190 8190 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154376447 14314082304 6750 33554432000 4194304 4196468 140725068616960 140256681577232 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8198] ppid=8190 vsize=13978596 memory=140138552604288 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8198/stat : 8198 (java) S 8190 8190 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154376448 14314082304 6750 33554432000 4194304 4196468 140725068616960 140256562833776 140257088596610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8199] ppid=8190 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8199/stat : 8199 (java) S 8190 8190 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154376449 14314082304 6750 33554432000 4194304 4196468 140725068616960 140256561779744 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8200] ppid=8190 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8200/stat : 8200 (java) S 8190 8190 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154376449 14314082304 6750 33554432000 4194304 4196468 140725068616960 140256560726896 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8201] ppid=8190 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8201/stat : 8201 (java) S 8190 8190 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376451 14314082304 6816 33554432000 4194304 4196468 140725068616960 140256559675216 140257088604059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8202] ppid=8190 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8202/stat : 8202 (java) S 8190 8190 5085 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 154376451 14314082304 6816 33554432000 4194304 4196468 140725068616960 140256558623600 140257088596610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8203] ppid=8190 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8203/stat : 8203 (java) S 8190 8190 5085 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 154376451 14314082304 6816 33554432000 4194304 4196468 140725068616960 140256557570800 140257088596610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8204] ppid=8190 vsize=13978596 memory=140138552604288 CPUtime=0.01 cores=0,2,4,6
/proc/8192/task/8204/stat : 8204 (java) R 8190 8190 5085 0 -1 4202560 339 0 0 0 1 0 0 0 20 0 15 0 154376451 14314082304 6816 33554432000 4194304 4196468 140725068616960 140256556518000 140257067526931 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8205] ppid=8190 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8205/stat : 8205 (java) S 8190 8190 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376451 14314082304 6816 33554432000 4194304 4196468 140725068616960 140256555465440 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8206] ppid=8190 vsize=13978596 memory=140138552604288 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8206/stat : 8206 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376452 14314082304 6816 33554432000 4194304 4196468 140725068616960 140256554412720 140257088596610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28384 KiB
[startup+0.210735 s]*
/proc/loadavg: 2.33 2.05 1.94 3/217 8206
/proc/meminfo: memFree=22386432/32770624 swapFree=67108860/67108860
[pid=8190] ppid=8187 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8190/stat : 8190 (xcsp3-exec) S 8187 8190 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154376446 9740288 346 33554432000 4194304 5098028 140728035236432 140728035234536 140491978261116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9224192 140728035243124 140728035243328 140728035243328 140728035246059 0
/proc/8190/statm: 2378 346 289 221 0 87 0
[pid=8192] ppid=8190 vsize=13982852 memory=39280 CPUtime=0.33 cores=0,2,4,6
/proc/8192/stat : 8192 (java) S 8190 8190 5085 0 -1 1077944320 7892 0 0 0 31 2 0 0 20 0 15 0 154376446 14318440448 9820 33554432000 4194304 4196468 140725068616960 140725068599504 140257088585463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
/proc/8192/statm: 3495713 9820 3060 1 0 3482966 0
[pid=8192/tid=8193] ppid=8190 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/8192/task/8193/stat : 8193 (java) R 8190 8190 5085 0 -1 4202560 4870 0 0 0 19 1 0 0 20 0 15 0 154376446 14318440448 9820 33554432000 4194304 4196468 140725068616960 140257092806456 140257072665950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8194] ppid=8190 vsize=13982852 memory=9010 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8194/stat : 8194 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14318440448 9820 33554432000 4194304 4196468 140725068616960 140256684735632 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8195] ppid=8190 vsize=13982852 memory=140138553375867 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8195/stat : 8195 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14318440448 9820 33554432000 4194304 4196468 140725068616960 140256683682832 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8196] ppid=8190 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8196/stat : 8196 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14318440448 9820 33554432000 4194304 4196468 140725068616960 140256682630032 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8197] ppid=8190 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8197/stat : 8197 (java) S 8190 8190 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154376447 14318440448 9820 33554432000 4194304 4196468 140725068616960 140256681577232 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8198] ppid=8190 vsize=13982852 memory=140138552604288 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8198/stat : 8198 (java) S 8190 8190 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154376448 14318440448 9820 33554432000 4194304 4196468 140725068616960 140256562833776 140257088596610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8199] ppid=8190 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8199/stat : 8199 (java) S 8190 8190 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154376449 14318440448 9820 33554432000 4194304 4196468 140725068616960 140256561779744 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8200] ppid=8190 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8200/stat : 8200 (java) S 8190 8190 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154376449 14318440448 9820 33554432000 4194304 4196468 140725068616960 140256560726896 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8201] ppid=8190 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8201/stat : 8201 (java) S 8190 8190 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376451 14318440448 9820 33554432000 4194304 4196468 140725068616960 140256559675216 140257088604059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8202] ppid=8190 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8192/task/8202/stat : 8202 (java) S 8190 8190 5085 0 -1 1077944384 433 0 0 0 2 0 0 0 20 0 15 0 154376451 14318440448 9820 33554432000 4194304 4196468 140725068616960 140256558623600 140257088596610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8203] ppid=8190 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/8192/task/8203/stat : 8203 (java) S 8190 8190 5085 0 -1 1077944384 445 0 0 0 1 0 0 0 20 0 15 0 154376451 14318440448 9820 33554432000 4194304 4196468 140725068616960 140256557570800 140257088596610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8204] ppid=8190 vsize=13982852 memory=140138552604288 CPUtime=0.08 cores=0,2,4,6
/proc/8192/task/8204/stat : 8204 (java) S 8190 8190 5085 0 -1 1077944384 847 0 0 0 8 0 0 0 20 0 15 0 154376451 14318440448 9820 33554432000 4194304 4196468 140725068616960 140256556518000 140257088596610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8205] ppid=8190 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8205/stat : 8205 (java) S 8190 8190 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376451 14318440448 9820 33554432000 4194304 4196468 140725068616960 140256555465440 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8206] ppid=8190 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8206/stat : 8206 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376452 14318440448 9820 33554432000 4194304 4196468 140725068616960 140256554412720 140257088596610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 40664 KiB
[startup+0.310584 s]*
/proc/loadavg: 2.33 2.05 1.94 4/217 8206
/proc/meminfo: memFree=22379112/32770624 swapFree=67108860/67108860
[pid=8190] ppid=8187 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8190/stat : 8190 (xcsp3-exec) S 8187 8190 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154376446 9740288 346 33554432000 4194304 5098028 140728035236432 140728035234536 140491978261116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9224192 140728035243124 140728035243328 140728035243328 140728035246059 0
/proc/8190/statm: 2378 346 289 221 0 87 0
[pid=8192] ppid=8190 vsize=13982852 memory=47228 CPUtime=0.5 cores=0,2,4,6
/proc/8192/stat : 8192 (java) S 8190 8190 5085 0 -1 1077944320 8938 0 0 0 47 3 0 0 20 0 15 0 154376446 14318440448 11807 33554432000 4194304 4196468 140725068616960 140725068599504 140257088585463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
/proc/8192/statm: 3495713 11807 3126 1 0 3482966 0
[pid=8192/tid=8193] ppid=8190 vsize=13982852 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/8192/task/8193/stat : 8193 (java) R 8190 8190 5085 0 -1 4202560 5593 0 0 0 27 2 0 0 20 0 15 0 154376446 14318440448 11821 33554432000 4194304 4196468 140725068616960 140257092823184 140257072665950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8194] ppid=8190 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8194/stat : 8194 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14318440448 11821 33554432000 4194304 4196468 140725068616960 140256684735632 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8195] ppid=8190 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8195/stat : 8195 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14318440448 11821 33554432000 4194304 4196468 140725068616960 140256683682832 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8196] ppid=8190 vsize=13982852 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8196/stat : 8196 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14318440448 11821 33554432000 4194304 4196468 140725068616960 140256682630032 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8197] ppid=8190 vsize=13982852 memory=7307460116655545206 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8197/stat : 8197 (java) S 8190 8190 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154376447 14318440448 11821 33554432000 4194304 4196468 140725068616960 140256681577232 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8198] ppid=8190 vsize=13982852 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8198/stat : 8198 (java) S 8190 8190 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154376448 14318440448 11821 33554432000 4194304 4196468 140725068616960 140256562833776 140257088596610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8199] ppid=8190 vsize=13982852 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8199/stat : 8199 (java) S 8190 8190 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154376449 14318440448 11821 33554432000 4194304 4196468 140725068616960 140256561779744 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8200] ppid=8190 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8200/stat : 8200 (java) S 8190 8190 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154376449 14318440448 11821 33554432000 4194304 4196468 140725068616960 140256560726896 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8201] ppid=8190 vsize=13982852 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8201/stat : 8201 (java) S 8190 8190 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376451 14318440448 11821 33554432000 4194304 4196468 140725068616960 140256559675216 140257088604059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8202] ppid=8190 vsize=13982852 memory=7100839887185294217 CPUtime=0.04 cores=0,2,4,6
/proc/8192/task/8202/stat : 8202 (java) S 8190 8190 5085 0 -1 1077944384 546 0 0 0 4 0 0 0 20 0 15 0 154376451 14318440448 11821 33554432000 4194304 4196468 140725068616960 140256558623600 140257088596610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8203] ppid=8190 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8192/task/8203/stat : 8203 (java) S 8190 8190 5085 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 15 0 154376451 14318440448 11821 33554432000 4194304 4196468 140725068616960 140256557570800 140257088596610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8204] ppid=8190 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8192/task/8204/stat : 8204 (java) R 8190 8190 5085 0 -1 4202560 1035 0 0 0 12 0 0 0 20 0 15 0 154376451 14318440448 11821 33554432000 4194304 4196468 140725068616960 140256556512736 140257088606810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8205] ppid=8190 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8205/stat : 8205 (java) S 8190 8190 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376451 14318440448 11821 33554432000 4194304 4196468 140725068616960 140256555465440 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8206] ppid=8190 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8206/stat : 8206 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376452 14318440448 11821 33554432000 4194304 4196468 140725068616960 140256554412720 140257088596610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48612 KiB
[startup+0.701568 s]
/proc/loadavg: 2.33 2.05 1.94 5/217 8206
/proc/meminfo: memFree=22365328/32770624 swapFree=67108860/67108860
[pid=8190] ppid=8187 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8190/stat : 8190 (xcsp3-exec) S 8187 8190 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154376446 9740288 346 33554432000 4194304 5098028 140728035236432 140728035234536 140491978261116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9224192 140728035243124 140728035243328 140728035243328 140728035246059 0
/proc/8190/statm: 2378 346 289 221 0 87 0
[pid=8192] ppid=8190 vsize=13984976 memory=68760 CPUtime=1.56 cores=0,2,4,6
/proc/8192/stat : 8192 (java) S 8190 8190 5085 0 -1 1077944320 12981 0 0 0 151 5 0 0 20 0 15 0 154376446 14320615424 17190 33554432000 4194304 4196468 140725068616960 140725068599504 140257088585463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
/proc/8192/statm: 3496244 17190 3213 1 0 3483478 0
[pid=8192/tid=8193] ppid=8190 vsize=13984976 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/8192/task/8193/stat : 8193 (java) R 8190 8190 5085 0 -1 4202560 6351 0 0 0 64 3 0 0 20 0 15 0 154376446 14320615424 17190 33554432000 4194304 4196468 140725068616960 140257092816720 140256726324327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8194] ppid=8190 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8194/stat : 8194 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14320615424 17190 33554432000 4194304 4196468 140725068616960 140256684735632 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8195] ppid=8190 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8195/stat : 8195 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14320615424 17190 33554432000 4194304 4196468 140725068616960 140256683682832 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8196] ppid=8190 vsize=13984976 memory=43028 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8196/stat : 8196 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14320615424 17190 33554432000 4194304 4196468 140725068616960 140256682630032 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8197] ppid=8190 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8197/stat : 8197 (java) S 8190 8190 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154376447 14320615424 17190 33554432000 4194304 4196468 140725068616960 140256681577232 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8198] ppid=8190 vsize=13984976 memory=2396 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8198/stat : 8198 (java) S 8190 8190 5085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154376448 14320615424 17190 33554432000 4194304 4196468 140725068616960 140256562833776 140257088596610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8199] ppid=8190 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8199/stat : 8199 (java) S 8190 8190 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154376449 14320615424 17190 33554432000 4194304 4196468 140725068616960 140256561779744 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8200] ppid=8190 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8200/stat : 8200 (java) S 8190 8190 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154376449 14320615424 17190 33554432000 4194304 4196468 140725068616960 140256560726896 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8201] ppid=8190 vsize=13984976 memory=11112 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8201/stat : 8201 (java) S 8190 8190 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376451 14320615424 17190 33554432000 4194304 4196468 140725068616960 140256559675216 140257088604059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8202] ppid=8190 vsize=13984976 memory=5776 CPUtime=0.3 cores=0,2,4,6
/proc/8192/task/8202/stat : 8202 (java) R 8190 8190 5085 0 -1 4202560 2287 0 0 0 30 0 0 0 20 0 15 0 154376451 14320615424 17190 33554432000 4194304 4196468 140725068616960 140256558623728 140257073709488 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8203] ppid=8190 vsize=13984976 memory=4616 CPUtime=0.27 cores=0,2,4,6
/proc/8192/task/8203/stat : 8203 (java) R 8190 8190 5085 0 -1 4202560 1399 0 0 0 27 0 0 0 20 0 15 0 154376451 14320615424 17190 33554432000 4194304 4196468 140725068616960 140256557557344 140257072481200 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8204] ppid=8190 vsize=13984976 memory=792 CPUtime=0.29 cores=0,2,4,6
/proc/8192/task/8204/stat : 8204 (java) S 8190 8190 5085 0 -1 1077944384 1637 0 0 0 29 0 0 0 20 0 15 0 154376451 14320615424 17190 33554432000 4194304 4196468 140725068616960 140256556518000 140257088596610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8205] ppid=8190 vsize=13984976 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8205/stat : 8205 (java) S 8190 8190 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376451 14320615424 17190 33554432000 4194304 4196468 140725068616960 140256555465440 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8206] ppid=8190 vsize=13984976 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8206/stat : 8206 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376452 14320615424 17190 33554432000 4194304 4196468 140725068616960 140256554412720 140257088596610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 70144 KiB
[startup+1.39425 s]
# the end of solver process 8190 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.52896 s, system=0.088873 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801572 s]
/proc/loadavg: 2.33 2.05 1.94 5/217 8206
/proc/meminfo: memFree=22365328/32770624 swapFree=67108860/67108860
[pid=8190] ppid=8187 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8190/stat : 8190 (xcsp3-exec) S 8187 8190 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154376446 9740288 346 33554432000 4194304 5098028 140728035236432 140728035234536 140491978261116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9224192 140728035243124 140728035243328 140728035243328 140728035246059 0
/proc/8190/statm: 2378 346 289 221 0 87 0
[pid=8192] ppid=8190 vsize=13984976 memory=72512 CPUtime=1.86 cores=0,2,4,6
/proc/8192/stat : 8192 (java) S 8190 8190 5085 0 -1 1077944320 13931 0 0 0 181 5 0 0 20 0 15 0 154376446 14320615424 18128 33554432000 4194304 4196468 140725068616960 140725068599504 140257088585463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
/proc/8192/statm: 3496244 18128 3213 1 0 3483478 0
[pid=8192/tid=8193] ppid=8190 vsize=13984976 memory=10640 CPUtime=0.77 cores=0,2,4,6
/proc/8192/task/8193/stat : 8193 (java) R 8190 8190 5085 0 -1 4202560 6351 0 0 0 74 3 0 0 20 0 15 0 154376446 14320615424 18128 33554432000 4194304 4196468 140725068616960 140257092824832 140256729569952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8194] ppid=8190 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8194/stat : 8194 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14320615424 18128 33554432000 4194304 4196468 140725068616960 140256684735632 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8195] ppid=8190 vsize=13984976 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8195/stat : 8195 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14320615424 18128 33554432000 4194304 4196468 140725068616960 140256683682832 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8196] ppid=8190 vsize=13984976 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8196/stat : 8196 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14320615424 18128 33554432000 4194304 4196468 140725068616960 140256682630032 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8197] ppid=8190 vsize=13984976 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8197/stat : 8197 (java) S 8190 8190 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154376447 14320615424 18128 33554432000 4194304 4196468 140725068616960 140256681577232 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8198] ppid=8190 vsize=13984976 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8198/stat : 8198 (java) S 8190 8190 5085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154376448 14320615424 18128 33554432000 4194304 4196468 140725068616960 140256562833776 140257088596610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8199] ppid=8190 vsize=13984976 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8199/stat : 8199 (java) S 8190 8190 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154376449 14320615424 18128 33554432000 4194304 4196468 140725068616960 140256561779744 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8200] ppid=8190 vsize=13984976 memory=15460 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8200/stat : 8200 (java) S 8190 8190 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154376449 14320615424 18128 33554432000 4194304 4196468 140725068616960 140256560726896 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8201] ppid=8190 vsize=13984976 memory=17668 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8201/stat : 8201 (java) S 8190 8190 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376451 14320615424 18128 33554432000 4194304 4196468 140725068616960 140256559675216 140257088604059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8202] ppid=8190 vsize=13984976 memory=19876 CPUtime=0.4 cores=0,2,4,6
/proc/8192/task/8202/stat : 8202 (java) R 8190 8190 5085 0 -1 4202560 2462 0 0 0 40 0 0 0 20 0 15 0 154376451 14320615424 18128 33554432000 4194304 4196468 140725068616960 140256558612032 140257072077189 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8203] ppid=8190 vsize=13984976 memory=22084 CPUtime=0.37 cores=0,2,4,6
/proc/8192/task/8203/stat : 8203 (java) R 8190 8190 5085 0 -1 4202560 2167 0 0 0 37 0 0 0 20 0 15 0 154376451 14320615424 18128 33554432000 4194304 4196468 140725068616960 140256557563432 140257068437672 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8204] ppid=8190 vsize=13984976 memory=24292 CPUtime=0.29 cores=0,2,4,6
/proc/8192/task/8204/stat : 8204 (java) S 8190 8190 5085 0 -1 1077944384 1644 0 0 0 29 0 0 0 20 0 15 0 154376451 14320615424 18128 33554432000 4194304 4196468 140725068616960 140256556518000 140257088596610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8205] ppid=8190 vsize=13984976 memory=26500 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8205/stat : 8205 (java) S 8190 8190 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376451 14320615424 18128 33554432000 4194304 4196468 140725068616960 140256555465440 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8206] ppid=8190 vsize=13984976 memory=28708 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8206/stat : 8206 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376452 14320615424 18128 33554432000 4194304 4196468 140725068616960 140256554412720 140257088596610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
Current children cumulated CPU time: 1.86 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 73896 KiB
[startup+1.20077 s]
/proc/loadavg: 2.33 2.05 1.94 5/217 8206
/proc/meminfo: memFree=22344060/32770624 swapFree=67108860/67108860
[pid=8190] ppid=8187 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8190/stat : 8190 (xcsp3-exec) S 8187 8190 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154376446 9740288 346 33554432000 4194304 5098028 140728035236432 140728035234536 140491978261116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9224192 140728035243124 140728035243328 140728035243328 140728035246059 0
/proc/8190/statm: 2378 346 289 221 0 87 0
[pid=8192] ppid=8190 vsize=13987756 memory=105080 CPUtime=3.08 cores=0,2,4,6
/proc/8192/stat : 8192 (java) S 8190 8190 5085 0 -1 1077944320 26299 0 0 0 301 7 0 0 20 0 15 0 154376446 14323462144 26270 33554432000 4194304 4196468 140725068616960 140725068599504 140257088585463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
/proc/8192/statm: 3496939 26270 3215 1 0 3484173 0
[pid=8192/tid=8193] ppid=8190 vsize=13987756 memory=16102567671239301 CPUtime=1.17 cores=0,2,4,6
/proc/8192/task/8193/stat : 8193 (java) R 8190 8190 5085 0 -1 4202560 6653 0 0 0 114 3 0 0 20 0 15 0 154376446 14323462144 26270 33554432000 4194304 4196468 140725068616960 140257092820256 140256730139174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8194] ppid=8190 vsize=13987756 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8194/stat : 8194 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14323462144 26270 33554432000 4194304 4196468 140725068616960 140256684735632 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8195] ppid=8190 vsize=13987756 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8195/stat : 8195 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14323462144 26270 33554432000 4194304 4196468 140725068616960 140256683682832 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8196] ppid=8190 vsize=13987756 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8196/stat : 8196 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14323462144 26270 33554432000 4194304 4196468 140725068616960 140256682630032 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8197] ppid=8190 vsize=13987756 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8197/stat : 8197 (java) S 8190 8190 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154376447 14323462144 26270 33554432000 4194304 4196468 140725068616960 140256681577232 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8198] ppid=8190 vsize=13987756 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8198/stat : 8198 (java) S 8190 8190 5085 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 154376448 14323462144 26270 33554432000 4194304 4196468 140725068616960 140256562833776 140257088596610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8199] ppid=8190 vsize=13987756 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8199/stat : 8199 (java) S 8190 8190 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154376449 14323462144 26270 33554432000 4194304 4196468 140725068616960 140256561779744 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8200] ppid=8190 vsize=13987756 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8200/stat : 8200 (java) S 8190 8190 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154376449 14323462144 26270 33554432000 4194304 4196468 140725068616960 140256560726896 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8201] ppid=8190 vsize=13987756 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8201/stat : 8201 (java) S 8190 8190 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376451 14323462144 26270 33554432000 4194304 4196468 140725068616960 140256559675216 140257088604059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8202] ppid=8190 vsize=13987756 memory=0 CPUtime=0.8 cores=0,2,4,6
/proc/8192/task/8202/stat : 8202 (java) R 8190 8190 5085 0 -1 4202560 6799 0 0 0 79 1 0 0 20 0 15 0 154376451 14323462144 26270 33554432000 4194304 4196468 140725068616960 140256558609352 140257069777447 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8203] ppid=8190 vsize=13987756 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/8192/task/8203/stat : 8203 (java) R 8190 8190 5085 0 -1 4202560 9537 0 0 0 75 1 0 0 20 0 15 0 154376451 14323462144 26270 33554432000 4194304 4196468 140725068616960 140256557555848 140257070129983 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8204] ppid=8190 vsize=13987756 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/8192/task/8204/stat : 8204 (java) S 8190 8190 5085 0 -1 1077944384 1987 0 0 0 31 0 0 0 20 0 15 0 154376451 14323462144 26270 33554432000 4194304 4196468 140725068616960 140256556518000 140257088596610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8205] ppid=8190 vsize=13987756 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8205/stat : 8205 (java) S 8190 8190 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376451 14323462144 26270 33554432000 4194304 4196468 140725068616960 140256555465440 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8206] ppid=8190 vsize=13987756 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8206/stat : 8206 (java) S 8190 8190 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376452 14323462144 26270 33554432000 4194304 4196468 140725068616960 140256554412720 140257088596610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 13997268 KiB
Current children cumulated memory: 106464 KiB
[startup+1.30076 s]
/proc/loadavg: 2.33 2.05 1.94 5/217 8206
/proc/meminfo: memFree=22344060/32770624 swapFree=67108860/67108860
[pid=8190] ppid=8187 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8190/stat : 8190 (xcsp3-exec) S 8187 8190 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154376446 9740288 346 33554432000 4194304 5098028 140728035236432 140728035234536 140491978261116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9224192 140728035243124 140728035243328 140728035243328 140728035246059 0
/proc/8190/statm: 2378 346 289 221 0 87 0
[pid=8192] ppid=8190 vsize=13987760 memory=113804 CPUtime=3.38 cores=0,2,4,6
/proc/8192/stat : 8192 (java) S 8190 8190 5085 0 -1 1077944320 28677 0 0 0 331 7 0 0 20 0 15 0 154376446 14323466240 28451 33554432000 4194304 4196468 140725068616960 140725068599504 140257088585463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
/proc/8192/statm: 3496940 28451 3215 1 0 3484174 0
[pid=8192/tid=8193] ppid=8190 vsize=13987760 memory=33 CPUtime=1.27 cores=0,2,4,6
/proc/8192/task/8193/stat : 8193 (java) R 8190 8190 5085 0 -1 4202560 6653 0 0 0 124 3 0 0 20 0 15 0 154376446 14323466240 28451 33554432000 4194304 4196468 140725068616960 140257092822520 140256729575640 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8194] ppid=8190 vsize=13987760 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8194/stat : 8194 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14323466240 28451 33554432000 4194304 4196468 140725068616960 140256684735632 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8195] ppid=8190 vsize=13987760 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8195/stat : 8195 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14323466240 28451 33554432000 4194304 4196468 140725068616960 140256683682832 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8196] ppid=8190 vsize=13987760 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8196/stat : 8196 (java) S 8190 8190 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376447 14323466240 28451 33554432000 4194304 4196468 140725068616960 140256682630032 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8197] ppid=8190 vsize=13987760 memory=280276815235312 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8197/stat : 8197 (java) S 8190 8190 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154376447 14323466240 28451 33554432000 4194304 4196468 140725068616960 140256681577232 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8198] ppid=8190 vsize=13987760 memory=9229 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8198/stat : 8198 (java) S 8190 8190 5085 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 154376448 14323466240 28451 33554432000 4194304 4196468 140725068616960 140256562833776 140257088596610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8199] ppid=8190 vsize=13987760 memory=26823 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8199/stat : 8199 (java) S 8190 8190 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154376449 14323466240 28451 33554432000 4194304 4196468 140725068616960 140256561779744 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8200] ppid=8190 vsize=13987760 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8200/stat : 8200 (java) S 8190 8190 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154376449 14323466240 28451 33554432000 4194304 4196468 140725068616960 140256560726896 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8201] ppid=8190 vsize=13987760 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8201/stat : 8201 (java) S 8190 8190 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376451 14323466240 28451 33554432000 4194304 4196468 140725068616960 140256559675216 140257088604059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8202] ppid=8190 vsize=13987760 memory=0 CPUtime=0.89 cores=0,2,4,6
/proc/8192/task/8202/stat : 8202 (java) R 8190 8190 5085 0 -1 4202560 8279 0 0 0 88 1 0 0 20 0 15 0 154376451 14323466240 28451 33554432000 4194304 4196468 140725068616960 140256558608808 140257067842038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8203] ppid=8190 vsize=13987760 memory=0 CPUtime=0.86 cores=0,2,4,6
/proc/8192/task/8203/stat : 8203 (java) R 8190 8190 5085 0 -1 4202560 10280 0 0 0 85 1 0 0 20 0 15 0 154376451 14323466240 28451 33554432000 4194304 4196468 140725068616960 140256557557432 140257070105142 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8204] ppid=8190 vsize=13987760 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/8192/task/8204/stat : 8204 (java) S 8190 8190 5085 0 -1 1077944384 2142 0 0 0 32 0 0 0 20 0 15 0 154376451 14323466240 28451 33554432000 4194304 4196468 140725068616960 140256556518000 140257088596610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8205] ppid=8190 vsize=13987760 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8205/stat : 8205 (java) S 8190 8190 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376451 14323466240 28451 33554432000 4194304 4196468 140725068616960 140256555465440 140257088595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
[pid=8192/tid=8206] ppid=8190 vsize=13987760 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8206/stat : 8206 (java) S 8190 8190 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376452 14323466240 28451 33554432000 4194304 4196468 140725068616960 140256554412720 140257088596610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39346176 140725068620957 140725068621132 140725068621132 140725068623823 0
Current children cumulated CPU time: 3.38 s
Current children cumulated vsize: 13997272 KiB
Current children cumulated memory: 115188 KiB
Child status: 0
Real time (s): 1.3943
CPU time (s): 3.61783
CPU user time (s): 3.52896
CPU system time (s): 0.088873
CPU usage (%): 259.473
Max. virtual memory (cumulated for all children) (KiB): 13997272
Max. memory (cumulated for all children) (KiB): 115188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.52896
system time used= 0.088873
maximum resident set size= 119072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30683
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= 1919
involuntary context switches= 19
# summary of solver processes directly reported to runsolver:
# pid: 8190
# total CPU time (s): 3.61783
# total CPU user time (s): 3.52896
# total CPU system time (s): 0.088873
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038411 second user time and 0.053776 second system time
The end