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 (7238 MiB free)
memory of node 1: 16384 MiB (12398 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394338-1568328597/watcher-4394338-1568328597 -o /tmp/evaluation-result-4394338-1568328597/solver-4394338-1568328597 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19560 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 907965088 HOME/instance-4394338-1568328597.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=20798, runsolver pid=20795
[startup+0.101015 s]*
/proc/loadavg: 8.45 7.47 4.75 7/233 20814
/proc/meminfo: memFree=20092096/32770624 swapFree=66939824/67108860
[pid=20798] ppid=20795 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20798/stat : 20798 (xcsp3-exec) S 20795 20798 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408774627 115843072 362 33554432000 4194304 5098028 140723926146608 140723926144712 140457799500412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9703424 140723926147963 140723926148205 140723926148205 140723926151114 0
/proc/20798/statm: 28282 362 304 221 0 87 0
[pid=20800] ppid=20798 vsize=15144768 memory=29364 CPUtime=0.13 cores=1,3,5,7
/proc/20800/stat : 20800 (java) S 20798 20798 19528 0 -1 1077944320 5785 0 0 0 12 1 0 0 20 0 15 0 408774627 15508242432 7341 33554432000 4194304 4196468 140727446983872 140727446966416 140435533262583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
/proc/20800/statm: 3786192 7341 3153 1 0 3748377 0
[pid=20800/tid=20801] ppid=20798 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/20800/task/20801/stat : 20801 (java) R 20798 20798 19528 0 -1 4202560 3662 0 0 0 8 1 0 0 20 0 15 0 408774628 15508242432 7341 33554432000 4194304 4196468 140727446983872 140435537495856 140435172196032 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20802] ppid=20798 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20802/stat : 20802 (java) S 20798 20798 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408774628 15508242432 7341 33554432000 4194304 4196468 140727446983872 140435126070416 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20803] ppid=20798 vsize=15144768 memory=139976838776448 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20803/stat : 20803 (java) S 20798 20798 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408774628 15508242432 7341 33554432000 4194304 4196468 140727446983872 140435125017616 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20804] ppid=20798 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20804/stat : 20804 (java) S 20798 20798 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408774628 15508242432 7341 33554432000 4194304 4196468 140727446983872 140435123964816 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20805] ppid=20798 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20805/stat : 20805 (java) S 20798 20798 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408774628 15508242432 7341 33554432000 4194304 4196468 140727446983872 140435122912016 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20806] ppid=20798 vsize=15144768 memory=139976838776448 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20806/stat : 20806 (java) S 20798 20798 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408774630 15508242432 7341 33554432000 4194304 4196468 140727446983872 140434406992240 140435533273730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20807] ppid=20798 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20807/stat : 20807 (java) S 20798 20798 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408774630 15508242432 7341 33554432000 4194304 4196468 140727446983872 140434405938208 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20808] ppid=20798 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20808/stat : 20808 (java) S 20798 20798 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408774630 15508242432 7341 33554432000 4194304 4196468 140727446983872 140434404885360 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20809] ppid=20798 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20809/stat : 20809 (java) S 20798 20798 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408774633 15508242432 7341 33554432000 4194304 4196468 140727446983872 140434403833680 140435533281179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20810] ppid=20798 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20810/stat : 20810 (java) R 20798 20798 19528 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 408774633 15508242432 7341 33554432000 4194304 4196468 140727446983872 140434402782064 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20811] ppid=20798 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20811/stat : 20811 (java) S 20798 20798 19528 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 408774633 15508242432 7341 33554432000 4194304 4196468 140727446983872 140434401729264 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20812] ppid=20798 vsize=15144768 memory=139976838776448 CPUtime=0.02 cores=1,3,5,7
/proc/20800/task/20812/stat : 20812 (java) R 20798 20798 19528 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 408774633 15508242432 7341 33554432000 4194304 4196468 140727446983872 140434400676464 140435533274518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20813] ppid=20798 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20813/stat : 20813 (java) S 20798 20798 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408774633 15508242432 7341 33554432000 4194304 4196468 140727446983872 140434399623904 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20814] ppid=20798 vsize=15144768 memory=139976838776448 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20814/stat : 20814 (java) S 20798 20798 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408774633 15508242432 7341 33554432000 4194304 4196468 140727446983872 140434398571184 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30812 KiB
[startup+0.210724 s]*
/proc/loadavg: 8.45 7.47 4.75 6/233 20814
/proc/meminfo: memFree=20079320/32770624 swapFree=66939824/67108860
[pid=20798] ppid=20795 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20798/stat : 20798 (xcsp3-exec) S 20795 20798 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408774627 115843072 362 33554432000 4194304 5098028 140723926146608 140723926144712 140457799500412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9703424 140723926147963 140723926148205 140723926148205 140723926151114 0
/proc/20798/statm: 28282 362 304 221 0 87 0
[pid=20800] ppid=20798 vsize=15144768 memory=41168 CPUtime=0.34 cores=1,3,5,7
/proc/20800/stat : 20800 (java) S 20798 20798 19528 0 -1 1077944320 9492 0 0 0 31 3 0 0 20 0 15 0 408774627 15508242432 10292 33554432000 4194304 4196468 140727446983872 140727446966416 140435533262583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
/proc/20800/statm: 3786192 10292 3306 1 0 3748377 0
[pid=20800/tid=20801] ppid=20798 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20800/task/20801/stat : 20801 (java) R 20798 20798 19528 0 -1 4202560 6666 0 0 0 18 2 0 0 20 0 15 0 408774628 15508242432 10292 33554432000 4194304 4196468 140727446983872 140435537495312 140435518958360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20802] ppid=20798 vsize=15144768 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20802/stat : 20802 (java) S 20798 20798 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408774628 15508242432 10292 33554432000 4194304 4196468 140727446983872 140435126070416 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20803] ppid=20798 vsize=15144768 memory=3832618504109162528 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20803/stat : 20803 (java) S 20798 20798 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408774628 15508242432 10292 33554432000 4194304 4196468 140727446983872 140435125017616 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20804] ppid=20798 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20804/stat : 20804 (java) S 20798 20798 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408774628 15508242432 10292 33554432000 4194304 4196468 140727446983872 140435123964816 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20805] ppid=20798 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20805/stat : 20805 (java) S 20798 20798 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408774628 15508242432 10292 33554432000 4194304 4196468 140727446983872 140435122912016 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20806] ppid=20798 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20806/stat : 20806 (java) S 20798 20798 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408774630 15508242432 10292 33554432000 4194304 4196468 140727446983872 140434406992240 140435533273730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20807] ppid=20798 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20807/stat : 20807 (java) S 20798 20798 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408774630 15508242432 10292 33554432000 4194304 4196468 140727446983872 140434405938208 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20808] ppid=20798 vsize=15144768 memory=139976838776448 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20808/stat : 20808 (java) S 20798 20798 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408774630 15508242432 10292 33554432000 4194304 4196468 140727446983872 140434404885360 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20809] ppid=20798 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20809/stat : 20809 (java) S 20798 20798 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408774633 15508242432 10292 33554432000 4194304 4196468 140727446983872 140434403833680 140435533281179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20810] ppid=20798 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20800/task/20810/stat : 20810 (java) S 20798 20798 19528 0 -1 1077944384 625 0 0 0 2 0 0 0 20 0 15 0 408774633 15508242432 10292 33554432000 4194304 4196468 140727446983872 140434402782064 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20811] ppid=20798 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20800/task/20811/stat : 20811 (java) S 20798 20798 19528 0 -1 1077944384 145 0 0 0 2 0 0 0 20 0 15 0 408774633 15508242432 10292 33554432000 4194304 4196468 140727446983872 140434401729264 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20812] ppid=20798 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20800/task/20812/stat : 20812 (java) R 20798 20798 19528 0 -1 4202560 751 0 0 0 8 0 0 0 20 0 15 0 408774633 15508242432 10292 33554432000 4194304 4196468 140727446983872 140434400676464 140435511964902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20813] ppid=20798 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20813/stat : 20813 (java) S 20798 20798 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408774633 15508242432 10292 33554432000 4194304 4196468 140727446983872 140434399623904 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20814] ppid=20798 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20814/stat : 20814 (java) S 20798 20798 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408774633 15508242432 10292 33554432000 4194304 4196468 140727446983872 140434398571184 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42616 KiB
[startup+0.317748 s]*
/proc/loadavg: 8.45 7.47 4.75 8/233 20814
/proc/meminfo: memFree=20072784/32770624 swapFree=66939824/67108860
[pid=20798] ppid=20795 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20798/stat : 20798 (xcsp3-exec) S 20795 20798 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408774627 115843072 362 33554432000 4194304 5098028 140723926146608 140723926144712 140457799500412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9703424 140723926147963 140723926148205 140723926148205 140723926151114 0
/proc/20798/statm: 28282 362 304 221 0 87 0
[pid=20800] ppid=20798 vsize=15149024 memory=50512 CPUtime=0.54 cores=1,3,5,7
/proc/20800/stat : 20800 (java) S 20798 20798 19528 0 -1 1077944320 10957 0 0 0 50 4 0 0 20 0 15 0 408774627 15512600576 12628 33554432000 4194304 4196468 140727446983872 140727446966416 140435533262583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
/proc/20800/statm: 3787256 12628 3364 1 0 3748377 0
[pid=20800/tid=20801] ppid=20798 vsize=15149024 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/20800/task/20801/stat : 20801 (java) R 20798 20798 19528 0 -1 4202560 7922 0 0 0 27 3 0 0 20 0 15 0 408774628 15512600576 12628 33554432000 4194304 4196468 140727446983872 140435537495488 140435533284509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20802] ppid=20798 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20802/stat : 20802 (java) S 20798 20798 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408774628 15512600576 12628 33554432000 4194304 4196468 140727446983872 140435126070416 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20803] ppid=20798 vsize=15149024 memory=3834029173232631840 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20803/stat : 20803 (java) S 20798 20798 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408774628 15512600576 12628 33554432000 4194304 4196468 140727446983872 140435125017616 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20804] ppid=20798 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20804/stat : 20804 (java) S 20798 20798 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408774628 15512600576 12628 33554432000 4194304 4196468 140727446983872 140435123964816 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20805] ppid=20798 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20805/stat : 20805 (java) S 20798 20798 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408774628 15512600576 12628 33554432000 4194304 4196468 140727446983872 140435122912016 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20806] ppid=20798 vsize=15149024 memory=139976838776448 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20806/stat : 20806 (java) S 20798 20798 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408774630 15512600576 12628 33554432000 4194304 4196468 140727446983872 140434406992240 140435533273730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20807] ppid=20798 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20807/stat : 20807 (java) S 20798 20798 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408774630 15512600576 12628 33554432000 4194304 4196468 140727446983872 140434405938208 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20808] ppid=20798 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20808/stat : 20808 (java) S 20798 20798 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408774630 15512600576 12628 33554432000 4194304 4196468 140727446983872 140434404885360 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20809] ppid=20798 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20809/stat : 20809 (java) S 20798 20798 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408774633 15512600576 12628 33554432000 4194304 4196468 140727446983872 140434403833680 140435533281179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20810] ppid=20798 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/20800/task/20810/stat : 20810 (java) S 20798 20798 19528 0 -1 1077944384 749 0 0 0 5 0 0 0 20 0 15 0 408774633 15512600576 12628 33554432000 4194304 4196468 140727446983872 140434402782064 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20811] ppid=20798 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/20800/task/20811/stat : 20811 (java) S 20798 20798 19528 0 -1 1077944384 157 0 0 0 4 0 0 0 20 0 15 0 408774633 15512600576 12628 33554432000 4194304 4196468 140727446983872 140434401729264 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20812] ppid=20798 vsize=15149024 memory=139976838776448 CPUtime=0.13 cores=1,3,5,7
/proc/20800/task/20812/stat : 20812 (java) S 20798 20798 19528 0 -1 1077944384 826 0 0 0 13 0 0 0 20 0 15 0 408774633 15512600576 12628 33554432000 4194304 4196468 140727446983872 140434400676464 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20813] ppid=20798 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20813/stat : 20813 (java) S 20798 20798 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408774633 15512600576 12628 33554432000 4194304 4196468 140727446983872 140434399623904 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20814] ppid=20798 vsize=15149024 memory=139976838776448 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20814/stat : 20814 (java) S 20798 20798 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408774633 15512600576 12628 33554432000 4194304 4196468 140727446983872 140434398571184 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51960 KiB
[startup+0.700819 s]
/proc/loadavg: 8.45 7.47 4.75 7/233 20814
/proc/meminfo: memFree=20054632/32770624 swapFree=66939824/67108860
[pid=20798] ppid=20795 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20798/stat : 20798 (xcsp3-exec) S 20795 20798 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408774627 115843072 362 33554432000 4194304 5098028 140723926146608 140723926144712 140457799500412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9703424 140723926147963 140723926148205 140723926148205 140723926151114 0
/proc/20798/statm: 28282 362 304 221 0 87 0
[pid=20800] ppid=20798 vsize=15151148 memory=109760 CPUtime=1.61 cores=1,3,5,7
/proc/20800/stat : 20800 (java) S 20798 20798 19528 0 -1 1077944320 13977 0 0 0 155 6 0 0 20 0 15 0 408774627 15514775552 27440 33554432000 4194304 4196468 140727446983872 140727446966416 140435533262583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
/proc/20800/statm: 3787787 27440 3457 1 0 3748889 0
[pid=20800/tid=20801] ppid=20798 vsize=15151148 memory=2116 CPUtime=0.68 cores=1,3,5,7
/proc/20800/task/20801/stat : 20801 (java) R 20798 20798 19528 0 -1 4202560 9207 0 0 0 63 5 0 0 20 0 15 0 408774628 15514775552 27440 33554432000 4194304 4196468 140727446983872 140435537498832 140435174693124 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20802] ppid=20798 vsize=15151148 memory=520 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20802/stat : 20802 (java) S 20798 20798 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408774628 15514775552 27440 33554432000 4194304 4196468 140727446983872 140435126070416 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20803] ppid=20798 vsize=15151148 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20803/stat : 20803 (java) S 20798 20798 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408774628 15514775552 27440 33554432000 4194304 4196468 140727446983872 140435125017616 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20804] ppid=20798 vsize=15151148 memory=924 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20804/stat : 20804 (java) S 20798 20798 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408774628 15514775552 27440 33554432000 4194304 4196468 140727446983872 140435123964816 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20805] ppid=20798 vsize=15151148 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20805/stat : 20805 (java) S 20798 20798 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408774628 15514775552 27440 33554432000 4194304 4196468 140727446983872 140435122912016 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20806] ppid=20798 vsize=15151148 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20806/stat : 20806 (java) S 20798 20798 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408774630 15514775552 27440 33554432000 4194304 4196468 140727446983872 140434406992240 140435533273730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20807] ppid=20798 vsize=15151148 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20807/stat : 20807 (java) S 20798 20798 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408774630 15514775552 27440 33554432000 4194304 4196468 140727446983872 140434405938208 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20808] ppid=20798 vsize=15151148 memory=804 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20808/stat : 20808 (java) S 20798 20798 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408774630 15514775552 27440 33554432000 4194304 4196468 140727446983872 140434404885360 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20809] ppid=20798 vsize=15151148 memory=7086240636179272035 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20809/stat : 20809 (java) S 20798 20798 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408774633 15514775552 27440 33554432000 4194304 4196468 140727446983872 140434403833680 140435533281179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20810] ppid=20798 vsize=15151148 memory=7453282923444726100 CPUtime=0.31 cores=1,3,5,7
/proc/20800/task/20810/stat : 20810 (java) R 20798 20798 19528 0 -1 4202560 1409 0 0 0 31 0 0 0 20 0 15 0 408774633 15514775552 27440 33554432000 4194304 4196468 140727446983872 140434402782064 140435517656452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20811] ppid=20798 vsize=15151148 memory=5792825802846453857 CPUtime=0.31 cores=1,3,5,7
/proc/20800/task/20811/stat : 20811 (java) R 20798 20798 19528 0 -1 4202560 698 0 0 0 31 0 0 0 20 0 15 0 408774633 15514775552 27440 33554432000 4194304 4196468 140727446983872 140434401729264 140435514636033 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20812] ppid=20798 vsize=15151148 memory=8514726395715219869 CPUtime=0.29 cores=1,3,5,7
/proc/20800/task/20812/stat : 20812 (java) R 20798 20798 19528 0 -1 1077944384 1357 0 0 0 29 0 0 0 20 0 15 0 408774633 15514775552 27440 33554432000 4194304 4196468 140727446983872 140434400676464 140435533273730 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20813] ppid=20798 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20813/stat : 20813 (java) S 20798 20798 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408774633 15514775552 27440 33554432000 4194304 4196468 140727446983872 140434399623904 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20814] ppid=20798 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20814/stat : 20814 (java) S 20798 20798 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408774633 15514775552 27440 33554432000 4194304 4196468 140727446983872 140434398571184 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 111208 KiB
[startup+1.50076 s]
/proc/loadavg: 8.45 7.47 4.75 8/233 20814
/proc/meminfo: memFree=19881364/32770624 swapFree=66939824/67108860
[pid=20798] ppid=20795 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20798/stat : 20798 (xcsp3-exec) S 20795 20798 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408774627 115843072 362 33554432000 4194304 5098028 140723926146608 140723926144712 140457799500412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9703424 140723926147963 140723926148205 140723926148205 140723926151114 0
/proc/20798/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/20800/stat : 20800 (java) S 20798 20798 19528 0 -1 1077944320 98983 0 0 0 231327 127 0 0 20 0 19 0 408774627 15787421696 878806 33554432000 4194304 4196468 140727446983872 140727446966416 140435533262583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
/proc/20800/statm: 3854351 878806 3519 1 0 3815453 0
[pid=20800/tid=20801] ppid=20798 vsize=15417404 memory=1448 CPUtime=0.98 cores=1,3,5,7
/proc/20800/task/20801/stat : 20801 (java) S 20798 20798 19528 0 -1 1077944384 9377 0 0 0 92 6 0 0 20 0 19 0 408774628 15787421696 878806 33554432000 4194304 4196468 140727446983872 140435537503360 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20802] ppid=20798 vsize=15417404 memory=3513176 CPUtime=1.44 cores=1,3,5,7
/proc/20800/task/20802/stat : 20802 (java) S 20798 20798 19528 0 -1 1077944384 3222 0 0 0 131 13 0 0 20 0 19 0 408774628 15787421696 878806 33554432000 4194304 4196468 140727446983872 140435126070416 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20803] ppid=20798 vsize=15417404 memory=3515224 CPUtime=1.42 cores=1,3,5,7
/proc/20800/task/20803/stat : 20803 (java) S 20798 20798 19528 0 -1 1077944384 3738 0 0 0 131 11 0 0 20 0 19 0 408774628 15787421696 878806 33554432000 4194304 4196468 140727446983872 140435125017616 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20804] ppid=20798 vsize=15417404 memory=3513176 CPUtime=1.43 cores=1,3,5,7
/proc/20800/task/20804/stat : 20804 (java) S 20798 20798 19528 0 -1 1077944384 4325 0 0 0 131 12 0 0 20 0 19 0 408774628 15787421696 878806 33554432000 4194304 4196468 140727446983872 140435123964816 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20805] ppid=20798 vsize=15417404 memory=1448 CPUtime=1.42 cores=1,3,5,7
/proc/20800/task/20805/stat : 20805 (java) S 20798 20798 19528 0 -1 1077944384 3039 0 0 0 130 12 0 0 20 0 19 0 408774628 15787421696 878806 33554432000 4194304 4196468 140727446983872 140435122912016 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20806] ppid=20798 vsize=15417404 memory=1448 CPUtime=0.33 cores=1,3,5,7
/proc/20800/task/20806/stat : 20806 (java) S 20798 20798 19528 0 -1 1077944384 6708 0 0 0 28 5 0 0 20 0 19 0 408774630 15787421696 878806 33554432000 4194304 4196468 140727446983872 140434406992240 140435533273730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20807] ppid=20798 vsize=15417404 memory=3513168 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20807/stat : 20807 (java) S 20798 20798 19528 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 408774630 15787421696 878806 33554432000 4194304 4196468 140727446983872 140434405938272 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20808] ppid=20798 vsize=15417404 memory=3511120 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20808/stat : 20808 (java) S 20798 20798 19528 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408774630 15787421696 878806 33554432000 4194304 4196468 140727446983872 140434404885360 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20809] ppid=20798 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20809/stat : 20809 (java) S 20798 20798 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408774633 15787421696 878806 33554432000 4194304 4196468 140727446983872 140434403833680 140435533281179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20810] ppid=20798 vsize=15417404 memory=3504 CPUtime=1.86 cores=1,3,5,7
/proc/20800/task/20810/stat : 20810 (java) S 20798 20798 19528 0 -1 1077944384 9016 0 0 0 185 1 0 0 20 0 19 0 408774633 15787421696 878806 33554432000 4194304 4196468 140727446983872 140434402782064 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20811] ppid=20798 vsize=15417404 memory=279953485619168 CPUtime=1.72 cores=1,3,5,7
/proc/20800/task/20811/stat : 20811 (java) S 20798 20798 19528 0 -1 1077944384 9124 0 0 0 171 1 0 0 20 0 19 0 408774633 15787421696 878806 33554432000 4194304 4196468 140727446983872 140434401729264 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20812] ppid=20798 vsize=15417404 memory=3513176 CPUtime=0.69 cores=1,3,5,7
/proc/20800/task/20812/stat : 20812 (java) S 20798 20798 19528 0 -1 1077944384 6691 0 0 0 68 1 0 0 20 0 19 0 408774633 15787421696 878806 33554432000 4194304 4196468 140727446983872 140434400676464 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20813] ppid=20798 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20813/stat : 20813 (java) S 20798 20798 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408774633 15787421696 878806 33554432000 4194304 4196468 140727446983872 140434399623904 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20814] ppid=20798 vsize=15417404 memory=3513176 CPUtime=0.23 cores=1,3,5,7
/proc/20800/task/20814/stat : 20814 (java) S 20798 20798 19528 0 -1 1077944384 878 0 0 0 0 23 0 0 20 0 19 0 408774633 15787421696 878806 33554432000 4194304 4196468 140727446983872 140434398571184 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20815] ppid=20798 vsize=15417404 memory=3513172 CPUtime=574.52 cores=1,3,5,7
/proc/20800/task/20815/stat : 20815 (java) R 20798 20798 19528 0 -1 4202560 2239 0 0 0 57451 1 0 0 20 0 19 0 408774735 15787421696 878806 33554432000 4194304 4196468 140727446983872 140434389599968 140435177340363 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20816] ppid=20798 vsize=15417404 memory=6791534058613427641 CPUtime=576.43 cores=1,3,5,7
/proc/20800/task/20816/stat : 20816 (java) R 20798 20798 19528 0 -1 4202560 32271 0 0 0 57583 60 0 0 20 0 19 0 408774735 15787421696 878806 33554432000 4194304 4196468 140727446983872 140434388545560 140435176975362 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20817] ppid=20798 vsize=15417404 memory=1436 CPUtime=576.15 cores=1,3,5,7
/proc/20800/task/20817/stat : 20817 (java) R 20798 20798 19528 0 -1 4202560 2677 0 0 0 57613 2 0 0 20 0 19 0 408774735 15787421696 878806 33554432000 4194304 4196468 140727446983872 140434387492336 140435177340435 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20818] ppid=20798 vsize=15417404 memory=4164 CPUtime=575.82 cores=1,3,5,7
/proc/20800/task/20818/stat : 20818 (java) R 20798 20798 19528 0 -1 4202560 4381 0 0 0 57581 1 0 0 20 0 19 0 408774735 15787421696 878806 33554432000 4194304 4196468 140727446983872 140434386440808 140435178277815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
Current children cumulated CPU time: 2314.54 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3516672 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+603.902 s]
/proc/loadavg: 8.70 8.49 6.61 9/237 21429
/proc/meminfo: memFree=16611044/32770624 swapFree=66939824/67108860
[pid=20798] ppid=20795 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20798/stat : 20798 (xcsp3-exec) S 20795 20798 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408774627 115843072 362 33554432000 4194304 5098028 140723926146608 140723926144712 140457799500412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9703424 140723926147963 140723926148205 140723926148205 140723926151114 0
/proc/20798/statm: 28282 362 304 221 0 87 0
[pid=20800] ppid=20798 vsize=15417404 memory=3517284 CPUtime=2400.29 cores=1,3,5,7
/proc/20800/stat : 20800 (java) S 20798 20798 19528 0 -1 1077944320 100691 0 0 0 239901 128 0 0 20 0 19 0 408774627 15787421696 879321 33554432000 4194304 4196468 140727446983872 140727446966416 140435533262583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
/proc/20800/statm: 3854351 879321 3519 1 0 3815453 0
[pid=20800/tid=20801] ppid=20798 vsize=15417404 memory=3517280 CPUtime=0.98 cores=1,3,5,7
/proc/20800/task/20801/stat : 20801 (java) S 20798 20798 19528 0 -1 1077944384 9377 0 0 0 92 6 0 0 20 0 19 0 408774628 15787421696 879321 33554432000 4194304 4196468 140727446983872 140435537503360 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20802] ppid=20798 vsize=15417404 memory=3517284 CPUtime=1.59 cores=1,3,5,7
/proc/20800/task/20802/stat : 20802 (java) S 20798 20798 19528 0 -1 1077944384 3331 0 0 0 146 13 0 0 20 0 19 0 408774628 15787421696 879321 33554432000 4194304 4196468 140727446983872 140435126070416 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20803] ppid=20798 vsize=15417404 memory=3517284 CPUtime=1.57 cores=1,3,5,7
/proc/20800/task/20803/stat : 20803 (java) S 20798 20798 19528 0 -1 1077944384 3860 0 0 0 146 11 0 0 20 0 19 0 408774628 15787421696 879321 33554432000 4194304 4196468 140727446983872 140435125017616 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20804] ppid=20798 vsize=15417404 memory=1448 CPUtime=1.59 cores=1,3,5,7
/proc/20800/task/20804/stat : 20804 (java) S 20798 20798 19528 0 -1 1077944384 4386 0 0 0 147 12 0 0 20 0 19 0 408774628 15787421696 879321 33554432000 4194304 4196468 140727446983872 140435123964816 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20805] ppid=20798 vsize=15417404 memory=1448 CPUtime=1.58 cores=1,3,5,7
/proc/20800/task/20805/stat : 20805 (java) S 20798 20798 19528 0 -1 1077944384 3498 0 0 0 146 12 0 0 20 0 19 0 408774628 15787421696 879321 33554432000 4194304 4196468 140727446983872 140435122912016 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20806] ppid=20798 vsize=15417404 memory=1448 CPUtime=0.37 cores=1,3,5,7
/proc/20800/task/20806/stat : 20806 (java) S 20798 20798 19528 0 -1 1077944384 6981 0 0 0 32 5 0 0 20 0 19 0 408774630 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434406992240 140435533273730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20807] ppid=20798 vsize=15417404 memory=9580 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20807/stat : 20807 (java) S 20798 20798 19528 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 408774630 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434405938272 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20808] ppid=20798 vsize=15417404 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20808/stat : 20808 (java) S 20798 20798 19528 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408774630 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434404885360 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20809] ppid=20798 vsize=15417404 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20809/stat : 20809 (java) S 20798 20798 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408774633 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434403833680 140435533281179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20810] ppid=20798 vsize=15417404 memory=920 CPUtime=1.86 cores=1,3,5,7
/proc/20800/task/20810/stat : 20810 (java) S 20798 20798 19528 0 -1 1077944384 9019 0 0 0 185 1 0 0 20 0 19 0 408774633 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434402782064 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20811] ppid=20798 vsize=15417404 memory=1448 CPUtime=1.72 cores=1,3,5,7
/proc/20800/task/20811/stat : 20811 (java) S 20798 20798 19528 0 -1 1077944384 9126 0 0 0 171 1 0 0 20 0 19 0 408774633 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434401729264 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20812] ppid=20798 vsize=15417404 memory=3517280 CPUtime=0.69 cores=1,3,5,7
/proc/20800/task/20812/stat : 20812 (java) S 20798 20798 19528 0 -1 1077944384 6693 0 0 0 68 1 0 0 20 0 19 0 408774633 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434400676464 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20813] ppid=20798 vsize=15417404 memory=3515224 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20813/stat : 20813 (java) S 20798 20798 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408774633 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434399623904 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20814] ppid=20798 vsize=15417404 memory=3504 CPUtime=0.23 cores=1,3,5,7
/proc/20800/task/20814/stat : 20814 (java) S 20798 20798 19528 0 -1 1077944384 897 0 0 0 0 23 0 0 20 0 19 0 408774633 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434398571184 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20815] ppid=20798 vsize=15417404 memory=7306916055891837009 CPUtime=595.79 cores=1,3,5,7
/proc/20800/task/20815/stat : 20815 (java) R 20798 20798 19528 0 -1 4202560 2318 0 0 0 59578 1 0 0 20 0 19 0 408774735 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434389597016 140435177339583 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20816] ppid=20798 vsize=15417404 memory=288230591722422566 CPUtime=597.66 cores=1,3,5,7
/proc/20800/task/20816/stat : 20816 (java) R 20798 20798 19528 0 -1 4202560 32512 0 0 0 59705 61 0 0 20 0 19 0 408774735 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434388545072 140435177428430 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20817] ppid=20798 vsize=15417404 memory=1448 CPUtime=597.43 cores=1,3,5,7
/proc/20800/task/20817/stat : 20817 (java) R 20798 20798 19528 0 -1 4202560 2843 0 0 0 59741 2 0 0 20 0 19 0 408774735 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434387492432 140435178277940 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20818] ppid=20798 vsize=15417404 memory=3517284 CPUtime=597.1 cores=1,3,5,7
/proc/20800/task/20818/stat : 20818 (java) R 20798 20798 19528 0 -1 4202560 4553 0 0 0 59709 1 0 0 20 0 19 0 408774735 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434386443424 140435176435447 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
Current children cumulated CPU time: 2400.29 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3518732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+603.934 s]
# the end of solver process 20798 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002212 s
[startup+603.965 s]
# the end of solver process 20800 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.19 s, system=1.3076 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
[startup+603.902 s]
/proc/loadavg: 8.70 8.49 6.61 9/237 21429
/proc/meminfo: memFree=16611044/32770624 swapFree=66939824/67108860
[pid=20798] ppid=20795 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20798/stat : 20798 (xcsp3-exec) S 20795 20798 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408774627 115843072 362 33554432000 4194304 5098028 140723926146608 140723926144712 140457799500412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9703424 140723926147963 140723926148205 140723926148205 140723926151114 0
/proc/20798/statm: 28282 362 304 221 0 87 0
[pid=20800] ppid=20798 vsize=15417404 memory=3517284 CPUtime=2400.29 cores=1,3,5,7
/proc/20800/stat : 20800 (java) S 20798 20798 19528 0 -1 1077944320 100691 0 0 0 239901 128 0 0 20 0 19 0 408774627 15787421696 879321 33554432000 4194304 4196468 140727446983872 140727446966416 140435533262583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
/proc/20800/statm: 3854351 879321 3519 1 0 3815453 0
[pid=20800/tid=20801] ppid=20798 vsize=15417404 memory=3517280 CPUtime=0.98 cores=1,3,5,7
/proc/20800/task/20801/stat : 20801 (java) S 20798 20798 19528 0 -1 1077944384 9377 0 0 0 92 6 0 0 20 0 19 0 408774628 15787421696 879321 33554432000 4194304 4196468 140727446983872 140435537503360 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20802] ppid=20798 vsize=15417404 memory=3517284 CPUtime=1.59 cores=1,3,5,7
/proc/20800/task/20802/stat : 20802 (java) S 20798 20798 19528 0 -1 1077944384 3331 0 0 0 146 13 0 0 20 0 19 0 408774628 15787421696 879321 33554432000 4194304 4196468 140727446983872 140435126070416 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20803] ppid=20798 vsize=15417404 memory=3517284 CPUtime=1.57 cores=1,3,5,7
/proc/20800/task/20803/stat : 20803 (java) S 20798 20798 19528 0 -1 1077944384 3860 0 0 0 146 11 0 0 20 0 19 0 408774628 15787421696 879321 33554432000 4194304 4196468 140727446983872 140435125017616 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20804] ppid=20798 vsize=15417404 memory=1448 CPUtime=1.59 cores=1,3,5,7
/proc/20800/task/20804/stat : 20804 (java) S 20798 20798 19528 0 -1 1077944384 4386 0 0 0 147 12 0 0 20 0 19 0 408774628 15787421696 879321 33554432000 4194304 4196468 140727446983872 140435123964816 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20805] ppid=20798 vsize=15417404 memory=1448 CPUtime=1.58 cores=1,3,5,7
/proc/20800/task/20805/stat : 20805 (java) S 20798 20798 19528 0 -1 1077944384 3498 0 0 0 146 12 0 0 20 0 19 0 408774628 15787421696 879321 33554432000 4194304 4196468 140727446983872 140435122912016 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20806] ppid=20798 vsize=15417404 memory=1448 CPUtime=0.37 cores=1,3,5,7
/proc/20800/task/20806/stat : 20806 (java) S 20798 20798 19528 0 -1 1077944384 6981 0 0 0 32 5 0 0 20 0 19 0 408774630 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434406992240 140435533273730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20807] ppid=20798 vsize=15417404 memory=9580 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20807/stat : 20807 (java) S 20798 20798 19528 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 408774630 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434405938272 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20808] ppid=20798 vsize=15417404 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20808/stat : 20808 (java) S 20798 20798 19528 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408774630 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434404885360 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20809] ppid=20798 vsize=15417404 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20809/stat : 20809 (java) S 20798 20798 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408774633 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434403833680 140435533281179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20810] ppid=20798 vsize=15417404 memory=920 CPUtime=1.86 cores=1,3,5,7
/proc/20800/task/20810/stat : 20810 (java) S 20798 20798 19528 0 -1 1077944384 9019 0 0 0 185 1 0 0 20 0 19 0 408774633 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434402782064 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20811] ppid=20798 vsize=15417404 memory=1448 CPUtime=1.72 cores=1,3,5,7
/proc/20800/task/20811/stat : 20811 (java) S 20798 20798 19528 0 -1 1077944384 9126 0 0 0 171 1 0 0 20 0 19 0 408774633 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434401729264 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20812] ppid=20798 vsize=15417404 memory=3517280 CPUtime=0.69 cores=1,3,5,7
/proc/20800/task/20812/stat : 20812 (java) S 20798 20798 19528 0 -1 1077944384 6693 0 0 0 68 1 0 0 20 0 19 0 408774633 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434400676464 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20813] ppid=20798 vsize=15417404 memory=3515224 CPUtime=0 cores=1,3,5,7
/proc/20800/task/20813/stat : 20813 (java) S 20798 20798 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408774633 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434399623904 140435533272789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20814] ppid=20798 vsize=15417404 memory=3504 CPUtime=0.23 cores=1,3,5,7
/proc/20800/task/20814/stat : 20814 (java) S 20798 20798 19528 0 -1 1077944384 897 0 0 0 0 23 0 0 20 0 19 0 408774633 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434398571184 140435533273730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20815] ppid=20798 vsize=15417404 memory=7306916055891837009 CPUtime=595.79 cores=1,3,5,7
/proc/20800/task/20815/stat : 20815 (java) R 20798 20798 19528 0 -1 4202560 2318 0 0 0 59578 1 0 0 20 0 19 0 408774735 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434389597016 140435177339583 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20816] ppid=20798 vsize=15417404 memory=288230591722422566 CPUtime=597.66 cores=1,3,5,7
/proc/20800/task/20816/stat : 20816 (java) R 20798 20798 19528 0 -1 4202560 32512 0 0 0 59705 61 0 0 20 0 19 0 408774735 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434388545072 140435177428430 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20817] ppid=20798 vsize=15417404 memory=1448 CPUtime=597.43 cores=1,3,5,7
/proc/20800/task/20817/stat : 20817 (java) R 20798 20798 19528 0 -1 4202560 2843 0 0 0 59741 2 0 0 20 0 19 0 408774735 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434387492432 140435178277940 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
[pid=20800/tid=20818] ppid=20798 vsize=15417404 memory=3517284 CPUtime=597.1 cores=1,3,5,7
/proc/20800/task/20818/stat : 20818 (java) R 20798 20798 19528 0 -1 4202560 4553 0 0 0 59709 1 0 0 20 0 19 0 408774735 15787421696 879321 33554432000 4194304 4196468 140727446983872 140434386443424 140435176435447 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140727446987759 140727446987930 140727446987930 140727446990799 0
Current children cumulated CPU time: 2400.29 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3518732 KiB
Child status: 143
Real time (s): 603.966
CPU time (s): 2400.5
CPU user time (s): 2399.19
CPU system time (s): 1.3076
CPU usage (%): 397.456
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 3518732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.19
system time used= 1.3076
maximum resident set size= 3517920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28476
involuntary context switches= 50056
# summary of solver processes directly reported to runsolver:
# pid: 20798,20800
# total CPU time (s): 2400.5
# total CPU user time (s): 2399.19
# total CPU system time (s): 1.3076
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.01619 second user time and 6.97766 second system time
The end