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 (13014 MiB free)
memory of node 1: 16384 MiB (11169 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284361-1503212894/watcher-4284361-1503212894 -o /tmp/evaluation-result-4284361-1503212894/solver-4284361-1503212894 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503209106-8067 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1606820286 HOME/instance-4284361-1503212894.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
Current StackSize limit: 8192 KiB
solver pid=10471, runsolver pid=10468
[startup+0.100091 s]*
/proc/loadavg: 1.99 1.96 1.87 3/217 10487
/proc/meminfo: memFree=24748248/32770624 swapFree=67108860/67108860
[pid=10471] ppid=10468 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10471/stat : 10471 (xcsp3-exec) S 10468 10471 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154376855 9740288 346 33554432000 4194304 5098028 140730874561488 140730874559592 140403707880060 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8744960 140730874569844 140730874570048 140730874570048 140730874572779 0
/proc/10471/statm: 2378 346 289 221 0 87 0
[pid=10473] ppid=10471 vsize=13978596 memory=27568 CPUtime=0.12 cores=0,2,4,6
/proc/10473/stat : 10473 (java) S 10471 10471 8036 0 -1 1077944320 5320 0 0 0 11 1 0 0 20 0 15 0 154376855 14314082304 6892 33554432000 4194304 4196468 140721924528960 140721924511504 140063597530871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
/proc/10473/statm: 3494649 6892 2839 1 0 3482966 0
[pid=10473/tid=10474] ppid=10471 vsize=13978596 memory=8514701219881125282 CPUtime=0.08 cores=0,2,4,6
/proc/10473/task/10474/stat : 10474 (java) R 10471 10471 8036 0 -1 4202560 3329 0 0 0 8 0 0 0 20 0 15 0 154376856 14314082304 6957 33554432000 4194304 4196468 140721924528960 140063601762976 140063583598956 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10475] ppid=10471 vsize=13978596 memory=3472468407047566544 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10475/stat : 10475 (java) S 10471 10471 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376857 14314082304 6957 33554432000 4194304 4196468 140721924528960 140063527619600 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10476] ppid=10471 vsize=13978596 memory=140278152414848 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10476/stat : 10476 (java) S 10471 10471 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376857 14314082304 6957 33554432000 4194304 4196468 140721924528960 140063526567056 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10477] ppid=10471 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10477/stat : 10477 (java) S 10471 10471 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376857 14314082304 6957 33554432000 4194304 4196468 140721924528960 140063525514000 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10478] ppid=10471 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10478/stat : 10478 (java) S 10471 10471 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154376857 14314082304 6957 33554432000 4194304 4196468 140721924528960 140063524461456 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10479] ppid=10471 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10479/stat : 10479 (java) S 10471 10471 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154376858 14314082304 6957 33554432000 4194304 4196468 140721924528960 140062937413872 140063597542018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10480] ppid=10471 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10480/stat : 10480 (java) S 10471 10471 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154376858 14314082304 6957 33554432000 4194304 4196468 140721924528960 140062936360096 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10481] ppid=10471 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10481/stat : 10481 (java) S 10471 10471 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154376859 14314082304 6957 33554432000 4194304 4196468 140721924528960 140062935306992 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10482] ppid=10471 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10482/stat : 10482 (java) S 10471 10471 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376861 14314082304 6957 33554432000 4194304 4196468 140721924528960 140062934255568 140063597549467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10483] ppid=10471 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10483/stat : 10483 (java) S 10471 10471 8036 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 154376861 14314082304 6957 33554432000 4194304 4196468 140721924528960 140062933203696 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10484] ppid=10471 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10484/stat : 10484 (java) S 10471 10471 8036 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 154376861 14314082304 6957 33554432000 4194304 4196468 140721924528960 140062932151152 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10485] ppid=10471 vsize=13978596 memory=140278152414848 CPUtime=0.01 cores=0,2,4,6
/proc/10473/task/10485/stat : 10485 (java) R 10471 10471 8036 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 15 0 154376861 14314082304 6957 33554432000 4194304 4196468 140721924528960 140062931098096 140063597542806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10486] ppid=10471 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10486/stat : 10486 (java) S 10471 10471 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376861 14314082304 6957 33554432000 4194304 4196468 140721924528960 140062930045792 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10487] ppid=10471 vsize=13978596 memory=140278152414848 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10487/stat : 10487 (java) S 10471 10471 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376861 14314082304 6957 33554432000 4194304 4196468 140721924528960 140062928992816 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28952 KiB
[startup+0.210684 s]*
/proc/loadavg: 2.15 1.99 1.88 3/217 10487
/proc/meminfo: memFree=24736908/32770624 swapFree=67108860/67108860
[pid=10471] ppid=10468 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10471/stat : 10471 (xcsp3-exec) S 10468 10471 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154376855 9740288 346 33554432000 4194304 5098028 140730874561488 140730874559592 140403707880060 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8744960 140730874569844 140730874570048 140730874570048 140730874572779 0
/proc/10471/statm: 2378 346 289 221 0 87 0
[pid=10473] ppid=10471 vsize=13982852 memory=40512 CPUtime=0.34 cores=0,2,4,6
/proc/10473/stat : 10473 (java) S 10471 10471 8036 0 -1 1077944320 8167 0 0 0 32 2 0 0 20 0 15 0 154376855 14318440448 10128 33554432000 4194304 4196468 140721924528960 140721924511504 140063597530871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
/proc/10473/statm: 3495713 10128 3069 1 0 3482966 0
[pid=10473/tid=10474] ppid=10471 vsize=13982852 memory=5853394889045019040 CPUtime=0.2 cores=0,2,4,6
/proc/10473/task/10474/stat : 10474 (java) D 10471 10471 8036 0 -1 1077944384 5240 0 0 0 19 1 0 0 20 0 15 0 154376856 14318440448 10128 33554432000 4194304 4196468 140721924528960 140063601741664 140063590210093 0 4 0 16800975 18446744072101629476 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10475] ppid=10471 vsize=13982852 memory=3472468407047566544 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10475/stat : 10475 (java) S 10471 10471 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376857 14318440448 10128 33554432000 4194304 4196468 140721924528960 140063527619600 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10476] ppid=10471 vsize=13982852 memory=140278152414848 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10476/stat : 10476 (java) S 10471 10471 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376857 14318440448 10128 33554432000 4194304 4196468 140721924528960 140063526567056 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10477] ppid=10471 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10477/stat : 10477 (java) S 10471 10471 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376857 14318440448 10128 33554432000 4194304 4196468 140721924528960 140063525514000 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10478] ppid=10471 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10478/stat : 10478 (java) S 10471 10471 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154376857 14318440448 10128 33554432000 4194304 4196468 140721924528960 140063524461456 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10479] ppid=10471 vsize=13982852 memory=140278152414848 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10479/stat : 10479 (java) S 10471 10471 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154376858 14318440448 10128 33554432000 4194304 4196468 140721924528960 140062937413872 140063597542018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10480] ppid=10471 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10480/stat : 10480 (java) S 10471 10471 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154376858 14318473216 10128 33554432000 4194304 4196468 140721924528960 140062936360096 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10481] ppid=10471 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10481/stat : 10481 (java) S 10471 10471 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154376859 14318473216 10128 33554432000 4194304 4196468 140721924528960 140062935306992 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10482] ppid=10471 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10482/stat : 10482 (java) S 10471 10471 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376861 14318440448 10149 33554432000 4194304 4196468 140721924528960 140062934255568 140063597549467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10483] ppid=10471 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10473/task/10483/stat : 10483 (java) S 10471 10471 8036 0 -1 1077944384 684 0 0 0 3 0 0 0 20 0 15 0 154376861 14318440448 10149 33554432000 4194304 4196468 140721924528960 140062933203696 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10484] ppid=10471 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/10473/task/10484/stat : 10484 (java) S 10471 10471 8036 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 15 0 154376861 14318440448 10149 33554432000 4194304 4196468 140721924528960 140062932151152 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10485] ppid=10471 vsize=13982852 memory=140278152414848 CPUtime=0.08 cores=0,2,4,6
/proc/10473/task/10485/stat : 10485 (java) S 10471 10471 8036 0 -1 1077944384 779 0 0 0 8 0 0 0 20 0 15 0 154376861 14318440448 10149 33554432000 4194304 4196468 140721924528960 140062931098096 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10486] ppid=10471 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10486/stat : 10486 (java) S 10471 10471 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376861 14318440448 10149 33554432000 4194304 4196468 140721924528960 140062930045792 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10487] ppid=10471 vsize=13982852 memory=140278152414848 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10487/stat : 10487 (java) S 10471 10471 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376861 14318440448 10149 33554432000 4194304 4196468 140721924528960 140062928992816 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41896 KiB
[startup+0.311955 s]*
/proc/loadavg: 2.15 1.99 1.88 4/217 10487
/proc/meminfo: memFree=24730428/32770624 swapFree=67108860/67108860
[pid=10471] ppid=10468 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10471/stat : 10471 (xcsp3-exec) S 10468 10471 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154376855 9740288 346 33554432000 4194304 5098028 140730874561488 140730874559592 140403707880060 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8744960 140730874569844 140730874570048 140730874570048 140730874572779 0
/proc/10471/statm: 2378 346 289 221 0 87 0
[pid=10473] ppid=10471 vsize=13982852 memory=47720 CPUtime=0.51 cores=0,2,4,6
/proc/10473/stat : 10473 (java) S 10471 10471 8036 0 -1 1077944320 9117 0 0 0 49 2 0 0 20 0 15 0 154376855 14318440448 11930 33554432000 4194304 4196468 140721924528960 140721924511504 140063597530871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
/proc/10473/statm: 3495713 11930 3110 1 0 3482966 0
[pid=10473/tid=10474] ppid=10471 vsize=13982852 memory=8514701219880862117 CPUtime=0.29 cores=0,2,4,6
/proc/10473/task/10474/stat : 10474 (java) R 10471 10471 8036 0 -1 4202560 5911 0 0 0 28 1 0 0 20 0 15 0 154376856 14318440448 11930 33554432000 4194304 4196468 140721924528960 140063601768256 140063195384958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10475] ppid=10471 vsize=13982852 memory=3472468407047566544 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10475/stat : 10475 (java) S 10471 10471 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376857 14318440448 11930 33554432000 4194304 4196468 140721924528960 140063527619600 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10476] ppid=10471 vsize=13982852 memory=140278152414848 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10476/stat : 10476 (java) S 10471 10471 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376857 14318440448 11930 33554432000 4194304 4196468 140721924528960 140063526567056 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10477] ppid=10471 vsize=13982852 memory=2 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10477/stat : 10477 (java) S 10471 10471 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376857 14318440448 11930 33554432000 4194304 4196468 140721924528960 140063525514000 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10478] ppid=10471 vsize=13982852 memory=140277994104863 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10478/stat : 10478 (java) S 10471 10471 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154376857 14318440448 11930 33554432000 4194304 4196468 140721924528960 140063524461456 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10479] ppid=10471 vsize=13982852 memory=280555988170496 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10479/stat : 10479 (java) S 10471 10471 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154376858 14318440448 11930 33554432000 4194304 4196468 140721924528960 140062937413872 140063597542018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10480] ppid=10471 vsize=13982852 memory=140277994081807 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10480/stat : 10480 (java) S 10471 10471 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154376858 14318440448 11930 33554432000 4194304 4196468 140721924528960 140062936360096 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10481] ppid=10471 vsize=13982852 memory=280556146505824 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10481/stat : 10481 (java) S 10471 10471 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154376859 14318440448 11930 33554432000 4194304 4196468 140721924528960 140062935306992 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10482] ppid=10471 vsize=13982852 memory=140277994086415 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10482/stat : 10482 (java) S 10471 10471 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376861 14318440448 11930 33554432000 4194304 4196468 140721924528960 140062934255568 140063597549467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10483] ppid=10471 vsize=13982852 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/10473/task/10483/stat : 10483 (java) R 10471 10471 8036 0 -1 4202560 827 0 0 0 5 0 0 0 20 0 15 0 154376861 14318440448 11930 33554432000 4194304 4196468 140721924528960 140062933203696 140063578232359 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10484] ppid=10471 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10473/task/10484/stat : 10484 (java) R 10471 10471 8036 0 -1 1077944384 170 0 0 0 2 0 0 0 20 0 15 0 154376861 14318440448 11930 33554432000 4194304 4196468 140721924528960 140062932151152 140063597542018 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10485] ppid=10471 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10473/task/10485/stat : 10485 (java) R 10471 10471 8036 0 -1 4202560 912 0 0 0 12 0 0 0 20 0 15 0 154376861 14318440448 11930 33554432000 4194304 4196468 140721924528960 140062931094464 140063581611358 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10486] ppid=10471 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10486/stat : 10486 (java) S 10471 10471 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376861 14318440448 11930 33554432000 4194304 4196468 140721924528960 140062930045792 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10487] ppid=10471 vsize=13982852 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10487/stat : 10487 (java) S 10471 10471 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376861 14318440448 11930 33554432000 4194304 4196468 140721924528960 140062928992816 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49104 KiB
[startup+0.709503 s]
/proc/loadavg: 2.15 1.99 1.88 5/217 10487
/proc/meminfo: memFree=24699656/32770624 swapFree=67108860/67108860
[pid=10471] ppid=10468 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10471/stat : 10471 (xcsp3-exec) S 10468 10471 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154376855 9740288 346 33554432000 4194304 5098028 140730874561488 140730874559592 140403707880060 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8744960 140730874569844 140730874570048 140730874570048 140730874572779 0
/proc/10471/statm: 2378 346 289 221 0 87 0
[pid=10473] ppid=10471 vsize=13984976 memory=106800 CPUtime=1.85 cores=0,2,4,6
/proc/10473/stat : 10473 (java) S 10471 10471 8036 0 -1 1077944320 13228 0 0 0 181 4 0 0 20 0 15 0 154376855 14320615424 26700 33554432000 4194304 4196468 140721924528960 140721924511504 140063597530871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
/proc/10473/statm: 3496244 26700 3202 1 0 3483478 0
[pid=10473/tid=10474] ppid=10471 vsize=13984976 memory=280555987996528 CPUtime=0.68 cores=0,2,4,6
/proc/10473/task/10474/stat : 10474 (java) R 10471 10471 8036 0 -1 4202560 6576 0 0 0 66 2 0 0 20 0 15 0 154376856 14320615424 26700 33554432000 4194304 4196468 140721924528960 140063601768992 140063597542806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10475] ppid=10471 vsize=13984976 memory=3835163037842756688 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10475/stat : 10475 (java) S 10471 10471 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376857 14320615424 26700 33554432000 4194304 4196468 140721924528960 140063527619600 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10476] ppid=10471 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10476/stat : 10476 (java) S 10471 10471 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376857 14320615424 26700 33554432000 4194304 4196468 140721924528960 140063526567056 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10477] ppid=10471 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10477/stat : 10477 (java) S 10471 10471 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376857 14320615424 26700 33554432000 4194304 4196468 140721924528960 140063525514000 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10478] ppid=10471 vsize=13984976 memory=5796 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10478/stat : 10478 (java) S 10471 10471 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154376857 14320615424 26700 33554432000 4194304 4196468 140721924528960 140063524461456 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10479] ppid=10471 vsize=13984976 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10479/stat : 10479 (java) S 10471 10471 8036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154376858 14320615424 26700 33554432000 4194304 4196468 140721924528960 140062937413872 140063597542018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10480] ppid=10471 vsize=13984976 memory=8716 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10480/stat : 10480 (java) S 10471 10471 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154376858 14320615424 26700 33554432000 4194304 4196468 140721924528960 140062936360096 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10481] ppid=10471 vsize=13984976 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10481/stat : 10481 (java) S 10471 10471 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154376859 14320615424 26700 33554432000 4194304 4196468 140721924528960 140062935306992 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10482] ppid=10471 vsize=13984976 memory=7452706766398776640 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10482/stat : 10482 (java) S 10471 10471 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376861 14320615424 26700 33554432000 4194304 4196468 140721924528960 140062934255568 140063597549467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10483] ppid=10471 vsize=13984976 memory=7881696724453321575 CPUtime=0.39 cores=0,2,4,6
/proc/10473/task/10483/stat : 10483 (java) R 10471 10471 8036 0 -1 4202560 2028 0 0 0 39 0 0 0 20 0 15 0 154376861 14320615424 26700 33554432000 4194304 4196468 140721924528960 140062933203696 140063597552218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10484] ppid=10471 vsize=13984976 memory=7295950492835795024 CPUtime=0.38 cores=0,2,4,6
/proc/10473/task/10484/stat : 10484 (java) R 10471 10471 8036 0 -1 4202560 1366 0 0 0 38 0 0 0 20 0 15 0 154376861 14320615424 26700 33554432000 4194304 4196468 140721924528960 140062932151152 140063579052271 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10485] ppid=10471 vsize=13984976 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/10473/task/10485/stat : 10485 (java) R 10471 10471 8036 0 -1 4202560 1952 0 0 0 36 0 0 0 20 0 15 0 154376861 14320615424 26700 33554432000 4194304 4196468 140721924528960 140062931092728 140063576446720 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10486] ppid=10471 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10486/stat : 10486 (java) S 10471 10471 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376861 14320615424 26700 33554432000 4194304 4196468 140721924528960 140062930045792 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10487] ppid=10471 vsize=13984976 memory=42592 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10487/stat : 10487 (java) S 10471 10471 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154376861 14320615424 26700 33554432000 4194304 4196468 140721924528960 140062928992816 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 108184 KiB
[startup+1.50152 s]
/proc/loadavg: 2.15 1.99 1.88 5/217 10487
/proc/meminfo: memFree=24595216/32770624 swapFree=67108860/67108860
[pid=10471] ppid=10468 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10471/stat : 10471 (xcsp3-exec) S 10468 10471 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154376855 9740288 346 33554432000 4194304 5098028 140730874561488 140730874559592 140403707880060 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8744960 140730874569844 140730874570048 140730874570048 140730874572779 0
/proc/10471/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/10473/task/10481/stat : 10481 (java) S 10471 10471 8036 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 154376859 14322712576 204960 33554432000 4194304 4196468 140721924528960 140062935306992 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10482] ppid=10471 vsize=13987024 memory=819616 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10482/stat : 10482 (java) S 10471 10471 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376861 14322712576 204960 33554432000 4194304 4196468 140721924528960 140062934255568 140063597549467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10483] ppid=10471 vsize=13987024 memory=475308 CPUtime=4.75 cores=0,2,4,6
/proc/10473/task/10483/stat : 10483 (java) S 10471 10471 8036 0 -1 1077944384 20804 0 0 0 473 2 0 0 20 0 15 0 154376861 14322712576 204960 33554432000 4194304 4196468 140721924528960 140062933203696 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10484] ppid=10471 vsize=13987024 memory=475304 CPUtime=4.73 cores=0,2,4,6
/proc/10473/task/10484/stat : 10484 (java) S 10471 10471 8036 0 -1 1077944384 20950 0 0 0 471 2 0 0 20 0 15 0 154376861 14322712576 204960 33554432000 4194304 4196468 140721924528960 140062932151152 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10485] ppid=10471 vsize=13987024 memory=1200 CPUtime=1.07 cores=0,2,4,6
/proc/10473/task/10485/stat : 10485 (java) S 10471 10471 8036 0 -1 1077944384 7874 0 0 0 104 3 0 0 20 0 15 0 154376861 14322712576 204960 33554432000 4194304 4196468 140721924528960 140062931098096 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10486] ppid=10471 vsize=13987024 memory=42592 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10486/stat : 10486 (java) S 10471 10471 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376861 14322712576 204960 33554432000 4194304 4196468 140721924528960 140062930045792 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10487] ppid=10471 vsize=13987024 memory=1292 CPUtime=0.03 cores=0,2,4,6
/proc/10473/task/10487/stat : 10487 (java) S 10471 10471 8036 0 -1 1077944384 1563 0 0 0 1 2 0 0 20 0 15 0 154376861 14322712576 204960 33554432000 4194304 4196468 140721924528960 140062928992816 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
Current children cumulated CPU time: 113.57 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 821224 KiB
[startup+162.301 s]
/proc/loadavg: 2.08 2.05 1.92 6/217 10644
/proc/meminfo: memFree=25387116/32770624 swapFree=67108860/67108860
[pid=10471] ppid=10468 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10471/stat : 10471 (xcsp3-exec) S 10468 10471 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154376855 9740288 346 33554432000 4194304 5098028 140730874561488 140730874559592 140403707880060 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8744960 140730874569844 140730874570048 140730874570048 140730874572779 0
/proc/10471/statm: 2378 346 289 221 0 87 0
[pid=10473] ppid=10471 vsize=13987024 memory=897176 CPUtime=173.82 cores=0,2,4,6
/proc/10473/stat : 10473 (java) S 10471 10471 8036 0 -1 1077944320 75434 0 0 0 17322 60 0 0 20 0 15 0 154376855 14322712576 224294 33554432000 4194304 4196468 140721924528960 140721924511504 140063597530871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
/proc/10473/statm: 3496756 224294 3270 1 0 3483990 0
[pid=10473/tid=10474] ppid=10471 vsize=13987024 memory=2448 CPUtime=161.9 cores=0,2,4,6
/proc/10473/task/10474/stat : 10474 (java) R 10471 10471 8036 0 -1 4202560 16124 0 0 0 16180 10 0 0 20 0 15 0 154376856 14322712576 224294 33554432000 4194304 4196468 140721924528960 140063601770048 140063202958686 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10475] ppid=10471 vsize=13987024 memory=1732 CPUtime=0.3 cores=0,2,4,6
/proc/10473/task/10475/stat : 10475 (java) S 10471 10471 8036 0 -1 1077944384 561 0 0 0 21 9 0 0 20 0 15 0 154376857 14322712576 224294 33554432000 4194304 4196468 140721924528960 140063527619600 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10476] ppid=10471 vsize=13987024 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/10473/task/10476/stat : 10476 (java) S 10471 10471 8036 0 -1 1077944384 1328 0 0 0 20 9 0 0 20 0 15 0 154376857 14322712576 224294 33554432000 4194304 4196468 140721924528960 140063526567056 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10477] ppid=10471 vsize=13987024 memory=33 CPUtime=0.31 cores=0,2,4,6
/proc/10473/task/10477/stat : 10477 (java) S 10471 10471 8036 0 -1 1077944384 1511 0 0 0 22 9 0 0 20 0 15 0 154376857 14322712576 224294 33554432000 4194304 4196468 140721924528960 140063525514000 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10478] ppid=10471 vsize=13987024 memory=1384 CPUtime=0.32 cores=0,2,4,6
/proc/10473/task/10478/stat : 10478 (java) S 10471 10471 8036 0 -1 1077944384 1826 0 0 0 22 10 0 0 20 0 15 0 154376857 14322712576 224294 33554432000 4194304 4196468 140721924528960 140063524461456 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10479] ppid=10471 vsize=13987024 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/10473/task/10479/stat : 10479 (java) S 10471 10471 8036 0 -1 1077944384 1568 0 0 0 1 0 0 0 20 0 15 0 154376858 14322712576 224294 33554432000 4194304 4196468 140721924528960 140062937413872 140063597542018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10480] ppid=10471 vsize=13987024 memory=897176 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10480/stat : 10480 (java) S 10471 10471 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154376858 14322712576 224294 33554432000 4194304 4196468 140721924528960 140062936360096 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10481] ppid=10471 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10481/stat : 10481 (java) S 10471 10471 8036 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 154376859 14322712576 224294 33554432000 4194304 4196468 140721924528960 140062935306992 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10482] ppid=10471 vsize=13987024 memory=897176 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10482/stat : 10482 (java) S 10471 10471 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376861 14322712576 224294 33554432000 4194304 4196468 140721924528960 140062934255568 140063597549467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10483] ppid=10471 vsize=13987024 memory=15876 CPUtime=4.75 cores=0,2,4,6
/proc/10473/task/10483/stat : 10483 (java) S 10471 10471 8036 0 -1 1077944384 20807 0 0 0 473 2 0 0 20 0 15 0 154376861 14322712576 224294 33554432000 4194304 4196468 140721924528960 140062933203696 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10484] ppid=10471 vsize=13987024 memory=1384 CPUtime=4.73 cores=0,2,4,6
/proc/10473/task/10484/stat : 10484 (java) S 10471 10471 8036 0 -1 1077944384 20954 0 0 0 471 2 0 0 20 0 15 0 154376861 14322712576 224294 33554432000 4194304 4196468 140721924528960 140062932151152 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10485] ppid=10471 vsize=13987024 memory=1384 CPUtime=1.07 cores=0,2,4,6
/proc/10473/task/10485/stat : 10485 (java) S 10471 10471 8036 0 -1 1077944384 7881 0 0 0 104 3 0 0 20 0 15 0 154376861 14322712576 224294 33554432000 4194304 4196468 140721924528960 140062931098096 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10486] ppid=10471 vsize=13987024 memory=897176 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10486/stat : 10486 (java) S 10471 10471 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376861 14322712576 224294 33554432000 4194304 4196468 140721924528960 140062930045792 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10487] ppid=10471 vsize=13987024 memory=6791534058613427641 CPUtime=0.06 cores=0,2,4,6
/proc/10473/task/10487/stat : 10487 (java) S 10471 10471 8036 0 -1 1077944384 1578 0 0 0 2 4 0 0 20 0 15 0 154376861 14322712576 224294 33554432000 4194304 4196468 140721924528960 140062928992816 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
Current children cumulated CPU time: 173.82 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 898560 KiB
[startup+222.301 s]
/proc/loadavg: 1.98 2.01 1.92 3/217 10645
/proc/meminfo: memFree=25256940/32770624 swapFree=67108860/67108860
[pid=10471] ppid=10468 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10471/stat : 10471 (xcsp3-exec) S 10468 10471 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154376855 9740288 346 33554432000 4194304 5098028 140730874561488 140730874559592 140403707880060 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8744960 140730874569844 140730874570048 140730874570048 140730874572779 0
/proc/10471/statm: 2378 346 289 221 0 87 0
[pid=10473] ppid=10471 vsize=13987024 memory=936180 CPUtime=234.18 cores=0,2,4,6
/proc/10473/stat : 10473 (java) S 10471 10471 8036 0 -1 1077944320 80438 0 0 0 23342 76 0 0 20 0 15 0 154376855 14322712576 234045 33554432000 4194304 4196468 140721924528960 140721924511504 140063597530871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
/proc/10473/statm: 3496756 234045 3270 1 0 3483990 0
[pid=10473/tid=10474] ppid=10471 vsize=13987024 memory=936180 CPUtime=221.79 cores=0,2,4,6
/proc/10473/task/10474/stat : 10474 (java) R 10471 10471 8036 0 -1 4202560 17652 0 0 0 22169 10 0 0 20 0 15 0 154376856 14322712576 234045 33554432000 4194304 4196468 140721924528960 140063601767248 140063202958705 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10475] ppid=10471 vsize=13987024 memory=936180 CPUtime=0.4 cores=0,2,4,6
/proc/10473/task/10475/stat : 10475 (java) S 10471 10471 8036 0 -1 1077944384 672 0 0 0 27 13 0 0 20 0 15 0 154376857 14322712576 234045 33554432000 4194304 4196468 140721924528960 140063527619600 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10476] ppid=10471 vsize=13987024 memory=936180 CPUtime=0.4 cores=0,2,4,6
/proc/10473/task/10476/stat : 10476 (java) S 10471 10471 8036 0 -1 1077944384 1460 0 0 0 27 13 0 0 20 0 15 0 154376857 14322712576 234045 33554432000 4194304 4196468 140721924528960 140063526567056 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10477] ppid=10471 vsize=13987024 memory=2448 CPUtime=0.42 cores=0,2,4,6
/proc/10473/task/10477/stat : 10477 (java) S 10471 10471 8036 0 -1 1077944384 2085 0 0 0 29 13 0 0 20 0 15 0 154376857 14322712576 234045 33554432000 4194304 4196468 140721924528960 140063525514000 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10478] ppid=10471 vsize=13987024 memory=1732 CPUtime=0.42 cores=0,2,4,6
/proc/10473/task/10478/stat : 10478 (java) S 10471 10471 8036 0 -1 1077944384 2188 0 0 0 29 13 0 0 20 0 15 0 154376857 14322712576 234045 33554432000 4194304 4196468 140721924528960 140063524461456 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10479] ppid=10471 vsize=13987024 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/10473/task/10479/stat : 10479 (java) S 10471 10471 8036 0 -1 1077944384 1793 0 0 0 1 0 0 0 20 0 15 0 154376858 14322712576 234045 33554432000 4194304 4196468 140721924528960 140062937413872 140063597542018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10480] ppid=10471 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10480/stat : 10480 (java) S 10471 10471 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154376858 14322712576 234045 33554432000 4194304 4196468 140721924528960 140062936360096 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10481] ppid=10471 vsize=13987024 memory=936180 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10481/stat : 10481 (java) S 10471 10471 8036 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 154376859 14322712576 234045 33554432000 4194304 4196468 140721924528960 140062935306992 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10482] ppid=10471 vsize=13987024 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10482/stat : 10482 (java) S 10471 10471 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376861 14322712576 234045 33554432000 4194304 4196468 140721924528960 140062934255568 140063597549467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10483] ppid=10471 vsize=13987024 memory=1384 CPUtime=4.76 cores=0,2,4,6
/proc/10473/task/10483/stat : 10483 (java) S 10471 10471 8036 0 -1 1077944384 21584 0 0 0 474 2 0 0 20 0 15 0 154376861 14322712576 234045 33554432000 4194304 4196468 140721924528960 140062933203696 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10484] ppid=10471 vsize=13987024 memory=4100 CPUtime=4.73 cores=0,2,4,6
/proc/10473/task/10484/stat : 10484 (java) S 10471 10471 8036 0 -1 1077944384 21460 0 0 0 471 2 0 0 20 0 15 0 154376861 14322712576 234045 33554432000 4194304 4196468 140721924528960 140062932151152 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10485] ppid=10471 vsize=13987024 memory=1384 CPUtime=1.07 cores=0,2,4,6
/proc/10473/task/10485/stat : 10485 (java) S 10471 10471 8036 0 -1 1077944384 8648 0 0 0 104 3 0 0 20 0 15 0 154376861 14322712576 234045 33554432000 4194304 4196468 140721924528960 140062931098096 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10486] ppid=10471 vsize=13987024 memory=936180 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10486/stat : 10486 (java) S 10471 10471 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376861 14322712576 234045 33554432000 4194304 4196468 140721924528960 140062930045792 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10487] ppid=10471 vsize=13987024 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/10473/task/10487/stat : 10487 (java) S 10471 10471 8036 0 -1 1077944384 1600 0 0 0 3 5 0 0 20 0 15 0 154376861 14322712576 234045 33554432000 4194304 4196468 140721924528960 140062928992816 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
Current children cumulated CPU time: 234.18 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 937564 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.06 2.03 1.93 3/217 10645
/proc/meminfo: memFree=25063484/32770624 swapFree=67108860/67108860
[pid=10471] ppid=10468 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10471/stat : 10471 (xcsp3-exec) S 10468 10471 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154376855 9740288 346 33554432000 4194304 5098028 140730874561488 140730874559592 140403707880060 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8744960 140730874569844 140730874570048 140730874570048 140730874572779 0
/proc/10471/statm: 2378 346 289 221 0 87 0
[pid=10473] ppid=10471 vsize=13987024 memory=1102808 CPUtime=253.63 cores=0,2,4,6
/proc/10473/stat : 10473 (java) S 10471 10471 8036 0 -1 1077944320 85848 0 0 0 25269 94 0 0 20 0 15 0 154376855 14322712576 275702 33554432000 4194304 4196468 140721924528960 140721924511504 140063597530871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
/proc/10473/statm: 3496756 275702 3284 1 0 3483990 0
[pid=10473/tid=10474] ppid=10471 vsize=13987024 memory=6791534058613427641 CPUtime=238.8 cores=0,2,4,6
/proc/10473/task/10474/stat : 10474 (java) R 10471 10471 8036 0 -1 4202560 18418 0 0 0 23870 10 0 0 20 0 15 0 154376856 14322712576 275702 33554432000 4194304 4196468 140721924528960 140063601767248 140063202958441 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10475] ppid=10471 vsize=13987024 memory=-7003737579269690708 CPUtime=0.97 cores=0,2,4,6
/proc/10473/task/10475/stat : 10475 (java) S 10471 10471 8036 0 -1 1077944384 1208 0 0 0 80 17 0 0 20 0 15 0 154376857 14322712576 275702 33554432000 4194304 4196468 140721924528960 140063527619600 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10476] ppid=10471 vsize=13987024 memory=1384 CPUtime=0.98 cores=0,2,4,6
/proc/10473/task/10476/stat : 10476 (java) S 10471 10471 8036 0 -1 1077944384 1941 0 0 0 81 17 0 0 20 0 15 0 154376857 14322712576 275702 33554432000 4194304 4196468 140721924528960 140063526567056 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10477] ppid=10471 vsize=13987024 memory=1102808 CPUtime=0.99 cores=0,2,4,6
/proc/10473/task/10477/stat : 10477 (java) S 10471 10471 8036 0 -1 1077944384 2883 0 0 0 82 17 0 0 20 0 15 0 154376857 14322712576 275702 33554432000 4194304 4196468 140721924528960 140063525514000 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10478] ppid=10471 vsize=13987024 memory=6791534058613427641 CPUtime=1 cores=0,2,4,6
/proc/10473/task/10478/stat : 10478 (java) S 10471 10471 8036 0 -1 1077944384 2432 0 0 0 83 17 0 0 20 0 15 0 154376857 14322712576 275702 33554432000 4194304 4196468 140721924528960 140063524461456 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10479] ppid=10471 vsize=13987024 memory=2548 CPUtime=0.12 cores=0,2,4,6
/proc/10473/task/10479/stat : 10479 (java) S 10471 10471 8036 0 -1 1077944384 4336 0 0 0 12 0 0 0 20 0 15 0 154376858 14322712576 275702 33554432000 4194304 4196468 140721924528960 140062937413872 140063597542018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10480] ppid=10471 vsize=13987024 memory=2676 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10480/stat : 10480 (java) S 10471 10471 8036 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 154376858 14322712576 275702 33554432000 4194304 4196468 140721924528960 140062936360160 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10481] ppid=10471 vsize=13987024 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10481/stat : 10481 (java) S 10471 10471 8036 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154376859 14322712576 275702 33554432000 4194304 4196468 140721924528960 140062935307008 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10482] ppid=10471 vsize=13987024 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10482/stat : 10482 (java) S 10471 10471 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376861 14322712576 275702 33554432000 4194304 4196468 140721924528960 140062934255568 140063597549467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10483] ppid=10471 vsize=13987024 memory=1236 CPUtime=4.76 cores=0,2,4,6
/proc/10473/task/10483/stat : 10483 (java) S 10471 10471 8036 0 -1 1077944384 21584 0 0 0 474 2 0 0 20 0 15 0 154376861 14322712576 275702 33554432000 4194304 4196468 140721924528960 140062933203696 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10484] ppid=10471 vsize=13987024 memory=932 CPUtime=4.73 cores=0,2,4,6
/proc/10473/task/10484/stat : 10484 (java) S 10471 10471 8036 0 -1 1077944384 21460 0 0 0 471 2 0 0 20 0 15 0 154376861 14322712576 275702 33554432000 4194304 4196468 140721924528960 140062932151152 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10485] ppid=10471 vsize=13987024 memory=1568 CPUtime=1.07 cores=0,2,4,6
/proc/10473/task/10485/stat : 10485 (java) S 10471 10471 8036 0 -1 1077944384 8662 0 0 0 104 3 0 0 20 0 15 0 154376861 14322712576 275702 33554432000 4194304 4196468 140721924528960 140062931098096 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10486] ppid=10471 vsize=13987024 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/10473/task/10486/stat : 10486 (java) S 10471 10471 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154376861 14322712576 275702 33554432000 4194304 4196468 140721924528960 140062930045792 140063597541077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
[pid=10473/tid=10487] ppid=10471 vsize=13987024 memory=4124 CPUtime=0.08 cores=0,2,4,6
/proc/10473/task/10487/stat : 10487 (java) S 10471 10471 8036 0 -1 1077944384 1600 0 0 0 3 5 0 0 20 0 15 0 154376861 14322712576 275702 33554432000 4194304 4196468 140721924528960 140062928992816 140063597542018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17383424 140721924535453 140721924535628 140721924535628 140721924538319 0
Current children cumulated CPU time: 253.63 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 1104192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 10471 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001028 s, system=0.001028 s
[startup+240.03 s]
# the end of solver process 10473 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.708 s, system=0.955633 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.03
CPU time (s): 253.664
CPU user time (s): 252.708
CPU system time (s): 0.955633
CPU usage (%): 105.68
Max. virtual memory (cumulated for all children) (KiB): 13996840
Max. memory (cumulated for all children) (KiB): 1104192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.708
system time used= 0.955633
maximum resident set size= 1104164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86506
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9118
involuntary context switches= 414
# summary of solver processes directly reported to runsolver:
# pid: 10471,10473
# total CPU time (s): 253.664
# total CPU user time (s): 252.708
# total CPU system time (s): 0.955633
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50628 second user time and 2.24462 second system time
The end