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 (12892 MiB free)
memory of node 1: 16384 MiB (14102 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400375-1568694590/watcher-4400375-1568694590 -o /tmp/evaluation-result-4400375-1568694590/solver-4400375-1568694590 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568694194-22971 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1679345416 HOME/instance-4400375-1568694590.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26154, runsolver pid=26151
[startup+0.100059 s]*
/proc/loadavg: 9.60 6.71 3.85 7/233 26170
/proc/meminfo: memFree=27593124/32770624 swapFree=66959728/67108860
[pid=26154] ppid=26151 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26154/stat : 26154 (xcsp3-exec) S 26151 26154 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445399192 115843072 363 33554432000 4194304 5098028 140726826728016 140726826726120 140649719861884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18116608 140726826734458 140726826734701 140726826734701 140726826737610 0
/proc/26154/statm: 28282 363 304 221 0 87 0
[pid=26156] ppid=26154 vsize=15144776 memory=29620 CPUtime=0.13 cores=1,3,5,7
/proc/26156/stat : 26156 (java) S 26154 26154 22939 0 -1 1077944320 5858 0 0 0 12 1 0 0 20 0 15 0 445399193 15508250624 7405 33554432000 4194304 4196468 140726690903680 140726690886224 140248313716471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
/proc/26156/statm: 3786194 7405 3153 1 0 3748377 0
[pid=26156/tid=26157] ppid=26154 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/26156/task/26157/stat : 26157 (java) R 26154 26154 22939 0 -1 4202560 3734 0 0 0 9 0 0 0 20 0 15 0 445399193 15508250624 7405 33554432000 4194304 4196468 140726690903680 140248317949600 140248305953598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26158] ppid=26154 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26158/stat : 26158 (java) S 26154 26154 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445399194 15508250624 7405 33554432000 4194304 4196468 140726690903680 140248266336912 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26159] ppid=26154 vsize=15144776 memory=140188900075136 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26159/stat : 26159 (java) S 26154 26154 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399194 15508250624 7405 33554432000 4194304 4196468 140726690903680 140247904999952 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26160] ppid=26154 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26160/stat : 26160 (java) S 26154 26154 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399194 15508250624 7405 33554432000 4194304 4196468 140726690903680 140247903947152 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26161] ppid=26154 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26161/stat : 26161 (java) S 26154 26154 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445399194 15508250624 7405 33554432000 4194304 4196468 140726690903680 140247902894352 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26162] ppid=26154 vsize=15144776 memory=140188900075136 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26162/stat : 26162 (java) S 26154 26154 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445399195 15508250624 7405 33554432000 4194304 4196468 140726690903680 140247389158256 140248313727618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26163] ppid=26154 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26163/stat : 26163 (java) S 26154 26154 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445399196 15508250624 7405 33554432000 4194304 4196468 140726690903680 140247388104224 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26164] ppid=26154 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26164/stat : 26164 (java) S 26154 26154 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445399196 15508250624 7405 33554432000 4194304 4196468 140726690903680 140247387051376 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26165] ppid=26154 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26165/stat : 26165 (java) S 26154 26154 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445399198 15508250624 7405 33554432000 4194304 4196468 140726690903680 140247385999696 140248313735067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26166] ppid=26154 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26166/stat : 26166 (java) S 26154 26154 22939 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 15 0 445399198 15508250624 7405 33554432000 4194304 4196468 140726690903680 140247384947056 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26167] ppid=26154 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26167/stat : 26167 (java) S 26154 26154 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445399198 15508250624 7405 33554432000 4194304 4196468 140726690903680 140247383894256 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26168] ppid=26154 vsize=15144776 memory=140188900075136 CPUtime=0.02 cores=1,3,5,7
/proc/26156/task/26168/stat : 26168 (java) R 26154 26154 22939 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 445399198 15508250624 7405 33554432000 4194304 4196468 140726690903680 140247382841456 140248313728406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26169] ppid=26154 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26169/stat : 26169 (java) S 26154 26154 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445399198 15508250624 7405 33554432000 4194304 4196468 140726690903680 140247381788896 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26170] ppid=26154 vsize=15144776 memory=140188900075136 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26170/stat : 26170 (java) S 26154 26154 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399199 15508250624 7405 33554432000 4194304 4196468 140726690903680 140247380737200 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31072 KiB
[startup+0.211498 s]*
/proc/loadavg: 9.60 6.71 3.85 7/233 26170
/proc/meminfo: memFree=27556052/32770624 swapFree=66959728/67108860
[pid=26154] ppid=26151 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26154/stat : 26154 (xcsp3-exec) S 26151 26154 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445399192 115843072 363 33554432000 4194304 5098028 140726826728016 140726826726120 140649719861884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18116608 140726826734458 140726826734701 140726826734701 140726826737610 0
/proc/26154/statm: 28282 363 304 221 0 87 0
[pid=26156] ppid=26154 vsize=15144776 memory=40780 CPUtime=0.35 cores=1,3,5,7
/proc/26156/stat : 26156 (java) S 26154 26154 22939 0 -1 1077944320 9460 0 0 0 33 2 0 0 20 0 15 0 445399193 15508250624 10195 33554432000 4194304 4196468 140726690903680 140726690886224 140248313716471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
/proc/26156/statm: 3786194 10195 3276 1 0 3748377 0
[pid=26156/tid=26157] ppid=26154 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/26156/task/26157/stat : 26157 (java) R 26154 26154 22939 0 -1 4202560 6655 0 0 0 19 1 0 0 20 0 15 0 445399193 15508250624 10195 33554432000 4194304 4196468 140726690903680 140248317951456 140248297796958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26158] ppid=26154 vsize=15144776 memory=1965946 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26158/stat : 26158 (java) S 26154 26154 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445399194 15508250624 10195 33554432000 4194304 4196468 140726690903680 140248266336912 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26159] ppid=26154 vsize=15144776 memory=140188903427955 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26159/stat : 26159 (java) S 26154 26154 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399194 15508250624 10195 33554432000 4194304 4196468 140726690903680 140247904999952 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26160] ppid=26154 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26160/stat : 26160 (java) S 26154 26154 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399194 15508250624 10195 33554432000 4194304 4196468 140726690903680 140247903947152 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26161] ppid=26154 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26161/stat : 26161 (java) S 26154 26154 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445399194 15508250624 10195 33554432000 4194304 4196468 140726690903680 140247902894352 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26162] ppid=26154 vsize=15144776 memory=140188900075136 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26162/stat : 26162 (java) S 26154 26154 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445399195 15508250624 10195 33554432000 4194304 4196468 140726690903680 140247389158256 140248313727618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26163] ppid=26154 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26163/stat : 26163 (java) S 26154 26154 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445399196 15508250624 10195 33554432000 4194304 4196468 140726690903680 140247388104224 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26164] ppid=26154 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26164/stat : 26164 (java) S 26154 26154 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445399196 15508250624 10195 33554432000 4194304 4196468 140726690903680 140247387051376 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26165] ppid=26154 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26165/stat : 26165 (java) S 26154 26154 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445399198 15508250624 10195 33554432000 4194304 4196468 140726690903680 140247385999696 140248313735067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26166] ppid=26154 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26156/task/26166/stat : 26166 (java) S 26154 26154 22939 0 -1 1077944384 688 0 0 0 3 0 0 0 20 0 15 0 445399198 15508250624 10195 33554432000 4194304 4196468 140726690903680 140247384947056 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26167] ppid=26154 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26156/task/26167/stat : 26167 (java) S 26154 26154 22939 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 15 0 445399198 15508250624 10195 33554432000 4194304 4196468 140726690903680 140247383894256 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26168] ppid=26154 vsize=15144776 memory=140188900075136 CPUtime=0.08 cores=1,3,5,7
/proc/26156/task/26168/stat : 26168 (java) S 26154 26154 22939 0 -1 1077944384 767 0 0 0 8 0 0 0 20 0 15 0 445399198 15508250624 10195 33554432000 4194304 4196468 140726690903680 140247382841456 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26169] ppid=26154 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26169/stat : 26169 (java) S 26154 26154 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445399198 15508250624 10195 33554432000 4194304 4196468 140726690903680 140247381788896 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26170] ppid=26154 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26170/stat : 26170 (java) S 26154 26154 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399199 15508250624 10195 33554432000 4194304 4196468 140726690903680 140247380737200 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42232 KiB
[startup+0.315418 s]*
/proc/loadavg: 9.60 6.71 3.85 9/233 26170
/proc/meminfo: memFree=27528524/32770624 swapFree=66959728/67108860
[pid=26154] ppid=26151 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26154/stat : 26154 (xcsp3-exec) S 26151 26154 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445399192 115843072 363 33554432000 4194304 5098028 140726826728016 140726826726120 140649719861884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18116608 140726826734458 140726826734701 140726826734701 140726826737610 0
/proc/26154/statm: 28282 363 304 221 0 87 0
[pid=26156] ppid=26154 vsize=15149032 memory=50468 CPUtime=0.54 cores=1,3,5,7
/proc/26156/stat : 26156 (java) S 26154 26154 22939 0 -1 1077944320 10949 0 0 0 51 3 0 0 20 0 15 0 445399193 15512608768 12617 33554432000 4194304 4196468 140726690903680 140726690886224 140248313716471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
/proc/26156/statm: 3787258 12617 3332 1 0 3748377 0
[pid=26156/tid=26157] ppid=26154 vsize=15149032 memory=6791534058613427641 CPUtime=0.31 cores=1,3,5,7
/proc/26156/task/26157/stat : 26157 (java) R 26154 26154 22939 0 -1 4202560 7898 0 0 0 28 3 0 0 20 0 15 0 445399193 15512608768 12617 33554432000 4194304 4196468 140726690903680 140248317950256 140248297796958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26158] ppid=26154 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26158/stat : 26158 (java) S 26154 26154 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445399194 15512608768 12617 33554432000 4194304 4196468 140726690903680 140248266336912 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26159] ppid=26154 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26159/stat : 26159 (java) S 26154 26154 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399194 15512608768 12617 33554432000 4194304 4196468 140726690903680 140247904999952 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26160] ppid=26154 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26160/stat : 26160 (java) S 26154 26154 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399194 15512608768 12617 33554432000 4194304 4196468 140726690903680 140247903947152 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26161] ppid=26154 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26161/stat : 26161 (java) S 26154 26154 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445399194 15512608768 12617 33554432000 4194304 4196468 140726690903680 140247902894352 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26162] ppid=26154 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26162/stat : 26162 (java) S 26154 26154 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445399195 15512608768 12617 33554432000 4194304 4196468 140726690903680 140247389158256 140248313727618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26163] ppid=26154 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26163/stat : 26163 (java) S 26154 26154 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445399196 15512608768 12617 33554432000 4194304 4196468 140726690903680 140247388104224 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26164] ppid=26154 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26164/stat : 26164 (java) S 26154 26154 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445399196 15512608768 12617 33554432000 4194304 4196468 140726690903680 140247387051376 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26165] ppid=26154 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26165/stat : 26165 (java) S 26154 26154 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445399198 15512608768 12617 33554432000 4194304 4196468 140726690903680 140247385999696 140248313735067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26166] ppid=26154 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/26156/task/26166/stat : 26166 (java) S 26154 26154 22939 0 -1 1077944384 709 0 0 0 5 0 0 0 20 0 15 0 445399198 15512608768 12617 33554432000 4194304 4196468 140726690903680 140247384947056 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26167] ppid=26154 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26156/task/26167/stat : 26167 (java) S 26154 26154 22939 0 -1 1077944384 180 0 0 0 4 0 0 0 20 0 15 0 445399198 15512608768 12617 33554432000 4194304 4196468 140726690903680 140247383894256 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26168] ppid=26154 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26156/task/26168/stat : 26168 (java) R 26154 26154 22939 0 -1 4202560 855 0 0 0 12 0 0 0 20 0 15 0 445399198 15512608768 12617 33554432000 4194304 4196468 140726690903680 140247382841456 140248313737818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26169] ppid=26154 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26169/stat : 26169 (java) S 26154 26154 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445399198 15512608768 12617 33554432000 4194304 4196468 140726690903680 140247381788896 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26170] ppid=26154 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26170/stat : 26170 (java) S 26154 26154 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399199 15512608768 12617 33554432000 4194304 4196468 140726690903680 140247380737200 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51920 KiB
[startup+0.705413 s]
/proc/loadavg: 9.60 6.71 3.85 7/236 26215
/proc/meminfo: memFree=27382396/32770624 swapFree=66959728/67108860
[pid=26154] ppid=26151 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26154/stat : 26154 (xcsp3-exec) S 26151 26154 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445399192 115843072 363 33554432000 4194304 5098028 140726826728016 140726826726120 140649719861884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18116608 140726826734458 140726826734701 140726826734701 140726826737610 0
/proc/26154/statm: 28282 363 304 221 0 87 0
[pid=26156] ppid=26154 vsize=15486032 memory=188840 CPUtime=1.69 cores=1,3,5,7
/proc/26156/stat : 26156 (java) S 26154 26154 22939 0 -1 1077944320 17502 0 0 0 161 8 0 0 20 0 20 0 445399193 15857696768 47210 33554432000 4194304 4196468 140726690903680 140726690886224 140248313716471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
/proc/26156/statm: 3871508 47210 3483 1 0 3832608 0
[pid=26156/tid=26157] ppid=26154 vsize=15486032 memory=292608201 CPUtime=0.45 cores=1,3,5,7
/proc/26156/task/26157/stat : 26157 (java) S 26154 26154 22939 0 -1 1077944384 9040 0 0 0 41 4 0 0 20 0 20 0 445399193 15857696768 47210 33554432000 4194304 4196468 140726690903680 140248317957248 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26158] ppid=26154 vsize=15486032 memory=33 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26158/stat : 26158 (java) S 26154 26154 22939 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 445399194 15857696768 47210 33554432000 4194304 4196468 140726690903680 140248266336912 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26159] ppid=26154 vsize=15486032 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26159/stat : 26159 (java) S 26154 26154 22939 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 445399194 15857696768 47210 33554432000 4194304 4196468 140726690903680 140247904999952 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26160] ppid=26154 vsize=15486032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26160/stat : 26160 (java) S 26154 26154 22939 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 445399194 15857696768 47210 33554432000 4194304 4196468 140726690903680 140247903947152 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26161] ppid=26154 vsize=15486032 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26161/stat : 26161 (java) S 26154 26154 22939 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 445399194 15857696768 47210 33554432000 4194304 4196468 140726690903680 140247902894352 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26162] ppid=26154 vsize=15486032 memory=48264 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26162/stat : 26162 (java) S 26154 26154 22939 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 445399195 15857696768 47210 33554432000 4194304 4196468 140726690903680 140247389158256 140248313727618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26163] ppid=26154 vsize=15486032 memory=988 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26163/stat : 26163 (java) S 26154 26154 22939 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 445399196 15857696768 47210 33554432000 4194304 4196468 140726690903680 140247388104288 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26164] ppid=26154 vsize=15486032 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26164/stat : 26164 (java) S 26154 26154 22939 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 445399196 15857696768 47210 33554432000 4194304 4196468 140726690903680 140247387051392 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26165] ppid=26154 vsize=15486032 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26165/stat : 26165 (java) S 26154 26154 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 445399198 15857696768 47210 33554432000 4194304 4196468 140726690903680 140247385999696 140248313735067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26166] ppid=26154 vsize=15486032 memory=580 CPUtime=0.25 cores=1,3,5,7
/proc/26156/task/26166/stat : 26166 (java) R 26154 26154 22939 0 -1 4202560 1645 0 0 0 25 0 0 0 20 0 20 0 445399198 15857696768 47210 33554432000 4194304 4196468 140726690903680 140247384928072 140248305957007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26167] ppid=26154 vsize=15486032 memory=1720 CPUtime=0.28 cores=1,3,5,7
/proc/26156/task/26167/stat : 26167 (java) R 26154 26154 22939 0 -1 4202560 795 0 0 0 28 0 0 0 20 0 20 0 445399198 15857696768 47210 33554432000 4194304 4196468 140726690903680 140247383875272 140248294416042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26168] ppid=26154 vsize=15486032 memory=10604 CPUtime=0.29 cores=1,3,5,7
/proc/26156/task/26168/stat : 26168 (java) R 26154 26154 22939 0 -1 1077944384 1775 0 0 0 29 0 0 0 20 0 20 0 445399198 15857696768 47210 33554432000 4194304 4196468 140726690903680 140247382841456 140248313727618 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26169] ppid=26154 vsize=15486032 memory=4160 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26169/stat : 26169 (java) S 26154 26154 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 445399198 15857696768 47210 33554432000 4194304 4196468 140726690903680 140247381788896 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26170] ppid=26154 vsize=15486032 memory=776 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26170/stat : 26170 (java) S 26154 26154 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445399199 15857696768 47210 33554432000 4194304 4196468 140726690903680 140247380737200 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15599160 KiB
Current children cumulated memory: 190292 KiB
[startup+1.50694 s]
/proc/loadavg: 9.60 6.71 3.85 5/235 26347
/proc/meminfo: memFree=27194304/32770624 swapFree=66959728/67108860
[pid=26154] ppid=26151 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26154/stat : 26154 (xcsp3-exec) S 26151 26154 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445399192 115843072 363 33554432000 4194304 5098028 140726826728016 140726826726120 140649719861884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18116608 140726826734458 140726826734701 140726826734701 140726826737610 0
/proc/26154/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 215276 KiB
[startup+7.20542 s]
/proc/loadavg: 9.55 6.75 3.88 9/237 26414
/proc/meminfo: memFree=27190628/32770624 swapFree=66959728/67108860
[pid=26154] ppid=26151 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26154/stat : 26154 (xcsp3-exec) S 26151 26154 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445399192 115843072 363 33554432000 4194304 5098028 140726826728016 140726826726120 140649719861884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18116608 140726826734458 140726826734701 140726826734701 140726826737610 0
/proc/26154/statm: 28282 363 304 221 0 87 0
[pid=26156] ppid=26154 vsize=15617104 memory=213300 CPUtime=25.54 cores=1,3,5,7
/proc/26156/stat : 26156 (java) S 26154 26154 22939 0 -1 1077944320 27833 0 0 0 2538 16 0 0 20 0 19 0 445399193 15991914496 53325 33554432000 4194304 4196468 140726690903680 140726690886224 140248313716471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
/proc/26156/statm: 3904276 53325 3515 1 0 3865376 0
[pid=26156/tid=26157] ppid=26154 vsize=15617104 memory=15460 CPUtime=0.45 cores=1,3,5,7
/proc/26156/task/26157/stat : 26157 (java) S 26154 26154 22939 0 -1 1077944384 9041 0 0 0 41 4 0 0 20 0 19 0 445399193 15991914496 53325 33554432000 4194304 4196468 140726690903680 140248317957248 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26158] ppid=26154 vsize=15617104 memory=17668 CPUtime=0.02 cores=1,3,5,7
/proc/26156/task/26158/stat : 26158 (java) S 26154 26154 22939 0 -1 1077944384 81 0 0 0 1 1 0 0 20 0 19 0 445399194 15991914496 53325 33554432000 4194304 4196468 140726690903680 140248266336912 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26159] ppid=26154 vsize=15617104 memory=288230574492221466 CPUtime=0.02 cores=1,3,5,7
/proc/26156/task/26159/stat : 26159 (java) S 26154 26154 22939 0 -1 1077944384 80 0 0 0 1 1 0 0 20 0 19 0 445399194 15991914496 53325 33554432000 4194304 4196468 140726690903680 140247904999952 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26160] ppid=26154 vsize=15617104 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26156/task/26160/stat : 26160 (java) S 26154 26154 22939 0 -1 1077944384 77 0 0 0 1 1 0 0 20 0 19 0 445399194 15991914496 53325 33554432000 4194304 4196468 140726690903680 140247903947152 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26161] ppid=26154 vsize=15617104 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26156/task/26161/stat : 26161 (java) S 26154 26154 22939 0 -1 1077944384 373 0 0 0 1 1 0 0 20 0 19 0 445399194 15991914496 53325 33554432000 4194304 4196468 140726690903680 140247902894352 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26162] ppid=26154 vsize=15617104 memory=3844 CPUtime=0.01 cores=1,3,5,7
/proc/26156/task/26162/stat : 26162 (java) S 26154 26154 22939 0 -1 1077944384 293 0 0 0 1 0 0 0 20 0 19 0 445399195 15991914496 53325 33554432000 4194304 4196468 140726690903680 140247389158256 140248313727618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26163] ppid=26154 vsize=15617104 memory=7598824234097836114 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26163/stat : 26163 (java) S 26154 26154 22939 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445399196 15991914496 53325 33554432000 4194304 4196468 140726690903680 140247388104288 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26164] ppid=26154 vsize=15617104 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26164/stat : 26164 (java) S 26154 26154 22939 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445399196 15991914496 53325 33554432000 4194304 4196468 140726690903680 140247387051392 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26165] ppid=26154 vsize=15617104 memory=6443646548682304865 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26165/stat : 26165 (java) S 26154 26154 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445399198 15991914496 53325 33554432000 4194304 4196468 140726690903680 140247385999696 140248313735067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26166] ppid=26154 vsize=15617104 memory=7649399375624681010 CPUtime=1.11 cores=1,3,5,7
/proc/26156/task/26166/stat : 26166 (java) S 26154 26154 22939 0 -1 1077944384 6107 0 0 0 111 0 0 0 20 0 19 0 445399198 15991914496 53325 33554432000 4194304 4196468 140726690903680 140247384947056 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26167] ppid=26154 vsize=15617104 memory=7649399367118435890 CPUtime=1.04 cores=1,3,5,7
/proc/26156/task/26167/stat : 26167 (java) S 26154 26154 22939 0 -1 1077944384 2561 0 0 0 104 0 0 0 20 0 19 0 445399198 15991914496 53325 33554432000 4194304 4196468 140726690903680 140247383894256 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26168] ppid=26154 vsize=15617104 memory=7649399371413403186 CPUtime=0.43 cores=1,3,5,7
/proc/26156/task/26168/stat : 26168 (java) S 26154 26154 22939 0 -1 1077944384 2507 0 0 0 42 1 0 0 20 0 19 0 445399198 15991914496 53325 33554432000 4194304 4196468 140726690903680 140247382841456 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26169] ppid=26154 vsize=15617104 memory=7649399375708370482 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26169/stat : 26169 (java) S 26154 26154 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445399198 15991914496 53325 33554432000 4194304 4196468 140726690903680 140247381788896 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26170] ppid=26154 vsize=15617104 memory=7649399380003337778 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26170/stat : 26170 (java) S 26154 26154 22939 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 19 0 445399199 15991914496 53325 33554432000 4194304 4196468 140726690903680 140247380737200 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26411] ppid=26154 vsize=15617104 memory=8658345880961800422 CPUtime=5.1 cores=1,3,5,7
/proc/26156/task/26411/stat : 26411 (java) R 26154 26154 22939 0 -1 4202560 122 0 0 0 510 0 0 0 20 0 19 0 445399374 15991914496 53325 33554432000 4194304 4196468 140726690903680 140247368359488 140247950100072 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26412] ppid=26154 vsize=15617104 memory=7649539573020821890 CPUtime=5.03 cores=1,3,5,7
/proc/26156/task/26412/stat : 26412 (java) R 26154 26154 22939 0 -1 4202560 198 0 0 0 503 0 0 0 20 0 19 0 445399374 15991914496 53325 33554432000 4194304 4196468 140726690903680 140247369413544 140247950179634 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26413] ppid=26154 vsize=15617104 memory=140188739421793 CPUtime=5.16 cores=1,3,5,7
/proc/26156/task/26413/stat : 26413 (java) R 26154 26154 22939 0 -1 4202560 413 0 0 0 516 0 0 0 20 0 19 0 445399374 15991914496 53325 33554432000 4194304 4196468 140726690903680 140247367310480 140247949644550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26414] ppid=26154 vsize=15617104 memory=8401352418782109792 CPUtime=5.25 cores=1,3,5,7
/proc/26156/task/26414/stat : 26414 (java) R 26154 26154 22939 0 -1 4202560 170 0 0 0 525 0 0 0 20 0 19 0 445399374 15991914496 53325 33554432000 4194304 4196468 140726690903680 140247366254048 140247950036748 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
Current children cumulated CPU time: 25.54 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 214752 KiB
[startup+8.00141 s]*
/proc/loadavg: 9.55 6.75 3.88 9/237 26414
/proc/meminfo: memFree=27190068/32770624 swapFree=66959728/67108860
[pid=26154] ppid=26151 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26154/stat : 26154 (xcsp3-exec) S 26151 26154 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445399192 115843072 363 33554432000 4194304 5098028 140726826728016 140726826726120 140649719861884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18116608 140726826734458 140726826734701 140726826734701 140726826737610 0
/proc/26154/statm: 28282 363 304 221 0 87 0
[pid=26156] ppid=26154 vsize=15617104 memory=214316 CPUtime=28.7 cores=1,3,5,7
/proc/26156/stat : 26156 (java) S 26154 26154 22939 0 -1 1077944320 27857 0 0 0 2854 16 0 0 20 0 19 0 445399193 15991914496 53579 33554432000 4194304 4196468 140726690903680 140726690886224 140248313716471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
/proc/26156/statm: 3904276 53579 3515 1 0 3865376 0
[pid=26156/tid=26157] ppid=26154 vsize=15617104 memory=6791534058613427641 CPUtime=0.45 cores=1,3,5,7
/proc/26156/task/26157/stat : 26157 (java) S 26154 26154 22939 0 -1 1077944384 9041 0 0 0 41 4 0 0 20 0 19 0 445399193 15991914496 53579 33554432000 4194304 4196468 140726690903680 140248317957248 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26158] ppid=26154 vsize=15617104 memory=4126316290023845779 CPUtime=0.02 cores=1,3,5,7
/proc/26156/task/26158/stat : 26158 (java) S 26154 26154 22939 0 -1 1077944384 85 0 0 0 1 1 0 0 20 0 19 0 445399194 15991914496 53579 33554432000 4194304 4196468 140726690903680 140248266336912 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26159] ppid=26154 vsize=15617104 memory=6944613755328037015 CPUtime=0.02 cores=1,3,5,7
/proc/26156/task/26159/stat : 26159 (java) S 26154 26154 22939 0 -1 1077944384 83 0 0 0 1 1 0 0 20 0 19 0 445399194 15991914496 53579 33554432000 4194304 4196468 140726690903680 140247904999952 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26160] ppid=26154 vsize=15617104 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/26156/task/26160/stat : 26160 (java) S 26154 26154 22939 0 -1 1077944384 80 0 0 0 1 1 0 0 20 0 19 0 445399194 15991914496 53579 33554432000 4194304 4196468 140726690903680 140247903947152 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26161] ppid=26154 vsize=15617104 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26156/task/26161/stat : 26161 (java) S 26154 26154 22939 0 -1 1077944384 377 0 0 0 1 1 0 0 20 0 19 0 445399194 15991914496 53579 33554432000 4194304 4196468 140726690903680 140247902894352 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26162] ppid=26154 vsize=15617104 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26156/task/26162/stat : 26162 (java) S 26154 26154 22939 0 -1 1077944384 293 0 0 0 1 0 0 0 20 0 19 0 445399195 15991914496 53579 33554432000 4194304 4196468 140726690903680 140247389158256 140248313727618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26163] ppid=26154 vsize=15617104 memory=-8976644418600983157 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26163/stat : 26163 (java) S 26154 26154 22939 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445399196 15991914496 53579 33554432000 4194304 4196468 140726690903680 140247388104288 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26164] ppid=26154 vsize=15617104 memory=7809358381220653577 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26164/stat : 26164 (java) S 26154 26154 22939 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445399196 15991914496 53579 33554432000 4194304 4196468 140726690903680 140247387051392 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26165] ppid=26154 vsize=15617104 memory=-7089645201929492275 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26165/stat : 26165 (java) S 26154 26154 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445399198 15991914496 53579 33554432000 4194304 4196468 140726690903680 140247385999696 140248313735067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26166] ppid=26154 vsize=15617104 memory=7445136740578976619 CPUtime=1.11 cores=1,3,5,7
/proc/26156/task/26166/stat : 26166 (java) S 26154 26154 22939 0 -1 1077944384 6107 0 0 0 111 0 0 0 20 0 19 0 445399198 15991914496 53579 33554432000 4194304 4196468 140726690903680 140247384947056 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26167] ppid=26154 vsize=15617104 memory=7739264884133421401 CPUtime=1.04 cores=1,3,5,7
/proc/26156/task/26167/stat : 26167 (java) S 26154 26154 22939 0 -1 1077944384 2561 0 0 0 104 0 0 0 20 0 19 0 445399198 15991914496 53579 33554432000 4194304 4196468 140726690903680 140247383894256 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26168] ppid=26154 vsize=15617104 memory=7521413117564905316 CPUtime=0.43 cores=1,3,5,7
/proc/26156/task/26168/stat : 26168 (java) S 26154 26154 22939 0 -1 1077944384 2508 0 0 0 42 1 0 0 20 0 19 0 445399198 15991914496 53579 33554432000 4194304 4196468 140726690903680 140247382841456 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26169] ppid=26154 vsize=15617104 memory=7521413117564905316 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26169/stat : 26169 (java) S 26154 26154 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445399198 15991914496 53579 33554432000 4194304 4196468 140726690903680 140247381788896 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26170] ppid=26154 vsize=15617104 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26170/stat : 26170 (java) S 26154 26154 22939 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 19 0 445399199 15991914496 53579 33554432000 4194304 4196468 140726690903680 140247380737200 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26411] ppid=26154 vsize=15617104 memory=2828 CPUtime=5.88 cores=1,3,5,7
/proc/26156/task/26411/stat : 26411 (java) R 26154 26154 22939 0 -1 4202560 123 0 0 0 588 0 0 0 20 0 19 0 445399374 15991914496 53579 33554432000 4194304 4196468 140726690903680 140247368359880 140248298093595 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26412] ppid=26154 vsize=15617104 memory=1216 CPUtime=5.81 cores=1,3,5,7
/proc/26156/task/26412/stat : 26412 (java) R 26154 26154 22939 0 -1 4202560 202 0 0 0 581 0 0 0 20 0 19 0 445399374 15991914496 53579 33554432000 4194304 4196468 140726690903680 140247369413544 140247950373712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26413] ppid=26154 vsize=15617104 memory=984 CPUtime=5.96 cores=1,3,5,7
/proc/26156/task/26413/stat : 26413 (java) R 26154 26154 22939 0 -1 4202560 414 0 0 0 596 0 0 0 20 0 19 0 445399374 15991914496 53579 33554432000 4194304 4196468 140726690903680 140247367310288 140247949361789 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26414] ppid=26154 vsize=15617104 memory=14004 CPUtime=6.05 cores=1,3,5,7
/proc/26156/task/26414/stat : 26414 (java) R 26154 26154 22939 0 -1 4202560 173 0 0 0 605 0 0 0 20 0 19 0 445399374 15991914496 53579 33554432000 4194304 4196468 140726690903680 140247366255256 140247950037783 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
Current children cumulated CPU time: 28.7 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 215768 KiB
[startup+8.40141 s]
/proc/loadavg: 9.55 6.75 3.88 9/237 26414
/proc/meminfo: memFree=27190068/32770624 swapFree=66959728/67108860
[pid=26154] ppid=26151 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26154/stat : 26154 (xcsp3-exec) S 26151 26154 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445399192 115843072 363 33554432000 4194304 5098028 140726826728016 140726826726120 140649719861884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18116608 140726826734458 140726826734701 140726826734701 140726826737610 0
/proc/26154/statm: 28282 363 304 221 0 87 0
[pid=26156] ppid=26154 vsize=15617104 memory=211760 CPUtime=30.25 cores=1,3,5,7
/proc/26156/stat : 26156 (java) S 26154 26154 22939 0 -1 1077944320 28273 0 0 0 3008 17 0 0 20 0 19 0 445399193 15991914496 52940 33554432000 4194304 4196468 140726690903680 140726690886224 140248313716471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
/proc/26156/statm: 3904276 52940 3515 1 0 3865376 0
[pid=26156/tid=26157] ppid=26154 vsize=15617104 memory=114513424681450 CPUtime=0.45 cores=1,3,5,7
/proc/26156/task/26157/stat : 26157 (java) S 26154 26154 22939 0 -1 1077944384 9041 0 0 0 41 4 0 0 20 0 19 0 445399193 15991914496 52940 33554432000 4194304 4196468 140726690903680 140248317957248 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26158] ppid=26154 vsize=15617104 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/26156/task/26158/stat : 26158 (java) S 26154 26154 22939 0 -1 1077944384 85 0 0 0 1 1 0 0 20 0 19 0 445399194 15991914496 52940 33554432000 4194304 4196468 140726690903680 140248266336912 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26159] ppid=26154 vsize=15617104 memory=832 CPUtime=0.02 cores=1,3,5,7
/proc/26156/task/26159/stat : 26159 (java) S 26154 26154 22939 0 -1 1077944384 85 0 0 0 1 1 0 0 20 0 19 0 445399194 15991914496 52940 33554432000 4194304 4196468 140726690903680 140247904999952 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26160] ppid=26154 vsize=15617104 memory=1436 CPUtime=0.02 cores=1,3,5,7
/proc/26156/task/26160/stat : 26160 (java) S 26154 26154 22939 0 -1 1077944384 80 0 0 0 1 1 0 0 20 0 19 0 445399194 15991914496 52940 33554432000 4194304 4196468 140726690903680 140247903947152 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26161] ppid=26154 vsize=15617104 memory=1984 CPUtime=0.02 cores=1,3,5,7
/proc/26156/task/26161/stat : 26161 (java) S 26154 26154 22939 0 -1 1077944384 379 0 0 0 1 1 0 0 20 0 19 0 445399194 15991914496 52940 33554432000 4194304 4196468 140726690903680 140247902894352 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26162] ppid=26154 vsize=15617104 memory=2580 CPUtime=0.01 cores=1,3,5,7
/proc/26156/task/26162/stat : 26162 (java) S 26154 26154 22939 0 -1 1077944384 293 0 0 0 1 0 0 0 20 0 19 0 445399195 15991914496 52940 33554432000 4194304 4196468 140726690903680 140247389158256 140248313727618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26163] ppid=26154 vsize=15617104 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26163/stat : 26163 (java) S 26154 26154 22939 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445399196 15991914496 52940 33554432000 4194304 4196468 140726690903680 140247388104288 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26164] ppid=26154 vsize=15617104 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26164/stat : 26164 (java) S 26154 26154 22939 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445399196 15991914496 52940 33554432000 4194304 4196468 140726690903680 140247387051392 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26165] ppid=26154 vsize=15617104 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26165/stat : 26165 (java) S 26154 26154 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445399198 15991914496 52940 33554432000 4194304 4196468 140726690903680 140247385999696 140248313735067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26166] ppid=26154 vsize=15617104 memory=25812 CPUtime=1.11 cores=1,3,5,7
/proc/26156/task/26166/stat : 26166 (java) S 26154 26154 22939 0 -1 1077944384 6107 0 0 0 111 0 0 0 20 0 19 0 445399198 15991914496 52940 33554432000 4194304 4196468 140726690903680 140247384947056 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26167] ppid=26154 vsize=15617104 memory=14048 CPUtime=1.07 cores=1,3,5,7
/proc/26156/task/26167/stat : 26167 (java) S 26154 26154 22939 0 -1 1077944384 2968 0 0 0 107 0 0 0 20 0 19 0 445399198 15991914496 52940 33554432000 4194304 4196468 140726690903680 140247383894256 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26168] ppid=26154 vsize=15617104 memory=2124 CPUtime=0.43 cores=1,3,5,7
/proc/26156/task/26168/stat : 26168 (java) S 26154 26154 22939 0 -1 1077944384 2508 0 0 0 42 1 0 0 20 0 19 0 445399198 15991914496 52940 33554432000 4194304 4196468 140726690903680 140247382841456 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26169] ppid=26154 vsize=15617104 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26169/stat : 26169 (java) S 26154 26154 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445399198 15991914496 52940 33554432000 4194304 4196468 140726690903680 140247381788896 140248313726677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26170] ppid=26154 vsize=15617104 memory=800 CPUtime=0 cores=1,3,5,7
/proc/26156/task/26170/stat : 26170 (java) S 26154 26154 22939 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 19 0 445399199 15991914496 52940 33554432000 4194304 4196468 140726690903680 140247380737200 140248313727618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26411] ppid=26154 vsize=15617104 memory=4104 CPUtime=6.26 cores=1,3,5,7
/proc/26156/task/26411/stat : 26411 (java) R 26154 26154 22939 0 -1 4202560 124 0 0 0 626 0 0 0 20 0 19 0 445399374 15991914496 52940 33554432000 4194304 4196468 140726690903680 140247368359880 140247949469475 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26412] ppid=26154 vsize=15617104 memory=1808 CPUtime=6.17 cores=1,3,5,7
/proc/26156/task/26412/stat : 26412 (java) R 26154 26154 22939 0 -1 4202560 204 0 0 0 617 0 0 0 20 0 19 0 445399374 15991914496 52940 33554432000 4194304 4196468 140726690903680 140247369415024 140247950179681 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26413] ppid=26154 vsize=15617104 memory=924 CPUtime=6.34 cores=1,3,5,7
/proc/26156/task/26413/stat : 26413 (java) R 26154 26154 22939 0 -1 4202560 415 0 0 0 634 0 0 0 20 0 19 0 445399374 15991914496 52940 33554432000 4194304 4196468 140726690903680 140247367308072 140247949557699 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
[pid=26156/tid=26414] ppid=26154 vsize=15617104 memory=2241 CPUtime=6.44 cores=1,3,5,7
/proc/26156/task/26414/stat : 26414 (java) R 26154 26154 22939 0 -1 4202560 174 0 0 0 644 0 0 0 20 0 19 0 445399374 15991914496 52940 33554432000 4194304 4196468 140726690903680 140247366255136 140247950037985 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140726690911215 140726690911386 140726690911386 140726690914255 0
Current children cumulated CPU time: 30.25 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 213212 KiB
[startup+8.50087 s]
/proc/loadavg: 9.55 6.75 3.88 9/237 26414
/proc/meminfo: memFree=27190068/32770624 swapFree=66959728/67108860
[pid=26154] ppid=26151 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26154/stat : 26154 (xcsp3-exec) S 26151 26154 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445399192 115843072 363 33554432000 4194304 5098028 140726826728016 140726826726120 140649719861884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18116608 140726826734458 140726826734701 140726826734701 140726826737610 0
/proc/26154/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 0
Real time (s): 8.50455
CPU time (s): 30.6556
CPU user time (s): 30.4784
CPU system time (s): 0.177191
CPU usage (%): 360.461
Max. virtual memory (cumulated for all children) (KiB): 15730232
Max. memory (cumulated for all children) (KiB): 216800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.4784
system time used= 0.177191
maximum resident set size= 216376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29276
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3897
involuntary context switches= 1088
# summary of solver processes directly reported to runsolver:
# pid: 26154
# total CPU time (s): 30.6556
# total CPU user time (s): 30.4784
# total CPU system time (s): 0.177191
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083725 second user time and 0.134673 second system time
The end