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 (1317 MiB free)
memory of node 1: 16384 MiB (3719 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404140-1568992411/watcher-4404140-1568992411 -o /var/tmp/evaluation-result-4404140-1568992411/solver-4404140-1568992411 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568989944-5359 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 388761229 HOME/instance-4404140-1568992411.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=9079, runsolver pid=9076
[startup+0.100097 s]*
/proc/loadavg: 8.37 8.15 7.71 6/234 9095
/proc/meminfo: memFree=5144556/32770624 swapFree=66972280/67108860
[pid=9079] ppid=9076 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9079/stat : 9079 (xcsp3-exec) S 9076 9079 5327 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475182946 115843072 364 33554432000 4194304 5098028 140725547485552 140725547483656 140567243211388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24768512 140725547488087 140725547488345 140725547488345 140725547491270 0
/proc/9079/statm: 28282 364 305 221 0 87 0
[pid=9081] ppid=9079 vsize=15144776 memory=26956 CPUtime=0.13 cores=1,3,5,7
/proc/9081/stat : 9081 (java) S 9079 9079 5327 0 -1 1077944320 5704 0 0 0 12 1 0 0 20 0 15 0 475182946 15508250624 6739 33554432000 4194304 4196468 140721396293360 140721396275904 140257556651767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
/proc/9081/statm: 3786194 6739 3146 1 0 3748377 0
[pid=9081/tid=9082] ppid=9079 vsize=15144776 memory=7100839852958450802 CPUtime=0.09 cores=1,3,5,7
/proc/9081/task/9082/stat : 9082 (java) R 9079 9079 5327 0 -1 4202560 3603 0 0 0 9 0 0 0 20 0 15 0 475182947 15508250624 6739 33554432000 4194304 4196468 140721396293360 140257560881408 140257556663702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9083] ppid=9079 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9083/stat : 9083 (java) S 9079 9079 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475182948 15508250624 6805 33554432000 4194304 4196468 140721396293360 140257148931088 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9084] ppid=9079 vsize=15144776 memory=140132298901120 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9084/stat : 9084 (java) S 9079 9079 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475182948 15508250624 6805 33554432000 4194304 4196468 140721396293360 140257147878544 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9085] ppid=9079 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9085/stat : 9085 (java) S 9079 9079 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475182948 15508250624 6805 33554432000 4194304 4196468 140721396293360 140257146825488 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9086] ppid=9079 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9086/stat : 9086 (java) S 9079 9079 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475182948 15508250624 6805 33554432000 4194304 4196468 140721396293360 140257145772944 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9087] ppid=9079 vsize=15144776 memory=140132298901120 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9087/stat : 9087 (java) S 9079 9079 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475182949 15508250624 6805 33554432000 4194304 4196468 140721396293360 140256430557424 140257556662914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9088] ppid=9079 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9088/stat : 9088 (java) S 9079 9079 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475182949 15508250624 6805 33554432000 4194304 4196468 140721396293360 140256429503648 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9089] ppid=9079 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9089/stat : 9089 (java) S 9079 9079 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475182950 15508250624 6805 33554432000 4194304 4196468 140721396293360 140256428450544 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9090] ppid=9079 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9090/stat : 9090 (java) S 9079 9079 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475182952 15508250624 6805 33554432000 4194304 4196468 140721396293360 140256427399120 140257556670363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9091] ppid=9079 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9091/stat : 9091 (java) R 9079 9079 5327 0 -1 4202560 433 0 0 0 0 0 0 0 20 0 15 0 475182952 15508250624 6805 33554432000 4194304 4196468 140721396293360 140256426347248 140257541468269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9092] ppid=9079 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9092/stat : 9092 (java) R 9079 9079 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475182952 15508250624 6805 33554432000 4194304 4196468 140721396293360 140256425294704 140257556662914 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9093] ppid=9079 vsize=15144776 memory=140132298901120 CPUtime=0.02 cores=1,3,5,7
/proc/9081/task/9093/stat : 9093 (java) R 9079 9079 5327 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 475182952 15508250624 6805 33554432000 4194304 4196468 140721396293360 140256424241648 140257535351968 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9094] ppid=9079 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9094/stat : 9094 (java) S 9079 9079 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475182952 15508250624 6805 33554432000 4194304 4196468 140721396293360 140256423189344 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9095] ppid=9079 vsize=15144776 memory=140132298901120 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9095/stat : 9095 (java) S 9079 9079 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475182953 15508250624 6805 33554432000 4194304 4196468 140721396293360 140256422136368 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28412 KiB
[startup+0.211227 s]*
/proc/loadavg: 8.37 8.15 7.71 6/234 9095
/proc/meminfo: memFree=5130684/32770624 swapFree=66972280/67108860
[pid=9079] ppid=9076 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9079/stat : 9079 (xcsp3-exec) S 9076 9079 5327 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475182946 115843072 364 33554432000 4194304 5098028 140725547485552 140725547483656 140567243211388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24768512 140725547488087 140725547488345 140725547488345 140725547491270 0
/proc/9079/statm: 28282 364 305 221 0 87 0
[pid=9081] ppid=9079 vsize=15144776 memory=39828 CPUtime=0.33 cores=1,3,5,7
/proc/9081/stat : 9081 (java) S 9079 9079 5327 0 -1 1077944320 9687 0 0 0 31 2 0 0 20 0 15 0 475182946 15508250624 9957 33554432000 4194304 4196468 140721396293360 140721396275904 140257556651767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
/proc/9081/statm: 3786194 9957 3304 1 0 3748377 0
[pid=9081/tid=9082] ppid=9079 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/9081/task/9082/stat : 9082 (java) R 9079 9079 5327 0 -1 4202560 6642 0 0 0 18 2 0 0 20 0 15 0 475182947 15508250624 9957 33554432000 4194304 4196468 140721396293360 140257560881488 140257556663702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9083] ppid=9079 vsize=15144776 memory=13657 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9083/stat : 9083 (java) S 9079 9079 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475182948 15508250624 9957 33554432000 4194304 4196468 140721396293360 140257148931088 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9084] ppid=9079 vsize=15144776 memory=140132302442145 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9084/stat : 9084 (java) S 9079 9079 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475182948 15508250624 9957 33554432000 4194304 4196468 140721396293360 140257147878544 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9085] ppid=9079 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9085/stat : 9085 (java) S 9079 9079 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475182948 15508250624 9957 33554432000 4194304 4196468 140721396293360 140257146825488 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9086] ppid=9079 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9086/stat : 9086 (java) S 9079 9079 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475182948 15508250624 9957 33554432000 4194304 4196468 140721396293360 140257145772944 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9087] ppid=9079 vsize=15144776 memory=140132298901120 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9087/stat : 9087 (java) S 9079 9079 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475182949 15508250624 9957 33554432000 4194304 4196468 140721396293360 140256430557424 140257556662914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9088] ppid=9079 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9088/stat : 9088 (java) S 9079 9079 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475182949 15508250624 9957 33554432000 4194304 4196468 140721396293360 140256429503648 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9089] ppid=9079 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9089/stat : 9089 (java) S 9079 9079 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475182950 15508250624 9957 33554432000 4194304 4196468 140721396293360 140256428450544 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9090] ppid=9079 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9090/stat : 9090 (java) S 9079 9079 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475182952 15508250624 9957 33554432000 4194304 4196468 140721396293360 140256427399120 140257556670363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9091] ppid=9079 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9081/task/9091/stat : 9091 (java) S 9079 9079 5327 0 -1 1077944384 815 0 0 0 3 0 0 0 20 0 15 0 475182952 15508250624 9957 33554432000 4194304 4196468 140721396293360 140256426347248 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9092] ppid=9079 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9081/task/9092/stat : 9092 (java) S 9079 9079 5327 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 15 0 475182952 15508250624 9957 33554432000 4194304 4196468 140721396293360 140256425294704 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9093] ppid=9079 vsize=15144776 memory=140132298901120 CPUtime=0.07 cores=1,3,5,7
/proc/9081/task/9093/stat : 9093 (java) R 9079 9079 5327 0 -1 4202560 884 0 0 0 7 0 0 0 20 0 15 0 475182952 15508250624 9957 33554432000 4194304 4196468 140721396293360 140256424241648 140257556663702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9094] ppid=9079 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9094/stat : 9094 (java) S 9079 9079 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475182952 15508250624 9957 33554432000 4194304 4196468 140721396293360 140256423189344 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9095] ppid=9079 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9095/stat : 9095 (java) S 9079 9079 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475182953 15508250624 9957 33554432000 4194304 4196468 140721396293360 140256422136368 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41284 KiB
[startup+0.310793 s]*
/proc/loadavg: 8.37 8.15 7.71 6/234 9095
/proc/meminfo: memFree=5125988/32770624 swapFree=66972280/67108860
[pid=9079] ppid=9076 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9079/stat : 9079 (xcsp3-exec) S 9076 9079 5327 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475182946 115843072 364 33554432000 4194304 5098028 140725547485552 140725547483656 140567243211388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24768512 140725547488087 140725547488345 140725547488345 140725547491270 0
/proc/9079/statm: 28282 364 305 221 0 87 0
[pid=9081] ppid=9079 vsize=15149032 memory=48828 CPUtime=0.52 cores=1,3,5,7
/proc/9081/stat : 9081 (java) S 9079 9079 5327 0 -1 1077944320 11012 0 0 0 49 3 0 0 20 0 15 0 475182946 15512608768 12207 33554432000 4194304 4196468 140721396293360 140721396275904 140257556651767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
/proc/9081/statm: 3787258 12207 3372 1 0 3748377 0
[pid=9081/tid=9082] ppid=9079 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/9081/task/9082/stat : 9082 (java) R 9079 9079 5327 0 -1 4202560 7699 0 0 0 28 2 0 0 20 0 15 0 475182947 15512608768 12207 33554432000 4194304 4196468 140721396293360 140257560882880 140257535721936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9083] ppid=9079 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9083/stat : 9083 (java) S 9079 9079 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475182948 15512608768 12207 33554432000 4194304 4196468 140721396293360 140257148931088 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9084] ppid=9079 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9084/stat : 9084 (java) S 9079 9079 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475182948 15512608768 12207 33554432000 4194304 4196468 140721396293360 140257147878544 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9085] ppid=9079 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9085/stat : 9085 (java) S 9079 9079 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475182948 15512608768 12207 33554432000 4194304 4196468 140721396293360 140257146825488 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9086] ppid=9079 vsize=15149032 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9086/stat : 9086 (java) S 9079 9079 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475182948 15512608768 12207 33554432000 4194304 4196468 140721396293360 140257145772944 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9087] ppid=9079 vsize=15149032 memory=7583879926218532242 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9087/stat : 9087 (java) S 9079 9079 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475182949 15512608768 12207 33554432000 4194304 4196468 140721396293360 140256430557424 140257556662914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9088] ppid=9079 vsize=15149032 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9088/stat : 9088 (java) S 9079 9079 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475182949 15512608768 12228 33554432000 4194304 4196468 140721396293360 140256429503648 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9089] ppid=9079 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9089/stat : 9089 (java) S 9079 9079 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475182950 15512608768 12228 33554432000 4194304 4196468 140721396293360 140256428450544 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9090] ppid=9079 vsize=15149032 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9090/stat : 9090 (java) S 9079 9079 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475182952 15512608768 12228 33554432000 4194304 4196468 140721396293360 140256427399120 140257556670363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9091] ppid=9079 vsize=15149032 memory=-8412656567168561567 CPUtime=0.05 cores=1,3,5,7
/proc/9081/task/9091/stat : 9091 (java) R 9079 9079 5327 0 -1 4202560 884 0 0 0 5 0 0 0 20 0 15 0 475182952 15512608768 12228 33554432000 4194304 4196468 140721396293360 140256426347248 140257537352064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9092] ppid=9079 vsize=15149032 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9081/task/9092/stat : 9092 (java) R 9079 9079 5327 0 -1 1077944384 75 0 0 0 2 0 0 0 20 0 15 0 475182952 15512608768 12228 33554432000 4194304 4196468 140721396293360 140256425294704 140257556662914 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9093] ppid=9079 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9081/task/9093/stat : 9093 (java) S 9079 9079 5327 0 -1 1077944384 1060 0 0 0 12 0 0 0 20 0 15 0 475182952 15512608768 12228 33554432000 4194304 4196468 140721396293360 140256424241648 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9094] ppid=9079 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9094/stat : 9094 (java) S 9079 9079 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475182952 15512608768 12228 33554432000 4194304 4196468 140721396293360 140256423189344 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9095] ppid=9079 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9095/stat : 9095 (java) S 9079 9079 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475182953 15512608768 12228 33554432000 4194304 4196468 140721396293360 140256422136368 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50284 KiB
[startup+0.701561 s]
/proc/loadavg: 8.37 8.15 7.71 10/234 9095
/proc/meminfo: memFree=5099376/32770624 swapFree=66972280/67108860
[pid=9079] ppid=9076 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9079/stat : 9079 (xcsp3-exec) S 9076 9079 5327 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475182946 115843072 364 33554432000 4194304 5098028 140725547485552 140725547483656 140567243211388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24768512 140725547488087 140725547488345 140725547488345 140725547491270 0
/proc/9079/statm: 28282 364 305 221 0 87 0
[pid=9081] ppid=9079 vsize=15151156 memory=90952 CPUtime=1.83 cores=1,3,5,7
/proc/9081/stat : 9081 (java) S 9079 9079 5327 0 -1 1077944320 15946 0 0 0 178 5 0 0 20 0 15 0 475182946 15514783744 22738 33554432000 4194304 4196468 140721396293360 140721396275904 140257556651767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
/proc/9081/statm: 3787789 22738 3453 1 0 3748889 0
[pid=9081/tid=9082] ppid=9079 vsize=15151156 memory=1791269799169 CPUtime=0.67 cores=1,3,5,7
/proc/9081/task/9082/stat : 9082 (java) R 9079 9079 5327 0 -1 4202560 9234 0 0 0 64 3 0 0 20 0 15 0 475182947 15514783744 22738 33554432000 4194304 4196468 140721396293360 140257560888544 140257556663702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9083] ppid=9079 vsize=15151156 memory=33 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9083/stat : 9083 (java) S 9079 9079 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475182948 15514783744 22738 33554432000 4194304 4196468 140721396293360 140257148931088 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9084] ppid=9079 vsize=15151156 memory=-7604262568725289114 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9084/stat : 9084 (java) S 9079 9079 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475182948 15514783744 22738 33554432000 4194304 4196468 140721396293360 140257147878544 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9085] ppid=9079 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9085/stat : 9085 (java) S 9079 9079 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475182948 15514783744 22738 33554432000 4194304 4196468 140721396293360 140257146825488 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9086] ppid=9079 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9086/stat : 9086 (java) S 9079 9079 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475182948 15514783744 22738 33554432000 4194304 4196468 140721396293360 140257145772944 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9087] ppid=9079 vsize=15151156 memory=43132 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9087/stat : 9087 (java) S 9079 9079 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475182949 15514783744 22738 33554432000 4194304 4196468 140721396293360 140256430557424 140257556662914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9088] ppid=9079 vsize=15151156 memory=992 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9088/stat : 9088 (java) S 9079 9079 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475182949 15514783744 22738 33554432000 4194304 4196468 140721396293360 140256429503648 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9089] ppid=9079 vsize=15151156 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9089/stat : 9089 (java) S 9079 9079 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475182950 15514783744 22738 33554432000 4194304 4196468 140721396293360 140256428450544 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9090] ppid=9079 vsize=15151156 memory=1432 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9090/stat : 9090 (java) S 9079 9079 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475182952 15514783744 22738 33554432000 4194304 4196468 140721396293360 140256427399120 140257556670363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9091] ppid=9079 vsize=15151156 memory=11624 CPUtime=0.36 cores=1,3,5,7
/proc/9081/task/9091/stat : 9091 (java) R 9079 9079 5327 0 -1 4202560 1959 0 0 0 36 0 0 0 20 0 15 0 475182952 15514783744 22738 33554432000 4194304 4196468 140721396293360 140256426333272 140257541578409 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9092] ppid=9079 vsize=15151156 memory=740 CPUtime=0.36 cores=1,3,5,7
/proc/9081/task/9092/stat : 9092 (java) R 9079 9079 5327 0 -1 4202560 1201 0 0 0 36 0 0 0 20 0 15 0 475182952 15514783744 22738 33554432000 4194304 4196468 140721396293360 140256425275136 140257540180470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9093] ppid=9079 vsize=15151156 memory=1056 CPUtime=0.4 cores=1,3,5,7
/proc/9081/task/9093/stat : 9093 (java) R 9079 9079 5327 0 -1 1077944384 2243 0 0 0 40 0 0 0 20 0 15 0 475182952 15514783744 22738 33554432000 4194304 4196468 140721396293360 140256424241648 140257556662914 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9094] ppid=9079 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9094/stat : 9094 (java) S 9079 9079 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475182952 15514783744 22738 33554432000 4194304 4196468 140721396293360 140256423189344 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9095] ppid=9079 vsize=15151156 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9095/stat : 9095 (java) S 9079 9079 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475182953 15514783744 22738 33554432000 4194304 4196468 140721396293360 140256422136368 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92408 KiB
[startup+1.50091 s]
/proc/loadavg: 8.50 8.18 7.73 10/234 9095
/proc/meminfo: memFree=4988360/32770624 swapFree=66972280/67108860
[pid=9079] ppid=9076 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9079/stat : 9079 (xcsp3-exec) S 9076 9079 5327 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475182946 115843072 364 33554432000 4194304 5098028 140725547485552 140725547483656 140567243211388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24768512 140725547488087 140725547488345 140725547488345 140725547491270 0
/proc/9079/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/9081/stat : 9081 (java) S 9079 9079 5327 0 -1 1077944320 169906 0 0 0 226462 179 0 0 20 0 19 0 475182946 15790579712 446255 33554432000 4194304 4196468 140721396293360 140721396275904 140257556651767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
/proc/9081/statm: 3855122 446255 3536 1 0 3816222 0
[pid=9081/tid=9082] ppid=9079 vsize=15420488 memory=1456 CPUtime=1.55 cores=1,3,5,7
/proc/9081/task/9082/stat : 9082 (java) S 9079 9079 5327 0 -1 1077944384 10085 0 0 0 149 6 0 0 20 0 19 0 475182947 15790579712 446255 33554432000 4194304 4196468 140721396293360 140257560892544 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9083] ppid=9079 vsize=15420488 memory=1456 CPUtime=0.5 cores=1,3,5,7
/proc/9081/task/9083/stat : 9083 (java) S 9079 9079 5327 0 -1 1077944384 5542 0 0 0 40 10 0 0 20 0 19 0 475182948 15790579712 446255 33554432000 4194304 4196468 140721396293360 140257148931088 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9084] ppid=9079 vsize=15420488 memory=1456 CPUtime=0.5 cores=1,3,5,7
/proc/9081/task/9084/stat : 9084 (java) S 9079 9079 5327 0 -1 1077944384 1694 0 0 0 39 11 0 0 20 0 19 0 475182948 15790579712 446255 33554432000 4194304 4196468 140721396293360 140257147878544 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9085] ppid=9079 vsize=15420488 memory=1456 CPUtime=0.51 cores=1,3,5,7
/proc/9081/task/9085/stat : 9085 (java) S 9079 9079 5327 0 -1 1077944384 2958 0 0 0 41 10 0 0 20 0 19 0 475182948 15790579712 446255 33554432000 4194304 4196468 140721396293360 140257146825488 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9086] ppid=9079 vsize=15420488 memory=1456 CPUtime=0.52 cores=1,3,5,7
/proc/9081/task/9086/stat : 9086 (java) S 9079 9079 5327 0 -1 1077944384 3900 0 0 0 40 12 0 0 20 0 19 0 475182948 15790579712 446255 33554432000 4194304 4196468 140721396293360 140257145772944 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9087] ppid=9079 vsize=15420488 memory=43136 CPUtime=0.09 cores=1,3,5,7
/proc/9081/task/9087/stat : 9087 (java) S 9079 9079 5327 0 -1 1077944384 5830 0 0 0 7 2 0 0 20 0 19 0 475182949 15790579712 446255 33554432000 4194304 4196468 140721396293360 140256430557424 140257556662914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9088] ppid=9079 vsize=15420488 memory=992 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9088/stat : 9088 (java) S 9079 9079 5327 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 475182949 15790579712 446255 33554432000 4194304 4196468 140721396293360 140256429503712 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9089] ppid=9079 vsize=15420488 memory=1784508 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9089/stat : 9089 (java) S 9079 9079 5327 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 475182950 15790579712 446255 33554432000 4194304 4196468 140721396293360 140256428450560 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9090] ppid=9079 vsize=15420488 memory=3612 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9090/stat : 9090 (java) S 9079 9079 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475182952 15790579712 446255 33554432000 4194304 4196468 140721396293360 140256427399120 140257556670363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9091] ppid=9079 vsize=15420488 memory=1456 CPUtime=3.55 cores=1,3,5,7
/proc/9081/task/9091/stat : 9091 (java) S 9079 9079 5327 0 -1 1077944384 27869 0 0 0 353 2 0 0 20 0 19 0 475182952 15790579712 446255 33554432000 4194304 4196468 140721396293360 140256426347248 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9092] ppid=9079 vsize=15420488 memory=1786560 CPUtime=3.35 cores=1,3,5,7
/proc/9081/task/9092/stat : 9092 (java) S 9079 9079 5327 0 -1 1077944384 23058 0 0 0 333 2 0 0 20 0 19 0 475182952 15790579712 446255 33554432000 4194304 4196468 140721396293360 140256425294704 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9093] ppid=9079 vsize=15420488 memory=1456 CPUtime=1.02 cores=1,3,5,7
/proc/9081/task/9093/stat : 9093 (java) S 9079 9079 5327 0 -1 1077944384 18473 0 0 0 100 2 0 0 20 0 19 0 475182952 15790579712 446255 33554432000 4194304 4196468 140721396293360 140256424241648 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9094] ppid=9079 vsize=15420488 memory=1785020 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9094/stat : 9094 (java) S 9079 9079 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475182952 15790579712 446255 33554432000 4194304 4196468 140721396293360 140256423189344 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9095] ppid=9079 vsize=15420488 memory=301741373374332954 CPUtime=0.32 cores=1,3,5,7
/proc/9081/task/9095/stat : 9095 (java) S 9079 9079 5327 0 -1 1077944384 2245 0 0 0 8 24 0 0 20 0 19 0 475182953 15790579712 446255 33554432000 4194304 4196468 140721396293360 140256422136368 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9120] ppid=9079 vsize=15420488 memory=8112282956445269571 CPUtime=511.47 cores=1,3,5,7
/proc/9081/task/9120/stat : 9120 (java) R 9079 9079 5327 0 -1 4202560 2971 0 0 0 51146 1 0 0 20 0 19 0 475189685 15790579712 446255 33554432000 4194304 4196468 140721396293360 140256412917288 140257200879583 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9121] ppid=9079 vsize=15420488 memory=924 CPUtime=511.34 cores=1,3,5,7
/proc/9081/task/9121/stat : 9121 (java) R 9079 9079 5327 0 -1 4202560 35853 0 0 0 51091 43 0 0 20 0 19 0 475189685 15790579712 446255 33554432000 4194304 4196468 140721396293360 140256410815632 140257200951888 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9122] ppid=9079 vsize=15420488 memory=8112282956445269571 CPUtime=512.11 cores=1,3,5,7
/proc/9081/task/9122/stat : 9122 (java) R 9079 9079 5327 0 -1 4202560 3623 0 0 0 51211 0 0 0 20 0 19 0 475189685 15790579712 446255 33554432000 4194304 4196468 140721396293360 140256406609760 140257200951888 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9123] ppid=9079 vsize=15420488 memory=3612 CPUtime=512.27 cores=1,3,5,7
/proc/9081/task/9123/stat : 9123 (java) R 9079 9079 5327 0 -1 4202560 5596 0 0 0 51223 4 0 0 20 0 19 0 475189686 15790579712 446255 33554432000 4194304 4196468 140721396293360 140256409759704 140257200885269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
Current children cumulated CPU time: 2266.41 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 1786476 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+615.902 s]
/proc/loadavg: 8.53 8.06 7.80 10/238 15406
/proc/meminfo: memFree=10190248/32770624 swapFree=66972280/67108860
[pid=9079] ppid=9076 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9079/stat : 9079 (xcsp3-exec) S 9076 9079 5327 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475182946 115843072 364 33554432000 4194304 5098028 140725547485552 140725547483656 140567243211388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24768512 140725547488087 140725547488345 140725547488345 140725547491270 0
/proc/9079/statm: 28282 364 305 221 0 87 0
[pid=9081] ppid=9079 vsize=15420488 memory=1777832 CPUtime=2400.14 cores=1,3,5,7
/proc/9081/stat : 9081 (java) S 9079 9079 5327 0 -1 1077944320 172224 0 0 0 239834 180 0 0 20 0 19 0 475182946 15790579712 444458 33554432000 4194304 4196468 140721396293360 140721396275904 140257556651767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
/proc/9081/statm: 3855122 444458 3536 1 0 3816222 0
[pid=9081/tid=9082] ppid=9079 vsize=15420488 memory=1777832 CPUtime=1.55 cores=1,3,5,7
/proc/9081/task/9082/stat : 9082 (java) S 9079 9079 5327 0 -1 1077944384 10085 0 0 0 149 6 0 0 20 0 19 0 475182947 15790579712 444458 33554432000 4194304 4196468 140721396293360 140257560892544 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9083] ppid=9079 vsize=15420488 memory=1456 CPUtime=0.54 cores=1,3,5,7
/proc/9081/task/9083/stat : 9083 (java) S 9079 9079 5327 0 -1 1077944384 5595 0 0 0 44 10 0 0 20 0 19 0 475182948 15790579712 444458 33554432000 4194304 4196468 140721396293360 140257148931088 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9084] ppid=9079 vsize=15420488 memory=1777832 CPUtime=0.55 cores=1,3,5,7
/proc/9081/task/9084/stat : 9084 (java) S 9079 9079 5327 0 -1 1077944384 1854 0 0 0 44 11 0 0 20 0 19 0 475182948 15790579712 444458 33554432000 4194304 4196468 140721396293360 140257147878544 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9085] ppid=9079 vsize=15420488 memory=1456 CPUtime=0.55 cores=1,3,5,7
/proc/9081/task/9085/stat : 9085 (java) S 9079 9079 5327 0 -1 1077944384 3067 0 0 0 45 10 0 0 20 0 19 0 475182948 15790579712 444458 33554432000 4194304 4196468 140721396293360 140257146825488 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9086] ppid=9079 vsize=15420488 memory=11624 CPUtime=0.56 cores=1,3,5,7
/proc/9081/task/9086/stat : 9086 (java) S 9079 9079 5327 0 -1 1077944384 4334 0 0 0 44 12 0 0 20 0 19 0 475182948 15790579712 444458 33554432000 4194304 4196468 140721396293360 140257145772944 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9087] ppid=9079 vsize=15420488 memory=740 CPUtime=0.11 cores=1,3,5,7
/proc/9081/task/9087/stat : 9087 (java) S 9079 9079 5327 0 -1 1077944384 6092 0 0 0 8 3 0 0 20 0 19 0 475182949 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256430557424 140257556662914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9088] ppid=9079 vsize=15420488 memory=924 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9088/stat : 9088 (java) S 9079 9079 5327 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 475182949 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256429503712 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9089] ppid=9079 vsize=15420488 memory=1672 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9089/stat : 9089 (java) S 9079 9079 5327 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 475182950 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256428450560 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9090] ppid=9079 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9090/stat : 9090 (java) S 9079 9079 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475182952 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256427399120 140257556670363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9091] ppid=9079 vsize=15420488 memory=33 CPUtime=3.55 cores=1,3,5,7
/proc/9081/task/9091/stat : 9091 (java) S 9079 9079 5327 0 -1 1077944384 28326 0 0 0 353 2 0 0 20 0 19 0 475182952 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256426347248 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9092] ppid=9079 vsize=15420488 memory=1456 CPUtime=3.35 cores=1,3,5,7
/proc/9081/task/9092/stat : 9092 (java) S 9079 9079 5327 0 -1 1077944384 23060 0 0 0 333 2 0 0 20 0 19 0 475182952 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256425294704 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9093] ppid=9079 vsize=15420488 memory=1456 CPUtime=1.02 cores=1,3,5,7
/proc/9081/task/9093/stat : 9093 (java) S 9079 9079 5327 0 -1 1077944384 18475 0 0 0 100 2 0 0 20 0 19 0 475182952 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256424241648 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9094] ppid=9079 vsize=15420488 memory=55 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9094/stat : 9094 (java) S 9079 9079 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475182952 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256423189344 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9095] ppid=9079 vsize=15420488 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/9081/task/9095/stat : 9095 (java) S 9079 9079 5327 0 -1 1077944384 2268 0 0 0 8 25 0 0 20 0 19 0 475182953 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256422136368 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9120] ppid=9079 vsize=15420488 memory=4768 CPUtime=544.89 cores=1,3,5,7
/proc/9081/task/9120/stat : 9120 (java) R 9079 9079 5327 0 -1 4202560 3152 0 0 0 54488 1 0 0 20 0 19 0 475189685 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256412920096 140257200831936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9121] ppid=9079 vsize=15420488 memory=1456 CPUtime=544.79 cores=1,3,5,7
/proc/9081/task/9121/stat : 9121 (java) R 9079 9079 5327 0 -1 4202560 36018 0 0 0 54436 43 0 0 20 0 19 0 475189685 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256410812840 140257200951888 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9122] ppid=9079 vsize=15420488 memory=3644 CPUtime=545.32 cores=1,3,5,7
/proc/9081/task/9122/stat : 9122 (java) R 9079 9079 5327 0 -1 4202560 3967 0 0 0 54532 0 0 0 20 0 19 0 475189685 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256406610008 140257200951888 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9123] ppid=9079 vsize=15420488 memory=780 CPUtime=545.72 cores=1,3,5,7
/proc/9081/task/9123/stat : 9123 (java) R 9079 9079 5327 0 -1 4202560 5722 0 0 0 54568 4 0 0 20 0 19 0 475189686 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256409759456 140257194984940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
Current children cumulated CPU time: 2400.14 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 1779288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+615.925 s]
# the end of solver process 9079 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001128 s, system=0.001128 s
[startup+615.999 s]
# the end of solver process 9081 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.68 s, system=1.81624 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+615.902 s]
/proc/loadavg: 8.53 8.06 7.80 10/238 15406
/proc/meminfo: memFree=10190248/32770624 swapFree=66972280/67108860
[pid=9079] ppid=9076 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9079/stat : 9079 (xcsp3-exec) S 9076 9079 5327 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475182946 115843072 364 33554432000 4194304 5098028 140725547485552 140725547483656 140567243211388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24768512 140725547488087 140725547488345 140725547488345 140725547491270 0
/proc/9079/statm: 28282 364 305 221 0 87 0
[pid=9081] ppid=9079 vsize=15420488 memory=1777832 CPUtime=2400.14 cores=1,3,5,7
/proc/9081/stat : 9081 (java) S 9079 9079 5327 0 -1 1077944320 172224 0 0 0 239834 180 0 0 20 0 19 0 475182946 15790579712 444458 33554432000 4194304 4196468 140721396293360 140721396275904 140257556651767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
/proc/9081/statm: 3855122 444458 3536 1 0 3816222 0
[pid=9081/tid=9082] ppid=9079 vsize=15420488 memory=1777832 CPUtime=1.55 cores=1,3,5,7
/proc/9081/task/9082/stat : 9082 (java) S 9079 9079 5327 0 -1 1077944384 10085 0 0 0 149 6 0 0 20 0 19 0 475182947 15790579712 444458 33554432000 4194304 4196468 140721396293360 140257560892544 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9083] ppid=9079 vsize=15420488 memory=1456 CPUtime=0.54 cores=1,3,5,7
/proc/9081/task/9083/stat : 9083 (java) S 9079 9079 5327 0 -1 1077944384 5595 0 0 0 44 10 0 0 20 0 19 0 475182948 15790579712 444458 33554432000 4194304 4196468 140721396293360 140257148931088 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9084] ppid=9079 vsize=15420488 memory=1777832 CPUtime=0.55 cores=1,3,5,7
/proc/9081/task/9084/stat : 9084 (java) S 9079 9079 5327 0 -1 1077944384 1854 0 0 0 44 11 0 0 20 0 19 0 475182948 15790579712 444458 33554432000 4194304 4196468 140721396293360 140257147878544 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9085] ppid=9079 vsize=15420488 memory=1456 CPUtime=0.55 cores=1,3,5,7
/proc/9081/task/9085/stat : 9085 (java) S 9079 9079 5327 0 -1 1077944384 3067 0 0 0 45 10 0 0 20 0 19 0 475182948 15790579712 444458 33554432000 4194304 4196468 140721396293360 140257146825488 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9086] ppid=9079 vsize=15420488 memory=11624 CPUtime=0.56 cores=1,3,5,7
/proc/9081/task/9086/stat : 9086 (java) S 9079 9079 5327 0 -1 1077944384 4334 0 0 0 44 12 0 0 20 0 19 0 475182948 15790579712 444458 33554432000 4194304 4196468 140721396293360 140257145772944 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9087] ppid=9079 vsize=15420488 memory=740 CPUtime=0.11 cores=1,3,5,7
/proc/9081/task/9087/stat : 9087 (java) S 9079 9079 5327 0 -1 1077944384 6092 0 0 0 8 3 0 0 20 0 19 0 475182949 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256430557424 140257556662914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9088] ppid=9079 vsize=15420488 memory=924 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9088/stat : 9088 (java) S 9079 9079 5327 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 475182949 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256429503712 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9089] ppid=9079 vsize=15420488 memory=1672 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9089/stat : 9089 (java) S 9079 9079 5327 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 475182950 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256428450560 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9090] ppid=9079 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9090/stat : 9090 (java) S 9079 9079 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475182952 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256427399120 140257556670363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9091] ppid=9079 vsize=15420488 memory=33 CPUtime=3.55 cores=1,3,5,7
/proc/9081/task/9091/stat : 9091 (java) S 9079 9079 5327 0 -1 1077944384 28326 0 0 0 353 2 0 0 20 0 19 0 475182952 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256426347248 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9092] ppid=9079 vsize=15420488 memory=1456 CPUtime=3.35 cores=1,3,5,7
/proc/9081/task/9092/stat : 9092 (java) S 9079 9079 5327 0 -1 1077944384 23060 0 0 0 333 2 0 0 20 0 19 0 475182952 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256425294704 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9093] ppid=9079 vsize=15420488 memory=1456 CPUtime=1.02 cores=1,3,5,7
/proc/9081/task/9093/stat : 9093 (java) S 9079 9079 5327 0 -1 1077944384 18475 0 0 0 100 2 0 0 20 0 19 0 475182952 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256424241648 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9094] ppid=9079 vsize=15420488 memory=55 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9094/stat : 9094 (java) S 9079 9079 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475182952 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256423189344 140257556661973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9095] ppid=9079 vsize=15420488 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/9081/task/9095/stat : 9095 (java) S 9079 9079 5327 0 -1 1077944384 2268 0 0 0 8 25 0 0 20 0 19 0 475182953 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256422136368 140257556662914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9120] ppid=9079 vsize=15420488 memory=4768 CPUtime=544.89 cores=1,3,5,7
/proc/9081/task/9120/stat : 9120 (java) R 9079 9079 5327 0 -1 4202560 3152 0 0 0 54488 1 0 0 20 0 19 0 475189685 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256412920096 140257200831936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9121] ppid=9079 vsize=15420488 memory=1456 CPUtime=544.79 cores=1,3,5,7
/proc/9081/task/9121/stat : 9121 (java) R 9079 9079 5327 0 -1 4202560 36018 0 0 0 54436 43 0 0 20 0 19 0 475189685 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256410812840 140257200951888 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9122] ppid=9079 vsize=15420488 memory=3644 CPUtime=545.32 cores=1,3,5,7
/proc/9081/task/9122/stat : 9122 (java) R 9079 9079 5327 0 -1 4202560 3967 0 0 0 54532 0 0 0 20 0 19 0 475189685 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256406610008 140257200951888 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
[pid=9081/tid=9123] ppid=9079 vsize=15420488 memory=780 CPUtime=545.72 cores=1,3,5,7
/proc/9081/task/9123/stat : 9123 (java) R 9079 9079 5327 0 -1 4202560 5722 0 0 0 54568 4 0 0 20 0 19 0 475189686 15790579712 444458 33554432000 4194304 4196468 140721396293360 140256409759456 140257194984940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140721396298715 140721396298890 140721396298890 140721396301775 0
Current children cumulated CPU time: 2400.14 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 1779288 KiB
Child status: 143
Real time (s): 615.999
CPU time (s): 2400.5
CPU user time (s): 2398.68
CPU system time (s): 1.81624
CPU usage (%): 389.692
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 2214840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.68
system time used= 1.81624
maximum resident set size= 2221576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173853
page faults= 0
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18524
involuntary context switches= 39797
# summary of solver processes directly reported to runsolver:
# pid: 9079,9081
# total CPU time (s): 2400.5
# total CPU user time (s): 2398.68
# total CPU system time (s): 1.81624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.76456 second user time and 7.37821 second system time
The end