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 (5785 MiB free)
memory of node 1: 16384 MiB (14823 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299152-1532794229/watcher-4299152-1532794229 -o /tmp/evaluation-result-4299152-1532794229/solver-4299152-1532794229 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532774285-30333 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4299152-1532794229.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
Current StackSize limit: 8192 KiB
solver pid=32706, runsolver pid=32703
[startup+0.100203 s]*
/proc/loadavg: 1.98 2.01 2.08 3/216 32721
/proc/meminfo: memFree=21086552/32770624 swapFree=67108404/67108860
[pid=32706] ppid=32703 vsize=10661056 memory=27784 CPUtime=0.13 cores=1,3,5,7
/proc/32706/stat : 32706 (java) S 32703 32706 30301 0 -1 1077944320 5300 0 0 0 12 1 0 0 20 0 15 0 96986010 10916921344 6946 33554432000 4194304 4196468 140728809246784 140728809229328 140075971161847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
/proc/32706/statm: 2665264 6946 2844 1 0 2627263 0
[pid=32706/tid=32708] ppid=32703 vsize=10661056 memory=-8269626465541328252 CPUtime=0.08 cores=1,3,5,7
/proc/32706/task/32708/stat : 32708 (java) R 32703 32706 30301 0 -1 4202560 3161 0 0 0 8 0 0 0 20 0 15 0 96986010 10916921344 6946 33554432000 4194304 4196468 140728809246784 140075975388560 140075971173782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32709] ppid=32703 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32709/stat : 32709 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916921344 6946 33554432000 4194304 4196468 140728809246784 140075577715600 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32710] ppid=32703 vsize=10661056 memory=139702713980544 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32710/stat : 32710 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916921344 6946 33554432000 4194304 4196468 140728809246784 140075576662800 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32711] ppid=32703 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32711/stat : 32711 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916921344 6946 33554432000 4194304 4196468 140728809246784 140075575610512 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32712] ppid=32703 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32712/stat : 32712 (java) S 32703 32706 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96986011 10916921344 6946 33554432000 4194304 4196468 140728809246784 140075574557712 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32713] ppid=32703 vsize=10661056 memory=139702713980544 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32713/stat : 32713 (java) S 32703 32706 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96986012 10916921344 6946 33554432000 4194304 4196468 140728809246784 140075530979440 140075971172994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32714] ppid=32703 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32714/stat : 32714 (java) S 32703 32706 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96986013 10916921344 6946 33554432000 4194304 4196468 140728809246784 140075529925408 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32715] ppid=32703 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32715/stat : 32715 (java) S 32703 32706 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96986013 10916921344 6946 33554432000 4194304 4196468 140728809246784 140075528873072 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32716] ppid=32703 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32716/stat : 32716 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10916921344 6946 33554432000 4194304 4196468 140728809246784 140075527821392 140075971180443 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32717] ppid=32703 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32717/stat : 32717 (java) R 32703 32706 30301 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 96986015 10916921344 6946 33554432000 4194304 4196468 140728809246784 140075459406544 140075971172053 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32718] ppid=32703 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32718/stat : 32718 (java) R 32703 32706 30301 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 15 0 96986015 10916921344 6946 33554432000 4194304 4196468 140728809246784 140075458345296 140075954561020 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32719] ppid=32703 vsize=10661056 memory=139702713980544 CPUtime=0.01 cores=1,3,5,7
/proc/32706/task/32719/stat : 32719 (java) R 32703 32706 30301 0 -1 4202560 341 0 0 0 1 0 0 0 20 0 15 0 96986015 10916921344 6946 33554432000 4194304 4196468 140728809246784 140075457301360 140075971173782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32720] ppid=32703 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32720/stat : 32720 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10916921344 6946 33554432000 4194304 4196468 140728809246784 140075456248800 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32721] ppid=32703 vsize=10661056 memory=139702713980544 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32721/stat : 32721 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986015 10916921344 6946 33554432000 4194304 4196468 140728809246784 140075455195568 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27784 KiB
[startup+0.210876 s]*
/proc/loadavg: 1.98 2.01 2.08 4/216 32721
/proc/meminfo: memFree=21074272/32770624 swapFree=67108404/67108860
[pid=32706] ppid=32703 vsize=10661056 memory=40500 CPUtime=0.33 cores=1,3,5,7
/proc/32706/stat : 32706 (java) S 32703 32706 30301 0 -1 1077944320 8221 0 0 0 31 2 0 0 20 0 15 0 96986010 10916921344 10125 33554432000 4194304 4196468 140728809246784 140728809229328 140075971161847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
/proc/32706/statm: 2665264 10125 2963 1 0 2627263 0
[pid=32706/tid=32708] ppid=32703 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/32706/task/32708/stat : 32708 (java) R 32703 32706 30301 0 -1 4202560 5206 0 0 0 19 1 0 0 20 0 15 0 96986010 10916921344 10125 33554432000 4194304 4196468 140728809246784 140075975391888 140075955242334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32709] ppid=32703 vsize=10661056 memory=345 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32709/stat : 32709 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916921344 10125 33554432000 4194304 4196468 140728809246784 140075577715600 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32710] ppid=32703 vsize=10661056 memory=139702714011129 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32710/stat : 32710 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916921344 10125 33554432000 4194304 4196468 140728809246784 140075576662800 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32711] ppid=32703 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32711/stat : 32711 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916921344 10125 33554432000 4194304 4196468 140728809246784 140075575610512 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32712] ppid=32703 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32712/stat : 32712 (java) S 32703 32706 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96986011 10916921344 10125 33554432000 4194304 4196468 140728809246784 140075574557712 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32713] ppid=32703 vsize=10661056 memory=139702713980544 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32713/stat : 32713 (java) S 32703 32706 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96986012 10916921344 10125 33554432000 4194304 4196468 140728809246784 140075530979440 140075971172994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32714] ppid=32703 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32714/stat : 32714 (java) S 32703 32706 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96986013 10916921344 10125 33554432000 4194304 4196468 140728809246784 140075529925408 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32715] ppid=32703 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32715/stat : 32715 (java) S 32703 32706 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96986013 10916921344 10125 33554432000 4194304 4196468 140728809246784 140075528873072 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32716] ppid=32703 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32716/stat : 32716 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10916921344 10125 33554432000 4194304 4196468 140728809246784 140075527821392 140075971180443 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32717] ppid=32703 vsize=10661056 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32706/task/32717/stat : 32717 (java) S 32703 32706 30301 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 15 0 96986015 10916921344 10125 33554432000 4194304 4196468 140728809246784 140075459406448 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32718] ppid=32703 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32706/task/32718/stat : 32718 (java) S 32703 32706 30301 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 15 0 96986015 10916921344 10125 33554432000 4194304 4196468 140728809246784 140075458353648 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32719] ppid=32703 vsize=10661056 memory=139702713980544 CPUtime=0.08 cores=1,3,5,7
/proc/32706/task/32719/stat : 32719 (java) S 32703 32706 30301 0 -1 1077944384 910 0 0 0 8 0 0 0 20 0 15 0 96986015 10916921344 10125 33554432000 4194304 4196468 140728809246784 140075457301360 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32720] ppid=32703 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32720/stat : 32720 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10916921344 10125 33554432000 4194304 4196468 140728809246784 140075456248800 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32721] ppid=32703 vsize=10661056 memory=139702713980544 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32721/stat : 32721 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986015 10916921344 10125 33554432000 4194304 4196468 140728809246784 140075455195568 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40500 KiB
[startup+0.310636 s]*
/proc/loadavg: 1.98 2.01 2.08 2/216 32721
/proc/meminfo: memFree=21069496/32770624 swapFree=67108404/67108860
[pid=32706] ppid=32703 vsize=10661132 memory=46828 CPUtime=0.55 cores=1,3,5,7
/proc/32706/stat : 32706 (java) S 32703 32706 30301 0 -1 1077944320 8893 0 0 0 52 3 0 0 20 0 15 0 96986010 10916999168 11707 33554432000 4194304 4196468 140728809246784 140728809229328 140075971161847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
/proc/32706/statm: 2665283 11707 3040 1 0 2627263 0
[pid=32706/tid=32708] ppid=32703 vsize=10661132 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/32706/task/32708/stat : 32708 (java) R 32703 32706 30301 0 -1 4202560 5661 0 0 0 28 2 0 0 20 0 15 0 96986010 10916999168 11707 33554432000 4194304 4196468 140728809246784 140075975399552 140075955242334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32709] ppid=32703 vsize=10661132 memory=288230609002954775 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32709/stat : 32709 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 11707 33554432000 4194304 4196468 140728809246784 140075577715600 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32710] ppid=32703 vsize=10661132 memory=139702714011102 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32710/stat : 32710 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 11707 33554432000 4194304 4196468 140728809246784 140075576662800 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32711] ppid=32703 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32711/stat : 32711 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 11707 33554432000 4194304 4196468 140728809246784 140075575610512 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32712] ppid=32703 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32712/stat : 32712 (java) S 32703 32706 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 11707 33554432000 4194304 4196468 140728809246784 140075574557712 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32713] ppid=32703 vsize=10661132 memory=139702713980544 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32713/stat : 32713 (java) S 32703 32706 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96986012 10916999168 11707 33554432000 4194304 4196468 140728809246784 140075530979440 140075971172994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32714] ppid=32703 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32714/stat : 32714 (java) S 32703 32706 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96986013 10916999168 11707 33554432000 4194304 4196468 140728809246784 140075529925408 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32715] ppid=32703 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32715/stat : 32715 (java) S 32703 32706 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96986013 10916999168 11707 33554432000 4194304 4196468 140728809246784 140075528873072 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32716] ppid=32703 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32716/stat : 32716 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10916999168 11707 33554432000 4194304 4196468 140728809246784 140075527821392 140075971180443 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32717] ppid=32703 vsize=10661132 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32706/task/32717/stat : 32717 (java) R 32703 32706 30301 0 -1 4202560 497 0 0 0 3 0 0 0 20 0 15 0 96986015 10916999168 11707 33554432000 4194304 4196468 140728809246784 140075459397280 140075950860459 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32718] ppid=32703 vsize=10661132 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/32706/task/32718/stat : 32718 (java) R 32703 32706 30301 0 -1 1077944384 354 0 0 0 5 0 0 0 20 0 15 0 96986015 10916999168 11707 33554432000 4194304 4196468 140728809246784 140075458353648 140075971172994 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32719] ppid=32703 vsize=10661132 memory=139702713980544 CPUtime=0.14 cores=1,3,5,7
/proc/32706/task/32719/stat : 32719 (java) S 32703 32706 30301 0 -1 1077944384 1014 0 0 0 14 0 0 0 20 0 15 0 96986015 10916999168 11707 33554432000 4194304 4196468 140728809246784 140075457301360 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32720] ppid=32703 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32720/stat : 32720 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10916999168 11707 33554432000 4194304 4196468 140728809246784 140075456248800 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32721] ppid=32703 vsize=10661132 memory=139702713980544 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32721/stat : 32721 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986015 10916999168 11707 33554432000 4194304 4196468 140728809246784 140075455195568 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 46828 KiB
[startup+0.700829 s]
/proc/loadavg: 1.98 2.01 2.08 5/216 32721
/proc/meminfo: memFree=21037000/32770624 swapFree=67108404/67108860
[pid=32706] ppid=32703 vsize=10664800 memory=107456 CPUtime=1.71 cores=1,3,5,7
/proc/32706/stat : 32706 (java) S 32703 32706 30301 0 -1 1077944320 20941 0 0 0 166 5 0 0 20 0 15 0 96986010 10920755200 26864 33554432000 4194304 4196468 140728809246784 140728809229328 140075971161847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
/proc/32706/statm: 2666200 26864 3102 1 0 2628180 0
[pid=32706/tid=32708] ppid=32703 vsize=10664800 memory=1840 CPUtime=0.68 cores=1,3,5,7
/proc/32706/task/32708/stat : 32708 (java) R 32703 32706 30301 0 -1 4202560 5804 0 0 0 66 2 0 0 20 0 15 0 96986010 10920755200 26864 33554432000 4194304 4196468 140728809246784 140075975400632 140075611053601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32709] ppid=32703 vsize=10664800 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32709/stat : 32709 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10920755200 26864 33554432000 4194304 4196468 140728809246784 140075577715600 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32710] ppid=32703 vsize=10664800 memory=796 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32710/stat : 32710 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10920755200 26864 33554432000 4194304 4196468 140728809246784 140075576662800 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32711] ppid=32703 vsize=10664800 memory=11008 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32711/stat : 32711 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10920755200 26864 33554432000 4194304 4196468 140728809246784 140075575610512 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32712] ppid=32703 vsize=10664800 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32712/stat : 32712 (java) S 32703 32706 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96986011 10920755200 26864 33554432000 4194304 4196468 140728809246784 140075574557712 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32713] ppid=32703 vsize=10664800 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32713/stat : 32713 (java) S 32703 32706 30301 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96986012 10920755200 26864 33554432000 4194304 4196468 140728809246784 140075530979440 140075971172994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32714] ppid=32703 vsize=10664800 memory=8568 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32714/stat : 32714 (java) S 32703 32706 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96986013 10920755200 26864 33554432000 4194304 4196468 140728809246784 140075529925408 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32715] ppid=32703 vsize=10664800 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32715/stat : 32715 (java) S 32703 32706 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96986013 10920755200 26864 33554432000 4194304 4196468 140728809246784 140075528873072 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32716] ppid=32703 vsize=10664800 memory=5372 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32716/stat : 32716 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10920755200 26864 33554432000 4194304 4196468 140728809246784 140075527821392 140075971180443 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32717] ppid=32703 vsize=10664800 memory=7302135314614015848 CPUtime=0.37 cores=1,3,5,7
/proc/32706/task/32717/stat : 32717 (java) R 32703 32706 30301 0 -1 4202560 5483 0 0 0 37 0 0 0 20 0 15 0 96986015 10920755200 26864 33554432000 4194304 4196468 140728809246784 140075459392608 140075952682707 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32718] ppid=32703 vsize=10664800 memory=7450453974481135974 CPUtime=0.39 cores=1,3,5,7
/proc/32706/task/32718/stat : 32718 (java) R 32703 32706 30301 0 -1 4202560 6599 0 0 0 39 0 0 0 20 0 15 0 96986015 10920755200 26864 33554432000 4194304 4196468 140728809246784 140075458338312 140075952706287 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32719] ppid=32703 vsize=10664800 memory=7295946094789283920 CPUtime=0.23 cores=1,3,5,7
/proc/32706/task/32719/stat : 32719 (java) S 32703 32706 30301 0 -1 1077944384 1684 0 0 0 23 0 0 0 20 0 15 0 96986015 10920755200 26864 33554432000 4194304 4196468 140728809246784 140075457301360 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32720] ppid=32703 vsize=10664800 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32720/stat : 32720 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10920755200 26864 33554432000 4194304 4196468 140728809246784 140075456248800 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32721] ppid=32703 vsize=10664800 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32721/stat : 32721 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986015 10920755200 26864 33554432000 4194304 4196468 140728809246784 140075455195568 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 10664800 KiB
Current children cumulated memory: 107456 KiB
[startup+1.50083 s]
/proc/loadavg: 1.98 2.01 2.08 5/216 32721
/proc/meminfo: memFree=20988744/32770624 swapFree=67108404/67108860
[pid=32706] ppid=32703 vsize=10661132 memory=151432 CPUtime=4.12 cores=1,3,5,7
/proc/32706/stat : 32706 (java) S 32703 32706 30301 0 -1 1077944320 38498 0 0 0 405 7 0 0 20 0 15 0 96986010 10916999168 37858 33554432000 4194304 4196468 140728809246784 140728809229328 140075971161847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
/proc/32706/statm: 2665283 37858 3107 1 0 2627263 0
[pid=32706/tid=32708] ppid=32703 vsize=10661132 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/32706/task/32708/stat : 32708 (java) R 32703 32706 30301 0 -1 4202560 5949 0 0 0 145 2 0 0 20 0 15 0 96986010 10916999168 37858 33554432000 4194304 4196468 140728809246784 140075975395600 140075610893837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32709] ppid=32703 vsize=10661132 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32709/stat : 32709 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 37858 33554432000 4194304 4196468 140728809246784 140075577715600 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32710] ppid=32703 vsize=10661132 memory=-6509546260019855299 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32710/stat : 32710 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 37858 33554432000 4194304 4196468 140728809246784 140075576662800 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32711] ppid=32703 vsize=10661132 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32711/stat : 32711 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 37858 33554432000 4194304 4196468 140728809246784 140075575610512 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32712] ppid=32703 vsize=10661132 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32712/stat : 32712 (java) S 32703 32706 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 37858 33554432000 4194304 4196468 140728809246784 140075574557712 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32713] ppid=32703 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32713/stat : 32713 (java) S 32703 32706 30301 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 96986012 10916999168 37858 33554432000 4194304 4196468 140728809246784 140075530979440 140075971172994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32714] ppid=32703 vsize=10661132 memory=7811589642501320546 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32714/stat : 32714 (java) S 32703 32706 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96986013 10916999168 37858 33554432000 4194304 4196468 140728809246784 140075529925408 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32715] ppid=32703 vsize=10661132 memory=6442517281453002838 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32715/stat : 32715 (java) S 32703 32706 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96986013 10916999168 37858 33554432000 4194304 4196468 140728809246784 140075528873072 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32716] ppid=32703 vsize=10661132 memory=7090988413152880236 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32716/stat : 32716 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10916999168 37858 33554432000 4194304 4196468 140728809246784 140075527821392 140075971180443 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32717] ppid=32703 vsize=10661132 memory=8298057415962252151 CPUtime=1.17 cores=1,3,5,7
/proc/32706/task/32717/stat : 32717 (java) R 32703 32706 30301 0 -1 4202560 13617 0 0 0 116 1 0 0 20 0 15 0 96986015 10916999168 37858 33554432000 4194304 4196468 140728809246784 140075459405584 140075952706023 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32718] ppid=32703 vsize=10661132 memory=0 CPUtime=1.19 cores=1,3,5,7
/proc/32706/task/32718/stat : 32718 (java) R 32703 32706 30301 0 -1 4202560 15702 0 0 0 118 1 0 0 20 0 15 0 96986015 10916999168 37858 33554432000 4194304 4196468 140728809246784 140075458346136 140075954647797 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32719] ppid=32703 vsize=10661132 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/32706/task/32719/stat : 32719 (java) S 32703 32706 30301 0 -1 1077944384 1845 0 0 0 24 1 0 0 20 0 15 0 96986015 10916999168 37858 33554432000 4194304 4196468 140728809246784 140075457301360 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32720] ppid=32703 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32720/stat : 32720 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10916999168 37858 33554432000 4194304 4196468 140728809246784 140075456248800 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32721] ppid=32703 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32721/stat : 32721 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10916999168 37858 33554432000 4194304 4196468 140728809246784 140075455195568 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
Current children cumulated CPU time: 4.12 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 151432 KiB
[startup+2.20629 s]
# the end of solver process 32706 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.34072 s, system=0.083307 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60097 s]
/proc/loadavg: 1.98 2.01 2.08 5/216 32721
/proc/meminfo: memFree=20988744/32770624 swapFree=67108404/67108860
[pid=32706] ppid=32703 vsize=10661132 memory=157576 CPUtime=4.42 cores=1,3,5,7
/proc/32706/stat : 32706 (java) S 32703 32706 30301 0 -1 1077944320 38504 0 0 0 435 7 0 0 20 0 15 0 96986010 10916999168 39394 33554432000 4194304 4196468 140728809246784 140728809229328 140075971161847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
/proc/32706/statm: 2665283 39394 3107 1 0 2627263 0
[pid=32706/tid=32708] ppid=32703 vsize=10661132 memory=0 CPUtime=1.57 cores=1,3,5,7
/proc/32706/task/32708/stat : 32708 (java) R 32703 32706 30301 0 -1 4202560 5952 0 0 0 155 2 0 0 20 0 15 0 96986010 10916999168 39394 33554432000 4194304 4196468 140728809246784 140075975395600 140075611787078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32709] ppid=32703 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32709/stat : 32709 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 39394 33554432000 4194304 4196468 140728809246784 140075577715600 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32710] ppid=32703 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32710/stat : 32710 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 39394 33554432000 4194304 4196468 140728809246784 140075576662800 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32711] ppid=32703 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32711/stat : 32711 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 39394 33554432000 4194304 4196468 140728809246784 140075575610512 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32712] ppid=32703 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32712/stat : 32712 (java) S 32703 32706 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 39394 33554432000 4194304 4196468 140728809246784 140075574557712 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32713] ppid=32703 vsize=10661132 memory=139702713982257 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32713/stat : 32713 (java) S 32703 32706 30301 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 96986012 10916999168 39394 33554432000 4194304 4196468 140728809246784 140075530979440 140075971172994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32714] ppid=32703 vsize=10661132 memory=7594588953432255851 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32714/stat : 32714 (java) S 32703 32706 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96986013 10916999168 39394 33554432000 4194304 4196468 140728809246784 140075529925408 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32715] ppid=32703 vsize=10661132 memory=6082514196445294695 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32715/stat : 32715 (java) S 32703 32706 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96986013 10916999168 39394 33554432000 4194304 4196468 140728809246784 140075528873072 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32716] ppid=32703 vsize=10661132 memory=7300704776819335744 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32716/stat : 32716 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10916999168 39394 33554432000 4194304 4196468 140728809246784 140075527821392 140075971180443 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32717] ppid=32703 vsize=10661132 memory=0 CPUtime=1.27 cores=1,3,5,7
/proc/32706/task/32717/stat : 32717 (java) R 32703 32706 30301 0 -1 4202560 13617 0 0 0 126 1 0 0 20 0 15 0 96986015 10916999168 39394 33554432000 4194304 4196468 140728809246784 140075459392608 140075952705960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32718] ppid=32703 vsize=10661132 memory=280203867856648 CPUtime=1.29 cores=1,3,5,7
/proc/32706/task/32718/stat : 32718 (java) R 32703 32706 30301 0 -1 4202560 15705 0 0 0 128 1 0 0 20 0 15 0 96986015 10916999168 39394 33554432000 4194304 4196468 140728809246784 140075458339408 140075951861660 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32719] ppid=32703 vsize=10661132 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/32706/task/32719/stat : 32719 (java) S 32703 32706 30301 0 -1 1077944384 1845 0 0 0 24 1 0 0 20 0 15 0 96986015 10916999168 39394 33554432000 4194304 4196468 140728809246784 140075457301360 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32720] ppid=32703 vsize=10661132 memory=-5921431000321636112 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32720/stat : 32720 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10916999168 39394 33554432000 4194304 4196468 140728809246784 140075456248800 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32721] ppid=32703 vsize=10661132 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32721/stat : 32721 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10916999168 39394 33554432000 4194304 4196468 140728809246784 140075455195568 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
Current children cumulated CPU time: 4.42 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 157576 KiB
[startup+2.00072 s]*
/proc/loadavg: 1.98 2.01 2.08 3/216 32721
/proc/meminfo: memFree=20931900/32770624 swapFree=67108404/67108860
[pid=32706] ppid=32703 vsize=10661132 memory=182508 CPUtime=5.22 cores=1,3,5,7
/proc/32706/stat : 32706 (java) S 32703 32706 30301 0 -1 1077944320 38709 0 0 0 515 7 0 0 20 0 15 0 96986010 10916999168 45627 33554432000 4194304 4196468 140728809246784 140728809229328 140075971161847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
/proc/32706/statm: 2665283 45627 3109 1 0 2627263 0
[pid=32706/tid=32708] ppid=32703 vsize=10661132 memory=5450919713671312938 CPUtime=1.99 cores=1,3,5,7
/proc/32706/task/32708/stat : 32708 (java) R 32703 32706 30301 0 -1 4202560 5997 0 0 0 196 3 0 0 20 0 15 0 96986010 10916999168 45627 33554432000 4194304 4196468 140728809246784 140075975398536 140075608537158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32709] ppid=32703 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32709/stat : 32709 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 45627 33554432000 4194304 4196468 140728809246784 140075577715600 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32710] ppid=32703 vsize=10661132 memory=139702713993792 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32710/stat : 32710 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 45627 33554432000 4194304 4196468 140728809246784 140075576662800 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32711] ppid=32703 vsize=10661132 memory=11008 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32711/stat : 32711 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 45627 33554432000 4194304 4196468 140728809246784 140075575610512 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32712] ppid=32703 vsize=10661132 memory=2321103359604701494 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32712/stat : 32712 (java) S 32703 32706 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 45627 33554432000 4194304 4196468 140728809246784 140075574557712 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32713] ppid=32703 vsize=10661132 memory=2320954994516904889 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32713/stat : 32713 (java) S 32703 32706 30301 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 96986012 10916999168 45627 33554432000 4194304 4196468 140728809246784 140075530979440 140075971172994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32714] ppid=32703 vsize=10661132 memory=3546075861196812342 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32714/stat : 32714 (java) S 32703 32706 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96986013 10916999168 45627 33554432000 4194304 4196468 140728809246784 140075529925408 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32715] ppid=32703 vsize=10661132 memory=6154538792250073449 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32715/stat : 32715 (java) S 32703 32706 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96986013 10916999168 45627 33554432000 4194304 4196468 140728809246784 140075528873072 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32716] ppid=32703 vsize=10661132 memory=5859271421084063080 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32716/stat : 32716 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10916999168 45627 33554432000 4194304 4196468 140728809246784 140075527821392 140075971180443 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32717] ppid=32703 vsize=10661132 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/32706/task/32717/stat : 32717 (java) R 32703 32706 30301 0 -1 4202560 13695 0 0 0 146 1 0 0 20 0 15 0 96986015 10916999168 45627 33554432000 4194304 4196468 140728809246784 140075459406448 140075955122644 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32718] ppid=32703 vsize=10661132 memory=-1 CPUtime=1.48 cores=1,3,5,7
/proc/32706/task/32718/stat : 32718 (java) S 32703 32706 30301 0 -1 1077944384 15751 0 0 0 147 1 0 0 20 0 15 0 96986015 10916999168 45627 33554432000 4194304 4196468 140728809246784 140075458353648 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32719] ppid=32703 vsize=10661132 memory=279405316945328 CPUtime=0.25 cores=1,3,5,7
/proc/32706/task/32719/stat : 32719 (java) S 32703 32706 30301 0 -1 1077944384 1881 0 0 0 24 1 0 0 20 0 15 0 96986015 10916999168 45627 33554432000 4194304 4196468 140728809246784 140075457301360 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32720] ppid=32703 vsize=10661132 memory=139702602630719 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32720/stat : 32720 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10916999168 45627 33554432000 4194304 4196468 140728809246784 140075456248800 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32721] ppid=32703 vsize=10661132 memory=279405316613600 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32721/stat : 32721 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10916999168 45627 33554432000 4194304 4196468 140728809246784 140075455195568 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
Current children cumulated CPU time: 5.22 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 182508 KiB
[startup+2.1102 s]
/proc/loadavg: 1.98 2.01 2.08 3/216 32721
/proc/meminfo: memFree=20931900/32770624 swapFree=67108404/67108860
[pid=32706] ppid=32703 vsize=10661132 memory=188668 CPUtime=5.32 cores=1,3,5,7
/proc/32706/stat : 32706 (java) S 32703 32706 30301 0 -1 1077944320 39070 0 0 0 525 7 0 0 20 0 15 0 96986010 10916999168 47167 33554432000 4194304 4196468 140728809246784 140728809229328 140075971161847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
/proc/32706/statm: 2665283 47167 3109 1 0 2627263 0
[pid=32706/tid=32708] ppid=32703 vsize=10661132 memory=0 CPUtime=2.09 cores=1,3,5,7
/proc/32706/task/32708/stat : 32708 (java) R 32703 32706 30301 0 -1 4202560 6194 0 0 0 206 3 0 0 20 0 15 0 96986010 10916999168 47167 33554432000 4194304 4196468 140728809246784 140075975398536 140075608537193 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32709] ppid=32703 vsize=10661132 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32709/stat : 32709 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 47167 33554432000 4194304 4196468 140728809246784 140075577715600 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32710] ppid=32703 vsize=10661132 memory=-6509546260019855299 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32710/stat : 32710 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 47167 33554432000 4194304 4196468 140728809246784 140075576662800 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32711] ppid=32703 vsize=10661132 memory=32484 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32711/stat : 32711 (java) S 32703 32706 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 47167 33554432000 4194304 4196468 140728809246784 140075575610512 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32712] ppid=32703 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32712/stat : 32712 (java) S 32703 32706 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96986011 10916999168 47167 33554432000 4194304 4196468 140728809246784 140075574557712 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32713] ppid=32703 vsize=10661132 memory=8740 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32713/stat : 32713 (java) S 32703 32706 30301 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 96986012 10916999168 47167 33554432000 4194304 4196468 140728809246784 140075530979440 140075971172994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32714] ppid=32703 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32714/stat : 32714 (java) S 32703 32706 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96986013 10916999168 47167 33554432000 4194304 4196468 140728809246784 140075529925408 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32715] ppid=32703 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32715/stat : 32715 (java) S 32703 32706 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96986013 10916999168 47167 33554432000 4194304 4196468 140728809246784 140075528873072 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32716] ppid=32703 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32716/stat : 32716 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10916999168 47167 33554432000 4194304 4196468 140728809246784 140075527821392 140075971180443 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32717] ppid=32703 vsize=10661132 memory=1792 CPUtime=1.47 cores=1,3,5,7
/proc/32706/task/32717/stat : 32717 (java) S 32703 32706 30301 0 -1 1077944384 13696 0 0 0 146 1 0 0 20 0 15 0 96986015 10916999168 47167 33554432000 4194304 4196468 140728809246784 140075459406448 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32718] ppid=32703 vsize=10661132 memory=644 CPUtime=1.48 cores=1,3,5,7
/proc/32706/task/32718/stat : 32718 (java) S 32703 32706 30301 0 -1 1077944384 15754 0 0 0 147 1 0 0 20 0 15 0 96986015 10916999168 47167 33554432000 4194304 4196468 140728809246784 140075458353648 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32719] ppid=32703 vsize=10661132 memory=956 CPUtime=0.25 cores=1,3,5,7
/proc/32706/task/32719/stat : 32719 (java) S 32703 32706 30301 0 -1 1077944384 2032 0 0 0 24 1 0 0 20 0 15 0 96986015 10916999168 47167 33554432000 4194304 4196468 140728809246784 140075457301360 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32720] ppid=32703 vsize=10661132 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32720/stat : 32720 (java) S 32703 32706 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96986015 10916999168 47167 33554432000 4194304 4196468 140728809246784 140075456248800 140075971172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
[pid=32706/tid=32721] ppid=32703 vsize=10661132 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/32706/task/32721/stat : 32721 (java) S 32703 32706 30301 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 96986015 10916999168 47167 33554432000 4194304 4196468 140728809246784 140075455195568 140075971172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140728809251957 140728809252105 140728809252105 140728809254863 0
Current children cumulated CPU time: 5.32 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 188668 KiB
Child status: 0
Real time (s): 2.20633
CPU time (s): 5.42402
CPU user time (s): 5.34072
CPU system time (s): 0.083307
CPU usage (%): 245.839
Max. virtual memory (cumulated for all children) (KiB): 10664800
Max. memory (cumulated for all children) (KiB): 188668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.34072
system time used= 0.083307
maximum resident set size= 195136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39431
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= 1486
involuntary context switches= 8
# summary of solver processes directly reported to runsolver:
# pid: 32706
# total CPU time (s): 5.42402
# total CPU user time (s): 5.34072
# total CPU system time (s): 0.083307
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045503 second user time and 0.059503 second system time
The end