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 (9587 MiB free)
memory of node 1: 16384 MiB (10149 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299752-1532811179/watcher-4299752-1532811179 -o /tmp/evaluation-result-4299752-1532811179/solver-4299752-1532811179 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532811179-32003 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4299752-1532811179.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=32028, runsolver pid=32024
Current StackSize limit: 8192 KiB
[startup+0.100194 s]*
/proc/loadavg: 2.00 1.75 1.55 6/217 32061
/proc/meminfo: memFree=20181212/32770624 swapFree=67108860/67108860
[pid=32028] ppid=32024 vsize=10661056 memory=25604 CPUtime=0.12 cores=1,3,5,7
/proc/32028/stat : 32028 (java) S 32024 32028 31971 0 -1 1077944320 5286 0 0 0 11 1 0 0 20 0 15 0 98681096 10916921344 6401 33554432000 4194304 4196468 140734052403568 140734052386112 139740082470647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
/proc/32028/statm: 2665264 6401 2857 1 0 2627263 0
[pid=32028/tid=32034] ppid=32024 vsize=10661056 memory=6735269665583770266 CPUtime=0.08 cores=1,3,5,7
/proc/32028/task/32034/stat : 32034 (java) R 32024 32028 31971 0 -1 4202560 3183 0 0 0 8 0 0 0 20 0 15 0 98681096 10916921344 6401 33554432000 4194304 4196468 140734052403568 139740086703808 139740082482582 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32037] ppid=32024 vsize=10661056 memory=4211974047575977354 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32037/stat : 32037 (java) S 32024 32028 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98681097 10916921344 6401 33554432000 4194304 4196468 140734052403568 139739689052816 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32039] ppid=32024 vsize=10661056 memory=140321371186816 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32039/stat : 32039 (java) S 32024 32028 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98681097 10916921344 6401 33554432000 4194304 4196468 140734052403568 139739688000016 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32041] ppid=32024 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32041/stat : 32041 (java) S 32024 32028 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98681097 10916921344 6401 33554432000 4194304 4196468 140734052403568 139739686947216 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32043] ppid=32024 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32043/stat : 32043 (java) S 32024 32028 31971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98681097 10916921344 6401 33554432000 4194304 4196468 140734052403568 139739685894416 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32044] ppid=32024 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32044/stat : 32044 (java) S 32024 32028 31971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98681099 10916921344 6401 33554432000 4194304 4196468 140734052403568 139739574279024 139740082481794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32047] ppid=32024 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32047/stat : 32047 (java) S 32024 32028 31971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98681099 10916921344 6401 33554432000 4194304 4196468 140734052403568 139739573224992 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32049] ppid=32024 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32049/stat : 32049 (java) S 32024 32028 31971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98681099 10916921344 6401 33554432000 4194304 4196468 140734052403568 139739572172144 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32050] ppid=32024 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32050/stat : 32050 (java) S 32024 32028 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98681102 10916921344 6401 33554432000 4194304 4196468 140734052403568 139739571120464 139740082489243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32052] ppid=32024 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32052/stat : 32052 (java) S 32024 32028 31971 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 98681102 10916921344 6401 33554432000 4194304 4196468 140734052403568 139739570067824 139740082481794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32055] ppid=32024 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32055/stat : 32055 (java) S 32024 32028 31971 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 98681102 10916921344 6401 33554432000 4194304 4196468 140734052403568 139739569015024 139740082481794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32057] ppid=32024 vsize=10661056 memory=140321371186816 CPUtime=0.01 cores=1,3,5,7
/proc/32028/task/32057/stat : 32057 (java) R 32024 32028 31971 0 -1 4202560 303 0 0 0 1 0 0 0 20 0 15 0 98681102 10916921344 6401 33554432000 4194304 4196468 140734052403568 139739567962224 139740066551134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32059] ppid=32024 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32059/stat : 32059 (java) S 32024 32028 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98681102 10916921344 6401 33554432000 4194304 4196468 140734052403568 139739566909664 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32061] ppid=32024 vsize=10661056 memory=140321371186816 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32061/stat : 32061 (java) S 32024 32028 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98681102 10916921344 6401 33554432000 4194304 4196468 140734052403568 139739565857968 139740082481794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 25604 KiB
[startup+0.210704 s]*
/proc/loadavg: 2.00 1.75 1.55 4/217 32061
/proc/meminfo: memFree=20156728/32770624 swapFree=67108860/67108860
[pid=32028] ppid=32024 vsize=10661056 memory=38676 CPUtime=0.32 cores=1,3,5,7
/proc/32028/stat : 32028 (java) S 32024 32028 31971 0 -1 1077944320 8269 0 0 0 31 1 0 0 20 0 15 0 98681096 10916921344 9669 33554432000 4194304 4196468 140734052403568 140734052386112 139740082470647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
/proc/32028/statm: 2665264 9669 2969 1 0 2627263 0
[pid=32028/tid=32034] ppid=32024 vsize=10661056 memory=4871374705135476842 CPUtime=0.19 cores=1,3,5,7
/proc/32028/task/32034/stat : 32034 (java) R 32024 32028 31971 0 -1 4202560 5161 0 0 0 19 0 0 0 20 0 15 0 98681096 10916921344 9669 33554432000 4194304 4196468 140734052403568 139740086706480 139739721226939 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32037] ppid=32024 vsize=10661056 memory=4211974047575977354 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32037/stat : 32037 (java) S 32024 32028 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98681097 10916921344 9669 33554432000 4194304 4196468 140734052403568 139739689052816 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32039] ppid=32024 vsize=10661056 memory=140321371186816 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32039/stat : 32039 (java) S 32024 32028 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98681097 10916921344 9669 33554432000 4194304 4196468 140734052403568 139739688000016 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32041] ppid=32024 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32041/stat : 32041 (java) S 32024 32028 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98681097 10916921344 9669 33554432000 4194304 4196468 140734052403568 139739686947216 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32043] ppid=32024 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32043/stat : 32043 (java) S 32024 32028 31971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98681097 10916921344 9669 33554432000 4194304 4196468 140734052403568 139739685894416 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32044] ppid=32024 vsize=10661056 memory=140321371186816 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32044/stat : 32044 (java) S 32024 32028 31971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98681099 10916921344 9669 33554432000 4194304 4196468 140734052403568 139739574279024 139740082481794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32047] ppid=32024 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32047/stat : 32047 (java) S 32024 32028 31971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98681099 10916921344 9669 33554432000 4194304 4196468 140734052403568 139739573224992 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32049] ppid=32024 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32049/stat : 32049 (java) S 32024 32028 31971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98681099 10916921344 9669 33554432000 4194304 4196468 140734052403568 139739572172144 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32050] ppid=32024 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32050/stat : 32050 (java) S 32024 32028 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98681102 10916921344 9669 33554432000 4194304 4196468 140734052403568 139739571120464 139740082489243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32052] ppid=32024 vsize=10661056 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32028/task/32052/stat : 32052 (java) S 32024 32028 31971 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 15 0 98681102 10916921344 9669 33554432000 4194304 4196468 140734052403568 139739570067824 139740082481794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32055] ppid=32024 vsize=10661056 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/32028/task/32055/stat : 32055 (java) S 32024 32028 31971 0 -1 1077944384 485 0 0 0 3 0 0 0 20 0 15 0 98681102 10916921344 9669 33554432000 4194304 4196468 140734052403568 139739569015024 139740082481794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32057] ppid=32024 vsize=10661056 memory=140321371186816 CPUtime=0.07 cores=1,3,5,7
/proc/32028/task/32057/stat : 32057 (java) R 32024 32028 31971 0 -1 4202560 895 0 0 0 7 0 0 0 20 0 15 0 98681102 10916921344 9669 33554432000 4194304 4196468 140734052403568 139739567962224 139740068151349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32059] ppid=32024 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32059/stat : 32059 (java) S 32024 32028 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98681102 10916921344 9669 33554432000 4194304 4196468 140734052403568 139739566909664 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32061] ppid=32024 vsize=10661056 memory=140321371186816 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32061/stat : 32061 (java) S 32024 32028 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98681102 10916921344 9669 33554432000 4194304 4196468 140734052403568 139739565857968 139740082481794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 38676 KiB
[startup+0.31218 s]*
/proc/loadavg: 2.00 1.75 1.55 11/217 32061
/proc/meminfo: memFree=20123820/32770624 swapFree=67108860/67108860
[pid=32028] ppid=32024 vsize=10661132 memory=60560 CPUtime=0.54 cores=1,3,5,7
/proc/32028/stat : 32028 (java) S 32024 32028 31971 0 -1 1077944320 9124 0 0 0 52 2 0 0 20 0 15 0 98681096 10916999168 15140 33554432000 4194304 4196468 140734052403568 140734052386112 139740082470647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
/proc/32028/statm: 2665283 15140 3051 1 0 2627263 0
[pid=32028/tid=32034] ppid=32024 vsize=10661132 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/32028/task/32034/stat : 32034 (java) R 32024 32028 31971 0 -1 4202560 5503 0 0 0 28 1 0 0 20 0 15 0 98681096 10916999168 15140 33554432000 4194304 4196468 140734052403568 139740086708800 139740066551134 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32037] ppid=32024 vsize=10661132 memory=662039291620837129 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32037/stat : 32037 (java) S 32024 32028 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98681097 10916999168 15140 33554432000 4194304 4196468 140734052403568 139739689052816 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32039] ppid=32024 vsize=10661132 memory=280642583367808 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32039/stat : 32039 (java) S 32024 32028 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98681097 10916999168 15140 33554432000 4194304 4196468 140734052403568 139739688000016 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32041] ppid=32024 vsize=10661132 memory=280642424391968 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32041/stat : 32041 (java) S 32024 32028 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98681097 10916999168 15140 33554432000 4194304 4196468 140734052403568 139739686947216 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32043] ppid=32024 vsize=10661132 memory=140321212181007 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32043/stat : 32043 (java) S 32024 32028 31971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98681097 10916999168 15140 33554432000 4194304 4196468 140734052403568 139739685894416 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32044] ppid=32024 vsize=10661132 memory=280642583374720 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32044/stat : 32044 (java) S 32024 32028 31971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98681099 10916999168 15140 33554432000 4194304 4196468 140734052403568 139739574279024 139740082481794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32047] ppid=32024 vsize=10661132 memory=140321212185615 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32047/stat : 32047 (java) S 32024 32028 31971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98681099 10916999168 15140 33554432000 4194304 4196468 140734052403568 139739573224992 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32049] ppid=32024 vsize=10661132 memory=140321212219918 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32049/stat : 32049 (java) S 32024 32028 31971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98681099 10916999168 15140 33554432000 4194304 4196468 140734052403568 139739572172144 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32050] ppid=32024 vsize=10661132 memory=140321212222226 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32050/stat : 32050 (java) S 32024 32028 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98681102 10916999168 15140 33554432000 4194304 4196468 140734052403568 139739571120464 139740082489243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32052] ppid=32024 vsize=10661132 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/32028/task/32052/stat : 32052 (java) R 32024 32028 31971 0 -1 1077944384 557 0 0 0 4 0 0 0 20 0 15 0 98681102 10916999168 15140 33554432000 4194304 4196468 140734052403568 139739570067824 139740082481794 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32055] ppid=32024 vsize=10661132 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32028/task/32055/stat : 32055 (java) R 32024 32028 31971 0 -1 4202560 628 0 0 0 7 0 0 0 20 0 15 0 98681102 10916999168 15140 33554432000 4194304 4196468 140734052403568 139739569006480 139740061714503 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32057] ppid=32024 vsize=10661132 memory=140321371186816 CPUtime=0.11 cores=1,3,5,7
/proc/32028/task/32057/stat : 32057 (java) R 32024 32028 31971 0 -1 4202560 1069 0 0 0 11 0 0 0 20 0 15 0 98681102 10916999168 15140 33554432000 4194304 4196468 140734052403568 139739567960016 139740061873816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32059] ppid=32024 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32059/stat : 32059 (java) S 32024 32028 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98681102 10916999168 15140 33554432000 4194304 4196468 140734052403568 139739566909664 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32061] ppid=32024 vsize=10661132 memory=140321371212420 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32061/stat : 32061 (java) R 32024 32028 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98681102 10916999168 15140 33554432000 4194304 4196468 140734052403568 139739565857968 139740082481794 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 60560 KiB
[startup+0.701924 s]
/proc/loadavg: 2.00 1.75 1.55 8/217 32061
/proc/meminfo: memFree=19960732/32770624 swapFree=67108860/67108860
[pid=32028] ppid=32024 vsize=10661132 memory=190920 CPUtime=1.77 cores=1,3,5,7
/proc/32028/stat : 32028 (java) S 32024 32028 31971 0 -1 1077944320 11693 0 0 0 172 5 0 0 20 0 15 0 98681096 10916999168 47730 33554432000 4194304 4196468 140734052403568 140734052386112 139740082470647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
/proc/32028/statm: 2665283 47730 3122 1 0 2627263 0
[pid=32028/tid=32034] ppid=32024 vsize=10661132 memory=54 CPUtime=0.66 cores=1,3,5,7
/proc/32028/task/32034/stat : 32034 (java) S 32024 32028 31971 0 -1 1077944384 5659 0 0 0 64 2 0 0 20 0 15 0 98681096 10916999168 47730 33554432000 4194304 4196468 140734052403568 139740086700672 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32037] ppid=32024 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32037/stat : 32037 (java) S 32024 32028 31971 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 98681097 10916999168 47730 33554432000 4194304 4196468 140734052403568 139739689052816 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32039] ppid=32024 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32039/stat : 32039 (java) S 32024 32028 31971 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 98681097 10916999168 47730 33554432000 4194304 4196468 140734052403568 139739688000016 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32041] ppid=32024 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32041/stat : 32041 (java) S 32024 32028 31971 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 98681097 10916999168 47730 33554432000 4194304 4196468 140734052403568 139739686947216 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32043] ppid=32024 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32043/stat : 32043 (java) S 32024 32028 31971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98681097 10916999168 47730 33554432000 4194304 4196468 140734052403568 139739685894416 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32044] ppid=32024 vsize=10661132 memory=8242257093008373813 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32044/stat : 32044 (java) S 32024 32028 31971 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 98681099 10916999168 47730 33554432000 4194304 4196468 140734052403568 139739574279024 139740082481794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32047] ppid=32024 vsize=10661132 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32047/stat : 32047 (java) S 32024 32028 31971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98681099 10916999168 47730 33554432000 4194304 4196468 140734052403568 139739573224992 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32049] ppid=32024 vsize=10661132 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32049/stat : 32049 (java) S 32024 32028 31971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98681099 10916999168 47730 33554432000 4194304 4196468 140734052403568 139739572172144 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32050] ppid=32024 vsize=10661132 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32050/stat : 32050 (java) S 32024 32028 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98681102 10916999168 47730 33554432000 4194304 4196468 140734052403568 139739571120464 139740082489243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32052] ppid=32024 vsize=10661132 memory=792 CPUtime=0.4 cores=1,3,5,7
/proc/32028/task/32052/stat : 32052 (java) R 32024 32028 31971 0 -1 4202560 1532 0 0 0 40 0 0 0 20 0 15 0 98681102 10916999168 47730 33554432000 4194304 4196468 140734052403568 139739570047760 139740068484971 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32055] ppid=32024 vsize=10661132 memory=1716 CPUtime=0.44 cores=1,3,5,7
/proc/32028/task/32055/stat : 32055 (java) R 32024 32028 31971 0 -1 4202560 1720 0 0 0 44 0 0 0 20 0 15 0 98681102 10916999168 47730 33554432000 4194304 4196468 140734052403568 139739569004944 139740065857231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32057] ppid=32024 vsize=10661132 memory=1952 CPUtime=0.21 cores=1,3,5,7
/proc/32028/task/32057/stat : 32057 (java) R 32024 32028 31971 0 -1 1077944384 1283 0 0 0 21 0 0 0 20 0 15 0 98681102 10916999168 47730 33554432000 4194304 4196468 140734052403568 139739567960016 139740082480853 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32059] ppid=32024 vsize=10661132 memory=8584 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32059/stat : 32059 (java) S 32024 32028 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98681102 10916999168 47730 33554432000 4194304 4196468 140734052403568 139739566909664 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32061] ppid=32024 vsize=10661132 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32061/stat : 32061 (java) S 32024 32028 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98681102 10916999168 47730 33554432000 4194304 4196468 140734052403568 139739565857968 139740082481794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 190920 KiB
[startup+1.483 s]
# the end of solver process 32028 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.47555 s, system=0.309722 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800842 s]
/proc/loadavg: 2.00 1.75 1.55 8/217 32061
/proc/meminfo: memFree=19960732/32770624 swapFree=67108860/67108860
[pid=32028] ppid=32024 vsize=10661132 memory=290540 CPUtime=2.12 cores=1,3,5,7
/proc/32028/stat : 32028 (java) S 32024 32028 31971 0 -1 1077944320 12191 0 0 0 194 18 0 0 20 0 15 0 98681096 10916999168 72635 33554432000 4194304 4196468 140734052403568 140734052386112 139740082470647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
/proc/32028/statm: 2665283 72635 3131 1 0 2627263 0
[pid=32028/tid=32034] ppid=32024 vsize=10661132 memory=6791534058613427641 CPUtime=0.69 cores=1,3,5,7
/proc/32028/task/32034/stat : 32034 (java) R 32024 32028 31971 0 -1 4202560 5662 0 0 0 67 2 0 0 20 0 15 0 98681096 10916999168 72635 33554432000 4194304 4196468 140734052403568 139740086708512 139739722749687 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32037] ppid=32024 vsize=10661132 memory=15872 CPUtime=0.06 cores=1,3,5,7
/proc/32028/task/32037/stat : 32037 (java) S 32024 32028 31971 0 -1 1077944384 171 0 0 0 3 3 0 0 20 0 15 0 98681097 10916999168 72635 33554432000 4194304 4196468 140734052403568 139739689052816 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32039] ppid=32024 vsize=10661132 memory=4012 CPUtime=0.06 cores=1,3,5,7
/proc/32028/task/32039/stat : 32039 (java) S 32024 32028 31971 0 -1 1077944384 175 0 0 0 3 3 0 0 20 0 15 0 98681097 10916999168 72635 33554432000 4194304 4196468 140734052403568 139739688000016 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32041] ppid=32024 vsize=10661132 memory=2241 CPUtime=0.06 cores=1,3,5,7
/proc/32028/task/32041/stat : 32041 (java) S 32024 32028 31971 0 -1 1077944384 90 0 0 0 3 3 0 0 20 0 15 0 98681097 10916999168 72635 33554432000 4194304 4196468 140734052403568 139739686947216 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32043] ppid=32024 vsize=10661132 memory=2244 CPUtime=0.06 cores=1,3,5,7
/proc/32028/task/32043/stat : 32043 (java) S 32024 32028 31971 0 -1 1077944384 69 0 0 0 3 3 0 0 20 0 15 0 98681097 10916999168 72635 33554432000 4194304 4196468 140734052403568 139739685894416 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32044] ppid=32024 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32044/stat : 32044 (java) S 32024 32028 31971 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 98681099 10916999168 72635 33554432000 4194304 4196468 140734052403568 139739574279024 139740082481794 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32047] ppid=32024 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32047/stat : 32047 (java) S 32024 32028 31971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98681099 10916999168 72635 33554432000 4194304 4196468 140734052403568 139739573225056 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32049] ppid=32024 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32049/stat : 32049 (java) S 32024 32028 31971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98681099 10916999168 72635 33554432000 4194304 4196468 140734052403568 139739572172144 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32050] ppid=32024 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32050/stat : 32050 (java) S 32024 32028 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98681102 10916999168 72635 33554432000 4194304 4196468 140734052403568 139739571120464 139740082489243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32052] ppid=32024 vsize=10661132 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/32028/task/32052/stat : 32052 (java) S 32024 32028 31971 0 -1 1077944384 1545 0 0 0 43 0 0 0 20 0 15 0 98681102 10916999168 72635 33554432000 4194304 4196468 140734052403568 139739570067824 139740082481794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32055] ppid=32024 vsize=10661132 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/32028/task/32055/stat : 32055 (java) R 32024 32028 31971 0 -1 4202560 1733 0 0 0 47 0 0 0 20 0 15 0 98681102 10916999168 72635 33554432000 4194304 4196468 140734052403568 139739569015024 139740068481663 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32057] ppid=32024 vsize=10661132 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/32028/task/32057/stat : 32057 (java) S 32024 32028 31971 0 -1 1077944384 1303 0 0 0 21 0 0 0 20 0 15 0 98681102 10916999168 72635 33554432000 4194304 4196468 140734052403568 139739567962224 139740082481794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32059] ppid=32024 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32059/stat : 32059 (java) S 32024 32028 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98681102 10916999168 72635 33554432000 4194304 4196468 140734052403568 139739566909664 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32061] ppid=32024 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32061/stat : 32061 (java) S 32024 32028 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98681102 10916999168 72635 33554432000 4194304 4196468 140734052403568 139739565857968 139740082481794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
Current children cumulated CPU time: 2.12 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 290540 KiB
[startup+1.2013 s]
/proc/loadavg: 2.00 1.75 1.55 4/198 32070
/proc/meminfo: memFree=19724460/32770624 swapFree=67108860/67108860
[pid=32028] ppid=32024 vsize=10661132 memory=533388 CPUtime=3.13 cores=1,3,5,7
/proc/32028/stat : 32028 (java) S 32024 32028 31971 0 -1 1077944320 13370 0 0 0 284 29 0 0 20 0 15 0 98681096 10916999168 133347 33554432000 4194304 4196468 140734052403568 140734052386112 139740082470647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
/proc/32028/statm: 2665283 133347 3151 1 0 2627263 0
[pid=32028/tid=32034] ppid=32024 vsize=10661132 memory=5859271429675504976 CPUtime=1.03 cores=1,3,5,7
/proc/32028/task/32034/stat : 32034 (java) R 32024 32028 31971 0 -1 4202560 5765 0 0 0 99 4 0 0 20 0 15 0 98681096 10916999168 133347 33554432000 4194304 4196468 140734052403568 139740086706192 139739722987880 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32037] ppid=32024 vsize=10661132 memory=7452728842579373158 CPUtime=0.11 cores=1,3,5,7
/proc/32028/task/32037/stat : 32037 (java) S 32024 32028 31971 0 -1 1077944384 274 0 0 0 5 6 0 0 20 0 15 0 98681097 10916999168 133347 33554432000 4194304 4196468 140734052403568 139739689052816 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32039] ppid=32024 vsize=10661132 memory=7452728842579373158 CPUtime=0.11 cores=1,3,5,7
/proc/32028/task/32039/stat : 32039 (java) S 32024 32028 31971 0 -1 1077944384 307 0 0 0 6 5 0 0 20 0 15 0 98681097 10916999168 133347 33554432000 4194304 4196468 140734052403568 139739688000016 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32041] ppid=32024 vsize=10661132 memory=7452728842579373158 CPUtime=0.12 cores=1,3,5,7
/proc/32028/task/32041/stat : 32041 (java) S 32024 32028 31971 0 -1 1077944384 228 0 0 0 7 5 0 0 20 0 15 0 98681097 10916999168 133347 33554432000 4194304 4196468 140734052403568 139739686947216 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32043] ppid=32024 vsize=10661132 memory=7452728842579373158 CPUtime=0.13 cores=1,3,5,7
/proc/32028/task/32043/stat : 32043 (java) S 32024 32028 31971 0 -1 1077944384 166 0 0 0 7 6 0 0 20 0 15 0 98681097 10916999168 133347 33554432000 4194304 4196468 140734052403568 139739685894416 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32044] ppid=32024 vsize=10661132 memory=7452728842579373158 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32044/stat : 32044 (java) S 32024 32028 31971 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 98681099 10916999168 133347 33554432000 4194304 4196468 140734052403568 139739574279024 139740082481794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32047] ppid=32024 vsize=10661132 memory=7452728842579373158 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32047/stat : 32047 (java) S 32024 32028 31971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98681099 10916999168 133347 33554432000 4194304 4196468 140734052403568 139739573225056 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32049] ppid=32024 vsize=10661132 memory=7452728842579373158 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32049/stat : 32049 (java) S 32024 32028 31971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98681099 10916999168 133347 33554432000 4194304 4196468 140734052403568 139739572172144 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32050] ppid=32024 vsize=10661132 memory=7667217190061686892 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32050/stat : 32050 (java) S 32024 32028 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98681102 10916999168 133347 33554432000 4194304 4196468 140734052403568 139739571120464 139740082489243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32052] ppid=32024 vsize=10661132 memory=7452728842579373158 CPUtime=0.61 cores=1,3,5,7
/proc/32028/task/32052/stat : 32052 (java) R 32024 32028 31971 0 -1 4202560 1583 0 0 0 61 0 0 0 20 0 15 0 98681102 10916999168 133347 33554432000 4194304 4196468 140734052403568 139739570057744 139740062967816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32055] ppid=32024 vsize=10661132 memory=7452728842579373158 CPUtime=0.7 cores=1,3,5,7
/proc/32028/task/32055/stat : 32055 (java) R 32024 32028 31971 0 -1 4202560 2065 0 0 0 70 0 0 0 20 0 15 0 98681102 10916999168 133347 33554432000 4194304 4196468 140734052403568 139739568996040 139740063169048 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32057] ppid=32024 vsize=10661132 memory=7306316804797196914 CPUtime=0.26 cores=1,3,5,7
/proc/32028/task/32057/stat : 32057 (java) S 32024 32028 31971 0 -1 1077944384 1413 0 0 0 26 0 0 0 20 0 15 0 98681102 10916999168 133347 33554432000 4194304 4196468 140734052403568 139739567962224 139740082481794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32059] ppid=32024 vsize=10661132 memory=7667217190061686892 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32059/stat : 32059 (java) S 32024 32028 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98681102 10916999168 133347 33554432000 4194304 4196468 140734052403568 139739566909664 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32061] ppid=32024 vsize=10661132 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32061/stat : 32061 (java) S 32024 32028 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98681102 10916999168 133347 33554432000 4194304 4196468 140734052403568 139739565857968 139740082481794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 533388 KiB
[startup+1.40127 s]
/proc/loadavg: 2.00 1.75 1.55 4/198 32070
/proc/meminfo: memFree=19724460/32770624 swapFree=67108860/67108860
[pid=32028] ppid=32024 vsize=10727696 memory=545980 CPUtime=3.7 cores=1,3,5,7
/proc/32028/stat : 32028 (java) S 32024 32028 31971 0 -1 1077944320 16517 0 0 0 340 30 0 0 20 0 13 0 98681096 10985160704 136495 33554432000 4194304 4196468 140734052403568 140734052386112 139740082470647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
/proc/32028/statm: 2681924 136495 3153 1 0 2643904 0
[pid=32028/tid=32034] ppid=32024 vsize=10727696 memory=3905522709232380292 CPUtime=1.2 cores=1,3,5,7
/proc/32028/task/32034/stat : 32034 (java) S 32024 32028 31971 0 -1 1077944384 5794 0 0 0 116 4 0 0 20 0 13 0 98681096 10985160704 136495 33554432000 4194304 4196468 140734052403568 139740086713488 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32037] ppid=32024 vsize=10727696 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/32028/task/32037/stat : 32037 (java) S 32024 32028 31971 0 -1 1077944384 274 0 0 0 5 6 0 0 20 0 13 0 98681097 10985160704 136495 33554432000 4194304 4196468 140734052403568 139739689052816 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32039] ppid=32024 vsize=10727696 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/32028/task/32039/stat : 32039 (java) S 32024 32028 31971 0 -1 1077944384 307 0 0 0 6 5 0 0 20 0 13 0 98681097 10985160704 136495 33554432000 4194304 4196468 140734052403568 139739688000016 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32041] ppid=32024 vsize=10727696 memory=6944656592455097440 CPUtime=0.12 cores=1,3,5,7
/proc/32028/task/32041/stat : 32041 (java) S 32024 32028 31971 0 -1 1077944384 228 0 0 0 7 5 0 0 20 0 13 0 98681097 10985160704 136495 33554432000 4194304 4196468 140734052403568 139739686947216 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32043] ppid=32024 vsize=10727696 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/32028/task/32043/stat : 32043 (java) S 32024 32028 31971 0 -1 1077944384 166 0 0 0 7 6 0 0 20 0 13 0 98681097 10985160704 136495 33554432000 4194304 4196468 140734052403568 139739685894416 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32044] ppid=32024 vsize=10727696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32044/stat : 32044 (java) S 32024 32028 31971 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 13 0 98681099 10985160704 136495 33554432000 4194304 4196468 140734052403568 139739574279232 139740082481794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32047] ppid=32024 vsize=10727696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32047/stat : 32047 (java) S 32024 32028 31971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 98681099 10985160704 136495 33554432000 4194304 4196468 140734052403568 139739573225056 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32049] ppid=32024 vsize=10727696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32049/stat : 32049 (java) S 32024 32028 31971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 98681099 10985160704 136495 33554432000 4194304 4196468 140734052403568 139739572172144 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32052] ppid=32024 vsize=10727696 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/32028/task/32052/stat : 32052 (java) S 32024 32028 31971 0 -1 1077944384 2060 0 0 0 78 0 0 0 20 0 13 0 98681102 10985160704 136495 33554432000 4194304 4196468 140734052403568 139739570048224 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32055] ppid=32024 vsize=10727696 memory=0 CPUtime=0.9 cores=1,3,5,7
/proc/32028/task/32055/stat : 32055 (java) R 32024 32028 31971 0 -1 4202560 4635 0 0 0 90 0 0 0 20 0 13 0 98681102 10985160704 136495 33554432000 4194304 4196468 140734052403568 139739568999384 139740067578682 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32057] ppid=32024 vsize=10727696 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/32028/task/32057/stat : 32057 (java) S 32024 32028 31971 0 -1 1077944384 1442 0 0 0 27 0 0 0 20 0 13 0 98681102 10985160704 136495 33554432000 4194304 4196468 140734052403568 139739567962224 139740082481794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
[pid=32028/tid=32059] ppid=32024 vsize=10727696 memory=168 CPUtime=0 cores=1,3,5,7
/proc/32028/task/32059/stat : 32059 (java) S 32024 32028 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 98681102 10985160704 136495 33554432000 4194304 4196468 140734052403568 139739566909664 139740082480853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27455488 140734052410485 140734052410633 140734052410633 140734052413391 0
Current children cumulated CPU time: 3.7 s
Current children cumulated vsize: 10727696 KiB
Current children cumulated memory: 545980 KiB
Child status: 0
Real time (s): 1.48305
CPU time (s): 3.78527
CPU user time (s): 3.47555
CPU system time (s): 0.309722
CPU usage (%): 255.235
Max. virtual memory (cumulated for all children) (KiB): 10727696
Max. memory (cumulated for all children) (KiB): 545980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.47555
system time used= 0.309722
maximum resident set size= 550672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17409
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1343
involuntary context switches= 26
# summary of solver processes directly reported to runsolver:
# pid: 32028
# total CPU time (s): 3.78527
# total CPU user time (s): 3.47555
# total CPU system time (s): 0.309722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03419 second user time and 0.054897 second system time
The end