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 (14403 MiB free)
memory of node 1: 16384 MiB (15427 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270067-1502621786/watcher-4270067-1502621786 -o /tmp/evaluation-result-4270067-1502621786/solver-4270067-1502621786 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20542 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 499944354 HOME/instance-4270067-1502621786.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=25109, runsolver pid=25106
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 1.97 1.94 1.87 3/205 25119
/proc/meminfo: memFree=30538588/32770624 swapFree=67108860/67108860
[pid=25109] ppid=25106 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25109/stat : 25109 (xcsp3-exec) S 25106 25109 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64399336 9740288 344 18446744073709551615 4194304 5098028 140724599356320 140724599354424 140480154382972 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 29351936 140724599357823 140724599358026 140724599358026 140724599361515 0
/proc/25109/statm: 2378 344 289 221 0 87 0
[pid=25111] ppid=25109 vsize=13574484 memory=17192 CPUtime=0.02 cores=1,3,5,7
/proc/25111/stat : 25111 (java) S 25109 25109 897 0 -1 1077944320 4149 0 0 0 2 0 0 0 20 0 9 0 64399342 13900271616 4298 18446744073709551615 4194304 4196468 140725028160784 140725028143328 140187127664375 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
/proc/25111/statm: 3393621 4298 2098 1 0 3383118 0
[pid=25111/tid=25112] ppid=25109 vsize=13574484 memory=7311146985107750967 CPUtime=0.02 cores=1,3,5,7
/proc/25111/task/25112/stat : 25112 (java) R 25109 25109 897 0 -1 4202560 2857 0 0 0 2 0 0 0 20 0 9 0 64399343 13900271616 4298 18446744073709551615 4194304 4196468 140725028160784 140187131900424 140187113732494 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25113] ppid=25109 vsize=13574484 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25113/stat : 25113 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64399343 13900271616 4298 18446744073709551615 4194304 4196468 140725028160784 140186727659792 140187127674581 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25114] ppid=25109 vsize=13574484 memory=288370318864258688 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25114/stat : 25114 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64399343 13900271616 4298 18446744073709551615 4194304 4196468 140725028160784 140186726607248 140187127674581 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25115] ppid=25109 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25115/stat : 25115 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64399344 13900271616 4298 18446744073709551615 4194304 4196468 140725028160784 140186725554704 140187127674581 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25116] ppid=25109 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25116/stat : 25116 (java) S 25109 25109 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64399344 13900271616 4298 18446744073709551615 4194304 4196468 140725028160784 140186724502160 140187127674581 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25117] ppid=25109 vsize=13574484 memory=139942712546944 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25117/stat : 25117 (java) S 25109 25109 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64399345 13900271616 4298 18446744073709551615 4194304 4196468 140725028160784 140186673322480 140187127675522 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25118] ppid=25109 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25118/stat : 25118 (java) S 25109 25109 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 64399345 13900271616 4298 18446744073709551615 4194304 4196468 140725028160784 140186672268704 140187127674581 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25119] ppid=25109 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25119/stat : 25119 (java) S 25109 25109 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 64399345 13900271616 4298 18446744073709551615 4194304 4196468 140725028160784 140186671216176 140187127674581 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18568 KiB
[startup+0.210011 s]*
/proc/loadavg: 1.97 1.94 1.87 5/211 25125
/proc/meminfo: memFree=30529768/32770624 swapFree=67108860/67108860
[pid=25109] ppid=25106 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25109/stat : 25109 (xcsp3-exec) S 25106 25109 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64399336 9740288 344 18446744073709551615 4194304 5098028 140724599356320 140724599354424 140480154382972 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 29351936 140724599357823 140724599358026 140724599358026 140724599361515 0
/proc/25109/statm: 2378 344 289 221 0 87 0
[pid=25111] ppid=25109 vsize=13974352 memory=29036 CPUtime=0.13 cores=1,3,5,7
/proc/25111/stat : 25111 (java) S 25109 25109 897 0 -1 1077944320 5655 0 0 0 12 1 0 0 20 0 15 0 64399342 14309736448 7259 18446744073709551615 4194304 4196468 140725028160784 140725028143328 140187127664375 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
/proc/25111/statm: 3493588 7259 2870 1 0 3482964 0
[pid=25111/tid=25112] ppid=25109 vsize=13974352 memory=7311146985107750967 CPUtime=0.1 cores=1,3,5,7
/proc/25111/task/25112/stat : 25112 (java) R 25109 25109 897 0 -1 4202560 3593 0 0 0 9 1 0 0 20 0 15 0 64399343 14309736448 7259 18446744073709551615 4194304 4196468 140725028160784 140187131896064 140187105675169 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25113] ppid=25109 vsize=13974352 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25113/stat : 25113 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399343 14309736448 7259 18446744073709551615 4194304 4196468 140725028160784 140186727659792 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25114] ppid=25109 vsize=13974352 memory=288370318864258688 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25114/stat : 25114 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399343 14309736448 7259 18446744073709551615 4194304 4196468 140725028160784 140186726607248 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25115] ppid=25109 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25115/stat : 25115 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399344 14309736448 7259 18446744073709551615 4194304 4196468 140725028160784 140186725554704 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25116] ppid=25109 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25116/stat : 25116 (java) S 25109 25109 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64399344 14309736448 7259 18446744073709551615 4194304 4196468 140725028160784 140186724502160 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25117] ppid=25109 vsize=13974352 memory=139942712546944 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25117/stat : 25117 (java) S 25109 25109 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64399345 14309736448 7259 18446744073709551615 4194304 4196468 140725028160784 140186673322480 140187127675522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25118] ppid=25109 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25118/stat : 25118 (java) S 25109 25109 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64399345 14309736448 7259 18446744073709551615 4194304 4196468 140725028160784 140186672268704 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25119] ppid=25109 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25119/stat : 25119 (java) S 25109 25109 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64399345 14309736448 7259 18446744073709551615 4194304 4196468 140725028160784 140186671216112 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25120] ppid=25109 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25120/stat : 25120 (java) S 25109 25109 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399348 14309736448 7259 18446744073709551615 4194304 4196468 140725028160784 140186670164688 140187127682971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25121] ppid=25109 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25121/stat : 25121 (java) S 25109 25109 897 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 64399348 14309736448 7259 18446744073709551615 4194304 4196468 140725028160784 140186669111280 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25122] ppid=25109 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25122/stat : 25122 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399348 14309736448 7259 18446744073709551615 4194304 4196468 140725028160784 140186668058736 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25123] ppid=25109 vsize=13974352 memory=139942712546944 CPUtime=0.01 cores=1,3,5,7
/proc/25111/task/25123/stat : 25123 (java) R 25109 25109 897 0 -1 4202560 335 0 0 0 1 0 0 0 20 0 15 0 64399348 14309736448 7259 18446744073709551615 4194304 4196468 140725028160784 140186667006192 140187107618821 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25124] ppid=25109 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25124/stat : 25124 (java) S 25109 25109 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399348 14309736448 7259 18446744073709551615 4194304 4196468 140725028160784 140186665953888 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25125] ppid=25109 vsize=13974352 memory=139942712546944 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25125/stat : 25125 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399352 14309736448 7259 18446744073709551615 4194304 4196468 140725028160784 140186664901424 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30412 KiB
[startup+0.310325 s]*
/proc/loadavg: 1.97 1.94 1.87 4/211 25125
/proc/meminfo: memFree=30516912/32770624 swapFree=67108860/67108860
[pid=25109] ppid=25106 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25109/stat : 25109 (xcsp3-exec) S 25106 25109 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64399336 9740288 344 18446744073709551615 4194304 5098028 140724599356320 140724599354424 140480154382972 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 29351936 140724599357823 140724599358026 140724599358026 140724599361515 0
/proc/25109/statm: 2378 344 289 221 0 87 0
[pid=25111] ppid=25109 vsize=13978608 memory=40024 CPUtime=0.33 cores=1,3,5,7
/proc/25111/stat : 25111 (java) S 25109 25109 897 0 -1 1077944320 9239 0 0 0 30 3 0 0 20 0 15 0 64399342 14314094592 10006 18446744073709551615 4194304 4196468 140725028160784 140725028143328 140187127664375 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
/proc/25111/statm: 3494652 10006 3034 1 0 3482964 0
[pid=25111/tid=25112] ppid=25109 vsize=13978608 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/25111/task/25112/stat : 25112 (java) R 25109 25109 897 0 -1 4202560 6394 0 0 0 17 2 0 0 20 0 15 0 64399343 14314094592 10006 18446744073709551615 4194304 4196468 140725028160784 140187131885368 140187111744862 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25113] ppid=25109 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25113/stat : 25113 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399343 14314094592 10006 18446744073709551615 4194304 4196468 140725028160784 140186727659792 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25114] ppid=25109 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25114/stat : 25114 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399343 14314094592 10006 18446744073709551615 4194304 4196468 140725028160784 140186726607248 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25115] ppid=25109 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25115/stat : 25115 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399344 14314094592 10006 18446744073709551615 4194304 4196468 140725028160784 140186725554704 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25116] ppid=25109 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25116/stat : 25116 (java) S 25109 25109 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64399344 14314094592 10006 18446744073709551615 4194304 4196468 140725028160784 140186724502160 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25117] ppid=25109 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25117/stat : 25117 (java) S 25109 25109 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64399345 14314094592 10006 18446744073709551615 4194304 4196468 140725028160784 140186673322480 140187127675522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25118] ppid=25109 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25118/stat : 25118 (java) S 25109 25109 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64399345 14314094592 10006 18446744073709551615 4194304 4196468 140725028160784 140186672268704 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25119] ppid=25109 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25119/stat : 25119 (java) S 25109 25109 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64399345 14314094592 10006 18446744073709551615 4194304 4196468 140725028160784 140186671216112 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25120] ppid=25109 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25120/stat : 25120 (java) S 25109 25109 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399348 14314094592 10006 18446744073709551615 4194304 4196468 140725028160784 140186670164688 140187127682971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25121] ppid=25109 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25111/task/25121/stat : 25121 (java) S 25109 25109 897 0 -1 1077944384 558 0 0 0 2 0 0 0 20 0 15 0 64399348 14314094592 10006 18446744073709551615 4194304 4196468 140725028160784 140186669111280 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25122] ppid=25109 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25111/task/25122/stat : 25122 (java) S 25109 25109 897 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 15 0 64399348 14314094592 10006 18446744073709551615 4194304 4196468 140725028160784 140186668058736 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25123] ppid=25109 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25111/task/25123/stat : 25123 (java) R 25109 25109 897 0 -1 4202560 711 0 0 0 7 0 0 0 20 0 15 0 64399348 14314094592 10006 18446744073709551615 4194304 4196468 140725028160784 140186667006192 140187127676310 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25124] ppid=25109 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25124/stat : 25124 (java) S 25109 25109 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399348 14314094592 10006 18446744073709551615 4194304 4196468 140725028160784 140186665953888 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25125] ppid=25109 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25125/stat : 25125 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399352 14314094592 10006 18446744073709551615 4194304 4196468 140725028160784 140186664901424 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41400 KiB
[startup+0.704366 s]
/proc/loadavg: 2.05 1.96 1.87 6/211 25125
/proc/meminfo: memFree=30506904/32770624 swapFree=67108860/67108860
[pid=25109] ppid=25106 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25109/stat : 25109 (xcsp3-exec) S 25106 25109 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64399336 9740288 344 18446744073709551615 4194304 5098028 140724599356320 140724599354424 140480154382972 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 29351936 140724599357823 140724599358026 140724599358026 140724599361515 0
/proc/25109/statm: 2378 344 289 221 0 87 0
[pid=25111] ppid=25109 vsize=13980732 memory=69384 CPUtime=1.23 cores=1,3,5,7
/proc/25111/stat : 25111 (java) S 25109 25109 897 0 -1 1077944320 13484 0 0 0 118 5 0 0 20 0 15 0 64399342 14316269568 17346 18446744073709551615 4194304 4196468 140725028160784 140725028143328 140187127664375 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
/proc/25111/statm: 3495183 17346 3176 1 0 3483476 0
[pid=25111/tid=25112] ppid=25109 vsize=13980732 memory=7595995151879202156 CPUtime=0.58 cores=1,3,5,7
/proc/25111/task/25112/stat : 25112 (java) R 25109 25109 897 0 -1 4202560 8531 0 0 0 54 4 0 0 20 0 15 0 64399343 14316269568 17346 18446744073709551615 4194304 4196468 140725028160784 140187131899840 140186746145452 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25113] ppid=25109 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25113/stat : 25113 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399343 14316269568 17346 18446744073709551615 4194304 4196468 140725028160784 140186727659792 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25114] ppid=25109 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25114/stat : 25114 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399343 14316269568 17346 18446744073709551615 4194304 4196468 140725028160784 140186726607248 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25115] ppid=25109 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25115/stat : 25115 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399344 14316269568 17412 18446744073709551615 4194304 4196468 140725028160784 140186725554704 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25116] ppid=25109 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25116/stat : 25116 (java) S 25109 25109 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64399344 14316269568 17412 18446744073709551615 4194304 4196468 140725028160784 140186724502160 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25117] ppid=25109 vsize=13980732 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25117/stat : 25117 (java) S 25109 25109 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64399345 14316269568 17412 18446744073709551615 4194304 4196468 140725028160784 140186673322480 140187127675522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25118] ppid=25109 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25118/stat : 25118 (java) S 25109 25109 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64399345 14316269568 17412 18446744073709551615 4194304 4196468 140725028160784 140186672268704 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25119] ppid=25109 vsize=13980732 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25119/stat : 25119 (java) S 25109 25109 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64399345 14316269568 17412 18446744073709551615 4194304 4196468 140725028160784 140186671216112 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25120] ppid=25109 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25120/stat : 25120 (java) S 25109 25109 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399348 14316269568 17412 18446744073709551615 4194304 4196468 140725028160784 140186670164688 140187127682971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25121] ppid=25109 vsize=13980732 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/25111/task/25121/stat : 25121 (java) R 25109 25109 897 0 -1 4202560 1215 0 0 0 18 0 0 0 20 0 15 0 64399348 14316269568 17412 18446744073709551615 4194304 4196468 140725028160784 140186669091736 140187108365863 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25122] ppid=25109 vsize=13980732 memory=2529 CPUtime=0.17 cores=1,3,5,7
/proc/25111/task/25122/stat : 25122 (java) R 25109 25109 897 0 -1 4202560 1163 0 0 0 17 0 0 0 20 0 15 0 64399348 14316269568 17412 18446744073709551615 4194304 4196468 140725028160784 140186668039144 140187119901502 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25123] ppid=25109 vsize=13980732 memory=2000 CPUtime=0.27 cores=1,3,5,7
/proc/25111/task/25123/stat : 25123 (java) S 25109 25109 897 0 -1 1077944384 1342 0 0 0 27 0 0 0 20 0 15 0 64399348 14316269568 17412 18446744073709551615 4194304 4196468 140725028160784 140186667006192 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25124] ppid=25109 vsize=13980732 memory=10976 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25124/stat : 25124 (java) S 25109 25109 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399348 14316269568 17478 18446744073709551615 4194304 4196468 140725028160784 140186665953888 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25125] ppid=25109 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25125/stat : 25125 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399352 14316269568 17478 18446744073709551615 4194304 4196468 140725028160784 140186664901424 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 70760 KiB
[startup+1.50086 s]
/proc/loadavg: 2.05 1.96 1.87 5/211 25125
/proc/meminfo: memFree=30474312/32770624 swapFree=67108860/67108860
[pid=25109] ppid=25106 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25109/stat : 25109 (xcsp3-exec) S 25106 25109 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64399336 9740288 344 18446744073709551615 4194304 5098028 140724599356320 140724599354424 140480154382972 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 29351936 140724599357823 140724599358026 140724599358026 140724599361515 0
/proc/25109/statm: 2378 344 289 221 0 87 0
[pid=25111] ppid=25109 vsize=13980732 memory=88980 CPUtime=3.27 cores=1,3,5,7
/proc/25111/stat : 25111 (java) S 25109 25109 897 0 -1 1077944320 20800 0 0 0 321 6 0 0 20 0 15 0 64399342 14316269568 22245 18446744073709551615 4194304 4196468 140725028160784 140725028143328 140187127664375 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
/proc/25111/statm: 3495183 22245 3185 1 0 3483476 0
[pid=25111/tid=25112] ppid=25109 vsize=13980732 memory=0 CPUtime=1.37 cores=1,3,5,7
/proc/25111/task/25112/stat : 25112 (java) R 25109 25109 897 0 -1 4202560 9795 0 0 0 133 4 0 0 20 0 15 0 64399343 14316269568 22245 18446744073709551615 4194304 4196468 140725028160784 140187131902096 140186746966063 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25113] ppid=25109 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25113/stat : 25113 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399343 14316269568 22245 18446744073709551615 4194304 4196468 140725028160784 140186727659792 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25114] ppid=25109 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25114/stat : 25114 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399343 14316269568 22245 18446744073709551615 4194304 4196468 140725028160784 140186726607248 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25115] ppid=25109 vsize=13980732 memory=82504 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25115/stat : 25115 (java) S 25109 25109 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399344 14316269568 22245 18446744073709551615 4194304 4196468 140725028160784 140186725554704 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25116] ppid=25109 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=25111/tid=25117] ppid=25109 vsize=13980732 memory=9771 CPUtime=0.01 cores=1,3,5,7
/proc/25111/task/25117/stat : 25117 (java) S 25109 25109 897 0 -1 1077944384 965 0 0 0 1 0 0 0 20 0 15 0 64399345 14316269568 53549 18446744073709551615 4194304 4196468 140725028160784 140186673322480 140187127675522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25118] ppid=25109 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25118/stat : 25118 (java) S 25109 25109 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 64399345 14316269568 53549 18446744073709551615 4194304 4196468 140725028160784 140186672268704 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25119] ppid=25109 vsize=13980732 memory=219728 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25119/stat : 25119 (java) S 25109 25109 897 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64399345 14316269568 53549 18446744073709551615 4194304 4196468 140725028160784 140186671216112 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25120] ppid=25109 vsize=13980732 memory=222312 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25120/stat : 25120 (java) S 25109 25109 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399348 14316269568 53549 18446744073709551615 4194304 4196468 140725028160784 140186670164688 140187127682971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25121] ppid=25109 vsize=13980732 memory=2316 CPUtime=2.13 cores=1,3,5,7
/proc/25111/task/25121/stat : 25121 (java) S 25109 25109 897 0 -1 1077944384 15563 0 0 0 212 1 0 0 20 0 15 0 64399348 14316269568 53549 18446744073709551615 4194304 4196468 140725028160784 140186669111280 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25122] ppid=25109 vsize=13980732 memory=1728 CPUtime=2.29 cores=1,3,5,7
/proc/25111/task/25122/stat : 25122 (java) S 25109 25109 897 0 -1 1077944384 14843 0 0 0 227 2 0 0 20 0 15 0 64399348 14316269568 53549 18446744073709551615 4194304 4196468 140725028160784 140186668058736 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25123] ppid=25109 vsize=13980732 memory=1228 CPUtime=0.47 cores=1,3,5,7
/proc/25111/task/25123/stat : 25123 (java) S 25109 25109 897 0 -1 1077944384 5205 0 0 0 46 1 0 0 20 0 15 0 64399348 14316269568 53549 18446744073709551615 4194304 4196468 140725028160784 140186667006192 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25124] ppid=25109 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25124/stat : 25124 (java) S 25109 25109 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399348 14316269568 53549 18446744073709551615 4194304 4196468 140725028160784 140186665953888 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25125] ppid=25109 vsize=13980732 memory=2000 CPUtime=0.02 cores=1,3,5,7
/proc/25111/task/25125/stat : 25125 (java) S 25109 25109 897 0 -1 1077944384 636 0 0 0 1 1 0 0 20 0 15 0 64399352 14316269568 53549 18446744073709551615 4194304 4196468 140725028160784 140186664901424 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
Current children cumulated CPU time: 107.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 215572 KiB
[startup+162.301 s]
/proc/loadavg: 2.12 2.04 1.91 3/211 25207
/proc/meminfo: memFree=30791748/32770624 swapFree=67108860/67108860
[pid=25109] ppid=25106 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25109/stat : 25109 (xcsp3-exec) S 25106 25109 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64399336 9740288 344 18446744073709551615 4194304 5098028 140724599356320 140724599354424 140480154382972 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 29351936 140724599357823 140724599358026 140724599358026 140724599361515 0
/proc/25109/statm: 2378 344 289 221 0 87 0
[pid=25111] ppid=25109 vsize=13980732 memory=200528 CPUtime=167.34 cores=1,3,5,7
/proc/25111/stat : 25111 (java) S 25109 25109 897 0 -1 1077944320 57704 0 0 0 16717 17 0 0 20 0 15 0 64399342 14316269568 50132 18446744073709551615 4194304 4196468 140725028160784 140725028143328 140187127664375 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
/proc/25111/statm: 3495183 50132 3238 1 0 3483476 0
[pid=25111/tid=25112] ppid=25109 vsize=13980732 memory=200528 CPUtime=162.1 cores=1,3,5,7
/proc/25111/task/25112/stat : 25112 (java) R 25109 25109 897 0 -1 4202560 14321 0 0 0 16204 6 0 0 20 0 15 0 64399343 14316269568 50132 18446744073709551615 4194304 4196468 140725028160784 140187131903824 140186746783980 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25113] ppid=25109 vsize=13980732 memory=1376 CPUtime=0.04 cores=1,3,5,7
/proc/25111/task/25113/stat : 25113 (java) S 25109 25109 897 0 -1 1077944384 322 0 0 0 3 1 0 0 20 0 15 0 64399343 14316269568 50132 18446744073709551615 4194304 4196468 140725028160784 140186727659792 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25114] ppid=25109 vsize=13980732 memory=1376 CPUtime=0.03 cores=1,3,5,7
/proc/25111/task/25114/stat : 25114 (java) S 25109 25109 897 0 -1 1077944384 590 0 0 0 3 0 0 0 20 0 15 0 64399343 14316269568 50132 18446744073709551615 4194304 4196468 140725028160784 140186726607248 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25115] ppid=25109 vsize=13980732 memory=205656 CPUtime=0.02 cores=1,3,5,7
/proc/25111/task/25115/stat : 25115 (java) S 25109 25109 897 0 -1 1077944384 782 0 0 0 2 0 0 0 20 0 15 0 64399344 14316269568 50132 18446744073709551615 4194304 4196468 140725028160784 140186725554704 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25116] ppid=25109 vsize=13980732 memory=209760 CPUtime=0.04 cores=1,3,5,7
/proc/25111/task/25116/stat : 25116 (java) S 25109 25109 897 0 -1 1077944384 1113 0 0 0 3 1 0 0 20 0 15 0 64399344 14316269568 50132 18446744073709551615 4194304 4196468 140725028160784 140186724502160 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25117] ppid=25109 vsize=13980732 memory=212284 CPUtime=0.02 cores=1,3,5,7
/proc/25111/task/25117/stat : 25117 (java) S 25109 25109 897 0 -1 1077944384 1160 0 0 0 2 0 0 0 20 0 15 0 64399345 14316269568 50132 18446744073709551615 4194304 4196468 140725028160784 140186673322480 140187127675522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25118] ppid=25109 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25118/stat : 25118 (java) S 25109 25109 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 64399345 14316269568 50132 18446744073709551615 4194304 4196468 140725028160784 140186672268704 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25119] ppid=25109 vsize=13980732 memory=36408 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25119/stat : 25119 (java) S 25109 25109 897 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64399345 14316269568 50132 18446744073709551615 4194304 4196468 140725028160784 140186671216112 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25120] ppid=25109 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25120/stat : 25120 (java) S 25109 25109 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399348 14316269568 50132 18446744073709551615 4194304 4196468 140725028160784 140186670164688 140187127682971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25121] ppid=25109 vsize=13980732 memory=36408 CPUtime=2.18 cores=1,3,5,7
/proc/25111/task/25121/stat : 25121 (java) S 25109 25109 897 0 -1 1077944384 16134 0 0 0 217 1 0 0 20 0 15 0 64399348 14316269568 50132 18446744073709551615 4194304 4196468 140725028160784 140186669111280 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25122] ppid=25109 vsize=13980732 memory=36408 CPUtime=2.33 cores=1,3,5,7
/proc/25111/task/25122/stat : 25122 (java) S 25109 25109 897 0 -1 1077944384 15647 0 0 0 231 2 0 0 20 0 15 0 64399348 14316269568 50132 18446744073709551615 4194304 4196468 140725028160784 140186668058736 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25123] ppid=25109 vsize=13980732 memory=1292 CPUtime=0.47 cores=1,3,5,7
/proc/25111/task/25123/stat : 25123 (java) S 25109 25109 897 0 -1 1077944384 5608 0 0 0 46 1 0 0 20 0 15 0 64399348 14316269568 50132 18446744073709551615 4194304 4196468 140725028160784 140186667006192 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25124] ppid=25109 vsize=13980732 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25124/stat : 25124 (java) S 25109 25109 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399348 14316269568 50132 18446744073709551615 4194304 4196468 140725028160784 140186665953888 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25125] ppid=25109 vsize=13980732 memory=4616 CPUtime=0.02 cores=1,3,5,7
/proc/25111/task/25125/stat : 25125 (java) S 25109 25109 897 0 -1 1077944384 658 0 0 0 1 1 0 0 20 0 15 0 64399352 14316269568 50132 18446744073709551615 4194304 4196468 140725028160784 140186664901424 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
Current children cumulated CPU time: 167.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 201904 KiB
[startup+222.301 s]
/proc/loadavg: 1.69 1.93 1.88 3/211 25209
/proc/meminfo: memFree=30829960/32770624 swapFree=67108860/67108860
[pid=25109] ppid=25106 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25109/stat : 25109 (xcsp3-exec) S 25106 25109 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64399336 9740288 344 18446744073709551615 4194304 5098028 140724599356320 140724599354424 140480154382972 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 29351936 140724599357823 140724599358026 140724599358026 140724599361515 0
/proc/25109/statm: 2378 344 289 221 0 87 0
[pid=25111] ppid=25109 vsize=13980732 memory=175388 CPUtime=227.37 cores=1,3,5,7
/proc/25111/stat : 25111 (java) S 25109 25109 897 0 -1 1077944320 58750 0 0 0 22720 17 0 0 20 0 15 0 64399342 14316269568 43847 18446744073709551615 4194304 4196468 140725028160784 140725028143328 140187127664375 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
/proc/25111/statm: 3495183 43847 3238 1 0 3483476 0
[pid=25111/tid=25112] ppid=25109 vsize=13980732 memory=176928 CPUtime=222.09 cores=1,3,5,7
/proc/25111/task/25112/stat : 25112 (java) R 25109 25109 897 0 -1 4202560 14715 0 0 0 22203 6 0 0 20 0 15 0 64399343 14316269568 43847 18446744073709551615 4194304 4196468 140725028160784 140187131903712 140186746467280 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25113] ppid=25109 vsize=13980732 memory=176928 CPUtime=0.04 cores=1,3,5,7
/proc/25111/task/25113/stat : 25113 (java) S 25109 25109 897 0 -1 1077944384 325 0 0 0 3 1 0 0 20 0 15 0 64399343 14316269568 43847 18446744073709551615 4194304 4196468 140725028160784 140186727659792 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25114] ppid=25109 vsize=13980732 memory=175388 CPUtime=0.03 cores=1,3,5,7
/proc/25111/task/25114/stat : 25114 (java) S 25109 25109 897 0 -1 1077944384 645 0 0 0 3 0 0 0 20 0 15 0 64399343 14316269568 43847 18446744073709551615 4194304 4196468 140725028160784 140186726607248 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25115] ppid=25109 vsize=13980732 memory=175388 CPUtime=0.03 cores=1,3,5,7
/proc/25111/task/25115/stat : 25115 (java) S 25109 25109 897 0 -1 1077944384 790 0 0 0 3 0 0 0 20 0 15 0 64399344 14316269568 43847 18446744073709551615 4194304 4196468 140725028160784 140186725554704 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25116] ppid=25109 vsize=13980732 memory=1376 CPUtime=0.04 cores=1,3,5,7
/proc/25111/task/25116/stat : 25116 (java) S 25109 25109 897 0 -1 1077944384 1407 0 0 0 3 1 0 0 20 0 15 0 64399344 14316269568 43847 18446744073709551615 4194304 4196468 140725028160784 140186724502160 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25117] ppid=25109 vsize=13980732 memory=1012 CPUtime=0.03 cores=1,3,5,7
/proc/25111/task/25117/stat : 25117 (java) S 25109 25109 897 0 -1 1077944384 1287 0 0 0 3 0 0 0 20 0 15 0 64399345 14316269568 43847 18446744073709551615 4194304 4196468 140725028160784 140186673322480 140187127675522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25118] ppid=25109 vsize=13980732 memory=175388 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25118/stat : 25118 (java) S 25109 25109 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 64399345 14316269568 43847 18446744073709551615 4194304 4196468 140725028160784 140186672268704 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25119] ppid=25109 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25119/stat : 25119 (java) S 25109 25109 897 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64399345 14316269568 43847 18446744073709551615 4194304 4196468 140725028160784 140186671216112 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25120] ppid=25109 vsize=13980732 memory=187188 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25120/stat : 25120 (java) S 25109 25109 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399348 14316269568 43847 18446744073709551615 4194304 4196468 140725028160784 140186670164688 140187127682971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25121] ppid=25109 vsize=13980732 memory=3904 CPUtime=2.18 cores=1,3,5,7
/proc/25111/task/25121/stat : 25121 (java) S 25109 25109 897 0 -1 1077944384 16136 0 0 0 217 1 0 0 20 0 15 0 64399348 14316269568 43847 18446744073709551615 4194304 4196468 140725028160784 140186669111280 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25122] ppid=25109 vsize=13980732 memory=175388 CPUtime=2.33 cores=1,3,5,7
/proc/25111/task/25122/stat : 25122 (java) S 25109 25109 897 0 -1 1077944384 15649 0 0 0 231 2 0 0 20 0 15 0 64399348 14316269568 43847 18446744073709551615 4194304 4196468 140725028160784 140186668058736 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25123] ppid=25109 vsize=13980732 memory=139942584273456 CPUtime=0.47 cores=1,3,5,7
/proc/25111/task/25123/stat : 25123 (java) S 25109 25109 897 0 -1 1077944384 5752 0 0 0 46 1 0 0 20 0 15 0 64399348 14316269568 43847 18446744073709551615 4194304 4196468 140725028160784 140186667006192 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25124] ppid=25109 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25124/stat : 25124 (java) S 25109 25109 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399348 14316269568 43847 18446744073709551615 4194304 4196468 140725028160784 140186665953888 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25125] ppid=25109 vsize=13980732 memory=1376 CPUtime=0.04 cores=1,3,5,7
/proc/25111/task/25125/stat : 25125 (java) S 25109 25109 897 0 -1 1077944384 675 0 0 0 2 2 0 0 20 0 15 0 64399352 14316269568 43847 18446744073709551615 4194304 4196468 140725028160784 140186664901424 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
Current children cumulated CPU time: 227.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 176764 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.61 1.90 1.87 3/211 25210
/proc/meminfo: memFree=30831944/32770624 swapFree=67108860/67108860
[pid=25109] ppid=25106 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25109/stat : 25109 (xcsp3-exec) S 25106 25109 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64399336 9740288 344 18446744073709551615 4194304 5098028 140724599356320 140724599354424 140480154382972 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 29351936 140724599357823 140724599358026 140724599358026 140724599361515 0
/proc/25109/statm: 2378 344 289 221 0 87 0
[pid=25111] ppid=25109 vsize=13980732 memory=173336 CPUtime=245.09 cores=1,3,5,7
/proc/25111/stat : 25111 (java) S 25109 25109 897 0 -1 1077944320 58756 0 0 0 24491 18 0 0 20 0 15 0 64399342 14316269568 43334 18446744073709551615 4194304 4196468 140725028160784 140725028143328 140187127664375 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
/proc/25111/statm: 3495183 43334 3238 1 0 3483476 0
[pid=25111/tid=25112] ppid=25109 vsize=13980732 memory=1012 CPUtime=239.79 cores=1,3,5,7
/proc/25111/task/25112/stat : 25112 (java) R 25109 25109 897 0 -1 4202560 14721 0 0 0 23973 6 0 0 20 0 15 0 64399343 14316269568 43334 18446744073709551615 4194304 4196468 140725028160784 140187131903712 140186748201492 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25113] ppid=25109 vsize=13980732 memory=10164 CPUtime=0.04 cores=1,3,5,7
/proc/25111/task/25113/stat : 25113 (java) S 25109 25109 897 0 -1 1077944384 325 0 0 0 3 1 0 0 20 0 15 0 64399343 14316269568 43334 18446744073709551615 4194304 4196468 140725028160784 140186727659792 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25114] ppid=25109 vsize=13980732 memory=1440 CPUtime=0.03 cores=1,3,5,7
/proc/25111/task/25114/stat : 25114 (java) S 25109 25109 897 0 -1 1077944384 645 0 0 0 3 0 0 0 20 0 15 0 64399343 14316269568 43334 18446744073709551615 4194304 4196468 140725028160784 140186726607248 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25115] ppid=25109 vsize=13980732 memory=4872558044660077418 CPUtime=0.03 cores=1,3,5,7
/proc/25111/task/25115/stat : 25115 (java) S 25109 25109 897 0 -1 1077944384 790 0 0 0 3 0 0 0 20 0 15 0 64399344 14316269568 43334 18446744073709551615 4194304 4196468 140725028160784 140186725554704 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25116] ppid=25109 vsize=13980732 memory=1292 CPUtime=0.04 cores=1,3,5,7
/proc/25111/task/25116/stat : 25116 (java) S 25109 25109 897 0 -1 1077944384 1407 0 0 0 3 1 0 0 20 0 15 0 64399344 14316269568 43334 18446744073709551615 4194304 4196468 140725028160784 140186724502160 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25117] ppid=25109 vsize=13980732 memory=2316 CPUtime=0.03 cores=1,3,5,7
/proc/25111/task/25117/stat : 25117 (java) S 25109 25109 897 0 -1 1077944384 1287 0 0 0 3 0 0 0 20 0 15 0 64399345 14316269568 43334 18446744073709551615 4194304 4196468 140725028160784 140186673322480 140187127675522 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25118] ppid=25109 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25118/stat : 25118 (java) S 25109 25109 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 64399345 14316269568 43334 18446744073709551615 4194304 4196468 140725028160784 140186672268704 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25119] ppid=25109 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25119/stat : 25119 (java) S 25109 25109 897 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64399345 14316269568 43334 18446744073709551615 4194304 4196468 140725028160784 140186671216112 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25120] ppid=25109 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25120/stat : 25120 (java) S 25109 25109 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399348 14316269568 43334 18446744073709551615 4194304 4196468 140725028160784 140186670164688 140187127682971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25121] ppid=25109 vsize=13980732 memory=4116 CPUtime=2.18 cores=1,3,5,7
/proc/25111/task/25121/stat : 25121 (java) S 25109 25109 897 0 -1 1077944384 16136 0 0 0 217 1 0 0 20 0 15 0 64399348 14316269568 43334 18446744073709551615 4194304 4196468 140725028160784 140186669111280 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25122] ppid=25109 vsize=13980732 memory=-8774313645642428999 CPUtime=2.33 cores=1,3,5,7
/proc/25111/task/25122/stat : 25122 (java) S 25109 25109 897 0 -1 1077944384 15649 0 0 0 231 2 0 0 20 0 15 0 64399348 14316269568 43334 18446744073709551615 4194304 4196468 140725028160784 140186668058736 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25123] ppid=25109 vsize=13980732 memory=1440 CPUtime=0.47 cores=1,3,5,7
/proc/25111/task/25123/stat : 25123 (java) S 25109 25109 897 0 -1 1077944384 5752 0 0 0 46 1 0 0 20 0 15 0 64399348 14316269568 43334 18446744073709551615 4194304 4196468 140725028160784 140186667006192 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25124] ppid=25109 vsize=13980732 memory=2000 CPUtime=0 cores=1,3,5,7
/proc/25111/task/25124/stat : 25124 (java) S 25109 25109 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399348 14316269568 43334 18446744073709551615 4194304 4196468 140725028160784 140186665953888 140187127674581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
[pid=25111/tid=25125] ppid=25109 vsize=13980732 memory=10976 CPUtime=0.04 cores=1,3,5,7
/proc/25111/task/25125/stat : 25125 (java) S 25109 25109 897 0 -1 1077944384 675 0 0 0 2 2 0 0 20 0 15 0 64399352 14316269568 43334 18446744073709551615 4194304 4196468 140725028160784 140186664901424 140187127675522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 28844032 140725028164023 140725028164198 140725028164198 140725028167631 0
Current children cumulated CPU time: 245.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 174712 KiB
Sending SIGTERM to process tree (bottom up)
[startup+240.018 s]
# the end of solver process 25109 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.929 s, system=0.185112 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.019
CPU time (s): 245.114
CPU user time (s): 244.929
CPU system time (s): 0.185112
CPU usage (%): 102.123
Max. virtual memory (cumulated for all children) (KiB): 13991968
Max. memory (cumulated for all children) (KiB): 231720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.929
system time used= 0.185112
maximum resident set size= 230344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59471
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8328
involuntary context switches= 169
# summary of solver processes directly reported to runsolver:
# pid: 25109
# total CPU time (s): 245.114
# total CPU user time (s): 244.929
# total CPU system time (s): 0.185112
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.24398 second user time and 2.21933 second system time
The end