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 (12656 MiB free)
memory of node 1: 16384 MiB (11826 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405849-1569403519/watcher-4405849-1569403519 -o /var/tmp/evaluation-result-4405849-1569403519/solver-4405849-1569403519 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node126-1569396632-21640 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1231058056 HOME/instance-4405849-1569403519.xml
running on 4 cores: 0,2,4,6
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=23813, runsolver pid=23810
Current StackSize limit: 8192 KiB
[startup+0.100712 s]*
/proc/loadavg: 1.89 1.90 1.98 4/230 23829
/proc/meminfo: memFree=25053316/32770624 swapFree=66997280/67108860
[pid=23813] ppid=23810 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23813/stat : 23813 (xcsp3-exec) S 23810 23813 21609 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516619610 115843072 363 33554432000 4194304 5098028 140734214566992 140734214565096 140206986445436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39858176 140734214574934 140734214575193 140734214575193 140734214578118 0
/proc/23813/statm: 28282 363 304 221 0 87 0
[pid=23815] ppid=23813 vsize=15144776 memory=28804 CPUtime=0.13 cores=0,2,4,6
/proc/23815/stat : 23815 (java) S 23813 23813 21609 0 -1 1077944320 5652 0 0 0 12 1 0 0 20 0 15 0 516619610 15508250624 7201 33554432000 4194304 4196468 140724356329136 140724356311680 140088550080247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
/proc/23815/statm: 3786194 7201 3146 1 0 3748377 0
[pid=23815/tid=23816] ppid=23813 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/23815/task/23816/stat : 23816 (java) R 23813 23813 21609 0 -1 4202560 3563 0 0 0 9 0 0 0 20 0 15 0 516619611 15508250624 7267 33554432000 4194304 4196468 140724356329136 140088554310432 140088159890926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23817] ppid=23813 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23817/stat : 23817 (java) S 23813 23813 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516619611 15508250624 7267 33554432000 4194304 4196468 140724356329136 140088486316304 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23818] ppid=23813 vsize=15144776 memory=3473601338992117408 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23818/stat : 23818 (java) S 23813 23813 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516619611 15508250624 7267 33554432000 4194304 4196468 140724356329136 140088485263760 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23819] ppid=23813 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23819/stat : 23819 (java) S 23813 23813 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516619611 15508250624 7267 33554432000 4194304 4196468 140724356329136 140088484211216 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23820] ppid=23813 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23820/stat : 23820 (java) S 23813 23813 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516619611 15508250624 7267 33554432000 4194304 4196468 140724356329136 140088483158672 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23821] ppid=23813 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23821/stat : 23821 (java) S 23813 23813 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516619613 15508250624 7267 33554432000 4194304 4196468 140724356329136 140088085883376 140088550091394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23822] ppid=23813 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23822/stat : 23822 (java) S 23813 23813 21609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516619613 15508250624 7267 33554432000 4194304 4196468 140724356329136 140088084829600 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23823] ppid=23813 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23823/stat : 23823 (java) S 23813 23813 21609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516619613 15508250624 7267 33554432000 4194304 4196468 140724356329136 140088083777008 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23824] ppid=23813 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23824/stat : 23824 (java) S 23813 23813 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516619616 15508250624 7267 33554432000 4194304 4196468 140724356329136 140088082725584 140088550098843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23825] ppid=23813 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23825/stat : 23825 (java) R 23813 23813 21609 0 -1 4202560 480 0 0 0 0 0 0 0 20 0 15 0 516619616 15508250624 7267 33554432000 4194304 4196468 140724356329136 140088081653080 140088527913104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23826] ppid=23813 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23826/stat : 23826 (java) R 23813 23813 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516619616 15508250624 7267 33554432000 4194304 4196468 140724356329136 140088080619632 140088550091394 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23827] ppid=23813 vsize=15144776 memory=140541462201984 CPUtime=0.02 cores=0,2,4,6
/proc/23815/task/23827/stat : 23827 (java) R 23813 23813 21609 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 15 0 516619616 15508250624 7267 33554432000 4194304 4196468 140724356329136 140088079564104 140088542317374 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23828] ppid=23813 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23828/stat : 23828 (java) S 23813 23813 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516619616 15508250624 7267 33554432000 4194304 4196468 140724356329136 140088078514784 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23829] ppid=23813 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23829/stat : 23829 (java) S 23813 23813 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516619616 15508250624 7267 33554432000 4194304 4196468 140724356329136 140088077462320 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30256 KiB
[startup+0.210776 s]*
/proc/loadavg: 1.89 1.90 1.98 4/230 23829
/proc/meminfo: memFree=25040600/32770624 swapFree=66997280/67108860
[pid=23813] ppid=23810 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23813/stat : 23813 (xcsp3-exec) S 23810 23813 21609 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516619610 115843072 363 33554432000 4194304 5098028 140734214566992 140734214565096 140206986445436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39858176 140734214574934 140734214575193 140734214575193 140734214578118 0
/proc/23813/statm: 28282 363 304 221 0 87 0
[pid=23815] ppid=23813 vsize=15144776 memory=41104 CPUtime=0.34 cores=0,2,4,6
/proc/23815/stat : 23815 (java) S 23813 23813 21609 0 -1 1077944320 9484 0 0 0 31 3 0 0 20 0 15 0 516619610 15508250624 10276 33554432000 4194304 4196468 140724356329136 140724356311680 140088550080247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
/proc/23815/statm: 3786194 10276 3316 1 0 3748377 0
[pid=23815/tid=23816] ppid=23813 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/23815/task/23816/stat : 23816 (java) R 23813 23813 21609 0 -1 4202560 6604 0 0 0 18 2 0 0 20 0 15 0 516619611 15508250624 10276 33554432000 4194304 4196468 140724356329136 140088554313696 140088159913514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23817] ppid=23813 vsize=15144776 memory=8998 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23817/stat : 23817 (java) S 23813 23813 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516619611 15508250624 10276 33554432000 4194304 4196468 140724356329136 140088486316304 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23818] ppid=23813 vsize=15144776 memory=140541466082975 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23818/stat : 23818 (java) S 23813 23813 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516619611 15508250624 10276 33554432000 4194304 4196468 140724356329136 140088485263760 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23819] ppid=23813 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23819/stat : 23819 (java) S 23813 23813 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516619611 15508250624 10276 33554432000 4194304 4196468 140724356329136 140088484211216 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23820] ppid=23813 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23820/stat : 23820 (java) S 23813 23813 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516619611 15508250624 10276 33554432000 4194304 4196468 140724356329136 140088483158672 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23821] ppid=23813 vsize=15144776 memory=140541462201984 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23821/stat : 23821 (java) S 23813 23813 21609 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516619613 15508250624 10276 33554432000 4194304 4196468 140724356329136 140088085883376 140088550091394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23822] ppid=23813 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23822/stat : 23822 (java) S 23813 23813 21609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516619613 15508250624 10276 33554432000 4194304 4196468 140724356329136 140088084829600 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23823] ppid=23813 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23823/stat : 23823 (java) S 23813 23813 21609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516619613 15508250624 10276 33554432000 4194304 4196468 140724356329136 140088083777008 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23824] ppid=23813 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23824/stat : 23824 (java) S 23813 23813 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516619616 15508250624 10276 33554432000 4194304 4196468 140724356329136 140088082725584 140088550098843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23825] ppid=23813 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23815/task/23825/stat : 23825 (java) S 23813 23813 21609 0 -1 1077944384 546 0 0 0 2 0 0 0 20 0 15 0 516619616 15508250624 10276 33554432000 4194304 4196468 140724356329136 140088081672176 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23826] ppid=23813 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23815/task/23826/stat : 23826 (java) S 23813 23813 21609 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 15 0 516619616 15508250624 10276 33554432000 4194304 4196468 140724356329136 140088080619632 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23827] ppid=23813 vsize=15144776 memory=140541462201984 CPUtime=0.08 cores=0,2,4,6
/proc/23815/task/23827/stat : 23827 (java) R 23813 23813 21609 0 -1 4202560 766 0 0 0 8 0 0 0 20 0 15 0 516619616 15508250624 10276 33554432000 4194304 4196468 140724356329136 140088079567088 140088529034639 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23828] ppid=23813 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23828/stat : 23828 (java) S 23813 23813 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516619616 15508250624 10276 33554432000 4194304 4196468 140724356329136 140088078514784 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23829] ppid=23813 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23829/stat : 23829 (java) S 23813 23813 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516619616 15508250624 10276 33554432000 4194304 4196468 140724356329136 140088077462320 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42556 KiB
[startup+0.311076 s]*
/proc/loadavg: 1.89 1.90 1.98 4/230 23829
/proc/meminfo: memFree=25032720/32770624 swapFree=66997280/67108860
[pid=23813] ppid=23810 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23813/stat : 23813 (xcsp3-exec) S 23810 23813 21609 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516619610 115843072 363 33554432000 4194304 5098028 140734214566992 140734214565096 140206986445436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39858176 140734214574934 140734214575193 140734214575193 140734214578118 0
/proc/23813/statm: 28282 363 304 221 0 87 0
[pid=23815] ppid=23813 vsize=15149032 memory=49820 CPUtime=0.54 cores=0,2,4,6
/proc/23815/stat : 23815 (java) S 23813 23813 21609 0 -1 1077944320 10812 0 0 0 50 4 0 0 20 0 15 0 516619610 15512608768 12455 33554432000 4194304 4196468 140724356329136 140724356311680 140088550080247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
/proc/23815/statm: 3787258 12455 3355 1 0 3748377 0
[pid=23815/tid=23816] ppid=23813 vsize=15149032 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/23815/task/23816/stat : 23816 (java) R 23813 23813 21609 0 -1 4202560 7751 0 0 0 27 2 0 0 20 0 15 0 516619611 15512608768 12455 33554432000 4194304 4196468 140724356329136 140088554314032 140088550102173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23817] ppid=23813 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23817/stat : 23817 (java) S 23813 23813 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516619611 15512608768 12455 33554432000 4194304 4196468 140724356329136 140088486316304 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23818] ppid=23813 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23818/stat : 23818 (java) S 23813 23813 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516619611 15512608768 12455 33554432000 4194304 4196468 140724356329136 140088485263760 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23819] ppid=23813 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23819/stat : 23819 (java) S 23813 23813 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516619611 15512608768 12455 33554432000 4194304 4196468 140724356329136 140088484211216 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23820] ppid=23813 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23820/stat : 23820 (java) S 23813 23813 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516619611 15512608768 12455 33554432000 4194304 4196468 140724356329136 140088483158672 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23821] ppid=23813 vsize=15149032 memory=-6945283301418975391 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23821/stat : 23821 (java) S 23813 23813 21609 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516619613 15512608768 12455 33554432000 4194304 4196468 140724356329136 140088085883376 140088550091394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23822] ppid=23813 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23822/stat : 23822 (java) S 23813 23813 21609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516619613 15512608768 12455 33554432000 4194304 4196468 140724356329136 140088084829600 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23823] ppid=23813 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23823/stat : 23823 (java) S 23813 23813 21609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516619613 15512608768 12455 33554432000 4194304 4196468 140724356329136 140088083777008 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23824] ppid=23813 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23824/stat : 23824 (java) S 23813 23813 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516619616 15512608768 12455 33554432000 4194304 4196468 140724356329136 140088082725584 140088550098843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23825] ppid=23813 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/23815/task/23825/stat : 23825 (java) R 23813 23813 21609 0 -1 4202560 635 0 0 0 4 0 0 0 20 0 15 0 516619616 15512608768 12455 33554432000 4194304 4196468 140724356329136 140088081672176 140088535206091 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23826] ppid=23813 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23815/task/23826/stat : 23826 (java) S 23813 23813 21609 0 -1 1077944384 274 0 0 0 4 0 0 0 20 0 15 0 516619616 15512608768 12455 33554432000 4194304 4196468 140724356329136 140088080619632 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23827] ppid=23813 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23815/task/23827/stat : 23827 (java) S 23813 23813 21609 0 -1 1077944384 849 0 0 0 12 0 0 0 20 0 15 0 516619616 15512608768 12455 33554432000 4194304 4196468 140724356329136 140088079567088 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23828] ppid=23813 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23828/stat : 23828 (java) S 23813 23813 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516619616 15512608768 12455 33554432000 4194304 4196468 140724356329136 140088078514784 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23829] ppid=23813 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23829/stat : 23829 (java) S 23813 23813 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516619616 15512608768 12455 33554432000 4194304 4196468 140724356329136 140088077462320 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51272 KiB
[startup+0.701757 s]
/proc/loadavg: 1.89 1.90 1.98 4/230 23829
/proc/meminfo: memFree=25010316/32770624 swapFree=66997280/67108860
[pid=23813] ppid=23810 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23813/stat : 23813 (xcsp3-exec) S 23810 23813 21609 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516619610 115843072 363 33554432000 4194304 5098028 140734214566992 140734214565096 140206986445436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39858176 140734214574934 140734214575193 140734214575193 140734214578118 0
/proc/23813/statm: 28282 363 304 221 0 87 0
[pid=23815] ppid=23813 vsize=15151156 memory=137192 CPUtime=1.73 cores=0,2,4,6
/proc/23815/stat : 23815 (java) S 23813 23813 21609 0 -1 1077944320 14212 0 0 0 166 7 0 0 20 0 15 0 516619610 15514783744 34298 33554432000 4194304 4196468 140724356329136 140724356311680 140088550080247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
/proc/23815/statm: 3787789 34298 3445 1 0 3748889 0
[pid=23815/tid=23816] ppid=23813 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/23815/task/23816/stat : 23816 (java) R 23813 23813 21609 0 -1 4202560 8331 0 0 0 63 4 0 0 20 0 15 0 516619611 15514783744 34298 33554432000 4194304 4196468 140724356329136 140088554314384 140088163165451 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23817] ppid=23813 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23817/stat : 23817 (java) S 23813 23813 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516619611 15514783744 34298 33554432000 4194304 4196468 140724356329136 140088486316304 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23818] ppid=23813 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23818/stat : 23818 (java) S 23813 23813 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516619611 15514783744 34298 33554432000 4194304 4196468 140724356329136 140088485263760 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23819] ppid=23813 vsize=15151156 memory=740 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23819/stat : 23819 (java) S 23813 23813 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516619611 15514783744 34298 33554432000 4194304 4196468 140724356329136 140088484211216 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23820] ppid=23813 vsize=15151156 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23820/stat : 23820 (java) S 23813 23813 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516619611 15514783744 34298 33554432000 4194304 4196468 140724356329136 140088483158672 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23821] ppid=23813 vsize=15151156 memory=9564 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23821/stat : 23821 (java) S 23813 23813 21609 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516619613 15514783744 34298 33554432000 4194304 4196468 140724356329136 140088085883376 140088550091394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23822] ppid=23813 vsize=15151156 memory=4076 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23822/stat : 23822 (java) S 23813 23813 21609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516619613 15514783744 34298 33554432000 4194304 4196468 140724356329136 140088084829600 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23823] ppid=23813 vsize=15151156 memory=2836 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23823/stat : 23823 (java) S 23813 23813 21609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516619613 15514783744 34298 33554432000 4194304 4196468 140724356329136 140088083777008 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23824] ppid=23813 vsize=15151156 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23824/stat : 23824 (java) S 23813 23813 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516619616 15514783744 34298 33554432000 4194304 4196468 140724356329136 140088082725584 140088550098843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23825] ppid=23813 vsize=15151156 memory=1732 CPUtime=0.38 cores=0,2,4,6
/proc/23815/task/23825/stat : 23825 (java) R 23813 23813 21609 0 -1 4202560 1621 0 0 0 38 0 0 0 20 0 15 0 516619616 15514783744 34298 33554432000 4194304 4196468 140724356329136 140088081658056 140088534467728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23826] ppid=23813 vsize=15151156 memory=6140 CPUtime=0.35 cores=0,2,4,6
/proc/23815/task/23826/stat : 23826 (java) R 23813 23813 21609 0 -1 4202560 1230 0 0 0 35 0 0 0 20 0 15 0 516619616 15514783744 34298 33554432000 4194304 4196468 140724356329136 140088080601168 140088529269696 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23827] ppid=23813 vsize=15151156 memory=772 CPUtime=0.28 cores=0,2,4,6
/proc/23815/task/23827/stat : 23827 (java) S 23813 23813 21609 0 -1 1077944384 1721 0 0 0 28 0 0 0 20 0 15 0 516619616 15514783744 34298 33554432000 4194304 4196468 140724356329136 140088079567088 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23828] ppid=23813 vsize=15151156 memory=952 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23828/stat : 23828 (java) S 23813 23813 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516619616 15514783744 34298 33554432000 4194304 4196468 140724356329136 140088078514784 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23829] ppid=23813 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23829/stat : 23829 (java) S 23813 23813 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516619616 15514783744 34298 33554432000 4194304 4196468 140724356329136 140088077462320 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 138644 KiB
[startup+1.50091 s]
/proc/loadavg: 1.89 1.90 1.98 5/230 23829
/proc/meminfo: memFree=24889756/32770624 swapFree=66997280/67108860
[pid=23813] ppid=23810 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23813/stat : 23813 (xcsp3-exec) S 23810 23813 21609 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516619610 115843072 363 33554432000 4194304 5098028 140734214566992 140734214565096 140206986445436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39858176 140734214574934 140734214575193 140734214575193 140734214578118 0
/proc/23813/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/23815/task/23823/stat : 23823 (java) S 23813 23813 21609 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 516619613 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088083777024 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23824] ppid=23813 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23824/stat : 23824 (java) S 23813 23813 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088082725584 140088550098843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23825] ppid=23813 vsize=15151156 memory=1452 CPUtime=3.17 cores=0,2,4,6
/proc/23815/task/23825/stat : 23825 (java) S 23813 23813 21609 0 -1 1077944384 17629 0 0 0 315 2 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088081672176 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23826] ppid=23813 vsize=15151156 memory=3872204 CPUtime=3.56 cores=0,2,4,6
/proc/23815/task/23826/stat : 23826 (java) S 23813 23813 21609 0 -1 1077944384 16307 0 0 0 353 3 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088080619632 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23827] ppid=23813 vsize=15151156 memory=1398722017469774279 CPUtime=0.83 cores=0,2,4,6
/proc/23815/task/23827/stat : 23827 (java) S 23813 23813 21609 0 -1 1077944384 10026 0 0 0 81 2 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088079567088 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23828] ppid=23813 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23828/stat : 23828 (java) S 23813 23813 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088078514784 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23829] ppid=23813 vsize=15151156 memory=1452 CPUtime=1.46 cores=0,2,4,6
/proc/23815/task/23829/stat : 23829 (java) S 23813 23813 21609 0 -1 1077944384 1834 0 0 0 74 72 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088077462320 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
Current children cumulated CPU time: 2348.81 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 3873656 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/231 24148
/proc/meminfo: memFree=15443868/32770624 swapFree=66997300/67108860
[pid=23813] ppid=23810 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23813/stat : 23813 (xcsp3-exec) S 23810 23813 21609 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516619610 115843072 363 33554432000 4194304 5098028 140734214566992 140734214565096 140206986445436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39858176 140734214574934 140734214575193 140734214575193 140734214578118 0
/proc/23813/statm: 28282 363 304 221 0 87 0
[pid=23815] ppid=23813 vsize=15151156 memory=3872204 CPUtime=2408.85 cores=0,2,4,6
/proc/23815/stat : 23815 (java) S 23813 23813 21609 0 -1 1077944320 154018 0 0 0 240431 454 0 0 20 0 15 0 516619610 15514783744 968051 33554432000 4194304 4196468 140724356329136 140724356311680 140088550080247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
/proc/23815/statm: 3787789 968051 3537 1 0 3748889 0
[pid=23815/tid=23816] ppid=23813 vsize=15151156 memory=3872204 CPUtime=2376.14 cores=0,2,4,6
/proc/23815/task/23816/stat : 23816 (java) R 23813 23813 21609 0 -1 4202560 83746 0 0 0 237595 19 0 0 20 0 15 0 516619611 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088554316696 140088167567144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23817] ppid=23813 vsize=15151156 memory=3872204 CPUtime=5.86 cores=0,2,4,6
/proc/23815/task/23817/stat : 23817 (java) S 23813 23813 21609 0 -1 1077944384 3344 0 0 0 496 90 0 0 20 0 15 0 516619611 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088486316304 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23818] ppid=23813 vsize=15151156 memory=1452 CPUtime=5.84 cores=0,2,4,6
/proc/23815/task/23818/stat : 23818 (java) S 23813 23813 21609 0 -1 1077944384 3376 0 0 0 491 93 0 0 20 0 15 0 516619611 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088485263760 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23819] ppid=23813 vsize=15151156 memory=7597972112474923349 CPUtime=5.84 cores=0,2,4,6
/proc/23815/task/23819/stat : 23819 (java) S 23813 23813 21609 0 -1 1077944384 3780 0 0 0 492 92 0 0 20 0 15 0 516619611 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088484211216 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23820] ppid=23813 vsize=15151156 memory=6791534058613427641 CPUtime=5.81 cores=0,2,4,6
/proc/23815/task/23820/stat : 23820 (java) S 23813 23813 21609 0 -1 1077944384 4346 0 0 0 488 93 0 0 20 0 15 0 516619611 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088483158672 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23821] ppid=23813 vsize=15151156 memory=1540 CPUtime=0.23 cores=0,2,4,6
/proc/23815/task/23821/stat : 23821 (java) S 23813 23813 21609 0 -1 1077944384 8259 0 0 0 20 3 0 0 20 0 15 0 516619613 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088085883376 140088550091394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23822] ppid=23813 vsize=15151156 memory=3872204 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23822/stat : 23822 (java) S 23813 23813 21609 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 516619613 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088084829664 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23823] ppid=23813 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23823/stat : 23823 (java) S 23813 23813 21609 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 516619613 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088083777024 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23824] ppid=23813 vsize=15151156 memory=928 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23824/stat : 23824 (java) S 23813 23813 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088082725584 140088550098843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23825] ppid=23813 vsize=15151156 memory=1688 CPUtime=3.17 cores=0,2,4,6
/proc/23815/task/23825/stat : 23825 (java) S 23813 23813 21609 0 -1 1077944384 17634 0 0 0 315 2 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088081672176 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23826] ppid=23813 vsize=15151156 memory=1452 CPUtime=3.56 cores=0,2,4,6
/proc/23815/task/23826/stat : 23826 (java) S 23813 23813 21609 0 -1 1077944384 16309 0 0 0 353 3 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088080619632 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23827] ppid=23813 vsize=15151156 memory=3872204 CPUtime=0.83 cores=0,2,4,6
/proc/23815/task/23827/stat : 23827 (java) S 23813 23813 21609 0 -1 1077944384 10034 0 0 0 81 2 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088079567088 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23828] ppid=23813 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23828/stat : 23828 (java) S 23813 23813 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088078514784 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23829] ppid=23813 vsize=15151156 memory=3872204 CPUtime=1.5 cores=0,2,4,6
/proc/23815/task/23829/stat : 23829 (java) S 23813 23813 21609 0 -1 1077944384 1864 0 0 0 76 74 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088077462320 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
Current children cumulated CPU time: 2408.85 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 3873656 KiB
[startup+2442.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/231 24152
/proc/meminfo: memFree=15443784/32770624 swapFree=66997300/67108860
[pid=23813] ppid=23810 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23813/stat : 23813 (xcsp3-exec) S 23810 23813 21609 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516619610 115843072 363 33554432000 4194304 5098028 140734214566992 140734214565096 140206986445436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39858176 140734214574934 140734214575193 140734214575193 140734214578118 0
/proc/23813/statm: 28282 363 304 221 0 87 0
[pid=23815] ppid=23813 vsize=15151156 memory=3872204 CPUtime=2468.9 cores=0,2,4,6
/proc/23815/stat : 23815 (java) S 23813 23813 21609 0 -1 1077944320 155439 0 0 0 246434 456 0 0 20 0 15 0 516619610 15514783744 968051 33554432000 4194304 4196468 140724356329136 140724356311680 140088550080247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
/proc/23815/statm: 3787789 968051 3537 1 0 3748889 0
[pid=23815/tid=23816] ppid=23813 vsize=15151156 memory=3872204 CPUtime=2436.14 cores=0,2,4,6
/proc/23815/task/23816/stat : 23816 (java) R 23813 23813 21609 0 -1 4202560 85053 0 0 0 243595 19 0 0 20 0 15 0 516619611 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088554316696 140088167565389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23817] ppid=23813 vsize=15151156 memory=3872204 CPUtime=5.86 cores=0,2,4,6
/proc/23815/task/23817/stat : 23817 (java) S 23813 23813 21609 0 -1 1077944384 3344 0 0 0 496 90 0 0 20 0 15 0 516619611 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088486316304 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23818] ppid=23813 vsize=15151156 memory=3872204 CPUtime=5.84 cores=0,2,4,6
/proc/23815/task/23818/stat : 23818 (java) S 23813 23813 21609 0 -1 1077944384 3376 0 0 0 491 93 0 0 20 0 15 0 516619611 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088485263760 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23819] ppid=23813 vsize=15151156 memory=3872204 CPUtime=5.84 cores=0,2,4,6
/proc/23815/task/23819/stat : 23819 (java) S 23813 23813 21609 0 -1 1077944384 3780 0 0 0 492 92 0 0 20 0 15 0 516619611 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088484211216 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23820] ppid=23813 vsize=15151156 memory=3872204 CPUtime=5.81 cores=0,2,4,6
/proc/23815/task/23820/stat : 23820 (java) S 23813 23813 21609 0 -1 1077944384 4346 0 0 0 488 93 0 0 20 0 15 0 516619611 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088483158672 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23821] ppid=23813 vsize=15151156 memory=3872204 CPUtime=0.23 cores=0,2,4,6
/proc/23815/task/23821/stat : 23821 (java) S 23813 23813 21609 0 -1 1077944384 8276 0 0 0 20 3 0 0 20 0 15 0 516619613 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088085883376 140088550091394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23822] ppid=23813 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23822/stat : 23822 (java) S 23813 23813 21609 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 516619613 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088084829664 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23823] ppid=23813 vsize=15151156 memory=3872204 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23823/stat : 23823 (java) S 23813 23813 21609 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 516619613 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088083777024 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23824] ppid=23813 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23824/stat : 23824 (java) S 23813 23813 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088082725584 140088550098843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23825] ppid=23813 vsize=15151156 memory=3872204 CPUtime=3.17 cores=0,2,4,6
/proc/23815/task/23825/stat : 23825 (java) S 23813 23813 21609 0 -1 1077944384 17648 0 0 0 315 2 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088081672176 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23826] ppid=23813 vsize=15151156 memory=1452 CPUtime=3.56 cores=0,2,4,6
/proc/23815/task/23826/stat : 23826 (java) S 23813 23813 21609 0 -1 1077944384 16313 0 0 0 353 3 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088080619632 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23827] ppid=23813 vsize=15151156 memory=3872204 CPUtime=0.83 cores=0,2,4,6
/proc/23815/task/23827/stat : 23827 (java) S 23813 23813 21609 0 -1 1077944384 10047 0 0 0 81 2 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088079567088 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23828] ppid=23813 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23828/stat : 23828 (java) S 23813 23813 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088078514784 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23829] ppid=23813 vsize=15151156 memory=1452 CPUtime=1.54 cores=0,2,4,6
/proc/23815/task/23829/stat : 23829 (java) S 23813 23813 21609 0 -1 1077944384 1930 0 0 0 78 76 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088077462320 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
Current children cumulated CPU time: 2468.9 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 3873656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2493.4 s]
/proc/loadavg: 2.03 2.04 2.05 3/230 24158
/proc/meminfo: memFree=15442960/32770624 swapFree=66997300/67108860
[pid=23813] ppid=23810 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23813/stat : 23813 (xcsp3-exec) S 23810 23813 21609 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516619610 115843072 363 33554432000 4194304 5098028 140734214566992 140734214565096 140206986445436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39858176 140734214574934 140734214575193 140734214575193 140734214578118 0
/proc/23813/statm: 28282 363 304 221 0 87 0
[pid=23815] ppid=23813 vsize=15151156 memory=3872204 CPUtime=2520.04 cores=0,2,4,6
/proc/23815/stat : 23815 (java) S 23813 23813 21609 0 -1 1077944320 156783 0 0 0 251547 457 0 0 20 0 15 0 516619610 15514783744 968051 33554432000 4194304 4196468 140724356329136 140724356311680 140088550080247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
/proc/23815/statm: 3787789 968051 3537 1 0 3748889 0
[pid=23815/tid=23816] ppid=23813 vsize=15151156 memory=3872204 CPUtime=2487.24 cores=0,2,4,6
/proc/23815/task/23816/stat : 23816 (java) R 23813 23813 21609 0 -1 4202560 86345 0 0 0 248705 19 0 0 20 0 15 0 516619611 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088554316696 140088167318080 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23817] ppid=23813 vsize=15151156 memory=14008 CPUtime=5.86 cores=0,2,4,6
/proc/23815/task/23817/stat : 23817 (java) S 23813 23813 21609 0 -1 1077944384 3344 0 0 0 496 90 0 0 20 0 15 0 516619611 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088486316304 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23818] ppid=23813 vsize=15151156 memory=30312 CPUtime=5.84 cores=0,2,4,6
/proc/23815/task/23818/stat : 23818 (java) S 23813 23813 21609 0 -1 1077944384 3376 0 0 0 491 93 0 0 20 0 15 0 516619611 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088485263760 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23819] ppid=23813 vsize=15151156 memory=2116 CPUtime=5.84 cores=0,2,4,6
/proc/23815/task/23819/stat : 23819 (java) S 23813 23813 21609 0 -1 1077944384 3780 0 0 0 492 92 0 0 20 0 15 0 516619611 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088484211216 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23820] ppid=23813 vsize=15151156 memory=12028 CPUtime=5.81 cores=0,2,4,6
/proc/23815/task/23820/stat : 23820 (java) S 23813 23813 21609 0 -1 1077944384 4346 0 0 0 488 93 0 0 20 0 15 0 516619611 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088483158672 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23821] ppid=23813 vsize=15151156 memory=496 CPUtime=0.23 cores=0,2,4,6
/proc/23815/task/23821/stat : 23821 (java) S 23813 23813 21609 0 -1 1077944384 8285 0 0 0 20 3 0 0 20 0 15 0 516619613 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088085883376 140088550091394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23822] ppid=23813 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23822/stat : 23822 (java) S 23813 23813 21609 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 516619613 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088084829664 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23823] ppid=23813 vsize=15151156 memory=928 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23823/stat : 23823 (java) S 23813 23813 21609 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 516619613 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088083777024 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23824] ppid=23813 vsize=15151156 memory=1688 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23824/stat : 23824 (java) S 23813 23813 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088082725584 140088550098843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23825] ppid=23813 vsize=15151156 memory=1984 CPUtime=3.18 cores=0,2,4,6
/proc/23815/task/23825/stat : 23825 (java) S 23813 23813 21609 0 -1 1077944384 17655 0 0 0 315 3 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088081672176 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23826] ppid=23813 vsize=15151156 memory=2672 CPUtime=3.56 cores=0,2,4,6
/proc/23815/task/23826/stat : 23826 (java) S 23813 23813 21609 0 -1 1077944384 16315 0 0 0 353 3 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088080619632 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23827] ppid=23813 vsize=15151156 memory=1440 CPUtime=0.83 cores=0,2,4,6
/proc/23815/task/23827/stat : 23827 (java) S 23813 23813 21609 0 -1 1077944384 10053 0 0 0 81 2 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088079567088 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23828] ppid=23813 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23828/stat : 23828 (java) S 23813 23813 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088078514784 140088550090453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
[pid=23815/tid=23829] ppid=23813 vsize=15151156 memory=1452 CPUtime=1.58 cores=0,2,4,6
/proc/23815/task/23829/stat : 23829 (java) S 23813 23813 21609 0 -1 1077944384 1958 0 0 0 80 78 0 0 20 0 15 0 516619616 15514783744 968051 33554432000 4194304 4196468 140724356329136 140088077462320 140088550091394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10694656 140724356334555 140724356334730 140724356334730 140724356337615 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 3873656 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2493.41 s]
# the end of solver process 23813 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001181 s, system=0.001181 s
[startup+2493.43 s]
# the end of solver process 23815 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.48 s, system=4.60412 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2493.43
CPU time (s): 2520.09
CPU user time (s): 2515.48
CPU system time (s): 4.60412
CPU usage (%): 101.069
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 3873656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.48
system time used= 4.60412
maximum resident set size= 3872780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158097
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57912
involuntary context switches= 1690
# summary of solver processes directly reported to runsolver:
# pid: 23813,23815
# total CPU time (s): 2520.09
# total CPU user time (s): 2515.48
# total CPU system time (s): 4.60412
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5601 second user time and 25.9369 second system time
The end