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 (13490 MiB free)
memory of node 1: 16384 MiB (14193 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405800-1569406924/watcher-4405800-1569406924 -o /var/tmp/evaluation-result-4405800-1569406924/solver-4405800-1569406924 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1569406883-8783 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 483925817 HOME/instance-4405800-1569406924.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8815, runsolver pid=8812
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 1.66 2.04 2.04 5/230 8844
/proc/meminfo: memFree=28319488/32770624 swapFree=67024124/67108860
[pid=8815] ppid=8812 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8815/stat : 8815 (xcsp3-exec) S 8812 8815 8752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516964867 115843072 364 33554432000 4194304 5098028 140729311319696 140729311317800 139763150721660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13688832 140729311327063 140729311327321 140729311327321 140729311330246 0
/proc/8815/statm: 28282 364 305 221 0 87 0
[pid=8821] ppid=8815 vsize=15144776 memory=28880 CPUtime=0.13 cores=0,2,4,6
/proc/8821/stat : 8821 (java) S 8815 8815 8752 0 -1 1077944320 5688 0 0 0 12 1 0 0 20 0 15 0 516964868 15508250624 7220 33554432000 4194304 4196468 140725334409648 140725334392192 140715095703287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
/proc/8821/statm: 3786194 7220 3137 1 0 3748377 0
[pid=8821/tid=8822] ppid=8815 vsize=15144776 memory=7899777325340005211 CPUtime=0.09 cores=0,2,4,6
/proc/8821/task/8822/stat : 8822 (java) R 8815 8815 8752 0 -1 4202560 3586 0 0 0 9 0 0 0 20 0 15 0 516964868 15508250624 7220 33554432000 4194304 4196468 140725334409648 140715099929248 140715095715222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8823] ppid=8815 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8823/stat : 8823 (java) S 8815 8815 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516964869 15508250624 7220 33554432000 4194304 4196468 140725334409648 140714688113168 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8824] ppid=8815 vsize=15144776 memory=140714749187712 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8824/stat : 8824 (java) S 8815 8815 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516964869 15508250624 7220 33554432000 4194304 4196468 140725334409648 140714687060624 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8825] ppid=8815 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8825/stat : 8825 (java) S 8815 8815 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516964869 15508250624 7220 33554432000 4194304 4196468 140725334409648 140714686007568 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8826] ppid=8815 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8826/stat : 8826 (java) S 8815 8815 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516964869 15508250624 7220 33554432000 4194304 4196468 140725334409648 140714684955024 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8830] ppid=8815 vsize=15144776 memory=140714749187712 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8830/stat : 8830 (java) S 8815 8815 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516964870 15508250624 7220 33554432000 4194304 4196468 140725334409648 140714563861232 140715095714434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8831] ppid=8815 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8831/stat : 8831 (java) S 8815 8815 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516964870 15508250624 7220 33554432000 4194304 4196468 140725334409648 140714562807456 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8832] ppid=8815 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8832/stat : 8832 (java) S 8815 8815 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516964871 15508250624 7220 33554432000 4194304 4196468 140725334409648 140714561754352 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8839] ppid=8815 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8839/stat : 8839 (java) S 8815 8815 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516964873 15508250624 7220 33554432000 4194304 4196468 140725334409648 140714560702928 140715095721883 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8840] ppid=8815 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8840/stat : 8840 (java) S 8815 8815 8752 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 15 0 516964873 15508250624 7220 33554432000 4194304 4196468 140725334409648 140714559650032 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8841] ppid=8815 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8841/stat : 8841 (java) S 8815 8815 8752 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 516964873 15508250624 7220 33554432000 4194304 4196468 140725334409648 140714558597488 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8842] ppid=8815 vsize=15144776 memory=140714749187712 CPUtime=0.02 cores=0,2,4,6
/proc/8821/task/8842/stat : 8842 (java) R 8815 8815 8752 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 15 0 516964873 15508250624 7220 33554432000 4194304 4196468 140725334409648 140714557544432 140715081399016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8843] ppid=8815 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8843/stat : 8843 (java) S 8815 8815 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516964873 15508250624 7220 33554432000 4194304 4196468 140725334409648 140714556492128 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8844] ppid=8815 vsize=15144776 memory=140714749187712 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8844/stat : 8844 (java) S 8815 8815 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516964874 15508250624 7220 33554432000 4194304 4196468 140725334409648 140714555440176 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30336 KiB
[startup+0.210842 s]*
/proc/loadavg: 1.66 2.04 2.04 5/230 8844
/proc/meminfo: memFree=28294004/32770624 swapFree=67024124/67108860
[pid=8815] ppid=8812 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8815/stat : 8815 (xcsp3-exec) S 8812 8815 8752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516964867 115843072 364 33554432000 4194304 5098028 140729311319696 140729311317800 139763150721660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13688832 140729311327063 140729311327321 140729311327321 140729311330246 0
/proc/8815/statm: 28282 364 305 221 0 87 0
[pid=8821] ppid=8815 vsize=15144776 memory=40900 CPUtime=0.35 cores=0,2,4,6
/proc/8821/stat : 8821 (java) S 8815 8815 8752 0 -1 1077944320 9465 0 0 0 32 3 0 0 20 0 15 0 516964868 15508250624 10225 33554432000 4194304 4196468 140725334409648 140725334392192 140715095703287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
/proc/8821/statm: 3786194 10225 3296 1 0 3748377 0
[pid=8821/tid=8822] ppid=8815 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/8821/task/8822/stat : 8822 (java) R 8815 8815 8752 0 -1 4202560 6611 0 0 0 18 2 0 0 20 0 15 0 516964868 15508250624 10225 33554432000 4194304 4196468 140725334409648 140715099941104 140715095715222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8823] ppid=8815 vsize=15144776 memory=13575 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8823/stat : 8823 (java) S 8815 8815 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516964869 15508250624 10225 33554432000 4194304 4196468 140725334409648 140714688113168 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8824] ppid=8815 vsize=15144776 memory=140714753064594 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8824/stat : 8824 (java) S 8815 8815 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516964869 15508250624 10225 33554432000 4194304 4196468 140725334409648 140714687060624 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8825] ppid=8815 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8825/stat : 8825 (java) S 8815 8815 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516964869 15508250624 10225 33554432000 4194304 4196468 140725334409648 140714686007568 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8826] ppid=8815 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8826/stat : 8826 (java) S 8815 8815 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516964869 15508250624 10225 33554432000 4194304 4196468 140725334409648 140714684955024 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8830] ppid=8815 vsize=15144776 memory=140714749187712 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8830/stat : 8830 (java) S 8815 8815 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516964870 15508250624 10225 33554432000 4194304 4196468 140725334409648 140714563861232 140715095714434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8831] ppid=8815 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8831/stat : 8831 (java) S 8815 8815 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516964870 15508250624 10225 33554432000 4194304 4196468 140725334409648 140714562807456 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8832] ppid=8815 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8832/stat : 8832 (java) S 8815 8815 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516964871 15508250624 10225 33554432000 4194304 4196468 140725334409648 140714561754352 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8839] ppid=8815 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8839/stat : 8839 (java) S 8815 8815 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516964873 15508250624 10225 33554432000 4194304 4196468 140725334409648 140714560702928 140715095721883 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8840] ppid=8815 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8821/task/8840/stat : 8840 (java) S 8815 8815 8752 0 -1 1077944384 579 0 0 0 2 0 0 0 20 0 15 0 516964873 15508250624 10225 33554432000 4194304 4196468 140725334409648 140714559650032 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8841] ppid=8815 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8821/task/8841/stat : 8841 (java) S 8815 8815 8752 0 -1 1077944384 217 0 0 0 2 0 0 0 20 0 15 0 516964873 15508250624 10225 33554432000 4194304 4196468 140725334409648 140714558597488 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8842] ppid=8815 vsize=15144776 memory=140714749187712 CPUtime=0.08 cores=0,2,4,6
/proc/8821/task/8842/stat : 8842 (java) S 8815 8815 8752 0 -1 1077944384 751 0 0 0 8 0 0 0 20 0 15 0 516964873 15508250624 10225 33554432000 4194304 4196468 140725334409648 140714557544432 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8843] ppid=8815 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8843/stat : 8843 (java) S 8815 8815 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516964873 15508250624 10225 33554432000 4194304 4196468 140725334409648 140714556492128 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8844] ppid=8815 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8844/stat : 8844 (java) S 8815 8815 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516964874 15508250624 10225 33554432000 4194304 4196468 140725334409648 140714555440176 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42356 KiB
[startup+0.316098 s]*
/proc/loadavg: 1.66 2.04 2.04 5/230 8844
/proc/meminfo: memFree=28277588/32770624 swapFree=67024124/67108860
[pid=8815] ppid=8812 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8815/stat : 8815 (xcsp3-exec) S 8812 8815 8752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516964867 115843072 364 33554432000 4194304 5098028 140729311319696 140729311317800 139763150721660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13688832 140729311327063 140729311327321 140729311327321 140729311330246 0
/proc/8815/statm: 28282 364 305 221 0 87 0
[pid=8821] ppid=8815 vsize=15149032 memory=50348 CPUtime=0.53 cores=0,2,4,6
/proc/8821/stat : 8821 (java) S 8815 8815 8752 0 -1 1077944320 10919 0 0 0 50 3 0 0 20 0 15 0 516964868 15512608768 12587 33554432000 4194304 4196468 140725334409648 140725334392192 140715095703287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
/proc/8821/statm: 3787258 12587 3357 1 0 3748377 0
[pid=8821/tid=8822] ppid=8815 vsize=15149032 memory=7883960649037381690 CPUtime=0.31 cores=0,2,4,6
/proc/8821/task/8822/stat : 8822 (java) R 8815 8815 8752 0 -1 4202560 7867 0 0 0 28 3 0 0 20 0 15 0 516964868 15512608768 12596 33554432000 4194304 4196468 140725334409648 140715099938752 140715088420250 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8823] ppid=8815 vsize=15149032 memory=13938 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8823/stat : 8823 (java) S 8815 8815 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516964869 15512608768 12596 33554432000 4194304 4196468 140725334409648 140714688113168 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8824] ppid=8815 vsize=15149032 memory=3884169 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8824/stat : 8824 (java) S 8815 8815 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516964869 15512608768 12596 33554432000 4194304 4196468 140725334409648 140714687060624 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8825] ppid=8815 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8825/stat : 8825 (java) S 8815 8815 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516964869 15512608768 12596 33554432000 4194304 4196468 140725334409648 140714686007568 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8826] ppid=8815 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8826/stat : 8826 (java) S 8815 8815 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516964869 15512608768 12596 33554432000 4194304 4196468 140725334409648 140714684955024 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8830] ppid=8815 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8830/stat : 8830 (java) S 8815 8815 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516964870 15512608768 12596 33554432000 4194304 4196468 140725334409648 140714563861232 140715095714434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8831] ppid=8815 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8831/stat : 8831 (java) S 8815 8815 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516964870 15512608768 12596 33554432000 4194304 4196468 140725334409648 140714562807456 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8832] ppid=8815 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8832/stat : 8832 (java) S 8815 8815 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516964871 15512608768 12596 33554432000 4194304 4196468 140725334409648 140714561754352 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8839] ppid=8815 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8839/stat : 8839 (java) S 8815 8815 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516964873 15512608768 12596 33554432000 4194304 4196468 140725334409648 140714560702928 140715095721883 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8840] ppid=8815 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/8821/task/8840/stat : 8840 (java) S 8815 8815 8752 0 -1 1077944384 692 0 0 0 5 0 0 0 20 0 15 0 516964873 15512608768 12596 33554432000 4194304 4196468 140725334409648 140714559650032 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8841] ppid=8815 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/8821/task/8841/stat : 8841 (java) R 8815 8815 8752 0 -1 1077944384 232 0 0 0 4 0 0 0 20 0 15 0 516964873 15512608768 12596 33554432000 4194304 4196468 140725334409648 140714558597488 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8842] ppid=8815 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8821/task/8842/stat : 8842 (java) R 8815 8815 8752 0 -1 1077944384 823 0 0 0 12 0 0 0 20 0 15 0 516964873 15512608768 12596 33554432000 4194304 4196468 140725334409648 140714557544432 140715095714434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8843] ppid=8815 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8843/stat : 8843 (java) S 8815 8815 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516964873 15512608768 12596 33554432000 4194304 4196468 140725334409648 140714556492128 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8844] ppid=8815 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8844/stat : 8844 (java) S 8815 8815 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516964874 15512608768 12596 33554432000 4194304 4196468 140725334409648 140714555440176 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51804 KiB
[startup+0.701106 s]
/proc/loadavg: 1.66 2.04 2.04 7/230 8844
/proc/meminfo: memFree=28247472/32770624 swapFree=67024124/67108860
[pid=8815] ppid=8812 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8815/stat : 8815 (xcsp3-exec) S 8812 8815 8752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516964867 115843072 364 33554432000 4194304 5098028 140729311319696 140729311317800 139763150721660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13688832 140729311327063 140729311327321 140729311327321 140729311330246 0
/proc/8815/statm: 28282 364 305 221 0 87 0
[pid=8821] ppid=8815 vsize=15151156 memory=89288 CPUtime=1.56 cores=0,2,4,6
/proc/8821/stat : 8821 (java) S 8815 8815 8752 0 -1 1077944320 19554 0 0 0 150 6 0 0 20 0 15 0 516964868 15514783744 22322 33554432000 4194304 4196468 140725334409648 140725334392192 140715095703287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
/proc/8821/statm: 3787789 22322 3451 1 0 3748889 0
[pid=8821/tid=8822] ppid=8815 vsize=15151156 memory=12328 CPUtime=0.68 cores=0,2,4,6
/proc/8821/task/8822/stat : 8822 (java) R 8815 8815 8752 0 -1 4202560 9746 0 0 0 65 3 0 0 20 0 15 0 516964868 15514783744 22322 33554432000 4194304 4196468 140725334409648 140715099941696 140714691925515 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8823] ppid=8815 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8823/stat : 8823 (java) S 8815 8815 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516964869 15514783744 22322 33554432000 4194304 4196468 140725334409648 140714688113168 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8824] ppid=8815 vsize=15151156 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8824/stat : 8824 (java) S 8815 8815 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516964869 15514783744 22322 33554432000 4194304 4196468 140725334409648 140714687060624 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8825] ppid=8815 vsize=15151156 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8825/stat : 8825 (java) S 8815 8815 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516964869 15514783744 22322 33554432000 4194304 4196468 140725334409648 140714686007568 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8826] ppid=8815 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8826/stat : 8826 (java) S 8815 8815 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516964869 15514783744 22322 33554432000 4194304 4196468 140725334409648 140714684955024 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8830] ppid=8815 vsize=15151156 memory=1940 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8830/stat : 8830 (java) S 8815 8815 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516964870 15514783744 22322 33554432000 4194304 4196468 140725334409648 140714563861232 140715095714434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8831] ppid=8815 vsize=15151156 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8831/stat : 8831 (java) S 8815 8815 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516964870 15514783744 22322 33554432000 4194304 4196468 140725334409648 140714562807456 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8832] ppid=8815 vsize=15151156 memory=2508 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8832/stat : 8832 (java) S 8815 8815 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516964871 15514783744 22322 33554432000 4194304 4196468 140725334409648 140714561754352 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8839] ppid=8815 vsize=15151156 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8839/stat : 8839 (java) S 8815 8815 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516964873 15514783744 22322 33554432000 4194304 4196468 140725334409648 140714560702928 140715095721883 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8840] ppid=8815 vsize=15151156 memory=836 CPUtime=0.26 cores=0,2,4,6
/proc/8821/task/8840/stat : 8840 (java) R 8815 8815 8752 0 -1 4202560 3061 0 0 0 26 0 0 0 20 0 15 0 516964873 15514783744 22322 33554432000 4194304 4196468 140725334409648 140714559630312 140715078915604 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8841] ppid=8815 vsize=15151156 memory=1760 CPUtime=0.27 cores=0,2,4,6
/proc/8821/task/8841/stat : 8841 (java) R 8815 8815 8752 0 -1 4202560 3123 0 0 0 26 1 0 0 20 0 15 0 516964873 15514783744 22322 33554432000 4194304 4196468 140725334409648 140714558583592 140715076895639 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8842] ppid=8815 vsize=15151156 memory=111632 CPUtime=0.32 cores=0,2,4,6
/proc/8821/task/8842/stat : 8842 (java) S 8815 8815 8752 0 -1 1077944384 2315 0 0 0 32 0 0 0 20 0 15 0 516964873 15514783744 22322 33554432000 4194304 4196468 140725334409648 140714557544432 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8843] ppid=8815 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8843/stat : 8843 (java) S 8815 8815 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516964873 15514783744 22322 33554432000 4194304 4196468 140725334409648 140714556492128 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8844] ppid=8815 vsize=15151156 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8844/stat : 8844 (java) S 8815 8815 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516964874 15514783744 22322 33554432000 4194304 4196468 140725334409648 140714555440176 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 90744 KiB
[startup+1.50082 s]
/proc/loadavg: 1.66 2.04 2.04 7/230 8844
/proc/meminfo: memFree=28159208/32770624 swapFree=67024124/67108860
[pid=8815] ppid=8812 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8815/stat : 8815 (xcsp3-exec) S 8812 8815 8752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516964867 115843072 364 33554432000 4194304 5098028 140729311319696 140729311317800 139763150721660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13688832 140729311327063 140729311327321 140729311327321 140729311330246 0
/proc/8815/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/8821/task/8832/stat : 8832 (java) S 8815 8815 8752 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 516964871 15514783744 802370 33554432000 4194304 4196468 140725334409648 140714561754368 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8839] ppid=8815 vsize=15151156 memory=7018971428165674351 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8839/stat : 8839 (java) S 8815 8815 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516964873 15514783744 802370 33554432000 4194304 4196468 140725334409648 140714560702928 140715095721883 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8840] ppid=8815 vsize=15151156 memory=7444824449295607659 CPUtime=3.87 cores=0,2,4,6
/proc/8821/task/8840/stat : 8840 (java) S 8815 8815 8752 0 -1 1077944384 25543 0 0 0 385 2 0 0 20 0 15 0 516964873 15514783744 802370 33554432000 4194304 4196468 140725334409648 140714559650032 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8841] ppid=8815 vsize=15151156 memory=7444824449295607659 CPUtime=3.86 cores=0,2,4,6
/proc/8821/task/8841/stat : 8841 (java) S 8815 8815 8752 0 -1 1077944384 24626 0 0 0 384 2 0 0 20 0 15 0 516964873 15514783744 802370 33554432000 4194304 4196468 140725334409648 140714558597488 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8842] ppid=8815 vsize=15151156 memory=7444824449295607659 CPUtime=0.6 cores=0,2,4,6
/proc/8821/task/8842/stat : 8842 (java) S 8815 8815 8752 0 -1 1077944384 10598 0 0 0 58 2 0 0 20 0 15 0 516964873 15514783744 802370 33554432000 4194304 4196468 140725334409648 140714557544432 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8843] ppid=8815 vsize=15151156 memory=7444824449295607659 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8843/stat : 8843 (java) S 8815 8815 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516964873 15514783744 802370 33554432000 4194304 4196468 140725334409648 140714556492128 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8844] ppid=8815 vsize=15151156 memory=131 CPUtime=0.61 cores=0,2,4,6
/proc/8821/task/8844/stat : 8844 (java) S 8815 8815 8752 0 -1 1077944384 1576 0 0 0 29 32 0 0 20 0 15 0 516964874 15514783744 802370 33554432000 4194304 4196468 140725334409648 140714555440176 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
Current children cumulated CPU time: 2409.49 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 3210936 KiB
[startup+2442.3 s]
/proc/loadavg: 1.52 1.55 1.57 3/230 9094
/proc/meminfo: memFree=26740984/32770624 swapFree=67024132/67108860
[pid=8815] ppid=8812 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8815/stat : 8815 (xcsp3-exec) S 8812 8815 8752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516964867 115843072 364 33554432000 4194304 5098028 140729311319696 140729311317800 139763150721660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13688832 140729311327063 140729311327321 140729311327321 140729311330246 0
/proc/8815/statm: 28282 364 305 221 0 87 0
[pid=8821] ppid=8815 vsize=15151156 memory=822444 CPUtime=2469.99 cores=0,2,4,6
/proc/8821/stat : 8821 (java) S 8815 8815 8752 0 -1 1077944320 241746 0 0 0 246511 488 0 0 20 0 15 0 516964868 15514783744 205611 33554432000 4194304 4196468 140725334409648 140725334392192 140715095703287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
/proc/8821/statm: 3787789 205611 3527 1 0 3748889 0
[pid=8821/tid=8822] ppid=8815 vsize=15151156 memory=15816698942982814 CPUtime=2433.59 cores=0,2,4,6
/proc/8821/task/8822/stat : 8822 (java) R 8815 8815 8752 0 -1 4202560 97863 0 0 0 242976 383 0 0 20 0 15 0 516964868 15514783744 205611 33554432000 4194304 4196468 140725334409648 140715099943120 140714693758896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8823] ppid=8815 vsize=15151156 memory=111632 CPUtime=6.51 cores=0,2,4,6
/proc/8821/task/8823/stat : 8823 (java) S 8815 8815 8752 0 -1 1077944384 15753 0 0 0 637 14 0 0 20 0 15 0 516964869 15514783744 205611 33554432000 4194304 4196468 140725334409648 140714688113168 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8824] ppid=8815 vsize=15151156 memory=8112282956445269571 CPUtime=6.51 cores=0,2,4,6
/proc/8821/task/8824/stat : 8824 (java) S 8815 8815 8752 0 -1 1077944384 16520 0 0 0 637 14 0 0 20 0 15 0 516964869 15514783744 205611 33554432000 4194304 4196468 140725334409648 140714687060624 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8825] ppid=8815 vsize=15151156 memory=1804 CPUtime=6.48 cores=0,2,4,6
/proc/8821/task/8825/stat : 8825 (java) S 8815 8815 8752 0 -1 1077944384 14443 0 0 0 636 12 0 0 20 0 15 0 516964869 15514783744 205611 33554432000 4194304 4196468 140725334409648 140714686007568 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8826] ppid=8815 vsize=15151156 memory=916 CPUtime=6.48 cores=0,2,4,6
/proc/8821/task/8826/stat : 8826 (java) S 8815 8815 8752 0 -1 1077944384 15899 0 0 0 633 15 0 0 20 0 15 0 516964869 15514783744 205611 33554432000 4194304 4196468 140725334409648 140714684955024 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8830] ppid=8815 vsize=15151156 memory=3880 CPUtime=1.36 cores=0,2,4,6
/proc/8821/task/8830/stat : 8830 (java) S 8815 8815 8752 0 -1 1077944384 17521 0 0 0 115 21 0 0 20 0 15 0 516964870 15514783744 205611 33554432000 4194304 4196468 140725334409648 140714563861232 140715095714434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8831] ppid=8815 vsize=15151156 memory=7712 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8831/stat : 8831 (java) S 8815 8815 8752 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 516964870 15514783744 205611 33554432000 4194304 4196468 140725334409648 140714562807520 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8832] ppid=8815 vsize=15151156 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8832/stat : 8832 (java) S 8815 8815 8752 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 516964871 15514783744 205611 33554432000 4194304 4196468 140725334409648 140714561754368 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8839] ppid=8815 vsize=15151156 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8839/stat : 8839 (java) S 8815 8815 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516964873 15514783744 205611 33554432000 4194304 4196468 140725334409648 140714560702928 140715095721883 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8840] ppid=8815 vsize=15151156 memory=6384 CPUtime=3.87 cores=0,2,4,6
/proc/8821/task/8840/stat : 8840 (java) S 8815 8815 8752 0 -1 1077944384 25545 0 0 0 385 2 0 0 20 0 15 0 516964873 15514783744 205611 33554432000 4194304 4196468 140725334409648 140714559650032 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8841] ppid=8815 vsize=15151156 memory=828 CPUtime=3.86 cores=0,2,4,6
/proc/8821/task/8841/stat : 8841 (java) S 8815 8815 8752 0 -1 1077944384 24628 0 0 0 384 2 0 0 20 0 15 0 516964873 15514783744 205611 33554432000 4194304 4196468 140725334409648 140714558597488 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8842] ppid=8815 vsize=15151156 memory=6384 CPUtime=0.6 cores=0,2,4,6
/proc/8821/task/8842/stat : 8842 (java) S 8815 8815 8752 0 -1 1077944384 10600 0 0 0 58 2 0 0 20 0 15 0 516964873 15514783744 205611 33554432000 4194304 4196468 140725334409648 140714557544432 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8843] ppid=8815 vsize=15151156 memory=822444 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8843/stat : 8843 (java) S 8815 8815 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516964873 15514783744 205611 33554432000 4194304 4196468 140725334409648 140714556492128 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8844] ppid=8815 vsize=15151156 memory=4108 CPUtime=0.62 cores=0,2,4,6
/proc/8821/task/8844/stat : 8844 (java) S 8815 8815 8752 0 -1 1077944384 1582 0 0 0 29 33 0 0 20 0 15 0 516964874 15514783744 205611 33554432000 4194304 4196468 140725334409648 140714555440176 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
Current children cumulated CPU time: 2469.99 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 823900 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2492.21 s]
/proc/loadavg: 1.27 1.48 1.55 3/230 9098
/proc/meminfo: memFree=26704280/32770624 swapFree=67024132/67108860
[pid=8815] ppid=8812 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8815/stat : 8815 (xcsp3-exec) S 8812 8815 8752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516964867 115843072 364 33554432000 4194304 5098028 140729311319696 140729311317800 139763150721660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13688832 140729311327063 140729311327321 140729311327321 140729311330246 0
/proc/8815/statm: 28282 364 305 221 0 87 0
[pid=8821] ppid=8815 vsize=15151156 memory=865704 CPUtime=2520 cores=0,2,4,6
/proc/8821/stat : 8821 (java) S 8815 8815 8752 0 -1 1077944320 242632 0 0 0 251511 489 0 0 20 0 15 0 516964868 15514783744 216426 33554432000 4194304 4196468 140725334409648 140725334392192 140715095703287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
/proc/8821/statm: 3787789 216426 3527 1 0 3748889 0
[pid=8821/tid=8822] ppid=8815 vsize=15151156 memory=1456 CPUtime=2483.44 cores=0,2,4,6
/proc/8821/task/8822/stat : 8822 (java) R 8815 8815 8752 0 -1 4202560 98226 0 0 0 247960 384 0 0 20 0 15 0 516964868 15514783744 216426 33554432000 4194304 4196468 140725334409648 140715099942960 140714693761130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8823] ppid=8815 vsize=15151156 memory=865704 CPUtime=6.54 cores=0,2,4,6
/proc/8821/task/8823/stat : 8823 (java) S 8815 8815 8752 0 -1 1077944384 15833 0 0 0 640 14 0 0 20 0 15 0 516964869 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714688113168 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8824] ppid=8815 vsize=15151156 memory=865624 CPUtime=6.54 cores=0,2,4,6
/proc/8821/task/8824/stat : 8824 (java) S 8815 8815 8752 0 -1 1077944384 16600 0 0 0 640 14 0 0 20 0 15 0 516964869 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714687060624 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8825] ppid=8815 vsize=15151156 memory=1456 CPUtime=6.51 cores=0,2,4,6
/proc/8821/task/8825/stat : 8825 (java) S 8815 8815 8752 0 -1 1077944384 14502 0 0 0 639 12 0 0 20 0 15 0 516964869 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714686007568 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8826] ppid=8815 vsize=15151156 memory=865704 CPUtime=6.52 cores=0,2,4,6
/proc/8821/task/8826/stat : 8826 (java) S 8815 8815 8752 0 -1 1077944384 16016 0 0 0 637 15 0 0 20 0 15 0 516964869 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714684955024 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8830] ppid=8815 vsize=15151156 memory=1456 CPUtime=1.39 cores=0,2,4,6
/proc/8821/task/8830/stat : 8830 (java) S 8815 8815 8752 0 -1 1077944384 17686 0 0 0 117 22 0 0 20 0 15 0 516964870 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714563861232 140715095714434 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8831] ppid=8815 vsize=15151156 memory=865624 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8831/stat : 8831 (java) S 8815 8815 8752 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 516964870 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714562807520 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8832] ppid=8815 vsize=15151156 memory=54088 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8832/stat : 8832 (java) S 8815 8815 8752 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 516964871 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714561754368 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8839] ppid=8815 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8839/stat : 8839 (java) S 8815 8815 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516964873 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714560702928 140715095721883 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8840] ppid=8815 vsize=15151156 memory=1456 CPUtime=3.88 cores=0,2,4,6
/proc/8821/task/8840/stat : 8840 (java) S 8815 8815 8752 0 -1 1077944384 25545 0 0 0 386 2 0 0 20 0 15 0 516964873 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714559650032 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8841] ppid=8815 vsize=15151156 memory=1456 CPUtime=3.86 cores=0,2,4,6
/proc/8821/task/8841/stat : 8841 (java) S 8815 8815 8752 0 -1 1077944384 24628 0 0 0 384 2 0 0 20 0 15 0 516964873 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714558597488 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8842] ppid=8815 vsize=15151156 memory=1456 CPUtime=0.6 cores=0,2,4,6
/proc/8821/task/8842/stat : 8842 (java) S 8815 8815 8752 0 -1 1077944384 10600 0 0 0 58 2 0 0 20 0 15 0 516964873 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714557544432 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8843] ppid=8815 vsize=15151156 memory=14064 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8843/stat : 8843 (java) S 8815 8815 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516964873 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714556492128 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8844] ppid=8815 vsize=15151156 memory=24152 CPUtime=0.63 cores=0,2,4,6
/proc/8821/task/8844/stat : 8844 (java) S 8815 8815 8752 0 -1 1077944384 1604 0 0 0 30 33 0 0 20 0 15 0 516964874 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714555440176 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 867160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2492.22 s]
# the end of solver process 8815 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00217 s, system=0 s
[startup+2492.22 s]
# the end of solver process 8821 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.13 s, system=4.90509 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+2492.21 s]
/proc/loadavg: 1.27 1.48 1.55 3/230 9098
/proc/meminfo: memFree=26704280/32770624 swapFree=67024132/67108860
[pid=8815] ppid=8812 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8815/stat : 8815 (xcsp3-exec) S 8812 8815 8752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516964867 115843072 364 33554432000 4194304 5098028 140729311319696 140729311317800 139763150721660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13688832 140729311327063 140729311327321 140729311327321 140729311330246 0
/proc/8815/statm: 28282 364 305 221 0 87 0
[pid=8821] ppid=8815 vsize=15151156 memory=865704 CPUtime=2520 cores=0,2,4,6
/proc/8821/stat : 8821 (java) S 8815 8815 8752 0 -1 1077944320 242632 0 0 0 251511 489 0 0 20 0 15 0 516964868 15514783744 216426 33554432000 4194304 4196468 140725334409648 140725334392192 140715095703287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
/proc/8821/statm: 3787789 216426 3527 1 0 3748889 0
[pid=8821/tid=8822] ppid=8815 vsize=15151156 memory=1456 CPUtime=2483.44 cores=0,2,4,6
/proc/8821/task/8822/stat : 8822 (java) R 8815 8815 8752 0 -1 4202560 98226 0 0 0 247960 384 0 0 20 0 15 0 516964868 15514783744 216426 33554432000 4194304 4196468 140725334409648 140715099942960 140714693761130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8823] ppid=8815 vsize=15151156 memory=865704 CPUtime=6.54 cores=0,2,4,6
/proc/8821/task/8823/stat : 8823 (java) S 8815 8815 8752 0 -1 1077944384 15833 0 0 0 640 14 0 0 20 0 15 0 516964869 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714688113168 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8824] ppid=8815 vsize=15151156 memory=865624 CPUtime=6.54 cores=0,2,4,6
/proc/8821/task/8824/stat : 8824 (java) S 8815 8815 8752 0 -1 1077944384 16600 0 0 0 640 14 0 0 20 0 15 0 516964869 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714687060624 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8825] ppid=8815 vsize=15151156 memory=1456 CPUtime=6.51 cores=0,2,4,6
/proc/8821/task/8825/stat : 8825 (java) S 8815 8815 8752 0 -1 1077944384 14502 0 0 0 639 12 0 0 20 0 15 0 516964869 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714686007568 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8826] ppid=8815 vsize=15151156 memory=865704 CPUtime=6.52 cores=0,2,4,6
/proc/8821/task/8826/stat : 8826 (java) S 8815 8815 8752 0 -1 1077944384 16016 0 0 0 637 15 0 0 20 0 15 0 516964869 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714684955024 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8830] ppid=8815 vsize=15151156 memory=1456 CPUtime=1.39 cores=0,2,4,6
/proc/8821/task/8830/stat : 8830 (java) S 8815 8815 8752 0 -1 1077944384 17686 0 0 0 117 22 0 0 20 0 15 0 516964870 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714563861232 140715095714434 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8831] ppid=8815 vsize=15151156 memory=865624 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8831/stat : 8831 (java) S 8815 8815 8752 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 516964870 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714562807520 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8832] ppid=8815 vsize=15151156 memory=54088 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8832/stat : 8832 (java) S 8815 8815 8752 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 516964871 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714561754368 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8839] ppid=8815 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8839/stat : 8839 (java) S 8815 8815 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516964873 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714560702928 140715095721883 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8840] ppid=8815 vsize=15151156 memory=1456 CPUtime=3.88 cores=0,2,4,6
/proc/8821/task/8840/stat : 8840 (java) S 8815 8815 8752 0 -1 1077944384 25545 0 0 0 386 2 0 0 20 0 15 0 516964873 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714559650032 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8841] ppid=8815 vsize=15151156 memory=1456 CPUtime=3.86 cores=0,2,4,6
/proc/8821/task/8841/stat : 8841 (java) S 8815 8815 8752 0 -1 1077944384 24628 0 0 0 384 2 0 0 20 0 15 0 516964873 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714558597488 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8842] ppid=8815 vsize=15151156 memory=1456 CPUtime=0.6 cores=0,2,4,6
/proc/8821/task/8842/stat : 8842 (java) S 8815 8815 8752 0 -1 1077944384 10600 0 0 0 58 2 0 0 20 0 15 0 516964873 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714557544432 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8843] ppid=8815 vsize=15151156 memory=14064 CPUtime=0 cores=0,2,4,6
/proc/8821/task/8843/stat : 8843 (java) S 8815 8815 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516964873 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714556492128 140715095713493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
[pid=8821/tid=8844] ppid=8815 vsize=15151156 memory=24152 CPUtime=0.63 cores=0,2,4,6
/proc/8821/task/8844/stat : 8844 (java) S 8815 8815 8752 0 -1 1077944384 1604 0 0 0 30 33 0 0 20 0 15 0 516964874 15514783744 216426 33554432000 4194304 4196468 140725334409648 140714555440176 140715095714434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16236544 140725334418395 140725334418570 140725334418570 140725334421455 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 867160 KiB
Child status: 143
Real time (s): 2492.22
CPU time (s): 2520.03
CPU user time (s): 2515.13
CPU system time (s): 4.90509
CPU usage (%): 101.116
Max. virtual memory (cumulated for all children) (KiB): 15267080
Max. memory (cumulated for all children) (KiB): 5960100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.13
system time used= 4.90508
maximum resident set size= 6030468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243792
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84809
involuntary context switches= 4226
# summary of solver processes directly reported to runsolver:
# pid: 8815,8821
# total CPU time (s): 2520.03
# total CPU user time (s): 2515.13
# total CPU system time (s): 4.90509
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6419 second user time and 21.8492 second system time
The end