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 (14705 MiB free)
memory of node 1: 16384 MiB (15488 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283825-1503216841/watcher-4283825-1503216841 -o /tmp/evaluation-result-4283825-1503216841/solver-4283825-1503216841 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503172076-28737 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 611732968 HOME/instance-4283825-1503216841.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4167, runsolver pid=4164
[startup+0.100092 s]*
/proc/loadavg: 1.29 1.40 1.48 3/205 4177
/proc/meminfo: memFree=30910748/32770624 swapFree=67108860/67108860
[pid=4167] ppid=4164 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4167/stat : 4167 (xcsp3-exec) S 4164 4167 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 110024731 9740288 345 18446744073709551615 4194304 5098028 140727839302416 140727839300520 140189869630076 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 11415552 140727839310201 140727839310405 140727839310405 140727839313899 0
/proc/4167/statm: 2378 345 289 221 0 87 0
[pid=4169] ppid=4167 vsize=13574484 memory=19500 CPUtime=0.04 cores=1,3,5,7
/proc/4169/stat : 4169 (java) S 4167 4167 13977 0 -1 1077944320 4253 0 0 0 3 1 0 0 20 0 9 0 110024737 13900271616 4875 18446744073709551615 4194304 4196468 140722043106896 140722043089440 140275312258807 0 0 1 16800970 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
/proc/4169/statm: 3393621 4875 2104 1 0 3383118 0
[pid=4169/tid=4170] ppid=4167 vsize=13574484 memory=4206751525541405026 CPUtime=0.03 cores=1,3,5,7
/proc/4169/task/4170/stat : 4170 (java) R 4167 4167 13977 0 -1 4202560 2965 0 0 0 2 1 0 0 20 0 9 0 110024737 13900271616 4939 18446744073709551615 4194304 4196468 140722043106896 140275316494200 140275304936821 0 4 1 16800970 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4171] ppid=4167 vsize=13574484 memory=4123389896250521363 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4171/stat : 4171 (java) S 4167 4167 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 110024738 13900271616 4939 18446744073709551615 4194304 4196468 140722043106896 140275246693392 140275312269013 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4172] ppid=4167 vsize=13574484 memory=140161364309632 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4172/stat : 4172 (java) S 4167 4167 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 110024738 13900271616 4939 18446744073709551615 4194304 4196468 140722043106896 140275245640848 140275312269013 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4173] ppid=4167 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4173/stat : 4173 (java) S 4167 4167 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 110024738 13900271616 4939 18446744073709551615 4194304 4196468 140722043106896 140275244587792 140275312269013 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4174] ppid=4167 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4174/stat : 4174 (java) S 4167 4167 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 110024738 13900271616 4939 18446744073709551615 4194304 4196468 140722043106896 140274908707728 140275312269013 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4175] ppid=4167 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4175/stat : 4175 (java) S 4167 4167 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 110024739 13900271616 4939 18446744073709551615 4194304 4196468 140722043106896 140274790791408 140275312269954 0 0 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4176] ppid=4167 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4176/stat : 4176 (java) S 4167 4167 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 110024740 13900271616 4939 18446744073709551615 4194304 4196468 140722043106896 140274789737632 140275312269013 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4177] ppid=4167 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4177/stat : 4177 (java) S 4167 4167 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 110024740 13900271616 4939 18446744073709551615 4194304 4196468 140722043106896 140274788684528 140275312269013 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20880 KiB
[startup+0.215071 s]*
/proc/loadavg: 1.29 1.40 1.48 4/211 4183
/proc/meminfo: memFree=30902220/32770624 swapFree=67108860/67108860
[pid=4167] ppid=4164 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4167/stat : 4167 (xcsp3-exec) S 4164 4167 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 110024731 9740288 345 18446744073709551615 4194304 5098028 140727839302416 140727839300520 140189869630076 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 11415552 140727839310201 140727839310405 140727839310405 140727839313899 0
/proc/4167/statm: 2378 345 289 221 0 87 0
[pid=4169] ppid=4167 vsize=13974352 memory=30768 CPUtime=0.15 cores=1,3,5,7
/proc/4169/stat : 4169 (java) S 4167 4167 13977 0 -1 1077944320 6110 0 0 0 14 1 0 0 20 0 15 0 110024737 14309736448 7692 18446744073709551615 4194304 4196468 140722043106896 140722043089440 140275312258807 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
/proc/4169/statm: 3493588 7692 2912 1 0 3482964 0
[pid=4169/tid=4170] ppid=4167 vsize=13974352 memory=-6153504281267117510 CPUtime=0.11 cores=1,3,5,7
/proc/4169/task/4170/stat : 4170 (java) R 4167 4167 13977 0 -1 4202560 3531 0 0 0 10 1 0 0 20 0 15 0 110024737 14309736448 7692 18446744073709551615 4194304 4196468 140722043106896 140275316488400 140275312270742 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4171] ppid=4167 vsize=13974352 memory=6055707664168806735 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4171/stat : 4171 (java) S 4167 4167 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110024738 14309736448 7692 18446744073709551615 4194304 4196468 140722043106896 140275246693392 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4172] ppid=4167 vsize=13974352 memory=140161364309632 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4172/stat : 4172 (java) S 4167 4167 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110024738 14309736448 7692 18446744073709551615 4194304 4196468 140722043106896 140275245640848 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4173] ppid=4167 vsize=13974352 memory=140161364309632 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4173/stat : 4173 (java) S 4167 4167 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110024738 14309736448 7692 18446744073709551615 4194304 4196468 140722043106896 140275244587792 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4174] ppid=4167 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4174/stat : 4174 (java) S 4167 4167 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110024738 14309736448 7692 18446744073709551615 4194304 4196468 140722043106896 140274908707728 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4175] ppid=4167 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4175/stat : 4175 (java) S 4167 4167 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110024739 14309736448 7692 18446744073709551615 4194304 4196468 140722043106896 140274790791408 140275312269954 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4176] ppid=4167 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4176/stat : 4176 (java) S 4167 4167 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 110024740 14309736448 7692 18446744073709551615 4194304 4196468 140722043106896 140274789737632 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4177] ppid=4167 vsize=13974352 memory=140161364309632 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4177/stat : 4177 (java) S 4167 4167 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 110024740 14309736448 7692 18446744073709551615 4194304 4196468 140722043106896 140274788684528 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4178] ppid=4167 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4178/stat : 4178 (java) S 4167 4167 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110024742 14309736448 7692 18446744073709551615 4194304 4196468 140722043106896 140274787633104 140275312277403 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4179] ppid=4167 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4169/task/4179/stat : 4179 (java) S 4167 4167 13977 0 -1 1077944384 433 0 0 0 1 0 0 0 20 0 15 0 110024742 14309736448 7692 18446744073709551615 4194304 4196468 140722043106896 140274786581232 140275312269954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4180] ppid=4167 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4180/stat : 4180 (java) R 4167 4167 13977 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 110024742 14309736448 7692 18446744073709551615 4194304 4196468 140722043106896 140274785528688 140275312269954 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4181] ppid=4167 vsize=13974352 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4169/task/4181/stat : 4181 (java) R 4167 4167 13977 0 -1 4202560 679 0 0 0 3 0 0 0 20 0 15 0 110024742 14309736448 7692 18446744073709551615 4194304 4196468 140722043106896 140274784471512 140275291676571 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4182] ppid=4167 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4182/stat : 4182 (java) S 4167 4167 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110024743 14309736448 7692 18446744073709551615 4194304 4196468 140722043106896 140274783423328 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4183] ppid=4167 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4183/stat : 4183 (java) S 4167 4167 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110024747 14309736448 7692 18446744073709551615 4194304 4196468 140722043106896 140274782370352 140275312269954 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32148 KiB
[startup+0.31091 s]*
/proc/loadavg: 1.29 1.40 1.48 3/211 4183
/proc/meminfo: memFree=30889748/32770624 swapFree=67108860/67108860
[pid=4167] ppid=4164 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4167/stat : 4167 (xcsp3-exec) S 4164 4167 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 110024731 9740288 345 18446744073709551615 4194304 5098028 140727839302416 140727839300520 140189869630076 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 11415552 140727839310201 140727839310405 140727839310405 140727839313899 0
/proc/4167/statm: 2378 345 289 221 0 87 0
[pid=4169] ppid=4167 vsize=13978608 memory=39928 CPUtime=0.34 cores=1,3,5,7
/proc/4169/stat : 4169 (java) S 4167 4167 13977 0 -1 1077944320 9189 0 0 0 31 3 0 0 20 0 15 0 110024737 14314094592 9982 18446744073709551615 4194304 4196468 140722043106896 140722043089440 140275312258807 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
/proc/4169/statm: 3494652 9982 3043 1 0 3482964 0
[pid=4169/tid=4170] ppid=4167 vsize=13978608 memory=6933928925625698159 CPUtime=0.2 cores=1,3,5,7
/proc/4169/task/4170/stat : 4170 (java) R 4167 4167 13977 0 -1 4202560 6406 0 0 0 18 2 0 0 20 0 15 0 110024737 14314094592 9982 18446744073709551615 4194304 4196468 140722043106896 140275316479800 140275296339294 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4171] ppid=4167 vsize=13978608 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4171/stat : 4171 (java) S 4167 4167 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110024738 14314094592 9982 18446744073709551615 4194304 4196468 140722043106896 140275246693392 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4172] ppid=4167 vsize=13978608 memory=6944656592452807326 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4172/stat : 4172 (java) S 4167 4167 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110024738 14314094592 9982 18446744073709551615 4194304 4196468 140722043106896 140275245640848 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4173] ppid=4167 vsize=13978608 memory=-8918987556599313462 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4173/stat : 4173 (java) S 4167 4167 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110024738 14314094592 9982 18446744073709551615 4194304 4196468 140722043106896 140275244587792 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4174] ppid=4167 vsize=13978608 memory=-7247262161690712702 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4174/stat : 4174 (java) S 4167 4167 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110024738 14314094592 9982 18446744073709551615 4194304 4196468 140722043106896 140274908707728 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4175] ppid=4167 vsize=13978608 memory=8400219750179854990 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4175/stat : 4175 (java) S 4167 4167 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110024739 14314094592 9982 18446744073709551615 4194304 4196468 140722043106896 140274790791408 140275312269954 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4176] ppid=4167 vsize=13978608 memory=-7299339441649872004 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4176/stat : 4176 (java) S 4167 4167 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 110024740 14314094592 9982 18446744073709551615 4194304 4196468 140722043106896 140274789737632 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4177] ppid=4167 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4177/stat : 4177 (java) S 4167 4167 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 110024740 14314094592 9982 18446744073709551615 4194304 4196468 140722043106896 140274788684528 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4178] ppid=4167 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4178/stat : 4178 (java) S 4167 4167 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110024742 14314094592 9982 18446744073709551615 4194304 4196468 140722043106896 140274787633104 140275312277403 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4179] ppid=4167 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4169/task/4179/stat : 4179 (java) S 4167 4167 13977 0 -1 1077944384 457 0 0 0 2 0 0 0 20 0 15 0 110024742 14314094592 9982 18446744073709551615 4194304 4196468 140722043106896 140274786581232 140275312269954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4180] ppid=4167 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4169/task/4180/stat : 4180 (java) S 4167 4167 13977 0 -1 1077944384 296 0 0 0 3 0 0 0 20 0 15 0 110024742 14314094592 9982 18446744073709551615 4194304 4196468 140722043106896 140274785528688 140275312269954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4181] ppid=4167 vsize=13978608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4169/task/4181/stat : 4181 (java) S 4167 4167 13977 0 -1 1077944384 730 0 0 0 8 0 0 0 20 0 15 0 110024742 14314094592 9982 18446744073709551615 4194304 4196468 140722043106896 140274784475632 140275312269954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4182] ppid=4167 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4182/stat : 4182 (java) S 4167 4167 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110024743 14314094592 9982 18446744073709551615 4194304 4196468 140722043106896 140274783423328 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4183] ppid=4167 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4183/stat : 4183 (java) S 4167 4167 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110024747 14314094592 9982 18446744073709551615 4194304 4196468 140722043106896 140274782370352 140275312269954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41308 KiB
[startup+0.700909 s]
/proc/loadavg: 1.29 1.40 1.48 5/211 4183
/proc/meminfo: memFree=30867688/32770624 swapFree=67108860/67108860
[pid=4167] ppid=4164 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4167/stat : 4167 (xcsp3-exec) S 4164 4167 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 110024731 9740288 345 18446744073709551615 4194304 5098028 140727839302416 140727839300520 140189869630076 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 11415552 140727839310201 140727839310405 140727839310405 140727839313899 0
/proc/4167/statm: 2378 345 289 221 0 87 0
[pid=4169] ppid=4167 vsize=13978684 memory=143364 CPUtime=1.3 cores=1,3,5,7
/proc/4169/stat : 4169 (java) S 4167 4167 13977 0 -1 1077944320 13186 0 0 0 125 5 0 0 20 0 15 0 110024737 14314172416 35841 18446744073709551615 4194304 4196468 140722043106896 140722043089440 140275312258807 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
/proc/4169/statm: 3494671 35841 3160 1 0 3482964 0
[pid=4169/tid=4170] ppid=4167 vsize=13978684 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/4169/task/4170/stat : 4170 (java) R 4167 4167 13977 0 -1 4202560 7893 0 0 0 54 4 0 0 20 0 15 0 110024737 14314172416 35841 18446744073709551615 4194304 4196468 140722043106896 140275316493448 140274926780711 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4171] ppid=4167 vsize=13978684 memory=-7525055955986904256 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4171/stat : 4171 (java) S 4167 4167 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110024738 14314172416 35841 18446744073709551615 4194304 4196468 140722043106896 140275246693392 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4172] ppid=4167 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4172/stat : 4172 (java) S 4167 4167 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110024738 14314172416 35841 18446744073709551615 4194304 4196468 140722043106896 140275245640848 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4173] ppid=4167 vsize=13978684 memory=280322449080560 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4173/stat : 4173 (java) S 4167 4167 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110024738 14314172416 35841 18446744073709551615 4194304 4196468 140722043106896 140275244587792 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4174] ppid=4167 vsize=13978684 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4174/stat : 4174 (java) S 4167 4167 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110024738 14314172416 35841 18446744073709551615 4194304 4196468 140722043106896 140274908707728 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4175] ppid=4167 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4175/stat : 4175 (java) S 4167 4167 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110024739 14314172416 35841 18446744073709551615 4194304 4196468 140722043106896 140274790791408 140275312269954 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4176] ppid=4167 vsize=13978684 memory=140161224548976 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4176/stat : 4176 (java) S 4167 4167 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 110024740 14314172416 35841 18446744073709551615 4194304 4196468 140722043106896 140274789737632 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4177] ppid=4167 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4177/stat : 4177 (java) S 4167 4167 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 110024740 14314172416 35841 18446744073709551615 4194304 4196468 140722043106896 140274788684528 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4178] ppid=4167 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4178/stat : 4178 (java) S 4167 4167 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110024742 14314172416 35841 18446744073709551615 4194304 4196468 140722043106896 140274787633104 140275312277403 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4179] ppid=4167 vsize=13978684 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/4169/task/4179/stat : 4179 (java) R 4167 4167 13977 0 -1 4202560 1215 0 0 0 22 0 0 0 20 0 15 0 110024742 14314172416 35841 18446744073709551615 4194304 4196468 140722043106896 140274786571024 140275291921024 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4180] ppid=4167 vsize=13978684 memory=7809523229951467576 CPUtime=0.26 cores=1,3,5,7
/proc/4169/task/4180/stat : 4180 (java) R 4167 4167 13977 0 -1 4202560 1433 0 0 0 26 0 0 0 20 0 15 0 110024742 14314172416 35841 18446744073709551615 4194304 4196468 140722043106896 140274785514712 140275305355695 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4181] ppid=4167 vsize=13978684 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/4169/task/4181/stat : 4181 (java) S 4167 4167 13977 0 -1 1077944384 1340 0 0 0 22 0 0 0 20 0 15 0 110024742 14314172416 35841 18446744073709551615 4194304 4196468 140722043106896 140274784475632 140275312269954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4182] ppid=4167 vsize=13978684 memory=-6369637238906953513 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4182/stat : 4182 (java) S 4167 4167 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110024743 14314172416 35841 18446744073709551615 4194304 4196468 140722043106896 140274783423328 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4183] ppid=4167 vsize=13978684 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4183/stat : 4183 (java) S 4167 4167 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110024747 14314172416 35841 18446744073709551615 4194304 4196468 140722043106896 140274782370352 140275312269954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 144744 KiB
[startup+1.50076 s]
/proc/loadavg: 1.29 1.40 1.48 3/211 4183
/proc/meminfo: memFree=30702480/32770624 swapFree=67108860/67108860
[pid=4167] ppid=4164 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4167/stat : 4167 (xcsp3-exec) S 4164 4167 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 110024731 9740288 345 18446744073709551615 4194304 5098028 140727839302416 140727839300520 140189869630076 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 11415552 140727839310201 140727839310405 140727839310405 140727839313899 0
/proc/4167/statm: 2378 345 289 221 0 87 0
[pid=4169] ppid=4167 vsize=13980732 memory=379124 CPUtime=2.96 cores=1,3,5,7
/proc/4169/stat : 4169 (java) S 4167 4167 13977 0 -1 1077944320 14946 0 0 0 277 19 0 0 20 0 15 0 110024737 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140722043089440 140275312258807 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
/proc/4169/statm: 3495183 94781 3200 1 0 3483476 0
[pid=4169/tid=4170] ppid=4167 vsize=13980732 memory=0 CPUtime=1.31 cores=1,3,5,7
/proc/4169/task/4170/stat : 4170 (java) R 4167 4167 13977 0 -1 4202560 8622 0 0 0 125 6 0 0 20 0 15 0 110024737 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140275316482288 140275312280733 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4171] ppid=4167 vsize=13980732 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4169/task/4171/stat : 4171 (java) S 4167 4167 13977 0 -1 1077944384 92 0 0 0 3 2 0 0 20 0 15 0 110024738 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140275246693392 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4172] ppid=4167 vsize=13980732 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4169/task/4172/stat : 4172 (java) S 4167 4167 13977 0 -1 1077944384 93 0 0 0 2 3 0 0 20 0 15 0 110024738 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140275245640848 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4173] ppid=4167 vsize=13980732 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4169/task/4173/stat : 4173 (java) S 4167 4167 13977 0 -1 1077944384 93 0 0 0 3 2 0 0 20 0 15 0 110024738 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140275244587792 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4174] ppid=4167 vsize=13980732 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4169/task/4174/stat : 4174 (java) S 4167 4167 13977 0 -1 1077944384 64 0 0 0 2 3 0 0 20 0 15 0 110024738 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274908707728 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4175] ppid=4167 vsize=13980732 memory=7811872272689938536 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4175/stat : 4175 (java) S 4167 4167 13977 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 110024739 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274790791408 140275312269954 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4176] ppid=4167 vsize=13980732 memory=8320808402720010548 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4176/stat : 4176 (java) S 4167 4167 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 110024740 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274789737696 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4177] ppid=4167 vsize=13980732 memory=55 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4177/stat : 4177 (java) S 4167 4167 13977 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 110024740 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274788684544 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4178] ppid=4167 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4178/stat : 4178 (java) S 4167 4167 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110024742 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274787633104 140275312277403 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4179] ppid=4167 vsize=13980732 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/4169/task/4179/stat : 4179 (java) R 4167 4167 13977 0 -1 4202560 1329 0 0 0 50 0 0 0 20 0 15 0 110024742 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274786568048 140275291505236 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4180] ppid=4167 vsize=13980732 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/4169/task/4180/stat : 4180 (java) R 4167 4167 13977 0 -1 4202560 1534 0 0 0 53 0 0 0 20 0 15 0 110024742 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274785528672 140275297368383 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4181] ppid=4167 vsize=13980732 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/4169/task/4181/stat : 4181 (java) R 4167 4167 13977 0 -1 1077944384 1612 0 0 0 35 0 0 0 20 0 15 0 110024742 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274784475632 140275312269954 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4182] ppid=4167 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4182/stat : 4182 (java) S 4167 4167 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110024743 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274783423328 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4183] ppid=4167 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4183/stat : 4183 (java) S 4167 4167 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110024747 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274782370352 140275312269954 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 380504 KiB
[startup+1.549 s]
# the end of solver process 4167 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.88659 s, system=0.206265 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50076 s]
/proc/loadavg: 1.29 1.40 1.48 3/211 4183
/proc/meminfo: memFree=30702480/32770624 swapFree=67108860/67108860
[pid=4167] ppid=4164 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4167/stat : 4167 (xcsp3-exec) S 4164 4167 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 110024731 9740288 345 18446744073709551615 4194304 5098028 140727839302416 140727839300520 140189869630076 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 11415552 140727839310201 140727839310405 140727839310405 140727839313899 0
/proc/4167/statm: 2378 345 289 221 0 87 0
[pid=4169] ppid=4167 vsize=13980732 memory=379124 CPUtime=2.96 cores=1,3,5,7
/proc/4169/stat : 4169 (java) S 4167 4167 13977 0 -1 1077944320 14946 0 0 0 277 19 0 0 20 0 15 0 110024737 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140722043089440 140275312258807 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
/proc/4169/statm: 3495183 94781 3200 1 0 3483476 0
[pid=4169/tid=4170] ppid=4167 vsize=13980732 memory=0 CPUtime=1.31 cores=1,3,5,7
/proc/4169/task/4170/stat : 4170 (java) R 4167 4167 13977 0 -1 4202560 8622 0 0 0 125 6 0 0 20 0 15 0 110024737 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140275316482288 140275312280733 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4171] ppid=4167 vsize=13980732 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4169/task/4171/stat : 4171 (java) S 4167 4167 13977 0 -1 1077944384 92 0 0 0 3 2 0 0 20 0 15 0 110024738 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140275246693392 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4172] ppid=4167 vsize=13980732 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4169/task/4172/stat : 4172 (java) S 4167 4167 13977 0 -1 1077944384 93 0 0 0 2 3 0 0 20 0 15 0 110024738 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140275245640848 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4173] ppid=4167 vsize=13980732 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4169/task/4173/stat : 4173 (java) S 4167 4167 13977 0 -1 1077944384 93 0 0 0 3 2 0 0 20 0 15 0 110024738 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140275244587792 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4174] ppid=4167 vsize=13980732 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4169/task/4174/stat : 4174 (java) S 4167 4167 13977 0 -1 1077944384 64 0 0 0 2 3 0 0 20 0 15 0 110024738 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274908707728 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4175] ppid=4167 vsize=13980732 memory=7811872272689938536 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4175/stat : 4175 (java) S 4167 4167 13977 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 110024739 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274790791408 140275312269954 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4176] ppid=4167 vsize=13980732 memory=8320808402720010548 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4176/stat : 4176 (java) S 4167 4167 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 110024740 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274789737696 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4177] ppid=4167 vsize=13980732 memory=55 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4177/stat : 4177 (java) S 4167 4167 13977 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 110024740 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274788684544 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4178] ppid=4167 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4178/stat : 4178 (java) S 4167 4167 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110024742 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274787633104 140275312277403 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4179] ppid=4167 vsize=13980732 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/4169/task/4179/stat : 4179 (java) R 4167 4167 13977 0 -1 4202560 1329 0 0 0 50 0 0 0 20 0 15 0 110024742 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274786568048 140275291505236 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4180] ppid=4167 vsize=13980732 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/4169/task/4180/stat : 4180 (java) R 4167 4167 13977 0 -1 4202560 1534 0 0 0 53 0 0 0 20 0 15 0 110024742 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274785528672 140275297368383 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4181] ppid=4167 vsize=13980732 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/4169/task/4181/stat : 4181 (java) R 4167 4167 13977 0 -1 1077944384 1612 0 0 0 35 0 0 0 20 0 15 0 110024742 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274784475632 140275312269954 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4182] ppid=4167 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4182/stat : 4182 (java) S 4167 4167 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110024743 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274783423328 140275312269013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
[pid=4169/tid=4183] ppid=4167 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4169/task/4183/stat : 4183 (java) S 4167 4167 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110024747 14316269568 94781 18446744073709551615 4194304 4196468 140722043106896 140274782370352 140275312269954 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29315072 140722043113905 140722043114081 140722043114081 140722043117519 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 380504 KiB
Child status: 0
Real time (s): 1.54905
CPU time (s): 3.09286
CPU user time (s): 2.88659
CPU system time (s): 0.206265
CPU usage (%): 199.661
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 380504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.88659
system time used= 0.206265
maximum resident set size= 380384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15569
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= 1792
involuntary context switches= 16
# summary of solver processes directly reported to runsolver:
# pid: 4167
# total CPU time (s): 3.09286
# total CPU user time (s): 2.88659
# total CPU system time (s): 0.206265
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032811 second user time and 0.058974 second system time
The end