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 (4506 MiB free)
memory of node 1: 16384 MiB (2415 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404041-1568991069/watcher-4404041-1568991069 -o /var/tmp/evaluation-result-4404041-1568991069/solver-4404041-1568991069 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568990625-7232 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 163829596 HOME/instance-4404041-1568991069.xml
running on 4 cores: 0,2,4,6
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=10075, runsolver pid=10072
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 7.37 6.23 3.66 6/234 10091
/proc/meminfo: memFree=7070760/32770624 swapFree=67021824/67108860
[pid=10075] ppid=10072 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10075/stat : 10075 (xcsp3-exec) S 10072 10075 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475379463 115843072 363 33554432000 4194304 5098028 140730536611488 140730536609592 140017867117180 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7385088 140730536612695 140730536612953 140730536612953 140730536615878 0
/proc/10075/statm: 28282 363 305 221 0 87 0
[pid=10077] ppid=10075 vsize=15144776 memory=29316 CPUtime=0.1 cores=0,2,4,6
/proc/10077/stat : 10077 (java) S 10075 10075 7201 0 -1 1077944320 5799 0 0 0 9 1 0 0 20 0 15 0 475379463 15508250624 7329 33554432000 4194304 4196468 140725569358224 140725569340768 140077028048631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
/proc/10077/statm: 3786194 7329 3117 1 0 3748377 0
[pid=10077/tid=10078] ppid=10075 vsize=15144776 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/10077/task/10078/stat : 10078 (java) R 10075 10075 7201 0 -1 4202560 3808 0 0 0 7 1 0 0 20 0 15 0 475379463 15508250624 7329 33554432000 4194304 4196468 140725569358224 140077032268744 140077028060566 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10079] ppid=10075 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10079/stat : 10079 (java) S 10075 10075 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475379464 15508250624 7329 33554432000 4194304 4196468 140725569358224 140076939704848 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10080] ppid=10075 vsize=15144776 memory=139811033704064 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10080/stat : 10080 (java) S 10075 10075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379464 15508250624 7329 33554432000 4194304 4196468 140725569358224 140076938652304 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10081] ppid=10075 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10081/stat : 10081 (java) S 10075 10075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379464 15508250624 7329 33554432000 4194304 4196468 140725569358224 140076937599248 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10082] ppid=10075 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10082/stat : 10082 (java) S 10075 10075 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475379464 15508250624 7329 33554432000 4194304 4196468 140725569358224 140076617034128 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10083] ppid=10075 vsize=15144776 memory=139811033704064 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10083/stat : 10083 (java) S 10075 10075 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475379465 15508250624 7329 33554432000 4194304 4196468 140725569358224 140076496587504 140077028059778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10084] ppid=10075 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10084/stat : 10084 (java) S 10075 10075 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475379466 15508250624 7329 33554432000 4194304 4196468 140725569358224 140076495533728 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10085] ppid=10075 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10085/stat : 10085 (java) S 10075 10075 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475379466 15508250624 7329 33554432000 4194304 4196468 140725569358224 140076494480624 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10086] ppid=10075 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10086/stat : 10086 (java) S 10075 10075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379469 15508250624 7329 33554432000 4194304 4196468 140725569358224 140076493429200 140077028067227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10087] ppid=10075 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10087/stat : 10087 (java) S 10075 10075 7201 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 475379469 15508250624 7329 33554432000 4194304 4196468 140725569358224 140076492376304 140077028059778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10088] ppid=10075 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10088/stat : 10088 (java) S 10075 10075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379469 15508250624 7329 33554432000 4194304 4196468 140725569358224 140076491323760 140077028059778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10089] ppid=10075 vsize=15144776 memory=139811033704064 CPUtime=0.01 cores=0,2,4,6
/proc/10077/task/10089/stat : 10089 (java) S 10075 10075 7201 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 15 0 475379469 15508250624 7329 33554432000 4194304 4196468 140725569358224 140076490270704 140077028059778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10090] ppid=10075 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10090/stat : 10090 (java) S 10075 10075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379469 15508250624 7329 33554432000 4194304 4196468 140725569358224 140076489218400 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10091] ppid=10075 vsize=15144776 memory=139811033704064 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10091/stat : 10091 (java) S 10075 10075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379470 15508250624 7329 33554432000 4194304 4196468 140725569358224 140076488166448 140077028059778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30768 KiB
[startup+0.210624 s]*
/proc/loadavg: 7.37 6.23 3.66 7/234 10091
/proc/meminfo: memFree=7057272/32770624 swapFree=67021824/67108860
[pid=10075] ppid=10072 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10075/stat : 10075 (xcsp3-exec) S 10072 10075 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475379463 115843072 363 33554432000 4194304 5098028 140730536611488 140730536609592 140017867117180 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7385088 140730536612695 140730536612953 140730536612953 140730536615878 0
/proc/10075/statm: 28282 363 305 221 0 87 0
[pid=10077] ppid=10075 vsize=15144776 memory=41100 CPUtime=0.32 cores=0,2,4,6
/proc/10077/stat : 10077 (java) S 10075 10075 7201 0 -1 1077944320 9448 0 0 0 29 3 0 0 20 0 15 0 475379463 15508250624 10275 33554432000 4194304 4196468 140725569358224 140725569340768 140077028048631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
/proc/10077/statm: 3786194 10275 3299 1 0 3748377 0
[pid=10077/tid=10078] ppid=10075 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/10077/task/10078/stat : 10078 (java) R 10075 10075 7201 0 -1 4202560 6618 0 0 0 17 2 0 0 20 0 15 0 475379463 15508250624 10275 33554432000 4194304 4196468 140725569358224 140077032280544 140077028070557 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10079] ppid=10075 vsize=15144776 memory=13575 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10079/stat : 10079 (java) S 10075 10075 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475379464 15508250624 10275 33554432000 4194304 4196468 140725569358224 140076939704848 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10080] ppid=10075 vsize=15144776 memory=3618553620188096160 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10080/stat : 10080 (java) S 10075 10075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379464 15508250624 10275 33554432000 4194304 4196468 140725569358224 140076938652304 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10081] ppid=10075 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10081/stat : 10081 (java) S 10075 10075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379464 15508250624 10275 33554432000 4194304 4196468 140725569358224 140076937599248 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10082] ppid=10075 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10082/stat : 10082 (java) S 10075 10075 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475379464 15508250624 10275 33554432000 4194304 4196468 140725569358224 140076617034128 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10083] ppid=10075 vsize=15144776 memory=139811033704064 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10083/stat : 10083 (java) S 10075 10075 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475379465 15508250624 10275 33554432000 4194304 4196468 140725569358224 140076496587504 140077028059778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10084] ppid=10075 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10084/stat : 10084 (java) S 10075 10075 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475379466 15508250624 10275 33554432000 4194304 4196468 140725569358224 140076495533728 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10085] ppid=10075 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10085/stat : 10085 (java) S 10075 10075 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475379466 15508250624 10275 33554432000 4194304 4196468 140725569358224 140076494480624 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10086] ppid=10075 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10086/stat : 10086 (java) S 10075 10075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379469 15508250624 10275 33554432000 4194304 4196468 140725569358224 140076493429200 140077028067227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10087] ppid=10075 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10077/task/10087/stat : 10087 (java) S 10075 10075 7201 0 -1 1077944384 544 0 0 0 2 0 0 0 20 0 15 0 475379469 15508250624 10275 33554432000 4194304 4196468 140725569358224 140076492376304 140077028059778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10088] ppid=10075 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/10077/task/10088/stat : 10088 (java) S 10075 10075 7201 0 -1 1077944384 247 0 0 0 1 0 0 0 20 0 15 0 475379469 15508250624 10275 33554432000 4194304 4196468 140725569358224 140076491323760 140077028059778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10089] ppid=10075 vsize=15144776 memory=139811033704064 CPUtime=0.07 cores=0,2,4,6
/proc/10077/task/10089/stat : 10089 (java) S 10075 10075 7201 0 -1 1077944384 735 0 0 0 7 0 0 0 20 0 15 0 475379469 15508250624 10275 33554432000 4194304 4196468 140725569358224 140076490266656 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10090] ppid=10075 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10090/stat : 10090 (java) S 10075 10075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379469 15508250624 10275 33554432000 4194304 4196468 140725569358224 140076489218400 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10091] ppid=10075 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10091/stat : 10091 (java) S 10075 10075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379470 15508250624 10275 33554432000 4194304 4196468 140725569358224 140076488166448 140077028059778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42552 KiB
[startup+0.310594 s]*
/proc/loadavg: 7.37 6.23 3.66 7/234 10091
/proc/meminfo: memFree=7052792/32770624 swapFree=67021824/67108860
[pid=10075] ppid=10072 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10075/stat : 10075 (xcsp3-exec) S 10072 10075 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475379463 115843072 363 33554432000 4194304 5098028 140730536611488 140730536609592 140017867117180 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7385088 140730536612695 140730536612953 140730536612953 140730536615878 0
/proc/10075/statm: 28282 363 305 221 0 87 0
[pid=10077] ppid=10075 vsize=15149032 memory=49092 CPUtime=0.5 cores=0,2,4,6
/proc/10077/stat : 10077 (java) S 10075 10075 7201 0 -1 1077944320 10586 0 0 0 47 3 0 0 20 0 15 0 475379463 15512608768 12273 33554432000 4194304 4196468 140725569358224 140725569340768 140077028048631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
/proc/10077/statm: 3787258 12273 3331 1 0 3748377 0
[pid=10077/tid=10078] ppid=10075 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/10077/task/10078/stat : 10078 (java) R 10075 10075 7201 0 -1 4202560 7656 0 0 0 26 3 0 0 20 0 15 0 475379463 15512608768 12273 33554432000 4194304 4196468 140725569358224 140077032285584 140077028070557 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10079] ppid=10075 vsize=15149032 memory=13938 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10079/stat : 10079 (java) S 10075 10075 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475379464 15512608768 12273 33554432000 4194304 4196468 140725569358224 140076939704848 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10080] ppid=10075 vsize=15149032 memory=3566264 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10080/stat : 10080 (java) S 10075 10075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379464 15512608768 12273 33554432000 4194304 4196468 140725569358224 140076938652304 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10081] ppid=10075 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10081/stat : 10081 (java) S 10075 10075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379464 15512608768 12273 33554432000 4194304 4196468 140725569358224 140076937599248 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10082] ppid=10075 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10082/stat : 10082 (java) S 10075 10075 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475379464 15512608768 12273 33554432000 4194304 4196468 140725569358224 140076617034128 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10083] ppid=10075 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10083/stat : 10083 (java) S 10075 10075 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475379465 15512608768 12273 33554432000 4194304 4196468 140725569358224 140076496587504 140077028059778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10084] ppid=10075 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10084/stat : 10084 (java) S 10075 10075 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475379466 15512608768 12273 33554432000 4194304 4196468 140725569358224 140076495533728 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10085] ppid=10075 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10085/stat : 10085 (java) S 10075 10075 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475379466 15512608768 12273 33554432000 4194304 4196468 140725569358224 140076494480624 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10086] ppid=10075 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10086/stat : 10086 (java) S 10075 10075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379469 15512608768 12273 33554432000 4194304 4196468 140725569358224 140076493429200 140077028067227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10087] ppid=10075 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10077/task/10087/stat : 10087 (java) S 10075 10075 7201 0 -1 1077944384 554 0 0 0 4 0 0 0 20 0 15 0 475379469 15512608768 12273 33554432000 4194304 4196468 140725569358224 140076492376304 140077028059778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10088] ppid=10075 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10077/task/10088/stat : 10088 (java) R 10075 10075 7201 0 -1 4202560 261 0 0 0 3 0 0 0 20 0 15 0 475379469 15512608768 12273 33554432000 4194304 4196468 140725569358224 140076491314144 140077008731980 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10089] ppid=10075 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10077/task/10089/stat : 10089 (java) S 10075 10075 7201 0 -1 1077944384 817 0 0 0 12 0 0 0 20 0 15 0 475379469 15512608768 12273 33554432000 4194304 4196468 140725569358224 140076490270704 140077028059778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10090] ppid=10075 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10090/stat : 10090 (java) S 10075 10075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379469 15512608768 12273 33554432000 4194304 4196468 140725569358224 140076489218400 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10091] ppid=10075 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10091/stat : 10091 (java) S 10075 10075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379470 15512608768 12273 33554432000 4194304 4196468 140725569358224 140076488166448 140077028059778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50544 KiB
[startup+0.700773 s]
/proc/loadavg: 7.37 6.23 3.66 8/234 10091
/proc/meminfo: memFree=7036892/32770624 swapFree=67021824/67108860
[pid=10075] ppid=10072 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10075/stat : 10075 (xcsp3-exec) S 10072 10075 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475379463 115843072 363 33554432000 4194304 5098028 140730536611488 140730536609592 140017867117180 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7385088 140730536612695 140730536612953 140730536612953 140730536615878 0
/proc/10075/statm: 28282 363 305 221 0 87 0
[pid=10077] ppid=10075 vsize=15151156 memory=83868 CPUtime=1.64 cores=0,2,4,6
/proc/10077/stat : 10077 (java) S 10075 10075 7201 0 -1 1077944320 14259 0 0 0 159 5 0 0 20 0 15 0 475379463 15514783744 20967 33554432000 4194304 4196468 140725569358224 140725569340768 140077028048631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
/proc/10077/statm: 3787789 20967 3452 1 0 3748889 0
[pid=10077/tid=10078] ppid=10075 vsize=15151156 memory=12328 CPUtime=0.67 cores=0,2,4,6
/proc/10077/task/10078/stat : 10078 (java) R 10075 10075 7201 0 -1 4202560 8707 0 0 0 63 4 0 0 20 0 15 0 475379463 15514783744 20967 33554432000 4194304 4196468 140725569358224 140077032287280 140077009697748 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10079] ppid=10075 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10079/stat : 10079 (java) S 10075 10075 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475379464 15514783744 20967 33554432000 4194304 4196468 140725569358224 140076939704848 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10080] ppid=10075 vsize=15151156 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10080/stat : 10080 (java) S 10075 10075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379464 15514783744 20967 33554432000 4194304 4196468 140725569358224 140076938652304 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10081] ppid=10075 vsize=15151156 memory=1744 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10081/stat : 10081 (java) S 10075 10075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379464 15514783744 20967 33554432000 4194304 4196468 140725569358224 140076937599248 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10082] ppid=10075 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10082/stat : 10082 (java) S 10075 10075 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475379464 15514783744 20967 33554432000 4194304 4196468 140725569358224 140076617034128 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10083] ppid=10075 vsize=15151156 memory=1940 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10083/stat : 10083 (java) S 10075 10075 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475379465 15514783744 20967 33554432000 4194304 4196468 140725569358224 140076496587504 140077028059778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10084] ppid=10075 vsize=15151156 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10084/stat : 10084 (java) S 10075 10075 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475379466 15514783744 20967 33554432000 4194304 4196468 140725569358224 140076495533728 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10085] ppid=10075 vsize=15151156 memory=2508 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10085/stat : 10085 (java) S 10075 10075 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475379466 15514783744 20967 33554432000 4194304 4196468 140725569358224 140076494480624 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10086] ppid=10075 vsize=15151156 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10086/stat : 10086 (java) S 10075 10075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379469 15514783744 20967 33554432000 4194304 4196468 140725569358224 140076493429200 140077028067227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10087] ppid=10075 vsize=15151156 memory=836 CPUtime=0.26 cores=0,2,4,6
/proc/10077/task/10087/stat : 10087 (java) R 10075 10075 7201 0 -1 4202560 1296 0 0 0 26 0 0 0 20 0 15 0 475379469 15514783744 20967 33554432000 4194304 4196468 140725569358224 140076492369328 140077012928835 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10088] ppid=10075 vsize=15151156 memory=1760 CPUtime=0.27 cores=0,2,4,6
/proc/10077/task/10088/stat : 10088 (java) R 10075 10075 7201 0 -1 4202560 914 0 0 0 27 0 0 0 20 0 15 0 475379469 15514783744 20967 33554432000 4194304 4196468 140725569358224 140076491322160 140077007972399 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10089] ppid=10075 vsize=15151156 memory=111632 CPUtime=0.42 cores=0,2,4,6
/proc/10077/task/10089/stat : 10089 (java) R 10075 10075 7201 0 -1 1077944384 2034 0 0 0 42 0 0 0 20 0 15 0 475379469 15514783744 20967 33554432000 4194304 4196468 140725569358224 140076490270704 140077028059778 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10090] ppid=10075 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10090/stat : 10090 (java) S 10075 10075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379469 15514783744 20967 33554432000 4194304 4196468 140725569358224 140076489218400 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10091] ppid=10075 vsize=15151156 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10091/stat : 10091 (java) S 10075 10075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379470 15514783744 20967 33554432000 4194304 4196468 140725569358224 140076488166448 140077028059778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 85320 KiB
[startup+1.40076 s]
# the end of solver process 10075 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.81537 s, system=0.118956 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800938 s]
/proc/loadavg: 7.37 6.23 3.66 8/234 10091
/proc/meminfo: memFree=7036892/32770624 swapFree=67021824/67108860
[pid=10075] ppid=10072 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10075/stat : 10075 (xcsp3-exec) S 10072 10075 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475379463 115843072 363 33554432000 4194304 5098028 140730536611488 140730536609592 140017867117180 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7385088 140730536612695 140730536612953 140730536612953 140730536615878 0
/proc/10075/statm: 28282 363 305 221 0 87 0
[pid=10077] ppid=10075 vsize=15151156 memory=97048 CPUtime=1.97 cores=0,2,4,6
/proc/10077/stat : 10077 (java) S 10075 10075 7201 0 -1 1077944320 14530 0 0 0 192 5 0 0 20 0 15 0 475379463 15514783744 24262 33554432000 4194304 4196468 140725569358224 140725569340768 140077028048631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
/proc/10077/statm: 3787789 24262 3452 1 0 3748889 0
[pid=10077/tid=10078] ppid=10075 vsize=15151156 memory=279621832893888 CPUtime=0.76 cores=0,2,4,6
/proc/10077/task/10078/stat : 10078 (java) R 10075 10075 7201 0 -1 4202560 8847 0 0 0 72 4 0 0 20 0 15 0 475379463 15514783744 24262 33554432000 4194304 4196468 140725569358224 140077032269904 140077012129118 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10079] ppid=10075 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10079/stat : 10079 (java) S 10075 10075 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475379464 15514783744 24262 33554432000 4194304 4196468 140725569358224 140076939704848 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10080] ppid=10075 vsize=15151156 memory=288230591789531470 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10080/stat : 10080 (java) S 10075 10075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379464 15514783744 24262 33554432000 4194304 4196468 140725569358224 140076938652304 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10081] ppid=10075 vsize=15151156 memory=14127840559897182 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10081/stat : 10081 (java) S 10075 10075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379464 15514783744 24262 33554432000 4194304 4196468 140725569358224 140076937599248 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10082] ppid=10075 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10082/stat : 10082 (java) S 10075 10075 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475379464 15514783744 24262 33554432000 4194304 4196468 140725569358224 140076617034128 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10083] ppid=10075 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10083/stat : 10083 (java) S 10075 10075 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475379465 15514783744 24262 33554432000 4194304 4196468 140725569358224 140076496587504 140077028059778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10084] ppid=10075 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10084/stat : 10084 (java) S 10075 10075 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475379466 15514783744 24262 33554432000 4194304 4196468 140725569358224 140076495533728 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10085] ppid=10075 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10085/stat : 10085 (java) S 10075 10075 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475379466 15514783744 24262 33554432000 4194304 4196468 140725569358224 140076494480624 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10086] ppid=10075 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10086/stat : 10086 (java) S 10075 10075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379469 15514783744 24262 33554432000 4194304 4196468 140725569358224 140076493429200 140077028067227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10087] ppid=10075 vsize=15151156 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/10077/task/10087/stat : 10087 (java) R 10075 10075 7201 0 -1 4202560 1321 0 0 0 36 0 0 0 20 0 15 0 475379469 15514783744 24262 33554432000 4194304 4196468 140725569358224 140076492361296 140077007879789 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10088] ppid=10075 vsize=15151156 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/10077/task/10088/stat : 10088 (java) R 10075 10075 7201 0 -1 4202560 941 0 0 0 37 0 0 0 20 0 15 0 475379469 15514783744 24262 33554432000 4194304 4196468 140725569358224 140076491313232 140077009570082 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10089] ppid=10075 vsize=15151156 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/10077/task/10089/stat : 10089 (java) S 10075 10075 7201 0 -1 1077944384 2112 0 0 0 46 0 0 0 20 0 15 0 475379469 15514783744 24262 33554432000 4194304 4196468 140725569358224 140076490270704 140077028059778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10090] ppid=10075 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10090/stat : 10090 (java) S 10075 10075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379469 15514783744 24262 33554432000 4194304 4196468 140725569358224 140076489218400 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10091] ppid=10075 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10091/stat : 10091 (java) S 10075 10075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379470 15514783744 24262 33554432000 4194304 4196468 140725569358224 140076488166448 140077028059778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
Current children cumulated CPU time: 1.97 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 98500 KiB
[startup+1.20128 s]
/proc/loadavg: 7.34 6.24 3.68 10/234 10091
/proc/meminfo: memFree=6969940/32770624 swapFree=67021824/67108860
[pid=10075] ppid=10072 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10075/stat : 10075 (xcsp3-exec) S 10072 10075 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475379463 115843072 363 33554432000 4194304 5098028 140730536611488 140730536609592 140017867117180 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7385088 140730536612695 140730536612953 140730536612953 140730536615878 0
/proc/10075/statm: 28282 363 305 221 0 87 0
[pid=10077] ppid=10075 vsize=15151156 memory=177492 CPUtime=3.28 cores=0,2,4,6
/proc/10077/stat : 10077 (java) S 10075 10075 7201 0 -1 1077944320 21784 0 0 0 320 8 0 0 20 0 15 0 475379463 15514783744 44373 33554432000 4194304 4196468 140725569358224 140725569340768 140077028048631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
/proc/10077/statm: 3787789 44373 3456 1 0 3748889 0
[pid=10077/tid=10078] ppid=10075 vsize=15151156 memory=139810916642992 CPUtime=1.16 cores=0,2,4,6
/proc/10077/task/10078/stat : 10078 (java) R 10075 10075 7201 0 -1 4202560 11222 0 0 0 110 6 0 0 20 0 15 0 475379463 15514783744 44373 33554432000 4194304 4196468 140725569358224 140077032283416 140076621394956 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10079] ppid=10075 vsize=15151156 memory=139810916622304 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10079/stat : 10079 (java) S 10075 10075 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475379464 15514783744 44373 33554432000 4194304 4196468 140725569358224 140076939704848 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10080] ppid=10075 vsize=15151156 memory=139810916622336 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10080/stat : 10080 (java) S 10075 10075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379464 15514783744 44373 33554432000 4194304 4196468 140725569358224 140076938652304 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10081] ppid=10075 vsize=15151156 memory=3472468107144302672 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10081/stat : 10081 (java) S 10075 10075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379464 15514783744 44373 33554432000 4194304 4196468 140725569358224 140076937599248 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10082] ppid=10075 vsize=15151156 memory=139810916622400 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10082/stat : 10082 (java) S 10075 10075 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475379464 15514783744 44373 33554432000 4194304 4196468 140725569358224 140076617034128 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10083] ppid=10075 vsize=15151156 memory=139810916622432 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10083/stat : 10083 (java) S 10075 10075 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475379465 15514783744 44373 33554432000 4194304 4196468 140725569358224 140076496587504 140077028059778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10084] ppid=10075 vsize=15151156 memory=139810916622464 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10084/stat : 10084 (java) S 10075 10075 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475379466 15514783744 44373 33554432000 4194304 4196468 140725569358224 140076495533728 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10085] ppid=10075 vsize=15151156 memory=139810916622496 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10085/stat : 10085 (java) S 10075 10075 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475379466 15514783744 44373 33554432000 4194304 4196468 140725569358224 140076494480624 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10086] ppid=10075 vsize=15151156 memory=139810916622528 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10086/stat : 10086 (java) S 10075 10075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379469 15514783744 44373 33554432000 4194304 4196468 140725569358224 140076493429200 140077028067227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10087] ppid=10075 vsize=15151156 memory=139810916622560 CPUtime=0.75 cores=0,2,4,6
/proc/10077/task/10087/stat : 10087 (java) R 10075 10075 7201 0 -1 4202560 2760 0 0 0 75 0 0 0 20 0 15 0 475379469 15514783744 44373 33554432000 4194304 4196468 140725569358224 140076492362336 140077011549014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10088] ppid=10075 vsize=15151156 memory=139810916622592 CPUtime=0.76 cores=0,2,4,6
/proc/10077/task/10088/stat : 10088 (java) R 10075 10075 7201 0 -1 4202560 3152 0 0 0 76 0 0 0 20 0 15 0 475379469 15514783744 44373 33554432000 4194304 4196468 140725569358224 140076491312432 140077009566519 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10089] ppid=10075 vsize=15151156 memory=4121277837052779094 CPUtime=0.57 cores=0,2,4,6
/proc/10077/task/10089/stat : 10089 (java) S 10075 10075 7201 0 -1 1077944384 3336 0 0 0 57 0 0 0 20 0 15 0 475379469 15514783744 44373 33554432000 4194304 4196468 140725569358224 140076490270704 140077028059778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10090] ppid=10075 vsize=15151156 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10090/stat : 10090 (java) S 10075 10075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379469 15514783744 44373 33554432000 4194304 4196468 140725569358224 140076489218400 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10091] ppid=10075 vsize=15151156 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10091/stat : 10091 (java) S 10075 10075 7201 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475379470 15514783744 44373 33554432000 4194304 4196468 140725569358224 140076488166448 140077028059778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
Current children cumulated CPU time: 3.28 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 178944 KiB
[startup+1.30449 s]
/proc/loadavg: 7.34 6.24 3.68 10/234 10091
/proc/meminfo: memFree=6969940/32770624 swapFree=67021824/67108860
[pid=10075] ppid=10072 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10075/stat : 10075 (xcsp3-exec) S 10072 10075 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475379463 115843072 363 33554432000 4194304 5098028 140730536611488 140730536609592 140017867117180 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7385088 140730536612695 140730536612953 140730536612953 140730536615878 0
/proc/10075/statm: 28282 363 305 221 0 87 0
[pid=10077] ppid=10075 vsize=15419460 memory=211220 CPUtime=3.63 cores=0,2,4,6
/proc/10077/stat : 10077 (java) S 10075 10075 7201 0 -1 1077944320 23944 0 0 0 353 10 0 0 20 0 19 0 475379463 15789527040 52805 33554432000 4194304 4196468 140725569358224 140725569340768 140077028048631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
/proc/10077/statm: 3854865 52805 3492 1 0 3815965 0
[pid=10077/tid=10078] ppid=10075 vsize=15419460 memory=112592 CPUtime=1.21 cores=0,2,4,6
/proc/10077/task/10078/stat : 10078 (java) S 10075 10075 7201 0 -1 1077944384 11679 0 0 0 115 6 0 0 20 0 19 0 475379463 15789527040 52805 33554432000 4194304 4196468 140725569358224 140077032289408 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10079] ppid=10075 vsize=15419460 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10077/task/10079/stat : 10079 (java) S 10075 10075 7201 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 19 0 475379464 15789527040 52805 33554432000 4194304 4196468 140725569358224 140076939704848 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10080] ppid=10075 vsize=15419460 memory=5787777885101117538 CPUtime=0.01 cores=0,2,4,6
/proc/10077/task/10080/stat : 10080 (java) S 10075 10075 7201 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 19 0 475379464 15789527040 52805 33554432000 4194304 4196468 140725569358224 140076938652304 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10081] ppid=10075 vsize=15419460 memory=7302415625502085456 CPUtime=0.01 cores=0,2,4,6
/proc/10077/task/10081/stat : 10081 (java) S 10075 10075 7201 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 19 0 475379464 15789527040 52805 33554432000 4194304 4196468 140725569358224 140076937599248 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10082] ppid=10075 vsize=15419460 memory=5787233549836902464 CPUtime=0.01 cores=0,2,4,6
/proc/10077/task/10082/stat : 10082 (java) S 10075 10075 7201 0 -1 1077944384 294 0 0 0 1 0 0 0 20 0 19 0 475379464 15789527040 52805 33554432000 4194304 4196468 140725569358224 140076617034128 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10083] ppid=10075 vsize=15419460 memory=7595696157378372416 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10083/stat : 10083 (java) S 10075 10075 7201 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 19 0 475379465 15789527040 52805 33554432000 4194304 4196468 140725569358224 140076496587504 140077028059778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10084] ppid=10075 vsize=15419460 memory=4641639281015013481 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10084/stat : 10084 (java) S 10075 10075 7201 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475379466 15789527040 52805 33554432000 4194304 4196468 140725569358224 140076495533728 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10085] ppid=10075 vsize=15419460 memory=7373348440955310160 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10085/stat : 10085 (java) S 10075 10075 7201 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 475379466 15789527040 52805 33554432000 4194304 4196468 140725569358224 140076494480624 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10086] ppid=10075 vsize=15419460 memory=4641054391697231971 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10086/stat : 10086 (java) S 10075 10075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475379469 15789527040 52805 33554432000 4194304 4196468 140725569358224 140076493429200 140077028067227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10087] ppid=10075 vsize=15419460 memory=5859271421085237344 CPUtime=0.82 cores=0,2,4,6
/proc/10077/task/10087/stat : 10087 (java) R 10075 10075 7201 0 -1 4202560 3065 0 0 0 82 0 0 0 20 0 19 0 475379469 15789527040 52805 33554432000 4194304 4196468 140725569358224 140076492369496 140077008213111 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10088] ppid=10075 vsize=15419460 memory=2280660 CPUtime=0.84 cores=0,2,4,6
/proc/10077/task/10088/stat : 10088 (java) R 10075 10075 7201 0 -1 4202560 3240 0 0 0 84 0 0 0 20 0 19 0 475379469 15789527040 52805 33554432000 4194304 4196468 140725569358224 140076491304016 140077007238080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10089] ppid=10075 vsize=15419460 memory=2241 CPUtime=0.59 cores=0,2,4,6
/proc/10077/task/10089/stat : 10089 (java) R 10075 10075 7201 0 -1 4202560 3733 0 0 0 59 0 0 0 20 0 19 0 475379469 15789527040 52805 33554432000 4194304 4196468 140725569358224 140076490270704 140077021145467 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10090] ppid=10075 vsize=15419460 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10090/stat : 10090 (java) S 10075 10075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475379469 15789527040 52805 33554432000 4194304 4196468 140725569358224 140076489218400 140077028058837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
[pid=10077/tid=10091] ppid=10075 vsize=15419460 memory=12328 CPUtime=0 cores=0,2,4,6
/proc/10077/task/10091/stat : 10091 (java) S 10075 10075 7201 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475379470 15789527040 52805 33554432000 4194304 4196468 140725569358224 140076488166448 140077028059778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25817088 140725569360859 140725569361034 140725569361034 140725569363919 0
Current children cumulated CPU time: 3.63 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 212672 KiB
Child status: 0
Real time (s): 1.40081
CPU time (s): 3.93433
CPU user time (s): 3.81537
CPU system time (s): 0.118956
CPU usage (%): 280.861
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 212672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.81537
system time used= 0.118956
maximum resident set size= 213536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25314
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= 2077
involuntary context switches= 38
# summary of solver processes directly reported to runsolver:
# pid: 10075
# total CPU time (s): 3.93433
# total CPU user time (s): 3.81537
# total CPU system time (s): 0.118956
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034337 second user time and 0.056189 second system time
The end