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 (14987 MiB free)
memory of node 1: 16384 MiB (15231 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270121-1502622526/watcher-4270121-1502622526 -o /tmp/evaluation-result-4270121-1502622526/solver-4270121-1502622526 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20541 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1234847496 HOME/instance-4270121-1502622526.xml
running on 4 cores: 0,2,4,6
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=25994, runsolver pid=25991
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 2.07 2.05 1.97 2/196 25995
/proc/meminfo: memFree=30944192/32770624 swapFree=67108860/67108860
[pid=25994] ppid=25991 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/25994/stat : 25994 (runsolver) D 25991 25994 897 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 64473301 34791424 114 18446744073709551615 4194304 4346622 140735376260496 140735376257128 140526640669399 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6446216 6449568 18800640 140735376269375 140735376269865 140735376269865 140735376273354 0
/proc/25994/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.209028 s]*
/proc/loadavg: 2.07 2.05 1.97 2/210 26009
/proc/meminfo: memFree=30933048/32770624 swapFree=67108860/67108860
[pid=25994] ppid=25991 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25994/stat : 25994 (xcsp3-exec) S 25991 25994 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64473301 9740288 345 18446744073709551615 4194304 5098028 140726907170736 140726907168840 139958907880060 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 9826304 140726907179390 140726907179594 140726907179594 140726907183083 0
/proc/25994/statm: 2378 345 289 221 0 87 0
[pid=25996] ppid=25994 vsize=13907304 memory=21660 CPUtime=0.05 cores=0,2,4,6
/proc/25996/stat : 25996 (java) S 25994 25994 897 0 -1 1077944320 4794 0 0 0 4 1 0 0 20 0 14 0 64473313 14241079296 5415 18446744073709551615 4194304 4196468 140726524273232 140726524255776 140647558377207 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
/proc/25996/statm: 3476826 5415 2572 1 0 3466323 0
[pid=25996/tid=25997] ppid=25994 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/25996/task/25997/stat : 25997 (java) D 25994 25994 897 0 -1 4202560 2978 0 0 0 4 0 0 0 20 0 14 0 64473313 14241079296 5415 18446744073709551615 4194304 4196468 140726524273232 140647562614688 140647558399229 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=25998] ppid=25994 vsize=13907304 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25996/task/25998/stat : 25998 (java) S 25994 25994 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64473314 14241079296 5415 18446744073709551615 4194304 4196468 140726524273232 140647500323472 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=25999] ppid=25994 vsize=13907304 memory=288370902795331200 CPUtime=0 cores=0,2,4,6
/proc/25996/task/25999/stat : 25999 (java) S 25994 25994 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64473314 14241079296 5415 18446744073709551615 4194304 4196468 140726524273232 140647499270672 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26000] ppid=25994 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26000/stat : 26000 (java) S 25994 25994 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64473314 14241079296 5415 18446744073709551615 4194304 4196468 140726524273232 140647498217872 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26001] ppid=25994 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26001/stat : 26001 (java) S 25994 25994 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64473314 14241079296 5415 18446744073709551615 4194304 4196468 140726524273232 140647497165072 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26002] ppid=25994 vsize=13907304 memory=140526643619456 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26002/stat : 26002 (java) S 25994 25994 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64473315 14241079296 5415 18446744073709551615 4194304 4196468 140726524273232 140647104072560 140647558388354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26003] ppid=25994 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26003/stat : 26003 (java) S 25994 25994 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 64473316 14241079296 5415 18446744073709551615 4194304 4196468 140726524273232 140647103018528 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26004] ppid=25994 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26004/stat : 26004 (java) S 25994 25994 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 64473316 14241079296 5415 18446744073709551615 4194304 4196468 140726524273232 140647101965680 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26005] ppid=25994 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26005/stat : 26005 (java) S 25994 25994 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64473318 14241079296 5415 18446744073709551615 4194304 4196468 140726524273232 140647100914000 140647558395803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26006] ppid=25994 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26006/stat : 26006 (java) S 25994 25994 897 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 14 0 64473318 14241079296 5415 18446744073709551615 4194304 4196468 140726524273232 140647099861360 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26007] ppid=25994 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26007/stat : 26007 (java) S 25994 25994 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64473318 14241079296 5415 18446744073709551615 4194304 4196468 140726524273232 140647098808560 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26008] ppid=25994 vsize=13907304 memory=140526643619456 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26008/stat : 26008 (java) S 25994 25994 897 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 14 0 64473318 14241079296 5415 18446744073709551615 4194304 4196468 140726524273232 140647097755760 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26009] ppid=25994 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26009/stat : 26009 (java) S 25994 25994 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64473318 14241079296 5415 18446744073709551615 4194304 4196468 140726524273232 140647096703200 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23040 KiB
[startup+0.310097 s]*
/proc/loadavg: 2.07 2.05 1.97 5/211 26010
/proc/meminfo: memFree=30925608/32770624 swapFree=67108860/67108860
[pid=25994] ppid=25991 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25994/stat : 25994 (xcsp3-exec) S 25991 25994 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64473301 9740288 345 18446744073709551615 4194304 5098028 140726907170736 140726907168840 139958907880060 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 9826304 140726907179390 140726907179594 140726907179594 140726907183083 0
/proc/25994/statm: 2378 345 289 221 0 87 0
[pid=25996] ppid=25994 vsize=13976336 memory=33352 CPUtime=0.22 cores=0,2,4,6
/proc/25996/stat : 25996 (java) S 25994 25994 897 0 -1 1077944320 6691 0 0 0 20 2 0 0 20 0 15 0 64473313 14311768064 8272 18446744073709551615 4194304 4196468 140726524273232 140726524255776 140647558377207 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
/proc/25996/statm: 3494084 8272 2987 1 0 3483460 0
[pid=25996/tid=25997] ppid=25994 vsize=13976336 memory=-8774313645642428999 CPUtime=0.13 cores=0,2,4,6
/proc/25996/task/25997/stat : 25997 (java) R 25994 25994 897 0 -1 4202560 4077 0 0 0 12 1 0 0 20 0 15 0 64473313 14311768064 8404 18446744073709551615 4194304 4196468 140726524273232 140647562599584 140647550688414 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=25998] ppid=25994 vsize=13976336 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25996/task/25998/stat : 25998 (java) S 25994 25994 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64473314 14311768064 8470 18446744073709551615 4194304 4196468 140726524273232 140647500323472 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=25999] ppid=25994 vsize=13976336 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25996/task/25999/stat : 25999 (java) S 25994 25994 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64473314 14311768064 8470 18446744073709551615 4194304 4196468 140726524273232 140647499270672 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26000] ppid=25994 vsize=13976336 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26000/stat : 26000 (java) S 25994 25994 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64473314 14311768064 8470 18446744073709551615 4194304 4196468 140726524273232 140647498217872 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26001] ppid=25994 vsize=13976336 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26001/stat : 26001 (java) S 25994 25994 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64473314 14311768064 8470 18446744073709551615 4194304 4196468 140726524273232 140647497165072 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26002] ppid=25994 vsize=13976336 memory=140526643619456 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26002/stat : 26002 (java) S 25994 25994 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64473315 14311768064 8470 18446744073709551615 4194304 4196468 140726524273232 140647104072560 140647558388354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26003] ppid=25994 vsize=13977964 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26003/stat : 26003 (java) S 25994 25994 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64473316 14313435136 8470 18446744073709551615 4194304 4196468 140726524273232 140647103018528 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26004] ppid=25994 vsize=13977964 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26004/stat : 26004 (java) S 25994 25994 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64473316 14313435136 8470 18446744073709551615 4194304 4196468 140726524273232 140647101965680 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26005] ppid=25994 vsize=13977964 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26005/stat : 26005 (java) S 25994 25994 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64473318 14313435136 8470 18446744073709551615 4194304 4196468 140726524273232 140647100914000 140647558395803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26006] ppid=25994 vsize=13977964 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25996/task/26006/stat : 26006 (java) S 25994 25994 897 0 -1 1077944384 660 0 0 0 1 0 0 0 20 0 15 0 64473318 14313435136 8470 18446744073709551615 4194304 4196468 140726524273232 140647099861360 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26007] ppid=25994 vsize=13977964 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26007/stat : 26007 (java) S 25994 25994 897 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 64473318 14313435136 8470 18446744073709551615 4194304 4196468 140726524273232 140647098808560 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26008] ppid=25994 vsize=13977964 memory=140526643619456 CPUtime=0.04 cores=0,2,4,6
/proc/25996/task/26008/stat : 26008 (java) S 25994 25994 897 0 -1 1077944384 777 0 0 0 4 0 0 0 20 0 15 0 64473318 14313435136 8470 18446744073709551615 4194304 4196468 140726524273232 140647097755760 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26009] ppid=25994 vsize=13977964 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26009/stat : 26009 (java) S 25994 25994 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64473318 14313435136 8470 18446744073709551615 4194304 4196468 140726524273232 140647096703200 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26010] ppid=25994 vsize=13977964 memory=140526643619456 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26010/stat : 26010 (java) S 25994 25994 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64473324 14313435136 8536 18446744073709551615 4194304 4196468 140726524273232 140647095651504 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 13985848 KiB
Current children cumulated memory: 34732 KiB
[startup+0.707584 s]
/proc/loadavg: 2.07 2.05 1.97 5/211 26010
/proc/meminfo: memFree=30909108/32770624 swapFree=67108860/67108860
[pid=25994] ppid=25991 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25994/stat : 25994 (xcsp3-exec) S 25991 25994 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64473301 9740288 345 18446744073709551615 4194304 5098028 140726907170736 140726907168840 139958907880060 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 9826304 140726907179390 140726907179594 140726907179594 140726907183083 0
/proc/25994/statm: 2378 345 289 221 0 87 0
[pid=25996] ppid=25994 vsize=13980732 memory=60064 CPUtime=1.16 cores=0,2,4,6
/proc/25996/stat : 25996 (java) S 25994 25994 897 0 -1 1077944320 13170 0 0 0 111 5 0 0 20 0 15 0 64473313 14316269568 15016 18446744073709551615 4194304 4196468 140726524273232 140726524255776 140647558377207 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
/proc/25996/statm: 3495183 15016 3170 1 0 3483476 0
[pid=25996/tid=25997] ppid=25994 vsize=13980732 memory=281052996179392 CPUtime=0.52 cores=0,2,4,6
/proc/25996/task/25997/stat : 25997 (java) R 25994 25994 897 0 -1 4202560 8368 0 0 0 49 3 0 0 20 0 15 0 64473313 14316269568 15016 18446744073709551615 4194304 4196468 140726524273232 140647562613608 140647176694352 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=25998] ppid=25994 vsize=13980732 memory=281052996257600 CPUtime=0 cores=0,2,4,6
/proc/25996/task/25998/stat : 25998 (java) S 25994 25994 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64473314 14316269568 15016 18446744073709551615 4194304 4196468 140726524273232 140647500323472 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=25999] ppid=25994 vsize=13980732 memory=281052996179584 CPUtime=0 cores=0,2,4,6
/proc/25996/task/25999/stat : 25999 (java) S 25994 25994 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64473314 14316269568 15016 18446744073709551615 4194304 4196468 140726524273232 140647499270672 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26000] ppid=25994 vsize=13980732 memory=281052996257792 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26000/stat : 26000 (java) S 25994 25994 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64473314 14316269568 15016 18446744073709551615 4194304 4196468 140726524273232 140647498217872 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26001] ppid=25994 vsize=13980732 memory=281052996257984 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26001/stat : 26001 (java) S 25994 25994 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64473314 14316269568 15016 18446744073709551615 4194304 4196468 140726524273232 140647497165072 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26002] ppid=25994 vsize=13980732 memory=281052996258176 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26002/stat : 26002 (java) S 25994 25994 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64473315 14316269568 15016 18446744073709551615 4194304 4196468 140726524273232 140647104072560 140647558388354 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26003] ppid=25994 vsize=13980732 memory=281052996258368 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26003/stat : 26003 (java) S 25994 25994 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64473316 14316269568 15016 18446744073709551615 4194304 4196468 140726524273232 140647103018528 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26004] ppid=25994 vsize=13980732 memory=281052996258560 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26004/stat : 26004 (java) S 25994 25994 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64473316 14316269568 15016 18446744073709551615 4194304 4196468 140726524273232 140647101965680 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26005] ppid=25994 vsize=13980732 memory=281052996258752 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26005/stat : 26005 (java) S 25994 25994 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64473318 14316269568 15016 18446744073709551615 4194304 4196468 140726524273232 140647100914000 140647558395803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26006] ppid=25994 vsize=13980732 memory=1200 CPUtime=0.19 cores=0,2,4,6
/proc/25996/task/26006/stat : 26006 (java) R 25994 25994 897 0 -1 4202560 1385 0 0 0 19 0 0 0 20 0 15 0 64473318 14316269568 15016 18446744073709551615 4194304 4196468 140726524273232 140647099846256 140647544093450 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26007] ppid=25994 vsize=13980732 memory=7014751519734126161 CPUtime=0.2 cores=0,2,4,6
/proc/25996/task/26007/stat : 26007 (java) R 25994 25994 897 0 -1 4202560 613 0 0 0 20 0 0 0 20 0 15 0 64473318 14316269568 15016 18446744073709551615 4194304 4196468 140726524273232 140647098795104 140647542767040 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26008] ppid=25994 vsize=13980732 memory=7013348641631458414 CPUtime=0.22 cores=0,2,4,6
/proc/25996/task/26008/stat : 26008 (java) S 25994 25994 897 0 -1 1077944384 1499 0 0 0 22 0 0 0 20 0 15 0 64473318 14316269568 15016 18446744073709551615 4194304 4196468 140726524273232 140647097755760 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26009] ppid=25994 vsize=13980732 memory=6154282490091891024 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26009/stat : 26009 (java) S 25994 25994 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64473318 14316269568 15016 18446744073709551615 4194304 4196468 140726524273232 140647096703200 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26010] ppid=25994 vsize=13980732 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26010/stat : 26010 (java) S 25994 25994 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64473324 14316269568 15016 18446744073709551615 4194304 4196468 140726524273232 140647095651504 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 61444 KiB
[startup+1.50078 s]
/proc/loadavg: 2.22 2.09 1.98 5/211 26010
/proc/meminfo: memFree=30851212/32770624 swapFree=67108860/67108860
[pid=25994] ppid=25991 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25994/stat : 25994 (xcsp3-exec) S 25991 25994 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64473301 9740288 345 18446744073709551615 4194304 5098028 140726907170736 140726907168840 139958907880060 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 9826304 140726907179390 140726907179594 140726907179594 140726907183083 0
/proc/25994/statm: 2378 345 289 221 0 87 0
[pid=25996] ppid=25994 vsize=13980732 memory=115352 CPUtime=3.55 cores=0,2,4,6
/proc/25996/stat : 25996 (java) S 25994 25994 897 0 -1 1077944320 37024 0 0 0 349 6 0 0 20 0 15 0 64473313 14316269568 28838 18446744073709551615 4194304 4196468 140726524273232 140726524255776 140647558377207 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
/proc/25996/statm: 3495183 28838 3186 1 0 3483476 0
[pid=25996/tid=25997] ppid=25994 vsize=13980732 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/25996/task/25997/stat : 25997 (java) R 25994 25994 897 0 -1 4202560 8526 0 0 0 128 3 0 0 20 0 15 0 64473313 14316269568 28838 18446744073709551615 4194304 4196468 140726524273232 140647562612208 140647538102333 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=25998] ppid=25994 vsize=13980732 memory=140526498265368 CPUtime=0 cores=0,2,4,6
/proc/25996/task/25998/stat : 25998 (java) S 25994 25994 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64473314 14316269568 28838 18446744073709551615 4194304 4196468 140726524273232 140647500323472 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=25999] ppid=25994 vsize=13980732 memory=20308 CPUtime=0 cores=0,2,4,6
/proc/25996/task/25999/stat : 25999 (java) S 25994 25994 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64473314 14316269568 28838 18446744073709551615 4194304 4196468 140726524273232 140647499270672 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26000] ppid=25994 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26000/stat : 26000 (java) S 25994 25994 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64473314 14316269568 28838 18446744073709551615 4194304 4196468 140726524273232 140647498217872 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26001] ppid=25994 vsize=13980732 memory=87560 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26001/stat : 26001 (java) S 25994 25994 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64473314 14316269568 28838 18446744073709551615 4194304 4196468 140726524273232 140647497165072 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26002] ppid=25994 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26002/stat : 26002 (java) S 25994 25994 897 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 64473315 14316269568 28838 18446744073709551615 4194304 4196468 140726524273232 140647104072560 140647558388354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26003] ppid=25994 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26003/stat : 26003 (java) S 25994 25994 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64473316 14316269568 28838 18446744073709551615 4194304 4196468 140726524273232 140647103018528 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26004] ppid=25994 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26004/stat : 26004 (java) S 25994 25994 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64473316 14316269568 28838 18446744073709551615 4194304 4196468 140726524273232 140647101965680 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26005] ppid=25994 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26005/stat : 26005 (java) S 25994 25994 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64473318 14316269568 28838 18446744073709551615 4194304 4196468 140726524273232 140647100914000 140647558395803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26006] ppid=25994 vsize=13980732 memory=7380665763921028434 CPUtime=0.98 cores=0,2,4,6
/proc/25996/task/26006/stat : 26006 (java) R 25994 25994 897 0 -1 4202560 9376 0 0 0 98 0 0 0 20 0 15 0 64473318 14316269568 28838 18446744073709551615 4194304 4196468 140726524273232 140647099854384 140647539921391 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26007] ppid=25994 vsize=13980732 memory=5787216026087282537 CPUtime=0.99 cores=0,2,4,6
/proc/25996/task/26007/stat : 26007 (java) R 25994 25994 897 0 -1 4202560 15919 0 0 0 98 1 0 0 20 0 15 0 64473318 14316269568 28838 18446744073709551615 4194304 4196468 140726524273232 140647098808688 140647543492257 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26008] ppid=25994 vsize=13980732 memory=7451597466625271122 CPUtime=0.24 cores=0,2,4,6
/proc/25996/task/26008/stat : 26008 (java) S 25994 25994 897 0 -1 1077944384 1885 0 0 0 24 0 0 0 20 0 15 0 64473318 14316269568 28838 18446744073709551615 4194304 4196468 140726524273232 140647097755760 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26009] ppid=25994 vsize=13980732 memory=7594311868262799457 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26009/stat : 26009 (java) S 25994 25994 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64473318 14316269568 28838 18446744073709551615 4194304 4196468 140726524273232 140647096703200 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26010] ppid=25994 vsize=13980732 memory=83 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26010/stat : 26010 (java) S 25994 25994 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64473324 14316269568 28838 18446744073709551615 4194304 4196468 140726524273232 140647095651504 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
Current children cumulated CPU time: 3.55 s
Current children cumulated vsize: 13990244 KiB
################
# More data... #
################
/proc/25996/task/26004/stat : 26004 (java) S 25994 25994 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 64473316 14316269568 57102 18446744073709551615 4194304 4196468 140726524273232 140647101965680 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26005] ppid=25994 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26005/stat : 26005 (java) S 25994 25994 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64473318 14316269568 57102 18446744073709551615 4194304 4196468 140726524273232 140647100914000 140647558395803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26006] ppid=25994 vsize=13980732 memory=36432 CPUtime=1.42 cores=0,2,4,6
/proc/25996/task/26006/stat : 26006 (java) S 25994 25994 897 0 -1 1077944384 13918 0 0 0 141 1 0 0 20 0 15 0 64473318 14316269568 57102 18446744073709551615 4194304 4196468 140726524273232 140647099861360 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26007] ppid=25994 vsize=13980732 memory=1380 CPUtime=1.38 cores=0,2,4,6
/proc/25996/task/26007/stat : 26007 (java) S 25994 25994 897 0 -1 1077944384 19254 0 0 0 137 1 0 0 20 0 15 0 64473318 14316269568 57102 18446744073709551615 4194304 4196468 140726524273232 140647098808560 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26008] ppid=25994 vsize=13980732 memory=1380 CPUtime=0.31 cores=0,2,4,6
/proc/25996/task/26008/stat : 26008 (java) S 25994 25994 897 0 -1 1077944384 4880 0 0 0 30 1 0 0 20 0 15 0 64473318 14316269568 57102 18446744073709551615 4194304 4196468 140726524273232 140647097755760 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26009] ppid=25994 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26009/stat : 26009 (java) S 25994 25994 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64473318 14316269568 57102 18446744073709551615 4194304 4196468 140726524273232 140647096703200 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26010] ppid=25994 vsize=13980732 memory=231676 CPUtime=0.04 cores=0,2,4,6
/proc/25996/task/26010/stat : 26010 (java) S 25994 25994 897 0 -1 1077944384 1410 0 0 0 1 3 0 0 20 0 15 0 64473324 14316269568 57102 18446744073709551615 4194304 4196468 140726524273232 140647095651504 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
Current children cumulated CPU time: 105.93 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 229788 KiB
[startup+162.301 s]
/proc/loadavg: 1.44 1.77 1.88 3/211 26016
/proc/meminfo: memFree=30435188/32770624 swapFree=67108860/67108860
[pid=25994] ppid=25991 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25994/stat : 25994 (xcsp3-exec) S 25991 25994 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64473301 9740288 345 18446744073709551615 4194304 5098028 140726907170736 140726907168840 139958907880060 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 9826304 140726907179390 140726907179594 140726907179594 140726907183083 0
/proc/25994/statm: 2378 345 289 221 0 87 0
[pid=25996] ppid=25994 vsize=13980732 memory=375556 CPUtime=166.59 cores=0,2,4,6
/proc/25996/stat : 25996 (java) S 25994 25994 897 0 -1 1077944320 67492 0 0 0 16623 36 0 0 20 0 15 0 64473313 14316269568 93889 18446744073709551615 4194304 4196468 140726524273232 140726524255776 140647558377207 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
/proc/25996/statm: 3495183 93889 3222 1 0 3483476 0
[pid=25996/tid=25997] ppid=25994 vsize=13980732 memory=1380 CPUtime=161.18 cores=0,2,4,6
/proc/25996/task/25997/stat : 25997 (java) R 25994 25994 897 0 -1 4202560 19420 0 0 0 16109 9 0 0 20 0 15 0 64473313 14316269568 93889 18446744073709551615 4194304 4196468 140726524273232 140647562616768 140647179651892 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=25998] ppid=25994 vsize=13980732 memory=375556 CPUtime=0.45 cores=0,2,4,6
/proc/25996/task/25998/stat : 25998 (java) S 25994 25994 897 0 -1 1077944384 1134 0 0 0 41 4 0 0 20 0 15 0 64473314 14316269568 93889 18446744073709551615 4194304 4196468 140726524273232 140647500323472 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=25999] ppid=25994 vsize=13980732 memory=1380 CPUtime=0.45 cores=0,2,4,6
/proc/25996/task/25999/stat : 25999 (java) S 25994 25994 897 0 -1 1077944384 1935 0 0 0 40 5 0 0 20 0 15 0 64473314 14316269568 93889 18446744073709551615 4194304 4196468 140726524273232 140647499270672 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26000] ppid=25994 vsize=13980732 memory=148 CPUtime=0.45 cores=0,2,4,6
/proc/25996/task/26000/stat : 26000 (java) S 25994 25994 897 0 -1 1077944384 1151 0 0 0 41 4 0 0 20 0 15 0 64473314 14316269568 93889 18446744073709551615 4194304 4196468 140726524273232 140647498217872 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26001] ppid=25994 vsize=13980732 memory=132 CPUtime=0.45 cores=0,2,4,6
/proc/25996/task/26001/stat : 26001 (java) S 25994 25994 897 0 -1 1077944384 1239 0 0 0 40 5 0 0 20 0 15 0 64473314 14316269568 93889 18446744073709551615 4194304 4196468 140726524273232 140647497165072 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26002] ppid=25994 vsize=13980732 memory=-8774313645642428999 CPUtime=0.33 cores=0,2,4,6
/proc/25996/task/26002/stat : 26002 (java) S 25994 25994 897 0 -1 1077944384 1572 0 0 0 30 3 0 0 20 0 15 0 64473315 14316269568 93889 18446744073709551615 4194304 4196468 140726524273232 140647104072560 140647558388354 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26003] ppid=25994 vsize=13980732 memory=376940 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26003/stat : 26003 (java) S 25994 25994 897 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 64473316 14316269568 93889 18446744073709551615 4194304 4196468 140726524273232 140647103018528 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26004] ppid=25994 vsize=13980732 memory=281052996501560 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26004/stat : 26004 (java) S 25994 25994 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 64473316 14316269568 93889 18446744073709551615 4194304 4196468 140726524273232 140647101965680 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26005] ppid=25994 vsize=13980732 memory=4943152110743886954 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26005/stat : 26005 (java) S 25994 25994 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64473318 14316269568 93889 18446744073709551615 4194304 4196468 140726524273232 140647100914000 140647558395803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26006] ppid=25994 vsize=13980732 memory=1380 CPUtime=1.42 cores=0,2,4,6
/proc/25996/task/26006/stat : 26006 (java) S 25994 25994 897 0 -1 1077944384 13921 0 0 0 141 1 0 0 20 0 15 0 64473318 14316269568 93889 18446744073709551615 4194304 4196468 140726524273232 140647099861360 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26007] ppid=25994 vsize=13980732 memory=1380 CPUtime=1.39 cores=0,2,4,6
/proc/25996/task/26007/stat : 26007 (java) S 25994 25994 897 0 -1 1077944384 19453 0 0 0 138 1 0 0 20 0 15 0 64473318 14316269568 93889 18446744073709551615 4194304 4196468 140726524273232 140647098808560 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26008] ppid=25994 vsize=13980732 memory=376944 CPUtime=0.31 cores=0,2,4,6
/proc/25996/task/26008/stat : 26008 (java) S 25994 25994 897 0 -1 1077944384 4882 0 0 0 30 1 0 0 20 0 15 0 64473318 14316269568 93889 18446744073709551615 4194304 4196468 140726524273232 140647097755760 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26009] ppid=25994 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26009/stat : 26009 (java) S 25994 25994 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64473318 14316269568 93889 18446744073709551615 4194304 4196468 140726524273232 140647096703200 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26010] ppid=25994 vsize=13980732 memory=1380 CPUtime=0.07 cores=0,2,4,6
/proc/25996/task/26010/stat : 26010 (java) S 25994 25994 897 0 -1 1077944384 1430 0 0 0 3 4 0 0 20 0 15 0 64473324 14316269568 93889 18446744073709551615 4194304 4196468 140726524273232 140647095651504 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
Current children cumulated CPU time: 166.59 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 376936 KiB
[startup+222.301 s]
/proc/loadavg: 1.51 1.74 1.86 3/211 26019
/proc/meminfo: memFree=30346508/32770624 swapFree=67108860/67108860
[pid=25994] ppid=25991 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25994/stat : 25994 (xcsp3-exec) S 25991 25994 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64473301 9740288 345 18446744073709551615 4194304 5098028 140726907170736 140726907168840 139958907880060 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 9826304 140726907179390 140726907179594 140726907179594 140726907183083 0
/proc/25994/statm: 2378 345 289 221 0 87 0
[pid=25996] ppid=25994 vsize=13980732 memory=420708 CPUtime=227.28 cores=0,2,4,6
/proc/25996/stat : 25996 (java) S 25994 25994 897 0 -1 1077944320 73006 0 0 0 22683 45 0 0 20 0 15 0 64473313 14316269568 105177 18446744073709551615 4194304 4196468 140726524273232 140726524255776 140647558377207 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
/proc/25996/statm: 3495183 105177 3222 1 0 3483476 0
[pid=25996/tid=25997] ppid=25994 vsize=13980732 memory=420708 CPUtime=220.8 cores=0,2,4,6
/proc/25996/task/25997/stat : 25997 (java) R 25994 25994 897 0 -1 4202560 23657 0 0 0 22070 10 0 0 20 0 15 0 64473313 14316269568 105177 18446744073709551615 4194304 4196468 140726524273232 140647562616768 140647181124094 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=25998] ppid=25994 vsize=13980732 memory=420708 CPUtime=0.68 cores=0,2,4,6
/proc/25996/task/25998/stat : 25998 (java) S 25994 25994 897 0 -1 1077944384 1376 0 0 0 62 6 0 0 20 0 15 0 64473314 14316269568 105177 18446744073709551615 4194304 4196468 140726524273232 140647500323472 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=25999] ppid=25994 vsize=13980732 memory=1380 CPUtime=0.68 cores=0,2,4,6
/proc/25996/task/25999/stat : 25999 (java) S 25994 25994 897 0 -1 1077944384 2195 0 0 0 61 7 0 0 20 0 15 0 64473314 14316269568 105177 18446744073709551615 4194304 4196468 140726524273232 140647499270672 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26000] ppid=25994 vsize=13980732 memory=1380 CPUtime=0.68 cores=0,2,4,6
/proc/25996/task/26000/stat : 26000 (java) S 25994 25994 897 0 -1 1077944384 1384 0 0 0 63 5 0 0 20 0 15 0 64473314 14316269568 105177 18446744073709551615 4194304 4196468 140726524273232 140647498217872 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26001] ppid=25994 vsize=13980732 memory=1380 CPUtime=0.68 cores=0,2,4,6
/proc/25996/task/26001/stat : 26001 (java) S 25994 25994 897 0 -1 1077944384 1484 0 0 0 62 6 0 0 20 0 15 0 64473314 14316269568 105177 18446744073709551615 4194304 4196468 140726524273232 140647497165072 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26002] ppid=25994 vsize=13980732 memory=1380 CPUtime=0.44 cores=0,2,4,6
/proc/25996/task/26002/stat : 26002 (java) S 25994 25994 897 0 -1 1077944384 1646 0 0 0 40 4 0 0 20 0 15 0 64473315 14316269568 105177 18446744073709551615 4194304 4196468 140726524273232 140647104072560 140647558388354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26003] ppid=25994 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26003/stat : 26003 (java) S 25994 25994 897 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 64473316 14316269568 105177 18446744073709551615 4194304 4196468 140726524273232 140647103018528 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26004] ppid=25994 vsize=13980732 memory=252166119934753 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26004/stat : 26004 (java) S 25994 25994 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 64473316 14316269568 105177 18446744073709551615 4194304 4196468 140726524273232 140647101965680 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26005] ppid=25994 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26005/stat : 26005 (java) S 25994 25994 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64473318 14316269568 105177 18446744073709551615 4194304 4196468 140726524273232 140647100914000 140647558395803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26006] ppid=25994 vsize=13980732 memory=420708 CPUtime=1.42 cores=0,2,4,6
/proc/25996/task/26006/stat : 26006 (java) S 25994 25994 897 0 -1 1077944384 13921 0 0 0 141 1 0 0 20 0 15 0 64473318 14316269568 105177 18446744073709551615 4194304 4196468 140726524273232 140647099861360 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26007] ppid=25994 vsize=13980732 memory=2248 CPUtime=1.39 cores=0,2,4,6
/proc/25996/task/26007/stat : 26007 (java) S 25994 25994 897 0 -1 1077944384 19453 0 0 0 138 1 0 0 20 0 15 0 64473318 14316269568 105177 18446744073709551615 4194304 4196468 140726524273232 140647098808560 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26008] ppid=25994 vsize=13980732 memory=1380 CPUtime=0.32 cores=0,2,4,6
/proc/25996/task/26008/stat : 26008 (java) S 25994 25994 897 0 -1 1077944384 5101 0 0 0 31 1 0 0 20 0 15 0 64473318 14316269568 105177 18446744073709551615 4194304 4196468 140726524273232 140647097755760 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26009] ppid=25994 vsize=13980732 memory=420708 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26009/stat : 26009 (java) S 25994 25994 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64473318 14316269568 105177 18446744073709551615 4194304 4196468 140726524273232 140647096703200 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26010] ppid=25994 vsize=13980732 memory=1380 CPUtime=0.1 cores=0,2,4,6
/proc/25996/task/26010/stat : 26010 (java) S 25994 25994 897 0 -1 1077944384 1434 0 0 0 4 6 0 0 20 0 15 0 64473324 14316269568 105177 18446744073709551615 4194304 4196468 140726524273232 140647095651504 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
Current children cumulated CPU time: 227.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 422088 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.62 1.75 1.86 3/211 26173
/proc/meminfo: memFree=30553332/32770624 swapFree=67108860/67108860
[pid=25994] ppid=25991 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25994/stat : 25994 (xcsp3-exec) S 25991 25994 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64473301 9740288 345 18446744073709551615 4194304 5098028 140726907170736 140726907168840 139958907880060 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 9826304 140726907179390 140726907179594 140726907179594 140726907183083 0
/proc/25994/statm: 2378 345 289 221 0 87 0
[pid=25996] ppid=25994 vsize=13980732 memory=421728 CPUtime=245 cores=0,2,4,6
/proc/25996/stat : 25996 (java) S 25994 25994 897 0 -1 1077944320 74075 0 0 0 24455 45 0 0 20 0 15 0 64473313 14316269568 105432 18446744073709551615 4194304 4196468 140726524273232 140726524255776 140647558377207 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
/proc/25996/statm: 3495183 105432 3222 1 0 3483476 0
[pid=25996/tid=25997] ppid=25994 vsize=13980732 memory=1380 CPUtime=238.48 cores=0,2,4,6
/proc/25996/task/25997/stat : 25997 (java) R 25994 25994 897 0 -1 4202560 24700 0 0 0 23838 10 0 0 20 0 15 0 64473313 14316269568 105432 18446744073709551615 4194304 4196468 140726524273232 140647562616480 140647538087649 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=25998] ppid=25994 vsize=13980732 memory=422240 CPUtime=0.69 cores=0,2,4,6
/proc/25996/task/25998/stat : 25998 (java) S 25994 25994 897 0 -1 1077944384 1386 0 0 0 63 6 0 0 20 0 15 0 64473314 14316269568 105432 18446744073709551615 4194304 4196468 140726524273232 140647500323472 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=25999] ppid=25994 vsize=13980732 memory=4872558044660077418 CPUtime=0.68 cores=0,2,4,6
/proc/25996/task/25999/stat : 25999 (java) S 25994 25994 897 0 -1 1077944384 2201 0 0 0 61 7 0 0 20 0 15 0 64473314 14316269568 105432 18446744073709551615 4194304 4196468 140726524273232 140647499270672 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26000] ppid=25994 vsize=13980732 memory=796 CPUtime=0.69 cores=0,2,4,6
/proc/25996/task/26000/stat : 26000 (java) S 25994 25994 897 0 -1 1077944384 1388 0 0 0 64 5 0 0 20 0 15 0 64473314 14316269568 105432 18446744073709551615 4194304 4196468 140726524273232 140647498217872 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26001] ppid=25994 vsize=13980732 memory=5788 CPUtime=0.69 cores=0,2,4,6
/proc/25996/task/26001/stat : 26001 (java) S 25994 25994 897 0 -1 1077944384 1485 0 0 0 63 6 0 0 20 0 15 0 64473314 14316269568 105432 18446744073709551615 4194304 4196468 140726524273232 140647497165072 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26002] ppid=25994 vsize=13980732 memory=1712 CPUtime=0.44 cores=0,2,4,6
/proc/25996/task/26002/stat : 26002 (java) S 25994 25994 897 0 -1 1077944384 1649 0 0 0 40 4 0 0 20 0 15 0 64473315 14316269568 105432 18446744073709551615 4194304 4196468 140726524273232 140647104072560 140647558388354 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26003] ppid=25994 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26003/stat : 26003 (java) S 25994 25994 897 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 64473316 14316269568 105432 18446744073709551615 4194304 4196468 140726524273232 140647103018528 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26004] ppid=25994 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26004/stat : 26004 (java) S 25994 25994 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 64473316 14316269568 105432 18446744073709551615 4194304 4196468 140726524273232 140647101965680 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26005] ppid=25994 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26005/stat : 26005 (java) S 25994 25994 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64473318 14316269568 105432 18446744073709551615 4194304 4196468 140726524273232 140647100914000 140647558395803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26006] ppid=25994 vsize=13980732 memory=640 CPUtime=1.42 cores=0,2,4,6
/proc/25996/task/26006/stat : 26006 (java) S 25994 25994 897 0 -1 1077944384 13921 0 0 0 141 1 0 0 20 0 15 0 64473318 14316269568 105432 18446744073709551615 4194304 4196468 140726524273232 140647099861360 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26007] ppid=25994 vsize=13980732 memory=1792 CPUtime=1.39 cores=0,2,4,6
/proc/25996/task/26007/stat : 26007 (java) S 25994 25994 897 0 -1 1077944384 19453 0 0 0 138 1 0 0 20 0 15 0 64473318 14316269568 105432 18446744073709551615 4194304 4196468 140726524273232 140647098808560 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26008] ppid=25994 vsize=13980732 memory=3904 CPUtime=0.32 cores=0,2,4,6
/proc/25996/task/26008/stat : 26008 (java) S 25994 25994 897 0 -1 1077944384 5101 0 0 0 31 1 0 0 20 0 15 0 64473318 14316269568 105432 18446744073709551615 4194304 4196468 140726524273232 140647097755760 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26009] ppid=25994 vsize=13980732 memory=960 CPUtime=0 cores=0,2,4,6
/proc/25996/task/26009/stat : 26009 (java) S 25994 25994 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64473318 14316269568 105432 18446744073709551615 4194304 4196468 140726524273232 140647096703200 140647558387413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
[pid=25996/tid=26010] ppid=25994 vsize=13980732 memory=1240 CPUtime=0.11 cores=0,2,4,6
/proc/25996/task/26010/stat : 26010 (java) S 25994 25994 897 0 -1 1077944384 1436 0 0 0 5 6 0 0 20 0 15 0 64473324 14316269568 105432 18446744073709551615 4194304 4196468 140726524273232 140647095651504 140647558388354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 22605824 140726524281271 140726524281446 140726524281446 140726524284879 0
Current children cumulated CPU time: 245 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 423108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 25994 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001838 s, system=0.00017 s
[startup+240.034 s]
# the end of solver process 25996 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.568 s, system=0.467193 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.034
CPU time (s): 245.035
CPU user time (s): 244.568
CPU system time (s): 0.467193
CPU usage (%): 102.083
Max. virtual memory (cumulated for all children) (KiB): 13994648
Max. memory (cumulated for all children) (KiB): 423620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.568
system time used= 0.467193
maximum resident set size= 422240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75074
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18871
involuntary context switches= 614
# summary of solver processes directly reported to runsolver:
# pid: 25994,25996
# total CPU time (s): 245.035
# total CPU user time (s): 244.568
# total CPU system time (s): 0.467193
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42367 second user time and 2.3486 second system time
The end