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 (10112 MiB free)
memory of node 1: 16384 MiB (15348 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406400-1569397060/watcher-4406400-1569397060 -o /tmp/evaluation-result-4406400-1569397060/solver-4406400-1569397060 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1569392986-17027 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 2000911244 HOME/instance-4406400-1569397060.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17186, runsolver pid=17183
Current StackSize limit: 8192 KiB
[startup+0.100121 s]*
/proc/loadavg: 1.67 1.12 0.55 5/228 17202
/proc/meminfo: memFree=26057272/32770624 swapFree=66999776/67108860
[pid=17186] ppid=17183 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17186/stat : 17186 (xcsp3-exec) S 17183 17186 16995 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515959995 115843072 363 33554432000 4194304 5098028 140736216315504 140736216313608 140261907763836 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11927552 140736216322938 140736216323181 140736216323181 140736216326090 0
/proc/17186/statm: 28282 363 304 221 0 87 0
[pid=17188] ppid=17186 vsize=15144776 memory=28020 CPUtime=0.13 cores=1,3,5,7
/proc/17188/stat : 17188 (java) S 17186 17186 16995 0 -1 1077944320 5923 0 0 0 12 1 0 0 20 0 15 0 515959995 15508250624 7005 33554432000 4194304 4196468 140732825215712 140732825198256 140528540946167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
/proc/17188/statm: 3786194 7005 3153 1 0 3748377 0
[pid=17188/tid=17189] ppid=17186 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/17188/task/17189/stat : 17189 (java) R 17186 17186 16995 0 -1 4202560 3768 0 0 0 8 1 0 0 20 0 15 0 515959995 15508250624 7005 33554432000 4194304 4196468 140732825215712 140528545181184 140528540968093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17190] ppid=17186 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17190/stat : 17190 (java) S 17186 17186 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515959996 15508250624 7005 33554432000 4194304 4196468 140732825215712 140528512789136 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17191] ppid=17186 vsize=15144776 memory=3545089437986404000 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17191/stat : 17191 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515959996 15508250624 7005 33554432000 4194304 4196468 140732825215712 140528132393488 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17192] ppid=17186 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17192/stat : 17192 (java) S 17186 17186 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515959996 15508250624 7005 33554432000 4194304 4196468 140732825215712 140528131340688 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17193] ppid=17186 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17193/stat : 17193 (java) S 17186 17186 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515959996 15508250624 7005 33554432000 4194304 4196468 140732825215712 140528130287888 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17194] ppid=17186 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17194/stat : 17194 (java) S 17186 17186 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515959997 15508250624 7005 33554432000 4194304 4196468 140732825215712 140528009505648 140528540957314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17195] ppid=17186 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17195/stat : 17195 (java) S 17186 17186 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515959998 15508250624 7005 33554432000 4194304 4196468 140732825215712 140528008451616 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17196] ppid=17186 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17196/stat : 17196 (java) S 17186 17186 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515959998 15508250624 7005 33554432000 4194304 4196468 140732825215712 140528007398768 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17197] ppid=17186 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17197/stat : 17197 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515960000 15508250624 7005 33554432000 4194304 4196468 140732825215712 140528006347088 140528540964763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17198] ppid=17186 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17198/stat : 17198 (java) R 17186 17186 16995 0 -1 4202560 457 0 0 0 0 0 0 0 20 0 15 0 515960000 15508250624 7005 33554432000 4194304 4196468 140732825215712 140528005294448 140528518779024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17199] ppid=17186 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17199/stat : 17199 (java) R 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515960000 15508250624 7005 33554432000 4194304 4196468 140732825215712 140528004241648 140528540957314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17200] ppid=17186 vsize=15144776 memory=140567688722048 CPUtime=0.02 cores=1,3,5,7
/proc/17188/task/17200/stat : 17200 (java) R 17186 17186 16995 0 -1 4202560 417 0 0 0 2 0 0 0 20 0 15 0 515960000 15508250624 7005 33554432000 4194304 4196468 140732825215712 140528003186384 140528519954002 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17201] ppid=17186 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17201/stat : 17201 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515960000 15508250624 7005 33554432000 4194304 4196468 140732825215712 140528002136288 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17202] ppid=17186 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17202/stat : 17202 (java) S 17186 17186 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515960001 15508250624 7005 33554432000 4194304 4196468 140732825215712 140528001084592 140528540957314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29472 KiB
[startup+0.210802 s]*
/proc/loadavg: 1.67 1.12 0.55 4/228 17202
/proc/meminfo: memFree=26044220/32770624 swapFree=66999776/67108860
[pid=17186] ppid=17183 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17186/stat : 17186 (xcsp3-exec) S 17183 17186 16995 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515959995 115843072 363 33554432000 4194304 5098028 140736216315504 140736216313608 140261907763836 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11927552 140736216322938 140736216323181 140736216323181 140736216326090 0
/proc/17186/statm: 28282 363 304 221 0 87 0
[pid=17188] ppid=17186 vsize=15144776 memory=39456 CPUtime=0.35 cores=1,3,5,7
/proc/17188/stat : 17188 (java) S 17186 17186 16995 0 -1 1077944320 9585 0 0 0 32 3 0 0 20 0 15 0 515959995 15508250624 9864 33554432000 4194304 4196468 140732825215712 140732825198256 140528540946167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
/proc/17188/statm: 3786194 9864 3326 1 0 3748377 0
[pid=17188/tid=17189] ppid=17186 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17188/task/17189/stat : 17189 (java) R 17186 17186 16995 0 -1 4202560 6685 0 0 0 18 2 0 0 20 0 15 0 515959995 15508250624 9929 33554432000 4194304 4196468 140732825215712 140528545180208 140528540968093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17190] ppid=17186 vsize=15144776 memory=2669799 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17190/stat : 17190 (java) S 17186 17186 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515959996 15508250624 9929 33554432000 4194304 4196468 140732825215712 140528512789136 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17191] ppid=17186 vsize=15144776 memory=140567692348151 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17191/stat : 17191 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515959996 15508250624 9929 33554432000 4194304 4196468 140732825215712 140528132393488 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17192] ppid=17186 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17192/stat : 17192 (java) S 17186 17186 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515959996 15508250624 9929 33554432000 4194304 4196468 140732825215712 140528131340688 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17193] ppid=17186 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17193/stat : 17193 (java) S 17186 17186 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515959996 15508250624 9929 33554432000 4194304 4196468 140732825215712 140528130287888 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17194] ppid=17186 vsize=15144776 memory=140567688722048 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17194/stat : 17194 (java) S 17186 17186 16995 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515959997 15508250624 9929 33554432000 4194304 4196468 140732825215712 140528009505648 140528540957314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17195] ppid=17186 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17195/stat : 17195 (java) S 17186 17186 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515959998 15508250624 9929 33554432000 4194304 4196468 140732825215712 140528008451616 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17196] ppid=17186 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17196/stat : 17196 (java) S 17186 17186 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515959998 15508250624 9929 33554432000 4194304 4196468 140732825215712 140528007398768 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17197] ppid=17186 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17197/stat : 17197 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515960000 15508250624 9929 33554432000 4194304 4196468 140732825215712 140528006347088 140528540964763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17198] ppid=17186 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17188/task/17198/stat : 17198 (java) S 17186 17186 16995 0 -1 1077944384 600 0 0 0 3 0 0 0 20 0 15 0 515960000 15508250624 9929 33554432000 4194304 4196468 140732825215712 140528005294448 140528540957314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17199] ppid=17186 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17188/task/17199/stat : 17199 (java) S 17186 17186 16995 0 -1 1077944384 68 0 0 0 2 0 0 0 20 0 15 0 515960000 15508250624 9929 33554432000 4194304 4196468 140732825215712 140528004241648 140528540957314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17200] ppid=17186 vsize=15144776 memory=140567688722048 CPUtime=0.08 cores=1,3,5,7
/proc/17188/task/17200/stat : 17200 (java) S 17186 17186 16995 0 -1 1077944384 926 0 0 0 8 0 0 0 20 0 15 0 515960000 15508250624 9929 33554432000 4194304 4196468 140732825215712 140528003188848 140528540957314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17201] ppid=17186 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17201/stat : 17201 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515960000 15508250624 9929 33554432000 4194304 4196468 140732825215712 140528002136288 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17202] ppid=17186 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17202/stat : 17202 (java) S 17186 17186 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515960001 15508250624 9929 33554432000 4194304 4196468 140732825215712 140528001084592 140528540957314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40908 KiB
[startup+0.310633 s]*
/proc/loadavg: 1.67 1.12 0.55 5/228 17202
/proc/meminfo: memFree=26038488/32770624 swapFree=66999776/67108860
[pid=17186] ppid=17183 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17186/stat : 17186 (xcsp3-exec) S 17183 17186 16995 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515959995 115843072 363 33554432000 4194304 5098028 140736216315504 140736216313608 140261907763836 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11927552 140736216322938 140736216323181 140736216323181 140736216326090 0
/proc/17186/statm: 28282 363 304 221 0 87 0
[pid=17188] ppid=17186 vsize=15149032 memory=49268 CPUtime=0.53 cores=1,3,5,7
/proc/17188/stat : 17188 (java) S 17186 17186 16995 0 -1 1077944320 11136 0 0 0 49 4 0 0 20 0 15 0 515959995 15512608768 12317 33554432000 4194304 4196468 140732825215712 140732825198256 140528540946167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
/proc/17188/statm: 3787258 12317 3368 1 0 3748377 0
[pid=17188/tid=17189] ppid=17186 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/17188/task/17189/stat : 17189 (java) R 17186 17186 16995 0 -1 4202560 7823 0 0 0 28 2 0 0 20 0 15 0 515959995 15512608768 12317 33554432000 4194304 4196468 140732825215712 140528545177280 140528525026654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17190] ppid=17186 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17190/stat : 17190 (java) S 17186 17186 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515959996 15512608768 12317 33554432000 4194304 4196468 140732825215712 140528512789136 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17191] ppid=17186 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17191/stat : 17191 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515959996 15512608768 12317 33554432000 4194304 4196468 140732825215712 140528132393488 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17192] ppid=17186 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17192/stat : 17192 (java) S 17186 17186 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515959996 15512608768 12317 33554432000 4194304 4196468 140732825215712 140528131340688 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17193] ppid=17186 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17193/stat : 17193 (java) S 17186 17186 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515959996 15512608768 12317 33554432000 4194304 4196468 140732825215712 140528130287888 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17194] ppid=17186 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17194/stat : 17194 (java) S 17186 17186 16995 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515959997 15512608768 12317 33554432000 4194304 4196468 140732825215712 140528009505648 140528540957314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17195] ppid=17186 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17195/stat : 17195 (java) S 17186 17186 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515959998 15512608768 12317 33554432000 4194304 4196468 140732825215712 140528008451616 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17196] ppid=17186 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17196/stat : 17196 (java) S 17186 17186 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515959998 15512608768 12317 33554432000 4194304 4196468 140732825215712 140528007398768 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17197] ppid=17186 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17197/stat : 17197 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515960000 15512608768 12317 33554432000 4194304 4196468 140732825215712 140528006347088 140528540964763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17198] ppid=17186 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/17188/task/17198/stat : 17198 (java) S 17186 17186 16995 0 -1 1077944384 640 0 0 0 4 0 0 0 20 0 15 0 515960000 15512608768 12317 33554432000 4194304 4196468 140732825215712 140528005294448 140528540957314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17199] ppid=17186 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/17188/task/17199/stat : 17199 (java) R 17186 17186 16995 0 -1 4202560 207 0 0 0 4 0 0 0 20 0 15 0 515960000 15512608768 12317 33554432000 4194304 4196468 140732825215712 140528004222664 140528526071562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17200] ppid=17186 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17188/task/17200/stat : 17200 (java) S 17186 17186 16995 0 -1 1077944384 1163 0 0 0 12 0 0 0 20 0 15 0 515960000 15512608768 12317 33554432000 4194304 4196468 140732825215712 140528003188848 140528540957314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17201] ppid=17186 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17201/stat : 17201 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515960000 15512608768 12317 33554432000 4194304 4196468 140732825215712 140528002136288 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17202] ppid=17186 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17202/stat : 17202 (java) S 17186 17186 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515960001 15512608768 12317 33554432000 4194304 4196468 140732825215712 140528001084592 140528540957314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50720 KiB
[startup+0.701114 s]
/proc/loadavg: 1.67 1.12 0.55 3/228 17203
/proc/meminfo: memFree=26024324/32770624 swapFree=66999776/67108860
[pid=17186] ppid=17183 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17186/stat : 17186 (xcsp3-exec) S 17183 17186 16995 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515959995 115843072 363 33554432000 4194304 5098028 140736216315504 140736216313608 140261907763836 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11927552 140736216322938 140736216323181 140736216323181 140736216326090 0
/proc/17186/statm: 28282 363 304 221 0 87 0
[pid=17188] ppid=17186 vsize=15151156 memory=70308 CPUtime=1.56 cores=1,3,5,7
/proc/17188/stat : 17188 (java) S 17186 17186 16995 0 -1 1077944320 14877 0 0 0 150 6 0 0 20 0 15 0 515959995 15514783744 17577 33554432000 4194304 4196468 140732825215712 140732825198256 140528540946167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
/proc/17188/statm: 3787789 17577 3456 1 0 3748889 0
[pid=17188/tid=17189] ppid=17186 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=1,3,5,7
/proc/17188/task/17189/stat : 17189 (java) R 17186 17186 16995 0 -1 4202560 9221 0 0 0 64 3 0 0 20 0 15 0 515959995 15514783744 17577 33554432000 4194304 4196468 140732825215712 140528545184512 140528180878118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17190] ppid=17186 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17190/stat : 17190 (java) S 17186 17186 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515959996 15514783744 17577 33554432000 4194304 4196468 140732825215712 140528512789136 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17191] ppid=17186 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17191/stat : 17191 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515959996 15514783744 17577 33554432000 4194304 4196468 140732825215712 140528132393488 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17192] ppid=17186 vsize=15151156 memory=772 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17192/stat : 17192 (java) S 17186 17186 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515959996 15514783744 17577 33554432000 4194304 4196468 140732825215712 140528131340688 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17193] ppid=17186 vsize=15151156 memory=3648 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17193/stat : 17193 (java) S 17186 17186 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515959996 15514783744 17577 33554432000 4194304 4196468 140732825215712 140528130287888 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17194] ppid=17186 vsize=15151156 memory=948 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17194/stat : 17194 (java) S 17186 17186 16995 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515959997 15514783744 17577 33554432000 4194304 4196468 140732825215712 140528009505648 140528540957314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17195] ppid=17186 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17195/stat : 17195 (java) S 17186 17186 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515959998 15514783744 17577 33554432000 4194304 4196468 140732825215712 140528008451616 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17196] ppid=17186 vsize=15151156 memory=9588 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17196/stat : 17196 (java) S 17186 17186 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515959998 15514783744 17577 33554432000 4194304 4196468 140732825215712 140528007398768 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17197] ppid=17186 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17197/stat : 17197 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515960000 15514783744 17577 33554432000 4194304 4196468 140732825215712 140528006347088 140528540964763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17198] ppid=17186 vsize=15151156 memory=628 CPUtime=0.25 cores=1,3,5,7
/proc/17188/task/17198/stat : 17198 (java) R 17186 17186 16995 0 -1 4202560 1468 0 0 0 25 0 0 0 20 0 15 0 515960000 15514783744 17577 33554432000 4194304 4196468 140732825215712 140528005284240 140528522490624 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17199] ppid=17186 vsize=15151156 memory=1056 CPUtime=0.27 cores=1,3,5,7
/proc/17188/task/17199/stat : 17199 (java) R 17186 17186 16995 0 -1 4202560 1072 0 0 0 27 0 0 0 20 0 15 0 515960000 15514783744 17577 33554432000 4194304 4196468 140732825215712 140528004234280 140528520190177 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17200] ppid=17186 vsize=15151156 memory=1716 CPUtime=0.33 cores=1,3,5,7
/proc/17188/task/17200/stat : 17200 (java) R 17186 17186 16995 0 -1 1077944384 1806 0 0 0 32 1 0 0 20 0 15 0 515960000 15514783744 17577 33554432000 4194304 4196468 140732825215712 140528003188848 140528540957314 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17201] ppid=17186 vsize=15151156 memory=6176 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17201/stat : 17201 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515960000 15514783744 17577 33554432000 4194304 4196468 140732825215712 140528002136288 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17202] ppid=17186 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17202/stat : 17202 (java) S 17186 17186 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515960001 15514783744 17577 33554432000 4194304 4196468 140732825215712 140528001084592 140528540957314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 71760 KiB
[startup+1.50092 s]
/proc/loadavg: 1.67 1.12 0.55 3/228 17203
/proc/meminfo: memFree=26013108/32770624 swapFree=66999776/67108860
[pid=17186] ppid=17183 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17186/stat : 17186 (xcsp3-exec) S 17183 17186 16995 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515959995 115843072 363 33554432000 4194304 5098028 140736216315504 140736216313608 140261907763836 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11927552 140736216322938 140736216323181 140736216323181 140736216326090 0
/proc/17186/statm: 28282 363 304 221 0 87 0
[pid=17188] ppid=17186 vsize=15151156 memory=86524 CPUtime=3.46 cores=1,3,5,7
/proc/17188/stat : 17188 (java) S 17186 17186 16995 0 -1 1077944320 23948 0 0 0 338 8 0 0 20 0 15 0 515959995 15514783744 21631 33554432000 4194304 4196468 140732825215712 140732825198256 140528540946167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
/proc/17188/statm: 3787789 21631 3466 1 0 3748889 0
[pid=17188/tid=17189] ppid=17186 vsize=15151156 memory=6075733469263123024 CPUtime=1.48 cores=1,3,5,7
/proc/17188/task/17189/stat : 17189 (java) R 17186 17186 16995 0 -1 4202560 9839 0 0 0 144 4 0 0 20 0 15 0 515959995 15514783744 21631 33554432000 4194304 4196468 140732825215712 140528545184784 140528181513850 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17190] ppid=17186 vsize=15151156 memory=7518007977600312919 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17190/stat : 17190 (java) S 17186 17186 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515959996 15514783744 21631 33554432000 4194304 4196468 140732825215712 140528512789136 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17191] ppid=17186 vsize=15151156 memory=281135137503040 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17191/stat : 17191 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515959996 15514783744 21631 33554432000 4194304 4196468 140732825215712 140528132393488 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17192] ppid=17186 vsize=15151156 memory=772 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17192/stat : 17192 (java) S 17186 17186 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515959996 15514783744 21631 33554432000 4194304 4196468 140732825215712 140528131340688 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17193] ppid=17186 vsize=15151156 memory=3648 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17193/stat : 17193 (java) S 17186 17186 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515959996 15514783744 21631 33554432000 4194304 4196468 140732825215712 140528130287888 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17194] ppid=17186 vsize=15151156 memory=948 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17194/stat : 17194 (java) S 17186 17186 16995 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515959997 15514783744 21631 33554432000 4194304 4196468 140732825215712 140528009505648 140528540957314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17195] ppid=17186 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17195/stat : 17195 (java) S 17186 17186 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515959998 15514783744 21631 33554432000 4194304 4196468 140732825215712 140528008451616 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17196] ppid=17186 vsize=15151156 memory=9588 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17196/stat : 17196 (java) S 17186 17186 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515959998 15514783744 21631 33554432000 4194304 4196468 140732825215712 140528007398768 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17197] ppid=17186 vsize=15151156 memory=147703925343828 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17197/stat : 17197 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515960000 15514783744 21631 33554432000 4194304 4196468 140732825215712 140528006347088 140528540964763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17198] ppid=17186 vsize=15151156 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/17188/task/17198/stat : 17198 (java) S 17186 17186 16995 0 -1 1077944384 4672 0 0 0 72 1 0 0 20 0 15 0 515960000 15514783744 21631 33554432000 4194304 4196468 140732825215712 140528005294448 140528540957314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17199] ppid=17186 vsize=15151156 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/17188/task/17199/stat : 17199 (java) S 17186 17186 16995 0 -1 1077944384 5861 0 0 0 83 1 0 0 20 0 15 0 515960000 15514783744 21631 33554432000 4194304 4196468 140732825215712 140528004241648 140528540957314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17200] ppid=17186 vsize=15151156 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/17188/task/17200/stat : 17200 (java) S 17186 17186 16995 0 -1 1077944384 2259 0 0 0 38 1 0 0 20 0 15 0 515960000 15514783744 21631 33554432000 4194304 4196468 140732825215712 140528003188848 140528540957314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17201] ppid=17186 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17201/stat : 17201 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515960000 15514783744 21631 33554432000 4194304 4196468 140732825215712 140528002136288 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17202] ppid=17186 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17202/stat : 17202 (java) S 17186 17186 16995 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 515960001 15514783744 21631 33554432000 4194304 4196468 140732825215712 140528001084592 140528540957314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
Current children cumulated CPU time: 3.46 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 87976 KiB
[startup+1.82491 s]
# the end of solver process 17186 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.87024 s, system=0.093636 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60102 s]
/proc/loadavg: 1.67 1.12 0.55 3/228 17203
/proc/meminfo: memFree=26013108/32770624 swapFree=66999776/67108860
[pid=17186] ppid=17183 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17186/stat : 17186 (xcsp3-exec) S 17183 17186 16995 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515959995 115843072 363 33554432000 4194304 5098028 140736216315504 140736216313608 140261907763836 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11927552 140736216322938 140736216323181 140736216323181 140736216326090 0
/proc/17186/statm: 28282 363 304 221 0 87 0
[pid=17188] ppid=17186 vsize=15151156 memory=86768 CPUtime=3.66 cores=1,3,5,7
/proc/17188/stat : 17188 (java) S 17186 17186 16995 0 -1 1077944320 24059 0 0 0 358 8 0 0 20 0 15 0 515959995 15514783744 21692 33554432000 4194304 4196468 140732825215712 140732825198256 140528540946167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
/proc/17188/statm: 3787789 21692 3466 1 0 3748889 0
[pid=17188/tid=17189] ppid=17186 vsize=15151156 memory=213674622992995 CPUtime=1.58 cores=1,3,5,7
/proc/17188/task/17189/stat : 17189 (java) R 17186 17186 16995 0 -1 4202560 9856 0 0 0 154 4 0 0 20 0 15 0 515959995 15514783744 21692 33554432000 4194304 4196468 140732825215712 140528545182224 140528181067478 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17190] ppid=17186 vsize=15151156 memory=213691802862179 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17190/stat : 17190 (java) S 17186 17186 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515959996 15514783744 21692 33554432000 4194304 4196468 140732825215712 140528512789136 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17191] ppid=17186 vsize=15151156 memory=213807766979171 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17191/stat : 17191 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515959996 15514783744 21692 33554432000 4194304 4196468 140732825215712 140528132393488 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17192] ppid=17186 vsize=15151156 memory=213816356913826 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17192/stat : 17192 (java) S 17186 17186 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515959996 15514783744 21692 33554432000 4194304 4196468 140732825215712 140528131340688 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17193] ppid=17186 vsize=15151156 memory=213829241815714 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17193/stat : 17193 (java) S 17186 17186 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515959996 15514783744 21692 33554432000 4194304 4196468 140732825215712 140528130287888 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17194] ppid=17186 vsize=15151156 memory=213696097829475 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17194/stat : 17194 (java) S 17186 17186 16995 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 515959997 15514783744 21692 33554432000 4194304 4196468 140732825215712 140528009505648 140528540957314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17195] ppid=17186 vsize=15151156 memory=214361817760355 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17195/stat : 17195 (java) S 17186 17186 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515959998 15514783744 21692 33554432000 4194304 4196468 140732825215712 140528008451616 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17196] ppid=17186 vsize=15151156 memory=214366112727842 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17196/stat : 17196 (java) S 17186 17186 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515959998 15514783744 21692 33554432000 4194304 4196468 140732825215712 140528007398768 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17197] ppid=17186 vsize=15151156 memory=214378997629730 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17197/stat : 17197 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515960000 15514783744 21692 33554432000 4194304 4196468 140732825215712 140528006347088 140528540964763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17198] ppid=17186 vsize=15151156 memory=140569984662447 CPUtime=0.78 cores=1,3,5,7
/proc/17188/task/17198/stat : 17198 (java) R 17186 17186 16995 0 -1 4202560 4707 0 0 0 77 1 0 0 20 0 15 0 515960000 15514783744 21692 33554432000 4194304 4196468 140732825215712 140528005280528 140528520203049 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17199] ppid=17186 vsize=15151156 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/17188/task/17199/stat : 17199 (java) R 17186 17186 16995 0 -1 4202560 5874 0 0 0 88 1 0 0 20 0 15 0 515960000 15514783744 21692 33554432000 4194304 4196468 140732825215712 140528004241648 140528540967514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17200] ppid=17186 vsize=15151156 memory=214378997646920 CPUtime=0.4 cores=1,3,5,7
/proc/17188/task/17200/stat : 17200 (java) S 17186 17186 16995 0 -1 1077944384 2260 0 0 0 39 1 0 0 20 0 15 0 515960000 15514783744 21692 33554432000 4194304 4196468 140732825215712 140528003188848 140528540957314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17201] ppid=17186 vsize=15151156 memory=214378997646921 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17201/stat : 17201 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515960000 15514783744 21692 33554432000 4194304 4196468 140732825215712 140528002136288 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17202] ppid=17186 vsize=15151156 memory=33284 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17202/stat : 17202 (java) S 17186 17186 16995 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 515960001 15514783744 21692 33554432000 4194304 4196468 140732825215712 140528001084592 140528540957314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
Current children cumulated CPU time: 3.66 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 88220 KiB
[startup+1.80079 s]
/proc/loadavg: 1.67 1.12 0.55 3/228 17203
/proc/meminfo: memFree=26013108/32770624 swapFree=66999776/67108860
[pid=17186] ppid=17183 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17186/stat : 17186 (xcsp3-exec) S 17183 17186 16995 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515959995 115843072 363 33554432000 4194304 5098028 140736216315504 140736216313608 140261907763836 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11927552 140736216322938 140736216323181 140736216323181 140736216326090 0
/proc/17186/statm: 28282 363 304 221 0 87 0
[pid=17188] ppid=17186 vsize=15151156 memory=89116 CPUtime=3.91 cores=1,3,5,7
/proc/17188/stat : 17188 (java) S 17186 17186 16995 0 -1 1077944320 24102 0 0 0 383 8 0 0 20 0 15 0 515959995 15514783744 22279 33554432000 4194304 4196468 140732825215712 140732825198256 140528540946167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
/proc/17188/statm: 3787789 22279 3466 1 0 3748889 0
[pid=17188/tid=17189] ppid=17186 vsize=15151156 memory=7300986251812819024 CPUtime=1.78 cores=1,3,5,7
/proc/17188/task/17189/stat : 17189 (java) R 17186 17186 16995 0 -1 4202560 9864 0 0 0 174 4 0 0 20 0 15 0 515959995 15514783744 22279 33554432000 4194304 4196468 140732825215712 140528545183280 140528181259183 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17190] ppid=17186 vsize=15151156 memory=4640491450333876839 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17190/stat : 17190 (java) S 17186 17186 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515959996 15514783744 22279 33554432000 4194304 4196468 140732825215712 140528512789136 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17191] ppid=17186 vsize=15151156 memory=7093003818064964706 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17191/stat : 17191 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515959996 15514783744 22279 33554432000 4194304 4196468 140732825215712 140528132393488 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17192] ppid=17186 vsize=15151156 memory=6440235876195916129 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17192/stat : 17192 (java) S 17186 17186 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515959996 15514783744 22279 33554432000 4194304 4196468 140732825215712 140528131340688 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17193] ppid=17186 vsize=15151156 memory=7012773549856089705 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17193/stat : 17193 (java) S 17186 17186 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515959996 15514783744 22279 33554432000 4194304 4196468 140732825215712 140528130287888 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17194] ppid=17186 vsize=15151156 memory=7302928994688853094 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17194/stat : 17194 (java) S 17186 17186 16995 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 515959997 15514783744 22279 33554432000 4194304 4196468 140732825215712 140528009505648 140528540957314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17195] ppid=17186 vsize=15151156 memory=-7457052372387209120 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17195/stat : 17195 (java) S 17186 17186 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515959998 15514783744 22279 33554432000 4194304 4196468 140732825215712 140528008451616 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17196] ppid=17186 vsize=15151156 memory=-7019007802211101846 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17196/stat : 17196 (java) S 17186 17186 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515959998 15514783744 22279 33554432000 4194304 4196468 140732825215712 140528007398768 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17197] ppid=17186 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17197/stat : 17197 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515960000 15514783744 22279 33554432000 4194304 4196468 140732825215712 140528006347088 140528540964763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17198] ppid=17186 vsize=15151156 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/17188/task/17198/stat : 17198 (java) S 17186 17186 16995 0 -1 1077944384 4718 0 0 0 78 1 0 0 20 0 15 0 515960000 15514783744 22279 33554432000 4194304 4196468 140732825215712 140528005294448 140528540957314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17199] ppid=17186 vsize=15151156 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/17188/task/17199/stat : 17199 (java) R 17186 17186 16995 0 -1 4202560 5883 0 0 0 90 1 0 0 20 0 15 0 515960000 15514783744 22279 33554432000 4194304 4196468 140732825215712 140528004241648 140528520455389 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17200] ppid=17186 vsize=15151156 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/17188/task/17200/stat : 17200 (java) S 17186 17186 16995 0 -1 1077944384 2275 0 0 0 39 1 0 0 20 0 15 0 515960000 15514783744 22279 33554432000 4194304 4196468 140732825215712 140528003188848 140528540957314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17201] ppid=17186 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17201/stat : 17201 (java) S 17186 17186 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515960000 15514783744 22279 33554432000 4194304 4196468 140732825215712 140528002136288 140528540956373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
[pid=17188/tid=17202] ppid=17186 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17188/task/17202/stat : 17202 (java) S 17186 17186 16995 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 515960001 15514783744 22279 33554432000 4194304 4196468 140732825215712 140528001084592 140528540957314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28590080 140732825220079 140732825220250 140732825220250 140732825223119 0
Current children cumulated CPU time: 3.91 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 90568 KiB
Child status: 0
Real time (s): 1.82495
CPU time (s): 3.96388
CPU user time (s): 3.87024
CPU system time (s): 0.093636
CPU usage (%): 217.204
Max. virtual memory (cumulated for all children) (KiB): 15266160
Max. memory (cumulated for all children) (KiB): 90568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.87024
system time used= 0.093636
maximum resident set size= 89576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25270
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= 2183
involuntary context switches= 8
# summary of solver processes directly reported to runsolver:
# pid: 17186
# total CPU time (s): 3.96388
# total CPU user time (s): 3.87024
# total CPU system time (s): 0.093636
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042604 second user time and 0.05035 second system time
The end