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 (15447 MiB free)
memory of node 1: 16384 MiB (14810 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282359-1503111969/watcher-4282359-1503111969 -o /tmp/evaluation-result-4282359-1503111969/solver-4282359-1503111969 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18171 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1192858667 HOME/instance-4282359-1503111969.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22149, runsolver pid=22146
[startup+0.100201 s]*
/proc/loadavg: 1.93 1.76 1.64 3/202 22156
/proc/meminfo: memFree=30978192/32770624 swapFree=67108860/67108860
[pid=22149] ppid=22146 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22149/stat : 22149 (xcsp3-exec) S 22146 22149 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 9603979 9740288 345 18446744073709551615 4194304 5098028 140726857847472 140726857845576 139781489902204 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 26271744 140726857851257 140726857851462 140726857851462 140726857854955 0
/proc/22149/statm: 2378 345 289 221 0 87 0
[pid=22151] ppid=22149 vsize=13441356 memory=15424 CPUtime=0.01 cores=0,2,4,6
/proc/22151/stat : 22151 (java) S 22149 22149 18108 0 -1 1077944320 3616 0 0 0 1 0 0 0 20 0 7 0 9603988 13763948544 3856 18446744073709551615 4194304 4196468 140730159430496 140730159413040 139804681793271 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
/proc/22151/statm: 3360339 3856 1962 1 0 3349836 0
[pid=22151/tid=22152] ppid=22149 vsize=13441356 memory=-8713483618642589536 CPUtime=0.01 cores=0,2,4,6
/proc/22151/task/22152/stat : 22152 (java) R 22149 22149 18108 0 -1 4202560 2420 0 0 0 1 0 0 0 20 0 7 0 9603988 13763948544 3856 18446744073709551615 4194304 4196468 140730159430496 139804686035728 139804665873758 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22153] ppid=22149 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (java) S 22149 22149 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 9603989 13763948544 3856 18446744073709551615 4194304 4196468 140730159430496 139804616227088 139804681803477 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22154] ppid=22149 vsize=13441356 memory=140371928036992 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22154/stat : 22154 (java) S 22149 22149 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 9603989 13763948544 3856 18446744073709551615 4194304 4196468 140730159430496 139804615174544 139804681803477 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22155] ppid=22149 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (java) S 22149 22149 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 9603989 13763948544 3922 18446744073709551615 4194304 4196468 140730159430496 139804614122000 139804681803477 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22156] ppid=22149 vsize=13441356 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (java) S 22149 22149 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 9603989 13763948544 3922 18446744073709551615 4194304 4196468 140730159430496 139804613069456 139804681803477 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22157] ppid=22149 vsize=13441356 memory=140371928036992 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22157/stat : 22157 (java) S 22149 22149 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 9603990 13763948544 3922 18446744073709551615 4194304 4196468 140730159430496 139804159724016 139804681804418 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 16804 KiB
[startup+0.209726 s]*
/proc/loadavg: 1.93 1.76 1.64 3/211 22165
/proc/meminfo: memFree=30967536/32770624 swapFree=67108860/67108860
[pid=22149] ppid=22146 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22149/stat : 22149 (xcsp3-exec) S 22146 22149 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 9603979 9740288 345 18446744073709551615 4194304 5098028 140726857847472 140726857845576 139781489902204 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 26271744 140726857851257 140726857851462 140726857851462 140726857854955 0
/proc/22149/statm: 2378 345 289 221 0 87 0
[pid=22151] ppid=22149 vsize=13974352 memory=27652 CPUtime=0.1 cores=0,2,4,6
/proc/22151/stat : 22151 (java) S 22149 22149 18108 0 -1 1077944320 5326 0 0 0 9 1 0 0 20 0 15 0 9603988 14309736448 6913 18446744073709551615 4194304 4196468 140730159430496 140730159413040 139804681793271 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
/proc/22151/statm: 3493588 6913 2752 1 0 3482964 0
[pid=22151/tid=22152] ppid=22149 vsize=13974352 memory=-6871798056524144002 CPUtime=0.08 cores=0,2,4,6
/proc/22151/task/22152/stat : 22152 (java) R 22149 22149 18108 0 -1 4202560 3475 0 0 0 8 0 0 0 20 0 15 0 9603988 14309736448 6913 18446744073709551615 4194304 4196468 140730159430496 139804686024544 139804681815197 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22153] ppid=22149 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (java) S 22149 22149 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9603989 14309736448 6913 18446744073709551615 4194304 4196468 140730159430496 139804616227088 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22154] ppid=22149 vsize=13974352 memory=140371928036992 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22154/stat : 22154 (java) S 22149 22149 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9603989 14309736448 6913 18446744073709551615 4194304 4196468 140730159430496 139804615174544 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22155] ppid=22149 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (java) S 22149 22149 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9603989 14309736448 6913 18446744073709551615 4194304 4196468 140730159430496 139804614122000 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22156] ppid=22149 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (java) S 22149 22149 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9603989 14309736448 6913 18446744073709551615 4194304 4196468 140730159430496 139804613069456 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22157] ppid=22149 vsize=13974352 memory=140371928036992 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22157/stat : 22157 (java) S 22149 22149 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9603990 14309736448 6913 18446744073709551615 4194304 4196468 140730159430496 139804159724016 139804681804418 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22158] ppid=22149 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22158/stat : 22158 (java) S 22149 22149 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9603991 14309736448 6913 18446744073709551615 4194304 4196468 140730159430496 139804158670240 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22159] ppid=22149 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22159/stat : 22159 (java) S 22149 22149 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9603991 14309736448 6913 18446744073709551615 4194304 4196468 140730159430496 139804157617648 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22160] ppid=22149 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22160/stat : 22160 (java) S 22149 22149 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9603993 14309736448 6913 18446744073709551615 4194304 4196468 140730159430496 139804156566224 139804681811867 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22161] ppid=22149 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22161/stat : 22161 (java) S 22149 22149 18108 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 9603993 14309736448 6913 18446744073709551615 4194304 4196468 140730159430496 139804155512816 139804681804418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22162] ppid=22149 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22162/stat : 22162 (java) S 22149 22149 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9603993 14309736448 6913 18446744073709551615 4194304 4196468 140730159430496 139804154460272 139804681804418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22163] ppid=22149 vsize=13974352 memory=140371928036992 CPUtime=0.01 cores=0,2,4,6
/proc/22151/task/22163/stat : 22163 (java) S 22149 22149 18108 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 15 0 9603993 14309736448 6913 18446744073709551615 4194304 4196468 140730159430496 139804153407728 139804681804418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22164] ppid=22149 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22164/stat : 22164 (java) S 22149 22149 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9603993 14309736448 6913 18446744073709551615 4194304 4196468 140730159430496 139804152355424 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22165] ppid=22149 vsize=13974352 memory=140371928036992 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22165/stat : 22165 (java) S 22149 22149 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9603998 14309736448 6913 18446744073709551615 4194304 4196468 140730159430496 139804151302960 139804681804418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29032 KiB
[startup+0.31256 s]*
/proc/loadavg: 1.93 1.76 1.64 4/211 22165
/proc/meminfo: memFree=30956200/32770624 swapFree=67108860/67108860
[pid=22149] ppid=22146 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22149/stat : 22149 (xcsp3-exec) S 22146 22149 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 9603979 9740288 345 18446744073709551615 4194304 5098028 140726857847472 140726857845576 139781489902204 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 26271744 140726857851257 140726857851462 140726857851462 140726857854955 0
/proc/22149/statm: 2378 345 289 221 0 87 0
[pid=22151] ppid=22149 vsize=13974352 memory=39616 CPUtime=0.3 cores=0,2,4,6
/proc/22151/stat : 22151 (java) S 22149 22149 18108 0 -1 1077944320 8981 0 0 0 27 3 0 0 20 0 15 0 9603988 14309736448 9904 18446744073709551615 4194304 4196468 140730159430496 140730159413040 139804681793271 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
/proc/22151/statm: 3493588 9904 3022 1 0 3482964 0
[pid=22151/tid=22152] ppid=22149 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/22151/task/22152/stat : 22152 (java) R 22149 22149 18108 0 -1 4202560 6143 0 0 0 16 2 0 0 20 0 15 0 9603988 14309736448 9904 18446744073709551615 4194304 4196468 140730159430496 139804686027152 139804665873758 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22153] ppid=22149 vsize=13974352 memory=-7305533901252758645 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (java) S 22149 22149 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9603989 14309736448 9904 18446744073709551615 4194304 4196468 140730159430496 139804616227088 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22154] ppid=22149 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22154/stat : 22154 (java) S 22149 22149 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9603989 14309736448 9904 18446744073709551615 4194304 4196468 140730159430496 139804615174544 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22155] ppid=22149 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (java) S 22149 22149 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9603989 14309736448 9904 18446744073709551615 4194304 4196468 140730159430496 139804614122000 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22156] ppid=22149 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (java) S 22149 22149 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9603989 14309736448 9904 18446744073709551615 4194304 4196468 140730159430496 139804613069456 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22157] ppid=22149 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22157/stat : 22157 (java) S 22149 22149 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9603990 14309736448 9904 18446744073709551615 4194304 4196468 140730159430496 139804159724016 139804681804418 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22158] ppid=22149 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22158/stat : 22158 (java) S 22149 22149 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9603991 14309736448 9904 18446744073709551615 4194304 4196468 140730159430496 139804158670240 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22159] ppid=22149 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22159/stat : 22159 (java) S 22149 22149 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9603991 14309736448 9904 18446744073709551615 4194304 4196468 140730159430496 139804157617648 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22160] ppid=22149 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22160/stat : 22160 (java) S 22149 22149 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9603993 14309736448 9904 18446744073709551615 4194304 4196468 140730159430496 139804156566224 139804681811867 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22161] ppid=22149 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22151/task/22161/stat : 22161 (java) R 22149 22149 18108 0 -1 4202560 545 0 0 0 2 0 0 0 20 0 15 0 9603993 14309736448 9904 18446744073709551615 4194304 4196468 140730159430496 139804155499600 139804659227391 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22162] ppid=22149 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22151/task/22162/stat : 22162 (java) R 22149 22149 18108 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 15 0 9603993 14309736448 9904 18446744073709551615 4194304 4196468 140730159430496 139804154460272 139804681804418 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22163] ppid=22149 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/22151/task/22163/stat : 22163 (java) R 22149 22149 18108 0 -1 4202560 715 0 0 0 6 0 0 0 20 0 15 0 9603993 14309736448 9904 18446744073709551615 4194304 4196468 140730159430496 139804153403456 139804681814618 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22164] ppid=22149 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22164/stat : 22164 (java) S 22149 22149 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9603993 14309736448 9904 18446744073709551615 4194304 4196468 140730159430496 139804152355424 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22165] ppid=22149 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22165/stat : 22165 (java) S 22149 22149 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9603998 14309736448 9904 18446744073709551615 4194304 4196468 140730159430496 139804151302960 139804681804418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40996 KiB
[startup+0.70349 s]
/proc/loadavg: 1.93 1.76 1.64 3/211 22165
/proc/meminfo: memFree=30945144/32770624 swapFree=67108860/67108860
[pid=22149] ppid=22146 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22149/stat : 22149 (xcsp3-exec) S 22146 22149 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 9603979 9740288 345 18446744073709551615 4194304 5098028 140726857847472 140726857845576 139781489902204 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 26271744 140726857851257 140726857851462 140726857851462 140726857854955 0
/proc/22149/statm: 2378 345 289 221 0 87 0
[pid=22151] ppid=22149 vsize=13980732 memory=157104 CPUtime=1.2 cores=0,2,4,6
/proc/22151/stat : 22151 (java) S 22149 22149 18108 0 -1 1077944320 12851 0 0 0 114 6 0 0 20 0 15 0 9603988 14316269568 39276 18446744073709551615 4194304 4196468 140730159430496 140730159413040 139804681793271 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
/proc/22151/statm: 3495183 39276 3180 1 0 3483476 0
[pid=22151/tid=22152] ppid=22149 vsize=13980732 memory=6307362036035193244 CPUtime=0.56 cores=0,2,4,6
/proc/22151/task/22152/stat : 22152 (java) R 22149 22149 18108 0 -1 4202560 8496 0 0 0 52 4 0 0 20 0 15 0 9603988 14316269568 39276 18446744073709551615 4194304 4196468 140730159430496 139804686028424 139804292134465 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22153] ppid=22149 vsize=13980732 memory=-7453528518462155811 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (java) S 22149 22149 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9603989 14316269568 39276 18446744073709551615 4194304 4196468 140730159430496 139804616227088 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22154] ppid=22149 vsize=13980732 memory=6296706741003445840 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22154/stat : 22154 (java) S 22149 22149 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9603989 14316269568 39276 18446744073709551615 4194304 4196468 140730159430496 139804615174544 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22155] ppid=22149 vsize=13980732 memory=7524486278333819988 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (java) S 22149 22149 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9603989 14316269568 39276 18446744073709551615 4194304 4196468 140730159430496 139804614122000 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22156] ppid=22149 vsize=13980732 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (java) S 22149 22149 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9603989 14316269568 39276 18446744073709551615 4194304 4196468 140730159430496 139804613069456 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22157] ppid=22149 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22157/stat : 22157 (java) S 22149 22149 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9603990 14316269568 39276 18446744073709551615 4194304 4196468 140730159430496 139804159724016 139804681804418 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22158] ppid=22149 vsize=13980732 memory=140371812164208 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22158/stat : 22158 (java) S 22149 22149 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9603991 14316269568 39276 18446744073709551615 4194304 4196468 140730159430496 139804158670240 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22159] ppid=22149 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22159/stat : 22159 (java) S 22149 22149 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9603991 14316269568 39276 18446744073709551615 4194304 4196468 140730159430496 139804157617648 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22160] ppid=22149 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22160/stat : 22160 (java) S 22149 22149 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9603993 14316269568 39276 18446744073709551615 4194304 4196468 140730159430496 139804156566224 139804681811867 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22161] ppid=22149 vsize=13980732 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/22151/task/22161/stat : 22161 (java) S 22149 22149 18108 0 -1 1077944384 1103 0 0 0 21 0 0 0 20 0 15 0 9603993 14316269568 39276 18446744073709551615 4194304 4196468 140730159430496 139804155512816 139804681804418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22162] ppid=22149 vsize=13980732 memory=7809523229951467576 CPUtime=0.2 cores=0,2,4,6
/proc/22151/task/22162/stat : 22162 (java) S 22149 22149 18108 0 -1 1077944384 808 0 0 0 20 0 0 0 20 0 15 0 9603993 14316269568 39276 18446744073709551615 4194304 4196468 140730159430496 139804154460272 139804681804418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22163] ppid=22149 vsize=13980732 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/22151/task/22163/stat : 22163 (java) S 22149 22149 18108 0 -1 1077944384 1136 0 0 0 19 0 0 0 20 0 15 0 9603993 14316269568 39276 18446744073709551615 4194304 4196468 140730159430496 139804153407728 139804681804418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22164] ppid=22149 vsize=13980732 memory=-2897801490638248215 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22164/stat : 22164 (java) S 22149 22149 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9603993 14316269568 39276 18446744073709551615 4194304 4196468 140730159430496 139804152355424 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22165] ppid=22149 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22165/stat : 22165 (java) S 22149 22149 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9603998 14316269568 39276 18446744073709551615 4194304 4196468 140730159430496 139804151302960 139804681804418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 158484 KiB
[startup+1.50149 s]
/proc/loadavg: 1.93 1.76 1.64 4/211 22165
/proc/meminfo: memFree=30738480/32770624 swapFree=67108860/67108860
[pid=22149] ppid=22146 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22149/stat : 22149 (xcsp3-exec) S 22146 22149 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 9603979 9740288 345 18446744073709551615 4194304 5098028 140726857847472 140726857845576 139781489902204 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 26271744 140726857851257 140726857851462 140726857851462 140726857854955 0
/proc/22149/statm: 2378 345 289 221 0 87 0
[pid=22151] ppid=22149 vsize=13980732 memory=367428 CPUtime=2.5 cores=0,2,4,6
/proc/22151/stat : 22151 (java) S 22149 22149 18108 0 -1 1077944320 14620 0 0 0 239 11 0 0 20 0 15 0 9603988 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 140730159413040 139804681793271 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
/proc/22151/statm: 3495183 91857 3202 1 0 3483476 0
[pid=22151/tid=22152] ppid=22149 vsize=13980732 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/22151/task/22152/stat : 22152 (java) R 22149 22149 18108 0 -1 4202560 8704 0 0 0 126 6 0 0 20 0 15 0 9603988 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804686030544 139804292772800 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22153] ppid=22149 vsize=13980732 memory=4279073131472642624 CPUtime=0.01 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (java) S 22149 22149 18108 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 15 0 9603989 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804616227088 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22154] ppid=22149 vsize=13980732 memory=7301267740094324841 CPUtime=0.01 cores=0,2,4,6
/proc/22151/task/22154/stat : 22154 (java) S 22149 22149 18108 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 15 0 9603989 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804615174544 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22155] ppid=22149 vsize=13980732 memory=-5628408999910123566 CPUtime=0.01 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (java) S 22149 22149 18108 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 15 0 9603989 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804614122000 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22156] ppid=22149 vsize=13980732 memory=7649399375691592242 CPUtime=0.01 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (java) S 22149 22149 18108 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 15 0 9603989 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804613069456 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22157] ppid=22149 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22157/stat : 22157 (java) S 22149 22149 18108 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 15 0 9603990 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804159724016 139804681804418 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22158] ppid=22149 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22158/stat : 22158 (java) S 22149 22149 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9603991 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804158670240 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22159] ppid=22149 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22159/stat : 22159 (java) S 22149 22149 18108 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 9603991 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804157617648 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22160] ppid=22149 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22160/stat : 22160 (java) S 22149 22149 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9603993 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804156566224 139804681811867 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22161] ppid=22149 vsize=13980732 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/22151/task/22161/stat : 22161 (java) R 22149 22149 18108 0 -1 4202560 1794 0 0 0 43 0 0 0 20 0 15 0 9603993 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804155501784 139804663318440 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22162] ppid=22149 vsize=13980732 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/22151/task/22162/stat : 22162 (java) R 22149 22149 18108 0 -1 4202560 1041 0 0 0 32 0 0 0 20 0 15 0 9603993 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804154441288 139804674082725 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22163] ppid=22149 vsize=13980732 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/22151/task/22163/stat : 22163 (java) R 22149 22149 18108 0 -1 4202560 1369 0 0 0 29 0 0 0 20 0 15 0 9603993 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804153407728 139804660922088 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22164] ppid=22149 vsize=13980732 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22164/stat : 22164 (java) S 22149 22149 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9603993 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804152355424 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22165] ppid=22149 vsize=13980732 memory=280743624500960 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22165/stat : 22165 (java) S 22149 22149 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9603998 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804151302960 139804681804418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 368808 KiB
[startup+1.56713 s]
# the end of solver process 22149 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.58363 s, system=0.123471 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50149 s]
/proc/loadavg: 1.93 1.76 1.64 4/211 22165
/proc/meminfo: memFree=30738480/32770624 swapFree=67108860/67108860
[pid=22149] ppid=22146 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22149/stat : 22149 (xcsp3-exec) S 22146 22149 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 9603979 9740288 345 18446744073709551615 4194304 5098028 140726857847472 140726857845576 139781489902204 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 26271744 140726857851257 140726857851462 140726857851462 140726857854955 0
/proc/22149/statm: 2378 345 289 221 0 87 0
[pid=22151] ppid=22149 vsize=13980732 memory=367428 CPUtime=2.5 cores=0,2,4,6
/proc/22151/stat : 22151 (java) S 22149 22149 18108 0 -1 1077944320 14620 0 0 0 239 11 0 0 20 0 15 0 9603988 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 140730159413040 139804681793271 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
/proc/22151/statm: 3495183 91857 3202 1 0 3483476 0
[pid=22151/tid=22152] ppid=22149 vsize=13980732 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/22151/task/22152/stat : 22152 (java) R 22149 22149 18108 0 -1 4202560 8704 0 0 0 126 6 0 0 20 0 15 0 9603988 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804686030544 139804292772800 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22153] ppid=22149 vsize=13980732 memory=4279073131472642624 CPUtime=0.01 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (java) S 22149 22149 18108 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 15 0 9603989 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804616227088 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22154] ppid=22149 vsize=13980732 memory=7301267740094324841 CPUtime=0.01 cores=0,2,4,6
/proc/22151/task/22154/stat : 22154 (java) S 22149 22149 18108 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 15 0 9603989 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804615174544 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22155] ppid=22149 vsize=13980732 memory=-5628408999910123566 CPUtime=0.01 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (java) S 22149 22149 18108 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 15 0 9603989 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804614122000 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22156] ppid=22149 vsize=13980732 memory=7649399375691592242 CPUtime=0.01 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (java) S 22149 22149 18108 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 15 0 9603989 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804613069456 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22157] ppid=22149 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22157/stat : 22157 (java) S 22149 22149 18108 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 15 0 9603990 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804159724016 139804681804418 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22158] ppid=22149 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22158/stat : 22158 (java) S 22149 22149 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9603991 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804158670240 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22159] ppid=22149 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22159/stat : 22159 (java) S 22149 22149 18108 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 9603991 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804157617648 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22160] ppid=22149 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22160/stat : 22160 (java) S 22149 22149 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9603993 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804156566224 139804681811867 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22161] ppid=22149 vsize=13980732 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/22151/task/22161/stat : 22161 (java) R 22149 22149 18108 0 -1 4202560 1794 0 0 0 43 0 0 0 20 0 15 0 9603993 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804155501784 139804663318440 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22162] ppid=22149 vsize=13980732 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/22151/task/22162/stat : 22162 (java) R 22149 22149 18108 0 -1 4202560 1041 0 0 0 32 0 0 0 20 0 15 0 9603993 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804154441288 139804674082725 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22163] ppid=22149 vsize=13980732 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/22151/task/22163/stat : 22163 (java) R 22149 22149 18108 0 -1 4202560 1369 0 0 0 29 0 0 0 20 0 15 0 9603993 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804153407728 139804660922088 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22164] ppid=22149 vsize=13980732 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22164/stat : 22164 (java) S 22149 22149 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9603993 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804152355424 139804681803477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
[pid=22151/tid=22165] ppid=22149 vsize=13980732 memory=280743624500960 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22165/stat : 22165 (java) S 22149 22149 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9603998 14316269568 91857 18446744073709551615 4194304 4196468 140730159430496 139804151302960 139804681804418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140730159432114 140730159432290 140730159432290 140730159435727 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 368808 KiB
Child status: 0
Real time (s): 1.56718
CPU time (s): 2.7071
CPU user time (s): 2.58363
CPU system time (s): 0.123471
CPU usage (%): 172.736
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 368808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.58363
system time used= 0.123471
maximum resident set size= 372440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15541
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= 1763
involuntary context switches= 12
# summary of solver processes directly reported to runsolver:
# pid: 22149
# total CPU time (s): 2.7071
# total CPU user time (s): 2.58363
# total CPU system time (s): 0.123471
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027593 second user time and 0.061555 second system time
The end